ScalingStacks

2.3 . [0384]

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

2.3.

Consider a model 𝒳{{\mathscr{X}}} of the proper variety XX over KK. The rational vector space space N1​(𝒳/S)β„šN^{1}({{\mathscr{X}}}/S)_{\mathbb{Q}} is by definition the quotient of Pic​(𝒳)β„šβ‰”Pic⁑(𝒳)βŠ—β„€β„š{{\rm Pic}\,}({{\mathscr{X}}})_{\mathbb{Q}}\coloneqq{\rm Pic}({{\mathscr{X}}})\otimes_{\mathbb{Z}}\mathbb{Q} by the subspace generated by classes of line bundles β„’{\mathscr{L}} such that β„’β‹…C=0{\mathscr{L}}\cdot C=0 for each closed curve CC in the special fiber 𝒳s{{\mathscr{X}}}_{s}. Note that N1​(𝒳/S)β„šN^{1}({{\mathscr{X}}}/S)_{\mathbb{Q}} is finite dimensional by applying [Kle66, Prop.Β IV.1.4] to 𝒳s{{\mathscr{X}}}_{s}. We define N1​(𝒳/S)≔N1​(𝒳/S)β„šβŠ—β„šβ„N^{1}({{\mathscr{X}}}/S)\coloneqq N^{1}({{\mathscr{X}}}/S)_{\mathbb{Q}}\otimes_{\mathbb{Q}}\mathbb{R}. An element α∈N1​(𝒳/S)β„š\alpha\in N^{1}({{\mathscr{X}}}/S)_{\mathbb{Q}} (resp.Β OPENα∈N1​(𝒳/S))\alpha\in N^{1}({{\mathscr{X}}}/S)) is called nef if Ξ±β‹…Cβ‰₯0\alpha\cdot C\geq 0 for all closed curves CC in 𝒳s{{\mathscr{X}}}_{s}. We call a line bundle β„’{\mathscr{L}} on 𝒳{{\mathscr{X}}} nef if the class of β„’{\mathscr{L}} in N1​(𝒳/S)N^{1}({{\mathscr{X}}}/S) is nef.

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