# The Kerr/CFT correspondence and its extensions

Latest version View article history

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s41114-017-0003-2

- Cite this article as:
- Compère, G. Living Rev Relativ (2017) 20: 1. doi:10.1007/s41114-017-0003-2

- 1 Citations
- 869 Downloads

## Abstract

We present a first-principles derivation of the main results of the Kerr/CFT correspondence and its extensions using only tools from gravity and quantum field theory. Firstly, we review properties of extremal black holes with in particular the construction of an asymptotic Virasoro symmetry in the near-horizon limit. The entropy of extremal spinning or charged black holes is shown to match with a chiral half of Cardy’s formula. Secondly, we show how a thermal 2-dimensional conformal field theory (CFT) is relevant to reproduce the dynamics of near-superradiant probes around near-extremal black holes in the semi-classical limit. Thirdly, we review the hidden conformal symmetries of asymptotically-flat black holes away from extremality and present how the non-extremal entropy can be matched with Cardy’s formula. We follow an effective field theory approach and consider the Kerr–Newman black hole and its generalizations in various supergravity theories. The interpretation of these results by deformed dual conformal field theories is discussed and contrasted with properties of standard 2-dimensional CFTs. We conclude with a list of open problems.

### Keywords

Black holes Holography AdS/CFT Conformal field theory## 1 Introduction

It is known since the work of Bekenstein (1972), Bardeen et al. (1973), and Hawking (1975) that black holes are thermodynamical systems equipped with a temperature and an entropy. In analogy to Bolzmann’s statistical theory of gases, one expects that the entropy of black holes counts microscopic degrees of freedom. Understanding what these degrees of freedom actually are is one of the main challenges that a theory of quantum gravity should address.

Since the advent of string theory, several black holes enjoying supersymmetry have been understood microscopically. In such cases, supersymmetry and its non-renormalization theorems allow to map the black hole states to dual states in a weakly-coupled description in terms of elementary strings and D-branes, which also provides a method to microscopically reproduce Hawking radiation slightly away from extremality (Strominger and Vafa 1996; Callan and Maldacena 1996), see Gubser (1998), David et al. (2002), Dabholkar and Nampuri (2012) for reviews.

These results can be contrasted with the challenge of describing astrophysical black holes that are non-supersymmetric and non-extremal, for which these methods cannot be directly applied. Astrophysical black holes are generically rotating and have approximately zero electromagnetic charge. Therefore, the main physical focus should be to understand the microstates of the Kerr black hole and to a smaller extent the microstates of the Schwarzschild, the Kerr–Newman and the Reissner–Nordström black hole.

All black holes in Einstein gravity coupled to matter admit an entropy equal to their area in Planck units divided by 4. This universality deserves an explanation which is missing so far. One temptative explanation comes from the holographic principle proposed in ’t Hooft (1994) and Susskind (1995) which states that gravity can be described equivalently by a theory with a lower number of dimensions. In particular, black holes would be holographic in the sense that their microscopic degrees of freedom are encoded on a holographic plate on their horizon.

One of the greatest achievements of modern theoretical physics to have provided explicit realizations of the holographic principle: the exact AdS/CFT correspondences. They provide a dual description of specific systems in Type IIB supergravity or M-theory in terms of specific conformal field theories (Maldacena et al. 1997; Maldacena 1998a; Witten 1998). Some supersymmetric black holes are described in such correspondences. They contain in their near-horizon limit a factor of three-dimensional anti-de Sitter spacetime \(\mathrm {AdS}_{3}\) (Maldacena and Strominger 1997; Cvetič and Larsen 1997b) or more precisely a quotient thereof known as the BTZ black hole (Bañados et al. 1992, 1993). The existence of a dual 2D CFT description is enough to account for the black hole entropy thanks to universality of the asymptotic growth of states, namely Cardy’s formula (Cardy 1986). Cardy’s formula only depends upon the Virasoro zero modes and the CFT central charges which can be evaluated in classical gravity using asymptotic symmetry methods (Brown and Henneaux 1986a). Therefore, the exact microscopic description in terms of elementary strings and branes becomes unnecessary details and the black hole entropy follows from a universal relation whose ingredients can be computed in classical gravity (Strominger 1998).

A special limit of \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondences is relevant for our purposes. When the BTZ black hole that appears in the near-horizon limit is taken extremal, it admits itself a near-horizon limit, the so-called self-dual orbifold (Coussaert and Henneaux 1994) which consists of \(\mathrm {AdS}_2\) with a twisted *U*(1) fiber. The self-dual orbifold is sometimes called the “very near-horizon limit” of the original extremal black hole (Azeyanagi et al. 2009c). It turns out that a chiral half of the conformal structure of the 2D CFT extends to the very near-horizon limit (Balasubramanian et al. 2010; Compère et al. 2016). The very near-horizon limit admits one copy of the Virasoro algebra as asymptotic symmetry algebra which extends the *U*(1) rotational Killing symmetry. The entropy in the very near-horizon geometry is then reproduced by a chiral half of Cardy’s formula, which is inherited from the 2D CFT.

Motivated by the universality of growth of states in a 2D CFT, the authors of Guica et al. (2009) formulated the original version of the Kerr/CFT correspondence which conjectures that “Quantum gravity near the extreme Kerr horizon is dual to a two-dimensional CFT”. The Kerr/CFT correspondence can be viewed as a concrete proposal for realizing the holographic principle in a physically realistic gravitational setting. The starting point of the Kerr/CFT correspondence is the observation that the extremal Kerr geometry admits a decoupled near-horizon limit (Bardeen and Horowitz 1999). This decoupled geometry contains an \(\mathrm {AdS}_2\) factor and has a \(SL(2,\mathbb {R}) \times U(1)\) symmetry which extends the 2 Killing symmetries of Kerr. This near-horizon geometry differs in two important ways with respect to the decoupled geometries appearing in exact \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondences. First, there is no \(\mathrm {AdS}_3\) factor but a deformation thereof known as warped \(\mathrm {AdS}_3\) (Bengtsson and Sandin 2006) which can be understood in string inspired models as an irrelevant deformation of the CFT dual to \(\mathrm {AdS}_3\) (Guica and Strominger 2011; Compère et al. 2011). Second and most importantly, as realized soon after the original conjecture was made (Azeyanagi et al. 2009c; Amsel et al. 2009a; Dias et al. 2009), the near-horizon geometry does not contain a black hole with arbitrary energy in contrast to the BTZ black hole in the \(\mathrm {AdS}_3/\mathrm {CFT}_2\) case. Instead, it contains a warped deformation of the self-dual orbifold. The near-horizon region of the extremal Kerr black hole is therefore a “very near-horizon limit”. The asymptotic symmetry algebra of the near-horizon geometry was found to admit one copy of the Virasoro algebra with central charge 12*J* where *J* is the angular momentum (Guica et al. 2009).^{1} A thermal version of a chiral sector of Cardy’s formula then exactly equates the black hole entropy. Here, such a relationship cannot be qualified as a microscopic counting since there is no definition of a dual field theory in terms of elementary fields; there is no justification for the validity of Cardy’s formula and there are even strong reasons to think that such a dual theory does not exist.

The main obstruction towards the existence of a dual 2D CFT is simply that away from extremality the near-horizon region couples to the asymptotic region which is not scale invariant. Turning on finite energy in the near-horizon description amounts to quitting exact extremality (Amsel et al. 2009a; Dias et al. 2009). Turning on finite energy should therefore also turn on irrelevant couplings (with respect to scale invariance) which encode the couplings to the asymptotic region Baggio et al. (2013). On the contrary, in the \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondences, finite energy perturbations (e.g., the BTZ black hole) exist in the near-horizon region described by a 2D dual CFT. Such intermediate region does not exist for the extremal Kerr black hole. At best, one might conjecture a 2D dual field theory obtained from a CFT with irrelevant deformations in both sectors, so nothing like a standard CFT.^{2}

Given this state of affairs, it might come as a surprize that the chiral thermal version of Cardy’s formula universally reproduces the entropy of all known extremal black holes with a *U*(1) axial symmetry. The matching extends to the Kerr–Newman black hole but also to large classes of black holes in gravity coupled to matter, with anti-de Sitter asymptotic regions, with higher curvature corrections or in higher dimensions as extensively detailed later on. Moreover, a non-trivial matching can be done with a standard thermal 2D CFT correlation function slightly away from extremality for a limited number of gravitational observables which explore the near-horizon region (Bredberg et al. 2010). Finally, a Cardy formula also applies away from extremality and \(SL(2,\mathbb {R}) \times SL(2,\mathbb {R})\) scale invariance can be identified for certain probes away from extremality. This points to the relevance of the concepts of 2D CFTs away from extremality (Cvetič and Larsen 1997b; Castro et al. 2010; Cvetič and Larsen 2012a) even though it should not be considered as a duality with a standard CFT (Baggio et al. 2013; Castro et al. 2013b).^{3} These results shall be collectively referred to as the “Kerr/CFT correspondence”. The main scope of this review is to present the first-principle arguments for the Kerr/CFT correspondence with the hope that a deeper explanation for their origin and meaning could be achieved in the future.

### 1.1 Extension to gauge fields

Another notable extension of the thermal chiral Cardy relation exists for the Reissner–Nordström black hole (Hartman et al. 2009). This extension is valid only after one assumes that the *U*(1) electromagnetic field can be promoted to be a Kaluza–Klein vector of a higher-dimensional spacetime. The *U*(1) electric charge is then uplifted as a *U*(1) axial angular momentum in the higher dimensional spacetime. Both angular momenta are then treated on an equal footing by the higher-dimensional version of the Kerr/CFT correspondence. This construction strengthen the strong parallel between the physics of static charged black holes and rotating black holes. Our point of view is that a proper understanding of the concepts behind the Kerr/CFT correspondence is facilitated by studying in parallel static charged black holes and rotating black holes. The relevance of the Kaluza–Klein construction also motivates to consider the Kerr/CFT correspondence in higher dimensions.

*X*is compact and contains at least a

*U*(1) cycle (the total manifold might not necessarily be a direct product). Experimental constraints on such scenarios can be set from bounds on the deviation of Newton’s law at small scales (Long and Price 2003; Adelberger et al. 2003). A toy model for such a construction consists in adding a fifth compact dimension \(\chi \sim \chi +2\pi R_\chi \), where \(2\pi R_\chi \) is the length of the

*U*(1) Kaluza–Klein circle. We then define

*U*(1) gauge field \(A_{(5)}\), whose field strength is defined as

^{4}Therefore, in order to review the arguments for the Reissner–Nordström/CFT correspondence and its generalizations, it is necessary to discuss

*five*-dimensional gravity coupled to matter fields.

### 1.2 Classes of effective field theories

We already motivated the study of the Kerr/CFT correspondence in the Einstein-matter system in 4 and higher dimensions. Embedding this correspondence in string theory has the potential to give microscopic realizations of these correspondences. Efforts in that direction include Nakayama (2009), Azeyanagi et al. (2009c), Guica and Strominger (2011), Compère et al. (2011), Azeyanagi et al. (2011), de Boer et al. (2011), Balasubramanian et al. (2011), Song and Strominger (2012b), Sheikh-Jabbari and Yavartanoo (2011), Song and Strominger (2012a), de Boer et al. (2012), El-Showk and Guica (2012), Bena et al. (2013), Compère et al. (2014), Bena et al. (2016).^{5} Such constructions are only theoretical since there is no reasonable control on how the standard model of particle physics and cosmology fits in string theory despite active research in this area, see, e.g., Grana (2006), Denef (2008), McAllister and Silverstein (2008), Maharana and Palti (2013).

*D*supergravity on \(T^5\). Note that the action (3) does not contain charged scalars, non-abelian gauge fields nor fermions.

^{6}

One additional motivation for studying this general class of theories comes from the AdS/CFT correspondence (Maldacena 1998a; Witten 1998). While asymptotically flat black holes are the most physically relevant black holes, gauge/gravity correspondences are mostly understood with the AdS asymptotics. Studying the possible relationship between the Kerr/CFT correspondence and AdS/CFT correspondences therefore naturally leads to considering such actions. We focus on the case where \(f_{AB}(\chi )\), \(k_{IJ}(\chi )\) and \(b_{IJ}(\chi )\) are positive definite and the scalar potential \(V(\chi )\) is non-positive in (3). This ensures that matter obeys the usual energy conditions and it covers the case of zero and negative cosmological constant. However, we will not discuss the supergravities required to embed AdS–Einstein–Maxwell theory. Three-dimensional models are also relevant with regards to the \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondences. In three dimensions we allow for massive vector fields which naturally arise in string theory compactifications (Ó Colgáin and Samtleben 2011; Detournay and Guica 2013; Karndumri and Ó Colgáin 2013).

The final motivation for studying this class of theories is simply that the near-horizon limits of extremal solutions take a universal form for any theory in the class (3). We will discuss this point in Sect. 2.2.2, see also the review Kunduri and Lucietti (2013). It is therefore convenient to discuss the theory (3) in one swoop.

### 1.3 Extremal black holes and astrophysics

Another motivation for the study of extremal black holes comes from astrophysics. Astrophysical black holes are usually assumed to have approximately zero electric charge. They are usually embedded in magnetic fields and surrounded by an accretion disk. In the first approximation they are described by the Kerr geometry (Middleton 2016). The bound on the Kerr angular momentum derived from the cosmic-censorship hypothesis is \(J \le G M^2\). No physical process exists that would turn a non-extremal black hole into an extremal one. This is the third law of black hole thermodynamics (Bardeen et al. 1973). Using detailed models of accretion disks around the Kerr black hole, Thorne derived the bound \(J \le 0.998 \, G M^2\) (Thorne 1974).

Quite surprisingly, it has been claimed that several known astrophysical black holes, such as the black holes in the X-ray binary GRS 1905+105 (McClintock et al. 2006) and Cygnus X-1 (Gou et al. 2011), are more than 95% close to the extremality bound. More recent observations push the bound even further around 98% for both the GRS 105+1915 (Blum et al. 2009; Miller et al. 2013) and Cygnus X-1 Gou et al. (2014) black hole. Also, the spin-to-mass–square ratio of the supermassive black holes in the active galactic nuclei MCG-6-30-15 (Brenneman and Reynolds 2006) and 1H 0707-495 (Fabian et al. 2009) have been claimed to be around 98%. However, these measurements are subject to controversy since independent data analyses based on different assumptions led to opposite results as reviewed in Fender et al. (2010): e.g., the spin-to-mass–square ratio of the black hole in Cygnus X-1 has been evaluated as \(J/(GM^2) = 0.05\) (McClintock and Remillard 2009). If the measurements of high angular momenta are confirmed and generally accepted, it would promote near-extremal spinning black holes as physical objects of nature.

