ScalingStacks

Once we know the subsequential limit $u_{\infty}$ satisfies the real MA equation, then by the local regularity theory surveyed in section 2.6,

We now proceed to a very explicit coordinate version of higher order estimates for the local CY potentials, by transferring regularity from the real MA equation to the complex MA equation.

Let $x\in\mathcal{R}$, then $u_{\infty}$ (resp. the appropriate $u_{\infty,m})$ has $C^{k,\gamma}$-bound on some coordinate ball $B(x,2r(x))\subset\mathcal{R}$ contained in a shrinked face (resp. $\text{Star}(w)$). For clarity we focus on the face case. The radius $r(x)$ and the $C^{k,\gamma}$-bound depend on the choice of $x$, but are uniform for $x$ in any fixed compact subset of $\mathcal{R}$. We identify $u_{\infty}$ with its pullback to $(s^{-1}\text{Log})^{-1}(B(x,r(x)))\subset U^{s,face}_{w}\subset X_{s}$.

The local CY potential $\varphi_{CY,s,0}$ on $(s^{-1}\text{Log})^{-1}(B(x,2r(x)))$ satisfies

along the subsequence. We may regard $(s^{-1}\text{Log})^{-1}(B(x,2r(x)))$ as an open subset of $(\mathbb{C}^{*})^{n}$. On the universal cover of $(\mathbb{C}^{*})^{n}$, we use the natural coordinates $s^{-1}\log z^{m_{i}}$ for $i=1,\ldots n$.

Now $\varphi_{CY,s,0}$ satisfies the complex MA equation (cf. (20)(14))

By the holomorphic volume form formula (12),

where the $o(1)$ term in fact has exponentially small $C^{\infty}$ bounds in $s^{-1}\log z^{m_{i}}$ coordinates; the higher order bound uses that $\Omega_{s}$ is holomorphic. On the other hand by the calculation in section 5.1, the pullback of $u_{\infty}$ satisfies

To summarize, the deviation of RHS is negligible and the deviation between $\varphi_{CY,s,0}$ and $u_{\infty}\circ s^{-1}\text{Log}$ is small in $C^{0}$-norm. Applying Savin’s Thm. 2.14,

The intuition is that in the generic regular locus in the toric part of $X_{s}$, the local CY potentials converge in some $C^{\infty}_{loc}$ sense.

Next we discuss CY metrics in $(s^{-1}\text{Log})^{-1}(B(x,r(x)))\subset U_{s,K}$.

• •

  In the face type region case, up to $C^{\infty}$-small error in the $s^{-1}\log z^{m_{i}}$ coordinates,

  $$\begin{split}&\omega_{CY,s}=\sqrt{-1}\partial\bar{\partial}\varphi_{CY,s,0}\\ \approx&\sqrt{-1}\partial\bar{\partial}u_{\infty}\circ s^{-1}\text{Log}=\frac{1}{4}\frac{\partial^{2}u_{\infty}}{\partial x^{m_{i}}\partial x^{m_{j}}}\sqrt{-1}s^{-1}d\log z^{m_{i}}\wedge s^{-1}d\overline{\log z^{m_{j}}},\end{split}$$

  hence the CY metrics $g_{CY,s}$ is up to $C^{\infty}$-small error

  $$g_{CY,s}\approx\text{Re}\{\frac{1}{2}\frac{\partial^{2}u_{\infty}}{\partial x^{m_{i}}\partial x^{m_{j}}}s^{-1}d\log z^{m_{i}}\otimes s^{-1}d\overline{\log z^{m_{j}}}\}.$$

  (32)

• •

  Likewise in the star type region case, up to $C^{\infty}$ small error in the $s^{-1}\log z^{m_{i}}$ coordinates,

  $$\begin{cases}\omega_{CY,s}\approx\frac{1}{4}\frac{\partial^{2}u_{\infty,m}}{\partial x^{m_{i}}\partial x^{m_{j}}}\sqrt{-1}s^{-1}d\log z^{m_{i}}\wedge s^{-1}d\overline{\log z^{m_{j}}},\\ g_{CY,s}\approx\text{Re}\{\frac{1}{2}\frac{\partial^{2}u_{\infty,m}}{\partial x^{m_{i}}\partial x^{m_{j}}}s^{-1}d\log z^{m_{i}}\otimes s^{-1}d\overline{\log z^{m_{j}}}\}.\end{cases}$$

  (33)

Notice in such local $(\mathbb{C}^{*})^{n}$ coordinates, the rescaled log map $s^{-1}\text{Log}$ gives a local $T^{n}$-fibration. The metric associated to $\sqrt{-1}\partial\bar{\partial}(u_{\infty}\circ s^{-1}\text{Log})$ is a semiflat metric, namely a $T^{n}$-invariant metric which is flat when restricted to any $T^{n}$-fibre. Thus (32)(33) assert that the Calabi-Yau metrics $g_{CY,s}$ are $C^{\infty}$-approximated by semiflat metrics in the regular regions.