On sharp rates and analytic compactifications of asymptotically conical Kähler metrics (Q784200)

If \(S\) is a complex submanifold of an ambient complex manifold \(X\), then the comparison between neighborhoods of \(S\) inside \(X\) with neighborhoods of \(S\) inside the normal bundle \(N_S\) is a classical subject in complex geometry. Although in general \(N_S\) has a different holomorphic structure than that of any neighborhood of \(S\) inside \(X\), \(N_S\) can be viewed as a first-order approximation of a small neighborhood of \(S\). More precisely, \(S(k)\) is the ringed analytic space \((S,\mathscr{O}_X/\mathscr{I}^{k+1}_S)\), which is called the \(k\)th infinitesimal neighborhood of \(S\) inside \(X\). The submanifold \(S\) is said to be \(k\)-linearizable inside \(X\) if its \(k\)th infinitesimal neighborhood \(S(k)\) in \(X\) is isomorphic to its \(k\) th infinitesimal neighborhood \(S_N(k)\) in \(N_S\), where \(S\) is identified with the zero section \(S_0\) of \(N_S\). First, the author shows that there is a diffeomorphism from a neighborhood of \(S\subset X\) to a neighborhood of \(S_0\subset N_S\) that is in some sense the most holomorphic one. If \(\widetilde{g}_0\) is a smooth Riemannian metric on a neighborhood \(W_0\) of \(S_0\) inside \(N_S\), \(\|\cdot\|_{\widetilde{g}_0}\) are the \(C^0\)-norms of tensors on \(W_0\) with respect to \(\widetilde{g}_0\), \(\widetilde r\) is the distance function to \(S_0\) with respect to \(\widetilde{g}_0\), and \(S\hookrightarrow X\) is a \((k-1)\)-linearizable submanifold, then there exist a small neighborhood \(W_0\) of \(S\hookrightarrow N_S\) and a diffeomorphism \(F:W_0\to F(W_0)\subset W\), where \(W\) is a small neighborhood of \(S\subset X\), such that for any \(j > 0\), there exists a constant \(C_j>0\) and \(F\) satisfies \[ \|\nabla^j_{\widetilde{g}_0}(F^*J-J_0\|_{\widetilde{g}_0}\le C_j\widetilde{r}^{k-j} \] on \(W_0\). The next result of the paper deals with a special situation that arises from the construction of an asymptotically conical (AC) Calabi-Yau (CY) metric on the complement of some divisor inside a Fano manifold presented by \textit{G. Tian} and \textit{S. T. Yau} in [Invent. Math. 106, No. 1, 27--60 (1991;Zbl 0766.53053)]. The normal affine variety obtained by contracting the zero section of a negative line bundle \(L^{-1}\) over a smooth projective manifold \(D\) is called an affine cone \(C(D,L)\). The compactified cone \(\overline C(D,L)=C(D,L)\cup D_\infty\) is obtained by adding the divisor \(D\) at infinity. Since \(C=C(D,L)\) is obtained from \(L^{-1}\) by contracting the zero section, a Hermitian metric \(h\) on the negative line bundle \(L^{-1}\to D\) with negative Chern curvature can be considered as a nonnegative function on the cone \(C\). For any \(\delta > 0\), there is a complete Kähler cone metric on \(C(D,L)\) whose Kähler form on the regular part \(C\setminus\{o\}\) is given by \(\omega^{(\delta)}_0=\sqrt{-1}\partial\bar\partial h^\delta\), and the associated Kähler metric tensor \(g_0^{(\delta)}\) is a Riemannian cone metric. The author obtains optimal estimates on asymptotic rates for asymptotically conical (AC) Calabi-Yau (CY) metrics by showing that if \(X\) is an \(n\)-dimensional projective manifold, \(D\) is a smooth divisor such that \(N_D\) is ample over \(D\), \(\omega_0=\omega_0^{\delta}\) is a cone metric on \(C(D,N_D)\), and the embedding \(D\hookrightarrow X\) is \((k-1)\)-comfortable, then there exists a diffeomorphism away from compact sets \(F_K:C(D,N_D)\setminus B_R(\underline{o})\to(X\setminus D)\setminus K\) such that \[ \|\nabla^j_{\widetilde{g}_0}(F_K^*J-J_0\|_{\widetilde{g}_0}\le {r}^{-\frac{k}{\delta}-j}, \] where \(J\) is the complex structure on \(X\setminus D\) and \(J_0\) denotes the complex structure on \(C(D,N_D)\setminus\{o\}\). The next result relates the order of embedding of \(D\to X\) to the order and the weight of a deformation of \(C(D,N_D)\). If \(X\) is a projective manifold of dimension greater than \(2\), \(D\) is a smooth ample divisor on \(X\), \(\mathscr{X}\) is the flat family that is obtained by first blowing up \(D\times\{0\}\) inside \(X\times\mathbb{C}\) and then blowing down the strict transform of \(X\times \{0\}\), \(\mathscr{D}\) is the strict transform of \(D\times\mathbb{C}\), then \(\mathscr{D}\cong D\times\mathbb{C}\). The author shows that if the central fiber \(\mathscr{X}_0\) coincides with \(\overline C(D,N_D)\) so that \(\mathscr{X}^\circ=\mathscr{X}\setminus\mathscr{D}\) is a flat deformation \(\mathscr{X}^\circ\to\mathbb{C}\) of \(C(D,N_D)\), \(m(X,D)\) is the maximum positive integer \(m\) such that the embedding \(D\hookrightarrow X\) is \((m-1)\)-comfortably embedded, \(\mathrm{Ord}(\mathscr{X}^\circ)\) is the order of deformation, and \({w}(\mathscr{X}^\circ)\) is the weight of the reduced Kodaira-Spencer class \(\mathbf{KS}^{\mathrm{red}}_{\mathscr{X}^\circ}\), then \(m(X,D)=\mathrm{Ord}(\mathscr{X}^\circ)=-{w}(\mathscr{X}^\circ)\). In the final result of the paper, the author shows an analytic compactification result for the deformation of the complex structure on an affine cone that decays to any positive order at infinity. It is shown that if \(h\) is a Hermitian metric on any negative line bundle \(L^{-1}\to D\) with negative Chern curvature, \(U_\varepsilon\) is a neighborhood of the infinity end of \(C(D,L)\), \(J_0\) is the standard complex structure on \(C(D,L)\), \(\overline{U_\varepsilon}=U_\varepsilon\cup D\) is the compactification of \(U_\varepsilon\) in \(\overline{C}(D,L)\), and \(J\) is a complex structure on \(U_\varepsilon=\overline{U_\varepsilon}\setminus D\) such that there exists \(\lambda > 0\) and \(\|\nabla^k_{\widetilde{g}_0}(J-J_0\|_{\widetilde{g}_0}\le {r}^{-\lambda-k},\) for any \(k\ge 0\), then the complex analytic structure on \(U_\varepsilon\) extends to a complex analytic structure on \(\overline{U_\varepsilon}\). Moreover, if \(m=\lceil\delta\lambda\rceil\) is the minimal integer which is greater than or equal to \(\delta\lambda\), then in the compactfication \((\overline{U_\varepsilon},J)\) the divisor \(D\) is \((m-1)\)-comfortably embedded.