arxiv:gr-qc/ v1 5 Jun 1996

Transcription

1 OUTP-96-28P g-qc/ Eluding the No-Hai Conjectue fo Black Holes axiv:g-qc/ v1 5 Jun 1996 N. E. Mavomatos Univesity of Oxfod, Dept. of Theoetical Physics (P.P.A.R.C. Advanced Fellow), 1 Keble Road, OX1 3NP Oxfod, U.K. ABSTRACT I discuss a ecent analytic poof of bypassing the no-hai conjectue fo two inteesting (and quite geneic) cases of fou-dimensional black holes: (i) black holes in Einstein-Yang-Mills- Higgs (EYMH) systems and (ii) black holes in highe-cuvatue (Gauss-Bonnet (GB) type) sting-inspied gavity. Both systems ae known to possess black-hole solutions with nontivial scala hai outside the hoizon. The spiit of the no-hai conjectue, howeve, seems to be maintained eithe because the black holes ae unstable (EYMH), o because the hai is of seconday type (GB), i.e. it does not lead to new conseved quantum numbes. 1 Intoduction The no-hai conjectue of Black holes may be best atttibuted to Wheele [1], who, motivated by ealie uniqueness theoems on Black-hole solutions of Einstein-Maxwell theoy [2], stated that all exteios of stationay black hole solutions ae uniquely chaacteized by at most thee conseved chages : mass, angula momentum and electic chage, i.e thee ae no non-tivial exteio fields, outside the hoizon of a black-hole, othe than those associated with long ange Abelian gauge foces, obeying a Gauss law constaint. The supising discovey of the Batnik-McKinnon (BM) non-tivial paticle-like stuctue [3] in the Einstein-Yang-Mills system opened many possibilities fo the existence of non-tivial solutions to Einstein-non-Abelian-gauge systems [4]. Indeed, soon afte its discovey, many othe self-gavitating stuctues with non-abelian gauge fields have been discoveed [5]. These include black holes with non-tivial non-abelian hai, theeby leading to the possibility of evading the no-hai conjectue [1, 6]. The physical eason fo the existence of these classical solutions is the balance between the non-abelian gauge-field epulsion and the gavitational attaction. As I shall ague in this talk [7], such a balance allows fo dessing black hole solutions by non-tivial configuations (outside the hoizon) not only of non-abelian gauge fields, whose pesence should not have come as a geat supise since they obey the Gauss-law constaint in a athe simila spiit with the electomagnetic-field case, but also of (scala) fields that ae not associated with a Gauss-law. It is the pesence of the latte that leads to an appaent evasion of the no-hai conjectue 2. Invited Contibution to the 5th Hellenic School and Wokshops on High-Enegy Physics, Kekya/Cofu (Geece), 3-24 Septembe In this aticle I shall concentate on classical hai. Quantum hai is not coveed by the no-hai conjectue, and it is a totally diffeent, but equally impotant, issue of black-hole physics, which, howeve, will not be touched upon hee.

2 In this talk I will explain in some detail the easons fo such a bypassing of the no-hai conjectue [7], by concentating on two physically inteesting examples, which captue the essential geneic featues of the poblem. The fist example is that of a spontaneously boken Yang-Mills theoy in a non-tivial black-hole space-time (EYMH) [8]. This system has been ecently examined fom a stability point of view, and found to possess instabilities [9, 7], theeby making the physical impotance of the solution athe maginal, but also indicating anothe dimension of the no-hai conjectue, not consideed in the oiginal analysis, that of stability. The fact that the haiy black hole is unstable implies a violation of the lette but not of the spiit of the no-hai conjectue. The second example is that of highe-cuvatue sting-inspied gavity, and in paticula a dilatongaviton (supe)sting-effective action containing cuvatue-squae tems of Gauss-Bonnet (GB) type [10]. The dilaton hai in that case is of seconday type [11], i.e. it does not lead to new conseved quantum numbes as it is expessed in tems of the ADM mass [10]. Again, the spiit of the no-hai conjectue seems to be maintained. I will stat my talk by biefly pesenting a method, developed in collaboation with E. Winstanley [7], fo poving the possibility of an evasion of the no-hai conjectue fo these systems. Ou appoach was inspied by a ecent elegant poof of the no-hai theoem fo black holes by Bekenstein [12] in a vaiety of cases with scala fields [12]. The theoem is fomulated in such a way so as to ule out a multicomponent scala field dessing an asymptotically flat, static, spheicallysymmetic black hole. The basic assumption of the theoem is that the scala field is minimally coupled to gavity and beas a non-negative enegy density as seen by any obseve, and the poof elies on vey geneal pinciples, such as enegy-momentum consevation and the Einstein equations. Fom the positivity assumption and the consevation equations fo the enegy momentum tenso T MN of the theoy, M T MN = 0, one obtains fo a spheically-symmetic space-time backgound the condition that nea the hoizon the adial component of the enegy-momentum tenso and its fist deivative ae negative T < 0, (T ) < 0 (1) with the pime denoting diffeentiation with espect to. This implies that in such systems thee must be egions in space outside the hoizon whee both quantities in (1) change sign. This contadicts the esults following fom Einstein s equations though [12], and this contadiction constitutes the poof of the no-hai theoem, since the only allowed non-tivial configuations ae Schwazschild black holes. We note, in passing, that thee ae known exceptions to the oiginal vesion of the no-hai theoem [6], such as confomal scala fields coupled to gavity, which come fom the fact that in such theoies the scala fields divege at the hoizon of the black hole [13], and theefoe the oiginal assumptions of the theoem ae violated. The inteest fo ou case is that the theoem, if tue fo the EYMH system, would ule out the existence of non-tivial hai due to a Higgs field with a double (o multiple) well potential, as is the case fo spontaneous symmety beaking. Given that stability issues ae not involved in the poof, it would be of inteest to econcile the esults of the theoem with the situation in the case of EYMH o GB systems, whee at least we know that explicit black-hole solutions with non-tivial hai exist [8, 10]. As we shall show below, the fomal eason fo bypassing the moden vesion of the no-hai theoem [12] lies in the violation of the key elation among the components of the stess tenso, Tt t = Tθ θ, shown to hold in the case of ef. [12]. The physical eason fo the elusion of the above no-hai conjectue lies in the fact that the pesence of the epulsive non-abelian gauge inteactions, o the highe-cuvatue gavitational tems, balances the gavitational attaction, by poducing tems that make the esult (1) inapplicable in this case. Fo the GB system thee is an additional simple eason to expect that the no-scala-hai theoem can be bypassed. In the pesence of cuvatue-squaed tems, the modified Einstein s equation leads to an effective stess

