ScalingStacks

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 KK is not algebraically closed, choose an algebraic closure of KK and denote its completion by ℂK\mathbb{C}_{K}. 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 ℂK\mathbb{C}_{K}. We explain it here in the situation of Definition 4.11. Let VV be a strictly KK-analytic Hausdorff space of dimension nn, L¯1,…,L¯n\overline{L}_{1},...,\overline{L}_{n} potentially semipositive piecewise linear metrized line bundles on VV (i.e. metrized line bundles on VV which become semipositive piecewise linear metrized line bundles after base change to ℂK\mathbb{C}_{K}) and π:VℂK→V\pi:V_{\mathbb{C}_{K}}\rightarrow V the base change. We can then define a measure on VℂKV_{\mathbb{C}_{K}} with respect to the pull-backs of the line bundles L¯1,…,L¯n\overline{L}_{1},...,\overline{L}_{n} by Definition 4.11 and push the resulting measure forward to VV via π\pi. To make this well defined we show that π\pi is a proper map of topological spaces. So let C⊆VC\subseteq V be compact. Then we can cover CC by finitely many affinoid subdomains U1,…,UrU_{1},...,U_{r}. Then π−1​(C)=π−1​(⋃C∩Ui)=⋃π−1​(C∩Ui)\pi^{-1}(C)=\pi^{-1}\left(\bigcup C\cap U_{i}\right)=\bigcup\pi^{-1}(C\cap U_{i}) and it is enough to show that π−1​(C∩Ui)\pi^{-1}(C\cap U_{i}) is compact for any ii so we may assume that VV is affinoid. But then π\pi is a continuous map between compact Hausdorff spaces and hence proper which yields the claim. We denote this measure again by c1​(L¯1)∧…∧c1​(L¯n)c_{1}(\overline{L}_{1})\wedge...\wedge c_{1}(\overline{L}_{n}). One can check that all the results of this section remain true in this more general situation.

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