Due to enhanced \(SL(2,\mathbb {R})\) symmetry, extremal black holes can be considered as critical conformal systems in the sense of condensed matter theory. Even though such systems are never reached, their symmetries control the physics in the vicinity of the horizon of near-extremal black holes. More precisely, the \(SL(2,\mathbb {R})\) symmetry controls the near-horizon physics of all fields which can be written in an asymptotically matched expansion between the asymptotically flat region and the near-horizon region.^{7} This study was initiated in Bredberg et al. (2010) which we shall review and which points to a symmetry enhancement beyond the \(SL(2,\mathbb {R})\) isometry.

This approach led to further developments which we shall only mention here. \(SL(2,\mathbb {R})\) symmetry allows to analytically solve for gravitational wave emission on plunge orbits in the near-horizon region by relating this emission to the one on more easily computable circular orbits (Porfyriadis and Strominger 2014; Hadar et al. 2014, 2015; Gralla et al. 2015). The profile of gravitational waves arising from probes falling in the near-horizon geometry carries signatures of scale invariance for nearly extreme spins which differ from the otherwise characteristic signature (Gralla et al. 2016a). The presence of \(SL(2,\mathbb {R})\) symmetry also allows to deduce analytic solutions for force-free electromagnetic fields in the near-horizon region (Lupsasca et al. 2014; Li et al. 2014; Zhang et al. 2014; Lupsasca and Rodriguez 2015; Compère and Oliveri 2016) but only few such solutions arise as a limit from the asymptotic region (Gralla et al. 2016b).

### 1.4 Organization of the review

Since extremal black holes are the main objects of study, we will spend a large amount of time describing their properties in Sect. 2. We will contrast the properties of static extremal black holes and of rotating extremal black holes. We will discuss how one can decouple the near-horizon region from the exterior region. We will then show that one can associate thermodynamical properties with any extremal black hole and we will argue that near-horizon geometries contain no local bulk dynamics. Since we aim at drawing parallels between black holes and two-dimensional CFTs, we will quickly review some relevant properties of standard 2D CFTs in Sect. 3.

After this introductory material, we will discuss the core of the Kerr/CFT correspondence starting from the Cardy matching of the entropy of extremal black holes in Sect. 4. There, we will review how the near-horizon region admits a set of asymptotic symmetries at its boundary, which form a Virasoro algebra. Several choices of boundary conditions exist, where the algebra extends a different compact *U*(1) symmetry of the black hole. Following semi-classical quantization rules, the operators, which define quantum gravity in the near-horizon region, form a representation of the Virasoro algebra. We will also review the arguments that the thermodynamical potential associated with the *U*(1) symmetry could be interpreted as a limiting temperature of the density matrix dual to the black hole. This leads to considering matching the black hole entropy with the thermal chiral Cardy formula. In Sect. 5 we will move to the description of non-extremal black holes, and we will concentrate our analysis on asymptotically-flat black holes for simplicity. We will describe how part of the dynamics of probe fields in the near-extremal Kerr–Newman black hole matches with the thermal 2-point functions of CFTs with both a left and a right-moving sector. The left-moving sector of the CFTs will match with the corresponding chiral limit of the CFTs derived at extremality. In Sect. 6 we will review the hidden local conformal symmetry that is present in some probes around the generic Kerr–Newman black hole. Finally, we will summarize the key results of the Kerr/CFT correspondence in Sect. 7 and provide a list of open problems.

This review complements the lectures on the Kerr black hole presented in Bredberg et al. (2011) by providing an overview of the Kerr/CFT correspondence and its extensions for general rotating or charged black holes in gravity coupled to matter fields in a larger and updated context. Since we follow an effective field-theory approach, we will cover string-theory models of black holes only marginally. We refer the interested reader to the complementary string theory-oriented review of extremal black holes (Simón 2011).

## 2 Extremal black holes

In this section, we review some key properties of extremal black holes in the context of four-dimensional theories of gravity coupled to matter. We first contrast how to decouple from the asymptotic region the near-horizon region of static and rotating black holes. We then derive the thermodynamic properties of black holes at extremality. We then discuss near-horizon geometries close to extremality and emphasize their lack of local bulk dynamics.

### 2.1 General properties

For simplicity, we will strictly concentrate our analysis on stationary black holes. Since we are concerned with the region close to the horizon, one could only require that the near-horizon region is stationary, while radiation would be allowed far enough from the horizon. Such a situation could be treated in the framework of isolated horizons (Ashtekar et al. 1999, 2000; see Ashtekar and Krishnan 2004 for a review). However, for our purposes, it will be sufficient and much simpler to assume stationarity everywhere. We expect that all results derived in this review could be generalized for isolated horizons (see Wu and Tian 2009 for results along these lines).

Many theorems have been derived that characterize the generic properties of four-dimensional stationary black holes that admit an asymptotically-timelike Killing vector. First, they have one additional axial Killing vector—they are axisymmetric^{8}—and their event horizon is a Killing horizon.^{9} In asymptotically-flat spacetimes, black holes have spherical topology (Hawking and Ellis 1973).

^{10}If one attempts to send finely-tuned particles or waves into a near-extremal black hole in order to further approach extremality, one realizes that there is a smaller and smaller window of parameters that allows one to do so when approaching extremality. In effect, a near-extremal black hole has a potential barrier close to the horizon, which prevents it from reaching extremality. Note that in the other way around, if one starts with an extremal black hole, one can simply throw in a massive particle to make the black hole non-extremal. Therefore, extremal black holes are finely tuned black holes. Nevertheless, studying the extremal limit is very interesting because many simplifications occur and powerful specialized methods can be used.

*Angular velocity.*Spinning black holes are characterized by a chemical potential—the angular velocity \(\varOmega _J\)—conjugate to the angular momentum. The angular velocity can be defined in geometrical terms as the coefficient of the black-hole–horizon generator proportional to the axial Killing vectorThe net effect of the angular velocity is a frame-dragging effect around the black hole. This gravitational kinematics might be the clue of an underlying microscopic dynamics. Part of the intuition behind the Kerr/CFT correspondence is that the degrees of freedom responsible for the black hole entropy are rotating at the speed of light at the horizon.$$\begin{aligned} \xi = \partial _t + \varOmega _J \partial _\phi . \end{aligned}$$(8)*Electrostatic potential.*Electrically-charged black holes are characterized by a chemical potential—the electrostatic potential \(\varPhi _e\)—conjugated to the electric charge. It is defined on the horizon \(r=r_+\) aswhere \(\xi \) is the horizon generator defined in (8). Similarly, one can associate a magnetic potential \(\varPhi ^I_m\) to the magnetic monopole charge. The form of the magnetic potential can be obtained by electromagnetic duality, or reads as the explicit formula derived in Copsey and Horowitz (2006) (see also Compère et al. 2009a for a covariant expression). Part of the intuition behind the Reissner–Nordström/CFT correspondence is that this kinematics is the sign of microscopic degrees of freedom “moving along the gauge direction”. We will make that statement more precise in Sect. 4.1.$$\begin{aligned} \varPhi ^I_e = -\xi ^\mu A^I_\mu |_{r=r_+}, \end{aligned}$$(9)*Ergoregion.*Although the Killing generator associated with the mass of the black hole, \(\partial _t\), is timelike at infinity, it does not need to be timelike everywhere outside the horizon. The region where \(\partial _t\) is spacelike is called the ergoregion and the boundary of that region where \(\partial _t\) is lightlike is the ergosphere. If there is no ergoregion, \(\partial _t\) is a global timelike Killing vector outside the horizon. However, it should be noted that the presence of an ergoregion does not preclude the existence of a global timelike Killing vector. For example, the extremal spinning Kerr–AdS black hole has an ergoregion. When the horizon radius is smaller than the AdS length, the horizon generator becomes spacelike at large enough distances and there is no global timelike Killing vector, as for the Kerr black hole. On the contrary, when the horizon radius is larger than the AdS length, the horizon generator is timelike everywhere outside the horizon.*Superradiance.*One of the most fascinating properties of some rotating black holes is that neutral particles or waves sent towards the black hole with a frequency \(\omega \) and angular momentum*m*inside a specific bandcome back to the exterior region with a higher amplitude. This amplification effect or Penrose effect allows the extraction of energy very efficiently from the black hole. Superradiance occurs for the Kerr and Kerr–Newman black hole and is related to the presence of the ergoregion and the lack of a global timelike Killing vector. Because of the presence of a global timelike Killing vector, there is no superradiance for large Kerr–AdS black holes (when reflective boundary conditions for incident massless waves are imposed) (Hawking and Reall 2000; Winstanley 2001).$$\begin{aligned} 0< \omega < m \varOmega _J \end{aligned}$$(10)*Electromagnetic analogue to superradiance.*Charged black holes contain electrostatic energy that can also be extracted by sending charged particles or waves with frequency \(\omega \) and charge \(q_e\) inside a specific band (Christodoulou and Ruffini 1971; see Jacobson 1996 for a review)There is no ergoregion in the four-dimensional spacetime. However, for asymptotically-flat black holes, there is a five-dimensional ergoregion when considering the uplift (1). For the Reissner–Nordström black hole, the five-dimensional ergoregion lies in the range \(r_+< r < 2M\), where$$\begin{aligned} 0< \omega < q_e \varPhi _e. \end{aligned}$$(11)*M*is the mass and*r*the standard Boyer–Lindquist radius.The combined effect of rotation and charge allows one to extract energy in the rangeWhen considering a wave scattering off a black hole, one can define the absorption probability \(\sigma _{\mathrm {abs}}\) or macroscopic greybody factor as the ratio between the absorbed flux of energy at the horizon and the incoming flux of energy from infinity,$$\begin{aligned} 0< \omega < m \varOmega _J +q_e \varPhi _e. \end{aligned}$$(12)In the superradiant range (12), the absorption probability is negative because the outgoing flux of energy is higher than the incoming flux.$$\begin{aligned} \sigma _{\mathrm {abs}} = \frac{dE_{\mathrm {abs}} / dt}{dE_{\text {in}}/dt}. \end{aligned}$$(13)*No thermal radiation but spontaneous emission.*Taking quantum mechanical effects into account, non-extremal black holes radiate with a perfect black-body spectrum at the horizon at the Hawking temperature \(T_H\) (Hawking 1975). The decay rate of a black hole as observed from the asymptotic region is the product of the black-body spectrum decay rate with the greybody factor \(\sigma _{\mathrm {abs}}\),The greybody factor accounts for the fact that waves (of frequency \(\omega \), angular momentum$$\begin{aligned} \varGamma = \frac{1}{e^{\frac{\omega - m\varOmega _J-q_e \varPhi _e}{T_H} }- 1}\sigma _{\mathrm {abs}}. \end{aligned}$$(14)*m*and electric charge \(q_e\)) need to travel from the horizon to the asymptotic region in the curved geometry. In the extremal limit, the thermal factor becomes a step function. The decay rate then becomesAs a consequence, ordinary Hawking emission with \(\sigma _{\mathrm {abs}}>0\) and \(\omega > m \varOmega _J+q_e\varPhi _e\) vanishes while quantum superradiant emission persists. Therefore, extremal black holes that exhibit superradiance, spontaneously decay to non-extremal black holes by emitting superradiant waves.$$\begin{aligned} \varGamma _{\mathrm {ext}} = -\varTheta (-\omega +m\varOmega _J+q_e\varPhi _e)\sigma _{\mathrm {abs}}. \end{aligned}$$(15)*Innermost stable orbit approaching the horizon in the extremal limit.*Near-extremal black holes have an innermost stable circular orbit (ISCO) very close to the horizon (in Boyer–Lindquist coordinates, the radius of such an orbit coincides with the radius of the horizon. However, since the horizon is a null surface, while the ISCO is timelike, the orbit necessarily lies outside the horizon, which can be seen explicitly in more appropriate coordinates. See Fig. 2 of Bardeen et al. 1972.^{11}) As a consequence, the region of the black hole close to the horizon can support accretion disks of matter and, therefore, measurements of electromagnetic waves originating from the accretion disk of near-extremal rotating black holes contain (at least some marginal) information from the near-horizon region. For a careful analysis of the physical processes around rotating black holes, see Bardeen et al. (1972).*Classical singularities approaching the horizon in the extremal limit.*Stationary axisymmetric non-extremal black holes admit a smooth inner and outer horizon, where curvatures are small. However, numerical results (Brady and Smith 1995; Brady and Chambers 1995; Brady et al. 1998; Dafermos 2005) and the identification of unstable linear modes using perturbation theory (McNamara 1978; Dotti et al. 2008, 2011) showed that the inner horizon is unstable and develops a curvature singularity when the black hole is slightly perturbed. The instability is triggered by tiny bits of gravitational radiation that are blueshifted at the inner Cauchy horizon and which create a null singularity. In the near-extremality limit, the inner horizon approaches the outer horizon and it can be argued that test particles encounter a curvature singularity immediately after they enter the horizon of a near-extremal black hole (Marolf 2010). In fact, there is an instability at the horizon of both extreme Reissner–Nordström and Kerr as subsequently proven (Aretakis 2011a, b, 2012, 2015).

### 2.2 Near-horizon geometries of extremal black holes

We will define the near-horizon limit of static and rotating black holes at extremality and describe in detail their properties. We will also present some explicit examples of general interest. The extension of the near-horizon limit for near-extremal geometries will be described in Sect. 2.4 after first presenting the thermodynamic properties of extremal horizons in Sect. 2.3.

#### 2.2.1 Static near-horizon geometries

*SO*(3) rotational symmetry. Since the horizon generator is null at the horizon, the coordinate

*t*diverges there. The near-horizon limit is then defined as

*r*inversely proportionally to

*t*. Therefore, the near-horizon geometry admits the enhanced symmetry generator

*SO*(3) symmetry generators. Furthermore, using the kinematical properties of the near-horizon limit, one can deduce the existence of either an \(\mathrm {AdS}_2\), \(dS_2\) or \(\mathbb {R}^{1,1}\) geometry in the near-horizon limit, with either \(SL(2,\mathbb {R})\) or Poincaré

*iso*(1, 1) symmetry which extends to the entire near-horizon geometry. Assuming the strong energy condition, the geometry \(\mathrm {AdS}_2\) is singled out, see Kunduri et al. (2007) and the review by Kunduri and Lucietti (2013) for a detailed derivation. The general near-horizon solution is then given by

