Quantum Black Holes and Quantum Holography

Ash Dabholkar Sorbonne Universités CNRS ! Strings 2014 Princeton

QUANTUM HOLOGRAPHY ATISH DABHOLKAR 1 References

! • A Dabholkar, João Gomes, Sameer Murthy 1404.0033, 1111.1161, 1012.0265 ! • A Dabholkar, Nadav Drukker, João Gomes 1406.0505 ! • A Dabholkar, Sameer Murthy, 1208.4074

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 2 Hurdles for

• We don’t have a super-LHC to probe the theory directly at Planck scale. • We don’t even know which phase of the theory may correspond to the real world. How can we be sure that string theory is the right approach to in the absence of direct experiments? A useful strategy is to focus on universal features that must hold in all phases of the theory.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 3 Quantum Black Holes

Any in any phase of the theory should be interpretable as an ensemble of quantum states including finite size effects. ! • Universal and extremely stringent constraint • An IR window into the UV • Connects to a broader problem of Quantum Holography at finite N.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 4 AdSp+2/CF Tp+1

• Near horizon of a BPS black hole has factor. AdS2 More generally, near horizon physics of black p-

branes leads to holography. AdSp+2/CF Tp+1 • A bulk of the work in holography is in infinite N limit, using classical gravity to study quantum CFT. • Our interest will be in quantum gravity in the bulk. Aer all, a primary movaon for string theory is unificaon of General Relavity with QM.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 5 Quantum Holography

I will describe three results movated by these consideraons of finite N holography.

• AdS : 2 Nonperturbave quantum entropy of black holes including all finite size correcons.

• AdS : 4 New localizing instantons in bulk supergravity for finite N Chern-Simons-Maer.

• AdS 3: An unexpected connecon to the mathemacs of mock modular forms.

ATISH DABHOLKAR QUANTUM QUANTUM BLACK HOLESHOLOGRAPHY 6 One of the most important clues about quantum gravity is the entropy of a black hole: What is the exact quantum generalizaon of the ! celebrated Bekenstein-Hawking formula? ! A 1 A S = + c log(A)+c ...+ e + ... ! 4 1 2 A • How to define it ? How to compute it? • The exponenal of the quantum entropy must yield an integer. This is extremely stringent. • Subleading correcons depend sensively on the phase & provide a window into the UV structure.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 7 Defining Quantum Entropy • The near horizon of a BPS black hole of charge vector Q is AdS2 so one can use holography. • Quantum entropy can then be defined as a path integral W(Q) in AdS2 over all string fields with appropriate boundary condions, operator inseron, and a renormalizaon procedure. Sen (09) • For large charges, logarithm of W(Q) reduces to Bekenstein-Hawking-Wald entropy.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 8 Compung Quantum Entropy.

• Integrate out massive string modes to get a Wilsonian effecve acon for massless fields. • Sll need to make sense of the formal path integral of supergravity fields. Using it do explicit computaons is fraught with danger. • It helps to have microscopic degeneracies d(Q) from brane counng to compare with:

W (Q)=d(Q)

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 9 One-eighth BPS states in N=8

• Type-II compacfied on T 6 • Dyonic states with charge vector (Q, P) • U-duality invariant = Q2P 2 (Q P )2 · • Degeneracy given by Fourier coefficients of C() ! #(⌧,z)2 ⌘(⌧)6 Maldacena Moore Strominger (99) ! d()=( 1)+1C()

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 10 Hardy-Ramanjuan-Rademacher Expansion An exact convergent expansion (using modularity) ! 1 9!/2 ⇡p C()=N c I˜ K () ! 7/2 c c c=1 X ! ✏+i 2 1 1 !ds z I˜ (z)= exp[s + ] 7/2 !9/2 2⇡i ✏ i s 4s Z 1 ! ! c exp z 4 log z + + ... z = A/4 ! ⇠ ! z h i The c=1 Bessel funcon sums ! all perturbave (in 1/z) correcons to entropy. The c>1 are non-perturbave !

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 11 Generalized Kloosterman Sum Kc()

2⇡i d (/4) 1 2⇡i a ( 1/4) ! e c M (c,d)⌫1 e c c d<0; !  (d,cX)=1 ⌫ = mod 2 ! ! Relevant only in exponenally subleading nonperturbave correcons . Even though highly subleading, conceptually very important for integrality. New results concerning these nonperturbave phases

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 12 Mulplier System

