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

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…

Andr\'{e} and Maulik--Poonen proved that for any smooth proper family $X\to B$ of varieties over an algebraically closed field of characteristic $0$, there is a closed fiber whose N\'{e}ron-Severi group has the same rank as that of the…

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…

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…

For a given pair of maps f,g:X->M from an arbitrary topological space to an n-manifold, the Lefschetz homomorphism is a certain graded homomorphism L:H(X)->H(M) of degree (-n). We prove a Lefschetz-type coincidence theorem: if the Lefschetz…

We use the Brill-Noether theory to prove the Green conjecture for exceptional curves on K3 surfaces. Such curves count among the few ones having Clifford dimension at least three. We obtain our result by adopting an infinitesimal approach…

We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is…

Let $X \subset \mathbb{P}^{n+1}$ be a smooth Fano hypersurface of dimension $n$ and degree $d$. The derived category of coherent sheaves on $X$ contains an interesting subcategory called the Kuznetsov component $\mathcal{A}_X$. We show that…

We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small…

Andr\'e used Hodge-theoretic methods to show that in a smooth proper family X to B of varieties over an algebraically closed field k of characteristic 0, there exists a closed fiber having the same Picard number as the geometric generic…

Let $k$ be an algebraically closed field of characteristic $p > 0$. We show that if $X\subseteq\mathbb{P}^n_k$ is an equidimensional subscheme with Hilbert--Kunz multiplicity less than $\lambda$ at all points $x\in X$, then for a general…

We prove a Noether--Lefschetz-type result for certain linear systems on a projective threefold with isolated singularities.

The theorem of Barth-Lefschetz is a statement about the cohomology of a submanifold X of some projective space, in a range depending on the codimension of the embedding. Here this is generalized to the case of a submanifold X of a smooth…

We introduce and study tame homeomorphisms of surfaces of infinite type. These are maps for which curves under iterations do not accumulate onto geodesic laminations with non-proper leaves, but rather just a union of possibly intersecting…

Let $X$ be a smooth irregular $3$-fold of general type over $\mathbb{C}$. We prove that the optimal Noether inequality $$ \mathrm{vol}(X) \ge \frac{4}{3}p_g(X) $$ holds if $p_g(X) \ge 16$ or if $X$ has a Gorenstein minimal model. Moreover,…

A new approach to Nori's weak Lefschetz theorem is described. The new approach, which involves the dbar-method, avoids moving arguments and gives much stronger results. In particular, it is proved that if X and Y are connected smooth…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

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 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)…

Let X be a smooth projective variety over the complex numbers, and let D be an ample divisor in X. For which spaces Y is the restriction map r: Hom(X, Y) -> Hom(D, Y) an isomorphism? Using positive characteristic methods, we give a fairly…