ScalingStacks

3.9. Ooguri-Vafa type metric on the positive vertex [0447]

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

3.9. Ooguri-Vafa type metric on the positive vertex

We discuss geometric aspects of the Ooguri-Vafa type metric ω+\omega_{+}.

Corollary 3.34.

(Exponential decay to semiflat metric away from 𝔇\mathfrak{D}) Assume the setup of Theorem 3.33. In the subregion {ℓ~≳1}⊂Mν+\{\tilde{\ell}\gtrsim 1\}\subset M^{+}_{\nu}, the deviation of ω+\omega_{+} from its zeroth Fourier mode ω¯+\bar{\omega}_{+} decays exponentially:

(3.13) |ω+−ω¯+|≤CA−3/4νe−κ​ℓ~.|\omega_{+}-\bar{\omega}_{+}|\leq CA^{-3/4}\nu e^{-\kappa\tilde{\ell}}.

The constant depends only on ϵ,κ\epsilon,\kappa and the scale invariant ellipticity bound on ai​ja_{ij}. The decay rate 0<κ<10<\kappa<1 can be chosen arbitrarily close to 1.

Corollary 3.35.

(Special Lagrangian fibration) There exist moment coordinates μ~1,μ~2\tilde{\mu}_{1},\tilde{\mu}_{2} for the T2T^{2} action on ω+\omega^{+}. The special Lagrangian fibration

(3.14) Mν+→(μ~1,μ~2,Im​η)ℝ3M^{+}_{\nu}\xrightarrow{(\tilde{\mu}_{1},\tilde{\mu}_{2},\text{Im}\eta)}\mathbb{R}^{3}

is proper over {|(μ~1,μ~2,Imη)|a′≤12A1/2eν}⊂ℝ3\{|(\tilde{\mu}_{1},\tilde{\mu}_{2},\text{Im}\eta)|_{a}^{\prime}\leq\frac{1}{2}A^{1/2}e^{\nu}\}\subset\mathbb{R}^{3} where the generic fibre is topologically T3T^{3}. 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}. The monodromy of the fibration and the topology of the central singular fibre agrees with the Gross-Ruan prediction in Section 1.1.3.

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. ∎

Remark 3.10.

The singular fibres over 𝔇∖{0}\mathfrak{D}\setminus\{0\} have non-isolated singularities by T2T^{2}-invariance. This does not contradict Joyce’s critique, since the Ooguri-Vafa type metric on the positive vertex is not a generic metric (cf. review Section 1.1.5). But when we glue the Ooguri-Vafa type metric into the global Calabi-Yau metric on a degenerating 3-fold (cf. review Section 1.1.6), the exponentially small corrections to the complex structure will destroy T2T^{2}-invariance. We then expect the singularity structure of the SYZ fibration to be drastically changed, and in particular its discriminant locus thickens into a ribbon around 𝔇\mathfrak{D} as predicted by Joyce [14].

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