ScalingStacks

2.1. The dual complex [0154]

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. The dual complex

Let DD be an effective divisor with simple normal crossing (snc) support in a complex manifold 𝒳{\mathcal{X}}. By definition, D=∑i∈Ibi​EiD=\sum_{i\in I}b_{i}E_{i} with bi∈ℕ∗b_{i}\in{\mathbb{N}}^{*} and (Ei)i∈I(E_{i})_{i\in I} a finite family of smooth irreducible divisors such that

EJ:=⋂i∈JEiE_{J}:=\bigcap_{i\in J}E_{i}

is either empty or smooth of codimension |J||J| (with finitely many connected components) for each ∅≠J⊂I\emptyset\neq J\subset I. A connected component YY of a non-empty EJE_{J} is called a stratum. Together with 𝒳∖D=E∅{\mathcal{X}}\setminus D=E_{\emptyset}, the locally closed submanifolds Y̊:=Y∖⋃i∈I∖JEi\mathring{Y}:=Y\setminus\bigcup_{i\in I\setminus J}E_{i} define a partition of 𝒳{\mathcal{X}}.

The dual complex Δ⁡(D)\Delta(D) is the simplicial complex44 4 This is understood in the slightly generalized sense that the intersection of two faces is a union of common faces. defined as follows: to each stratum YY corresponds a simplex

σY={w∈ℝ+J∣∑i∈Jbi​wi=1},\sigma_{Y}=\left\{w\in{\mathbb{R}}_{+}^{J}\mid\sum_{i\in J}b_{i}w_{i}=1\right\},

and σY\sigma_{Y} is a face of σY′\sigma_{Y^{\prime}} if and only if Y′⊂YY^{\prime}\subset Y. This description equips Δ⁡(D)\Delta(D) with an integral affine structure, by which we mean a compatible choice of integral affine structures on each simplex σ\sigma. This further induces a ℤ{\mathbb{Z}}-PA structure on Δ⁡(D)\Delta(D).

We write YσY_{\sigma} for the stratum of a face σ\sigma. Each point ξ∈D\xi\in D belongs to Yξ̊\mathring{Y_{\xi}} for a unique stratum YξY_{\xi}, obtained as the connected component of EJξE_{J_{\xi}} containing ξ\xi, with Jξ={i∈I∣ξ∈Ei}J_{\xi}=\{i\in I\mid\xi\in E_{i}\}. We denote by σξ:=σYξ\sigma_{\xi}:=\sigma_{Y_{\xi}} the corresponding face of Δ⁡(D)\Delta(D).

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