ScalingStacks

Proposition 3.10 . [038W]

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

Proposition 3.10.

Let θ\theta be a closed (1,1)(1,1)-form with nef de Rham class {θ}\{\theta\} on the smooth projective curve XX over KK and let f:Xan→ℝf\colon X^{{\mathrm{an}}}\to\mathbb{R} be a model function. We assume that θ\theta and ff are determined on the strictly semistable model 𝒳\mathscr{X} of XX. Let τ:Xan→S⁡(𝒳)\tau\colon{X^{{\mathrm{an}}}}\to S(\mathscr{X}) be the canonical retraction to the skeleton. Then the following properties hold:

  1. (i)

    There is F:S⁡(𝒳)→ℝF\colon S(\mathscr{X})\to\mathbb{R} which is affine on each edge and with Pθ​(f)=F∘τ{P}_{\theta}(f)=F\circ\tau.

  2. (ii)

    If Γ⊂ℚ\Gamma\subset\mathbb{Q} and if θ∈𝒵1,1​(X)ℚ\theta\in\mathcal{Z}^{1,1}(X)_{\mathbb{Q}}, then Pθ​(f){P}_{\theta}(f) is a θ\theta-psh model function which is determined on 𝒳\mathscr{X}.

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