J H E P 0 9 ( 2 0 1 6 ) 0 0 3 Published for SISSA by Springer Received: February 19, 2016 Revised: July 7, 2016 Accepted: August 28, 2016 Published: September 1, 2016 Dyonic AdS4 black hole entropy and attractors via entropy function Prieslei Goulart Instituto de F́ısica Teórica, UNESP-Universidade Estadual Paulista, R. Dr. Bento T. Ferraz 271, Bl. II, Sao Paulo 01140-070, SP, Brazil Max-Planck-Institut für Physik (Werner Heisenberg Institut), Föhringer Ring 6, D-80805 Munich, Germany E-mail: prieslei@ift.unesp.br Abstract: Using the Sen’s entropy function formalism, we compute the entropy for the extremal dyonic black hole solutions of theories in the presence of dilaton field coupled to the field strength and a dilaton potential. We solve the attractor equations analytically and determine the near horizon metric, the value of the scalar fields and the electric field on the horizon, and consequently the entropy of these black holes. The attractor mechanism plays a very important role for these systems, and after studying the simplest systems involving dilaton fields, we propose a general solution for the value of the scalar field on the horizon, which allows us to solve the attractor equations for gauged supergravity theories in AdS4 spaces. In particular, we derive an expression for the dyonic black hole entropy for the N = 8 gauged supergravity in 4 dimensions which does not contain explicitly the gauge parameter of the potential. Keywords: Black Holes, Black Holes in String Theory ArXiv ePrint: 1512.05399 Open Access, c© The Authors. Article funded by SCOAP3. doi:10.1007/JHEP09(2016)003 mailto:prieslei@ift.unesp.br http://arxiv.org/abs/1512.05399 http://dx.doi.org/10.1007/JHEP09(2016)003 J H E P 0 9 ( 2 0 1 6 ) 0 0 3 Contents 1 Introduction 1 2 The dilaton action 3 3 Entropy function and attractor equations 3 4 Entropy function for the dilaton action with a potential 4 5 AdS4 static dyonic black holes 7 6 Summary and conclusions 12 A U(1)4 gauged supergravity in 4 dimensions 13 1 Introduction The structure of charged black holes solutions in string theory differs a lot from the usual Reissner-Nordstrom solution. Such a difference is due to a nontrivial coupling between the dilaton field and the Maxwell field Fµν required to describe a low-energy effective Lagrangian in string theory. The Reissner-Nordstrom solution describes black holes con- taining both electric and magnetic charges at the same time (dyonic black hole), or just one of them separately. For low-energy Lagrangians coming from string theory the nontrivial coupling between the dilaton and the Maxwell field makes difficult to obtain analytical so- lutions for the resulting Einstein’s equations when the black hole is dyonic. The situation gets even worse when the chosen compactification scheme introduces a dilaton potential with a complicated form, as is the case of gauged supergravities in AdS spacetimes. The first achievements in obtaining such solutions in a closed form in the presence of the dilaton field was due to Gibbons and Maeda in [1], and later, the same solution was independently found by Garfinkle, Horowitz and Strominger in [2]. In both cases, the solution corresponds to a magnetically charged black hole that is related to the electrically charged black hole via a duality transformation. Later, the solution in the presence of both electric and magnetic charges was found in [3], and they were only possible to be obtained by requiring the existence of another scalar field, the axion field, that also couples non-trivially to the Maxwell field. In the presence of both the dilaton and the axion, the equations of motion are invariant under SL(2, R) transformations, which are a generalization of the previous duality transformation. In the absence of an axion, the dyonic black hole solution for theN = 4 ungauged supergravity was found in [4]. In [1–3] the black hole has the metric and thermodynamic properties of a Schwarzschild solution, whereas the solution found in [4] has the metric and thermodynamic properties of a Reissner-Nordstrom black hole. – 1 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 The attractor mechanism for black holes states that the value of the scalar fields on the horizon is independent of their values at infinity, and it depends only on the charges of the black hole. It was first discovered in the context of supergravity [5–7], but later it was shown that supersymmetry does not play an important role in the attractor phenomenon, and even after the inclusion of higher derivatives terms in the action such mechanism still occurs (see for instance [8] and references therein), and it is believed to be a universal feature of any gravity theory containing scalars. The attractor mechanism became a so powerful tool that it allowed Sen [8] to develop a whole formalism to calculate not only the value of the scalar fields on the horizon but also the entropy of extremal black holes, for theories containing also higher derivative terms. The importance of this result resides in the classical and quantum aspects of the black holes, since entropy is related to the counting of their microstates. It is undeniable that the gauge-gravity duality [9, 10], not only reinforced the interest in black hole solutions in supergravities in AdS spacetimes, but also has given new in- sights to the study of strongly coupled systems. Applications of holographic methods to study superconductivity has recently been a subject of intense investigation. The first model for a holographic superconductor was created by Gubser in [11] and reviewed in [12] for instance. This theory is just gravity with a negative cosmological constant coupled to a Maxwell system and a charged massive scalar. Efforts were made to embed holographic superconductor models in string theory [13–16], but the situation gets more complicated due to the nonminimal coupling of the scalar fields and also the more com- plicated forms of the scalar potentials coming from supergravity. Although the scalar fields considered in this paper are not charged and not minimally coupled, we believe that understanding the near horizon properties of these complicated systems might be a crucial step towards a better description of not only the counting of microstates of the black hole but also of the holographic superconductors, as the infrared properties are important to figure out phenomenologically viable models for superconductivity. Also, from the gauge-gravity duality point of view, the moduli flow is interpreted as an RG flow [17, 18]. In the context of N = 2 gauged supergravity, black holes in AdS4 spaces have been extensively studied, and supersymmetric black hole solutions with running scalar fields were found in [19], and explored with more details in [20–22]. Extensions for the non- supersymmetric case can be found for instance in [23–26], and references therein. In this work we compute the entropy for extremal black holes with spherical symmetry using the entropy function formalism, by assuming that the near horizon geometry of these theories is AdS2 × SD−2. The paper is organized as follows. In section 2 we derive the equations of motion for a general dilaton theory in which the dilaton couples nontrivially to the Maxwell field and has a dilaton potential. In section 3 we review the Sen’s entropy function formalism and write the attractor equations. In section 4 we apply this formalism to compute the entropy for the extremal black hole for different potentials. We derive the near horizon metric, the value of the scalars on the horizon, the electric field and the entropy follows directly. In section 5 we apply this for AdS4 black holes, and we speculate about the generality of the ansatz for the dilaton on the horizon, which allowed us to – 2 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 determine explicitly the solution for the attractor equations and the entropy of this dyonic black hole. In section 6 we present a summary and conclusions. 2 The dilaton action The general dilaton action in the presence of a scalar potential is S = ∫ d4x √ −g (R− 2∂µφ∂ µφ−W (φ)FµνF µν − V (φ)) . (2.1) Here, we define the field strength as Fµν = ∂µAν − ∂νAµ, (2.2) and we take units in which 16πG = 1. The action is written in terms of a function of the dilaton field, W (φ), coupled to the field strength, and a dilaton potential V (φ). This is a general form of the bosonic part of some gauged supergravity theories, where W (φ) is in general an exponential function of the dilaton, and V (φ) is a generic potential whose form may vary due to the choice of the gauge for scalar fields in truncated supergravity theories. One could also have more than one scalar or gauge field, as the case of U(1)4 gauged supergravity described in the text and in the appendix, but all the formulas obtained are easily generalized for these cases. The equations of motion are: • for the metric: Rµν = 2∂µφ∂νφ− 1 2 gµνW (φ)FρσF ρσ + 2W (φ)FµρFν ρ + 1 2 gµνV (φ); (2.3) • for the dilaton: ∇µ(∂µφ)− 1 4 ∂W (φ) ∂φ FµνF µν − 1 4 ∂V ∂φ = 0; (2.4) • for the gauge field: ∇µ (W (φ)Fµν) = 0. (2.5) We also have the Bianchi identities: ∇[µFρσ] = 0. (2.6) 3 Entropy function and attractor equations The basic assumption we have to make to compute the Sen’s entropy function is that the spherically symmetric extremal black hole solution has the near horizon metric given by ds2 = v1 ( −r2dt2 + dr2 r2 ) + v2(dθ2 + sin2 θdφ2), (3.1) where the constants v1 and v2 are the AdS2 radius and the S2 radius respectively. This means that we are assuming that the near horizon geometry is AdS2 × S2. It is believed – 3 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 that an AdS2×SD−2 is a general feature of extremal black holes with spherical symmetry in D dimensions, and this was proven in 4 and 5 spacetime dimensions [27]. The scalar and vector fields are constants for this geometry and are written as [8] φs = us, F (A) rt = eA, F (A) θφ = pA 4π sin θ, (3.2) where eA and pA are related to the integrals of the magnetic and electric fluxes, which are in turn related to the electric and magnetic charges respectively. The metric (3.1) has the SO(2, 1) × SO(3) symmetry of AdS2 × S2. The function f(us, vi, eA, pA) is defined as the Lagrangian density √ − det gL evaluated for the near horizon geometry (3.1) and integrated over the angular variables, f(us, vi, eA, pA) = ∫ dθdφ √ − det gL. (3.3) We extremize this function with respect to us, vi and eA by ∂f ∂us = 0, ∂f ∂vi = 0, ∂f ∂eA = qA, (3.4) where the first two equations are the equations of motion for the scalar and the metric respectively.1 Next, one defines the entropy function, E(~u,~v,~e, ~q, ~p) ≡ 2π[eAq A − f(~u,~v,~e, ~p)]. (3.5) The equations that extremize the entropy function are ∂E ∂us = 0, ∂E ∂v1 = 0, ∂E ∂v2 = 0, ∂E ∂eA = 0 , (3.6) and are called the attractor equations. At the extremum (3.6), this new function equals the entropy of the black hole SBH = E(~u,~v,~e, ~q, ~p). (3.7) 4 Entropy function for the dilaton action with a potential In this section we compute the entropy of the extremal black holes considered in the text. The theories we consider do not make use of any explicit functional form for the coupling of the dilaton field with the field strength, i.e. W (φ). Also, with the exception of the constant potential, the potentials V (φ) we consider here are written in terms of these couplings in a specific way, which leads us to make generic assumptions about the solutions to the attractor equations for the case of U(1)4 theories considered in the next section. The quantities of interest for us are the Riemann tensor Rαβγδ = −v−1 1 (gαγgβδ − gαδgβγ), α, β, γ, δ = r, t Rmnpq = v−1 2 (gmpgnq − gmqgnp), m, n, p, q = θ, φ, (4.1) 1Notice that in the absence of axionic couplings in the action, i.e. aF F̃ , where F̃ is the dual of F , qA is simply interpreted as the electric charge. In the symplectic covariant formalism of N = 2, qA has the same meaning as qΛ defined in equation 2.5 of reference [21] for instance. For more details, see Sen’s review [28]. – 4 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 and, from it we can obtain easily the Ricci scalar R = − 2 v1 + 2 v2 . (4.2) We define the components of the field strength as Frt = e and Fθφ = P sin θ. Also, as mentioned before, v1 is the AdS2 radius, v2 is the S2 radius, and here we define the value of the scalar on the horizon as uD. Following the procedure for obtaining the entropy function we plug our ansatze for the metric and fields in the Lagrangian, and then we integrate it over the angular variables to obtain f = 4πv1v2 [ − 2 v1 + 2 v2 +W (uD) ( −e 2 v2 1 + P 2 v2 2 ) − V (uD) ] , (4.3) and the entropy function is just E = 2π[Qe− f ], which gives E = 2π [ Qe− 8π(v1 − v2)− 4πv1v2W (uD) ( e2 v2 1 − P 2 v2 2 ) + 4πv1v2V (uD) ] . (4.4) Taking the proper derivatives, we obtain the attractor equations Q− 8πv1v2W (uD) e v2 1 = 0, (4.5) −2 + v2W (uD) ( e2 v2 1 + P 2 v2 2 ) + v2V (uD) = 0, (4.6) 2− v1W (uD) ( e2 v2 1 + P 2 v2 2 ) + v1V (uD) = 0, (4.7) ∂W (uD) ∂uD ( e2 v2 1 − P 2 v2 2 ) − ∂V (uD) ∂uD = 0. (4.8) One can check that these equations are the equations of motion derived in the previous section for the near horizon geometry. Using (4.5) we can eliminate the term containing Q in (4.4), and the result is E = 2π [ −8π(v1 − v2) + 4πv1v2W (uD) ( e2 v2 1 + P 2 v2 2 ) + 4πv1v2V (uD) ] . (4.9) Multiplying (4.6) by v1 and adding to (4.7) multiplied by v2 we have a formula for the po- tential v1v2V (uD) = (v2 − v1). (4.10) This formula holds for general scalar fields φI and gauge fields AIµ, and we will also use it in the next section. We can eliminate the potential from (4.9) to obtain E = 2π [ −4π(v1 − v2) + 4πv1v2W (uD) ( e2 v2 1 + 1 v2 2 p2 (4π)2 )] . (4.11) Now, multiplying (4.6) by v1 and subtracting (4.7) multiplied by v2 we have v1v2W (uD) ( e2 v2 1 + P 2 v2 2 ) = (v1 + v2), (4.12) – 5 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 and eliminating this term from (4.11) we have the entropy written only in terms of the S2 radius, E = 16π2v2. (4.13) One can recover the correct constant by dimensional analysis, meaning 16πG ≡ 1, and show that this corresponds to the usual A/4 term of the black hole entropy. Notice that we can solve (4.5) directly, giving e v1 = Q 8πv2W (uD) . (4.14) We will analyze the solutions of the attractor equations for some specific potentials, by making some considerations about its functional dependence on the dilaton field. We list the solutions case by case. • V (φ) = 0. For this case (4.8) gives directly the value of the function W (uD) on the horizon, and the constants v1 and v2 and the entropy are W (uD) = Q 8πP , v1 = v2 = QP 8π , e = P, (4.15) E = 2πQP. (4.16) This means that the value of the electric field is equal to the value of the magnetic charge on the horizon. Again, one should notice that this result is independent of the functional form of W (uD). This should be contrasted to the GHS solution [2], in which the dilaton coupling to the field strength is W (φ) = e−2φ. The same result for the entropy was derived before by other method in [4]. • V (φ) = 2Λ. The solution for the attractor equations for this case is W (uD) = Q 8πP , e = P v1 v2 , (4.17) v1 = 1 Λ 1 2Λ ( 1± √ 1 + ΛQP 2π ) − QP 8π QP 4π − 1 2Λ ( 1± √ 1 + ΛQP 2π ) , v2 = 1 2Λ ( 1± √ 1− ΛQP 2π ) , (4.18) E = 8π2 Λ ( 1− √ 1− ΛQP 2π ) . (4.19) We left the value of the electric field in an implicit form, and took the minus sign in v2 in order to write the entropy. When we Taylor expand for small values of the cosmological constant, we recover the previous result for zero potential when Λ → 0 only with the negative sign. • V (φ) = βW (φ). For this case, (4.8) gives directly W 2(uD) = Q2 (8π)2 1 (P 2 + βv2 2) . (4.20) – 6 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 Replacing this in (4.7) we find v2 and all the rest can be found after some algebraic manipulation W (uD) = Q 8πP ( 1− βQ2 (8π)2 )1/2 e = P( 1− βQ2 (8π)2 )3/2 (4.21) v1 = QP 8π 1( 1− βQ2 (8π)2 )3/2 , v2 = QP 8π 1( 1− βQ2 (8π)2 )1/2 , (4.22) E = 2πQP( 1− βQ2 (8π)2 )1/2 . (4.23) • V (φ) = β W (φ) . This case is a bit simpler to be obtained. The solutions are W (uD) = Q 8πP 1 (1− βP 2)1/2 e = P (1− βP 2)1/2 (4.24) v1 = QP 8π 1 (1− βP 2)3/2 , v2 = QP 8π 1 (1− βP 2)1/2 , (4.25) E = 2πQP (1− βP 2)1/2 . (4.26) Notice that we can achieve the zero potential case by setting the constant β to zero. Notice also that the AdS2 and S2 radii, v1 and v2, are related in equations (4.22) and (4.25), by the exchange Q/(8π)↔ P . Of course, one can try other kinds of potentials containing different combinations of these two examples. It is good to emphasize again that none of the results depend on the functional form of the coupling W (φ), and, in order to obtain the black hole entropy, we have assumed that the scalar potential depends on this function in a specific form. These cases illustrate some possible examples that are relevant for gauged supergravities for instance, since the coupling to the field strength is a function of the dilaton field, and the potential may be written as being a function of these couplings. In the next section we show how this works through an explicit computation for the black hole entropy for a specific theory in AdS4 space. 5 AdS4 static dyonic black holes We apply these ideas to the case of AdS4 static black holes. Such system was studied in [29] by Morales and Samtleben via entropy function, when the gauge field has only electric charge. The solution found by the authors is written in an implicit form, depending on the values of a set of parameters rather than the electric charges. Also, the entropy function was used as a criteria to prove the existence of regular extremal black holes with finite horizon area for a purely electric system [30]. Here, we consider both electric and magnetic charges, meaning that we have a dyonic black hole, and also in the presence of a potential. – 7 – J H E P 0 9 ( 2 0 1 6 ) 0 0 3 The notation is explained in the appendix, as the definition of the field XI may change a lot in the literature, and also the definition of the scalar potential. The theory is the U(1)4 gauged supergravity in four dimensions, which follows from a truncation of the maximal N = 8, SO(8) supergravity down to the Cartan subgroup of SO(8). The bosonic action is given by [31] S = ∫ d4x √ −g [ R− 1 32 ( 3 4∑ I=1 (∂µλI) 2 − 2 ∑ I