Remark 4.16 . [05AZ]
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
Remark 4.16.
To extend the theory to the case where is not algebraically closed, choose an algebraic closure of and denote its completion by . Then we define the Monge-Ampère measure as the push-forward of the previously defined Monge-Ampère measure on the base change to . We explain it here in the situation of Definition 4.11. Let be a strictly -analytic Hausdorff space of dimension , potentially semipositive piecewise linear metrized line bundles on (i.e. metrized line bundles on which become semipositive piecewise linear metrized line bundles after base change to ) and the base change. We can then define a measure on with respect to the pull-backs of the line bundles by Definition 4.11 and push the resulting measure forward to via . To make this well defined we show that is a proper map of topological spaces. So let be compact. Then we can cover by finitely many affinoid subdomains . Then and it is enough to show that is compact for any so we may assume that is affinoid. But then is a continuous map between compact Hausdorff spaces and hence proper which yields the claim. We denote this measure again by . One can check that all the results of this section remain true in this more general situation.