Holomorphic anomaly equations and the Igusa cusp form conjecture

We conjecture that the relative Gromov-Witten potentials of elliptic fibrations are (cycle-valued) lattice quasi-Jacobi forms and satisfy a holomorphic anomaly equation. We prove the conjecture for the rational elliptic surface in all genera and curve classes numerically. The generating series are quasi-Jacobi forms for the lattice $E_8$. We also show the compatibility of the conjecture with the degeneration formula. As Corollary we deduce that the Gromov-Witten potentials of the Schoen Calabi-Yau threefold (relative to $\mathbb{P}^1$) are $E_8 \times E_8$ quasi-bi-Jacobi forms and satisfy a holomorphic anomaly equation. This yields a partial verification of the BCOV holomorphic anomaly equation for Calabi-Yau threefolds. For abelian surfaces the holomorphic anomaly equation is proven numerically in primitive classes. The theory of lattice quasi-Jacobi forms is reviewed. In the Appendix the conjectural holomorphic anomaly equation is expressed as a matrix action on the space of (generalized) cohomological field theories. The compatibility of the matrix action with the Jacobi Lie algebra is proven. Holomorphic anomaly equations for K3 fibrations are discussed in an example.

We constructed several families of elliptic K3 surfaces with Mordell-Weil groups of ranks from 1 to 4. We studied F-theory compactifications on these elliptic K3 surfaces times a K3 surface.Gluing pairs of identical rational elliptic surfaces with nonzero Mordell-Weil ranks yields elliptic K3 surfaces, the Mordell-Weil groups of which have nonzero ranks. The sum of the ranks of the singularity type and the Mordell-Weil group of any rational elliptic surface with a global section is 8. By utilizing this property, families of rational elliptic surfaces with various nonzero Mordell-Weil ranks can be obtained by choosing appropriate singularity types. Gluing pairs of these rational elliptic surfaces yields families of elliptic K3 surfaces with various nonzero Mordell-Weil ranks.We also determined the global structures of the gauge groups that arise in F-theory compactifications on the resulting K3 surfaces times a K3 surface. U(1) gauge fields arise in these compactifications.

We describe two constructions of elliptic K 3 K3 surfaces starting from the Kummer surface of the Jacobian of a genus 2 2 curve. These parallel the base-change constructions of Kuwata for the Kummer surface of a product of two elliptic curves. One of these also involves the analogue of an Inose fibration. We use these methods to provide explicit examples of elliptic K 3 K3 surfaces over the rationals of geometric Mordell-Weil rank 15 15 .

Counting higher genus curves in a Calabi-Yau manifold

We prove that O’Grady’s birational maps [K. G O’Grady, The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface, J. Algebr. Geom. 6(4) (1997) 599–644] between moduli of sheaves on an elliptic K3 surface can be interpreted as intermediate wall-crossing (wall-hitting) transformations at so-called totally semistable walls, studied by Bayer and Macrì [A. Bayer and E. Macrì, MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations, Inventiones Mathematicae 198(3) (2014) 505–590]. As a key ingredient, we describe the first totally semistable wall for ideal sheaves of [Formula: see text] points on the elliptic [Formula: see text]. As an application, we give new examples of strange duality isomorphisms, based on a result of Marian and Oprea [A. Marian and D. Oprea, Generic strange duality for K3 surfaces, with an appendix by Kota Yoshioka, Duke Math. J. 162(8) (2013) 1463–1501].

On K3 surfaces with large complex structure

We determine the structure of the Mordell-Weil lattice, Neron-Severi lattice and the lattice of transcendental cycles for certain elliptic K3 surfaces. We find that such questions from algebraic geometry are closely related to the sphere packing problem, and a key ingredient is the use of the sphere packing bounds in establishing geometric results.

