Proof. [0392]
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.
If , then it is clear from the definition that . So we may assume that is ample. We need the energy with respect to continuous semipositive metrics on introduced in [BGJKM16, Def. 2.4.4]. By Corollary 3.11, the envelopes and are semipositive model metrics on . In particular, they are continuous and hence it follows from [BGJKM16, Cor. 6.2.2] that
In the case of semipositive model metrics associated to line bundles on a -model , our assumption yields that the energy is defined as a -linear combination of intersection numbers of the line bundles on proving the claim. ∎