1 is a parcular two-dimensional M () representaon of the matrix SL(2, Z) ! ab = cd ✓ ◆ ! ⇡i 1 10 1 e 4 11 M (T )= M (S)= ! 0 i p2 1 1 ✓ ◆ ✓ ◆ Use the connued fracon expansion: = T mt S...Tm1 S

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 13 Compung W () • The structure of the microscopic answer suggests that should have an expansion W () 1 W ()= Wc() ! c=1 X • Each corresponds to a orbifold of the Wc() Zc Euclidean near horizon black hole geometry. • The higher c are exponenally subleading. Unless one can evaluate each of them exactly it is not parcularly meaningful to add them. Localizaon enables us to do this.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 14 Path Integral on AdS2

• Including the M-theory circle, there is a family of geometries that are asymptocally : AdS S1 2 ⇥ ! 1 dr2 i 1 d 2 ds2 =(r2 )d✓2 + + R2 dy (r )d✓ + d✓ c2 r2 1 R c c ! c2 ✓ ◆ • These are orbifolds of BTZ black hole. These Zc geometries all have the same asymptocs Mc,d and contribute to the path integral.

• Related to the family in SL(2, Z) AdS3 Maldacena Strominger (98), Sen (09) Pioline Murthy (09)

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 15 Localizaon

• If a supersymmetric integral is invariant under a localizing supersymmetry Q which squares to a compact generator H, then the path integral localizes onto fixed manifold of the symmetry Q. • We consider localizaon in N=2 supergravity coupled to vector mulplets whose chiral nv acon is governed by a prepotenal F. • We find the localizing submanifold le invariant by Q and evaluate the renormalized acon.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 16 Off-shell Localizing Soluons

• We found off-shell localizing instantons in AdS2 for supergravity coupled to vector mulplets nv with scalars XI and auxiliary fields YI

! I I I I I C I C C R X = X + ,Y= 2 , 2 ⇤ r r I =0,...,nv ! • These soluons are universal in that they are independent of the physical acon and follow enrely from the off-shell susy transformaons.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 17 Renormalized Acon

• The renormalized acon for prepotenal F is ! I ren(,q,p)= ⇡qI + (,p) ! S F I + ipI I ipI ! (,p)= 2⇡i F F¯ F 2 2 !  ⇣ ⌘ ⇣ ⌘ 1 is the off-shell value of at the origin. (I + ipI ) XI 2 • For each orbifold one obtains a Laplace integral of à la OSV conjecture. Z 2 | top| Ooguri Strominger Vafa (04) Lopes Cordosa de Wit Mohaupt (00)

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 18 Final integral

The prepotenal for the truncated theory is 7 ! 1 X1 F (X)= C XaXb (n = 7) 2 X0 ab v ! a,b=2 X (dropping the extra gravini mulplets) The path integral reduces to the Bessel integral ! ds ⇡2 W ()=N exp [s + ] 1 s9/2 4s Z ˜ W1()=I7/2(⇡p)

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 19 Degeneracy, Quantum Entropy, Wald Entropy

C() W1() exp(⇡p) 3 8 7.972 230.765 4 -12 12.201 535.492 7 39 38.986 4071.93 8 -56 55.721 7228.35 11 152 152.041 22506. 12 -208 208.455 53252. 15 513 512.958 192401

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 20 • Note that are alternang in sign so that C() is strictly posive. d()=( 1)+1C() This is a predicon from IR quantum gravity for black holes which is borne out by the UV. • This explains the Bessel funcons for all c with correct argument because for each orbifold the acon is reduced by a factor of c • What about the Kloosterman sums? It was a long standing puzzle how this intricate number theorec structure could possibly arise from a supergravity path integral.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 21 Kloosterman from Supergravity

• Our analysis thus far is local and insensive to global topology. The Chern-Simons terms in the bulk and the boundary terms are sensive to the global properes of c,d M • Addional contribuons to renormalized acon and addional saddle points specified by holonomies of flat connecons. Various phases from CS terms for different groups assemble nontrivially into precisely the Kloosterman sum.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 22 Kloosterman and Chern-Simons

2 I(A)= Tr A dA + A3 ^ 3 ! ZMc,d ✓ ◆ In our problem we have three relevant groups

nv +1 U(1) SU(2)L SU(2)R

