ScalingStacks

4.4 . [03C2]

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

4.4.

We set Pic​(𝒳)ℝ≔Pic⁑(𝒳)βŠ—β„€β„{\rm Pic}({\mathscr{X}})_{\mathbb{R}}\coloneqq{\rm Pic}({\mathscr{X}})\otimes_{\mathbb{Z}}{\mathbb{R}}. We define the NΓ©ron-Severi group as the ℝ{\mathbb{R}}-vector space Pic​(𝒳)ℝ{\rm Pic}({\mathscr{X}})_{\mathbb{R}} modulo the subspace generated by numerically trivial line bundles. We denote this space by N1​(𝒳/S)N^{1}({\mathscr{X}}/S), where S:=Spec⁑(K∘)S:={\rm Spec}({K^{\circ}}). The space of closed (1,1)(1,1)-forms on XX is defined as the direct limit

𝒡1,1​(X)≔lim→⁑N1​(𝒳/S)\mathcal{Z}^{1,1}(X)\coloneqq\varinjlim N^{1}({\mathscr{X}}/S)

where the limit is taken over all algebraic K∘{K^{\circ}}-models of XX. We say that a closed (1,1)(1,1)-form ΞΈ\theta is determined on some model 𝒳{\mathscr{X}} if it is in the image of the map N1​(𝒳/S)→𝒡1,1​(X)N^{1}({\mathscr{X}}/S)\to\mathcal{Z}^{1,1}(X). The canonical map N1​(𝒳/S)→𝒡1,1​(X)N^{1}({\mathscr{X}}/S)\to\mathcal{Z}^{1,1}(X) induces a map d​dc:π’Ÿβ‘(X)→𝒡1,1​(X)dd^{c}:\mathcal{D}(X)\to\mathcal{Z}^{1,1}(X).

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