ScalingStacks

Proof. [044A]

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

Proof.

By similar calculations as in Corollary 2.29, the moment map on Mν+M^{+}_{\nu} is expressed as

μ~i={μi+ι∂∂θidcϕ+,|μ→|a>13​A1/2μi+ι∂∂θidc(ϕ++ϕ4),112​A1/2<|μ→|a≤13​A1/2,μ~iℂ3+ι∂∂θidc(ϕ+−2φ3),|μ→|a≤112​A1/2.\tilde{\mu}_{i}=\begin{cases}\mu_{i}+\iota_{\frac{\partial}{\partial\theta_{i}}}d^{c}\phi^{+},\quad&|\vec{\mu}|_{a}>\frac{1}{3}A^{1/2}\\ \mu_{i}+\iota_{\frac{\partial}{\partial\theta_{i}}}d^{c}(\phi^{+}+\phi_{4}),\quad&\frac{1}{12}A^{1/2}<|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2},\\ \tilde{\mu}_{i}^{\mathbb{C}^{3}}+\iota_{\frac{\partial}{\partial\theta_{i}}}d^{c}(\phi^{+}-2\varphi_{3}),\quad&|\vec{\mu}|_{a}\leq\frac{1}{12}A^{1/2}.\end{cases}

where ϕ4\phi_{4} is the Kähler potential between ω~(4)\tilde{\omega}^{(4)} and ω~(3)\tilde{\omega}^{(3)} (cf. Section Section 3.7), and μ~iℂ3\tilde{\mu}_{i}^{\mathbb{C}^{3}} are the moment coordinates for ωℂ3\omega_{\mathbb{C}^{3}} (cf. Corollary 2.29). By construction μ~1,μ~2,μ~1−μ~2\tilde{\mu}_{1},\tilde{\mu}_{2},\tilde{\mu}_{1}-\tilde{\mu}_{2} vanish respectively along 𝔇1,𝔇2,𝔇3\mathfrak{D}_{1},\mathfrak{D}_{2},\mathfrak{D}_{3}, due to the respective vanishing of the circle generators ∂∂θ1,∂∂θ2,∂∂θ1−∂∂θ2\frac{\partial}{\partial\theta_{1}},\frac{\partial}{\partial\theta_{2}},\frac{\partial}{\partial\theta_{1}}-\frac{\partial}{\partial\theta_{2}}. This fixes the additive normalisation on the moment coordinates.

The gradient estimates on Kähler potentials and Corollary 2.29 imply on Mν+M^{+}_{\nu}

(3.15) |μi−μ~i|≤{Cν2A−5/4+3ϵ/4,|μ→|a≥13​A1/2,CA−3/4ℓ−ϵ|μ→|a−1+ϵ+CνA−1/2,|μ→|a<112​A1/2.|\mu_{i}-\tilde{\mu}_{i}|\leq\begin{cases}C\nu^{2}A^{-5/4+3\epsilon/4},\quad&|\vec{\mu}|_{a}\geq\frac{1}{3}A^{1/2},\\ CA^{-3/4}\ell^{-\epsilon}|\vec{\mu}|_{a}^{-1+\epsilon}+C\nu A^{-1/2},\quad&|\vec{\mu}|_{a}<\frac{1}{12}A^{1/2}.\end{cases}

In particular, if |(μ~1,μ~2,y)|a′≤12​A1/2​eν|(\tilde{\mu}_{1},\tilde{\mu}_{2},y)|_{a}^{\prime}\leq\frac{1}{2}A^{1/2}e^{\nu}, then ϱ≤34​A1/2​eν\varrho\leq\frac{3}{4}A^{1/2}e^{\nu}, so the map (3.14) is proper over {|(μ~1,μ~2,y)|a′≤12A1/2eν}⊂ℝ3\{|(\tilde{\mu}_{1},\tilde{\mu}_{2},y)|_{a}^{\prime}\leq\frac{1}{2}A^{1/2}e^{\nu}\}\subset\mathbb{R}^{3}. By the same argument in Corollary 2.29, the fibres of (3.14) are special Lagrangians of phase angle zero, the critical point set is ⋃i,j∈{0,1,2}{Z~i=Z~j=0}\bigcup_{i,j\in\{0,1,2\}}\{\tilde{Z}_{i}=\tilde{Z}_{j}=0\} and the discriminant locus is contained in 𝔇\mathfrak{D}.

Next we consider the map (μ1,μ2,η)↦(μ~1,μ~2,η)(\mu_{1},\mu_{2},\eta)\mapsto(\tilde{\mu}_{1},\tilde{\mu}_{2},\eta) on the region {ϱ<A1/2eν}\{\varrho<A^{1/2}e^{\nu}\}. Using (3.15) and the implicit function theorem, this map restricted to the region {ℓ≥A1/2,ϱ<34​A1/2​eν}\{\ell\geq A^{1/2},\varrho<\frac{3}{4}A^{1/2}e^{\nu}\} is an approximate identity, and in particular a diffeomorphism onto its image. Morever by (3.15) no points elsewhere can map into Image​({ℓ≥A1/2,ϱ<34​A1/2​eν})\text{Image}(\{\ell\geq A^{1/2},\varrho<\frac{3}{4}A^{1/2}e^{\nu}\}). Interpreted geometrically, this implies that the special Lagrangian fibres of (3.14) lying over the region {|(μ~1,μ~2,y)|a′≤12A1/2eν}\{|(\tilde{\mu}_{1},\tilde{\mu}_{2},y)|_{a}^{\prime}\leq\frac{1}{2}A^{1/2}e^{\nu}\} and suitably away from 𝔇\mathfrak{D}, must be small perturbations of the T3T^{3}-fibres of the map Mν+→(μ1,μ2,y)ℝ3M^{+}_{\nu}\xrightarrow{(\mu_{1},\mu_{2},y)}\mathbb{R}^{3}. This shows the generic fibre of (3.14) is topologically T3T^{3}, and the monodromy data of (3.14) is the same as for M+→(μ1,μ2,y)ℝ3M^{+}\xrightarrow{(\mu_{1},\mu_{2},y)}\mathbb{R}^{3}, which by construction agrees with the Gross-Ruan prediction in Section 1.1.3.

Finally we need to determine the topology of the central singular fibre, defined as the set X0={μ~1=μ~2=0,y=0}X_{0}=\{\tilde{\mu}_{1}=\tilde{\mu}_{2}=0,y=0\}, which is invariant under the T2T^{2}-action. From our knowledge of the critical point set, the only singular point on the central fibre is Z~0=Z~1=Z~2=0\tilde{Z}_{0}=\tilde{Z}_{1}=\tilde{Z}_{2}=0. Thus the quotient X0/T2X_{0}/T^{2} must be a compact 1-dimensional manifold with possibly one singular point. But there is also a homological constraint

Volg+​(X0)=∫X0Ω=4​π2​∫X0/T2𝑑η=∫T3Ω=4​π2,\text{Vol}_{g_{+}}(X_{0})=\int_{X_{0}}\Omega=4\pi^{2}\int_{X_{0}/T^{2}}d\eta=\int_{T^{3}}\Omega=4\pi^{2},

so X0/T2X_{0}/T^{2} is connected and must in fact be a circle. Therefore X0X_{0} has the topology of T3T^{3} with a copy of T2T^{2} collapsed to a point, in accordance with the Gross-Ruan prediction on the positive vertex. ∎

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