Asymptotics of Kähler-Einstein metrics on complex hyperbolic cusps (Q6140825)

Complex hyperbolic cusps, up to finite cover, may be realized with the following model. Let \(D\) be a complex torus of dimension \(n-1\), equipped with a negative holomorphic line bundle \(L\). Let \(h\) be a Hermitian metric on \(L\), such that the curvature form of the dual metric is a flat Kähler metric. Now consider \(D\) as a subvariety of \(L\) (its zero section), and \(h\) as a smooth function on \(L\). Define \(x=\frac{-1}{\log h}\), \(\omega_h=(n+1)i\partial \bar{\partial} \log x\), and \(V=\{h\leq \delta\}\) for some \(\delta\in (0,1)\). Then the Riemannian manifold \((V\setminus D, \omega_h)\), with boundary \(\{h=\delta\}\), is a complex hyperbolic cusp. In particular, \(\omega_h\) defines a complete Kähler-Einstein metric with negative curvature. \textit{V. Datar} et al. [J. Reine Angew. Math. 797, 79--116 (2023; Zbl 1521.83164)] further proved that if \(U\) is another tubular neighborhood of \(D\) in \(L\), \(\omega\) is a complete Kähler-Einstein metric on \(U\setminus D\) with negative curvature, and \(\sup\lvert\omega\rvert_{\omega_h}\) is finite for a metric \(\omega_h\) as above, then \(\omega=\omega_h+i\partial \bar{\partial} u\) with \(\lvert u\rvert = O((-\log x)^{-1})\). The authors here greatly improve this estimate, showing that \(u\) and \(-(n+1)\log(1+cx)\) are comparable for some \(c\in \mathbb{R}\), as well as their \(k^{th}\)-derivatives, up to an error term of the form \(x^{-\frac{n}{2}+\frac{1}{4}-\frac{k}{2}}e^{-\frac{2\sqrt{\lambda_1}}{\sqrt{x}}}\) as \(x\to 0^+\). In particular, they determine that there is a best choice for \(h\) as above (the multiple \(e^{-c}h\) of the original choice) which constitutes a sort of ``tangent cone'' of \(u\). This result is an ingredient in a gluing construction by the same authors [``A continuous cusp closing process for negative Kähler-Einstein metrics'', Preprint, arXiv:2401.11468 [math.DG] (2024)].