This is the third and final article in a series which prove the fact that a K-stable Fano manifold admits a Khler-Einstein metric. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle approaches 2\pi . We also put all our technical results together to complete the proof of the main theorem.

In this article, we estimate the quasi-local energy with reference to the Minkowski spacetime (Wang and Yau in Phys Rev Lett 102 (2): 021101, 2009; Commun Math Phys 288 (3): 919942, 2009), the anti-de Sitter spacetime (Chen et al. in Commun Anal Geom, 2016. arXiv: 1603.02975), or the Schwarzschild spacetime (Chen et al. in Adv Theor Math Phys 22 (1): 123, 2018). In each case, the reference spacetime admits a conformal KillingYano 2-form which facilitates the application of the Minkowski formula in Wang et al.(J Differ Geom 105 (2): 249290, 2017) to estimate the quasi-local energy. As a consequence of the positive mass theorems in Liu and Yau (J Am Math Soc 19 (1): 181204, 2006) and Shi and Tam (Class Quantum Gravity 24 (9): 23572366, 2007) and the above estimate, we obtain rigidity theorems which characterize the Minkowski spacetime and the hyperbolic space.

We prove that the quotient space of a variationally complete group action is a good Riemannian orbifold. The result is generalized to singular Riemannian foliations without horizontal conjugate points.

We show the regularity of, and derive a-priori estimates for (weakly) harmonic maps from a Riemannian manifold into a Euclidean sphere under the assumption that the image avoids some neighborhood of a half-equator. The proofs combine constructions of strictly convex functions and the regularity theory of quasilinear elliptic systems. We apply these results to the spherical and Euclidean Bernstein problems for minimal hypersurfaces, obtaining new conditions under which compact minimal hypersurfaces in spheres or complete minimal hypersurfaces in Euclidean spaces are trivial.

In this paper, we generalize the Gauduchon metrics on a compact complex manifold and define the _k functions on the space of its hermitian metrics.