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 surfaces), we prove the Yau-Zaslow conjecture for all curve classes on K3 surfaces. Two modular form identities are required. The first, the Klemm-Lerche-Mayr identity relating hypergeometric series to modular forms after mirror transformation, is proven here. The second, the Harvey-Moore identity, is proven by D. Zagier and presented in the paper.
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.
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 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.
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$.
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 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 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.
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.
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.
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…
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 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 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.
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…
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…
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（美因茨大学数学研究所）
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 prove a Lefschetz hyperplane theorem for the determinantal loci of a morphism between two holomorphic vector bundles $E$ and $F$ over a complex manifold under the condition that $E^*\ox F$ is Griffiths $k$-positive. We apply this result to find some homotopy groups of the Brill-Noether loci for a generic curve.
We discuss the Picard group of moduli space $\mathcal{K}_g$ of quasi-polarized K3 surfaces of genus $g\leq 12$ and $g\neq 11$. In this range, $\mathcal{K}_g$ is unirational and a general element in $\mathcal{K}_g$ is a complete intersection with respect to a vector bundle on a homogenous space, by the work of Mukai. In this paper, we find generators of the Picard group $Pic_\mathbb{Q}(\mathcal{K}_g)$ using Noether-Lefschetz theory. This verifies the Noether-Lefschetz conjecture on moduli of K3 surfaces in these cases.
We study the Brill-Noether theory of curves on K3 surfaces that are Hodge theoretically associated to cubic fourfolds of discriminant 14. We prove that any smooth curve in the polarization class has maximal Clifford index and deduce that a cubic fourfold contains disjoint planes if and only if it admits a Brill-Noether special associated K3 surface of degree 14. As an application, the complement of the pfaffian locus, inside the Noether-Lefschetz divisor of discriminant 14 in the moduli space of cubic fourfolds, is contained in the irreducible locus of cubic fourfolds containing two disjoint p…
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（美因茨大学数学研究所）
We discuss the role of K3 surfaces in the context of Mercat's conjecture in higher rank Brill-Noether theory. Using liftings of Koszul classes, we show that Mercat's conjecture in rank 2 fails for any number of sections and for any gonality stratum along a Noether-Lefschetz divisor inside the locus of curves lying on K3 surfaces. Then we show that Mercat's conjecture in rank 3 fails even for curves lying on K3 surfaces with Picard number 1. Finally, we provide a detailed proof of Mercat's conjecture in rank 2 for general curves of genus 11, and describe explicitly the action of the Fourier-Muk…
In this paper, we study the moduli space of quasi-polarized complex K3 surfaces of degree 6 and 8 via geometric invariant theory. The general members in such moduli spaces are complete intersections in projective spaces and we have natural GIT constructions for the corresponding moduli spaces and we show that the K3 surfaces with at worst ADE singularities are GIT stable. We give a concrete description of boundary of the compactification of the degree 6 case via the Hilbert-Mumford criterion. We compute the Picard group via Noether-Lefschetz theory and discuss the connection to the Looijenga's…
We prove that every Hassett's Noether-Lefschetz divisor of special cubic fourfolds contains a union of three codimension-two subvarieties, parametrizing rational cubic fourfolds, in the moduli space of smooth cubic fourfolds.
We give explicit descriptions of some Noether-Lefschetz divisors in the moduli space of Gushel-Mukai fourfolds. As a consequence we obtain that their Kodaira dimension is negative.
For a K3 surface S, we study motivic invariants of stable pairs moduli spaces associated to 3-fold thickenings of S. We conjecture suitable deformation and divisibility invariances for the Betti realization. Our conjectures, together with earlier calculations of Kawai-Yoshioka, imply a full determination of the theory in terms of the Hodge numbers of the Hilbert schemes of points of S. The work may be viewed as the third in a sequence of formulas starting with Yau-Zaslow and Katz-Klemm-Vafa (each recovering the former). Numerical data suggest the motivic invariants are linked to the Mathieu M_…
