ScalingStacks

Definition . [03D9]

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

Definition.

We define an integral affine structure on Σ\D\Sigma\backslash D, using the covering 𝒰∪𝒱\mathcal{U}\cup\mathcal{V}, the nerve of which is the bipartite (two-colored) graph Γ\Gamma: Uv∩VwU_{v}\cap V_{w} is non-empty if and only if ⟨v,w⟩=1\langle v,w\rangle=1. For a point q∈Uvq\in U_{v} we identify the tangent space Tq​(Σ\D)T_{q}(\Sigma\backslash D) and the lattice TqℤT^{\mathbb{Z}}_{q} in it with the following codimension 1 subspace and sublattice of the pair (ℝd,ℤd)(\mathbb{R}^{d},\mathbb{Z}^{d}):

Tq=ℝvd={n∈ℝd:⟨v,n⟩=0},Tqℤ=ℤvd={n∈ℤd:⟨v,n⟩=0}.T_{q}=\mathbb{R}^{d}_{v}=\{n\in\mathbb{R}^{d}\ :\ \langle v,n\rangle=0\},\qquad T_{q}^{\mathbb{Z}}=\mathbb{Z}^{d}_{v}=\{n\in\mathbb{Z}^{d}\ :\ \langle v,n\rangle=0\}.

For a point q∈Vwq\in V_{w} we identify the tangent space Tq​(Σ\D)T_{q}(\Sigma\backslash D) and the lattice in it with the (d−1)(d-1)-dimensional quotients

Tq=ℝd/w,Tqℤ=ℤd/w.T_{q}=\mathbb{R}^{d}/w,\qquad T_{q}^{\mathbb{Z}}=\mathbb{Z}^{d}/w.

On the overlap Uv∩VwU_{v}\cap V_{w}, we define the transition map fv​w:ℝvd→ℝd/wf_{vw}:\mathbb{R}^{d}_{v}\rightarrow\mathbb{R}^{d}/w to be the restriction to the subspace ℝvd\mathbb{R}^{d}_{v} of the natural projection ℝd→ℝd/w\mathbb{R}^{d}\rightarrow\mathbb{R}^{d}/w.

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