ScalingStacks

Remark 5.4 . [05B7]

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 5.4.

In the situation of Theorem 5.2 we denote by 𝒪¯h∘p𝔛′\overline{\mathcal{O}}^{h\circ p_{\mathfrak{X}^{\prime}}} the trivial line bundle on 𝔛′an\mathfrak{X}^{\prime\textup{an}} together with the metric which is given by ∥1∥=e−h∘p𝔛′\|1\|=e^{-h\circ p_{\mathfrak{X}^{\prime}}}. After base change to the completion of an algebraic closure ℂK\mathbb{C}_{K} of KK this becomes a formally metrized line bundle by Proposition 2.11. So similarly as in Remark 4.16 we can define its non-archimedean Monge-Ampère measure by base change to ℂK\mathbb{C}_{K}.

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