2⇡i d (/4) 1 2⇡i a ( 1/4) e c M (c,d)⌫1 e c c d<0; (d,cX)=1

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 23 Dehn Twisng

The geometries are topologically a solid Mc,d 2-torus and are related to by Dehn-filling. M1,0 Relabeling of cycles of the boundary 2-torus: ! Cn ab C1 ab ! = for SL(2, Z) Cc cd C2 cd 2 ✓ ◆ ✓ ◆✓ ◆ ✓ ◆

C is contracble and is noncontracble in C 1,0 1 2 M Cc C c,d is contracble and n is noncontracble in M

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 24 Boundary Condions and Holonomies

• The cycle is the M-circle and is the boundary C2 C1 of for the reference geometry AdS2 1,0 M • This implies the boundary condion

! AI =fixed, AI = not fixed ! IC2 IC1 and a boundary term 2 ! Ib(A)= TrA1A2d x 2 Elitzur Moore Schwimmer Seiberg (89)ZT

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 25 Contribuon from SU(2)R 3 3 A =2⇡i A =2⇡i 2 2 ! IC1 IC2 3 3 ! A =2⇡i↵ A =2⇡i 2 2 ICc ICn Chern-Simons contribuon to the renormalized acon is completely determined knowing the holonomies. For abelian the bulk contribuon is zero for flat connecons and only boundary contributes.

2 2 Ib[AR]=2⇡ I[AR]=2⇡ ↵ Kirk Klassen (90)

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 26 2⇡i 3 A = , A =0 ! R c 2 R IC1 IC2 !

Supersymmetric orbifold Zc JR =0 ! = 1/c , =0, ↵ = 1 , = a/c (using ) ↵ = c + d , = a + b The total contribuon to renormalized acon is

! 2⇡ikR a Sren = kR =1 ! 4 c in perfect agreement with a term in Kloosterman.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 27 Mulplier System from SU(2)L

There is an explicit representaon of the Mulplier matrices that is suitable for our purposes. ! c 1 1 i⇡ [d(⌫+1)2 2(⌫+1)(2rn+✏(µ+1))+a(2rn+✏(µ+1))2] M ()⌫µ = C ✏ e 2rc ! ✏= n=0 X± X

Unlike the holonomies of are not SU(2)R SU(2)L constrained by supersymmetry and have to be summed over which gives precisely this matrix. (Assuming usual shi of k going to k +2 )

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 28 Knot Theory and Kloosterman

• This computaon is closely related to knot invariants of Lens space using the surgery Lc,d formula of Wien. Wien (89) Jeffrey (92) • This is not an accident. Lens space is obtained by taking two solid tori and gluing them by Dehn- twisng the boundary of one of them. But Dehn- twisted solid torus is our c,d M • Intriguing relaon between topology and number theory for an appropriate CS theory.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 29 Quantum Entropy: An Assessment

✓ Choice of Ensemble: boundary condions AdS2 imply a microcanonical ensemble. Sen (09)

✓ Supersymmetry and boundary condions AdS2 imply that index = degeneracy and JR =0 Sen (10) Dabholkar Gomes Murthy Sen (12) ✓ Path integral localizes and the localizing soluons and the renormalized acon have simple analyc expressions making it possible to even evaluate the remaining finite ordinary integrals.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 30 ✓Contribuons from orbifolded localizing instantons can completely account for all nonperturbave correcons to the quantum entropy. ✓ All intricate details of Kloosterman sum arise from topological terms in the path integral. ✓ (Most) D-terms evaluate to zero on the localizing soluons de Wit Katamadas Zalk (10) Murthy Rey (13) Path integral of quantum gravity (a complex analyc connuous object) can yield a precise integer (a number theorec discrete object). S[] W (Q)= de = integer Z ATISH DABHOLKAR QUANTUM HOLOGRAPHY 31 Open Problems

? We used an N=2 truncaon of N=8 supergravity. This should be OK for finding the localizing instantons because the near horizon has N=2 susy. But it’s a truncaon. Fields with mass of the order of the horizon scale are expected to contribute to one-loop determinants. ? A more sasfactory treatment of the measure is necessary. Subtlees with gauge fixing from conformal gravity to Poincare gravity.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 32 Off-shell supergravity

