ScalingStacks

Proof. [03A7]

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.

By Proposition 2.9(vi) and the continuity of the Monge–Ampère measure given in [BFJ15, Thm. 3.1], we may assume that θ∈𝒵1,1​(X)ℚ\theta\in\mathcal{Z}^{1,1}(X)_{\mathbb{Q}}. Using Proposition 2.9(vii), we may assume that θ\theta is induced by a line bundle of a model of XX. Then the claim follows from [BGJKM16, Thm. 6.3.2] as Pθ​(f){P}_{\theta}(f) is continuous by Theorem 8.2. ∎

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