ScalingStacks

Geometric meaning of the boundary condition [022I]

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

Geometric meaning of the boundary condition

We can translate the boundary condition near t=0t=0 into the asymptotic behaviour of the Calabi-Yau metric for 1≪x2≪x11\ll x_{2}\ll x_{1}. Using the second derivative computation (8), we get

{∂2u∂x12∼2​(n+2)n2​v0​x12n−1,∂2u∂x1​∂x2∼−d1d2​2​(n+2)n2​v0​x12n−1∂2u∂x22∼(d1d2)2​an−1​t−n−2n−1​x12n−1.\begin{cases}\frac{\partial^{2}u}{\partial x_{1}^{2}}\sim\frac{2(n+2)}{n^{2}}v_{0}x_{1}^{\frac{2}{n}-1},\\ \frac{\partial^{2}u}{\partial x_{1}\partial x_{2}}\sim-\frac{d_{1}}{d_{2}}\frac{2(n+2)}{n^{2}}v_{0}x_{1}^{\frac{2}{n}-1}\\ \frac{\partial^{2}u}{\partial x_{2}^{2}}\sim(\frac{d_{1}}{d_{2}})^{2}\frac{a}{n-1}t^{-\frac{n-2}{n-1}}x_{1}^{\frac{2}{n}-1}.\end{cases}

Recall that in the generalized Calabi-Yau ansatz, this Hessian matrix controls the base metric and the torus fibres. In the x1x_{1}-direction of the base (i.e. the direction transverse to D1D_{1} at infinity), and the log⁡ξ1\log\xi_{1} circle direction, the behaviour is similar to what happens in the generic region where tt is of order one. However, in the x2x_{2} direction, the base metric has a different scaling law:

∂2u∂x22∼(d1d2)2​an−1​t−n−2n−1​x12n−1=O⁡(x12n−1n−1​x2−n−2n−1).\frac{\partial^{2}u}{\partial x_{2}^{2}}\sim(\frac{d_{1}}{d_{2}})^{2}\frac{a}{n-1}t^{-\frac{n-2}{n-1}}x_{1}^{\frac{2}{n}-1}=O(x_{1}^{\frac{2}{n}-\frac{1}{n-1}}x_{2}^{-\frac{n-2}{n-1}}).

The distance to x2∼O⁡(1)x_{2}\sim O(1) is O⁡(x11n−12​(n−1)​x2n2​(n−1))O(x_{1}^{\frac{1}{n}-\frac{1}{2(n-1)}}x_{2}^{\frac{n}{2(n-1)}}). The log⁡ξ2\log\xi_{2} circle direction now has diameter of order

O⁡(x2−n−22​(n−1)​x11n−12​(n−1)),O(x_{2}^{-\frac{n-2}{2(n-1)}}x_{1}^{\frac{1}{n}-\frac{1}{2(n-1)}}),

which is much larger compared to the log⁡ξ1\log\xi_{1} circle. In other words, the metric exhibits inhomogeneous collapsing phenomenon.

The potential is roughly

u=x1n+2n​v​(t)≈x1n+2n​(v0−n+2n​v0​t+n−1n​a​tnn−1)≈v0​(x1−d1d2​x2)n+2n+n−1n​a​x1n+2n​(d1d2​x2x1)nn−1.\begin{split}&u=x_{1}^{\frac{n+2}{n}}v(t)\approx x_{1}^{\frac{n+2}{n}}(v_{0}-\frac{n+2}{n}v_{0}t+\frac{n-1}{n}at^{\frac{n}{n-1}})\\ &\approx v_{0}(x_{1}-\frac{d_{1}}{d_{2}}x_{2})^{\frac{n+2}{n}}+\frac{n-1}{n}ax_{1}^{\frac{n+2}{n}}(\frac{d_{1}}{d_{2}}\frac{x_{2}}{x_{1}})^{\frac{n}{n-1}}.\end{split}

Here x2≪x1x_{2}\ll x_{1}. For fixed values of x1−d1d2​x2x_{1}-\frac{d_{1}}{d_{2}}x_{2}, the second term dominates the metric contribution on the slices. Up to scaling factors by powers of x1x_{1}, the key dependence on x2x_{2} is d​dc​x2n/(n−1)dd^{c}x_{2}^{n/(n-1)}, which is the Calabi ansatz on an open subset of the (n−1)(n-1)-dimensional total space of the line bundle 𝒪⁡(D2)→D1∩D2\mathcal{O}(D_{2})\to D_{1}\cap D_{2} (cf. section 2.2). When ξ1\xi_{1} is allowed to vary, the scales of the S1S^{1}, the Calabi ansatz, and the base metric, all depend on x1x_{1} in some power law fashion.

The significance to the compactification question, is that 𝒪⁡(D2)→D1∩D2\mathcal{O}(D_{2})\to D_{1}\cap D_{2} describes the infinity of the non-compact Calabi-Yau manifold D1∖D2D_{1}\setminus D_{2}, and the Calabi ansatz is the asymptote of the Tian-Yau metric on D1∖D2D_{1}\setminus D_{2}. We can thus glue the Calabi ansatz to the Tian-Yau metric, in a parametrized fashion over the x1x_{1} variable, in order to achieve the partial completion of the generalized Calabi ansatz. After this, we would have an approximate Calabi-Yau metric outside a compact set in X=X¯∖D1∪D2X=\bar{X}\setminus D_{1}\cup D_{2}, from which one can hope to use a non-compact version of Yau’s proof to the Calabi conjecture to obtain an actual Calabi-Yau metric on XX.

Remark 2.7.

An appealing feature is that the boundary behaviour of the m=2m=2 generalized Calabi ansatz is essentially the ordinary Calabi ansatz. We think this feature may generalize to larger mm, so that the boundaries have an inductive stratification structure.

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