ScalingStacks

3.1 . [03BF]

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

3.1.

Let XX be a proper scheme over KK with a line bundle LL over XX. We call an algebraic K∘{K^{\circ}}-model (𝒳,ℒ)({\mathscr{X}},{\mathscr{L}}) of (X,L)(X,L) numerically effective (briefly nef) if degℒ⁡(C)≥0\deg_{\mathscr{L}}(C)\geq 0 for every closed curve CC in 𝒳{\mathscr{X}} which is proper over K∘{K^{\circ}}. Of course, properness implies that CC is contained in the special fiber 𝒳s{\mathscr{X}}_{s}. An algebraic metric ∥⁣∥{\|\hskip 4.30554pt\|} on LanL^{\rm an} is said to be semipositive if there is a nef algebraic K∘{K^{\circ}}-model (𝒳,ℒ)({\mathscr{X}},{\mathscr{L}}) of (X,L)(X,L) such that ∥∥=∥∥ℒ{\|\hskip 4.30554pt\|}={\|\hskip 4.30554pt\|}_{\mathscr{L}}.

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