ScalingStacks

Subsection [04X2]

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.1) Let XX be a Calabi-Yau variety over KK. The essential skeleton Sk⁡(X)\mathrm{Sk}(X) of XX was first defined by Kontsevich and Soibelman in [KS06]. The construction was then refined and generalized in [MN15]. Let ω\omega be a volume form on XX. Then one can attach to the pair (X,ω)(X,\omega) a weight function

wtω:Xan→ℝ∪{+∞}\mathrm{wt}_{\omega}\colon X^{\mathrm{an}}\to\mathbb{R}\cup\{+\infty\}

that measures the degeneration of (X,ω)(X,\omega) at t=0t=0 along points of XanX^{\mathrm{an}}; see [MN15, §4.5]. The essential skeleton Sk⁡(X)\mathrm{Sk}(X) is the locus of points in XanX^{\mathrm{an}} where wtω\mathrm{wt}_{\omega} reaches its minimal value. This definition only depends on XX, and not on ω\omega, because multiplying ω\omega with a scalar λ∈K∗\lambda\in K^{\ast} shifts the weight function by the constant ordt​λ\mathrm{ord}_{t}\lambda. The essential skeleton is a non-empty compact subspace of XanX^{\mathrm{an}}, which can be explicitly computed in the following way. Let 𝒳\mathscr{X} be an snc-model of XX, with special fiber 𝒳k=∑i∈INi​Ei\mathscr{X}_{k}=\sum_{i\in I}N_{i}E_{i}. If we view ω\omega as a rational section of the line bundle ω𝒳/R​(𝒳k,red)\omega_{\mathscr{X}/R}(\mathscr{X}_{k,\mathrm{red}}), then it defines a Cartier divisor on 𝒳\mathscr{X} that we denote by div𝒳​(ω)\mathrm{div}_{\mathscr{X}}(\omega). It is supported on 𝒳k\mathscr{X}_{k} because ω\omega is nowhere vanishing on XX; thus we can write div𝒳​(ω)=∑i∈Iνi​Ei\mathrm{div}_{\mathscr{X}}(\omega)=\sum_{i\in I}\nu_{i}E_{i}. If we denote by Δ⁡(𝒳)\Delta(\mathscr{X}) the dual intersection complex of 𝒳k\mathscr{X}_{k}, then Sk⁡(X)\mathrm{Sk}(X) is canonically homeomorphic to the sub-Δ\Delta-complex of Δ⁡(𝒳)\Delta(\mathscr{X}) spanned by the vertices corresponding to the components EiE_{i} for which νi/Ni\nu_{i}/N_{i} is minimal (see Theorem 3 in [KS06, §6.6] and Theorem 4.7.5 in [MN15]). In particular, Sk⁡(X)\mathrm{Sk}(X) is homeomorphic to a finite Δ\Delta-complex of dimension ≤dim(X)\leq\dim(X).

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