English

A General Noether-Lefschetz Theorem and applications

alg-geom 2024-07-09 v2 Algebraic Geometry

Abstract

In this paper we generalize the classical Noether-Lefschetz Theorem to arbitrary smooth projective threefolds. Let XX be a smooth projective threefold over complex numbers, LL a very ample line bundle on XX. Then we prove that there is a positive integer n0(X,L)n_0(X,L) such that for nn0(X,L)n \geq n_0(X,L), the Noether-Lefschetz locus of the linear system H0(X,Ln)H^0(X,L^n) is a countable union of proper closed subvarieties of (H0(X,Ln))\P(H^0(X,L^n)^*) of codimension at least two. In particular, the {\em general singular member} of the linear system H0(X,Ln)H^0(X,L^n) is not contained in the Noether-Lefschetz locus. As an application of our main theorem we prove the following result: Let XX be a smooth projective threefold, LL a very ample line bundle. Assume that nn is very large. Let S=(H0(X,Ln))S=\P(H^0(X,L^n)^*), let KK denote the function field of SS. Let YK{\cal Y}_K be the generic hypersurface corresponding to the sections of H0(X,Ln)H^0(X,L^n). Then we show that the natural map on codimension two cycles CH2(X\C)CH(YK) CH^2(X_{\C}) \to CH^({\cal Y}_K) is injective. This is a weaker version of a conjecture of M. V. Nori, which generalises the Noether-Lefschetz theorem on codimension one cycles on a smooth projective threefolds to arbitrary codimension

Keywords

Cite

@article{arxiv.alg-geom/9305001,
  title  = {A General Noether-Lefschetz Theorem and applications},
  author = {Kirti Joshi},
  journal= {arXiv preprint arXiv:alg-geom/9305001},
  year   = {2024}
}

Comments

30 pages, in LaTeX. replaced to correct earlier e-mail corruption