Skip to main content

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