For some supersymmetric theories, the values \(v_1,v_2,\chi ^A_\star ,e_I\) are generically completely fixed by the electric (\(q^I\)) and magnetic (\(p^I\)) charges of the black hole and do not depend continuously on the asymptotic value of the scalar fields in the asymptotic region—the *scalar moduli*. This is the *attractor mechanism* (Ferrara et al. 1995; Strominger 1996; Ferrara and Kallosh 1996). It was then realized that it still applies in the presence of certain higher-derivative corrections (Lopes Cardoso et al. 1999, 2000b, a). The attractor mechanism was also extended to non-supersymmetric extremal static black holes (Ferrara et al. 1997; Sen 2005; Goldstein et al. 2005; Kallosh 2005). As a consequence of this mechanism, the entropy of these extremal black hole does not depend continuously on any moduli of the theory.^{12} The entropy can however still have discrete jumps when crossing *walls of marginal stability* in the scalar moduli space since the index which captures it has jumps (Ooguri et al. 2004; Denef and Moore 2011). The attractor mechanism generally allows to account for the black hole entropy by varying the moduli to a weakly-coupled description of the system without gravity, where states with fixed conserved charges can be counted. Therefore, the attractor mechanism led to an explanation (Astefanesei et al. 2008; Dabholkar et al. 2007) of the success of previous string theory calculations of the entropy of certain nonsupersymmetric extremal black holes (Kaplan et al. 1997; Horowitz et al. 1996; Dabholkar 1997; Tripathy and Trivedi 2006; Emparan and Horowitz 2006; Emparan and Maccarrone 2007).

*A*can be lifted as a Kaluza–Klein vector to a higher-dimensional spacetime, as discussed in Sect. 1.1. In the simple model (1), the change of gauge \(A \rightarrow A +d\varLambda \) is implemented as the change of coordinates \(\chi \rightarrow \chi +\varLambda \). Using the definition of the electrostatic potential \(\varPhi ^{\mathrm {ext}}_e\) (9) at extremality, it is straightforward to obtain that in the geometry (1) the horizon is generated by the vector field \(\xi _{\mathrm {tot}} = \partial _t+\varPhi ^{\mathrm {ext}}_e \partial _{\chi }\). The change of coordinates (16) combined with \(\chi \rightarrow \chi +\varLambda \) with \(\varLambda \) defined in (18) then maps this vector to

#### 2.2.2 Spinning near-horizon geometries

*t*diverges at the horizon, which is equivalent to the fact that \(g^{tt}\) diverges at the horizon. As in the static case, one needs to perform a gauge transformation of parameter (18), when electrostatic fields are present. One can again interpret this change of gauge parameter as a change of coordinates in a higher-dimensional auxiliary spacetime (1). The near-horizon limit is then defined as

^{13}The general near-horizon geometry of 4D extremal spinning black holes consistent with these symmetries is given by

*t*and redefining \(A^I \rightarrow -A^I\), we can always set \(k \ge 0 \), \(e_I \ge 0\). The function \(\alpha (\theta ) \ge 0\) can be removed by redefining \(\theta \) but it is left for convenience because some near-horizon geometries are then more easily described.

^{14}

*t*–\(\phi \) reflection symmetry in black-hole literature. The parity/time reversal transformation (29) reverses the electromagnetic charges of the solution.

*r*,

*t*) coordinates are analogous to Poincaré coordinates on \(\mathrm {AdS}_2\) with an horizon at \(r=0\). One can find global coordinates in the same way that the global coordinates of \(\mathrm {AdS}_2\) are related to the Poincaré coordinates (Bardeen and Horowitz 1999). Let

Geodesic completeness of these geometries has not been shown in general, even though it is expected that they are geodesically complete. For the case of the near-horizon geometry of Kerr, geodesic completeness has been proven explicitly in Bardeen and Horowitz (1999) after working out the geodesic equations.

At fixed polar angle \(\theta \), the geometry can be described in terms of *3D warped anti-de Sitter geometries*; see Anninos et al. (2009) for a relevant description and Nutku (1993), Gürses (1994), Rooman and Spindel (1998), Duff et al. (1999), Ait Moussa et al. (2003), Israël et al. (2003), Israël et al. (2005), Andrade et al. (2005), Detournay et al. (2005), Bengtsson and Sandin (2006), Bañados et al. (2006), Compère and Detournay (2007), Ait Moussa et al. (2008) for earlier work on these three-dimensional geometries. Warped anti-de Sitter spacetimes are deformations of \(\mathrm {AdS}_{3}\), where the \(S^1\) fiber is twisted around the \(\mathrm {AdS}_2\) base. Because of the identification \(\phi \sim \phi +2 \pi \), the geometries at fixed \(\theta \) are quotients of the warped AdS geometries, which are characterized by the presence of a Killing vector of constant norm (namely \(\partial _\phi \)). These quotients are often called self-dual orbifolds by analogy to similar quotients in \(\mathrm {AdS}_{3}\) (Coussaert and Henneaux 1994).^{15}

*U*(1). Note that there is still a global

*time function*for each near-horizon geometry. Constant global time \(\tau \) in the global coordinates (32) are spacelike surfaces because their normal is timelike,

One can show the existence of an attractor mechanism for extremal spinning black holes, which are solutions of the action (3) (Astefanesei et al. 2006). According to Astefanesei et al. (2006), the complete near-horizon solution is generically independent of the asymptotic data and depends only on the electric charges \(\mathcal {Q}^I_{e}\), magnetic charges \(\mathcal {Q}^I_{m}\) and angular momentum \(\mathcal {J}\) carried by the black hole, but in special cases there may be some dependence of the near horizon background on this asymptotic data. In all cases, the entropy only depends on the conserved electromagnetic charges and the angular momentum of the black hole and might only jump discontinuously upon changing the asymptotic values of the scalar fields, as it does for static charged black holes (Ooguri et al. 2004; Denef and Moore 2011).

*U*(1) symmetries \(\partial _{\phi _i}\), \(i=1,2\) (with fixed points at the poles), one can prove (Kunduri et al. 2007) that the near-horizon geometry of a stationary, extremal black-hole solution of the five-dimensional action (3) is given by

#### 2.2.3 Explicit near-horizon geometries

Let us now present explicit examples of near-horizon geometries of interest. We will discuss the cases of the 4D extremal Kerr and Reissner–Nordström black holes as well as the 4D extremal Kerr–Newman and Kerr–Newman–AdS black holes. We will also present the 3D extremal BTZ black hole since it is quite universal. Other near-horizon geometries of interest can be found, e.g., in Clément and Gal’tsov (2001), Dias et al. (2008), Lü et al. (2009a).

#### 2.2.4 Extremal Kerr

#### 2.2.5 Extremal Reissner–Nordström

*Q*. We use the normalization of the gauge field such that the Lagrangian is proportional to \(R-F_{ab}F^{ab}\). The mass is \(\mathcal {M}=Q\) and the horizon radius is \(r_+=r_-=Q\). This black hole is static and, therefore, its near-horizon geometry takes the form (20). We have explicitly

#### 2.2.6 Extremal Kerr–Newman

#### 2.2.7 Extremal Kerr–Newman–AdS

*M*for \(r_+\). If one expands \(\varDelta _r\) up to quadratic order around \(r_+\), one finds

*e*given here). The result is

#### 2.2.8 Extremal BTZ

### 2.3 Thermodynamics at extremality

Black holes are characterized by thermodynamic variables which obey an analogue of the standard four laws of thermodynamics (Bardeen et al. 1973). In this section we review various definitions of thermodynamic variables at extremality, discuss their equivalence and scope and deduce the consequences of the four laws of thermodynamics at extremality. We also mention two dynamical properties of the entropy which go beyond the thermodynamic limit: the entropy as extremum of the entropy function and the form of quantum logarithmic corrections.

#### 2.3.1 Entropy

*r*as a consequence of the definition (22). Nevertheless, we can move the surface \(\varSigma \) to any finite value of

*r*without changing the integral, thanks to the scaling symmetry \(\zeta _0\) of (28). Evaluating the expression (49), we obtain

*bifurcation surface*(Wald 1993; Iyer and Wald 1994). The resulting entropy formula is unique and given by

*binormal*to the horizon, i.e., the volume element of the normal bundle to \(\varSigma \). One can define it simply as \(\epsilon _{ab} = n_a \xi _b - \xi _a n_b\), where \(\xi \) is the generator of the horizon and

*n*is an outgoing null normal to the horizon defined by \(n^2 = 0\) and \(n^a \xi _a = -1\). Since the Lagrangian is diffeomorphism invariant (possibly up to a boundary term), it can be expressed in terms of the metric, the matter fields and their covariant derivatives, and the Riemann tensor and its derivatives. This operator \(\delta ^{\text {cov}}/\delta R_{abcd}\) acts on the Lagrangian while treating the Riemann tensor as if it were an independent field. It is defined as a covariant Euler–Lagrange derivative as

#### 2.3.2 Temperature and chemical potentials

Even though the Hawking temperature is zero at extremality, quantum states just outside the horizon are not pure states when one defines the vacuum using the generator of the horizon. Let us review these arguments following Guica et al. (2009), Hartman et al. (2009), Chow et al. (2009). We assume that all thermodynamical quantities are analytic as function of the parameters defining the near-horizon geometries. We will drop the index *I* distinguishing different gauge fields since this detail is irrelevant to the present arguments.

The interpretation of these chemical potentials can be made in the context of quantum field theories in curved spacetimes; see Birrell and Davies (1982) for an introduction. The Hartle–Hawking vacuum for a Schwarzschild black hole, restricted to the region outside the horizon, is a density matrix \(\rho = e^{-\omega /T_{H}}\) at the Hawking temperature \(T_H\). For spacetimes that do not admit a global timelike Killing vector, such as the Kerr geometry, the Hartle–Hawking vacuum does not exist, but one can use the generator of the horizon to define positive frequency modes and, therefore, define the vacuum in the region where the generator is timelike (close enough to the horizon). This is known as the Frolov–Thorne vacuum (Frolov and Thorne 1989; see also Duffy and Ottewill 2008). One can take a suitable limit of the definition of the Frolov–Thorne vacuum to provide a definition of the vacuum state for any spinning or charged extremal black hole.

*m*and charges \(q_{e,m}\) in the near-horizon region are equal to the original mode number and charges \(\hat{m},\hat{q}_{e,m}\). This completes the argument that the Frolov–Thorne vacuum is non-trivially populated in the extremal limit.

Now, as noted in Amsel et al. (2009a), there is a caveat in the previous argument for the Kerr black hole and, as a trivial generalization, for all black holes that do not possess a global timelike Killing vector. For any non-extremal black hole, the horizon-generating Killing field is timelike just outside the horizon. If there is no global timelike Killing vector, this vector field should become null on some surface at some distance away from the horizon. This surface is called the velocity of light surface. For positive-energy matter, this timelike Killing field defines a positive conserved quantity for excitations in the near-horizon region, ruling out instabilities. However, when approaching extremality, it might turn out that the velocity of light surface approaches asymptotically the horizon. In that case, the horizon-generating Killing field of the extreme black hole may not be everywhere timelike. This causes serious difficulties in defining quantum fields directly in the near-horizon geometry (Kay and Wald 1991; Ottewill and Winstanley 2000a, b). However, (at least classically) dynamical instabilities might appear only if there are actual bulk degrees of freedom in the near-horizon geometries. We will argue that this is not the case in Sect. 2.5. As a conclusion, extremal Frolov–Thorne temperatures can be formally and uniquely defined as the extremal limit of non-extremal temperatures and chemical potentials. However, the physical interpretation of these quantities is better understood finitely away from extremality.

The condition for having a global timelike Killing vector was spelled out in (33). This condition is violated for the extremal Kerr black hole or for any extremal Kerr–Newman black hole with \(a \ge Q/\sqrt{3}\), as can be shown by using the explicit values defined in (2.2.3) (the extremal Kerr–Newman near-horizon geometry does possess a global timelike Killing vector when \(a < Q/\sqrt{3}\) and the Kerr–Newman–AdS black holes do as well when \(4a^2/(\varDelta _0 r_+^2)<1\), which is true for large black holes with \(r_+ \gg l\). Nevertheless, there might be other instabilities due to the electric superradiant effect).

#### 2.3.3 The three laws of near-horizon geometries

**Balance equation:**The entropy at extremality obeys the balance equation$$\begin{aligned} \delta \mathcal {S}_{\mathrm {ext}} = \frac{1}{T_{\phi }}\delta \mathcal {J}+ \frac{1}{T_e}\delta \mathcal {Q}_e+ \frac{1}{T_m}\delta \mathcal {Q}_m. \end{aligned}$$(74)**Zero law:**The angular chemical potential \(T_\phi \) and electromagnetic potential \(T_e\) are given bywhere \(k,\, e\) are constants over the near-horizon geometry.$$\begin{aligned} T_\phi = \frac{1}{2 \pi k},\qquad T_e = \frac{1}{2\pi e}, \end{aligned}$$(75)**Entropy function law:**The entropy at extremality is the extremum of the entropy functionamong near-horizon geometries of the form (24) where \(\mathcal {L}\) is the Lagrangian and \(\varSigma \) is a sphere at fixed time and radius.$$\begin{aligned} \mathcal {E} \equiv \frac{\mathcal {J}}{T_\phi }+\frac{\mathcal {Q}_e}{T_e}+\frac{\mathcal {Q}_m}{T_m} - 2\pi \int _\varSigma d\theta \, d\phi \sqrt{-g}\mathcal {L}, \end{aligned}$$(76)

The zero law is a consequence of both the zero law of thermodynamics for non-extremal black holes and the presence of \(SL(2,\mathbb {R})\) invariance in the extremal limit, which ensures that *k* and *e* are constant. Since no dynamical processes outside equilibrium are allowed in the near-horizon geometries as we will discuss in Sect. 2.5, there is no analogue of the second law of thermodynamics \(\delta \mathcal {S} \ge 0\) at extremality.

The entropy function law is a statement about the dynamics of gravity among the class of near-horizon geometries and it has no obvious analogue away from extremality since it depends upon the existence of the near-horizon limit. It provides with the ground state entropy at extremality as a function of the other dynamical quantities in the system. The generalization to lower and higher dimensions is straightforward.

#### 2.3.4 Temperatures and entropies of specific extremal black holes

### 2.4 Near-extremal near-horizon geometries

An important question about near-horizon geometries is the following: how much dynamics of gravity coupled to matter fields is left in a near-horizon limit such as (22)? We already discussed in Sect. 2.2.2 the absence of non-perturbative solutions in near-horizon geometries, such as black holes. In this section, we will discuss the existence of near-extremal solutions obtained from a combined near-horizon limit and zero temperature limit. We will show that these solutions are related to extremal near-horizon geometries via a non-trivial diffeomorphism and we will point out that their temperature has to be fixed in order to be able to define the energy (which is then fixed as well). There is therefore no black hole of arbitrary energy in near-horizon geometries. In Sect. 2.5, we will argue for the absence of local bulk degrees of freedom. We will discuss later in Sect. 4.3 the remaining non-trivial boundary dynamics generated by large diffeomorphisms.

^{16}Using the first law of thermodynamics valid for arbitrary (not necessarily stationary) perturbations, the left-hand side of (82) can be expressed as

*M*in Boyer–Lindquist coordinates, we perform the near-horizon scaling limit (22) together with the scaling of the temperature

*T*and the Poincaré coordinates by a subscript

*P*, and defining

