ScalingStacks

Proof. [03CF]

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.

We note first that restriction gives a canonical injective homomorphism N1​(𝒳/S)β†’N1​(𝒳s)N^{1}({\mathscr{X}}/S)\to N^{1}({\mathscr{X}}_{s}) and the ample part of N1​(𝒳/S)N^{1}({\mathscr{X}}/S) is the preimage of the ample part of N1​(𝒳s)N^{1}({\mathscr{X}}_{s}) (see the proof of Proposition 4.12). By assumption, ΞΈ\theta can be represented by c1​(β„’)=βˆ‘iΞ»i​c1​(β„’i)c_{1}({\mathscr{L}})=\sum_{i}\lambda_{i}c_{1}({\mathscr{L}}_{i}) with line bundles β„’i{\mathscr{L}}_{i} and Ξ»iβˆˆβ„\lambda_{i}\in{\mathbb{R}}. We recall that the isomorphism classes of K∘{K^{\circ}}-models of XX form a directed set and that any K∘{K^{\circ}}-model of the projective variety XX is dominated by a projective K∘{K^{\circ}}-model. So we may assume that all β„’i{\mathscr{L}}_{i} live on a common projective model 𝒳{\mathscr{X}}. We approximate the real numbers Ξ»i\lambda_{i} by sufficiently close rational numbers Ξ»iβ€²\lambda_{i}^{\prime}. Then the restriction Lβ€²L^{\prime} of β„’β€²:=⨂iβ„’iβ€²βŠ—Ξ»iβ€²{\mathscr{L}}^{\prime}:=\bigotimes_{i}{\mathscr{L}}_{i}^{\prime\otimes\lambda_{i}^{\prime}} to the generic fibre XX is a β„š{\mathbb{Q}}-line bundle which is sufficiently close to LL in N1​(X)N^{1}(X). Since the ample cone in N1​(X)N^{1}(X) is open, we may assume that Lβ€²L^{\prime} is ample as well. By Proposition 4.11, we may assume that Lβ€²L^{\prime} admits an ample extension β„‹β€²βˆˆPic​(𝒳)β„š{\mathscr{H}}^{\prime}\in{\rm Pic}({\mathscr{X}})_{\mathbb{Q}}. Let Ο†β€²\varphi^{\prime} be the model function corresponding to β„‹β€²βŠ—(β„’β€²)βˆ’1{\mathscr{H}}^{\prime}\otimes({\mathscr{L}}^{\prime})^{-1}. Let now ΞΈβ€²\theta^{\prime} be the closed (1,1)(1,1)-form on XX represented by β„’β€²{\mathscr{L}}^{\prime}. Since d​dc​φ′+ΞΈβ€²dd^{c}\varphi^{\prime}+\theta^{\prime} is represented by c1​(β„‹β€²)c_{1}({\mathscr{H}}^{\prime}), we conclude that d​dc​φ′+ΞΈβ€²dd^{c}\varphi^{\prime}+\theta^{\prime} is 𝒳{\mathscr{X}}-positive. Since the ample cone of 𝒳s{\mathscr{X}}_{s} is open and since the restrictions of β„’,β„’β€²{\mathscr{L}},{\mathscr{L}}^{\prime} to the special fibre 𝒳s{\mathscr{X}}_{s} are sufficiently close, it follows from our remark at the beginning that c1​(β„‹β€²)+c1​(β„’)βˆ’c1​(β„’β€²)c_{1}({\mathscr{H}}^{\prime})+c_{1}({\mathscr{L}})-c_{1}({\mathscr{L}}^{\prime}) is ℝ{\mathbb{R}}-ample. Since d​dc​φ′+ΞΈdd^{c}\varphi^{\prime}+\theta is represented by c1​(β„‹β€²)+c1​(β„’)βˆ’c1​(β„’β€²)c_{1}({\mathscr{H}}^{\prime})+c_{1}({\mathscr{L}})-c_{1}({\mathscr{L}}^{\prime}), we see that d​dc​φ′+ΞΈdd^{c}\varphi^{\prime}+\theta is 𝒳{\mathscr{X}}-positive.

Now let ΞΈ\theta be semipositive. Since a function in π’Ÿβ‘(X){\mathscr{D}}(X) is continuous on Xan{X^{\rm an}}, it is bounded and hence c:=supXanΟ†c:=\sup_{X^{\rm an}}\varphi is bounded. We may replace Ο†β€²\varphi^{\prime} by Ο†β€²βˆ’c\varphi^{\prime}-c without changing d​dc​φ′dd^{c}\varphi^{\prime}. Since cc is in the value group of the algebraic closure of KK, this is still a model function and hence we may assume φ′≀0\varphi^{\prime}\leq 0. Since the sum of a nef and an ample ℝ{\mathbb{R}}-line bundle remains ℝ{\mathbb{R}}-ample (as we can check that on the special fibre, see the proof of Proposition 4.12), we know that

ΞΈ+d​dc​(Ρ​φ′)=Ρ⁑(ΞΈ+d​dc​φ′)+(1βˆ’Ξ΅)​θ\theta+dd^{c}({\varepsilon}\varphi^{\prime})={\varepsilon}(\theta+dd^{c}\varphi^{\prime})+(1-{\varepsilon})\theta

is also 𝒳{\mathscr{X}}-positive for all 0<Ρ≀10<{\varepsilon}\leq 1. Using a rational Ξ΅{\varepsilon} sufficiently close to 00, we get the claim. ∎

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