In this paper we discuss four methods of proving of Calabi--Yau threefolds with $h^{12}=1$: existence of elliptic ruled surfaces inside (Hulek-Verrill), correspondence with a product of an elliptic curve and a K3 surface (Livn\'e-Yui), correspondence with a (modular) rigid Calabi-Yau threefold, and existence of an involution splitting the fourdimensional representation into twodimensional subrepresentations. We apply these methods to prove of 17 out of 18 double octic Calabi-Yau threefolds for which numerical evidence of modularity was found in the second Author's thesis. We observe that holds for those elements in a pencil having some additional geometric properties. In the proofs we use representations of the considered Calabi-Yau threefolds as a Kummer fibration associated to a fiber product of rational elliptic fibrations.

We determine all complex K3 surfaces with Picard rank 20 over ℚ. Here the Neron–Severi group has rank 20 and is generated by divisors which are defined over ℚ. Our proof uses modularity, the Artin–Tate conjecture and class group theory. With different techniques, the result has been established by Elkies to show that Mordell–Weil rank 18 over ℚ is impossible for an elliptic K3 surface. We apply our methods to general singular K3 surfaces, that is, those with Neron–Severi group of rank 20, but not necessarily generated by divisors over ℚ.

This is a note on my introductory lectures on K3 and Enriques surfaces in the workshop “Arithmetic and Geometry of K3 surfaces and Calabi–Yau threefolds” held at the Fields Institute. No new results are included.Key words K3 surfacesEnriques surfacesTorelli type theoremAutomorphismsAutomorphic formsMathematics Subject Classifications (2010)Primary 14J28Secondary 14C3414J5011F5532N10

We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Gottsche-Shende. A formula for hyperelliptic curve counting in terms of Jacobi forms is proven (modulo a transversality statement). For abelian threefolds, complete conjectures in terms of Jacobi forms for the generating series of curve counts in primitive classes are presented. The base cases make connections to classical lattice counts of Debarre, Gottsche, and Lange-Sernesi. Further evidence is provided by Donaldson-Thomas partition function computations for abelian threefolds. A multiple cover structure is presented. The abelian threefold conjectures open a new direction in the subject.

Quasi-modular forms from mixed Noether-Lefschetz theory

Eight-dimensional non-geometric heterotic strings with gauge algebra $\mathfrak{e}_8\mathfrak{e}_7$ were constructed by Malmendier and Morrison as heterotic duals of F-theory on K3 surfaces with $\Lambda^{1,1}\oplus E_8\oplus E_7$ lattice polarization. Clingher, Malmendier and Shaska extended these constructions to eight-dimensional non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$ as heterotic duals of F-theory on $\Lambda^{1,1}\oplus E_7\oplus E_7$ lattice polarized K3 surfaces. In this study, we analyze the points in the moduli of non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$, at which the non-Abelian gauge groups on the F-theory side are maximally enhanced. The gauge groups on the heterotic side do not allow for the perturbative interpretation at these points. We show that these theories can be described as deformations of the stable degenerations, as a result of coincident 7-branes on the F-theory side. From the heterotic viewpoint, this effect corresponds to the insertion of 5-branes. These effects can be used to understand nonperturbative aspects of nongeometric heterotic strings. Additionally, we build a family of elliptic Calabi-Yau 3-folds by fibering elliptic K3 surfaces, which belong to the F-theory side of the moduli of non-geometric heterotic strings with gauge algebra $\mathfrak{e}_7\mathfrak{e}_7$, over $\mathbb{P}^1$. We find that highly enhanced gauge symmetries arise on F-theory on the built elliptic Calabi-Yau 3-folds.

We study the moduli spaces of elliptic K3 surfaces of Picard number at least 3, i.e. $U\oplus \langle -2k \rangle$-polarized K3 surfaces. Such moduli spaces are proved to be of general type for $k\geq 220$. The proof relies on the low-weight cusp form trick developed by Gritsenko, Hulek and Sankaran. Furthermore, explicit geometric constructions of some elliptic K3 surfaces lead to the unirationality of these moduli spaces for $k < 11$ and for 19 other isolated values up to $k=64$.

We investigate F-theory models with a discrete $\mathbb{Z}_2$ gauge symmetry and $SU(n)$ gauge symmetries. We utilize a class of rational elliptic surfaces lacking a global section, known as Halphen surfaces of index 2, to yield genus-one fibered K3 surfaces with a bisection, but lacking a global section. We consider F-theory compactifications on these K3 surfaces times a K3 surface to build such models. We construct Halphen surfaces of index 2 with type $I_n$ fibers, and we take double covers of these surfaces to obtain K3 surfaces without a section with two type $I_n$ fibers, and K3 surfaces without a section with a type $I_{2n}$ fiber. We study these models to advance the understanding of gauge groups that form in F-theory compactifications on the moduli of bisection geometries. Our results also show that the Halphen surfaces of index 2 can have type $I_n$ fibers up to $I_9$. We construct an example of such a surface and determine the complex structure of the Jacobian of this surface. This allows us to precisely determine the non-Abelian gauge groups that arise in F-theory compactifications on genus-one fibered K3 surfaces obtained as double covers of this Halphen surface of index 2, with a type $I_9$ fiber times a K3 surface. We also determine the $U(1)$ gauge symmetries for compactifications when K3 surfaces as double covers of Halphen surfaces with type $I_9$ fiber are ramified over a smooth fiber.