ScalingStacks

Corollary 7.4 . [039R]

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

Corollary 7.4.

Let XX be a smooth nn-dimensional projective variety over KK with a closed (1,1)(1,1)-form θ\theta. Let ℒ\mathscr{L} be a line bundle on a K∘{K^{\circ}}-model 𝒳\mathscr{X} of XX defining θ\theta and with L=ℒ|XL=\mathscr{L}|_{X} ample. We assume that (𝒳,ℒ)(\mathscr{X},\mathscr{L}) is the base change of (𝒳R,ℒR)(\mathscr{X}_{R},\mathscr{L}_{R}) for a line bundle ℒR\mathscr{L}_{R} of a projective integral scheme 𝒳R\mathscr{X}_{R} over a subring RR of K∘{K^{\circ}} and that RR is a discrete valuation ring defined geometrically by a dd-dimensional normal variety BB over a perfect field kk (as in Remark 7.2). If resolution of singularities holds over kk in dimension d+nd+n, then Pθ​(0){P}_{\theta}(0) is a uniform limit of θ\theta-psh model functions and hence Pθ​(0){P}_{\theta}(0) is continuous on Xan{X^{{\mathrm{an}}}}.

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