Related papers: The Noether--Lefschetz theorem in arbitrary charac…

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 for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$…

The classical Brill-Noether theorem states that a map from a general curve to a projective space deforms in a family of expected dimension as long as its image does not lie in any hyperplane. In this note, we observe, as a direct…

Let X be a very general complete intersection in complex projective space and we denote by $F_r(X)$ the variety of r-planes in X, for $r\geq 1$. We show that the Picard number of $F_r(X)$ is 1, as soon as $\dim F_r(X)\geq 2$, except when X…

Gordan and Noether proved in their fundamental theorem that an hypersurface $X=V(F)\subseteq \mathbb{P}^n$ with $n\leq 3$ is a cone if and only if $F$ has vanishing hessian (i.e. the determinant of the Hessian matrix). They also showed that…

Max Noether's Theorem asserts that if $\ww$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. This is true for…

Let $Z$ be a closed subscheme of a smooth complex projective variety $Y\subseteq \Ps^N$, with $\dim\,Y=2r+1\geq 3$. We describe the intermediate N\'eron-Severi group (i.e. the image of the cycle map $A_r(X)\to H_{2r}(X;\mathbb{Z})$) of a…

It is well known since Noether that the gonality of a smooth plane curve of degree d>3 is d-1. Given a k-dimensional complex projective variety X, the most natural extension of gonality is probably the degree of irrationality, that is the…

Let $C\subset \mathbb P^r$ be an integral projective curve. We define the speciality index $e(C)$ of $C$ as the maximal integer $t$ such that $h^0(C,\omega_C(-t))>0$, where $\omega_C$ denotes the dualizing sheaf of $C$. In the present paper…

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…

We deal with a generalization of a Theorem of P. Gordan and M. Noether on hypersurfaces with vanishing (first) Hessian. We prove that for any given $N\geq 3$, $d \geq 3$ and $2\leq k < \frac{d}{2}$ there are infinitely many irreducible…

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…

Max Noether's Theorem asserts that if $\omega$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. The result was…

For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz 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…

Let $C$ be a curve of genus $g$. A fundamental problem in the theory of algebraic curves is to understand maps $C \to \mathbb{P}^r$ of specified degree $d$. When $C$ is general, the moduli space of such maps is well-understood by the main…

For a quasi-smooth hyper-surface $X$ in a projective simplicial toric variety $P$, the morphism $i:H^p(P) \to H^p(X)$ induced by the inclusion is injective for $p=d$ and an isomorphism for $p<d-1$, where $d=dim\ P$. This allows one to…

By the Lefschetz hyperplane theorem, if X is a smooth quasi-projective variety and C a general curve section of X then the fundamental group of C surjects onto the fundamental group of X. Here we consider when this conclusion holds for a…

We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective…

Let $Y$ be a smooth complex projective variety of dimension $N+1$, $L$ an invertible sufficiently ample sheaf, $X\in |L|$ a smooth hypersurface and $\lambda\in F^kH^N(X,C)$ a vanishing cohomology class, where $F^{*}$ is the Hodge filtration…