Related papers: Noether-Lefschetz Theory with base locus
Let $Z$ be a closed subscheme of a smooth complex projective complete intersection variety $Y\subseteq \Ps^N$, with $dim Y=2r+1\geq 3$. We describe the N\'eron-Severi group $NS_r(X)$ of a general smooth hypersurface $X\subset Y$ of…
We compute the class groups of very general normal surfaces in complex projective three-space containing an arbitrary base locus $Z$, thereby extending the classic Noether-Lefschetz theorem (the case when $Z$ is empty). Our method is an…
In this paper we extend the well known theorem of Angelo Lopez concerning the Picard group of the general space projective surface containing a given smooth projective curve, to the intermediate N\'eron-Severi group of a general…
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…
We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal…
We compute the divisor class group of the general hypersurface Y of a complex projective normal variety X of dimension at least four containing a fixed base locus Z. We deduce that completions of normal local complete intersection domains…
We introduce three notion of tameness of the Nori fundamental group scheme for a normal quasiprojective variety $X$ over an algebraically closed field. It is proved that these three notions agree if $X$ admits a smooth completion with…
For a projective variety $Z$ and for any integer $p$, define the $p$-th N\'eron-Severi group $NS_p(Z)$ of $Z$ as the image of the cycle map $A_{p}(Z)\to H_{2p}(Z; \mathbb{C})$. Now let $X\subset \Ps^{2m+1}$ ($m\geq 1$) be a projective…
We show that if $X\subset\mathbb P^N_k$ is a normal variety of dimension $\geq 3$ and $H\subset\mathbb P^N_k$ a very general hypersurface of degree $d=4$ or $\geq 6$, then the restriction map $\mathrm{Cl}(X)\to\mathrm{Cl}(X\cap H)$ is an…
We study when the Picard group of smooth surfaces of degree $d\geq 5$ in $\mathbb{P}^3$ acquires extra classes. In particular we show that the so called exceptional components of the Noether-Lefschetz locus are not Zariski dense. This…
We use our extension of the Noether-Lefschetz theorem to describe generators of the class groups at the local rings of singularities of very general hypersurfaces containing a fixed base locus. We give several applications, including (1)…
In this article, we consider regular projective arithmetic schemes in the context of Arakelov geometry, any of which is endowed with an action of the diagonalisable group scheme associated to a finite cyclic group and with an equivariant…
One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…
Assuming the Tate conjecture and the computability of \'etale cohomology with finite coefficients, we give an algorithm that computes the N\'eron-Severi group of any smooth projective geometrically integral variety, and also the rank of the…
The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that…
We prove that there exist hypersurfaces that contain a given closed subscheme $Z$ of the projective space over a finite field and intersect a given smooth scheme $X$ off of $Z$ smoothly, if the intersection $V = Z \cap X$ is smooth.…
To a smooth projective variety $X$ whose Chow group of $0$-cycles is $\mathbf Q$-universally trivial one can associate its torsion index $\mathrm{Tor}(X)$, the smallest multiple of the diagonal appearing in a cycle-theoretic decomposition…
Let $X \hookrightarrow \mathbb{P}^r$ be a smooth projective variety defined by homogeneous polynomials of degree $\leq d$ over an algebraically closed field. Let $\mathbf{Pic}\, X$ be the Picard scheme of $X$. Let $\mathbf{Pic}^0 X$ be the…
Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…
We prove a Lefschetz (1,1)-Theorem for proper seminormal varieties over the complex numbers. The proof is a non-trivial geometric argument applied to the isogeny class of the Lefschetz 1-motive associated to the mixed Hodge structure on…