^{17}Since \(T^{\mathrm {near-ext}}\) is independent from the near-horizon quantities at extremality, the energy is not an exact quantity as long as \(T^{\mathrm {near-ext}}\) is allowed to be varied, which we emphasize by using the notation \(\slash \delta \). In other words, for general variations, the charge \(\slash \delta \mathcal {Q}_{\partial _t}\) is a heat term, which does not define a conserved energy. Requiring the energy to be defined, we need to fix \(T^{\mathrm {near-ext}}\) and the energy is then given by \(T^{\mathrm {near-ext}} \mathcal {S}_{ext}\) which is fixed. This implies that different temperatures or equivalently different energies define distinct boundary conditions in the near-horizon region.

### 2.5 Absence of bulk dynamics in near-horizon geometries

In this section, we will review arguments pointing to the absence of local degrees of freedom in the near-horizon geometries (24) or (85), following the arguments of Amsel et al. (2009a) and Dias et al. (2009) for Einstein gravity in the NHEK geometry. The only non-trivial dynamics will be argued to occur at the boundary of the near-horizon geometries due to non-trivial diffeomorphisms. The analysis of these diffeomorphisms will be deferred until Sect. 4.1. This lack of dynamics is familiar from the \(\mathrm {AdS}_2 \times S^2\) geometry (Maldacena et al. 1999), which, as we have seen in Sects. 2.2.1–2.2.2, is the static limit of the spinning near-horizon geometries.^{18}

Propagating degrees of freedom have finite energy. If near-horizon geometries contain propagating modes, one expects that a highly-symmetric solution would exist which has a non-trivial spectrum of energy. Such solution would then approximate the late-time thermalized state after dissipation has occurred. However, in the case of 4D Einstein gravity, one can prove that the NHEK (near-horizon extremal Kerr geometry) is the unique (up to diffeomorphisms) regular stationary and axisymmetric solution asymptotic to the NHEK geometry with a smooth horizon (Amsel et al. 2009a). This can be understood as a Birkoff theorem for the NHEK geometry. This can be paraphrased by the statement that there are no black holes “inside” of the NHEK geometry. The near-extremal near-horizon geometries are not candidates for thermalized states since they do not have a non-trivial spectrum of energy, as we showed in Sect. 2.4.

One can also prove that there is a near-horizon geometry in the class (24), which is the unique (up to diffeomorphisms) near-horizon stationary and axisymmetric solution of 4D AdS–Einstein–Maxwell theory (Kunduri and Lucietti 2009a, b; Kunduri 2011). The assumption of axisymmetry can be further relaxed since stationarity implies axisymmetry (Hollands and Ishibashi 2009). Additional results can be obtained for various theories of the class (3) in lower and higher dimensions, see Kunduri and Lucietti (2013).

It is then natural to conjecture that any stationary solution of the more general action (3), which asymptotes to a near-horizon geometry of the form (24) is diffeomorphic to it. This conjecture remains to be proven but if correct, it would imply, together with the result in Sect. 2.4, that there is no non-trivial candidate stationary near-horizon solution with arbitrary finite energy in any theory of the form (3). One can then argue that there will be no solution asymptotic to (24)—even non-stationary—with a non-zero energy above the background near-horizon geometry, except solutions related via a diffeomorphism.

In order to test directly whether or not there exist any local bulk dynamics in the class of geometries, which asymptote to the near-horizon geometries (24), one can perform a linear analysis and study which modes survive at the non-linear level after backreaction is taken into account. This analysis has been performed with care for the massless spin 0 and spin 2 field around the NHEK geometry in Amsel et al. (2009a) and Dias et al. (2009) under the assumption that all non-linear solutions have vanishing \(SL(2,\mathbb {R}) \times U(1)\) charges (which is justified by the existence of a Birkoff theorem as mentioned earlier). The conclusion is that there is no linear mode that is the linearization of a non-linear solution. In other words, there is no local massless spin 0 or spin 2 bulk degree of freedom around the NHEK solution. The result could very likely be extended to massive scalars, gauge fields and gravitons propagating on the general class of near-horizon solutions (24) of the action (3), but such an analysis has not been done at that level of generality.

## 3 Two-dimensional conformal field theories

Since we aim at drawing parallels between black holes and two-dimensional CFTs (2D CFTs), it is useful to describe some of their key properties. An important caveat is that, as discussed in the Introduction (1), there is no standard 2D CFT dual to the Kerr black hole, nor a chiral part of a standard 2D CFT dual to the extremal Kerr black hole. The language of 2D CFTs is however relevant to describe the properties of gravity and its probes (Bredberg et al. 2010; Hartman et al. 2010; Porfyriadis and Strominger 2014).

A 2D CFT can be uniquely characterized by a list of (primary) operators \(\mathcal {O}\), the conformal dimensions of these operators (their eigenvalues under \(\mathcal {L}_0\) and \(\bar{\mathcal {L}}_0\)) and the *operator product expansions* between all operators. Since we will only be concerned with universal properties of CFTs here, such detailed data of individual CFTs will not be important for our considerations.

We will describe in the next short sections some properties of CFTs that are most relevant to the Kerr/CFT correspondence and its extensions: the Cardy formula and its range of validity, some properties of the discrete light-cone quantization (DLCQ), another closely related class of conformally invariant theories namely the warped conformal field theories, and some classes of irrelevant deformations. The material in this section is far too preliminary to formulate concrete proposals for dual theories to black holes but it contains some ingredients which are expected to play a role in such a holographic correspondence.

### 3.1 Cardy’s formula and its extended range

The origin of Cardy’s formula lies in an IR/UV connection implied by modular invariance. The spectrum of states at high energies is dictated by the spectrum of states at small energies. As we will discuss in Sect. 4.3, the matching between the entropy of extremal black holes and Cardy’s formula will not be performed in its range of validity. It is therefore crucial to investigate whether or not its range of validity can be extended for classes of CFTs that might be relevant for holography. Two such extensions have been derived which we review herebelow.

#### 3.1.1 Extended validity for large central charge and sparse light spectrum

*c*limit. The energy of the vacuum is \(E_L+E_R = -\frac{c}{12}\) on the cylinder and zero in the plane. We assume a sparse light spectrum in the sense that the density of states is bounded as

*N*identical copies of the target space \(\mathcal {M}\), identified up to permutations,

*N*objects. The symmetric orbifold CFT has central charge \(c_{Sym} = N c\) if the original CFT has central charge

*c*. The symmetric product orbifold with target space \(\mathcal {M} = K3\) or \(T^4\) is holographically dual to IIB string theory on \(\mathrm {AdS}_3 \times S^3 \times \mathcal {M}\) (Maldacena 1998b; de Boer 1999; Dijkgraaf 1999; see also Pakman et al. 2009 and references therein). This particular CFT was instrumental in the first microscopic counting of black holes in string theory Strominger and Vafa (1996).

It was shown in Hartman et al. (2014) that symmetric orbifold theories at the orbifold point (where the theory is free and its spectrum known) not only obey the bounds (101)–(104) but also saturate them. This shows that the bounds are optimal and that these theories are the most dense theories that are still compatible with Cardy’s growth of states.

#### 3.1.2 Extended validity for long strings

*N*is very large, Cardy’s formula (99) would then always apply.

The “long string CFT” can be made more explicit in the context of symmetric product orbifold CFTs. The Virasoro generators of the resulting infrared CFT can then be formally constructed from the generators \(\mathcal {L}_m\) of the original infrared CFT as (107). Conversely, if one starts with a symmetric product orbifold, one can isolate the “long string” sector, which contains the “long” twisted operators. One can argue that such a sector can be effectively described in the infrared by a CFT, which has a Virasoro algebra expressed as (108) in terms of the Virasoro algebra of the low energy CFT of the symmetric product orbifold (Maldacena and Susskind 1996). The derivation of Sect. 3.1.1 makes a more precise statement on the range of validity of Cardy’s formula for orbifold CFTs.

### 3.2 DLCQ as a chiral limit

The role of the DLCQ of CFTs in the context of the Kerr/CFT correspondence was emphasized in Balasubramanian et al. (2010) (for closely related work see Strominger 1999; Azeyanagi et al. 2009c). Here, we will review how a DLCQ is performed and how it leads to a chiral half of a CFT. A chiral half of a CFT is here defined as a sector of a 2D CFT defined on the cylinder, where the right-movers are set to the Ramond–Ramond ground state after the limiting DLCQ procedure. We will use these considerations in Sect. 4.3.

*R*,

*u*and

*v*directions are \(L_0\) and \(\bar{L}_0\), respectively. They have a spectrum

In summary, the DLCQ of a 2D CFT leads to a chiral half of the CFT with central charge *c*. The limiting procedure removes most of the dynamics of the original CFT. Conversely, given a spectrum such as (118) one possible completion of the theory which is modular invariant is a 2D CFT.

### 3.3 Warped conformal field theories as chiral irrelevant deformations

*U*(1) Kač–Moody algebra (Hofman and Strominger 2011). Only a few such quantum theories are known at present (Hofman and Rollier 2015; Castro et al. 2015). One might think of such theories as arising from specific irrelevant deformations of a 2D CFT which preserve chiral conformal invariance. Such deformations can be described perturbatively as a deformation of the action by an irrelevant operator of conformal weights \((1,\bar{h})\) with \(\bar{h} \ge 2\),

As a field theory with universal properties, it is of interest in order to formulate possible holographic correspondences. Nevertheless, the role of warped conformal field theories in the description of extremal (not to say non-extremal) black holes is far from clear. A DLCQ is necessary in order to match the extremal limit on the gravitational side. The occurence of complex weights in near-horizon geometries without global timelike Killing vector such as NHEK also indicates that the putative dual theory will not be standard. The common properties of warped conformal field theories and near-horizon extremal geometries are the exact \(SL(2,\mathbb {R}) \times U(1)\) symmetries and the occurrence of a Virasoro algebra. A precise relationship was attempted for several classes of extremal black holes in supergravity whose near-horizon geometry contains a warped deformation of \(\mathrm {AdS}_3\) both perturbatively (Compère et al. 2011; El-Showk and Guica 2012; see also Maldacena et al. 2008) and non-perturbatively (Song and Strominger 2012a; Bena et al. 2013). However, such efforts did not lead to precise correspondences for realistic extremal black holes. Another issue is that warped \(\mathrm {AdS}_3\) geometries (as well as \(\mathrm {AdS}_3\) geometries themselves) admit boundary conditions which are described by either the conformal algebra (Guica 2013, 2012; Compère et al. 2013) or the warped conformal algebra (Compère and Detournay 2007, 2009b, a; Blagojević and Cvetković 2009; Anninos et al. 2010; Henneaux et al. 2011; Castro and Song 2014; Compère et al. 2014) and it is not clear which one is realized in a consistent quantum gravity, see Compère et al. (2011), El-Showk and Guica (2012), Song and Strominger (2012b), Song and Strominger (2012a), Bena et al. (2013) for proposals.^{19}

### 3.4 Irrelevant deformations on both sectors

The description of non-extremal black holes with an asymptotically flat or AdS region requires to consider 2D CFTs with irrelevant deformations in both left and right sectors. One issue with such a description is that the IR cutoff set by the temperature will in general be of the same order of magnitude as the UV cutoff set by the mass scale associated with irrelevant perturbations (Baggio et al. 2013). Therefore the CFT description will have no range of validity. Exceptions are special black holes in string theory where the \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondence precisely applies in the extremal limit. The CFT then controls part of the physics away from extremality. Given such considerations, it might then come as a surprise that there are some CFT features of black holes away from extremality (an effective string description (Cvetič and Larsen 1997b), a Cardy-type formula and the \(SL(2,\mathbb {R}) \times SL(2,\mathbb {R})\) invariance of some probes (Castro et al. 2010)) as we will describe in Sect. 6.

## 4 Matching the entropy of extremal black holes

We discussed that near-horizon geometries of compact extremal black holes are isolated systems with universal properties and we reviewed that they have no local bulk dynamics. Given the non-trivial thermodynamic properties of these systems even at extremality, one can suspect that some dynamics is left over. It turns out that there is one remaining dynamical sector: non-trivial diffeomorphisms which are associated with non-vanishing conserved surface charges. We will discuss that four-dimensional spinning extremal black holes belong to a phase space which represent one copy of the Virasoro algebra with a specific central charge. The chiral Cardy formula reproduces the black hole entropy which points to the relevance of a CFT description. We will discuss the generalization to charged extremal black holes and to higher dimensions.

### 4.1 Boundary conditions and asymptotic symmetry algebra

The theory of non-trivial diffeomorphisms in gravity goes back to the work of ADM on the definition of asymptotically conserved quantities in asymptotically flat spacetimes (Arnowitt et al. 1961). The framework to define asymptotic conserved charges and their algebra was then generalized in several respects in Hamiltonian (Regge and Teitelboim 1974; Brown and Henneaux 1986b; Troessaert 2015) and Lagrangian formalisms Lee and Wald (1990), Iyer and Wald (1994), Barnich and Brandt (2002), Barnich and Compère (2008), Compère (2007). In gravity, most diffeomorphisms are pure gauge because they are associated with trivial canonical surface charges. Some diffeomorphisms are however too large at the boundary: they are associated with infinite charges and should be discarded. In the intermediate case, some diffeomorphisms are associated with finite surface charges. The quotient of allowed diffeomorphism by trivial diffeomorphisms constitutes a Lie algebra known as the *asymptotic symmetry algebra* or by extension to the group, the *asymptotic symmetry group*. A given set of boundary conditions comes equipped with an asymptotic symmetry group which preserves the boundary conditions. Boundary conditions are restricted by the condition that all surface charges are finite and integrable. There is no universal method or uniqueness in the construction of boundary conditions but once boundary conditions are proposed, their consistency can be checked.

*U*(1) gauge transformations \((\zeta ^\mu ,\varLambda )\), which act on the fields as

*U*(1) gauge transformations. Therefore, the asymptotic symmetries form an algebra,

*well-defined*charge and the charges are said to be

*integrable*.

Imposing consistent boundary conditions and obtaining the associated asymptotic symmetry algebra requires a careful analysis of the asymptotic dynamics of the theory. If the boundary conditions are too strong, all interesting excitations are ruled out and the asymptotic symmetry algebra is trivial. If they are too weak, the boundary conditions are inconsistent because transformations preserving the boundary conditions are associated to infinite or ill-defined charges. In general, there is a narrow window of consistent and interesting boundary conditions. There is not necessarily a unique set of consistent boundary conditions.

