# Full text of "Entropy of extremal black holes in asymptotically anti-de Sitter spacetime"

## See other formats

Entropy of extremal black holes in asymptotically anti-de Sitter spacetime P. Mitra* Saha Institute of Nuclear Physics Block AF, Bidhannagar Calcutta 700 064, INDIA hep-th/9807094 Abstract Unlike the extremal Reissner - Nordstrom black hole in ordinary spacetime, the one in anti-de Sitter spacetime is a minimum of action and has zero entropy if quantization is carried out after extremaliza- tion. However, if extremalization is carried out after quantization, then the entropy is a quarter of the area as in the usual case. While the entropy of ordinary (non- extremal) black holes has been known to be given by a quarter of the horizon area for a long time, there has been some uncertainty in the case of extremal black holes. The usual derivations do not go through in a straightforward manner, and because of the difference in topology of euclidean extremal black holes and euclidean non-extremal black holes, one cannot fall back on extrapolation. In fact, it has been suggested that extremal black holes should have zero entropy JTJ even though the horizon area is nonzero. On the other hand, some microscopic models have indicated that ex- tremal black holes could satisfy the area law just like non-extremal black "e-mail mitra@tnp.saha.ernet.in 1 holes. One way out of this mismatch would be to say that the microscopic model is wrong, but it is also possible to argue that the arguments of |l[ are somewhat naive. Usually, when one quantizes a classical theory, one tries to preserve the classical topology. In this spirit, U seeks to have a quantum theory of extremal black holes based exclusively on extremal topologies. As an alternative, one can try out a quantization where a sum over topologies is carried out. Then, in the consideration of the functional integral, classical configurations corresponding to both topologies must be included. The ex- tremality condition can subsequently be imposed on the averages that result from the functional integration. It is convenient, following |2| and ||, to use a grand canonical ensemble. Here the temperature and the chemical potential for the charges are supposed to be specified as inputs, and the average mass M and charges Q of the black hole are outputs. So the actual definition of extremality that is involved here for a Reissner - Nordstrom black hole with one kind of charge is Q = M. This may be described as extremalization after quantization, as opposed to the usual approach of quantization after ex- tremalization It was shown in that extremalization after quantization does lead to an entropy equal to a quarter of the area. Does the approach of quantization after extremalization in the case of the Reissner - Nordstrom black hole lead to zero entropy as suggested in |l] ? Even that is not quite true ||: the reason is that the semiclassical approximation fails because the action does not have a stable minimum there. In view of recent interest in anti-de Sitter geometries, an investigation has been made to determine whether anything more interesting happens if an asymptotically anti-de Sitter version of the extremal Reissner - Nordstrom black hole is considered. It will be shown that a stable minimum does occur in this case. Consequently, there is a sensible semiclassical approximation, and as expected in U, the entropy vanishes if quantization is carried out after extremalization. However, if quantization is carried out first, the entropy is once again given by a quarter of the area. The Reissner - Nordstrom black hole solution of Einstein's equations in free space with a negative cosmological constant A = — p is given by (see e.g. i) ds 2 = -holt 2 + h- l dr 2 + r 2 dtt 2 , A = -dt, (1) 2 with The asymptotic form of this spacetime is anti-de Sitter. There is an outer horizon located at r = r+. The mass of the black hole is given by 1 r 3 O 2 M =2^ + f + p- ( 3 ) It satisfies the laws of black hole thermodynamics with a temperature and a potential In general r + , Q are independent, but in the extremal case they get related: The action for the euclidean version of the anti-de Sitter Reissner - Nord- strom black hole on a four dimensional manifold M. with a boundary is given by l — f d 4 x^(R - 2A) + / d 3 zV7(# - K ) Qn Jm 8tt JdM 16 1 < ,j 7 = Here 7 is the induced metric on the boundary DM. and K the extrinsic curvature of the boundary. K is to be chosen to make the action finite. The on-shell action for the black hole with the boundary taken at r = r B and euclidean time integrated over from to (3 is 2/ 2 +J 2 r Z 2 r r + r r 2 + / 2 3 B A \ " r B l 2 r B r + r B r% ' I 2 ~Q 2 (r^-r- B '). (8) To keep this finite in the limit r B — > oo, it is necessary to take Ko = -j- ^- (9) With this choice, the r B — > oo limit of the action is 8 r 3 The corresponding entropy is calculated by equating (3 times the free energy with the action in the leading semiclassical approximation: S = /3(M-Q0)-/ = |(M-Q0+^) = ^(l-^ + ^) (11) £(M-Q0--±). (10) If /? is taken to be the reciprocal of @, this expression simplifies to a quarter of the area: Snon—ex = 7Tr^. (l^) In the extremal case, where there is no conical singularity in the euclidean metric, the (vanishing) expression for the temperature is not used for (3, which is allowed to be finite. Then one gets the entropy to be 71 + ~P ^ = ^(1-^ + ^ = (13) because of (||). All this is very similar to what happens in the ordinary Reissner - Nordstrom case, to which everything reduces in the limit I — > oo. Now we turn to a study of the action for off-shell configurations near the black hole solution. For simplicity, only a class of spherically symmetric metrics [|J is considered on M.: ds 2 = b 2 dr 2 + a 2 dr 2 + r 2 oin\ (14) with the variable r ranging between r + (the horizon) and r# (the boundary), and b, a functions of r only. There are boundary conditions as usual [Q, f|, 6(r+) = 0, 27r6(r B ) = /?. (15) This corresponds to the convention of fixing the range of integration of the euclidean time r to be 2n. {3 is the inverse temperature at the boundary of radius r#. There is another boundary condition involving b'(r + ): It reflects the extremal/non-extremal nature of the black hole and is therefore different for the two conditions: b'(r ) — - — {- = 1 in non — extremal case, a{r + ) and in extremal case. (16) The vector potential is taken to be zero and the scalar potential satisfies the boundary conditions A T (r + ) = 0, A T (r B ) = |£. (17) The action ([7|) with this form of the metric depends on the functions b(r),a(r) and A T (r): 1 f 2n , f s , / 2rb' b . , „\ 1 r 2n 2 Jo Jr+ V a a J 2 Jo 7T rr B / 2rb' dr I dri a dr-A'l 2 Jo Jr+ ab ab + Aabr / dr (br 2y a r=r_|_ (18) Jo is the contribution of the Kq term in the action. Variation of the functions b(r),a(r) and A T (r) with proper boundary conditions leads to reduced ver- sions of the Einstein - Maxwell equations. The solution of a subset of these equations, namely the Gauss law and the Hamiltonian constraint, is given by I a l = ji + 4 + i!y /2 , 4= -is* (i 9 ) a \ r L r r + r r z < z / r z with r + and q arbitrary at this stage. The reason why these parameters are not expressed as functions of f3, <fi is that some of the equations of motion 5 and the corresponding boundary conditions have not yet been imposed on the solution. Instead of that, the action may be expressed in terms of r + , q and then extremized with respect to r + , q as in ||. The value of the action corresponding to the solution depends on the boundary condition: -P(t b \ 1 2 Tb T + Vb + B <_B_ P +q<f) J + I - vrr + for non — extremal be, \ I r + r+ q* r B l 2 r B r + r B q + - — h — r r 2 T 72 ' B 1 r D for extremal be. (20) The first line is analogous to 0, 0, where the non-extremal boundary con- dition was used in connection with a semiclassically quantized non-extremal black hole. The second line is similar to the consequence of the extremal boundary condition used in connection with a semiclassically quantized ex- tremal black hole ||. The above "reduced action" has to be extremized with respect to q, r + in order to impose the equations of motion ignored so far. The form of Iq is not important for this as it does not involve q,r + when r# is large. The extremization with respect to q yields the relation jl JL r + 2_ I g~ I r B 1 2 tb r+rB rjj I 2 ' (21) while extremization with respect to r + yields r 3 I _ r± _ + r B 1 2 tb r+r B + 4- -S- t- ;2 , = 47rr + for non — extremal be, but for extremal be. (22) For non-extremal boundary conditions, these two relations can be used to fix q, r + in terms of the specified values of f3, 0; they also show the expected forms of (3, 4> as functions of q, r + . The nature of the extremum has been discussed 6 in M. The entropy can be calculated by standard thermodynamical methods and is found to be the expected ixr\ 0. Much the same thing can be done for the extremal boundary condition, where, however, the second equation is homogeneous and (3 disappears from the relations. This is not surprising: q, r + are not independent in this case, but are related to each other by (|J), and the temperature is undetermined as there is no conical singularity Q. The first relation can be written as + 12 -<P 2 . (23) Zr + +2r+r B +r B 1 + [2 This is reminiscent of the fact that \<p\ has to be unity in the usual extremal case. In the anti-de Sitter situation the restriction on \<f>\ is only that it has to be less than unity: r + can then be sought to be determined in terms of 4> by solving the quadratic: <P 2 r B ± y/^r 2 B - 3(1 - <P 2 ){1 2 - 4> 2 l 2 - <p 2 r 2 B ) . (24) real, symmetric and equal to , where £ = — . For 3(1 -0 2 ) There are values of <ft for which this equation has only complex solutions, and even when there are real solutions, one solution may be negative. A positive solution r + does not necessarily mean that the extremum of the action is a minimum. The matrix of second derivatives of the action with respect to q, r + is q "T" q{l-i) r+i \ the action to be a minimum at the extremum, this matrix has to be positive definite, i. e., both of its eigenvalues have to be positive. In view of the reality of the eigenvalues, this is equivalent to the requirement that both the trace and the determinant have to be positive. The trace is seen to be positive if r + < rg. We shall consider this condition to be imposed. The determinant is, up to a positive factor, ^-(1-0 2 )£(1 + ^), (25) which again can be made positive by making r B large enough, i.e., £ small enough. r + is to be held fixed if an adjustment of r B has to be made, which 7 means that the value of is such that r + turns out to be appropriately small in comparison with Tb- Large solutions for r + also exist for appropriate 0: they do not correspond to minima of the action. Note that the above expression vanishes in the limit I — > oo if the corresponding condition \<p\ = 1 is imposed, thus confirming that the extremal Reissner - Nordstrom black hole in asymptotically flat spacetime is not a minimum of the action. The entropy corresponding to the saturation of the action by this mini- mum is zero. This follows from the fact that [|l| the action continues to be proportional to (3 after the extremizing values of q, r + are plugged in. Hence, s = ^f = °- < 26 > The above statements refer to the quantized extremal black hole. As indicated above, there is a possibility of quantizing the black hole before extremizing it, i.e., the two topologies may be summed over in the functional integral 0] and the extremality condition imposed afterwards on the averaged quantities. The partition function is of the form J2 J dn(r + ) J d^q)e-^\ (27) topologies with / given by (|20|) as appropriate for non-extremal/extremal topology. The semiclassical approximation involves replacing the double integral by the maximum value of the integrand, i.e., by the exponential of the negative of the minimum I. We consider the variation of / as q, r + vary in both topologies. It is clear from (|20|) that the non-extremal action can be made lower than the extremal one because of the extra term — 7rr^_. Consequently, the partition function is to be approximated by e~ Imin , where I min is the classical action for the non- extremal case, minimized with respect to q,r + . As in the non-extremal case, this leads to an entropy equal to a quarter of the horizon area. Extremality is imposed eventually through the condition (D on q,r+. Thus the entropy depends very significantly on whether quantization is carried out first or extremalization [|[]: in the former case, the answer is a quarter of the area, and in the latter, zero. References 8 [1] S. Hawking, G. Horowitz and S. Ross, Phys. Rev. D51 (1995) 4302 [2] G. Gibbons and S. W. Hawking, Phys. Rev. D15 (1977) 2752 [3] H. W. Braden, J. D. Brown, B. F. Whiting and J. W. York, Phys. Rev. D42 (1990) 3376 [4] A. Ghosh and P. Mitra, Phys. Rev. Lett. 78 (1997) 1858 [5] A. Ghosh and P. Mitra, Phys. Rev. Lett. 77 (1996) 4848 [6] J. Louko and S. Winters-Hilt, Phys. Rev. D54 (1996) 2647 [7] C. S. Pega and J. P. S. Lemos, |gr-qc/9805004] 9