We study genus 2 covers of relative elliptic curves over an arbitrary base in which 2 is invertible. Particular emphasis lies on the case that the covering degree is 2. We show that the data in the "basic construction" of genus 2 covers of relative elliptic curves determine the cover in a unique way (up to isomorphism).
A classical theorem says that a genus 2 cover of an elliptic curve of degree 2 over a field of characteristic different from 2 is birational to a product of two elliptic curves over the projective line. We formulate and prove a generalization of this theorem for the relative situation.
We also prove a Torelli theorem for genus 2 curves over an arbitrary base.
We define the singular elliptic genus for arbitrary normal surfaces, prove that it is a birational invariant, and show that it generalizes the singular elliptic genus of Borisov and Libgober and the stringy $χ_y$ genus of Batyrev and Veys.
We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.
This paper surveys the authors recent work on two variable elliptic genus of singular varieties. The last section calculates a generating function for the elliptic genera of symmetric products. This generalizes the classical results of Macdonald and Zagier.
We discuss an algebro-geometric description of Witten's phases of N=2 theories and propose a definition of their elliptic genus provided some conditions on singularities of the phases are met. For Landau-Ginzburg phase one recovers elliptic genus of LG models proposed in physics literature in early 90s. For certain transitions between phases we derive invariance of elliptic genus from an equivariant form of McKay correspondence for elliptic genus. As special cases one obtains Landau-Giznburg/Calabi-Yau correspondence for elliptic genus of weighted homogeneous potentials as well as certain hybr…
We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime.
Borisov and Libgober recently proved a conjecture of Dijkgraaf, Moore, Verlinde, and Verlinde on the elliptic genus of a Hilbert scheme of points on a surface. We show how their result can be used together with our work on complex genera of generalised Kummer varieties to deduce a formula for the elliptic genus of a generalised Kummer variety.
We determine all genus 2 curves, defined over $\mathbb C$, which have simultaneously degree 2 and 3 elliptic subcovers. The locus of such curves has three irreducible 1-dimensional genus zero components in $\mathcal M_2$. For each component we find a rational parametrization and construct the equation of the corresponding genus 2 curve and its elliptic subcovers in terms of the parameterization. Such families of genus 2 curves are determined for the first time. Furthermore, we prove that there are only finitely many genus 2 curves (up to $\mathbb C$-isomorphism) defined over $\mathbb Q$, which…
E. Kani has shown that the Hurwitz functor, which parametrizes the (normalized) genus 2 covers of degree 3 of an elliptic curve, is representable. In this paper the corresponding moduli scheme and the universal family are explicitly calculated and described by short equations.
We consider families of curve-to-curve maps that have no singularities except those of genus 0 stable maps and that satisfy a versality condition at each singularity. We provide a universal expression for the cohomology class Poincaré dual to the locus of any given singularity. Our expressions hold for any family of curve-to-curve maps satisfying the above properties.
For a proper scheme X with a fixed 1-perfect obstruction theory, we define virtual versions of holomorphic Euler characteristic, chi y-genus, and elliptic genus; they are deformation invariant, and extend the usual definition in the smooth case. We prove virtual versions of the Grothendieck-Riemann-Roch and Hirzebruch-Riemann-Roch theorems. We show that the virtual chi y-genus is a polynomial, and use this to define a virtual topological Euler characteristic. We prove that the virtual elliptic genus satisfies a Jacobi modularity property; we state and prove a localization theorem in the toric …
We study modular differential equations for the basic weak Jacobi forms in one abelian variable with applications to the elliptic genus of Calabi--Yau varieties. We show that the elliptic genus of any $CY_3$ satisfies a differential equation of degree one with respect to the heat operator. For a $K3$ surface or any $CY_5$ the degree of the differential equation is $3$. We prove that for a general $CY_4$ its elliptic genus satisfies a modular differential equation of degree $5$. We give examples of differential equations of degree two with respect to the heat operator similar to the Kaneko--Zag…
We compute the rational Chow class of the locus of genus 2 curves admitting a d-to-1 map to a genus 1 curve, recovering a result of Faber-Pagani when d=2. The answer exhibits quasi-modularity properties similar to those in the Gromov-Witten theory of a fixed genus 1 curve. Along the way, we give a classification of Harris-Mumford admissible covers of a genus 1 curve by a genus 2 curve, which may be of independent interest. As an application of the main calculation, we compute the number of d-elliptic curves in a very general family of genus 2 curves obtained by fixing five branch points of the…
In this paper we complete the classification of the elliptic fibrations on K3 surfaces which admit a non-symplectic involution acting trivially on the Néron--Severi group. We use the geometric method introduced by Oguiso and moreover we provide a geometric construction of the fibrations classified. If the non-symplectic involution fixes at least one curve of genus 1, we relate all the elliptic fibrations on the K3 surface with either elliptic fibrations or generalized conic bundles on rational elliptic surfaces. This description allows us to write the Weierstrass equations of the elliptic fibr…
We study the Hodge structure of elliptic surfaces which are canonically defined from bielliptic curves of genus three. We prove that the period map for the second cohomology has one dimensional fibers, and the period map for the total cohomology is of degree twelve, and moreover, by adding the information of the Hodge structure of the canonical divisor, we prove a generic Torelli theorem for these elliptic surfaces. Finally, we give explicit examples of the pair of non-isomorphic elliptic surfaces which have the same Hodge structure on themselves and the same Hodge structure on their canonical…
In this note, we explain how certain matrix factorizations on cubic threefolds lead to families of curves of genus 15 and degree 16 in P^4. We prove that the moduli space M={(C,L) | C a curve of genus 15, L a line bundle on C of degree 16 with 5 sections} is birational to a certain space of matrix factorizations of cubics, and that M is uniruled. Our attempt to prove the unirationality of this space failed with our methods. Instead one can interpret our findings as evidence for the conjecture that the basis of the maximal rational connected fibration of M has a three dimensional base.
Genus two curves covering elliptic curves have been the object of study of many articles. For a fixed degree $n$ the subloci of the moduli space $\mathcal M_2$ of curves having a degree $n$ elliptic subcover has been computed for $n=3, 5$ and discussed in detail for $n$ odd; see \cite{Sh1, SV2, Fr, FK}. When the degree of the cover is even the case in general has been treated in \cite{PRS}. In this paper we compute the sublocus of $\mathcal M_2$ of curves having a degree 4 elliptic subcover.
We match the elliptic genus of a Berglund-Hübsch model with the supertrace of $y^{J[0]}q^{L[0]}$ on a vertex algebra $V_{{\bf 1}, {\bf 1}}$. We show that it is a weak Jacobi form and the elliptic genus of one theory is equal to (up to a sign) the elliptic genus of its mirror.
In this paper, we study the structure, deformations and the moduli spaces of complex projective surfaces admitting genus two fibrations over elliptic curves. We observe that, a surface admitting a smooth fibration as above is elliptic and we employ results on the moduli of polarized elliptic surfaces, to construct moduli spaces of these smooth fibrations. In the case of nonsmooth fibrations, we relate the moduli spaces to the Hurwitz schemes ${\cal H}(1,X(d),n)$ of morphisms of degree $n$ from elliptic curves to the modular curve $X(d)$, $d\geq 3$. Ultimately, we show that the moduli spaces in…
In this article we apply the classical method of focal loci of families to give a lower bound for the genus of curves lying on general surfaces. First we translate and reprove Xu's result that any curve C on a general surface in P^3 of degree d>4 has geometric genus g > 1 + deg(C)(d - 5)/2. Then we prove a similar lower bound for the curves lying on a general surface in a given component of the Noether-Lefschetz locus in P^3 and on a general projectively Cohen-Macaulay surface in P^4.
According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). It is proven that the moduli space of stable rank-2 vector bundles with Chern classes c_1=1,c_2=5 on a generic X is isomorphic to the curve of genus 7 obtained by taking an orthogonal linear section of the spinor tenfold. This is an inverse of Mukai's result on the isomorphism of a non-abelian Brill--Noether locus on a curve of genus 7 to a Fano threefold of genus 7. An explicit geometric construction of both isomorphisms and a similar result f…
We continue our study of genus 2 curves $C$ that admit a cover $ C \to E$ to a genus 1 curve $E$ of prime degree $n$. These curves $C$ form an irreducible 2-dimensional subvariety $Ł_n$ of the moduli space $\M_2$ of genus 2 curves. Here we study the case $n=5$. This extends earlier work for degree 2 and 3, aimed at illuminating the theory for general $n$. We compute a normal form for the curves in the locus $Ł_5$ and its three distinguished subloci. Further, we compute the equation of the elliptic subcover in all cases, give a birational parametrization of the subloci of $Ł_5$ as subvarieties …
We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas generalise a well-known recursive calculation scheme put forward by Gathmann in genus zero. The geometric input is a desingularisation of the principal component of the moduli space of genus one logarithmic…
We prove a genus formula for modular curves of $D$-elliptic sheaves. We use this formula to show that the reductions of modular curves of $D$-elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of $D$ tends to infinity.
We explain the relationship between the sigma orientation and Witten genus on the one hand and the two-variable elliptic genus on the other. We show that if E is an elliptic spectrum, then the Theorem of the Cube implies the existence of canonical SU-orientation of the associated spectrum of Jacobi forms. In the case of the elliptic spectrum associated to the Tate curve, this gives the two-variable elliptic genus. We also show that the two-variable genus arises as an instance of the circle-equivariant sigma orientation.
We collect various known results (about plane curves and the moduli space of stable maps) to derive new recursive formulas enumerating low genus plane curves of any degree with various behaviors. Recursive formulas are given for the characteristic numbers of rational plane curves, elliptic plane curves, and elliptic plane curves with fixed complex structure. Recursions are also given for the number of elliptic (and rational) plane curves with various "codimension 1" behavior (cuspidal, tacnodal, triple pointed, etc., as well as the geometric and arithmetic sectional genus of the Severi variety…
For each group $G$, $(|G| > 2)$ \, which acts as a full automorphism group on a genus 3 hyperelliptic curve, we determine the family of curves which have 2-Weierstrass points. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. The 1-dimensional families that we discover have the property that they contain only genus 0 components.
We study degree 2 and 4 elliptic subcovers of hyperelliptic curves of genus 3 defined over $\mathbb C$. The family of genus 3 hyperelliptic curves which have a degree 2 cover to an elliptic curve $E$ and degree 4 covers to elliptic curves $E_1$ and $E_2$ is a 2-dimensional subvariety of the hyperelliptic moduli $\mathcal H_3$. We determine this subvariety explicitly. For any given moduli point $\mathfrak p \in \mathcal H_3$ we determine explicitly if the corresponding genus 3 curve $\mathcal X$ belongs or not to such family. When it does, we can determine elliptic subcovers $E$, $E_1$, and $E_…
We solve a certain case of the minimal genus problem for embedded surfaces in elliptic 4-manifolds. The proofs involve a restricted transitivity property of the action of the orientation preserving diffeomorphism group on the second homology. In the case we consider we get the minimal possible genus allowed by the adjunction inequality.
We show that the elliptic genus of the higher rank E-strings can be computed based solely on the genus 0 Gromov-Witten invariants of the corresponding elliptic geometry. To set up our computation, we study the structure of the topological string free energy on elliptically fibered Calabi-Yau manifolds both in the unrefined and the refined case, determining the maximal amount of the modular structure of the partition function that can be salvaged. In the case of fibrations exhibiting only isolated fibral curves, we show that the principal parts of the topological string partition function at gi…
In the paper we study two types of relations: a one is between the elliptic genus of Calabi-Yau manifolds and Jacobi modular forms, another one is between the second quantized elliptic genus, Siegel modular forms and Lorentzian Kac-Moody Lie algebras. We also determine the structure of the graded ring of the weak Jacobi forms with integral Fourier coefficients. It gives us a number of applications to the theory of elliptic genus and of the second quantized elliptic genus.
In this paper we calculate the elliptic genus of certain complete intersections in products of projective spaces. We show that it is equal to the elliptic genus of the Landau-Ginzburg models that are, according to Hori and Vafa, mirror partners of these complete intersections. This provides additional evidence of the validity of their construction.
Orbifold elliptic genus and elliptic genus of singular varieties are introduced and relation between them is studied. Elliptic genus of singular varieties is given in terms of a resolution of singularities and extends the elliptic genus of Calabi-Yau hypersurfaces in Fano Gorenstein toric varieties introduced earlier. Orbifold elliptic genus is given in terms of the fixed point sets of the action. We show that the generating function for this orbifold elliptic genus $\sum Ell_{orb}(X^n,Σ_n)p^n$ for symmetric groups $Σ_n$ acting on $n$-fold products coincides with the one proposed by Dijkgraaf,…
We study K3 surfaces over a number field $k$ which are double covers of extremal rational elliptic surfaces. We provide a list of all elliptic fibrations on certain K3 surfaces together with the degree of a field extension over which each genus one fibration is defined and admits a section. We show that the latter depends, in general, on the action of the cover involution on the fibers of the genus 1 fibration.
We study genus 2 function fields with elliptic subfields of degree 2. The locus $Ł_2$ of these fields is a 2-dimensional subvariety of the moduli space $\mathcal M_2$ of genus 2 fields. An equation for $Ł_2$ is already in the work of Clebsch and Bolza. We use a birational parameterization of $Ł_2$ by affine 2-space to study the relation between the j-invariants of the degree 2 elliptic subfields. This extends work of Geyer, Gaudry, Stichtenoth and others. We find a 1-dimensional family of genus 2 curves having exactly two isomorphic elliptic subfields of degree 2; this family is parameterized …
We develop the quantum Kodaira-Spencer theory on the elliptic curve and establish the corresponding higher genus B-model. We show that the partition functions of the higher genus B-model on the elliptic curve are almost holomorphic modular forms, which can be identified with partition functions of descendant Gromov-Witten invariants on the mirror elliptic curve. This gives the first compact Calabi-Yau example where mirror symmetry is established at all genera.
Extending the method of Part I (alg-geom/9704004), we give recursive formulae for: the genus-1 Severi degree (formula first found by Getzler), the degree of the variety of 1-cuspidal curves of genus 0 or 1, and the linear (sectional) geometric genus of the genus-0 and genus-1 Severi varieties. The proof is short and elementary.
We present explicit models for non-elliptic genus one Shimura curves X_0(D, N) with Gamma_0(N)-level structure arising from an indefinite quaternion algebra of reduced discriminant D, and Atkin-Lehner quotients of them. In addition, we discuss and extend Jordan's work in his Ph. D Thesis on points with complex multiplication on Shimura curves.
We systematically analyze the fibration structure of toric hypersurface Calabi-Yau threefolds with large and small Hodge numbers. We show that there are only four such Calabi-Yau threefolds with $h^{1, 1} \geq 140$ or $h^{2, 1} \geq 140$ that do not have manifest elliptic or genus one fibers arising from a fibration of the associated 4D polytope. There is a genus one fibration whenever either Hodge number is 150 or greater, and an elliptic fibration when either Hodge number is 228 or greater. We find that for small $h^{1, 1}$ the fraction of polytopes in the KS database that do not have a genu…
We discuss a family of multi-term addition formulae for Weierstrass functions on specialized curves of genus one and two with many automorphisms. In the genus one case we find new addition formulae for the equianharmonic and lemniscate cases, and in genus two we find some new addition formulae for a number of curves, including the Burnside curve.
A conjecture expressing genus 1 Gromov-Witten invariants in mirror-theoretic terms of semi-simple Frobenius structures and complex oscillating integrals is formulated. The proof of the conjecture is given for torus-equivariant Gromov - Witten invariants of compact Kähler manifolds with isolated fixed points and for concave bundle spaces over such manifolds. Several results on genus 0 Gromov - Witten theory include: a non-linear Serre duality theorem, its application to the genus 0 mirror conjecture, a mirror theorem for concave bundle spaces over toric manifolds generalizing a recent result of…
Multi-fan is an analogous notion of fan. As a fan is associated to a toric variety a multi-fan is associated to a torus orbifold. Orbifold elliptic class and orbifold elliptic genus are defined for a triple of a multi-fan, a set of generating integral vectors of one dimensional cones and a $\mathbb{Q}$ divisor. They are shown to behave functorially with respect to birational morphisms between these triples. The result may be considered as a combinatorial or topological analogue of the main result of Borisov and Libgober, McKay correspondence for elliptic genera, Ann. of Math., 161 (2005).
The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence graph of points and lines of IP^2(IF_4).
In this article we determine the maximal possible order of the automorphism group of the form $ag + b$, where $a$ and $b$ are integers, of a complex three and four-dimensional family of compact Riemann surfaces of genus $g$, appearing for all genus. In addition, we construct and describe explicit complex three and four-dimensional families possessing these maximal number of automorphisms.
We study non-isotrivial projective families of elliptic surfaces of Kodaira dimension one, over complex projective curves. If the base is an elliptic curve, we show that the family must have a singular fibre, and that over the projective line it must have at least three singular fibres. Similar results, for families of surfaces of general type, have been obtained by Migliorini and Kovács, and they are well-known for projective families of surfaces of Kodaira dimension zero. Revised version: We corrected some minor errors and ambiguities, and we completed the list of references.
In this paper we study genus 2 function fields K with degree 3 elliptic subfields. We show that the number of Aut(K)-classes of such subfields of K is 0,1,2, or 4. Also we compute an equation for the locus of such K in the moduli space of genus 2 curves.
We discuss the possibility of Mathieu group M24 acting as symmetry group on the K3 elliptic genus as proposed recently by Ooguri, Tachikawa and one of the present authors. One way of testing this proposal is to derive the twisted elliptic genera for all conjugacy classes of M24 so that we can determine the unique decomposition of expansion coefficients of K3 elliptic genus into irreducible representations of M24. In this paper we obtain all the hitherto unknown twisted elliptic genera and find a strong evidence of Mathieu moonshine.
