Griffiths' infinitesimal invariant and the Abel-Jacobi map (Q583296): Difference between revisions

Let X be a hypersurface in \({\mathbb{P}}^ n\). Let us name Noether-Lefschetz locus the locus of smooth subvarieties of X of a fixed codimension. - If \(m\geq 3\) and one considers codimension one subvarieties of X the Lefschetz theorems show immediately that the \(N-L\quad locus\) is empty in all degrees. In higher codimension the situation is more interesting. There is the following conjecture due to \textit{P. A. Griffiths} and \textit{J. Harris}: On a general 3-fold X of degree \(\geq 6\), the Abel-Jacobi map \(\alpha\) from algebraic 1-cycles on X homologically equivalent to zero to the intermediate Jacobian \(J^ 2(X)\) is zero. The author draws a three steps program for proving the above conjecture and does the first two, getting the following partial result: If X is a 3-fold as above then the image of \(\alpha\) is contained in the set of torsion points of the intermediate Jacobian. The proof is mainly based on an improvement of an infinitesimal invariant of normal functions introduced by \textit{P. A. Griffiths} [Compos. Math. 50, 267-324 (1983; Zbl 0576.14009)] and a vanishing theorem for Koszul cohomology due to the author [J. Differ. Geom. 27, 155-159 (1988; Zbl 0674.14005)].