MathSciDoc: An Archive for Mathematician ∫

In this paper, we derive apriori estimates for constant scalar curvature K\"ahler metrics on a compact K\"ahler manifold. We show that higher order derivatives can be estimated in terms of a $C^0$ bound for the K\"ahler potential. We also discuss some local versions of these estimates which can be of independent interest.

In this paper, we generalize our apriori estimates on cscK(constant scalar curvature K\"ahler) metric equation \cite{cc1} to more general scalar curvature type equations (e.g., twisted cscK metric equation). As applications, under the assumption that the automorphism group is discrete, we prove the celebrated Donaldson's conjecture that the non-existence of cscK metric is equivalent to the existence of a destabilized geodesic ray where the $K$-energy is non-increasing. Moreover, we prove that the properness of $K$-energy in terms of $L^1$ geodesic distance $d_1$ in the space of K\"ahler potentials implies the existence of cscK metric. Finally, we prove that weak minimizers of the $K$-energy in $(\mathcal{E}^1, d_1)$ are smooth. The continuity path proposed in \cite{chen15} is instrumental in this proof.

In this paper, we derive estimates for scalar curvature type equations with more singular right hand side. As an application, we prove Donaldson's conjecture on the equivalence between geodesic stability and existence of cscK when $Aut_0(M,J)\neq0$. Moreover, we show that when $Aut_0(M,J)\neq0$, the properness of $K$-energy with respect to a suitably defined distance implies the existence of cscK.