ScalingStacks

Proof. [03A2]

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), we may assume that θ∈𝒵1,1​(X)ℚ\theta\in\mathcal{Z}^{1,1}(X)_{\mathbb{Q}}. By Proposition 2.9(vii), we may replace LL by a positive tensor power and θ\theta by the corresponding multiple, and so we may assume that LL is very ample. In the notation of Definition 8.1, the assumption that (X,L)(X,L) is of geometric origin means that LL is the pull-back of a line bundle L′L^{\prime} on the projective variety YY over K′=k⁡(B)K^{\prime}=k(B). It follows easily from [Har77, Prop. III.9.3] and [EGAIV, Prop. 2.7.1(xii)] that L′L^{\prime} is very ample. Then L′L^{\prime} extends to a very ample line bundle on a projective RR-model of YY for the discrete valuation ring R=𝒪B,bR=\mathcal{O}_{B,b} from Definition 8.1. By base change to K∘{K^{\circ}}, we conclude that there is a closed (1,1)(1,1)-form θ′\theta^{\prime} on Xan{X^{{\mathrm{an}}}} with de Rham class {θ′}={θ}\{\theta^{\prime}\}=\{\theta\} such that (X,θ′)(X,\theta^{\prime}) is of geometric origin from a dd-dimensional family over kk.

By the d​dcdd^{c}-lemma in [BFJ16a, Thm. 4.3] (see also the second author’s thesis [Jel16, Thm. 4.2.7] for generalizations) and using the rationality assumption on θ\theta from the beginning of the proof, there is v∈𝒟⁡(X)v\in{\mathscr{D}}(X) such that θ′=θ+d​dc​v\theta^{\prime}=\theta+dd^{c}v. It follows from Proposition 2.9(iv) that

Pθ​(u)−v=Pθ+d​dc​v​(u−v)=Pθ′​(u−v).\displaystyle{P}_{\theta}(u)-v={P}_{\theta+dd^{c}v}(u-v)={P}_{\theta^{\prime}}(u-v).

By Lemma 8.4, the function Pθ′​(u−v){P}_{\theta^{\prime}}(u-v) is a uniform limit of θ′\theta^{\prime}-psh functions. Adding vv, we get the claim for Pθ​(u){P}_{\theta}(u). ∎

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