ScalingStacks

0033

Definition 5.1. [4, Thm. 2.17] (Semipositivity I) Let ‖⋅‖\left\lVert\cdot\right\rVert be a model metric on LL, associated to a ℚ\mathbb{Q}-line bundle ℒ\mathcal{L} on a model 𝒳\mathcal{X} of XKX_{K}. Then

  • •

    the metric ‖‖\left\lVert\right\rVert is a semipositive model metric iff ℒ\mathcal{L} is nef, namely ℒ⋅C≥0\mathcal{L}\cdot C\geq 0 for any projective curve CC contained in 𝒳0\mathcal{X}_{0};

  • •

    a continuous metric ‖‖​e−ϕ\left\lVert\right\rVert e^{-\phi} is semipositive iff it is the uniform limit of some sequence of semipositive model metrics on XKa​nX_{K}^{an}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.