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 is a priori bounded from above. Recall the decomposition formula for K energy functional , proved in [7]:
| (5.22) |
In the above, is defined in terms of its derivative, namely
It is well known in the literature that can be bounded in terms of norm of the potential function A bound for follows from here.