ScalingStacks

3.1. The dual complex of an SNC model [01EE]

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

3.1. The dual complex of an SNC model

Let 𝒳\mathcal{X} be an SNC model of XX. The image of the evaluation map ev𝒳:Xβ†’Div0⁑(𝒳)π‘βˆ—\ev_{\mathcal{X}}:X\to\Div_{0}(\mathcal{X})_{\mathbf{R}}^{*} defined in CorollaryΒ 2.5 then admits the structure of a rational simplicial complex, defined as follows. Write the special fiber as 𝒳0=βˆ‘i∈Ibi​Ei\mathcal{X}_{0}=\sum_{i\in I}b_{i}E_{i}, where biβˆˆπβˆ—b_{i}\in\mathbf{N}^{*} and (Ei)i∈I(E_{i})_{i\in I} are the irreducible components. Let xEi∈Xx_{E_{i}}\in X be the associated divisorial points and set ei:=ev𝒳⁑(xEi)∈Div0⁑(𝒳)πβˆ—e_{i}:=\ev_{\mathcal{X}}(x_{E_{i}})\in\Div_{0}(\mathcal{X})_{\mathbf{Q}}^{*}. Recall from DefinitionΒ 1.1 that for each JβŠ‚IJ\subset I the intersection EJ:=β‹‚j∈JEjE_{J}:=\bigcap_{j\in J}E_{j} is either empty or a smooth irreducible kk-variety. For each JβŠ‚IJ\subset I such that EJβ‰ βˆ…E_{J}\neq\emptyset let Οƒ^JβŠ‚Div0⁑(𝒳)π‘βˆ—\hat{\sigma}_{J}\subset\Div_{0}(\mathcal{X})^{*}_{\mathbf{R}} be the simplicial cone defined by Οƒ^J:=βˆ‘j∈J𝐑+​ej\hat{\sigma}_{J}:=\sum_{j\in J}\mathbf{R}_{+}e_{j}. These cones naturally define a (regular) fan Ξ”^𝒳\hat{\Delta}_{\mathcal{X}} in Div0⁑(𝒳)π‘βˆ—\Div_{0}(\mathcal{X})^{*}_{\mathbf{R}}. Slightly abusively, we shall also denote by Ξ”^𝒳\hat{\Delta}_{\mathcal{X}} the support of this fan, that is, the union of all the cones Οƒ^J\hat{\sigma}_{J}. We then define the dual complex33 3 The dual complex is called the Clemens polytope inΒ [KS06]. of 𝒳\mathcal{X} by

Δ𝒳:=Ξ”^π’³βˆ©{βŸ¨π’³0,β‹…βŸ©=1}.\Delta_{\mathcal{X}}:=\hat{\Delta}_{\mathcal{X}}\cap\left\{\langle\mathcal{X}_{0},\cdot\rangle=1\right\}.

Each JβŠ‚IJ\subset I such that EJβ‰ βˆ…E_{J}\neq\emptyset corresponds to a simplicial face

ΟƒJ:=Οƒ^J∩{βŸ¨π’³0,β‹…βŸ©=1}=Conv{ej∣j∈J}\sigma_{J}:=\hat{\sigma}_{J}\cap\left\{\langle\mathcal{X}_{0},\cdot\rangle=1\right\}=\Conv\{e_{j}\mid j\in J\}

of dimension |J|βˆ’1|J|-1 in Δ𝒳\Delta_{\mathcal{X}}, where Conv\Conv denotes convex hull. This endows Δ𝒳\Delta_{\mathcal{X}} with the structure of a (compact rational) simplicial complex, such that ΟƒJ\sigma_{J} is a face of ΟƒL\sigma_{L} iff JβŠƒLJ\supset L.

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