ScalingStacks

Theorem 2.17 . [019H]

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

Theorem 2.17.

Let ∥⋅∥\|\cdot\| be a model metric on LL, associated to a 𝐐\mathbf{Q}-line bundle ℒ\mathcal{L} on a model 𝒳\mathcal{X} of XX. Then

  • (i)

    the metric ∥⋅∥\|\cdot\| is semipositive iff ℒ\mathcal{L} is nef;

  • (ii)

    a continuous metric ∥⋅∥e−φ\|\cdot\|e^{-\varphi} is semipositive iff there exists a sequence of semipositive model metrics ∥⋅∥m=∥⋅∥e−φm\|\cdot\|_{m}=\|\cdot\|e^{-\varphi_{m}} such that φm→φ\varphi_{m}\to\varphi uniformly on XX.

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