3 tenso that involves the gavitational field. This implies that the assumption of positive definiteness of the time-component of this tenso, which in the Einstein case is the local enegy density of the field, beaks down, leading to a elaxation of one of the key constaints/assumptions of the no-hai theoem of ef. [12]. 2 Eluding the no-hai conjectue fo the EYMH system We stat ou discussion fom the EYMH system. Conside the EYMH theoy with a (gauge-fixed) Lagangian L EYMH = 1 { 1 4π 4 F MN φ2 A M } 2 Mφ 2 +V(φ) (2) whee A M denotes the Yang-Mills field, F MN its field stength, φ is the Higgs field and V(φ) its potential. All the indices ae contacted with the help of the backgound gavitational tenso g MN. In the spiit of Bekenstein s moden vesion of the no-hai theoem [12], we now examine the enegy-momentum tenso of the model (2). It can be witten in the fom 8πT MN = Eg MN + 1 } {F MP F P N + φ2 4π 4 A MA N + M φ N φ (3) with E L EYMH. We conside Yang-Mills fields of the fom [8] A = (1+ω())[ ˆτ φ dθ + ˆτ θ sinθdϕ] (4) whee τ i, i =,θ,ϕ ae the geneatos of the SU(2) goup in spheical-pola coodinates. Conside, now, an obseve moving with a fou-velocity u M. The obseve sees a local enegy density ρ = E + 1 } {u M F MP F P N u N + φ2 4π 4 (um A M ) 2 +(u M M φ) 2, u M u M = 1. (5) To simplify the situation let us conside a space-time with a time-like killing vecto, and suppose that the obsevemovesalong this killing vecto. Then u M M φ = 0 and by an appopiate gauge choice u M A M = 0 = u M F MN. This gauge choice is compatible with the spheicallysymmetic ansatz fo A M of ef. [8]. Unde these assumptions, ρ = E (6) and the equiement that the local enegy density as seen by any obseve is non-negative implies E 0. (7) Weaenowinpositiontopoceedwith theannouncedpoofofthebypassingofthe no-haitheoem of ef. [12] fo the EYMH black hole of ef. [8]. To this end we conside a spheically-symmetic ansatz fo the space-time metic g MN, with an invaiant line element of the fom ds 2 = e Γ dt 2 +e Λ d (dθ 2 +sin 2 θdϕ 2 ), Γ = Γ(), Λ = Λ(). (8) To make the connection with the black hole case we futhe assume that the space-time is asymptotically flat.

4 Fom the consevation of the enegy-momentum tenso, following fom the invaiance of the effective action unde geneal co-odinate tansfomations, one has fo the -component of the consevation equation [( g) 1 2 T ] 1 ( ) 2 ( g)1 2 g MN T MN = 0 (9) with the pime denoting diffeentiation with espect to. The spheical symmety of the space time implies that T θ θ = Tϕ ϕ. Hence, (9) can be witten as (e Γ+Λ 2 2 T ) 1 [ 2 e Γ+Λ 2 2 Γ Tt t +Λ T + 4 ] Tθ θ = 0. (10) Obseving that the tems containing Λ cancel, and integating ove the adial coodinate fom the hoizon h to a geneic distance, one obtains T () = e Γ h de Γ 2 2 [ Γ Tt t + 4 ] Tθ θ Note that the assumption that scala invaiants, such as T MN T MN ae finite on the hoizon (in ode that the latte is egula), implies that the bounday tems on the hoizon vanish in (11). (11) It is then staightfowad to obtain (T ) = 1 2 [ Γ Tt t + 4 ] Tθ θ e Γ 2 2 (e Γ 2 2 ) T. (12) Ansatz (4) fo the gauge field yields T t t = E T = E +F Tθ θ = E +J (13) with [ ] F e Λ 2ω 2 4π 2 +φ 2 J 1 [ ω 4π 2e Λ + (1 ω2 ) 2 4 ] + φ2 4 2(1+ω2 ). (14) Substituting (14) in (13) yields T () = e Γ 2 2 h { (e Γ2 2 ) E + 2 J } d (15) whee E is expessed as E = 1 [ (ω ) 2 4π (T ) () = e Γ 2 2 (e Γ 2 2 ) F + 2 J (16) 2 e Λ + (1 ω2 ) φ2 (1+ω) (φ ) 2 e Λ + λ 4 (φ2 v 2 ) 2 ]. (17)

5 We now tun to the Einstein equations fo the fist time, following the analysis of ef. [12]. Ou aim is to examine whethe thee is a contadiction with the equiement of the non-negative enegy density. These equations ead fo ou system Integating out the fist of these yields e Λ ( 2 1 Λ ) 2 = 8πT t t = 8πE e Λ ( 1 Γ + 2 ) 2 = 8πT. (18) whee M is a constant of integation. e Λ = 1 8π E 2 d 2M h (19) The equiement fo asymptotic flatness of space-time implies the following asymptotic behaviou fo the enegy-density functional E O( 3 ) as, so that Λ O( 1 ). In ode that e Λ at the hoizon, h, M is fixed by M = h 2. (20) The second of the equations (18) can be ewitten in the fom [ e Γ 2 2 ( 2 e Γ 2 ) = 4πT + 1 ] e Λ (21) Conside, fist, the behaviou of T as. Asymptotically, e Γ 2 1, and so the leading behaviou of (T ) is (T) = 2 [J F]. (22) We, now, note that the fields ω and φ have masses v 2 and µ = λv espectively. Fom the field equations and the equiement of finite enegy density thei behaviou at infinity must then be ω() 1+ce v 2 φ() v +ae 2µ fo some constants c and a. Hence, the leading asymptotic behaviou of J and F is J 1 [ c 2 v 2 4π 4 2 e v + 2c2 4 e v + v2 c 2 ] 4 2 e v F 1 [ c 2 v 2 ] 4π 2 2 e v +2a 2 µ 2 e 2µ (23) (24) since e Λ 1 asymptotically. The leading behaviou of (T ), theefoe, is (T ) 1 [ ] 2c 2 4π 4 e v 2a 2 µ 2 e 2 2µ. (25) Thee ae two possible cases: (i) 2 2µ > v (coesponding to λ > 1/8); in this case (T ) > 0 asymptotically, (ii) 2 2µ v (coesponding to λ 1/8) ; then, (T ) < 0 asymptotically.

6 Since J vanishes exponentially at infinity, and E O[ 3 ] as, the integal defining T () conveges as and T deceases as 2. Thus, in case (i) above, T is negative and inceasing as, and in case (ii) T is positive and deceasing. Now tun to the behaviou of T at the hoizon. When h, E and J ae both finite, and Γ diveges as 1/( h ). Thus the main contibution to T as h is which is finite. T e Γ/2 (t) 2 ( e Γ/2 2 ) Γ Ed (26) h 2 At the hoizon, e Γ = 0; outside the hoizon, e Γ > 0. Hence Γ > 0 sufficiently close to the hoizon, and, since E 0, T < 0 fo sufficiently close to the hoizon. Since F O[ h ] at h, (T ) is finite at the hoizon and the leading contibution is Fom ef. [8] we ecod the elation e ΛΓ 2 = e Λ whee e Λ = 1 2m(). Hence, (T ) ( h ) Γ 2 F + 2 J. (27) [ω ] 2 (φ ) 2 1 (1 ω 2 ) φ2 (1+ω 2 ) 2 + m λ 4 (φ2 v 2 ) 2 2 (28) (T ) = e Λ 4π φ2 [ 2(ω ) 2 2 +(φ ) 2 ]{ (ω ) (φ ) 2 1 ) 2 eλ(1 ω2 2 (29) } 4 eλ (1+ω) 2 + m eλλ 4 (φ2 v 2 ) 2 e Λ + 1 [ (ω ) 2 2π 2 e Λ + (1 ω2 ) 2 ] 4 + φ2 4 2(1+ω)2. (30) Fo h, this expession simplifies to [ 2 (T) ( h ) J( h ) + 4π ] F(h ) h h [ F( 1 h ) (1 ω 2 ) 2 2 h 2 λ ] 4 (φ2 v 2 ) 2 h 2 [ = F( (1 ω 2 ) 2 h ) 2h 3 + φ2 (1+ω 2 ) 2 + λ 4 h 4 h(φ 2 v 2 ) 2 1 ] 2 h + 2 J (31) h whee F = e Λ F() = 1 4π [2(ω ) 2 2 +(φ ) 2 ].

7 Conside fo simplicity the case h = 1. Then, fom the field equations [8] ω h = 1 [ ] 1 D 4 φ2 h(1+ω h ) ω h (1 ωh) 2 = A D φ h = 1 [ ] 1 D 2 φ h(1+ω h ) 2 +λφ h (φ 2 h v2 ) = B D (32) (33) whee D = 1 (1 ω 2 h )2 1 2 φ2 h (1+ω h) λ(φ2 h v2 ) 2. (34) Then the expession (31) becomes Fom the field equations [8] (T ) ( h ) = 1 4πD [8πDJ A 2 12 B2 ] = C 4πD. (35) D = 1 2m h (36) which is always positive because the black holes ae non-extemal [7]. Thus the sign of (T ) ( h ) is the same as that of C. The EYMH system possesses two banches of solutions [8], labelled by the numbe of nodes k of the gauge field. A detailed analysis [7] fo the case of black hole solutions possessing at most one node, examined in efs. [8, 7], shows that fo both banches (k = 1,0) C is non-negative. This implies that (T ) ( h ) is positive fo all the black hole solutions having one node in ω, egadless of the value of the Higgs mass v. Let us now check on possible contadictions with Einstein s equations. Conside fist the case λ > 1/8. Then, as, T < 0 and (T ) > 0. As h, T < 0 and (T ) > 0. Hence thee is no contadiction with Einstein s equations in this case. Next, conside the case λ 1/8. In this case, as, T > 0 and (T ) < 0, whilst as h, T < 0 and (T ) > 0. Hence, thee is an inteval [ a, b ] in which (T) is positive and thee exists a citical distance c ( a, b ) at which T changes sign. Howeve, unlike the case when the gauge fields ae absent [12], hee thee is no contadiction with the esult following fom Einstein equations, because (T ) > 0 in some open inteval close to the hoizon, as we have seen above. In conclusion the method of ef. [12] cannot be used to pove a no-scala-hai theoem fo the EYMH system, as expected fom the existence of the explicit solution of ef. [8]. The key diffeence is the pesence of the positive tem 2 J in the expession (16) fo (T ). This tem is dependent on the Yang-Mills field and vanishes if this field is absent, o if the field is Abelian. Thus, thee is a sot of balancing between the gavitational attaction and the non-abelian gauge field epulsion, which is esponsible fo the existence of the classical non-tivial black-hole solution of ef. [8]. Howeve, as shown in ef. [7], this solution is not stable against (linea) petubations of the vaious field configuations. Thus, although the lette of the no-scala-hai theoem of ef. [12], based on non-negative scala-field-enegy density, is violated, its spiit is maintained in the sense that thee exist instabilities which imply that the solution cannot be fomed as a esult of collapse of stable matte. Howeve, stability is a new dimension in the no-hai conjectue, not included in the oiginal fomulation. Theefoe, it seems fai to say that the above analysis constitutes an analytic poof of bypassing o, bette, eluding the no-hai conjectue.

8 3 Dilatonic Hai in Highe-Cuvatue Gavity As a second example of a physical theoy of black holes not coveed by the no-hai theoem of ef. [12] I shall descibe black hole solutions [10] of the Einstein-dilaton system in the pesence of the (highe-deivative) cuvatue-squaed tems of Gauss-Bonnet (GB) type [10]. These solutions wee found numeically by P. Kanti, J. Rizos and K. Tamvakis, and ae endowed with a non-tivial dilaton field outside the hoizon, thus possessing dilaton hai. The teatment of the cuvatuesquaed tems in ef. [10] is non-petubative and the solutions ae pesent fo any value of α /g 2, whee α is the sting Regge slope, and g is the gauge coupling constant of the low-enegy theoy. What I shall ague in this section, in connection with a bypassing of the no-hai theoem of ef. [12], is that the pesence of the highe-deivative GB tems povides the necessay epulsion in the effective theoy that balances the gavitational attaction, theeby leading to black holes dessed with non-tivial classical dilaton hai. This is an analogous phenomenon to that occuing in the case of Einstein-Yang-Mills systems discussed in the pevious section. The action I shall use will be the effective low-enegy action obtained fom (supe)stings. I shall concentate on the bosonic pat of the gavitational multiplet which consists of the dilaton, gaviton, and antisymmetic tenso fields. I shall ignoe the antisymmetic tenso fo simplicity 3. As is well known in low-enegy effective field theoy, thee ae ambiguities in the coefficients of such tems, due to the possibility of local field edefinitions which leave the S-matix amplitudes of the effective field theoy invaiant, accoding to the equivalence theoem. To O(α ) the feedom of such edefinitions is esticted to two geneic stuctues, which cannot be emoved by futhe edefinitions[15]. One is a cuvatue-squaed combination, and the othe is a fou-deivative dilaton tem. Thus, a geneic fom of the sting-inspied O(α ) coections to Einstein s gavitation have the fom L = 1 2 R 1 4 ( µφ) 2 + α 8g 2eφ (c 1 R 2 +c 2 ( ρ φ) 4 ) (37) whee α is the Regge slope, g 2 is some gauge coupling constant (in the case of the heteotic sting that we concentate fo physical easons), and R 2 is a geneic cuvatue-dependent quadatic stuctue, which can always be fixed to coespond to the Gauss-Bonnet (GB) invaiant R 2 GB = R µνρσr µνρσ 4R µν R µν +R 2 (38) The coefficients c 1, c 2 ae fixed by compaison with sting scatteing amplitude computations, o σ-model β-function analysis. It is known that in the thee types of sting theoies, Bosonic, Closed- Type II Supesting, and Heteotic Stings, the atio of the c 1 coefficients is 2:0:1 espectively [15]. The case of supesting II effective theoy, then, is chaacteized by the absence of cuvatuesquaed tems. In such theoies the fouth-ode dilaton tems can still be, and in fact they ae, pesent. In such a case, it is staightfowad to see fom the moden poof of the no-scala hai theoem of ef. [12] that such theoies, cannot sustain to ode O(α ), any non-tivial dilaton hai. On the othe hand, the pesence of cuvatue-squaed tems can dastically change the situation [10], as I will now descibe. Following the above discussion we shall ignoe, fo simplicity, the fouth-deivative dilaton tems in (37), setting fom now on c 2 = 0. Howeve, we must always bea in mind that such tems ae non-zeo in ealistic effective sting cases, once the GB combination is fixed fo the gavitational O(α ) pats. Then, the lagangian fo dilaton gavity with a Gauss Bonnet tem eads L = 1 2 R 1 4 ( µφ) 2 + α 8g 2eφ R 2 GB (39) 3 In fou dimensions, the antisymmetic tenso field leads to the axion hai, aleady discussed in ef.[14]. Modulo unexpected supises, we do not envisage poblems associated with its pesence as egads the esults discussed in this wok, and, hence, we ignoe it fo simplicity.

9 whee RGB 2 is the Gauss Bonnet (GB) tem (38). As I mentioned ealie, although we view (39) as a heteotic-sting effective action, fo simplicity, in this pape we shall ignoe the modulus and axion fields, assuming eality of the dilaton (S = e φ in the notation of ef. [14]). We commence ou analysis by noting that the dilaton field and Einstein s equations deived fom (39), ae 1 g µ [ g µ φ] = α 4g 2eφ R 2 GB (40) R µν 1 2 g µνr = 1 2 µφ ν φ+ 1 4 g µν( ρ φ) 2 α K µν (41) whee and K µν = (g µρ g νλ +g µλ g νρ )η κλαβ D γ [ R ργ αβ κf] (42) η µνρσ = ǫ µνρσ ( g) 1 2 ǫ 0ijk = ǫ ijk R µν κλ = η µνρσ R ρσκλ (43) f = eφ 8g 2 Fom the ight-hand-side of the modified Einstein s equation (41), one can constuct a conseved enegy momentum tenso, D µ T µν = 0, T µν = 1 2 µφ ν φ 1 4 g µν( ρ φ) 2 +α K µν (44) It should be stessed that the time component of T µν, which in Einstein s gavity would coespond to the local enegy density E, may not be positive. Indeed, as we shall see late on, fo spheically-symmetic space times, thee ae egions whee this quantity is negative. The eason is that, as a esult of the highe deivative GB tems, thee ae contibutions of the gavitational field itself to T µν. Fom a sting theoy point of view, this is eflected in the fact that the dilaton is pat of the sting gavitational multiplet. Thus, this is the fist impotant indication on the possibility of evading the no-scala-hai theoem of ef. [12] in this case. Howeve, this by itself is not sufficient fo a igoous poof of an evasion of the no-hai conjectue. I shall come to this point late on. At the moment, let me conside a spheically symmetic space-time having the metic ds 2 = e Γ dt 2 +e Λ d (dθ 2 +sin 2 θdϕ 2 ) (45) whee Γ, Λ depend on solely. Using the above ansatz, the dilaton equation as well as the (tt), () and (θθ) component of the Einstein s equations take the fom φ +φ ( Γ Λ ) = α e φ ) (Γ g 2 2 Λ e Λ +(1 e Λ )[Γ + Γ 2 (Γ Λ )] (46) ( Λ 1+ α e φ ) 2g 2 φ (1 3e Λ ) = φ eλ + α e φ g 2 (φ +φ 2 )(1 e Λ ) (47)

10 ( Γ 1+ α e φ ) 2g 2 φ (1 3e Λ ) = φ eλ 1 Γ + Γ 2 (Γ Λ )+ Γ Λ = φ α e φ Λ ( g 2 φ Γ +(φ +φ 2 )Γ + φ Γ ) 2 (Γ 3Λ ) (48) (49) Befoe I poceed to study the above system it is useful to note that if I tun off the Gauss-Bonnet tem, equation (10) can be integated to give φ 1 e (Λ Γ)/2. A black hole solution should have 2 at the hoizon h the behaviou e Γ, e Λ. Theefoe the adial deivative of the dilaton would divege on the hoizon esulting into a divegent enegy-momentum tenso T t t = T = Tθ θ = e Λ 4 φ 2 (50) Rejecting this solution we ae left with the standad Schwazschild solution and a tivial (φ = constant) dilaton, in ageement with the no-hai theoem. This behaviou will be dastically modified by the Gauss-Bonnet tem. The component of the enegy-momentum consevation equations eads: (e Γ/2 2 T ) = 1 2 eγ/2 2 [Γ T t t + 4 Tθ θ] (51) whee the pime denotes diffeentiation with espect to. The spheical symmety of the spacetime implies Tθ θ = Tϕ ϕ. Integating ove the adial coodinate fom the hoizon h to geneic yields T e Γ/2 () = 2 2 e Γ/2 2 [Γ Tt t + 4 h Tθ θ ]d (52) The bounday tems on the hoizon vanish, since scala invaiants such as T αβ T αβ ae finite thee. Fo the fist deivative of T we have (T ) () = e Γ/2 2 (e Γ/2 2 ) (T t t T )+ 2 (Tθ θ T ) (53) Taking into account (44) and (45), one easily obtains T t t T T θ θ = e Λφ 2 4 α g 2 2eφ Λ (φ +φ 2 )(1 e Λ )+ α 2g 2 2eφ Λ φ Λ (1 3e Λ ) = e Λφ 2 4 α 2g 2 2eφ Λ φ Γ (1 3e Λ ) (54) = e Λφ α 2g 2 eφ 2Λ [Γ φ +Γ (φ +φ 2 )+ Γ φ 2 (Γ 3Λ )] In the elations (54) thee lies the second eason fo a possibility of an evasion of the no-hai conjectue. Duetothepesenceofthehighecuvatuecontibutions,theelationT t t = Tθ θ assumed in ef. [12], is no longe valid. The alet eade must have noticed, then, the similaity of the ôle played by the Gauss-Bonnet O(α ) tems in the lagangian (39) with the case of the non-abelian gauge black holes studied in ef. [7], and descibed in the pevious section. We stess once, again, howeve, that in the GB case both the non-positivity of the enegy-density T t t, and the modified

11 elation Tt t Tθ θ, play equally impotant ôles in leading to a possibility of having non-tivial classical scala (dilaton) hai in GB black holes systems. Below I shall demonstate igoously this, by showing that thee is no contadiction between the esults following fom the consevation equation of the enegy-momentum tenso T µν and the field equations, in the pesence of non tivial dilaton hai. Fist, let me define what one means by dilaton hai. Fa away fom the oigin the unknown functions φ(), e Λ(), and e Γ() can be expanded in a powe seies in 1/. These expansions, substituted back into the equations, ae finally expessed in tems of thee paametes only, chosen to be φ, the asymptotic value of the dilaton, the ADM mass M, and the dilaton chaged defined as [16] D = 1 d 2 Σ µ D µ φ (55) 4π whee the integal is ove a two-sphee at spatial infinity. The asymptotic solutions ae e Λ() = 1+ 2M + 16M2 D O(1/ 3 ) (56) e Γ() = 1 2M +O(1/ 3 ) (57) φ() = φ + D + MD 2 +O(1/ 3 ) (58) Note, now, that the solution nea the hoizon is chaacteized by the paamete φ h. Howeve, the paametes that chaacteize the solution nea infinity (56)-(58) ae M and D. Fom this, we can infe that a elation must hold between the above paametes in ode to be able to classify the solution as a one paamete family of black hole solutions. Afte some manipulation, the set of equations (46)-(49) can be eaanged to yield the identity d ( 2 e (Γ Λ)/2 (Γ φ ) α e φ ) d g 2 e(γ Λ)/2 [(1 e Λ )(φ Γ )+e Λ φ Γ ] = 0 (59) Integating this elation ove the inteval ( h,) we obtain the expession 2M D = γ 1 λ 1 ( 2 h + α e φ h g 2 ) (60) This equation is simply a connection between the set of paametes descibing the solution nea the hoizonandthe setm andd. Thehsofthis elationclealyindicatesthattheexistingdependence ofthedilatonchageonthemassdoesnottakethesimplefomofanequalityencounteedineymd egula solutions of ef.[17]. In ode to find the elation between M and D we follow efs.[14] and take into account the O(α 2 ) expession of the dilaton chage in the limit φ() = φ + D +... = φ + ( e φ α 2M g e2φ α 60(2M) 3 2 g 4 ) (61) This elation can be checked numeically fo the black hole solution of ef. [10]. Any deviations fom this elation aedue to highe odetems which tun out to be small. The aboveelation (61) implies that the dilaton hai of the black hole solution, if exists, is a kind of seconday hai, in the teminology of ef. [11]. This hai is geneated because the basic fields (gavitons) of the theoy associated with the pimay hai (mass) act as souces fo the non-tivial dilaton configuations outside the hoizon of the black hole.

12 To check the possibility of the evasion of the no-hai conjectue we fist conside the asymptotic behaviou of T as. Since Γ and Λ O( 1 ) as, we have the following asymptotic 2 behaviou T 1 4 (φ ) 2 +O( 1 6) In this limit, e Γ/2 1, and so the leading behaviou of (T ) is Thus, T is positive and deceasing as. Tθ θ 1 4 (φ ) 2 +O( 1 6) (62) (T ) 2 (Tθ θ T ) 1 (φ ) 2 < 0 as (63) We now tun to the behaviou of the unknown functions at the event hoizon. When h, we make the ansatz e Λ() = λ 1 ( h )+λ 2 ( h ) e Γ() = γ 1 ( h )+γ 2 ( h ) (64) φ() = φ h +φ h( h )+φ h( h ) with the subscipt h denoting the value of the espective quantities at the hoizon. It can be shown [10] that this is the most geneal asymptotic solution Γ,φ,φ finite. As we can see, φ( h ) constant while Γ and Λ divege as ( h ) 1 and ( h ) 1 espectively. Then, the behaviou of the components of the enegy-momentum tenso nea the hoizon is T = α 2g 2 2eφ Λ φ Γ +O( h ) T t t = T θ θ = α 2g 2 2eφ Λ φ Λ +O( h ) (65) α 2g 2 eφ 2Λ [Γ φ + Γ φ 2 (Γ 3Λ )]+O( h ) Taking into account the above expessions the leading behaviou of T nea the hoizon is T () e Γ/2 2 h α 4g 2eΓ/2 (Γ ) 2 e Λ e φ φ d+o( h ) (66) Theefoe one obseves that fo sufficiently close to the event hoizon, T has opposite sign to φ. Fo (T ) nea the hoizon, we have (T ) () = α 2g 2 e φ 2e Λ { Γ (φ +φ 2 )+φ [ Γ 2 (Γ +Λ )+2e Λ Γ 2 Λ ]} 1 4 Γ e Λ φ 2 +O( h ) (67)

13 whee Γ +Λ O(1) fo h. Adding the (tt) and () components of the Einstein s equations we obtain at the event hoizon Γ +Λ = 1 F [1 2 hφ 2 h + α g 2 e φh h (φ h +φ 2 h)]+o( h ) (68) whee Fom the (θθ) component we obtain F = 1+ α 2g 2 e φh h φ h (69) e 2Λ Γ = 1 2 e 2Λ (Γ ) e 2Λ Γ Λ +O( h ) Substituting all the above fomulae into (67) yields, nea h φ 2 h (T ) () 1 4h 2F α e φh 2g 2 = 1 2 h F2 +O( h) (70) 3 h F2(φ h +φ 2 h ) α 4g 4 e 2φh 5 h F2φ 2 h +O( h) (71) Next, we tun to the dilaton equation (46). At h, it takes the fom Substituting fo F (69), the following equation fo φ h is deived φ h h F = 3 α e φh F 2 g 2 h 4 +O( h ) (72) α e φh 2g 2 φ 2 h +φ h + 3 α h h h 3 g 2eφ = 0 (73) which has as solutions ( φ h = g2 α he φ h 1± 1 6(α ) 2 g 4 ) e 2φh h 4 (74) One can show [10] that the elation (74) guaantees the finiteness of φ h, and hence of the local density Tt t (54). Both these solutions fo φ h ae negative, and hence, since T ( h) has the opposite sign to φ h, T will be positive sufficiently close to the hoizon. Since T 0 also at infinity, we obseve that thee is no contadiction with Einstein s equations, theeby allowing fo the existence of black holes with scala hai. We obseve that nea the hoizon the quantity E ( Tt t ), which in Einstein s gavitation would be the local enegy density of the field φ, is negative. As we mentioned ealie, this constitutes one of the easons one should expect an evasion of the no-scala-hai conjectue in this black hole space time. Cucial also fo this esult was the pesence of additional tems in (54), leading to Tt t Tθ θ. Both of these featues, whose absence in the case of Einstein-scala gavity was cucial fo the moden poof of the no-hai theoem, owe thei existence in the pesence of the highe-ode O(α ) coections in (39). The physical impotance of the estiction (74) lies on the fact that accoding to this elation, black hole solutions of a given hoizon adius can only exist if the coupling constant of the Gauss-Bonnet tem in (39) is smalle than a citical value, set by the magnitude of the hoizon scale. In fact fom (74), eality of φ h is guaanteed if and only if e φ h < g2 6α 2 h (75)

14 In this pictue, β 1 4 eφ h can then be viewed as the (appopiately nomalized with espect to the Einstein tem) coupling constant of the GB tem in the effective lagangian (39). Fo a black hole of unit hoizon adius h = 1, the citical value of β, above which black hole solutions cannot exist, is then β c = g 2 /4 6α. One is tempted to compae the situation with the case of SU(2) sphaleon solutions in the pesence of Gauss Bonnet tems [17]. Numeical analysis of sphaleon solutions in such systems eveals the existence of a citical value fo the GB coefficient above which solutions do not exist. In the sphaleon case this numbe depends on the numbe of nodes of the Yang-Mills gauge field. In ou case, if one fixes the position of the hoizon, then it seems that in ode to constuct black hole solutions with this hoizon size the GB coefficient has to satisfy (75). Thus, a way of intepeting (74) is to view it as poviding a necessay condition fo the absence of naked singulaities in space-time [10]. To undestand bette this latte point we should conside the scala cuvatue in the limit h. It is given by R = 2 2 h 1 1 6(α ) 2 g 4 1± 1 6(α ) 2 This expession shows that the cuvatue is singula at h 0, i.e. when the hoizon shinks. The point h = 0 can be eached only when φ h =. Thus the inequality (36), in a sense, fobids h to become zeo and eveal the singulaity. g 4 e 2φ h 4 h e 2φ h 4 h 2 (76) Above, we have agued on the possibility of having black holes in the system (39) that admit non-tivial dilaton hai outside thei hoizon. The key is the bypassing of the no-hai theoem [12], as a esult of the cuvatue-squaed tems. Howeve, the hai appeas to be of seconday type, not yielding new quantum numbes fo the black hole, but expessed in tems of its ADM mass. In ef. [10] Kanti et al. found explicit black-hole solutions of the equations of motion oiginating fom (39) and povided evidence fo the existence of black hole solutions to all odes in α. Unfotunately a complete analytic teatment of these equations is not feasible, and one has to use numeical methods. This complicates cetain things, in paticula it does not allow fo a clea view of what happens inside the hoizon, theeby not giving good infomation on the cuvatue singulaity stuctue. Nevetheless, the existence of an hoizon in those solutions is demonstated [10], and, thus, the GB-dilaton system may be consideed as constituting a second example of the elusion of the no-hai conjectue. 4 Conclusions In this pape I have discussed two quite geneic examples of bypassing the no-scala-hai conjectue fo black holes: the Einstein-Yang-Mills-Higgs SU(2) system [8, 7], possessing black holes with non-tivial Higgs hai outside the hoizon, and the Gauss-Bonnet (GB) highe-cuvatue gavitondilaton system, possessing black holes with dilaton hai [10]. I have pesented a method of poving analytically the existence of scala hai fo such systems [7]. I believe this is of value, not only because the black hole solutions in both systems ae known only numeically at pesent, but also because the above examples constitute two athe geneic categoies of black hole systems that may evade the no-hai conjectue. The physical oigin behind the existence of the haiy black holes in both systems can be taced back to the existence of non- Abelian field epulsion: the epulsion due to the Yang-Mills gauge field in the EYMH case, o the epulsion due to the pesence of the highe-cuvatue (gavitational) tems in the GB system. Such epulsion balances the gavitational attaction fom the Einstein tems, leading to non-tivial black-hole space-time stuctue.

15 Although the lette of the no-scala-hai theoem is violated in both cases, howeve its spiit emainsvalid since the blackhole solutionsin the EYMH systemaeunstable [7, 9], andthe dilaton hai in the GB is of seconday type 4, in the sense that it is not accompanied by the pesence of any new quantity that chaacteizes the black hole given that the dilaton chage can be expessed in tems of the ADM mass of the black hole. It should be stessed, howeve, that iespectively of the pecise type of hai the set of solutions examined in this talk bypasses the conditions of the no-scala-hai theoem [12]. Thus, ou wok [7, 10] may be viewed as demonstating that thee is plenty of oom in the gavitational stuctue of Non-Abelian Gauge and/o Supesting Theoy to allow fo physically sensible situations that ae not coveed by the no-hai theoem as stated. The elevance of the above evasion of the no-hai conjectue to the infomation-loss and quantum decoheence issues of a black-hole space time emains to be seen. Although the analytic poof allows the existence of hai, it does not povide any infomation on the amount of hai caied by the black holes, o on whethe such hai is capable of stoing enough infomation so as to maintain unitaity of the black-hole plus matte system duing Hawking evapoation. It seems moe likely that quantum hai, if exists,will be moe elevant fo this pupose. Such questions, especially fom the point of view of sting-inspied theoies [18], ae left fo futue investigations. Acknowledgments It is a pleasue to thank the oganizesof the 5th Hellenic School and Wokshops on HEP at Cofu, fo poviding a vey stimulating envionment fo eseach and discussions duing the meeting. The above talk was based on wok done in collaboation with P. Kanti, J. Rizos, K. Tamvakis and E. Winstanley. Refeences [1] R. Ruffini and J.A. Wheele, Physics Today 24 (1971), 30. [2] W. Isael, Phys. Rev. 164 (1967), 1776; Comm. Math. Phys. 8 (1968), 245; B. Cate, Phys. Rev. Lett. 26 (1971); R.B. Wald, Phys. Rev. Lett. 26 (1971), [3] R. Batnik and J. McKinnon, Phys. Rev. Lett. 61 (1988), 141. [4] J.A. Smolle, A.G. Wasseman, S.T. Yau and J. McLeod, Comm. Math. Phys. 143 (1991), 115; J.A. Smolle and A.G. Wasseman, Comm. Math. Phys. 151 (1993), 303; ibid. 154 (1993), 377; J.A. Smolle and A.G. Wasseman, Michigan Univ. pepint (May 1994); g-qc/ [5] A selected list of efeences includes: M.S. Volkov and D.V. Gal tsov, JETP Lett. 50 (1990), 346; P. Bizon, Phys. Rev. Lett. 64 (1990), 2844 ; S. Doz, M. Heussle and N. Staumann, Phys. Lett. B268 (1991), 371; G. Lavelashvili and D. Maison, Phys. Lett. B295 (1992), 67. K-Y. Lee, V.P. Nai and E. Weinbeg, Phys. Rev. Lett. 68 (1992), 1100; M.E. Otiz, Phys. Rev. 45 (1992), R2586. P. Beitenholde, P. Fogács, and D. Maison, Nucl. Phys. B383 (1992), 357 ; 4 The stability of the GB-dilaton system has not been studied yet.

16 T. Toii and K. Maeda, Phys. Rev. D48 (1993), 1643; M. Heusle, N. Staumann, and Z.H. Zhou, Helv. Phys. Acta 66 (1993), 614; E.E. Donets and D. Gal tsov, Phys. Lett. B302 (1993), 411; P. Bizon, Act. Phys. Pol. B24 (1993), [6] J. Bekenstein, Phys. Rev. D5 (1972), 1239; S. Adle and R. Peason, Phys. Rev. D18 (1978), [7] N.E. Mavomatos and E. Winstanley, Phys. Rev. D53 (1996), 754; hep-th/ [8] B.R. Geene, S.D. Mathu, C.M. O Neill, Phys. Rev. D47 (1993), [9] E. Winstanley and N.E. Mavomatos, Phys. Lett. B352 (1995), 242. [10] P. Kanti, N.E. Mavomatos, J. Rizos, K. Tamvakis and E. Winstanley, pepint CERN-TH/95-297, OUTP-95-43P; hep-th/ [11] S. Coleman, J. Peskill and F. Wilczek, Nucl. Phys. B378 (1992), 175. [12] J.D. Bekenstein, Phys. Rev. D51 (1995), [13] J.D. Bekenstein, Ann. Phys. (N.Y.) 91 (1975), 72; T. Zannias, Repot no g-qc/ (unpublished). [14] C.G. Callan, R.C. Myes and M.J. Pey, Nucl. Phys. B311 (1988/89), 673; B. Campbell, M. Duncan, N. Kalope and K.A. Olive, Phys. Lett. B251 (1990), 34; B. Campbell, N. Kalope and K.A. Olive, Phys. Lett. B263 (1991), 364; B. Campbell, N. Kalope and K.A. Olive, Phys. Lett. B285 (1992), 199; S. Mignemi and N.R. Stewat, Phys. Rev. D47 (1993), 5259; S. Mignemi, Phys. Rev. D51 (1995), 934. P. Kanti and K. Tamvakis, Phys. Rev. D52 (1995), [15] R. Metsaev and A. Tseytlin, Nucl. Phys. B293 (1987), 385. [16] G. Gibbons and K. Maeda, Nucl. Phys. B298 (1988), 741; D. Gafinkle, G. Hoowitz and A. Stominge, Phys. Rev. D43 (1991), 3140; Phys. Rev. D45 (1992), 3888; A. Ghosh and P. Mita, Phys. Rev. Lett. 73 (1994), [17] E. Donets and D. Gal tsov, Phys. Lett. B352 (1995), 261. [18] J. Ellis, N.E. Mavomatos and D.V, Nanopoulos, Phys. Lett. B276 (1992), 56; ibid. B278 (1992), 246; L. Susskind and J. Uglum, Phys. Rev. D50 (1994), 2700; J. Ellis, N.E. Mavomatos, D.V. Nanopoulos and E. Winstanley, pepint ACT-02/95, CERN- TH/95-336, CTP-TAMU-04/95,OUTP-9605P; g-qc/