As an illustration, asymptotically anti-de Sitter spacetimes in spacetime dimensions \(d+1\) admit the *SO*(2, *d*) asymptotic symmetry algebra for \(d \ge 3\) (Abbott and Deser 1982; Ashtekar and Magnon 1984; Henneaux and Teitelboim 1985; Henneaux 1986) and two copies of the Virasoro algebra for \(d=2\) (Brown and Henneaux 1986a). However, other boundary conditions are also possible Compère and Marolf (2008), Compère et al. (2013), Troessaert (2013), Avery et al. (2014), Donnay et al. (2016), Afshar et al. (2016), Pérez et al. (2016). Asymptotically-flat spacetimes admit as asymptotic symmetry algebra the Poincaré algebra at spatial infinity (Arnowitt et al. 1961; Geroch 1972; Regge and Teitelboim 1974; Ashtekar and Hansen 1978; Ashtekar et al. 1991; Ashtekar and Romano 1992; Compère et al. 2011; Compère and Dehouck 2011) and the BMS algebra at null infinity with or without Virasoro generators (Bondi et al. 1962; Sachs 1962; Penrose 1963; Ashtekar and Hansen 1978; Ashtekar et al. 1991; Barnich and Troessaert 2010b, 2011; Strominger 2014). From these examples, we learn that the asymptotic symmetry algebra can be larger than the exact symmetry algebra of the background spacetime and it might in some cases contain an infinite number of generators. We also notice that several choices of boundary conditions, motivated from different physical considerations, might lead to different asymptotic symmetry algebras.

^{20}

*S*is a codimension 2 surface of integration and \(\varvec{k}_\zeta [\delta g ; g]\) is the surface charge form which reads for Einstein gravity as

*t*,

*r*surfaces admit singularities which complicates the definition of surface charges, as also discussed in Amsel et al. (2009b). Instead, the ansatz

*e*/

*k*, which was omitted in Hartman et al. (2009))

In three dimensions, a Virasoro algebra can also be found in the near-horizon limit of the BTZ black hole (Balasubramanian et al. 2010). There it was shown that the asymptotic symmetry group of the near-horizon geometry of the extremal BTZ black hole of angular momentum *J* given in (48) consists of one chiral Virasoro algebra extending the *U*(1) symmetry along \(\partial _\phi \), while the charges associated with the \(SL(2,\mathbb {R})\) symmetry group are identically zero. These observations are consistent with the analysis of four-dimensional near-horizon geometries (24), whose constant \(\theta \) sections share similar qualitative features with the three-dimensional geometries (48).

Let us also discuss what happens in higher dimensions (\(d > 4\)). The presence of several independent planes of rotation allows for the construction of one Virasoro ansatz and an associated Frolov–Thorne temperature for each plane of rotation (Lü et al. 2009a; Isono et al. 2009; Azeyanagi et al. 2009b; Nakayama 2009; Chow et al. 2009). More precisely, given *n* compact commuting Killing vectors, one can consider an \(SL(n,\mathbb {Z})\) family of Virasoro ansätze by considering all modular transformations on the \(U(1)^n\) torus (Loran and Soltanpanahi 2009; Chen and Zhang 2012). However, no boundary condition is known that allows simultaneously two different Virasoro algebras in the asymptotic symmetry algebra (Azeyanagi et al. 2009b). It was confirmed in the analysis of Compère et al. (2015c) that there are mutually-incompatible boundary conditions for each choice of Virasoro ansatz. However, there is an alternative boundary condition that exists in higher dimensions with an algebra which differs from the Virasoro algebra (Compère et al. 2015b, c). These alternative boundary conditions will not be discussed here.

*U*(1) circles form a torus invariant under \(SL(2,\mathbb {Z})\) modular transformations, one can then form an ansatz for a Virasoro algebra for any circle defined by a modular transformation of the \(\phi _1\) and \(\phi _2\)-circles. More precisely, we define

The occurrence of multiple choices of boundary conditions in the presence of multiple *U*(1) symmetries raises the question of whether or not the (AdS)–Reissner–Nördstrom black hole admits interesting boundary conditions where the *U*(1) gauge symmetry (which is canonically associated to the conserved electric charge *Q*) plays the prominent role. One can also ask these questions for the general class of (AdS)–Kerr–Newman black holes.

*U*(1) gauge field can be promoted to be a Kaluza–Klein direction of a higher-dimensional spacetime, or at least when such an effective description captures the physics. Denoting the additional direction by \(\partial _\chi \) with \(\chi \sim \chi +2\pi R_\chi \), the problem amounts to constructing boundary conditions in five dimensions. As mentioned earlier, evidence points to the existence of such boundary conditions (Azeyanagi et al. 2009b; Loran and Soltanpanahi 2009). The Virasoro asymptotic-symmetry algebra is then defined using the ansatz

#### 4.1.1 Absence of \(SL(2,\mathbb {R})\) asymptotic symmetries

The boundary conditions discussed so far do not admit solutions with non-trivial charges under the \(SL(2,\mathbb {R})\) exact symmetry group of the background geometry generated by \(\zeta _{0,\pm 1}\) (28). In fact, the boundary conditions are not even invariant under the action of the generator \(\zeta _1\). One could ask whether such an enlargement of boundary conditions is possible, which would open the possibility of enlarging the asymptotic-symmetry group to include the \(SL(2,\mathbb {R})\) group and even a Virasoro extension thereof. We will now argue that such enlargement would result in trivial charges, which would not belong to the asymptotic symmetry algebra.

First, we saw in Sect. 2.4 that there is a class of near-extremal solutions (85) obeying the boundary conditions (130)–(136) with near-horizon energy \(\slash \delta \mathcal {Q}_{\partial _t} = T^{\mathrm {near-ext}}\delta \mathcal {S}_{\mathrm {ext}}\). However, the charge \(\slash \delta \mathcal {Q}_{\partial _t}\) is a heat term, which is not integrable when both \(T^{\mathrm {near-ext}}\) and \(\mathcal {S}_{\mathrm {ext}}\) can be varied. Moreover, upon scaling the coordinates as \(t \rightarrow t/\alpha \) and \(r \rightarrow \alpha r\) using the \(SL(2,\mathbb {R})\) generator (23), one obtains the same metric as (85) with \(T^{\mathrm {near-ext}} \rightarrow T^{\mathrm {near-ext}}/\alpha \). If one would allow the class of near-extremal solutions (85) and the presence of \(SL(2,\mathbb {R})\) symmetries in a consistent set of boundary conditions, one would be forced to fix the entropy \(\mathcal {S}_{\mathrm {ext}}\) to a constant, in order to define integrable charges. The resulting vanishing charges would then not belong to the asymptotic symmetry algebra. Since there is no other obvious candidate for a solution with non-zero near-horizon energy, we argued in Sect. 2.5 that there is no such solution at all. If that assumption is correct, the \(SL(2,\mathbb {R})\) algebra would always be associated with zero charges and would not belong to the asymptotic symmetry group. Hence, no additional non-vanishing Virasoro algebra could be derived in a consistent set of boundary conditions which contains the near-horizon geometries.^{21}

Second, as far as extremal geometries are concerned, there is no need for a non-trivial \(SL(2,\mathbb {R})\) or second Virasoro algebra. As we will see in Sect. 4.3, the entropy of extremal black holes will be matched using a single copy of the Virasoro algebra, using the assumption that Cardy’s formula applies. Matching the entropy of non-extremal black holes and justifying Cardy’s formula requires two Virasoro algebras, as we will discuss in Sect. 5.4. However, non-extremal black holes do not admit a near-horizon limit and, therefore, are not dynamical objects described by a consistent class of near-horizon boundary conditions. At most, one could construct the near horizon region of non-extremal black holes in perturbation theory as a large deformation of the extremal near-horizon geometry (Castro and Larsen 2009).

### 4.2 Virasoro algebra and central charge

Let us now assume in the context of the general theory (3) that a consistent set of boundary conditions exists that admits the Virasoro algebra generated by (124)–(125) as asymptotic-symmetry algebra. Current results are consistent with that assumption but, as emphasized earlier, boundary conditions have only been partially checked (Guica et al. 2009; Amsel et al. 2009b; Azeyanagi et al. 2009b) and other ansatzes or boundary conditions exist (Compère et al. 2015b, c). We will also assume the definition of the Barnich–Brandt surface charge and ignore the potential ambiguities \(Y^{\mu \nu }\) in (129), see Compère et al. (2015c) for discussions.

*up to a central term*, which commutes with each element of the algebra. Namely, one has

*c*and

*A*. The general result has the form

*A*is a trivial central extension that can be set to 1 by shifting the background value of the charge \(\mathcal {L}_0\). The non-trivial central extension

*c*is a number that is called the central charge of the Virasoro algebra. From the theorems (Barnich and Brandt 2002; Barnich and Compère 2008), the central term in (142) can be expressed as a specific and known functional of the Lagrangian \(\mathcal {L}\) (or equivalently of the Hamiltonian), the background solution \(\bar{\phi } = (\bar{g}_{\mu \nu },\bar{A}_\mu ^I,\bar{\chi }^A)\) (the near-horizon geometry in this case) and the Virasoro generator \((\zeta ,\varLambda )\) around the background

*not*depend on the choice of boundary conditions. The representation theorem leading to (143) only requires that such boundary conditions exist. The representation theorem for asymptotic Hamiltonian charges (Brown and Henneaux 1986b) was famously first applied (Brown and Henneaux 1986a) to Einstein’s gravity in three dimensions around AdS, where the two copies of the Virasoro asymptotic-symmetry algebra were shown to be centrally extended with central charge \(c= \frac{3 l }{2 G_N \hbar }\), where

*l*is the \(\mathrm {AdS}\) radius and \(G_N\) Newton’s constant.

*k*, which solve the equations of motion. The central charge (144) is then given as the \(m^3\) factor of the following expression defined in terms of the fundamental charge formula of Einstein gravity as (Barnich and Brandt 2002)

*S*is a surface at fixed time and radius

*r*. Substituting the general near-horizon solution (24) and the Virasoro ansatz (124)–(125), one obtains

*U*(1) gauge fields and scalars, the central charge associated with the Virasoro generators along the direction \(\partial _{\phi _i}\), \(i=1,2\) can be obtained as a straightforward extension of (147) (Hartman et al. 2009; Compère et al. 2009b). One has

*Q*and mass

*Q*. First, the central charge is inversely proportional to the scale \(R_\chi \) set by the Kaluza–Klein direction that geometrizes the gauge field. One can see this as follows. The central charge is bilinear in the Virasoro generator and, therefore, it gets a factor of \((R_\chi )^2\). Also, the central charge consists of the \(n^3\) term of the formula (146), it then contains terms admitting three derivatives along \(\chi \) of \(e^{-i n\chi /R}\) and, therefore, it contains a factor of \(R_\chi ^{-3}\). Also, the central charge is defined as an integration along \(\chi \) and, therefore, it should contain one factor \(R_\chi \) from the integration measure. Finally, the charge is inversely proportional to the five-dimensional Newton’s constant \(G_5 = (2\pi R_\chi ) G_4\). Multiplying this complete set of scalings, one obtains that the central charge is inversely proportional to the scale \(R_\chi \).

^{22}

*U*(1) gauge field can be uplifted to a Kaluza–Klein direction, we can also formulate the Virasoro algebra (139) and associated boundary conditions for any circle related by an \(SL(2,\mathbb {Z})\) transformation of the torus \(U(1)^2\). Applying the relation (152) we obtain the central charge

*U*(1) gauge field. Rather, one can uplift to eleven dimensions along a seven-sphere. One can then argue, as in Lü et al. (2009b), that the only contribution to the central charge comes from the gravitational action. Even though no formal proof is available, it is expected that it will be the case given the results for scalar and gauge fields in four and five dimensions (Compère et al. 2009b). Applying the charge formula (145) accounting for the gravitational contribution of the complete higher-dimensional spacetime, one obtains the central charge for the Virasoro algebra (140) as (Lü et al. 2009b)

*U*(1) circle in the seven-sphere.

The values of the central charges (148), (149), (150), (151), (152), (154), (155), (156) are the main results of this section.

### 4.3 Cardy matching of the entropy

In Sect. 4.2 we have discussed the existence of an asymptotic Virasoro algebra at the boundary \(r = \infty \) of the near-horizon geometry. We also discussed that the \(SL(2,\mathbb {R})\) symmetry is associated with zero charges. Following semi-classical quantization rules, the operators that define quantum gravity with the boundary conditions (130), (136), (135) form a representation of the Virasoro algebra and are in a ground state with respect to the representation of the \(SL(2,\mathbb {R})\) symmetry (Strominger 1998; Guica et al. 2009). A consistent theory of quantum gravity in the near-horizon region, if it can be defined at all, can therefore be (i) a chiral CFT or (ii) a chiral half of a two-dimensional CFT or (iii) a chiral half of a two-dimensional deformed CFT with a Virasoro algebra in the IR and in the dual semi-classical gravity regime. A chiral CFT is defined as a holomorphically-factorized CFT with zero central charge in one sector, while a chiral half of a 2D CFT can be obtained, e.g., after a chiral limit of a 2D CFT, see Sect. 3.2. None of (i) and (ii) seem to apply for the description of the properties of near-extremal and non-extremal black holes as discussed in the Introduction (1) and in the next sections. In the case (iii), the CFT can be deformed as long as the asymptotic growth of states is still captured by Cardy’s formula.

Before moving further on, let us step back and first review an analogous reasoning in \(\mathrm {AdS}_{3}\) (Strominger 1998). In the case of asymptotically \(\mathrm {AdS}_{3}\) spacetimes, the asymptotic symmetry algebra contains two Virasoro algebras. Also, one can define a two-dimensional flat cylinder at the boundary of \(\mathrm {AdS}_{3}\) using the Fefferman–Graham theorem (Fefferman and Robin Graham 1985). One is then led to identify quantum gravity in \(\mathrm {AdS}_{3}\) spacetimes with a two-dimensional CFT defined on the cylinder. The known examples of AdS/CFT correspondences involving \(\mathrm {AdS}_{3}\) factors can be understood as a correspondence between an ultraviolet completion of quantum gravity on \(\mathrm {AdS}_{3}\) and a specific CFT. The vacuum \(\mathrm {AdS}_{3}\) spacetime is more precisely identified with the \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) invariant vacuum of the CFT, which is separated with a mass gap of \(-c/24\) from the zero-mass black holes. Extremal black holes with \(\mathrm {AdS}_{3}\) asymptotics, the *extremal BTZ black holes* (Bañados et al. 1992), are thermal states in the dual CFT with one chiral sector excited and the other sector set to zero temperature. It was further understood in Balasubramanian et al. (2010) that taking the near-horizon limit of the extremal BTZ black hole corresponds to taking the DLCQ of the dual CFT (see Sect. 3.2 for a review of the DLCQ procedure and Balasubramanian et al. 2011; Goldstein and Soltanpanahi 2012 for further supportive studies). The resulting CFT is chiral and has a frozen \(SL(2,\mathbb {R})\) right sector.

