Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 14 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. 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 N 1 β ( π³ / 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 X X is defined as the direct limit
π΅ 1 , 1 β ( X ) β lim β β‘ N 1 β ( π³ / 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 X X .
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
N 1 β ( π³ / S ) β π΅ 1 , 1 β ( X ) N^{1}({\mathscr{X}}/S)\to\mathcal{Z}^{1,1}(X) .
The canonical map N 1 β ( π³ / S ) β π΅ 1 , 1 β ( X ) N^{1}({\mathscr{X}}/S)\to\mathcal{Z}^{1,1}(X) induces a map d β d c : π β‘ ( X ) β π΅ 1 , 1 β ( X ) dd^{c}:\mathcal{D}(X)\to\mathcal{Z}^{1,1}(X) .