The Noether-Lefschetz theorem for the divisor class group (Q2654072): Difference between revisions

The authors generalize the Noether-Lefschetz Theorem to normal three-folds. Let \(X\) be a normal projective three-fold and let \(V\subset H^0(X,\mathcal{O}_X(1))\) be a base point free linear system, where \(\mathcal{O}_X(1)\) is an ample line bundle. Let \(f:X\to \mathbb{P}^N\) be the induced morphism and assume that \((f_*K_X)(1)\) is globally generated. Then for a very general hyperplane section \(Y\in |V|\), the natural map \(\mathrm{Cl}(X)\to\mathrm{Cl}(Y)\) is an isomorphism. The usual Noether-Lefschetz theorem follows easily. The method is to first prove a formal Noether-Lefschetz theorem like the one proved by the reviewer and the second author in the classical set up and deduce the theorem using similar methods as in the quoted unpublished article. These methods were also used by the authors to prove the Grothendieck-Lefschetz theorem for normal projective varieties [J. Algebr. Geom. 15, No. 3, 563--590 (2006; Zbl 1123.14004)].