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 define the Noether-Lefschetz locus $NL_β$ as the locus of quasi-smooth hypersurfaces of degree $β$ such that $i$ acting on the middle algebraic cohomology is not an isomorphism. In this paper we prove that, under some assumptions, if $dim P =2k+1$ and $kβ-β_0=nη$ $(n\in\mathbb N)$, where $η$ is the class of a 0-regular ample divisor, and $β_0$ is the anticanonical class, then every irreducible component $V$ of the Noether-Lefschetz locus quasi-smooth hypersurfaces of degree $β$ satifies the bounds $n+1\leq codim\ V \leq h^{k-1,k+1}(X)$.
We study an analogue of the Noether-Lefschetz theorem in the context of Beilinson's Hodge conjecture. We estimate the dimension of the Noether-Lefschetz locus by the infinitesimal methods in Hodge theory.
We study the Noether-Lefschetz locus of a very ample line bundle L on an arbitrary smooth threefold Y. Building on results of Green, Voisin and Otwinowska, we give explicit bounds, depending only on the Castelnuovo-Mumford regularity properties of L, on the codimension of the components of the Noether-Lefschetz locus of |L|.
The main subject of study in this paper is the Noether-Lefschetz locus for Beilinson-Hodge cycles on the complement of the union of hyperplane sections in a surface in $\Bbb P^3$. We give an analogue of the result by M.Green and C.Voisin on the maximal components in the Noether-Lefschetz locus.
Let Z be a general surface in P^3 of degree at least 5. Using a Lefschetz pencil argument, we give an elementary new proof of the vanishing of a regulator on K_1(Z).
We extend results on generic strange duality for K3 surfaces by showing that the proposed isomorphism holds over an entire Noether-Lefschetz divisor in the moduli space of quasipolarized K3s. We interpret the statement globally as an isomorphism of sheaves over this divisor, and also describe the global construction over the space of polarized K3s.
We prove that there exist smooth surfaces of degree d in projective 3-space such that the group of rational equivalence classes of decomposable 0-cycles has rank at least the integer part of (d-1)/3.
The Gromov-Witten theory of threefolds admitting a smooth K3 fibration can be solved in terms of the Noether-Lefschetz intersection numbers of the fibration and the reduced invariants of a K3 surface. Toward a generalization of this result to families with singular fibers, we introduce completed Noether-Lefschetz numbers using toroidal compactifications of the period space of elliptic K3 surfaces. As an application, we prove quasi-modularity for some genus 0 partition functions of Weierstrass fibrations over ruled surfaces, and show that they satisfy a holomorphic anomaly equation.
We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology.
Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the 3-fold total space. The reduced K3 theory and the Yau-Zaslow formula play an important role. We use results of Borcherds and Kudla-Millson for O(2,19) lattices to determine the Noether-Lefschetz degrees in classical families of K3 surfaces of degrees 2, 4, 6 and 8. For the quartic K3 surfaces, the Noether-Lefschetz degrees are proven to be the Fourier coeffi…
We describe the Hodge theory of brilliant families of K3 surfaces. Their characteristic feature is a close link between the Hodge structures of any two fibres over points in the Noether-Lefschetz locus. Twistor deformations, the analytic Tate-Safarevic group, and one-dimensional Shimura special cycles are covered by the theory. In this setting, the Brauer group is viewed as the Noether-Lefschetz locus of the Brauer family or as the specialization of the Noether-Lefschetz loci in a family of approaching twistor spaces. Passing from one algebraic twistor fibre to another, which by construction i…
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 adaptation of Griffiths and Harris' degeneration proof, simplified by a cohomology and base change argument. We give applications to computing Picard groups, which generalize several known results.
Higher order isomonodromic deformation of Higgs bundles and a characterization of the non-abelian Noether-Lefschetz locus
Wuhan University（武汉大学）；Xiamen University（厦门大学）；University of Science and Technology of China（中国科学技术大学）；Institut für Mathematik, Universität Mainz（美因茨大学数学研究所）
For a fixed integer $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ complex hypersurfaces in $\mathbb{P}^3$ with Picard number greater than $1$. There are infinitely many irreducible components of this locus. The aim of this article is to understand the scheme structure of these components. In particular, we study when is such a component non-reduced. We give a criterion for such a component to be non-reduced. Finally, we give examples of such components.
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éron-Severi group $NS_r(X)$ of a general smooth hypersurface $X\subset Y$ of sufficiently large degree containing $Z$.
Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is grea…
In this paper, we study maps between moduli spaces of lattice-polarized K3 surfaces induced by sublattices of prime index. We show that these maps can be used to determine if a rational point of the moduli space belongs to the Noether-Lefschetz locus. As an application, we prove that the Bombieri-Lang conjecture implies non-density statements for the rational points in the Noether-Lefschetz locus, as predicted by a conjecture of Shafarevich.
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 toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinitesimal deformation if and only if V remains algebraic. Actually we prove that locally the Noether-Lefschetz locus is an irreducible component of a suitable Hilbert scheme. This generalizes Theorem 4.2 …
We take a sum $C_1+r C_2,\ r\in\mathbb Q$ of a line $C_1$ and a complete intersection curve $C_2$ of type $(3,3)$ inside a smooth surface of degree $8$ and with $C_1\cap C_2=\emptyset$. We gather evidences to the fact that for all except a finite number of $r$, the Noether-Lefschetz loci attached to the cohomology classes of $C_1+ r C_2$ are distinct $31$ codimensional subvarieties intersecting each other in a $32$ codimensional subvariety of the ambient space. The maximum codimension for components of the Noether-Lefschetz locus in this case is $35$, and hence, we provide a conjectural descri…
We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality construction of the moduli spaces of $K3$ surfaces of genus $g\in\{6,\dots, 10, 12\}$, and we also present a new constructive proof of the unirationality of the moduli space of $K3$ surfaces of genus $11$. Furthermore, we show the existence of three unirational hypersurfaces in any moduli space of $K3$ surfaces of genus $g$.
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éron-Severi group (i.e. the image of the cycle map $A_r(X)\to H_{2r}(X;\mathbb{Z})$) of a general smooth hypersurface $X\subset Y$ of sufficiently large degree containing $Z$.
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 under some conditions, which replace the condition $d \geq 4$, a very general surface in a simplicial toric threefold $\mathbb P_Σ$ (with orbifold singularities) has the same Picard number as $\mathbb P_Σ$. Here we define the Noether-Lefschetz loci of quasi-smooth surfaces in $\mathbb P_Σ$ in a linear system of a Cartier ample divisor with respect to a (-1)…
We use Noether-Lefschetz theory to study the reduced Gromov--Witten invariants of a holomorphic-symplectic variety of $K3^{[n]}$-type. This yields strong evidence for a new conjectural formula that expresses Gromov-Witten invariants of this geometry for arbitrary classes in terms of primitive classes. The formula generalizes an earlier conjecture by Pandharipande and the author for K3 surfaces. Using Gromov-Witten techniques we also determine the generating series of Noether-Lefschetz numbers of a general pencil of Debarre-Voisin varieties. This reproves and extends a result of Debarre, Han, O…
We show that the set of real polynomials in two variables that are sums of three squares of rational functions is dense in the set of those that are positive semidefinite. We also prove that the set of real surfaces in P^3 whose function field has level 2 is dense in the set of those that have no real points.
We calculate the Picard group of generic (very general) spectral varieties living in the total space of a very ample line bundle over an algebraically closed field $k$ of odd characteristics or characteristic 0. We follow the strategy of Ravindra and Srinivas [RS06,RS09] via formal Picard groups. As an application, we calculate the generic fibers of Hitchin systems over a smooth quintic surface of Picard number 1.
We study the weak Lefschetz property of artinian Gorenstein algebras and in particular of artinian complete intersections. In codimension four and higher, it is an open problem whether all complete intersections have the weak Lefschetz property. For a given artinian Gorenstein algebra $A$ we ask what linear forms are Lefschetz elements for this particular algebra, i.e., which linear forms $\ell$ give maximal rank for all the multiplication maps $\times \ell: [A]_i \longrightarrow [A]_{i+1}$. This is a Zariski open set and its complement is the \emph{non-Lefschetz locus}. For monomial complete …
In this note we derive from deep results due to Clozel-Ullmo the density of Noether-Lefschetz loci inside the moduli space of marked (polarized) irreducible holomorphic symplectic (IHS) varieties. In particular we obtain the density of Hilbert schemes of points on projective $K3$ surfaces and of projective generalized Kummer varieties in their moduli spaces. We present applications to the existence of rational curves on projective deformations of such varieties, to the study of relevant cones of divisors, and a refinement of Hassett's result on cubic fourfolds whose Fano variety of lines is is…
Consider a smooth projective 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda (such as $\mathbb P^3$, the quintic threefold or an abelian threefold). Let $L$ be a line bundle supported on a very positive surface in $X$. If $c_1(L)$ is a primitive cohomology class then we show it has very negative square.
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 type are dual to the classes of special cycles, i.e. sub-arithmetic manifolds of the same type. For compact manifolds this was proved in \cite{BMM11}, here we extend the results of \cite{BMM11} to non-compact manifolds. This allows us to apply our results to the moduli spaces of quasi-polarized K3 surfaces.
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}. Any irreducible component of this locus is locally a Hodge locus. So, we see that the study of this locus is very closely related to the variational Hodge conjecture. In this article we show that the Hodge locus corresponding to the cohomology class of a complete intersection subscheme in $\mathbb{P}^{2n+1}$ of codimension $n+1$ and degree less than $d$ satis…
We give a classification of components of the Hodge locus in any parameter space of smooth projective varieties. This is done using determinantal varieties constructed from the infinitesimal variation of Hodge structures (IVHS) of the underlying family. As a corollary we prove that the minimum codimension for the components of the Hodge locus in the parameter space of $m$-dimensional hypersurfaces of degree $d$ with $d\geq 2+\frac{4}{m}$ and in a Zariski neighborhood of the point representing the Fermat variety, is obtained by the locus of hypersurfaces passing through an $\frac{m}{2}$-dimensi…
For an algebraic K3 surface with complex multiplication (CM), algebraic fibres of the associated twistor space away from the equator are again of CM type. In this paper, we show that algebraic fibres corresponding to points at the same altitude of the twistor base $S^2\simeq \mathbb{P}^1_\mathbb{C}$ share the same CM endomorphism field. Moreover, we determine all the admissible Picard numbers of the twistor fibres.
On the algebraicity of non-abelian Noether-Lefschetz loci of rank-two real local systems
Wuhan University（武汉大学）；Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)（上海数学与交叉学科研究院）；Johannes Gutenberg-Universität Mainz（美因茨约翰内斯古腾堡大学）
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 is a quadric of dimension 2r or 2r+2, or X is a complete intersection of two quadrics of dimension 2r+2. We also apply this result to determine the cohomology class of the variety of planes of a cubic fivefold contained (by the Abel-Jacobi map) in the intermediate Jacobian.
We enumerate smooth rational curves on very general Weierstrass fibrations over hypersurfaces in projective space. The generating functions for these numbers lie in the ring of classical modular forms. The method of proof uses topological intersection products on a period stack and the cohomological theta correspondence of Kudla and Millson for special cycles on a locally symmetric space of orthogonal type. The results here apply only in base degree 1, but heuristics for higher base degree match predictions from the topological string partition function.
In this manuscript we sharpen the lower bound on the codimension of the irreducible components of the Noether-Lefschetz locus of surfaces in projective toric threefolds given in [BG17]. We also provide a simpler proof of Theorem 4.11 in [BG17], which allows one to avoid some technical assumptions.
We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $\mathbb P^2$ to $\mathbb P^3$, and Hesse configurations in $\mathbb P^2$.
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,ω_C(-t))>0$, where $ω_C$ denotes the dualizing sheaf of $C$. In the present paper we consider $C\subset \mathbb P^5$ an integral degree $d$ curve and we denote by $s$ the minimal degree for which there exists a hypersurface of degree $s$ containing $C$. We assume that $C$ is contained in two smooth hypersurfaces $F$ and $G$, with $deg(F)=n>k=deg (G)$. We assume additionally that $F$ is Noether-Lefschetz general, i.e. that the $2$-th Néron-Severi g…
Let us consider the locus in the moduli space of curves of genus 2k defined by curves with a pencil of degree k. Since the Brill-Noether number is equal to -2, such a locus has codimension two. Using the method of test surfaces, we compute the class of its closure in the moduli space of stable curves.
It has been conjectured that {\it all} graded Artinian Gorenstein algebras of codimension three have the weak Lefschetz property over a field of characteristic zero. In this paper, we study the weak Lefschetz property of associated graded algebras $A$ of the Apéry set of $M$-pure symmetric numerical semigroups generated by four natural numbers. In 2010, Bryant proved that these algebras are graded Artinian Gorenstein algebras of codimension three. In a recent article, Guerrieri showed that if $A$ is not a complete intersection, then $A$ is of form $A=R/I$ with $R=K[x,y,z]$ and \begin{align*} I…
The Yau-Zaslow conjecture determines the reduced genus 0 Gromov-Witten invariants of K3 surfaces in terms of the Dedekind eta function. Classical intersections of curves in the moduli of K3 surfaces with Noether-Lefschetz divisors are related to 3-fold Gromov-Witten theory via the K3 invariants. Results by Borcherds and Kudla-Millson determine the classical intersections in terms of vector-valued modular forms. Proven mirror transformations can often be used to calculate the 3-fold invariants which arise. Via a detailed study of the STU model (determining special curves in the moduli of K3 sur…
In [1309.1899], Ranestad and Voisin showed, quite surprisingly, that the divisor in the moduli space of cubic fourfolds consisting of cubics "apolar to a Veronese surface" is not a Noether-Lefschetz divisor. We give an independent proof of this by exhibiting an explicit cubic fourfold X in the divisor and using point counting methods over finite fields to show X is Noether-Lefschetz general. We also show that two other divisors considered in [ibid.] are not Noether-Lefschetz divisors.
We study the Lefschetz standard conjecture on a smooth complex projective variety X. In degree 2, we reduce it to a local statement concerning deformations of vector bundles on X. When X is hyperkähler, we show that the existence of nontrivial deformations of stable hyperholomorphic bundles implies the Lefschetz standard conjecture in codimension 2.
Isomonodromic deformations of Higgs bundles and characterization of the non-abelian Noether--Lefschetz locus
Wuhan University（武汉大学）；Xiamen University（厦门大学）；University of Science and Technology of China（中国科学技术大学）；Institut für Mathematik, Universität Mainz（美因茨大学数学研究所）
