ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

Our next goal is to assign good holomorphic charts to XsX_{s} related to the stratification structure. We first consider the toric region, which shall be covered by (ℂ∗)n(\mathbb{C}^{*})^{n}-charts. Let w∈Nw\in N be the primitive integral outward normal vector to a facet F⁡(w)={m∈Δ|⟨w,m⟩=1}F(w)=\{m\in\Delta|\langle w,m\rangle=1\} of Δ\Delta. The chart parametrised by ww is contained inside the region

Uws,o={z∈Xs|es​λ​(m)|zm|≪1,∀m∈Δℤ∖(F(w)∪{0})}.U_{w}^{s,o}=\{z\in X_{s}|e^{s\lambda(m)}|z^{m}|\ll 1,\quad\forall m\in\Delta_{\mathbb{Z}}\setminus(F(w)\cup\{0\})\}. (11)

Let m0∈F⁡(w)∩Δℤm_{0}\in F(w)\cap\Delta_{\mathbb{Z}}, and choose an integral basis m1,…,mnm_{1},\ldots,m_{n} for {m∈M|⟨w,m⟩=0}\{m\in M|\langle w,m\rangle=0\}. Then the monomials zm1,…,zmnz^{m_{1}},\ldots,z^{m_{n}} provide the local (ℂ∗)n(\mathbb{C}^{*})^{n}-coordinates on the chart, since by the implicit function theorem XsX_{s} is locally a graph {zm0=f(zm1,…,zmn)}\{z^{m_{0}}=f(z^{m_{1}},\ldots,z^{m_{n}})\}. In fact by the defining equation (8) of the hypersurface

z−m0≈−∑m∈F⁡(w)ames​λ​(m)zm−m0,z^{-m_{0}}\approx-\sum_{m\in F(w)}a_{m}e^{s\lambda(m)}z^{m-m_{0}},

whence the holomorphic volume form is (cf. (9))

Ωs=±d​log⁡zm0∧…​d​log⁡zmnd​Fs≈d​log⁡zm1∧…​d​log⁡zmn.\Omega_{s}=\pm\frac{d\log z^{m_{0}}\wedge\ldots d\log z^{m_{n}}}{dF_{s}}\approx d\log z^{m_{1}}\wedge\ldots d\log z^{m_{n}}. (12)

(Here mim_{i} are suitably oriented to take care of ±1\pm 1.) We regard the above region as an open subset of (ℂ∗)n(\mathbb{C}^{*})^{n}, and denote the chart UwsU^{s}_{w} as the largest TnT^{n}-invariant subset, delineated by a collection of affine linear inequalities on the variables log⁡|zmi|\log|z^{m_{i}}|.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.