3.2. The Chambert-Loir measure [01AB]
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
3.2. The Chambert-Loir measure
We follow the notation and terminology of §2.6. Consider an ample line bundle on and equip with a model metric . Any continuous metric on is then of the form where . Recall that this metric is semipositive iff the function is -psh, where . In this case, set
where the right hand side is the positive Radon measure in Theorem 3.1.
This is the same measure as the one defined by Chambert-Loir in [CL06]. Indeed, this is certainly true when is a model function, as seen by comparing (2.2) and [CL06, Définition 2.4]. In general, Corollary 2.12 yields a sequence of -psh model functions converging uniformly to on . The measure associated to by Chambert-Loir is the limit of the measures , see [CL06, Proposition 2.7]. But after replacing by with a suitable sequence , we may assume that the sequence is decreasing, hence by Theorem 3.1.