Conical Calabi-Yau metrics on toric affine varieties and convex cones (Q6183880): Difference between revisions

The primary objective of the article is to prove the regularity of the conical Calabi-Yau metric on a toric affine variety with non-isolated singularities. The K-Stability condition for the test configurations of compact Kähler manifold has been extended to the affine varieties with isolated singularities by Collins-Szekelyhidi. They also studied its connection with the minimizer of the volume functional and proved the equivalence between the existence and stability [\textit{T. C. Collins} and \textit{G. Székelyhidi}, J. Differ. Geom. 109, No. 1, 81--109 (2018; Zbl 1403.53039); Geom. Topol. 23, No. 3, 1339--1413 (2019; Zbl 1432.32033)]. Theorem 1.3 and Corollary 1.4 extend some of the results of Collins-Szekelyhidi to the \(\mathbb{Q}\)-Gorenstein affine toric variety with non-isolated and klt-singularities. One of the main theorems of this article is, on an affine \(\mathbb{Q}\)-Gorenstein toric variety with the good torus action, the conical weak Ricci-flat metric is smooth on the regular locus of the variety. The good action of the torus on the variety forces the affine variety to be an algebraic variety. Thus, we can take the toric action equivariant desingularization and convert the problem to the compact manifold-the link of the cone. To prove the regularity, getting the a priori estimates is essential. For the \(L^\infty\)-estimate, the author uses the torus action on the variety to convert the problem to the real affine space and then convert the weak Ricci-flat equation into a real Monge-Ampère equation (Lemma 2.3 and Lemma 4.9). As the variety has non-isolated singularities, while converting the problem to the resolution we get the equation only away from the exceptional divisor. To prove the necessary estimates, the author uses the perturbative method. For the higher-order estimates, the author converts the problem to the link and uses the techniques of Berman-Boucksom-Eyssidiex-Guedj-Zeriyahi [Appendix. B, \textit{R. J. Berman} et al., J. Reine Angew. Math. 751, 27--89 (2019; Zbl 1430.14083)] to get the second-order estimate away from the exceptional divisor depending on the \(L^\infty\)-estimate. Then, the standard Evans-Krylov-Safanov estimates and Schauder estimates will be used to prove the smoothness away from the exceptional divisor, such estimates are independent of the perturbation. Thus, the regularity of the conical potential is obtained (Section 4.4).