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 Universites, 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 fur Mathematik,Vivatsgasse 7, 53111 Bonn, Germany

5College de France, 3 Rue dUlm, 75005 Paris, France

Emails: atish@lpthe.jussieu.fr, murthy.sameer@gmail.com, don.zagier@mpim-bonn.mpg.de

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 andan 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/CFT2 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

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.

arX

iv:1

208.

4074

v2 [

hep-

th]

3 A

pr 2

014

http://jhep.sissa.it/stdsearch

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 9 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) 130A.2 Table of 01,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 providesa 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 7.1). Veryroughly, 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 7.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 asuitable 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 Ramanujans 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

10()=

m=1

m(, z) pm ,

( =

( z

z

), p = e2i

), (1.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 8,extending the results of [130], we show that any meromorphic Jacobi form (, z) having

poles only at torsion points z = + (, Q) has a canonical decomposition into twopieces 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

Pm(, z) =p24(m+ 1)

()A2,m(, z)

(q = e2i , y = e2iz

), (1.2)

where () is the