Preprint typeset in JHEP style - HYPER VERSION Quantum Black Holes, Wall Crossing, and Mock Modular Forms Atish Dabholkar1;2, Sameer Murthy3, and Don Zagier4;5 1Theory Division, CERN, PH-TH Case C01600, CH-1211, 23 Geneva, Switzerland 2Sorbonne Universit´es,UPMC Univ Paris 06 UMR 7589, LPTHE, F-75005, Paris, France CNRS, UMR 7589, LPTHE, F-75005, Paris, France 3NIKHEF theory group, Science Park 105, 1098 XG Amsterdam, The Netherlands 4Max-Planck-Institut f¨ur Mathematik,Vivatsgasse 7, 53111 Bonn, Germany 5Coll`egede France, 3 Rue d'Ulm, 75005 Paris, France Emails: [email protected], [email protected], [email protected] Abstract: 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 AdS3=CF T2 holography but has a holomorphic anomaly reflecting the non-compactness of the microscopic CFT. For every positive integral value m of the magnetic charge invariant of the black hole, our analysis leads arXiv:1208.4074v2 [hep-th] 3 Apr 2014 to a special mock Jacobi form of weight two and index m, which we characterize uniquely up to a Jacobi cusp form. This family of special forms and another closely related family of weight-one forms contain almost all the known mock modular forms including the mock theta functions of Ramanujan, the generating function of Hurwitz-Kronecker class numbers, the mock modular forms appearing in the Mathieu and Umbral moonshine, as well as an infinite number of new examples. Keywords: black holes, mock modular forms, superstrings, wall-crossing. Contents 1. Introduction 3 1.1 Introduction for mathematicians 3 1.2 Introduction for physicists 6 1.3 Organization of the paper 12 2. Review of Type-II superstring theory on K3 × T 2 12 3. Modular forms in one variable 17 3.1 Basic definitions and properties 18 3.2 Quantum black holes and modular forms 21 4. Jacobi forms 23 4.1 Basic definitions 23 4.2 Theta expansion and Taylor expansion 24 4.3 Example: Jacobi forms of index 1 27 4.4 Hecke-like operators 29 4.5 Quantum black holes and Jacobi forms 32 5. Siegel modular forms 33 5.1 Definitions and examples of Siegel modular forms 33 5.2 Quantum black holes and Siegel modular forms 36 6. Walls and contours 37 7. Mock modular forms 40 7.1 Pure mock modular forms 40 7.2 Mock Jacobi forms 44 7.3 Mock modular forms: the general case 48 7.4 Superconformal characters and mock modular forms 50 8. From meromorphic Jacobi forms to mock modular forms 51 8.1 The Fourier coefficients of a meromorphic Jacobi form 52 8.2 The polar part of ' (case of simple poles) 53 8.3 Mock modularity of the Fourier coefficients 57 8.4 The case of double poles 61 8.5 Examples 64 { 1 { 9. Special mock Jacobi forms 67 9.1 The simplest meromorphic Jacobi forms 67 9.2 Choosing the function ' for weight 2 and small index 69 9.3 Further data and formulation of main results for the weight 2 family 75 9.4 Optimal choice of the function Φ2;m 81 9.5 Observations on the weight one family, integrality, and positivity 86 9.6 Higher weights 95 10. Structure theorems for Jacobi and mock Jacobi forms 98 10.1 Relations among the polar coefficients of weak Jacobi forms 98 10.2 Choosing optimal versions of weak elliptic forms 102 10.3 The residues of mock Jacobi forms 107 10.4 Remaining proofs of theorems from x9 109 11. Quantum black holes and mock modular forms 115 11.1 Mock Jacobi forms, immortal black holes, and AdS2 holography 115 11.2 Meromorphy, mock modularity, and noncompactness 120 11.3 The M-Theory limit and AdS3 holography 122 11.4 Open problems and comments 126 A. Appendix: Tables of special mock Jacobi forms 130 A.1 Table of QM (weight 2 case) 130 0 A.2 Table of Φ1;m of optimal growth 134 A.3 Table of QM (weight 1 case) 139 B. Bibliography 144 \My dream is that I will live to see the day when our young physicists, struggling to bring the predictions of superstring theory into correspondence with the facts of nature, will be led to enlarge their analytic machinery to include not only theta-functions but mock theta-functions . But before this can happen, the purely mathematical exploration of the mock-modular forms and their mock-symmetries must be carried a great deal further." Freeman Dyson (1987 Ramanujan Centenary Conference) { 2 { 1. Introduction The quantum degeneracies associated with a black hole horizon are of central importance in quantum gravity. The counting function for these degeneracies for a large class of black holes in string theory is expected to be modular from the perspective of holography. However, in situations with wall-crossing, there is an apparent loss of modularity and it is far from clear if and how such a counting function can be modular. In the context of quarter-BPS black holes in N = 4 supersymmetric theories, we develop the required analytic machinery that provides a complete answer to this question which leads naturally to the mathematics of mock modular forms. We present a number of new mathematical results motivated by but independent of these physical considerations. Since this paper is of possible interest to both theoretical physicists (especially string theo- rists) and theoretical mathematicians (especially number theorists), we give two introductions in their respective dialects. 1.1 Introduction for mathematicians In the quantum theory of black holes in the context of string theory, the physical problem of counting the dimensions of certain eigenspaces (\the number of quarter-BPS dyonic states of a given charge") has led to the study of Fourier coefficients of certain meromorphic Siegel modular forms and to the question of the modular nature of the corresponding generating functions. Using and refining results of S. Zwegers [130], we show that these generating functions belong to the recently discovered class of functions called mock modular forms. Since this notion is still not widely known, it will be reviewed in some detail (in x7.1). Very roughly, a mock modular form of weight k (more precisely, \pure" mock modular forms; we will also introduce a somewhat more general notion of \mixed" mock modular forms in x7.3) is a holomorphic function f in the upper half plane to which is associated a holomorphic modular form g of weight 2 − k, called the \shadow" of f, such that the sum of f and a suitable non-holomorphic integral of g transforms like a holomorphic modular form of weight k. Functions of this type occur in several contexts in mathematics and mathematical physics: as certain q-hypergeometric series (like Ramanujan's original mock theta functions), as generating functions of class numbers of imaginary quadratic fields [126], or as characters of extended superconformal algebras [99], with special cases of the last class being conjecturally related to the Mathieu group M24 [52]. They also arise, as was shown by Zwegers in his thesis [130], as the Fourier coefficients of meromorphic Jacobi forms. It is this last occurrence which is at the origin of the connection to black hole physics, because the Fourier coefficients of meromorphic Jacobi forms have the same wall-crossing behavior as that exhibited by the degeneracies of BPS states. { 3 { The specific meromorphic Jacobi forms that are of interest for the black hole counting problem are the Fourier-Jacobi coefficients m(τ; z) of the meromorphic Siegel modular form 1 1 X τ z = (τ; z) pm ; Ω = ; p = e2πiσ ; (1.1) Φ (Ω) m z σ 10 m=−1 the reciprocal of the Igusa cusp form of weight 10, which arises as the partition function of quarter-BPS dyons in the type II compactification on the product of a K3 surface and an elliptic curve [51, 109, 42]. These coefficients, after multiplication by the discriminant function ∆(τ), are meromorphic Jacobi forms of weight 2 with a double pole at z = 0 and no others (up to translation by the period lattice). The new mathematical results of the paper are contained in Sections 8, 9 and 10. In x8, extending the results of [130], we show that any meromorphic Jacobi form '(τ; z) having poles only at torsion points z = ατ + β (α; β 2 Q) has a canonical decomposition into two pieces 'F(τ; z) and 'P(τ; z), called its “finite” part and \polar" part, respectively, of which the first is a finite linear combination of classical theta series with mock modular forms as coeffi- cients, and the second is an elementary expression that is determined completely by the poles of '. Again using the results of Zwegers, we give explicit formulas for the polar part 'P for all ' having only simple or double poles. In the particular case of m, the polar part is given by the formula p (m + 1) P (τ; z) = 24 A (τ; z) q = e2πiτ ; y = e2πiz ; (1.2) m ∆(τ) 2;m m −1 where ∆(τ) is the Ramanujan discriminant function, p24(m + 1) the coefficient of q in ∆(τ) , and A2;m(τ; z) the elementary function (Appell-Lerch sum) 2 X qms +sy2ms+1 A (τ; z) = : (1.3) 2;m (1 − qsy)2 s2Z Note that A2;m exhibits wall-crossing: for 0 < Im(z) < Im(τ) it has the Fourier expansion 2 2 X r −` r A2;m(τ; z) = ` q 4m y ; (1.4) r≥`>0 r ≡` (mod 2m) but the Fourier expansions are different in other strips n < Im(z)=Im(τ) < n + 1.