Table of Contents
Fetching ...

A General Noether-Lefschetz Theorem and applications

Kirti Joshi

Abstract

In this paper we generalize the classical Noether-Lefschetz Theorem to arbitrary smooth projective threefolds. Let $X$ be a smooth projective threefold over complex numbers, $L$ a very ample line bundle on $X$. Then we prove that there is a positive integer $n_0(X,L)$ such that for $n \geq n_0(X,L)$, the Noether-Lefschetz locus of the linear system $H^0(X,L^n)$ is a countable union of proper closed subvarieties of $¶(H^0(X,L^n)^*)$ of codimension at least two. In particular, the {\em general singular member} of the linear system $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 $X$ be a smooth projective threefold, $L$ a very ample line bundle. Assume that $n$ is very large. Let $S=¶(H^0(X,L^n)^*)$, let $K$ denote the function field of $S$. Let ${\cal Y}_K$ be the generic hypersurface corresponding to the sections of $H^0(X,L^n)$. Then we show that the natural map on codimension two cycles $$ 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

A General Noether-Lefschetz Theorem and applications

Abstract

In this paper we generalize the classical Noether-Lefschetz Theorem to arbitrary smooth projective threefolds. Let be a smooth projective threefold over complex numbers, a very ample line bundle on . Then we prove that there is a positive integer such that for , the Noether-Lefschetz locus of the linear system is a countable union of proper closed subvarieties of of codimension at least two. In particular, the {\em general singular member} of the linear system is not contained in the Noether-Lefschetz locus. As an application of our main theorem we prove the following result: Let be a smooth projective threefold, a very ample line bundle. Assume that is very large. Let , let denote the function field of . Let be the generic hypersurface corresponding to the sections of . Then we show that the natural map on codimension two cycles 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

Paper Structure

This paper contains 6 sections, 17 theorems, 14 equations.

Key Result

Proposition 2.1

Let $X$ be a smooth projective threefold over complex numbers, $L$ a very ample line bundle on $X$, $W\subset H^0(X,L)$ a base point free linear system. If $s\in W$ cuts out a smooth divisor $Y_s$ on $X$ and if $\mathop{\rm VNL}\nolimits(X,L,W,s)$ is valid then so is $\mathop{\rm INL}\nolimits(X,L,W

Theorems & Definitions (18)

  • Proposition 2.1
  • Proposition 3.1
  • Proposition 3.2
  • Lemma 3.3
  • Lemma 3.6
  • Proposition 3.7
  • Proposition 4.1
  • Proposition 4.2
  • Lemma 4.3
  • Proposition 4.4
  • ...and 8 more