ScalingStacks

Proof. [021L]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

It is well known that in a given Kähler class, cscK metrics is global minimizer of the K-energy functional, by the main result of [1]. In particular, it follows that the K energy functional of φ\varphi is a priori bounded from above. Recall the decomposition formula for K energy functional EE, proved in [7]:

(5.22) K⁡(φ)=∫Mlog⁡ωφnω0n​ωφnn!+J−R​i​c​(φ).K(\varphi)=\int_{M}\log\frac{\omega_{\varphi}^{n}}{\omega_{0}^{n}}\frac{\omega_{\varphi}^{n}}{n!}+J_{-Ric}(\varphi).

In the above, J−R​i​cJ_{-Ric} is defined in terms of its derivative, namely

d​J−R​i​cd​t=∫M∂φ∂t​(−t​rφ​R​i​c+R¯)​ωφnn!.\frac{dJ_{-Ric}}{dt}=\int_{M}\frac{\partial\varphi}{\partial t}(-tr_{\varphi}Ric+\underline{R})\frac{\omega_{\varphi}^{n}}{n!}.

It is well known in the literature that J−R​i​cJ_{-Ric} can be bounded in terms of C0C^{0} norm of the potential function φ.\varphi.\; A bound for ∫MeF​|F|​𝑑v​o​lg\int_{M}e^{F}|F|dvol_{g} follows from here.

Now we prove the second part of the theorem. First Corollary 5.4 gives a bound for FF from above and Corollary 5.2 gives a bound for ‖φ‖0||\varphi||_{0}. Proposition 2.1 gives a bound for FF from below. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.