ScalingStacks

2.3. Forms and de Rham classes [018Z]

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. Forms and de Rham classes

Let 𝒳\mathcal{X} be a model of XX. The space N1​(𝒳/S)N^{1}(\mathcal{X}/S) of (relative, codimension 11) numerical equivalence classes on 𝒳\mathcal{X} is defined as the quotient of Pic⁑(𝒳)𝐑\Pic(\mathcal{X})_{\mathbf{R}} by the subspace spanned by numerically trivial line bundles, i.e. those β„’βˆˆPic⁑(𝒳)𝐑\mathcal{L}\in\Pic(\mathcal{X})_{\mathbf{R}} such that β„’β‹…C=0\mathcal{L}\cdot C=0 for all projective curves contained in a fiber of 𝒳→S\mathcal{X}\to S. It is in fact enough to consider vertical curves, i.e. those contained in the special fiber 𝒳0\mathcal{X}_{0}. A class θ∈N1​(𝒳/S)\theta\in N^{1}(\mathcal{X}/S) is nef if ΞΈβ‹…Cβ‰₯0\theta\cdot C\geq 0 for all such curves CC.

Definition 2.3.

The space of closed (1,1)(1,1)-forms on XX is defined as the direct limit

𝒡1,1​(X):=limβ†’π’³βˆˆβ„³X⁑N1​(𝒳/S).\mathcal{Z}^{1,1}(X):=\varinjlim_{\mathcal{X}\in\mathcal{M}_{X}}N^{1}(\mathcal{X}/S).

We say that a closed (1,1)(1,1)-form ΞΈβˆˆπ’΅1,1​(X)\theta\in\mathcal{Z}^{1,1}(X) is determined on a given model 𝒳\mathcal{X} if it is the image of an element ΞΈπ’³βˆˆN1​(𝒳/S)\theta_{\mathcal{X}}\in N^{1}(\mathcal{X}/S). By definition, two classes θ∈N1​(𝒳/S)\theta\in N^{1}(\mathcal{X}/S) and ΞΈβ€²βˆˆN1​(𝒳′/S)\theta^{\prime}\in N^{1}(\mathcal{X}^{\prime}/S) define the same element in 𝒡1,1​(X)\mathcal{Z}^{1,1}(X) iff they pull back to the same class on a model dominating both 𝒳\mathcal{X} and 𝒳′\mathcal{X}^{\prime}.

Definition 2.4.

A closed (1,1)(1,1)-form ΞΈβˆˆπ’΅1,1​(X)\theta\in\mathcal{Z}^{1,1}(X) is semipositive if ΞΈπ’³βˆˆN1​(𝒳/S)\theta_{\mathcal{X}}\in N^{1}(\mathcal{X}/S) is nef for some (or, equivalently, any) determination 𝒳\mathcal{X} of ΞΈ\theta.

The natural map N1​(𝒳/S)β†’N1​(X)N^{1}(\mathcal{X}/S)\to N^{1}(X) gives rise to a map 𝒡1,1​(X)β†’N1​(X)\mathcal{Z}^{1,1}(X)\to N^{1}(X) which in fact is surjective. We refer to {ΞΈ}\{\theta\} as the de Rham class of the closed (1,1)(1,1)-form ΞΈ\theta. When ΞΈ\theta is semipositive, the de Rham class {ΞΈ}∈N1​(X)\{\theta\}\in N^{1}(X) is nef on XX. In what follows, we shall mainly work with forms having ample de Rham class.

Any model function fβˆˆπ’Ÿβ‘(X)f\in\mathcal{D}(X) induces a form d​dc​fβˆˆπ’΅1,1​(X)dd^{c}f\in\mathcal{Z}^{1,1}(X) as follows: for any determination 𝒳\mathcal{X} of ff, d​dc​fdd^{c}f is the class of the divisor βˆ‘i∈Ibi​f​(xi)​Ei\sum_{i\in I}b_{i}f(x_{i})E_{i}, where 𝒳0=βˆ‘ibi​Ei\mathcal{X}_{0}=\sum_{i}b_{i}E_{i} and xi∈Xx_{i}\in X is the divisorial point associated to EiE_{i}.

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