ScalingStacks

Proof. [023Y]

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.

We revisit the calculations in Lemma 4.10. The volume form (d​dc​ϕD1(2))n(dd^{c}\phi_{D_{1}}^{(2)})^{n} should be viewed as a perturbation of (d​dc​ϕD1)n(dd^{c}\phi_{D_{1}})^{n}. Again (d​dc​ϕD1(2))n(dd^{c}\phi_{D_{1}}^{(2)})^{n} is a convergent power series of x~1−nn−1\tilde{x}_{1}^{-\frac{n}{n-1}}, with coefficient in top degree forms on D1∖D2D_{1}\setminus D_{2}. The leading order contribution to (d​dc​ϕD1(2))n−(d​dc​ϕD1)n(dd^{c}\phi_{D_{1}}^{(2)})^{n}-(dd^{c}\phi_{D_{1}})^{n} is

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

which after some calculation gives

2​(n+2)​(n−1)n​d22​v0​an−2​(d1d2)n⁡(n−2)n−1​(d​dc​U)∧ωT​Yn−2∧x~1−nn−1​−14​π​d​log⁡ξ′∧d​log⁡ξ′¯.\frac{2(n+2)(n-1)}{nd_{2}^{2}}v_{0}a^{n-2}(\frac{d_{1}}{d_{2}})^{\frac{n(n-2)}{n-1}}(dd^{c}U)\wedge\omega_{TY}^{n-2}\wedge\tilde{x}_{1}^{-\frac{n}{n-1}}\frac{\sqrt{-1}}{4\pi}d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}.

This is by construction −−1​d​log⁡ξ′∧d​log⁡ξ′¯∧ℐ1,-\sqrt{-1}d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge\mathcal{I}_{1}, which is precisely designed to cancel the leading order error −1​d​log⁡ξ′∧d​log⁡ξ′¯∧ℐ1\sqrt{-1}d\log\xi^{\prime}\wedge d\overline{\log\xi^{\prime}}\wedge\mathcal{I}_{1} in (33).

The next order of error has x~1−2​nn−1\tilde{x}_{1}^{-\frac{2n}{n-1}} in front. Within the x2=O⁡(1)x_{2}=O(1) region, the volume error is now O⁡(x~1−2​nn−1)O(\tilde{x}_{1}^{-\frac{2n}{n-1}}). For x2≫1x_{2}\gg 1 one needs to be careful about the effect of UU having a growing term a′​u0a^{\prime}u_{0}, which will damage the exponential decay. Recall from section 4.3 that u0=x21n−1u_{0}=x_{2}^{\frac{1}{n-1}} outside some compact region in the Tian-Yau space. The largest new contributions to the volume forms error come from terms such as

(x~1n−2n⁡(n−1)​d​dc​ϕT​Y)n−2∧dc​x~1n−2n⁡(n−1)∧d​ϕT​Y∧d​x~1n+2n−2​nn−1∧dc​u0,(\tilde{x}_{1}^{\frac{n-2}{n(n-1)}}dd^{c}\phi_{TY})^{n-2}\wedge d^{c}\tilde{x}_{1}^{\frac{n-2}{n(n-1)}}\wedge d\phi_{TY}\wedge d\tilde{x}_{1}^{\frac{n+2}{n}-\frac{2n}{n-1}}\wedge d^{c}u_{0},

whose local Ck,αC^{k,\alpha}-norm is O⁡(x~1−2​nn−1​x21n−1)O(\tilde{x}_{1}^{-\frac{2n}{n-1}}x_{2}^{\frac{1}{n-1}}). ∎

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