ScalingStacks

2.4 . [0385]

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.4.

We define 𝒡1,1​(X)β„š\mathcal{Z}^{1,1}(X)_{\mathbb{Q}} as the direct limit

(2.1) 𝒡1,1​(X)β„šβ‰”lim→⁑N1​(𝒳/S)β„š,\displaystyle\mathcal{Z}^{1,1}(X)_{\mathbb{Q}}\coloneqq\varinjlim N^{1}({{\mathscr{X}}}/S)_{\mathbb{Q}},

where 𝒳{{\mathscr{X}}} runs over the isomorphism classes of models of XX. The space of closed (1,1)(1,1)-forms on XX is defined as 𝒡1,1​(X)≔𝒡1,1​(X)β„šβŠ—β„šβ„\mathcal{Z}^{1,1}(X)\coloneqq\mathcal{Z}^{1,1}(X)_{\mathbb{Q}}\otimes_{\mathbb{Q}}\mathbb{R}. Let LL be a line bundle on XX. Let βˆ₯⁣βˆ₯{\|\ \|} be a model metric on LanL^{\mathrm{an}} which is determined on 𝒳{{\mathscr{X}}} by a model β„’{\mathscr{L}} of LβŠ—mL^{\otimes m}. We multiply the class of β„’{\mathscr{L}} in N1​(𝒳/S)β„šN^{1}({{\mathscr{X}}}/S)_{\mathbb{Q}} by mβˆ’1m^{-1} which determines a well defined class c1(L,βˆ₯βˆ₯)βˆˆπ’΅1,1(X)β„šβŠ†π’΅1,1(X)c_{1}(L,{\|\ \|})\in\mathcal{Z}^{1,1}(X)_{\mathbb{Q}}\subseteq\mathcal{Z}^{1,1}(X) called the curvature form c1(L,βˆ₯βˆ₯)c_{1}(L,{\|\ \|}) of (L,βˆ₯βˆ₯)(L,{\|\ \|}).

A closed (1,1)(1,1)-form ΞΈ\theta is called semipositive if it is represented by a nef element ΞΈπ’³βˆˆN1​(𝒳/S)\theta_{{\mathscr{X}}}\in N^{1}({{\mathscr{X}}}/S) for some model 𝒳{{\mathscr{X}}} of XX. We say that a model metric βˆ₯⁣βˆ₯{\|\ \|} on LanL^{\mathrm{an}} for a line bundle LL on XX is semipositive if the same holds for the curvature form c1(L,βˆ₯βˆ₯)c_{1}(L,{\|\ \|}).

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