ScalingStacks

4.6 . [03C4]

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

4.6.

We say that an element of N1​(𝒳/S)N^{1}({\mathscr{X}}/S) is ample if it is of the form ∑iai​ℒi\sum_{i}a_{i}{\mathscr{L}}_{i} for some real numbers ai>0a_{i}>0 and some ample line bundles ℒi{\mathscr{L}}_{i}. A closed (1,1)(1,1)-form θ\theta is called 𝒳{\mathscr{X}}-positive if θ𝒳\theta_{\mathscr{X}} is ample. We say that a model metric ∥⁣∥{\|\hskip 4.30554pt\|} of a line bundle LL is 𝒳{\mathscr{X}}-positive if the same holds for the curvature form c1(L,∥∥)c_{1}(L,{\|\hskip 4.30554pt\|}). We say that an element θ∈N1​(𝒳/S)\theta\in N^{1}({\mathscr{X}}/S) is nef if θ⋅C≥0\theta\cdot C\geq 0 for any closed curve C⊂𝒳sC\subset{\mathscr{X}}_{s}. A closed (1,1)(1,1)-form θ\theta is said to be semipositive if it is determined by a nef class θ𝒳∈N1​(𝒳/S)\theta_{\mathscr{X}}\in N^{1}({\mathscr{X}}/S) on a model 𝒳{\mathscr{X}}.

If θ\theta is a closed (1,1)(1,1)-form, we say that a model function φ\varphi is θ\theta-plurisubharmonic (briefly θ\theta-psh) if θ+d​dc​φ\theta+dd^{c}\varphi is semipositive. If θ\theta is the closed (1,1)(1,1)-form associated with some line bundle ℒ{\mathscr{L}} on 𝒳{\mathscr{X}} and if DD is a vertical Cartier divisor on 𝒳{\mathscr{X}}, then by definition φD\varphi_{D} is a θ\theta-psh function if and only if ℒ⊗𝒪⁡(D){\mathscr{L}}\otimes{\mathcal{O}}(D) is nef if and only if ∥∥ℒ⊗𝒪⁡(D)\|\ \|_{{\mathscr{L}}\otimes{\mathcal{O}}(D)} is a semipositive metric.

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