ScalingStacks

Proof. [023V]

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.

The volume form error will be smaller than the metric deviation due to extra cancellation effects. Recall the computation of d​dc​ϕD1dd^{c}\phi_{D_{1}} from Lemma 4.9 above. Notice (d​dc​ϕD1)n(dd^{c}\phi_{D_{1}})^{n} is a volume form, so must take one d​log⁡ξ′d\log\xi^{\prime} and d​log⁡ξ′¯d\overline{\log\xi^{\prime}} from either a pair of cross derivative terms, or from a factor d​dc​x~1n+2n−k​nn−1dd^{c}\tilde{x}_{1}^{\frac{n+2}{n}-\frac{kn}{n-1}} for k≥0k\geq 0. The differentiation of ϕT​Y\phi_{TY} and the powers of x2x_{2} would only produce factors on D1∖D2D_{1}\setminus D_{2} without x~1\tilde{x}_{1} dependence. By thinking about all the possible ways to take wedge products contributing to (d​dc​ϕD1)n(dd^{c}\phi_{D_{1}})^{n}, we get an absolutely convergent series within x2≪x1x_{2}\ll x_{1}:

(d​dc​ϕD1)n≈∑k≥0x~1−k​nn−1​−1​d​log⁡ξ′∧d​log⁡ξ′¯∧ℐk,(dd^{c}\phi_{D_{1}})^{n}\approx\sum_{k\geq 0}\tilde{x}_{1}^{-\frac{kn}{n-1}}\sqrt{-1}d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge\mathcal{I}_{k}, (33)

where the coefficients ℐk\mathcal{I}_{k} are top degree forms on the D1∖D2D_{1}\setminus D_{2} factor, without x~1\tilde{x}_{1} dependence. Here we write ≈\approx as a reminder that we have ignored the exponentially small errors from identifying the tubular neighbourhood with the normal bundles of D1∖D2D_{1}\setminus D_{2}, which is holomorphically trivial up to finite cover.

We now identify the leading term d​log⁡ξ′∧d​log⁡ξ′¯∧ℐ0d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge\mathcal{I}_{0}. By thinking about form types, this comes from the binomial expansion term

n​v0​d​dc​x~1n+2n∧(a​(d1d2)nn−1​x~1n−2n⁡(n−1)​d​dc​ϕT​Y)n−1,nv_{0}dd^{c}\tilde{x}_{1}^{\frac{n+2}{n}}\wedge\left(a(\frac{d_{1}}{d_{2}})^{\frac{n}{n-1}}\tilde{x}_{1}^{\frac{n-2}{n(n-1)}}dd^{c}\phi_{TY}\right)^{n-1},

which is

2​(n+2)​v0n​d22​−14​π​d​log⁡ξ′∧d​log⁡ξ′¯∧an−1​(d1d2)n​(d​dc​ϕT​Y)n−1.\frac{2(n+2)v_{0}}{nd_{2}^{2}}\frac{\sqrt{-1}}{4\pi}d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge a^{n-1}(\frac{d_{1}}{d_{2}})^{n}(dd^{c}\phi_{TY})^{n-1}.

From the explicit formula (24) for v0,av_{0},a,

v0​an−1=(nn+2)3,v_{0}a^{n-1}=(\frac{n}{n+2})^{3},

and recalling the complex Monge-Ampère equation for the Tian-Yau metric in Theorem 4.2, the above simplifies to

2​n2​∫Yc1​(L0)n−2(n+2)2​d22​(d1d2)n​d2n−2​−14​π​d​log⁡ξ′∧d​log⁡ξ′¯∧−1(n−1)2​ΩD1∧Ω¯D1.\frac{2n^{2}\int_{Y}c_{1}(L_{0})^{n-2}}{(n+2)^{2}d_{2}^{2}}(\frac{d_{1}}{d_{2}})^{n}d_{2}^{n-2}\frac{\sqrt{-1}}{4\pi}d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge\sqrt{-1}^{(n-1)^{2}}\Omega_{D_{1}}\wedge\overline{\Omega}_{D_{1}}.

Up to exponentially small errors from complex structure identifications, in terms of the local defining functions ξ1,ξ2\xi_{1},\xi_{2} for D1,D2D_{1},D_{2},

ΩD1≈d​log​ξ2∧ΩY,log⁡ξ′≈d2​log​ξ1−d1​log​ξ2,Ω≈d​log​ξ1∧d​log​ξ2∧ΩY,\Omega_{D_{1}}\approx d\log\xi_{2}\wedge\Omega_{Y},\quad\log\xi^{\prime}\approx d_{2}\log\xi_{1}-d_{1}\log\xi_{2},\quad\Omega\approx d\log\xi_{1}\wedge d\log\xi_{2}\wedge\Omega_{Y},

and the above reduce to K0​−1n2​Ω∧Ω¯,K_{0}\sqrt{-1}^{n^{2}}\Omega\wedge\overline{\Omega}, for the constant K0K_{0} in (28). In short, the leading term cancels with K0​−1n2​Ω∧Ω¯K_{0}\sqrt{-1}^{n^{2}}\Omega\wedge\overline{\Omega}.

The subleading terms are suppressed by the factor x~1−nn−1\tilde{x}_{1}^{-\frac{n}{n-1}}, and the fast convergence of the power series means we only need to consider ℐ1\mathcal{I}_{1}. In the Tian-Yau core region x2=O⁡(1)x_{2}=O(1), the crude information is that d​log⁡ξ′∧d​log⁡ξ′¯∧ℐ1d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge\mathcal{I}_{1} has local Ck,αC^{k,\alpha} norm O⁡(1)O(1). This explains the O⁡(x1−nn−1)O(x_{1}^{-\frac{n}{n-1}}) decay in the x2=O⁡(1)x_{2}=O(1) subregion.

For 1≪x2≪x11\ll x_{2}\ll x_{1}, the deviation between the Tian-Yau potential ϕT​Y\phi_{TY} and the Calabi ansatz potential is O⁡(e−c​x21/2)O(e^{-cx_{2}^{1/2}}), namely O⁡(e−c​rD1n−1n)O(e^{-cr_{D_{1}}^{\frac{n-1}{n}}}) (for some changing constant c>0c>0). After replacing ϕT​Y\phi_{TY} by n−1n​x2nn−1\frac{n-1}{n}x_{2}^{\frac{n}{n-1}}, we recover the potential uu in the generic region. Ignoring exponentially small complex structure errors as usual, then uu is by construction a solution to the complex Monge-Ampère equation. This explains the exponential decay ℐk=O⁡(e−c​x21/2)\mathcal{I}_{k}=O(e^{-cx_{2}^{1/2}}) for k≥1k\geq 1. ∎

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