Uniform estimates for cscK metrics (Q6173838): Difference between revisions

The breakthrough work of \textit{X. Chen} and \textit{J. Cheng} [``On the constant scalar curvature Kähler metrics, general automorphism group'', Preprint, \url{arXiv:1801.05907}; J. Am. Math. Soc. 34, No. 4, 909--936 (2021; Zbl 1472.14042); J. Am. Math. Soc. 34, No. 4, 937--1009 (2021; Zbl 1477.14067)] proved \textit{a priori} estimates for the twisted cscK equation in terms of the entropy functional. This theorem was then used to prove that properness of the K-energy (for discrete automorphism group manifolds) implies existence of constant scalar curvature Kähler (cscK) metrics. The current paper is an exposition of Chen and Cheng's proof with interesting simplifications. Firstly, Chen and Cheng recast the cscK equation as a system of PDE (one being the Monge-Ampére equation for a metric \(\omega_{\phi}\) and the other being a Poisson-type equation (with respect to the Laplacian for \(\omega_{\phi}\)). Chen-Cheng's original proof proved a \(C^0\)+ \(C^1\) estimate and then a \(C^2\) estimate. Their \(C^0\) estimate relies on the ABP maximum principle whereas the \(C^2\) estimate follows calculations in a paper by Chen and He using the Moser iteration technique. The main technical simplifications in this exposition are to use pluripotential theory (in particular a generalisation of Kolodziej's \(L^p\) estimates) to prove the \(C^0\) estimate and to prove the \(C^2\) estimate directly (by means of a trick involving integration-by-parts) without involving the \(C^1\) estimate.