Given the close parallels between the near-horizon geometry of the extremal BTZ black hole (48) and the near-horizon geometries of four-dimensional extremal black holes (24), it has been suggested in Balasubramanian et al. (2010) that extremal black holes are described by a chiral limit of two-dimensional CFT. This assumption nicely accounts for the fact that only one Virasoro algebra appears in the asymptotic symmetry algebra and it is consistent with the conjecture that no non-extremal excitations are allowed in the near-horizon limit as we discussed earlier. Moreover, the assumption that the chiral half of the CFT originates from a limiting DLCQ procedure is consistent with the fact that there is no natural \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) invariant geometry in the boundary conditions (130), which would be dual to the vacuum state of the CFT. Indeed, even in the three-dimensional example, the geometric dual to the vacuum state (the \(\mathrm {AdS}_{3}\) geometry) does not belong to the phase space defined in the near-horizon limit of extremal black holes. However, here there is no natural \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) invariant geometry which would be dual to the vacuum state due to the warping. This leads to considering a deformed 2D CFT which in the DLCQ limit would reproduce the growth of states.

One can easily be puzzled by the incredible matching (160) valid for virtually any extremal black hole and outside the usual Cardy regime, as discussed in Sect. 3.1. Indeed, there are no arguments for unitarity and modular invariance, since there is no clear definition of a dual deformed CFT, which we will refer to by the acronym \(\mathrm {CFT}_J\). Moreover, the regime \(T_R = 0\) lies outside the range of Cardy’s formula even for exact CFTs with a sparse light spectrum. This might suggest the existence of a form of universality. Note also that the central charge depends on the black-hole parameters, such as the angular momentum or the electric charge. This is not too surprising since, in known AdS/CFT correspondences where the black hole contains an \(\mathrm {AdS}_{3}\) factor in the near-horizon geometry, the Brown–Henneaux central charge \(c=3l/2G_3\) (Brown and Henneaux 1986a) also depends on the parameters of the black hole because the AdS length *l* is a function of the black hole charges (Maldacena 1998b).

Finally, when two *U*(1) symmetries are present, one can apply a modular transformation mixing the two *U*(1) and one obtains a different description for each choice of \(SL(2,\mathbb {Z})\) element. Indeed, we argued that the set of generators (139) obeys the Virasoro algebra with central charge (155). After performing an \(SL(2,\mathbb {Z})\) change of basis in the Boltzman factor (69), we deduce the temperatures and Cardy’s formula is similarly reproduced. We will denote the corresponding class of conjectured dual deformed CFTs by the acronym \(\mathrm {CFT}_{(p_1,p_2,p_3)}\).

Several extensions of the construction of a Virasoro algebra which allows to reproduce the extremal black hole entropy via the chiral thermal Cardy formula exist. The same reasoning applies to magnetized black holes (Astorino 2015b, a; Siahaan 2016), black holes in the large *d* limit (Guo et al. 2016), superentropic black holes (Sinamuli and Mann 2016), black rings (Sadeghian and Yavartanoo 2016) and black holes with acceleration (Astorino 2016).

## 5 Scattering from near-extremal black holes

^{23}The near-horizon region is relevant only for probes with energy \(\omega \) and angular momentum

*m*close to the superradiant bound \(\omega \sim m \varOmega ^{\mathrm {ext}}_J +q_e \varPhi ^{\mathrm {ext}}_e\),

### 5.1 Near-extremal Kerr–Newman black holes

Near-extremal Kerr–Newman black holes are characterized by their mass *M*, angular momentum \(J = M a\) and electric charge *Q* (we take \(a,Q \ge 0\) without loss of generality). They contain near-extremal Kerr and Reissner–Nordström black holes as particular instances. The metric and thermodynamic quantities can be found in many references and will not be reproduced here.

*J*and vanishing electric charge

*Q*. When angular momentum is present, we expect that the dynamics could be described by the \(\mathrm {CFT}_J\) as defined in Sect. 4.3, while when electric charge is present the dynamics could be described by the \(\mathrm {CFT}_Q\). It is interesting to remark that the condition

Near-extremal black holes are characterized by an approximative near-horizon geometry, which controls the behavior of probe fields in the window (165). Upon taking \(T_H = O(\lambda )\) and taking the limit \(\lambda \rightarrow 0 \) the near-horizon geometry decouples, as we saw in Sect. 2.4.

*m*and \(q_e\) are the quantum numbers defined in the exterior asymptotic region and

The conclusion of this section is that the geometries (85) control the behavior of probes in the near-extremal regime (164)–(165). We identified the quantity *n* as a natural coefficient defined near extremality. It will have a role to play in later Sects. 5.3 and 5.4. We will now turn our attention to how to solve the equations of motion of probes close to extremality.

### 5.2 Macroscopic greybody factors

The problem of scattering of a general spin field from a Kerr black hole was solved in a series of classic papers by Starobinskii (1973), Starobinskii and Churilov (1974), Teukolsky (1972), Teukolsky (1973), Press and Teukolsky (1973), and Teukolsky and Press (1974) in the early 1970s (see also Futterman et al. 1988; Amsel et al. 2009a; Dias et al. 2009). The scattering of a spin 0 and 1/2 field from a Kerr–Newman black hole has also been solved (Teukolsky and Press 1974), while the scattering of spins 1 and 2 from the Kerr–Newman black hole cannot be solved analytically, except in special regimes (Pani et al. 2013a, b).

*A*is the real separation constant present in both equations for \(S(\theta )\) and

*R*(

*r*). The underlying Killing–Yano tensor structure also leads to the separability of the Dirac equation for a probe fermionic field. For simplicity, we will not discuss further fermionic fields here and we refer the interested reader to the original reference (Hartman et al. 2010) (see also Becker and Schulgin 2012). The equations for spin 1 and 2 probes in Kerr can also be shown to be separable after one has conveniently reduced the dynamics to a master equation for a master scalar \(\varPsi ^s\), which governs the entire probe dynamics. As a result, one has

In summary, for all separable cases, the dynamics of probes in the Kerr–Newman geometry can be reduced to a second-order equation for the angular part of the master scalar \(S^s_{\omega ,A,m}(\theta )\) and a second-order equation for the radial part of the master scalar \(R^s_{\omega ,A,m}(r)\). Let us now discuss their solutions after imposing regularity as boundary conditions, which include ingoing boundary conditions at the horizon. We will limit our discussion to the non-negative integer spins \(s=0,1,2\) in what follows.

*l*with \(l \ge |m|\) and \(l \ge |s|\). In general, the separation constant \(A=A^s_{a\omega ,l,m}\) depends on the product \(a \omega \), on the integer

*l*, on the angular momentum of the probe

*m*and on the spin

*s*. At zero energy (\(\omega = 0\)), the equation reduces to the standard spin-weighted spherical-harmonic equation and one simply has \(A^s_{0,l,m} = l(l+1)-s^2\). For a summary of analytic and numerical results, see Berti et al. (2006).

*l*,

*m*), the scalar field can be extended at infinity into an incoming wave and an outgoing wave. The absorption probability \(\sigma _{\mathrm {abs}}\) or macroscopic greybody factor is then defined as the ratio between the absorbed flux of energy at the horizon and the incoming flux of energy from infinity,

### 5.3 Macroscopic greybody factors close to extremality

The Sturm–Liouville problem (178) cannot be solved analytically. However, in the regime of near-extremal excitations (164)–(165) an approximative solution can be obtained analytically using asymptotic matched expansions: the wave equation is solved in the near-horizon region and in the far asymptotically-flat region and then matched along their common overlap region.

Near-horizon region: \(x \ll 1\),

Far region: \(x \gg \tau _H\),

Overlap region: \(\tau _H \ll x \ll 1\).

*U*(1) electric field twisted along the fiber spanned by \(d\phi \) over the \(\mathrm {AdS}_2\) base space. It may then not be surprising that the dynamics of a probe scalar on that geometry can be expressed equivalently as a charged massive scalar on \(\mathrm {AdS}_2\) with two electric fields: one coming from the

*U*(1) twist in the four-dimensional geometry, and one coming from the original

*U*(1) gauge field. By \(SL(2,\mathbb {R})\) invariance, these two gauge fields are given by

*a*,

*b*,

*c*are related to \(\mu _{\mathrm {eff}}\), \(q_{\mathrm {eff}}\) and \(\omega _{\mathrm {eff}}\) as

^{24}

*n*(171), superradiance happens at near-extremality when \(n < 0\).

*e*, spin \(s=0,\frac{1}{2}\) field with energy \(\omega \) and angular momentum

*m*and real \(\beta >0 \) scattered against a Kerr–Newman black hole with mass

*M*and charge

*Q*has near-region absorption probability

We will now show that the formulae (197) are Fourier transforms of CFT correlation functions. We will not consider the scattering of unstable fields with \(\beta \) imaginary in this review. We refer the reader to Bredberg et al. (2010) for arguments on how the scattering absorption probability of unstable spin 0 modes around the Kerr black hole matches with a dual CFT description as well.

### 5.4 Microscopic greybody factors

In this section we model the emission amplitudes from a microscopic point of view. We will first discuss near-extremal spinning black holes and we will extend our discussion to general charged and/or spinning black holes at the end of this section. The presentation mostly summarizes Bredberg et al. (2010), Cvetič and Larsen (2009), Hartman et al. (2010). Relevant earlier work includes Maldacena and Strominger (1997), Mathur (1998), Gubser (1997).

The working assumption of the microscopic model is that the near-horizon region of any near-extremal spinning black hole can be described and therefore effectively replaced by a dual two-dimensional CFT. This is a strong assumption since as we discussed earlier one would expect departure from a standard CFT in several respects. Assuming the existence of a 2D CFT with possible deformations, the near-horizon region is removed from the spacetime and replaced by the CFT glued along the boundary. Therefore, it is the near-horizon region contribution alone that we expect to be reproduced by the CFT. The normalization \(\sigma _{\mathrm {abs}}^{\text {match}}\) defined in (183184) will then be dictated by the explicit coupling between the CFT and the asymptotically-flat region.

*U*(1) current algebra, whose zero eigenmode \(\bar{J}_0\) is constrained by the level matching condition

*U*(1) current and a Virasoro algebra in both sectors,

*U*(1) charges of the probe,

*s*of the Kerr black hole, the conformal weight (204) is an integer

^{25}

*s*field since \(|h_L-h_R| = |s|\). The value for \(\tilde{\omega }_L\) is consistent with the temperature (199) and chemical potential (200). Indeed, since the left-movers span the \(\phi \) direction of the black hole, we have \(\omega _L = m\). We then obtain

*m*through \(\beta \). This

*m*dependence cannot originate from \(\omega _L=m\) since \(\omega _L\) is introduced after the Fourier transform (209), while \(h_L,h_R\) are already defined in (208). One way to introduce this

*m*dependence is to assume that there is a right-moving current algebra and that the dual operator \(\mathcal {O}\) has the zero-mode charge \(q_R = m\), which amounts to imposing the condition (201) [it is then also natural to assume that the chemical potential is \(\mu _R \sim \varOmega _J\), but the matching does not depend on any particular value for \(\mu _R\) (Bredberg et al. 2010)]. This justifies why a right-moving current algebra was assumed in the CFT. The dependence of the conformal weights in \(q_e\) is similarly made possible thanks to the existence of the left-moving current with \(q_L = q_e\). The matching is finally complete.

In summary, near-superradiant absorption probabilities of probes in the near-horizon region of near-extremal black holes are exactly reproduced by conformal field theory two-point functions. This shows the intriguing role of an underlying CFT description (or multiple CFT descriptions in the case where several *U*(1) symmetries are present) of part of the dynamics of near-extremal black holes. We expect that a general scattering theory around any near-extremal black-hole solution of (3) will also be consistent with a CFT description, as supported by all cases studied beyond the Kerr–Newman black hole (Cvetič and Larsen 2009; Chen and Long 2010a; Shao and Zhang 2011; Chen et al. 2011, 2010d; Birkandan and Cvetič 2011).

The conformal symmetries of the Kerr–Newman geometry close to extremality can be further investigated along several routes. First, one can attempt to match higher order correlation functions with CFT expectations. This line of thought has been partially developed for three-point functions (Becker et al. 2011, 2010, 2014). One can also match other gravitational observables in the near-extremal near-horizon region with CFT observables such as the gravitation emitted by a circular orbit or a plunge orbit at the vicinity of an extremal spinning black hole (Porfyriadis and Strominger 2014; Hadar et al. 2014, 2015). Conformal invariance in the near-horizon geometry also constraints electromagnetic radiation emitted close to the horizon (Li et al. 2014; Lupsasca et al. 2014; Zhang et al. 2014; Lupsasca and Rodriguez 2015; Compère and Oliveri 2016; Gralla et al. 2016b).

### 5.5 Microscopic accounting of superradiance

We mentioned in Sect. 2.1 that extremal spinning black holes that do not admit a globally-defined timelike Killing vector spontaneously emit quanta in the range of frequencies (10). This quantum effect is related by detailed balance to the classical effect of superradiant wave emission, which occur in the same range of frequencies.

It has been argued that the bound (10) essentially follows from Fermi–Dirac statistics of the fermionic spin-carrying degrees of freedom in a dual two-dimensional CFT (Dias et al. 2008; see also Emparan and Maccarrone 2007). These arguments were made for specific black holes in string theory but one expects that they can be applied to generic extremal spinning black holes, at least qualitatively. Let us review these arguments here.

One starts with the assumption that extremal spinning black holes are modeled by a 2D CFT, where the left and right sectors are coupled only very weakly. Therefore, the total energy and entropy are approximately the sum of the left and right energies and entropies. The state corresponding to an extremal spinning black hole is modeled as a filled Fermi sea on the right sector with zero entropy and a thermal state on the left sector, which accounts for the black-hole entropy. The right-moving fermions form a condensate of aligned spins \(s=+1/2\), which accounts for the macroscopic angular momentum. It is expected from details of emission rates in several parametric regimes that fermions are only present on the right sector, while bosons are present in both sectors (Cvetič and Larsen 1998, 2009).

Superradiant spontaneous emission is then modeled as the emission of quanta resulting from interaction of a left and a right-moving mode. Using details of the model such as the fact that the Fermi energy should be proportional to the angular velocity \(\varOmega _J\), one can derive the bound (10). We refer the reader to Emparan and Maccarrone (2007) for further details. It would be interesting to better compare these arguments to the present setup, and to see how these arguments could be generalized to the description of the bound (11) for static extremal rotating black holes.

## 6 Conformal symmetry for non-extremal black holes

The analyses in Sects. 4 and 5 strongly relied on the existence of a decoupled near-horizon region in the extremal limit with enhanced symmetry. More precisely, it was found that there is an exact \(SL(2,\mathbb {R})\) symmetry, an additional asymptotic Virasoro symmetry. Moreover, the full conformal group seems to be the symmetry controlling the formula for near-horizon scattering cross-sections. Away from extremality, one cannot decouple the horizon from the surrounding geometry. Therefore, it is unclear why the previous considerations will be useful in describing any non-extremal physics.

^{26}

