Factoriality and Neron-Severi groups of a projective codimension two complete intersection with isolated singularities

arXivmath/0605341MaRDI QIDQ6477183FDOQ6477183

Authors: Vincenzo di Gennaro, Davide Franco 

Publication date: 12 May 2006

Abstract: For a projective variety $Z$ and for any integer $p$, define the $p$-th N'eron-Severi group $N{S}_p(Z)$ of $Z$ as the image of the cycle map $A_p(Z)o{H}_{2p}(Z;mathbbC)$. Now let $XsubsetP{s}^{2m+1}$ ($mgeq1$) be a projective variety of dimension $2m-1$, with isolated singularities, complete intersection of a smooth hypersurface of degree $k$, with a hypersurface of degree $n>maxk,2m+1$, and let $F$ be a general hypersurface of degree $n$ containing $X$. We prove that the natural map $N{S}_m(X)oN{S}_m(F)$ is surjective, and that if $dimN{S}_m(F)=1$ then $dimN{S}_m(X)=1$. In particular $dimN{S}_m(X)=1$ if and only if $dimN{S}_m(F)=1$. When $X$ is a threefold (i.e. $m=2$) we deduce a new characterization for the factoriality of $X$, i.e. that $X$ is factorial if and only if $dimN{S}_2(F)=1$. This allows us to give examples of factorial threefolds, in some case with many singularities. During the proof of the announced results, we show that the quotient of the middle cohomology of $F$ by the cycle classes coming from $X$ is irreducible under the monodromy action induced by the hypersurfaces of degree $n$ containing $X$. As consequences we deduce a Noether-Lefschetz Theorem for a projective complete intersection with isolated singularities, and, also using a recent result on codimension two Hodge conjecture, in the case $XsubsetP{s}^5$ is a threefold as before, we deduce that the general hypersurface $F$ of degree $n$ containing $X$ verifies Hodge conjecture.

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Structure of families (Picard-Lefschetz, monodromy, etc.) (14D05) Singularities of surfaces or higher-dimensional varieties (14J17) Complete intersections (14M10)

This page was built for publication: Factoriality and Neron-Severi groups of a projective codimension two complete intersection with isolated singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6477183)