ScalingStacks

Subsection [04XB]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

(2.9) Let XX be a Calabi-Yau variety over KK of dimension nn. We say that XX is maximally degenerate if XX has a semistable snc-model over RR and the essential skeleton Sk⁡(X)\mathrm{Sk}(X) has dimension nn. This is the class of Calabi-Yau varieties where we expect the SYZ mirror symmetry picture to appear. If XX is projective, then the condition dim(Sk⁡(X))=n\dim(\mathrm{Sk}(X))=n is equivalent to the property that, for any topological generator σ\sigma of Gal⁡(Ka/K)≅μ^​(k)\mathrm{Gal}(K^{a}/K)\cong\widehat{\mu}(k) and any prime number ℓ\ell, the action of σ\sigma on the étale cohomology space

Hétn​(X×KKa,ℚℓ)H^{n}_{\text{\'{e}t}}(X\times_{K}K^{a},\mathbb{Q}_{\ell})

has a Jordan block of rank n+1n+1, by [NX16a, 4.2.4(4)]. If XX is maximally degenerate and projective, then Sk⁡(X)\mathrm{Sk}(X) is a closed pseudomanifold (see [NX16a, 4.2.4(3)] – in the statement of that result, one should add the assumption that XX has a semistable snc-model, like in [NX16a, 4.1.7]). If we assume, moreover, that XX is geometrically simply connected and hi,0​(X)=0h^{i,0}(X)=0 for 0<i<n0<i<n, then it is expected that Sk⁡(X)\mathrm{Sk}(X) is homeomorphic to SnS^{n}. This has been proven in [KX16] when n≤3n\leq 3, and also when n=4n=4 and XX has a minimal dlt-model that is also a semistable snc-model. One can prove in any dimension that Sk⁡(X)\mathrm{Sk}(X) has the ℚ\mathbb{Q}-rational homology of SnS^{n}, and that its fundamental group has trivial profinite completion; see [NX16a, 4.2.4(4)] and [HN17, 6.1.3(4)].

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.