Tautological and non-tautological cohomology of the moduli space of curves

After a short exposition of the basic properties of the tautological ring of the moduli space of genus g Deligne-Mumford stable curves with n markings, we explain three methods of detecting non-tautological classes in cohomology. The first is via curve counting over finite fields. The second is by obtaining length bounds on the action of the symmetric group S_n on tautological classes. The third is via classical boundary geometry. Several new non-tautological classes are found.Comment: 40 page

Hodge integrals, partition matrices, and the lambda_g conjecture

We prove a closed formula for integrals of the cotangent line classes against the top Chern class of the Hodge bundle on the moduli space of stable pointed curves. These integrals are computed via relations obtained from virtual localization in Gromov-Witten theory. An analysis of several natural matrices indexed by partitions is required.Comment: 28 pages, published versio

Computing top intersections in the tautological ring of MgM_g

We derive effective recursion formulae of top intersections in the tautological ring $R^*(M_g)$ of the moduli space of curves of genus $g\geq 2$. As an application, we prove a convolution-type tautological relation in $R^{g-2}(M_g)$.Comment: 18 page

Holomorphic anomaly equations and the Igusa cusp form conjecture

Let $S$ be a K3 surface and let $E$ be an elliptic curve. We solve the reduced Gromov-Witten theory of the Calabi-Yau threefold $S \times E$ for all curve classes which are primitive in the K3 factor. In particular, we deduce the Igusa cusp form conjecture. The proof relies on new results in the Gromov-Witten theory of elliptic curves and K3 surfaces. We show the generating series of Gromov-Witten classes of an elliptic curve are cycle-valued quasimodular forms and satisfy a holomorphic anomaly equation. The quasimodularity generalizes a result by Okounkov and Pandharipande, and the holomorphic anomaly equation proves a conjecture of Milanov, Ruan and Shen. We further conjecture quasimodularity and holomorphic anomaly equations for the cycle-valued Gromov-Witten theory of every elliptic fibration with section. The conjecture generalizes the holomorphic anomaly equations for ellliptic Calabi-Yau threefolds predicted by Bershadsky, Cecotti, Ooguri, and Vafa. We show a modified conjecture holds numerically for the reduced Gromov-Witten theory of K3 surfaces in primitive classes.Comment: 68 page

Enumerative geometry of Calabi-Yau 4-folds

Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 4-folds. The main technique is to find exact solutions to moving multiple cover integrals. The resulting invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi-Yau 3-folds. We conjecture the 4-fold invariants to be integers and expect a sheaf theoretic explanation. Several local Calabi-Yau 4-folds are solved exactly. Compact cases, including the sextic Calabi-Yau in CP5, are also studied. A complete solution of the Gromov-Witten theory of the sextic is conjecturally obtained by the holomorphic anomaly equation.Comment: 44 page

Curve counting via stable pairs in the derived category

For a nonsingular projective 3-fold $X$, we define integer invariants virtually enumerating pairs $(C,D)$ where $C\subset X$ is an embedded curve and $D\subset C$ is a divisor. A virtual class is constructed on the associated moduli space by viewing a pair as an object in the derived category of $X$. The resulting invariants are conjecturally equivalent, after universal transformations, to both the Gromov-Witten and DT theories of $X$. For Calabi-Yau 3-folds, the latter equivalence should be viewed as a wall-crossing formula in the derived category. Several calculations of the new invariants are carried out. In the Fano case, the local contributions of nonsingular embedded curves are found. In the local toric Calabi-Yau case, a completely new form of the topological vertex is described. The virtual enumeration of pairs is closely related to the geometry underlying the BPS state counts of Gopakumar and Vafa. We prove that our integrality predictions for Gromov-Witten invariants agree with the BPS integrality. Conversely, the BPS geometry imposes strong conditions on the enumeration of pairs.Comment: Corrected typos and duality error in Proposition 4.6. 47 page

Lectures on on Black Holes, Topological Strings and Quantum Attractors (2.0)

In these lecture notes, we review some recent developments on the relation between the macroscopic entropy of four-dimensional BPS black holes and the microscopic counting of states, beyond the thermodynamical, large charge limit. After a brief overview of charged black holes in supergravity and string theory, we give an extensive introduction to special and very special geometry, attractor flows and topological string theory, including holomorphic anomalies. We then expose the Ooguri-Strominger-Vafa (OSV) conjecture which relates microscopic degeneracies to the topological string amplitude, and review precision tests of this formula on ``small'' black holes. Finally, motivated by a holographic interpretation of the OSV conjecture, we give a systematic approach to the radial quantization of BPS black holes (i.e. quantum attractors). This suggests the existence of a one-parameter generalization of the topological string amplitude, and provides a general framework for constructing automorphic partition functions for black hole degeneracies in theories with sufficient degree of symmetry.Comment: 103 pages, 8 figures, 21 exercises, uses JHEP3.cls; v5: important upgrade, prepared for the proceedings of Frascati School on Attractor Mechanism; Sec 7 was largely rewritten to incorporate recent progress; more figures, more refs, and minor changes in abstract and introductio

Landau-Ginzburg/Calabi-Yau correspondence, global mirror symmetry and Orlov equivalence

We show that the Gromov-Witten theory of Calabi-Yau hypersurfaces matches, in genus zero and after an analytic continuation, the quantum singularity theory (FJRW theory) recently introduced by Fan, Jarvis and Ruan following ideas of Witten. Moreover, on both sides, we highlight two remarkable integral local systems arising from the common formalism of Gamma-integral structures applied to the derived category of the hypersurface {W=0} and to the category of graded matrix factorizations of W. In this setup, we prove that the analytic continuation matches Orlov equivalence between the two above categories.Comment: 72pages, v2: Appendix B and references added. Typos corrected, v3: several mistakes corrected, final versio