ScalingStacks

Proof of Theorem 8.2 . [03A3]

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 of Theorem 8.2.

We note first that by Proposition 2.9 (viii) the property that Pθ​(u){P}_{\theta}(u) is a uniform limit of θ\theta-psh model functions is equivalent to the property that it is a continuous function. Let K′/KK^{\prime}/K be a finite normal extension and denote by q:X′≔X⊗KK′→Xq\colon X^{\prime}\coloneqq X\otimes_{K}{K^{\prime}}\to X the natural projection. Let θ′=q∗​θ∈𝒵1,1​(X′)\theta^{\prime}=q^{*}\theta\in\mathcal{Z}^{1,1}(X^{\prime}). Then by Lemma 2.11 we have that

q∗​Pθ​(u)=Pθ′​(q∗​u).q^{*}{P}_{\theta}(u)={P}_{\theta^{\prime}}(q^{*}u).

It follows from [Ber90, Prop. 1.3.5] that Xan{X^{{\mathrm{an}}}} is as a topological space equal to the quotient of (X′)an(X^{\prime})^{\rm an} by the automorphism group of K′/KK^{\prime}/K. We conclude that Pθ​(u){P}_{\theta}(u) is continuous if and only if Pθ′​(q∗​u){P}_{\theta^{\prime}}(q^{*}u) is continuous.

Hence we can replace KK by a finite normal extension. Adapting the same argument as in [BFJ15, Lemma A.7] to characteristic pp, there exists a finite normal extension K′/KK^{\prime}/K and a function field FF of transcendence degree dd over kk with K′K^{\prime} as completion as in Definiton 8.1 such that X′≔X⊗KK′X^{\prime}\coloneqq X\otimes_{K}K^{\prime} is the base change of a projective variety YY over FF with N1​(Y/F)ℚ→N1​(X′/K′)ℚN^{1}(Y/F)_{\mathbb{Q}}\to N^{1}(X^{\prime}/K^{\prime})_{\mathbb{Q}} surjective. Replacing K′K^{\prime} by KK, we can assume that there is YY as above with a surjective map

(8.2) N1​(Y/F)ℚ→N1​(X/K)ℚN^{1}(Y/F)_{\mathbb{Q}}\to N^{1}(X/K)_{\mathbb{Q}}

induced by the natural projection X→YX\to Y. To prove continuity of Pθ​(u){P}_{\theta}(u), we may assume that the de Rham class {θ}\{\theta\} is in N1​(X)ℚN^{1}(X)_{\mathbb{Q}} by using an approximation argument based on Proposition 2.9(vi). We conclude from surjectivity in (8.2) that there is a non-zero m∈Nm\in N such that {m​θ}\{m\theta\} is induced by a line bundle LL with (X,L)(X,L) of geometric origin from a dd-dimensional family over kk (in fact from YY). By Proposition 2.9(vii), we have Pθ​(u)=1m​Pm​θ​(m​u){P}_{\theta}(u)=\frac{1}{m}{P}_{m\theta}(mu) and hence continuity follows from Lemma 8.5. ∎

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