ScalingStacks

5.5. Construction of the fibration λ t : V t ∘ → Π [04TE]

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

5.5. Construction of the fibration λt:Vt∘→Π\lambda_{t}:{V}^{\circ}_{t}\to\Pi

Let Π\Pi be a maximal dual Δ\Delta-complex and v:Δ∩ℤn+1→ℝv:\Delta\cap\mathbb{Z}^{n+1}\to\mathbb{R} be the function such that Π=Πv\Pi=\Pi_{v} as in Proposition 1.4. It gives us a patchworking polynomial ft=∑j∈Δ∩ℤn+1t−v⁡(j)​zjf_{t}=\sum\limits_{j\in\Delta\cap\mathbb{Z}^{n+1}}t^{-v(j)}z^{j}. As before we denote with Vt∘⊂(ℂ∗)n+1{V}^{\circ}_{t}\subset(\mathbb{C}^{*})^{n+1} the zero set of this polynomial.

We construct λt:Vt∘→Π\lambda_{t}:{V}^{\circ}_{t}\to\Pi for a sufficiently large tt by gluing the fibrations λH\lambda_{H} from 3.3.

To do it we construct a singular foliation ℱΠ\mathcal{F}_{\Pi} in a neighborhood 𝒩⊃Π\mathcal{N}\supset\Pi. By Proposition 1.11 Π\Pi can be locally identified with Σn\Sigma_{n} by elements of A​S​Ln+1​(ℤ)ASL_{n+1}(\mathbb{Z}). Recall that an element M∈A​S​Ln+1​(ℤ)M\in ASL_{n+1}(\mathbb{Z}) is a rotation defined by a unimodular integer (n+1)×(n+1)(n+1)\times(n+1)-matrix (mj,k)(m_{j,k}) followed by a translation by m=(m1,…,mn+1)m=(m_{1},\dots,m_{n+1}) in ℝn+1\mathbb{R}^{n+1}. This transformation of ℝn+1\mathbb{R}^{n+1} lifts to (ℂ∗)n+1(\mathbb{C}^{*})^{n+1} as

HM:zj↦mj​z1mj,1​…​zn+1mj,n+1.H_{M}:z_{j}\mapsto m_{j}z_{1}^{m_{j,1}}\dots z_{n+1}^{m_{j,n+1}}.

We patch the foliations ℱ\mathcal{F} constructed in 3.3 for the primitive nn-complex Σn\Sigma_{n}. Let vj∈Πv_{j}\in\Pi be a vertex. By Proposition 1.11 there exists a neighborhood Uj∋vjU_{j}\ni v_{j} in Π\Pi and Mj∈A​S​Ln+1​(ℤ)M_{j}\in ASL_{n+1}(\mathbb{Z}) such that Mj​(Uj)M_{j}(U_{j}) is a neighborhood of 00 in Σn\Sigma_{n}. Let NjN_{j} be a small neighborhood of the closure of Mj​(Uj)M_{j}(U_{j}).

Consider the pull-back under MjM_{j} of the foliation ℱ\mathcal{F} constructed in 3.3 restricted to NjN_{j}. Note that Mj−1​(Nj)M_{j}^{-1}(N_{j}) cover Π\Pi. The pull-back foliations at the overlaps Mj−1​(Nj)∩Mk−1​(Nk)M_{j}^{-1}(N_{j})\cap M_{k}^{-1}(N_{k}) do agree in general. Nevertheless, they have the same type of singularities at the same points and their non-singular leaves are transverse to Π\Pi. A partition of unity gives a foliation ℱΠ\mathcal{F}_{\Pi} in a neighborhood 𝒩\mathcal{N} of Π\Pi. Note that we can ensure that 𝒩\mathcal{N} contains an ϵ\epsilon-neighborhood of Π\Pi for some ϵ>0\epsilon>0. Following 3.3 we denote πℱΠ:𝒩→Π\pi_{\mathcal{F}_{\Pi}}:\mathcal{N}\to\Pi the projection along the leaves of ℱΠ\mathcal{F}_{\Pi}.

By Corollary 5.4 for a sufficiently large t>0t>0 we have Logt⁡(Vt)⊂𝒩,\operatorname{Log}_{t}(V_{t})\subset\mathcal{N}, and we define

λt=πℱΠ∘Logt:Vt→Π.\lambda_{t}=\pi_{\mathcal{F}_{\Pi}}\circ\operatorname{Log}_{t}:V_{t}\to\Pi.

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