In most of the regimes, probe scalar fields are not constrained by conformal invariance. There is therefore no 2D CFT dual to a non-extremal Kerr–Newman black hole, at best there might be a 2D CFTs with irrelevant deformations in both left and right sectors. This idea can be made more precise by considering deformations of the black hole which preserve its thermodynamics but transform the asymptotics to a geometry with an \(\mathrm {AdS}_3\) geometry. Such deformations have been dubbed “subtracted geometries” (Cvetič and Larsen 2012b, a; Cvetič and Gibbons 2012). Subtracted geometries are supported by additional matter fields, they can be uplifted in 5 dimensions to \(\mathrm {AdS}_3 \times S^2\) and they can be formally generated using particular solution generating techniques named Harrison transformations (Virmani 2012; Cvetič et al. 2013). In the asymptotically \(\mathrm {AdS}_3\) geometry, the \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondence applies and one can obtain the operators necessary to deform the geometry to the asymptotically flat one (Baggio et al. 2013). Such operators correspond indeed to irrelevant deformations in both sectors. The main outcome of this analysis is that the IR cutoff set by the temperatures (215) will in general be of the same order of magnitude as the UV cutoff set by the mass scale associated with irrelevant perturbations which make the CFT description of the Kerr–Newman geometry doubtful (Baggio et al. 2013).

Yet, given the possible generalization of the extremal Kerr/CFT results to general classes of extremal spinning or charged black holes, it is natural to test the ideas proposed in Castro et al. (2010) to more general black holes than the Kerr geometry. First, hidden conformal symmetry can be found around the non-extremal Reissner–Nordström black hole (Chen and Sun 2010; Chen et al. 2010a) under the assumption that the gauge field can be understood as a Kaluza–Klein gauge field, as done in the extremal case (Hartman et al. 2010). One can also generalize the analysis to the Kerr–Newman black hole (Wang and Liu 2010; Chen and Long 2010b; Chen et al. 2010b). In complete parallel with the existence of an \(SL(2,\mathbb {Z})\) family of CFT descriptions, there is a class of hidden \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) symmetries of the Kerr–Newman black hole related with \(SL(2,\mathbb {Z})\) transformations (Chen and Zhang 2011).^{27} As we will discuss in Sect. 6.3.1 each member of the \(SL(2,\mathbb {Z})\) family of CFT descriptions describes only probes with a fixed ratio of probe angular momentum to probe charge. Remarkably, for all cases where a hidden local conformal invariance can be described, the non-extremal black-hole entropy matches with Cardy’s formula using the central charges \(c_R=c_L\) and using the value \(c_L\) in terms of the quantized conserved charges derived at extremality. Another natural question is whether or not this hidden conformal symmetry can be found for higher spin waves and in particular spin 2 waves around the Kerr black hole. The answer is affirmative (Lowe et al. 2014) and the same temperatures (215) are found for any massless spin *s* field around Kerr. Moreover it was found in Lowe et al. (2014) that the angular part of the wave is described by a similar hidden \(SU(2) \times SU(2)\) symmetry. Five-dimensional asymptotically-flat black holes were also discussed in Krishnan (2010) and Chen et al. (2010d).

In attempting to generalize the hidden symmetry arguments to four-dimensional black holes in AdS one encounters an apparent obstruction, as we will discuss in Sect. 6.2. It is expected that hidden symmetries are present at least close to extremality, as illustrated by five-dimensional analogues (Birkandan and Cvetič 2011). However, the structure of the wave equation is more intricate far from extremality because of the presence of complex poles (and associated additional monodromies), which might have a role to play in microscopic models (Cvetič et al. 2011).^{28}

In what follows, we first define various quantities at the inner horizon of black holes and review several of their puzzling features. We then review the equations of motion of scalar probing non-extremal black hole geometries and we study their separability properties. We then present a summary of the derivation of the hidden symmetries of the Kerr–Newman black hole and we discuss their possible CFT interpretation. We will mostly follow the approach of Castro et al. (2010) but we will generalize the discussion to the Kerr–Newman black hole and their generalization to supergravity theories, which contains several new interesting features. In particular, we will show that each member of the conjectured \(SL(2,\mathbb {Z})\) family of CFT descriptions of the Kerr–Newman black hole controls part of the dynamics of low energy, low charge and low mass probes.

### 6.1 Properties of inner horizons

*Q*and

*P*obeys

^{29}

### 6.2 Scalar wave equation

Let us discuss general features of the massless Klein–Gordon equation in non-extremal black holes geometries. We restrict our discussions to four dimensions for simplicity. An essential property of all known black holes solutions is the existence of a conformal Killing–Stäckel tensor which implies that the massless Klein–Gordon equation is separable. A rank-2 conformal Killing–Stäckel tensor is a symmetric tensor \(Q_{\mu \nu } = Q_{(\mu \nu )}\) that satisfies \(\nabla _{(\mu } Q_{\nu \rho )} = q_{(\mu } g_{\mu \nu )}\) for some \(q_\mu \). The existence of such a tensor allows to build the operator \(Q^{\mu \nu }\nabla _\mu \nabla _\nu \) which commutes with the Laplacian \(\square \equiv \nabla ^\mu \nabla _\mu \).

*r*while \(L_u,\varDelta _u,W_u\) are functions of the angular coordinate

*u*. The parameter \(\widehat{a}\) is chosen such that the identification \(\phi \sim \phi +2 \pi \) leads to the standard asymptotic behavior at large radius.

*SO*(8) gauged supergravity in Chow and Compère (2014b).

*A*is a separation constant. For asymptotically flat black hole solutions, one has

*u*can be analyzed similarly.

*A*is a separation constant.

*u*as \(u = a \cos \theta \). The Kerr–Newman black hole is obtained in the limit \(l \rightarrow \infty \). In the case of the Kerr–Newman black hole, the equations for the functions \(S(\theta )\) and

*R*(

*r*) were also written down in (177) and (178) (specialized for the spin 0 field) in Sect. 5.2.

*V*(

*r*) is given by

The radial equation has a more involved form than the corresponding flat equation (240) due to the fact that \(\varDelta _r\) is a quartic instead of a quadratic polynomial in *r*; see (41)–(231). The radial equation is a general Heun’s equation due to the presence of two conjugate complex poles in (244) in addition to the two real poles corresponding to the inner and outer horizons and the pole at infinity.

It has been suggested that all these poles have a role to play in the microscopic description of the AdS black hole (Cvetič et al. 2011). It is an open problem to unravel the structure of the hidden symmetries, if any, of the full non-extremal radial equation (244). It has been shown that in the context of five-dimensional black holes, one can find hidden conformal symmetry in the near-horizon region close to extremality (Birkandan and Cvetič 2011). It is expected that one could similarly neglect the two complex poles in the near-horizon region of near-extremal black holes, but this remains to be checked in detail.^{30} Since hidden symmetries for AdS black holes are not understood, we will not discuss AdS black holes further.

#### 6.2.1 Near-region scalar-wave equation

*r*defined by the near region can be arbitrarily large.

Using the approximations (245), the wave equation greatly simplifies. It can be solved both in the near region and in the far region \(r \gg M\) in terms of special functions. A complete solution can then be obtained by matching near and far solutions together along a surface in the matching region \(M \ll r \ll \omega ^{-1}\). As noted in Castro et al. (2010), conformal invariance results from the freedom to locally choose the radius of the matching surface within the matching region.

*V*(

*r*) defined in (243) is very small, \(V(r) = O(\epsilon ^2)\). The near region scalar-wave equation can then be written as

### 6.3 Hidden conformal symmetries

#### 6.3.1 Local \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) symmetries

*locally*the vector fields

*m*and \(q_e R_\chi \) are quantized, as derived in (268), there is always (at least) one solution to (265) with integers \(p_1\) and \(p_2\).

In conclusion, any low energy and low mass scalar probe in the near region (246) of the Kerr black hole admits a local hidden \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) symmetry. Similarly, any low energy, low mass and low charge scalar probe in the near region (246) of the Reissner–Nordström black hole admits a local hidden \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) symmetry. In the case of the Kerr–Newman black hole, we noticed that probes obeying (245) also admit an \(SL(2,\mathbb {R})\times SL(2,\mathbb {R})\) hidden symmetry, whose precise realization depends on the ratio between the angular momentum and the electric charge of the probe. For a given ratio (265), hidden symmetries can be constructed using the coordinate \(\phi ^\prime = p_1 \phi +p_2 \chi /R_\chi \). Different choices of coordinate \(\phi ^\prime \) are relevant to describe different sectors of the low energy, low mass and low charge dynamics of scalar probes in the near region of the Kerr–Newman black hole. The union of these descriptions cover the entire dynamical phase space in the near region under the approximations (245)–(246).

#### 6.3.2 Symmetry breaking to \(U(1)_L \times U(1)_R\) and Cardy entropy matching

The situation is similar to the BTZ black hole in 2+1 gravity that has a \(SL(2,\mathbb {R})_L \times SL(2,\mathbb {R})_R\) symmetry, which is spontaneously broken by the identification of the angular coordinate. This breaking of symmetry can be interpreted in that case as placing the dual CFT to the BTZ black hole in a density matrix with left and right-moving temperatures dictated by the \(SL(2,\mathbb {R})_L \times SL(2,\mathbb {R})_R\) group element generating the \(2\pi \) identification of the geometry (Maldacena and Strominger 1998).

*r*, the relation between conformal coordinates \((\omega ^+,\omega ^-)\) and Boyer–Lindquist \((\phi ,t)\) coordinates is, up to an

*r*-dependent scaling,

The quantum state describing this accelerating strip of Minkowski spacetime is obtained from the \(SL(2,\mathbb {R})_L \times SL(2,\mathbb {R})_R\) invariant Minkowski vacuum by tracing over the quantum state in the region outside the strip. The result is a thermal density matrix at temperatures \((T_L,T_R)\). Hence, under the assumption of the existence of a CFT with a vacuum state, non-extremal black holes can be described as a finite temperature \((T_L,T_R)\) mixed state in a dual CFT.

It is familiar from the three-dimensional BTZ black hole that the identifications required to obtain extremal black holes are different than the ones required to obtain non-extremal black holes (Bañados et al. 1993; Maldacena and Strominger 1998). Here as well, the vector fields (254)–(255) are not defined in the extremal limit because the change of coordinates (250) breaks down. Nevertheless, the extremal limit of the temperatures \(T_L\) and \(T_R\) match with the temperatures defined at extremality in Sect. 5.4. More precisely, the temperatures \(T_L\) and \(T_R\) defined in (262), (264) and (266) match with the temperatures defined at extremality \(T_\phi ,\, R_\chi T_e\) and \((p_1 T_\phi ^{-1}+p_2 (R_\chi T_e)^{-1})^{-1}\), respectively, where \(T_\phi \) and \(T_e\) are defined in (80). This is consistent with the interpretation that states corresponding to extremal black holes in the CFT can be defined as a limit of states corresponding to non-extremal black holes.

*U*(1) circle which defines the corresponding Virasoro algebra. For the \(\mathrm {CFT}_J\), we obtained \(c_L = 12 J\). For \(\mathrm {CFT}_Q\), we had \(c_Q = 6Q^3/R_\chi \) and for the \(\mathrm {CFT}_{(p_1,p_2,p_3)}\), we got \(c_{(p_1,p_2)} = 6(p_1(2J)+p_2 Q^3/R_\chi )\).

It turns out that in each case, the non-extremal black hole entropy matches Cardy’s formula with the temperatures \(T_L\), \(T_R\) derived earlier and the central charges (276) with \(c_L\) computed at extremality. In particular, the central charge does not depend upon the mass *M*. This is a non-trivial feature of this Cardy matching which has no explanation so far.

## 7 Summary and open problems

### 7.1 Summary

The Kerr/CFT correspondence is a set of relations between the classical physics of spinning or charged black holes and representation of conformal symmetry (which depending on the context is either \(SL(2,\mathbb {R})\) symmetry, Virasoro symmetry or the full 2D conformal group). In its strong original form, the Kerr/CFT correspondence is the statement that the microscopic degrees of freedom of black holes can be counted by an effective CFT model. Subsequent developments indicate that such putative dual theories would differ from standard CFTs in several respects (irrelevant deformations, warped deformations, complex conformal weights, \(\ldots \)) but would still be constrained by conformal invariance to ensure that Cardy’s formula applies. At present, no construction of such a dual theory has been achieved for an embedding of the extremal Kerr black hole in string theory.^{31} One could therefore be skeptical on the validity of the strong Kerr/CFT correspondence. Nevertheless, several observations remain intruiging and not explained at present such as the occurrence and relevance of various symmetries and the incomprehensible universal match of Cardy’s formula with the black hole entropy.

We have reviewed that any extremal black hole containing a compact *U*(1) axial symmetry admits in its near-horizon geometry a Virasoro algebra with a non-trivial central charge. The black-hole entropy is reproduced by a chiral half of Cardy’s formula. This result is robust for any diffeomorphism-invariant theory and holds even including scalar and gauge field couplings and higher-derivative corrections. Moreover, if a *U*(1) gauge field can be geometrized into a Kaluza–Klein vector in a higher-dimensional spacetime, a Virasoro algebra can be defined along the Kaluza–Klein compact *U*(1) direction and all the analysis goes through in a similar fashion as for the axial *U*(1) symmetry. The deep similarity between the effects of rotation and electric charge can be understood from the fact that they are on a similar footing in the higher-dimensional geometry. When two *U*(1) symmetries are present, one can mix up the compact directions using a modular transformation and the construction of Virasoro algebras can still be made.

Independently of these constructions, the scattering probabilities of probes around the near-extremal Kerr–Newman black hole can be reproduced near the superradiant bound by manipulating near-chiral thermal two-point functions of a two-dimensional CFT. The result extends straightforwardly to other asymptotically-flat or AdS black holes in various gravity theories. Finally away from extremality, hidden \(SL(2,\mathbb {R}) \times SL(2,\mathbb {R})\) symmetries are present in some scalar probes around the Kerr–Newman black hole close enough to the horizon. We showed that several such hidden symmetries are required to account for the entire probe dynamics in the near region in the regime of small mass, small energy and small charge. This analysis does not extend straightforwardly to AdS black holes.

A fair concluding remark would be that several new and intriguing properties of the Kerr–Newman black hole and their generalizations in string theory have been uncovered over the last years, but there is still a long road ahead to comprehend what these results are really telling us about the nature of quantum black holes.

### 7.2 Set of open problems

- 1.
Near-horizon geometries of black-hole solutions of (3) have been classified. Classify the four-dimensional near-horizon geometries of extremal black holes for gravity coupled to charged scalars, massive vectors,

*p*-forms and non-abelian gauge fields. Are there new features? - 2.
Non-extremal asymptotically flat black holes admit universal features such as the product of area formula and relationships among inner and outer horizon quantities. Investigate whether or not all black holes in string theory (with higher curvature corrections) admit these features. Either try to formulate a proof or find a counterexample. Extend the analysis to AdS black holes.

