Using wall-crossing formulae and the theory of mock modular forms we derive a holomorphic anomaly equation for the modified elliptic genus of two M5-branes wrapping a rigid divisor inside a Calabi-Yau manifold. The anomaly originates from restoring modularity of an indefinite theta-function capturing the wall-crossing of BPS invariants associated to D4-D2-D0 brane systems. We show the compatibility of this equation with anomaly equations previously observed in the context of N=4 topological Yang-Mills theory on P^2 and E-strings obtained from wrapping M5-branes on a del Pezzo surface. The non-holomorphic part is related to the contribution originating from bound-states of singly wrapped M5-branes on the divisor. We show in examples that the information provided by the anomaly is enough to compute the BPS degeneracies for certain charges. We further speculate on a natural extension of the anomaly to higher D4-brane charge.
Mock theta functions were introduced by Ramanujan in 1920 but a proper understanding of mock modularity has emerged only recently with the work of Zwegers in 2002. In these lectures we describe three manifestations of this apparently exotic mathematics in three important physical contexts of holography, topology and duality where mock modularity has come to play an important role.
We derive a holomorphic anomaly equation for the Vafa-Witten partition function for twisted four-dimensional $\mathcal{N} =4$ super Yang-Mills theory on $\mathbb{CP}^{2}$ for the gauge group $SO(3)$ from the path integral of the effective theory on the Coulomb branch. The holomorphic kernel of this equation, which receives contributions only from the instantons, is not modular but `mock modular'. The partition function has correct modular properties expected from $S$-duality only after including the anomalous nonholomorphic boundary contributions from anti-instantons. Using M-theory duality, w…
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of some of these invariants. The theory of mock modular forms makes a surprise appearance, shedding light on the integrality properties of some well-known examples.
We calculate the gravitational corrections to the effective action of N=2 SU(2) Seiberg-Witten theory with matter using modularity, the holomorphic anomaly equation and expected behavior at the boundaries of the moduli space. As in pure gauge theory we show that the gap condition at the dyon singularities completely fixes the gravitational corrections. We discuss the behavior of the gravitational corrections at the conformal points. We compare our results with the recursive solution of the loop equation in the matrix model approach, which provides in addition open amplitudes.
The exact degeneracies of quarter-BPS dyons in Type II string theory on $K3 \times T^2$ are given by Fourier coefficients of the inverse of the Igusa cusp form. For a fixed magnetic charge invariant $m$, the generating function of these degeneracies naturally decomposes as a sum of two parts, which are supposed to account for single-centered black holes, and two-centered black hole bound states, respectively. The decomposition is such that each part is separately modular covariant but neither is holomorphic, calling for a physical interpretation of the non-holomorphy. We resolve this puzzle by…
We show that the Atiyah-Patodi-Singer $η$-invariant can be related to the temperature dependent Witten index of a noncompact theory and give a new proof of the APS theorem using scattering theory. We relate the $η$-invariant to a Callias index and compute it using localization of a supersymmetric path integral. We show that the $η$-invariant for the elliptic genus of a finite cigar is related to quantum modular forms obtained from the completion of a mock Jacobi form which we compute from the noncompact path integral.
We analyze various perspectives on the elliptic genus of non-compact supersymmetric coset conformal field theories with central charge larger than three. We calculate the holomorphic part of the elliptic genus via a free field description of the model, and show that it agrees with algebraic expectations. The holomorphic part of the elliptic genus is directly related to an Appell-Lerch sum and behaves anomalously under modular transformation properties. We analyze the origin of the anomaly by calculating the elliptic genus through a path integral in a coset conformal field theory. The path inte…
We show that modularity and the gap condition make the holomorphic anomaly equation completely integrable for non-compact Calabi-Yau manifolds. This leads to a very efficient formalism to solve the topological string on these geometries in terms of almost holomorphic modular forms. The formalism provides in particular holomorphic expansions everywhere in moduli space including large radius points, the conifold loci, Seiberg-Witten points and the orbifold points. It can be also viewed as a very efficient method to solve higher genus closed string amplitudes in the $\frac{1}{N^2}$ expansion of m…
The partition function of an N=2 gauge theory in the Omega-background satisfies, for generic value of the parameter beta=-eps_1/eps_2, the, in general extended, but otherwise beta-independent, holomorphic anomaly equation of special geometry. Modularity together with the (beta-dependent) gap structure at the various singular loci in the moduli space completely fixes the holomorphic ambiguity, also when the extension is non-trivial. In some cases, the theory at the orbifold radius, corresponding to beta=2, can be identified with an "orientifold" of the theory at beta=1. The various connections …
We revisit the low-energy effective $U(1)$ action of topologically twisted $\mathcal N=2$ SYM theory with gauge group of rank one on a generic oriented smooth 4-manifold $X$ with nontrivial fundamental group. After including a specific new set of $\mathcal Q$-exact operators to the known action, we express the integrand of the path integral of the low-energy $U(1)$ theory as an anti-holomorphic derivative. This allows us to use the theory of mock modular forms and indefinite theta functions for the explicit evaluation of correlation functions of the theory, including but not restricted to thos…
Scaling black holes are solutions of supergravity with multiple black hole singularities, which can be adiabatically connected to a single center black hole solution. We develop techniques to determine partition functions for such scaling black holes, if each constituent carries a non-vanishing magnetic charge corresponding to a D4-brane in string theory, or equivalently M5-brane in M-theory. For three constituents, we demonstrate that the partition function is a mock modular form of depth two, and we determine the appropriate non-holomorphic completion using generalized error functions. From …
We consider a class of gauged linear sigma models (GLSMs) in two dimensions that flow to non-compact (2,2) superconformal field theories in the infra-red, a prototype of which is the SL(2,\IR)/U(1) (cigar) coset. We compute the elliptic genus of the GLSMs as a path-integral on the torus using supersymmetric localization. We find that the result is a Jacobi-like form that is non-holomorphic in the modular parameter $τ$ of the torus, with mock modular behavior. This agrees with a previously-computed expression in the cigar coset. We show that the lack of holomorphicity of the elliptic genus aris…
We show that certain BPS counting functions for both fundamental strings and strings arising from fivebranes wrapping divisors in Calabi--Yau threefolds naturally give rise to skew-holomorphic Jacobi forms at rational and attractor points in the moduli space of string compactifications. For M5-branes wrapping divisors these are forms of weight negative one, and in the case of multiple M5-branes skew-holomorphic mock Jacobi forms arise. We further find that in simple examples these forms are related to skew-holomorphic (mock) Jacobi forms of weight two that play starring roles in moonshine. We …
The D-instanton corrected hypermultiplet moduli space of type II string theory compactified on a Calabi-Yau threefold is known in the type IIA picture to be determined in terms of the generalized Donaldson-Thomas invariants, through a twistorial construction. At the same time, in the mirror type IIB picture, and in the limit where only D3-D1-D(-1)-instanton corrections are retained, it should carry an isometric action of the S-duality group SL(2,Z). We prove that this is the case in the one-instanton approximation, by constructing a holomorphic action of SL(2,Z) on the linearized twistor space…
We determine threshold corrections to the gauge couplings in local models of N=2 smooth heterotic compactifications with torsion, given by the direct product of a warped Eguchi-Hanson space and a two-torus, together with a line bundle. Using the worldsheet CFT description previously found and by suitably regularising the infinite target space volume divergence, we show that threshold corrections to the various gauge factors are governed by the non-holomorphic completion of the Appell-Lerch sum. While its holomorphic Mock-modular component captures the contribution of states that localise on th…
We show that the meromorphic Jacobi form that counts the quarter-BPS states in N=4 string theories can be canonically decomposed as a sum of a mock Jacobi form and an Appell-Lerch sum. The quantum degeneracies of single-centered black holes are Fourier coefficients of this mock Jacobi form, while the Appell-Lerch sum captures the degeneracies of multi-centered black holes which decay upon wall-crossing. The completion of the mock Jacobi form restores the modular symmetries expected from $AdS_3/CFT_2$ holography but has a holomorphic anomaly reflecting the non-compactness of the microscopic CFT…
We extend the direct integration method of the holomorphic anomaly equations to general Omega backgrounds for pure SU(2) N=2 Super-Yang-Mills theory and topological string theory on non-compact Calabi-Yau threefolds. We find that an extension of the holomorphic anomaly equation, modularity and boundary conditions provided by the perturbative terms as well as by the gap condition at the conifold are sufficient to solve the generalized theory in the above cases. In particular we use the method to solve the topological string for the general Omega backgrounds on non-compact toric Calabi-Yau space…