? We ignored hypermulplets. Known not to contribute to Wald entropy and from final answer do not seem to contribute to the full quantum entropy either. It would be good to prove this. ? It would be useful to have off-shell realizaon of the two localizing supercharges on all fields of N=8 supermulplet. Hard technical problem. Kloosterman sum arising from topological terms should be independent of these subtlees.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 33 An IR Window into the UV

• The degeneracies d(Q) count brane bound states. These are nonpertubave states whose masses are much higher than the string scale. • Our supergravity computaon of W(Q) can apparently access this informaon with precision. • If we did not know the spectrum of branes a priori in the N=8 theory then we could in principle deduce it. For example, in N=6 models d(Q) is not known but the sugra computaon of W(Q) seems doable.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 34 Platonic Elephant of M-theory

• Quantum gravity seems more like an equivalent dual descripon rather than a coarse-graining. • It is not only UV-complete (like QCD) but UV-rigid. E. g. Small change in the effecve acon of an irrelevant operator will destroy integrality. • AdS/CFT is just one solitonic sector of the theory. It seems unlikely that we can bootstrap to construct the whole theory from a single CFT which for a black hole is just a finite dimensional vector space.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 35 AdS4/CF T3

8 • N M2-branes in M-theory on R /Zk 7 • AdS4 S /Zk M-theory on the near horizon ⇥ geometry is holographically dual to ABJM theory. • The paron funcon of the CFT is an Airy funcon computed using localizaon CFT, matrix models methods and resummaon. Kapusn Wille Yaakov (10) Drukker Mariño Putrov ( 11) Fuji Hirano Moriyama (11) …. • Gives the famous growth of states in the N 3/2 supergravity limit at large ’t Hoo coupling.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 36 Airy Funcon

+i ⇡ e 3 • 1 1 3 ZCFT Ai(z)= dt exp t zt i ⇡ ! ⇠ e 3 3 Z1  ! 2 exp z3/2 log(z3/2 + ... ⇠ 3 !  • Valid at finite z3/2 R2 N 3/2k1/2 AdS radius R ⇠ ⇠ in 4d Planck units. Ignores M2-brane instantons. • Can we compute it from bulk quantum gravity? Airy funcon is very analogous to Bessel funcon.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 37 7 Truncaon on S /Zk

• Gauged supergravity with two vector mulplets and a square-root prepotenal ! F = X0(X1)3 ! p Gauntle Kim Varela Waldram (09) • We can apply localizaon methods. There is a two parameter family of off-shell localizing instantons. !

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 38 Renormalized Acon

! I 1 0 Sren = cF ( )+N + k ! where c is a simple numerical constant. • Unlike in the black hole case we obtain something 2 like instead of . Z Ztop top | | • We get the Airy funcon if we assume flat measure for the variables (u = 0,µ= 1) At present we are not able to derive the measure.p

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 39 Possible Relaon to Topological String

• The boundary matrix model also gives a Laplace integral of the topological string paron funcon for local with a cubic prepotenal. P 1 P 1 3 ⇥ • is not a Calabi Yau and we have gauged CP supergravity but the truncaon also has only two vector mulplets and the square-root prepotenal is related to the cubic one by an electric-magnec duality. Perhaps the two are related in some limit.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 40 AdS 3/CF T2 and Mock Modular Forms

• Euclidean AdS 3 has a 2-torus boundary and we expect modular symmetry for the partition function. ! • Oen the asymptotic degeneracy includes contributions from not only single-centered black holes but also multi-centered bound states of black holes. Related to Wall-crossing phenomenon.! • Isolating the single-centered contribution microscopically is subtle. The counting function is then no longer modular as expected. ! Modular symmetry is apparently lost!

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 41 • Loss of modularity is a serious problem. It means loss of general coordinate invariance in the context of AdS3/CFT2. It is far from clear if and how modular symmetry can be restored. • We obtained a complete soluon to this problem for black strings with N=4 supersymmetry. It naturally involves mock modular forms. • We obtained a number of new results in the mathemacs of mock modular forms movated by this physics. • Signifies noncompactness of boundary CFT.

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 42 Decomposion Theorem

• The counting function of single-centered black hole is a mock Jacobi form.! • The counng funcon of mul-centered black holes is an Appel Lerch sum. • Neither is modular but both admit a modular compleon by an addive nonholomorphic correcon term restoring modular symmetry! Dabholkar Murthy Zagier (12)

ATISH DABHOLKAR QUANTUM HOLOGRAPHY 43