- 3.
A black hole in de Sitter spacetime can be extremal in the sense that its outer radius coincides with the cosmological horizon. The resulting geometry, called the rotating Narirai geometry, has many similarities with the near-horizon geometries of extremal black holes in flat spacetime or in AdS spacetime. The main difference is that the near-horizon geometry is a warped product of \(dS_2\) with \(S^2\) instead of \(\mathrm {AdS}_2\) with \(S^2\). Some arguments of the Kerr/CFT correspondence have been extended to this setting (Anninos and Hartman 2010). Extend the dictionary much further.

- 4.
Formulate a general scattering theory around near-extremal black-hole solutions of (3). Classify the geometries admitting a Killing–Yano tensor or other special algebraic tensors so that the wave equation could be separated. This would allow to check the matching with CFT two-point functions in much more generality.

- 5.
In the analysis of near-extremal superradiant scattering for any spin, the modes that are below the Breitenlohner–Freedman bound were discarded. Such modes lead to non-conserved flux at the boundary, they lead to instabilities, and their interpretation by a CFT remains unclear. Clarify the match between these modes and CFT expectations for the Kerr–Newman black hole. Also, the match of near-extremal scattering waves with a CFT required to introduce a right-moving current algebra with the matching condition (201). Clarify why.

- 6.
Understand how the extension of the Kerr/CFT correspondence to extremal AdS black holes fits within the AdS/CFT correspondence. As discussed in Lü et al. (2009b), the extremal AdS–Kerr/CFT correspondence suggests that one can identify a non-trivial Virasoro algebra acting on the low-energy states of strongly coupled large

*N*super-Yang–Mills theory in an extremal thermal ensemble. Try to make this picture more precise. - 7.
Boundary conditions alternative to the Kerr/CFT boundary conditions have been proposed for higher dimensional extremal vacuum black holes (Compère et al. 2015b). These admit a generalized Virasoro algebra as asymptotic symmetry algebra with the black hole entropy as a central charge. Find criteria to assert which boundary condition is consistent with quantum gravity and in particular is relevant to describe the microscopic entropy. First find whether these boundary conditions can be extended with matter and higher derivative corrections.

- 8.
The hidden symmetry arguments for the non-extremal Kerr–Newman black hole rely on an choice of

*U*(1) circle on the two torus spanned by the azimuthal direction and the Kaluza–Klein direction obtained by the uplift of the gauge field. This leads to a \(SL(2,\mathbb {Z})\) family of \(SL(2,\mathbb {R}) \times SL(2,\mathbb {R})\) hidden symmetries. However only one subtracted geometry has been derived for the Kerr–Newman black hole. Does it exist a \(SL(2,\mathbb {Z})\) family? - 9.
Provide with a procedure to compute the central charges \(c_L\) and \(c_R\) away from extremality, or prove that it is not possible.

- 10.
Find the largest class of field theories and states such that Cardy’s formula applies.

- 11.
Find astrophysical observables in the near-horizon region of near-extremal Kerr which are constrained by \(SL(2,\mathbb {R})\) symmetry and use the symmetry to analytically compute these observables. Find whether or not there exist signatures of Virasoro symmetry.

- 12.
Embed the extremal Kerr black hole in string theory and construct one exact holographic quantum field theory dual. Use this correspondence to precisely define the notion of a DLCQ of a warped deformation of a 2D CFT which is conjectured relevant to describe the microstates of the extremal Kerr black hole. In this model, compute the quantum corrections to the central charge \(c_L\) and check that it reproduces the quantum-corrected entropy of extremal black holes derived in Sen (2012).

A smooth covariant phase space could not be constructed using the original ansatz for the Virasoro generator (Amsel et al. 2009b) but a modification of the ansatz allows for an explicit construction (Compère et al. 2015b, c) which as a by-product also realizes the Virasoro symmetry in the entire near-horizon region. This provides an example of asymptotic symmetries which extend into the bulk, also known as symplectic symmetries (Compère et al. 2016; see also Barnich and Troessaert 2010a; Compère et al. 2015a).

Conjectured properties of such a field theory dual are detailed, e.g., in El-Showk and Guica (2012), Song and Strominger (2012b), Bena et al. (2013), Baggio et al. (2013). Also note that such a theory will not be unitary since it couples to the asymptotic region. A signature of non-unitarity are the complex conformal weights, as explained in Sect. 5.4.

Other approaches arguing for the presence of conformal symmetry around arbitrary black holes can be found in Carlip (1999), Solodukhin (1999), Kang et al. (2004). Such approaches will not be discussed here.

These considerations can also be applied to black holes in anti-de Sitter spacetimes. However, the situation is more intricate because no consistent Kaluza–Klein reduction from five dimensions can give rise to the four-dimensional Einstein–Maxwell theory with cosmological constant (Lü et al. 2009b). As a consequence, the four-dimensional Kerr–Newman–AdS black hole cannot be lifted to a solution of any five-dimensional theory. Rather, embeddings in eleven-dimensional supergravity exist, which are obtained by adding a compact seven-sphere (Chamblin et al. 1999; Cvetič et al. 1999).

Some classes of black holes admit a vanishing horizon area \(A_h\) and zero temperature *T* limit such that the ratio \(A_h/T\) is finite. Such extremal vanishing horizon (EVH) black holes admit near-horizon limits, which contain (singular) identifications of \(\mathrm {AdS}_{3}\) that can be used for string model building (Guica and Strominger 2011; Compère et al. 2011; de Boer et al. 2011; El-Showk and Guica 2012; de Boer et al. 2012). Most of the ideas developed for the Kerr/CFT correspondence can be developed similarly for EVH black holes (Sheikh-Jabbari and Yavartanoo 2011).

The most general stationary axisymmetric single-center spinning–black-hole solution of the theory (3) is not known (see however Youm 1998; Mei 2010; Chow and Compère 2014a for general ansätze). The general 4-dimensional non-extremal rotating dyonic black hole in \(\mathcal {N}=8\) supergravity has been found recently in a specific U-duality frame Chow and Compère (2014a, c). The general charged rotating black hole of 5 dimensional \(\mathcal {N}= 4\) supergravity was found in Cvetič and Youm (1996).

Note that even though there is an important redshift in the vicinity of the horizon, particles orbit faster and the boost exactly compensates for the redshift (Piran and Shaham 1977; Bañados et al. 2009, 2011; Gralla et al. 2016b). Therefore, signatures of the near-horizon region can be observable by the asymptotic observer.

“Stationarity implies axisymmetry” has been proven for any non-extremal black hole in \(d=4\) Einstein gravity coupled to any matter obeying the weak energy condition with hyperbolic equations of motion and asymptotically-flat boundary conditions (Hawking 1972; Hawking and Ellis 1973; Sudarsky and Wald 1992; Chruściel and Wald 1994; Friedrich et al. 1999). The proof has been extended to extremal black holes, to higher dimensions and to anti-de Sitter asymptotics in Hollands et al. (2007), Hollands and Ishibashi (2009), Chruściel and Lopes Costa (2008).

The original proofs were limited to non-extremal black holes, which have a bifurcation surface (Carter 1973; Hawking and Ellis 1973). The proof for extremal black holes can now be found in Hollands and Ishibashi (2009).

Nevertheless, one can describe the process of spontaneous creation of extremal black holes in an electromagnetic field as an analogue to the Schwinger process of particle creation (Dowker et al. 1994).

In some special cases, there may be some continuous dependence of the near-horizon parameters on the scalar moduli, but the entropy is constant under such continuous changes (Astefanesei et al. 2006).

In \(d=3\), the kinematics is sufficiently constrained and the existence of the fourth Killing vector \(\zeta _1\) is guaranteed by the near-horizon limit. It is natural to assume that the strong energy condition will again implies the existence of an \(\mathrm {AdS}_2\) factor. The review by Kunduri and Lucietti (2013) gives the proof for electrovacuum geometries in \(d=3\) but the generalization to the action (3) is straightforward.

In singular limits where both the temperature and horizon area of black holes can be tuned to zero, while keeping the area-over-temperature–ratio fixed, singular near-horizon geometries can be constructed. Such singular near-horizon geometries contain a local \(\mathrm {AdS}_{3}\) factor, which can be either a null self-dual orbifold or a *pinching orbifold*, as noted in Bardeen and Horowitz (1999), Balasubramanian et al. (2008), Fareghbal et al. (2008), Azeyanagi et al. (2011) (see de Boer et al. 2011 for a comprehensive study of the simplest three-dimensional model and Sheikh-Jabbari and Yavartanoo (2011) for a partial classification of four-dimensional vanishing area near-horizon solutions of (3)).

Our conventions for the infinitesimal charges associated with symmetries is as follows: the energy is \(\delta \mathcal {M} = \delta \mathcal {Q}_{\partial _t}\), the angular momentum is \(\delta \mathcal {J} = \delta \mathcal {Q}_{-\partial _\phi }\) and the electric charge is \(\delta \mathcal {Q}_e =\delta \mathcal {Q}_{-\partial _{\chi }}\). In other words, the electric charge is associated with the gauge parameter \(\varLambda =-1\). The first law then reads \(T_H\delta \mathcal {S}=\delta \mathcal {M}-\varOmega _J \delta \mathcal {J}-\varPhi _e \delta \mathcal {Q}_e\).

Since the derivation of the formula (93) was rather indirect, we checked that it is correct for the Kerr–Newman–AdS family of black holes by computing the energy variation directly using the Lagrangian charges defined in Barnich and Compère (2008), Compère (2007), Compère et al. (2009b).

In the arguments of Maldacena et al. (1999), the presence of the compact \(S^2\) is crucial. Conversely, in the case of non-compact horizons, such as the extremal planar AdS–Reissner–Nordström black hole, flux can leak out the \(\mathbb {R}^2\) boundary and the arguments do not generalize straightforwardly. There are indeed interesting quantum critical dynamics around \(\mathrm {AdS}_2 \times \mathbb {R}^2\) near-horizon geometries (Faulkner et al. 2011), but we will not touch upon this topic here since we concentrate exclusively on compact black holes.

Deformations of CFTs for near-horizon geometries with vanishing horizon are discussed in Guica and Strominger (2011), Azeyanagi et al. (2011), de Boer et al. (2011), Sheikh-Jabbari and Yavartanoo (2011), de Boer et al. (2012).

The sign choice in this expansion is motivated by the fact that the central charge to be derived in Sect. 4.2 will be positive with this choice. Also, the zero mode \(\epsilon = -1\) is canonically associated with the angular momentum in our conventions.

For arguments in favor of \(SL(2,\mathbb {R})\) enhancement, see Matsuo et al. (2010a), Matsuo et al. (2010b), Rasmussen (2010), Matsuo and Nishioka (2010).

Extensions to the Kerr–Newman–AdS black hole or other specific black holes in four and higher dimensions in gauged or ungauged supergravity can be found in Bredberg et al. (2010), Cvetič and Larsen (2009), Chen and Long (2010a), Shao and Zhang (2011), Birkandan and Cvetič (2011) (see also Chen et al. 2011, 2010d; Durkee and Reall 2011; Murata 2011). No general scattering theory around near-extremal black-hole solutions of (3) has been proposed so far.

There is a \(\mathbb {Z}_2\) ambiguity in the definition of parameters since Eq. (190) is invariant upon replacing (*a*, *b*, *c*) by \((i s +2b -a,b,c+(2b-is)(is+2b-2a))\). We simply chose one of the two identifications.

The two-point function (208) has a branch cut, and as a result, one must find a way to fix the choice of relative sign between the two exponentials in (210). The sign is fixed by matching the gravitational computation to be \(-(-1)^{2s}\), where *s* is the spin of the corresponding field.

Note that at extremality \(J=M^2\), so the central charge at extremality (148) could as well be written as \(c_L = 12M^2\). However, away from extremality, matching the black hole entropy requires that the central charge be expressed in terms of the quantized charge \(c_L = 12 J\).

Therefore, one can expect that there will be also a \(SL(2,\mathbb {Z})\) family of subtracted geometries for the Kerr–Newman black hole, which has not been constructed so far.

One single copy of hidden \(SL(2,\mathbb {R})\) symmetry can also be found around the Schwarzschild black hole (Bertini et al. 2012; see also Lowe and Skanata 2012) but no analogue of the temperatures (215) could be defined. Since there is no extremal limit of the Schwarzschild geometry, this approach cannot be supported to an asymptotic symmetry group derivation.

In this section we follow the conventions of Cvetič et al. (2011) for the normalizations of the charges.

Alternatively, it was suggested in Chen and Long (2010a) and Chen et al. (2011) that one can describe the dynamics of the scalar field in the near-horizon region using the truncated expansion of \(\varDelta _r(r)\) around \(r_+\) at second order. However, the resulting function \(\varDelta _r^{\text {trunc}}\) has, in addition to the pole \(r_+\), a fake pole \(r_*\), which is not associated with any geometric or thermodynamic feature of the solution. Therefore, the physical meaning of this truncation is unclear.

There are, however, other extremal black holes in string theory which admit in addition to their near-horizon limit an intermediate decoupling limit with a warped \(\mathrm {AdS}_3\) spacetime with finite energy excitations (El-Showk and Guica 2012; Detournay and Guica 2013). In those cases, one can construct of a dynamical phase space admitting two copies of the Virasoro algebra as asymptotic symmetry algebra, as long as no travelling waves are present, which point to the existence of a dual 2D CFT (Compère et al. 2014). These toy models are encouraging but rely on the existence of an intermediate decoupling limit and on the absence of travelling wave instabilities, both hypotheses which are untrue in extremal Kerr.

## Acknowledgements

This review originates from lectures given at Iberian Strings 2012 in Bilbao. I am very grateful to the organizers I. Bandos, I. Egusquiza, J. L. Mañes, M. A. Valle and C. Meliveo for the invitation to lecture in this outstanding and agreeable conference. I gratefully thank V. Balasubramanian, J. de Boer, B. Chen, C.-M. Chen, B. Chowdury, A. Castro, S. Detournay, J. Jottar, F. Larsen, S. Markoff, K. Murata, M. Rangamani, H. Reall, S. Sheikh-Jabbari, K. Skenderis, A. Strominger, A. Virmani and especially M. Guica and T. Hartman for interesting exchanges during the writing of this review. I also thank the organizers D. Berman, J. Conlon, N. Lambert, S. Mukhi and F. Quevedo of the program “Mathematics and Applications of Branes in String and M-theory” at the Isaac Newton Institute, Cambridge for support and hospitality during the final stages of the first version of this work. I finally thank K. Hajian, S. S. Jabbari. J. Lucietti and A. Seraj for precisions and anonymous referees for suggestions during the update to version 2. This work has been financially supported by the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) via an NWO Vici Grant. It is also currently supported by the FNRS, Belgium and the ERC Starting Grant 335146 “HoloBHC”.