Topological black holes with some applications in ads CFT correspondence

Topological Black Holes with Some Applications in AdS/CFT Correspondence Ong Yen Chin HT080889Y An academic exercise presented in partial fulfillment for the degree of Master of Science in Mathematics Supervisor: Professor Brett T. McInnes Department of Mathematics Faculty of Science National University of Singapore 2010 1 Dedicated to the 4th Aegean Summer School on Black Holes, Mytilene, Island of Lesvos, Greece. 17-22 September 2007, where I discovered the fun of black holes and immersed in the tranquility of the Aegean Sea. Contents Abstract Disclaimer Acknowledgement 1 Introduction: From Black Holes to String Theory and AdS/CFT iv v vi 2 1.1 A Brief History of Black Hole Research . . . . . . . . . . . . . . . . . . 2 1.2 String Theory: What is it really good for? . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 From de Sitter Space to Anti-de Sitter Space and Conformal Field Theory 10 2.1 From Einstein’s Static Universe to the de Sitter Solution . . . . . . . . 10 2.2 Geometry of de Sitter Space . . . . . . . . . . . . . . . . . . . . . . . . 15 2.3 AdS: Anti-de Sitter Space . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.4 Conformal Compactification . . . . . . . . . . . . . . . . . . . . . . . . 23 2.5 Conformal Field Theory . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3 Black Holes in de Sitter and Anti-de Sitter Space 3.1 Black Holes with Cosmological Constant . . . . . . . . . . . . . . . . . 30 30 CONTENTS ii 3.2 Curvature of the Event Horizon . . . . . . . . . . . . . . . . . . . . . . 42 3.3 Physics of Topological Black Holes . . . . . . . . . . . . . . . . . . . . 42 3.3.1 Positively Curved Uncharged AdS Black Holes . . . . . . . . . . 44 3.3.2 Flat Uncharged AdS Black Holes . . . . . . . . . . . . . . . . . 46 3.3.3 Negatively Curved Uncharged AdS Black Holes . . . . . . . . . 49 3.3.4 Flat Electrically Charged Black Holes in AdS . . . . . . . . . . 50 4 Stability of Anti-de Sitter Black Holes 4.1 4.2 55 Thermodynamics Instability . . . . . . . . . . . . . . . . . . . . . . . . 55 4.1.1 Phase Transition for Flat Uncharged AdS Black Hole . . . . . . 61 Non-perturbative Instability of AdS Black Holes . . . . . . . . . . . . . 64 5 Estimating the Triple Point of Quark Gluon Plasma 66 5.1 An Introduction to Quark Gluon Plasma . . . . . . . . . . . . . . . . . 66 5.2 Estimating The QGP Critical Point . . . . . . . . . . . . . . . . . . . . 73 5.3 Charging Up Black Holes in 5 Dimension . . . . . . . . . . . . . . . . . 76 5.4 Transition to Confinement at Low Chemical Potential . . . . . . . . . . 79 5.5 Stringy Instability at High Chemical Potential . . . . . . . . . . . . . . 80 5.6 From the Critical Point to the Tripple Point . . . . . . . . . . . . . . . 88 5.7 Caveat: QCD Dual in AdS/CFT . . . . . . . . . . . . . . . . . . . . . 93 6 Dilaton Black Holes in Anti-de Sitter Space 94 6.1 Asymptotically Flat Spherically Symmetric Dilaton Black Holes . . . . 94 6.2 Topological Dilaton Black Holes . . . . . . . . . . . . . . . . . . . . . . 97 CONTENTS 6.2.1 6.3 iii Seiberg-Witten Action for Flat AdS Dilaton Black Holes . . . . 98 Holography of Dilaton Black Holes in AdS . . . . . . . . . . . . . . . . 102 Conclusion 103 A Penrose Diagram 105 B Black Hole Temperature: A Primer 124 Bibliography 127 Abstract In this thesis, we attempt to review and understand the properties of topological black holes in asymptotically Anti-de Sitter (AdS) space. These black holes have the property that the horizon is an Einstein manifold of positive, zero or negative curvature. We then study Maldacena’s conjecture in string theory, called the AdS/CFT correspondence, which says that gravity in AdS bulk corresponds to conformal field theory (CFT) defined on its boundary. That is, the string theory under discussion lives not in our (3+1)spacetime, but in the corresponding 5-dimensional AdS bulk. We study the geometry of stringy black holes in the bulk and uses it to understand the physics of quark gluon plasma. Since black holes in string theory can have scalar hair in addition to electrical charges, it is only natural that we also study stringy black holes with dilaton charge and their possible applications in AdS/CFT correspondence. Disclaimer To keep this thesis to reasonable length, knowledge in typical first course of general relativity, thermodynamics and some particle physics are assumed, and many results from the literature are taken for used without proof, which might upset the pure mathematicians. As a disclaimer, despite the fact that this thesis is a work done under the Department of Mathematics, I happen to agree with the Russian mathematician V. I. Arnol’d (best known for solving Hilbert’s 13th Problem in 1957) who once remarked that [1]: It is almost impossible for me to read contemporary mathematicians who, instead of saying ‘Petya washed his hands,’ write simply: ‘There is a t1 < 0 such that the image of t1 under the natural mapping t1 → Petya(t1 ) belongs to the set of dirty hands, and a t1 < t2 ≤ 0 such that the image of t2 under the above-mentioned mapping belongs to the complement of the set defined in the preceding sentence. I have thus avoided abstract formulations in the typical definition-lemma-theoremproof-corollary style. The convention for our metric is not fixed - most of the time the temporal coefficient will be negative but not always. Anyway we will always give the explicit metric before calculations are carried out so readers will know the convention used. We will use the natural unit c = 1 = G, although sometimes we do explicitly restore them in their rightful places. Acknowledgment I would like to take this opportunity to express my heartfelt gratitude to my supervisor Professor Brett McInnes for his invaluable guidance over all these years ever since my Honours year at the Department of Mathematics, National University of Singapore. I also appreciate his useful advise regarding life in general. Most part of this thesis work was done in a nice office room at the Center for Mathematics and Theoretical Physics at National Central University of Taiwan during my short visit from 17 March to 24 March 2010. I would like to thank Associate Professor Chen Chiang-Mei, Dr. Sun Jia-Rui and their research group, including Professor James M. Nester for their hospitality and various help they have rendered to me during the visit. I have enjoyed the academic discussions with them. I would also like to thank Professor Chen Pisin for his treat of a very nice dinner during my brief visit to LeCosPA (Leung Center for Cosmology and Astrophysics) at National Taiwan University, and especially for his willingness to accept me as his PhD student. CONTENTS 1 I also did part of this thesis work high up on Mt. John at Lake Tekapo in New Zealand, surrounded by colourful Lupins which contributed to the natural floral fragrance that filled the air. I am grateful to Alan Gilmore, the superintendent of Mt. John observatory for meeting me at Lake Tekapo upon my arrival and driving me up to the observatory; as well as all the friendly people at the observatory who helped me in one way or another. Here I had the best view into the starry night sky, a source of inspiration that I have always cherished. The visit to Mt. John took place during my visit to University of Canterbury to attend the 5th Australasian Conference on General Relativity and Gravitation: The Sun, the Stars, the Universe and General Relativity in December, 2009. I must thank Associate Professor David Wiltshire for his hospitality during the visit. Last and not least, I would like to thank my beloved parents and all people in my life who in one way or another, made this thesis possible. Chapter 1 Introduction: From Black Holes to String Theory and AdS/CFT In this chapter, I shall give a (mostly) non-technical account of the historical development of the subject. 1.1 A Brief History of Black Hole Research Black hole, a term coined by the late John Wheeler to describe the state of gravitational collapse, has always been an intriguing subject in the field of astronomy. Perhaps the reason that the general public are fascinated by the idea of black holes is that it sounds like science fiction or even fantasy, yet black holes are supposedly real objects that exist in our universe. In certain ways, black holes blur our boundaries between what is real and what is fantasy. There are many aspects that one may choose to explore when it comes to black holes, for example, one can study astrophysical black holes and their related phenomena such as gamma-ray bursts and active galactic nuclei; or one can use numerical methods to study properties of black holes merger. This thesis will not touch on either of these aspects; its approach is purely mathematical, or as Albert Einstein put it, “physics by pure thoughts”. In his own words in 1933, I am convinced that we can discover by means of purely mathematical constructions the concepts and the laws... which furnish the key to the understanding of natural phenomena. Experience may suggest the appropriate mathematical concepts, but they most certainly cannot be deduced from it... In a certain sense, therefore, I hold it true that pure thought can grasp reality, as the ancients dreamed... 1.1 A Brief History of Black Hole Research 3 Concept similar to black hole predates Einstein’s General Theory of Relativity: Laplace [1796] and Mitchell [1783] independently speculated on the existence of stars so massive as to appear dark from observers far away since light corpuscles would not be able to escape the stars; instead they get pulled back to the surface just like a stone would fall to the surface of the Earth after being thrown into the air. Such an idea however was dismissed after Young’s double slit experiment [1801] convinced Laplace that light is a wave instead of particle (although Nature is far more mysterious than anyone would have guessed, as evident by the discovery of particle-wave duality!). It is a remarkable coincidence that the radius of such dark star in relation to the mass of the star and the speed of light is exactly the same as the Schwarzschild radius obtained using General Relativity. The Schwarzschild solution [1915] was found by Karl Schwarzschild only a few months after Einstein published his General Relativity which models gravity as effect due to curvature of spacetime. This solution describes the spacetime outside of a spherical, non-rotating black hole. This was soon followed by Reissner [1916] and Nordstr¨ om [1918] solution that incorporated electrical charges. While on board a ship from India to Cambridge, England for his graduate study, Subrahmanyan Chandrasekhar calculated using general relativity that a non-rotating body of electron-degenerate matter above 1.44 solar masses (the Chandrasekhar limit) could not be stabilized against gravity by electron degeneracy pressure and would collapse further [1930]. Indeed it was later found that any star that exceeds the Chandrasekhar limit but less than approximately 4 solar masses (the Tolman-OppenheimerVolkoff limit, or TOV limit for short) would collapse into neutron star which is stabilized by neutron degeneracy pressure. Robert Oppenheimer and Snyder [1939] finally concluded that any star exceeding the TOV limit would undergo complete gravitational collapse and forms a black hole. Oppenheimer-Snyder collapse model describes how pressureless dustball collapses under its own gravity to form a black hole. While initially met with suspicion since it is overly simplified, computer models incorporating pressure and other conditions showed that the same conclusion holds: gravitational collapse is unavoidable. Note that the masses of the stars that end up as a black hole should in fact be much higher in astrophysical context, perhaps 25 solar masses, as stars do shed off large portion of their mass during the red supergiant and supernova stage. So to have around 4 solar masses in the end means it had a much higher mass to start with! The misunderstanding regarding the nature of Schwarzschild radius led many to believe that time comes to a stop at the “surface” of a black hole. As such, black hole was first called a “frozen star”, as an outside observer would see the surface of the star frozen in time at the instant where its collapse takes it inside the Schwarzschild radius. It was not until David Finkelstein introduced a more suitable coordinate system [1958] that people came to realize that the singularity at the Schwarzschild radius is merely due to bad choice of coordinate system, and that for the infalling traveler, he would reach 1.1 A Brief History of Black Hole Research 4 the black hole singularity in finite time. Shrouded by the “surface” of the black hole, observer outside of the black hole cannot see what happens to the infalling traveler, who seemed to fade out of existence as light red-shifted and time slowed down with respect to the outside world. Wolfgang Rindler then coined the term event horizon to refer to this peculiar “surface”. Mathematician Roy Kerr found the exact solution for a rotating black hole [1963], which marked an important advancement in black hole physics, especially when we consider the fact that astrophysical bodies rotate and thus Kerr solution would be a more realistic one to model astrophysical black holes. While Reissner-Nordstr¨om solution is not physical since any electrically charged black hole will quickly be neutralized, the structure of Reissner-Nordstr¨om black hole is similar to that of Kerr black hole, and so is important in theoretical study because Kerr solution is quite complicated for computations. The term black hole is finally coined by John Wheeler [1967], who was initially reluctant to accept the possible existence of black holes, but gradually accepted it. In his famous lecture Our Universe: The Known and the Unknown in December 1967, Wheeler stated: The light is shifted to the red. It becomes dimmer millisecond by millisecond, and in less than a second is too dark to see... [The star,] like the Cheshire cat, fades from view. One leaves behind only its grin, the other, only its gravitational attraction. Gravitational attraction, yes; light, no. No more than light do any particle emerge. Moreover, light and particles incident from outside... [and] going down the black hole only add to its mass and increase its gravitational attraction. In the same year, Jocelyn Bell Burnell discovered the first pulsar : highly magnetized, rotating neutron star that emits a beam of electromagnetic radiation, thus promoting interests on compact astrophysical objects. The term black hole was then adopted throughout the community, although it was resisted for a few years in France, where trou noir (black hole) has obscene connotations. On the observational side of the story, the X-ray source called Cygnus XR-1 (also known as Cygnus X-1) was proposed to be the first black hole candidate [1971]. More recently astronomers at the Max Planck Institute for Extraterrestrial Physics present evidence for the hypothesis that Sagittarius A* is a supermassive black hole at the center of our Milky Way galaxy [2002], where stars seem to be orbiting a compact massive object with tremendous speed. With the solutions of black holes found, research started to focus on the properties of various black holes. Stephen Hawking found that the surface area of classical black 1.1 A Brief History of Black Hole Research 5 hole is non-decreasing [1972], which is analogous to the second law of thermodynamics where entropy is non-decreasing. In the same year, together with James Bardeen and Brandon Carter, Stephen Hawking proposed the four laws of black hole mechanics in analogy with the laws of thermodynamics: (1) The 0-th Law: The horizon has constant surface gravity for a stationary black hole. (2) The 1-st Law: We have dM = κ dA + ΩdJ + ΦdQ 8π where M is the mass, A is the horizon area, Ω is the angular velocity, J is the angular momentum, Φ is the electrostatic potential, κ is the surface gravity and Q is the electric charge. (3) The 2nd-Law: The horizon area is, assuming the weak energy condition, a non-decreasing function of time. (4) The 3rd-Law: It is not possible to form a black hole with vanishing surface gravity. Also in 1972, Jacob Bekenstein suggested that black holes have an entropy SBH proportional to their surface area. The Bekenstein-Hawking entropy formula reads SBH = A . 4 Surprisingly, Stephen Hawking further showed that contrary to what people had believed until then, black holes can radiate [1974]. This is a consequence of quantum field theory applied to black hole spacetime. In fact due to what is now called Hawking radiation, black holes would eventually evaporate, though the rate is very slow for astrophysical black holes. Partly due to advancement in String Theory, black hole solutions are sought for in higher dimensional spacetime. However the first generalization to higher dimensional analog of Schwarzschild solution was already available much earlier, due to the work of Tangherlini [1963]. Tangherlini showed that the general form ds2 = −V 2 dt2 + (V 2 )−1 dr2 + r2 dΩ2 2m where m is related to the mass of the black hole and dΩ2 rn−2 being the metric for (n − 1)-dimensional sphere describes the exterior spacetime of a with [V (n)]2 = 1 − 1.1 A Brief History of Black Hole Research 6 non-rotating spherical black hole in (n + 1)-dimensional spacetime. Myers and Perry then generalized the Kerr metric to describe rotating black holes in (4 + 1)-dimensional spacetime [1986] [2]. Black holes in classical general relativity in (3 + 1)-dimensional spacetime enjoys a uniqueness property called No-Hair Theorem, which says that black holes are only characterized by 3 parameters: mass, angular momentum and electrical charge. The first hint to No-Hair Theorem came in from Vitaly Lazarevich Ginzburg [1964] during his research involving quasars. The proof of the No-Hair Theorem was presented by Werner Israel [1967]. The name “No-Hair Theorem” came from the phrase “A black hole has no hair” by again, Wheeler. By “hair” he meant any property other than charge, angular momentum and mass which a black hole possesses which can reveal the details of the object before it collapsed to form black hole. Kip Throne recalled in his book “Black Holes & Time Warps: Einsteins Outrageous Legacy” that Wheelers phrase quickly took hold, despite resistance from Simon Pasternak, the editor-in-chief of the Physical Review, the journal in which most Western black hole research is published. When Werner Israel tried to use the phrase in a technical paper in late 1969, Pasternak fired off a peremptory note that under no circumstances would he allow such obscenities in his journal. But Pasternak could not hold back for long the flood of “no-hair” papers. As a consequence of the No-Hair Theorem, a uniqueness theorem in (3+1)-dimensional spacetime says that the only stationary and neutral black hole is the Kerr black hole (with Schwarzschild black hole as a special case). One naturally wants to know whether similar result holds in higher dimensions. The answer is no. The Myers-Perry black hole is not the unique black hole solution to Einstein Fields Equations in higher dimensions. There exists a rotating ring-shaped solution in five dimensions with the horizon topology of S 2 × S 1 which may have the same mass and angular momentum as the Myers-Perry solution. This is known as a black ring [Emparan-Reall, 2006] [3]. In fact, one has a large number of black objects, e.g. black string, black brane, and in the case of multi-black hole system, even black saturn [Elvang-Figueras, 2007] [4]. The topology of black holes in higher dimensions is thus much richer than the one in (3+1)-dimension, which, by one theorem of Hawking (assuming appropriate energy condition), can only be of spherical topology [1975] [12]. The interesting thing is that we can actually obtain non-spherical black holes in (3+1)dimension, and even (2+1)-dimension, provided that the universe has negative cosmological constant (being asymptotically Anti-de Sitter). To be more specific Banados, Teitelboim and Zanelli found that with a negative cosmological constant, there can be a black hole solution in (2+1)-dimension, now called BTZ black hole [1992] [5]. If 1.2 String Theory: What is it really good for? 7 cosmological constant is nonnegative, (2+1)-dimension does not admit any black hole solution. Simply put, a topological black hole is just a black hole with non-trivial topology, such as a torus (doughnut) or even of higher genus (has more than 1 hole). This does not contradict Hawking’s theorem of spherical black holes because Anti-de Sitter space does not satisfy the dominant energy condition. We will study the detailed properties of Anti-de Sitter space in the next chapter, followed by the study of black holes in asymptotically Anti-de Sitter space in Chapter 3. 1.2 String Theory: What is it really good for? String theory is a 21st-century physics that had fallen by chance into the 20th century. - Daniele Amati. Our story started from the study of strong interactions. In 1968, Veneziano proposed a formula to fit some of the high-energy characteristics of the strong force, resulted in the so-called dual resonance model, the details of which do not concern us here. In 1970, Yoichiro Nambu, Holger Bech Nielsen, and Leonard Susskind realize that the dual theories developed in 1968 to describe the particle spectrum also describe the quantum mechanics of oscillating strings. They proposed the early version of string theory that aimed to describe the strong interaction. Unfortunately the model doesn’t work very well. After the conception of Quantum Chromodynamics (QCD), this early form of string theory was discarded. However, it was resurrected in the 1980s as a quantized theory of gravity by John H. Schwarz and Joel Scherk, and independently, Tamiaki Yoneya. They noticed that the theory has spin 2 excitation which is massless - a possible candidate of the hypothetical graviton - carrier of gravitational force. The early string theory only describes bosons in their excitation spectrum, and is now known explicitly as “bosonic string theory”. Curiously bosonic string theory requires 26 spacetime dimension to be consistent. While the idea of extra dimension is not new (Kaluza-Klein theory in 1921 already proposed an extra spatial dimension in the attempt to formulate electromagnetic force as spacetime curvature). It is later found that fermions can be included into the theory by introducing supersymmetry, and string theory, as of 1980, becomes superstring theory. In most contexts nowadays, string theory means superstring theory unless otherwise stated. Since supersymmetry requires equal number of fermions and bosons, it is not an exact symmetry of Nature, but instead a broken one. Strings can be open with two ends or closed as a loop. In string theory, particles are now identified as a particular vibrational mode of an elementary microscopic string - an extreme reductionist approach! 1.2 String Theory: What is it really good for? 8 In 1984, the First Superstring Revolution was started by a discovery of anomaly cancellation by Michael Green and John H. Schwarz in 1984. In a crude manner of speaking, they showed that certain seemingly threatening features that could render the theory inconsistent are in fact treatable. The anomalies cancel out in the three known types of superstring theory. In 1985, two more cases where the anomalies cancel out have been found and studied, giving rise to the heterotic strings which hold great promise for describing the standard model. There are now 5 seemingly distinct string theories, called Type I, Type IIA, Type IIB, Heterotic SO(32), and Heterotic E8 × E8. Again, the details should not concern us. Anyway, this was a great concern because if string theory is to be a theory of everything that unifies gravity with the other three fundamental forces, you don’t want to have 5 different theories of everything while we only have one universe! Starting in 1995, Edward Witten led the Second Superstring Revolution. It was discovered that the seemingly different superstring theories are related by certain dualities and are just different limits of a 11-dimensional theory called M-theory, although no one seems to know what the “M” really stands for - it ranges from Mother, Matrix, Mystery, Magic, Membrane to, jokingly, an inverted “W” that stands for none other than Witten himself. Within this new unifying framework, new objects called branes were discovered as inevitable ingredients of string theory. An n-brane, short for n-dimensional membrane is extended object in string theory: strings themselves are one-dimensional object and is thus a 1-brane. A special type of brane called the D-brane allows open strings to attach their two ends on it with Dirichlet boundary conditions. D-branes were discovered by Dai, Leigh and Polchinski, and independently by Horava in 1989. In 1997, approaching the physics of black holes with the powerful mathematical tools of superstring theory, Juan Maldacena proposed the idea that is now known as AdS/CFT correspondence or the holographic principle in which he claimed that there is a deep relationship between pure non-gravitational theories and superstring theories [6]. The AdS/CFT correspondence says that string theory defined in Anti-de Sitter space (AdS) is equivalent to a certain conformal field theory (CFT, to be explained in more details later) defined on its boundary. The term correspondence was first used by Edward Witten when he elaborated on the idea in his classic 1998 paper.[7] This is what String Theory is good for as of now - not as a theory of everything, but to probe high energy strongly coupled systems that otherwise remain outside our reach. It does not matter whether what we call particles in our own universe are made of tiny wiggling strings or not - the strings in AdS/CFT live in 5-dimensional AdS bulk, if you prefer you can think of this as a mathematical trick in the following sense: What we are interested in is to solve problems involving certain field theory in our universe, AdS/CFT allows us to translate this problem to a gravitational theory in the 1.2 String Theory: What is it really good for? 9 5-dimensional AdS bulk which is easier to solve. We then translate our result back to the field theory. This is very much like going over to the Fourier transfrom space to solve problems. In Chapter 5 and Chapter 6, we will look at some applications of AdS/CFT, in particular, how the gravitational theory of topological black hole in the 5-dimensional AdS bulk can tell us something about the physics of quark gluon plasma living on the boundary (i.e. in our own universe!). To do so, we need to understand stability issues of black holes, which we will explore in Chapter 4. Chapter 2 From de Sitter Space to Anti-de Sitter Space and Conformal Field Theory In a nutshell, we can think of Anti-de Sitter space as an emtpy universe (with neither matter nor radiation) with negative cosmological constant. It is pedagogical to first review briefly the concept of cosmological constant, and some properties of de Sitter space that arised out of cosmology. 2.1 From Einstein’s Static Universe to the de Sitter Solution Consider a general spherical symmetric metric in (3+1) dimension, ds2 = e2A(r) dt2 − e2B(r) dr2 − r2 dΩ2 . Working through the standard but tedious steps, we obtain two Einstein’s Field Equations: 2B 1 − 2 r r e−2B e−2B + 2A 1 + 2 r r − 1 = −8πρ r2 (2.1) 1 = −8πp r2 (2.2) 2.1 From Einstein’s Static Universe to the de Sitter Solution 11 where p and ρ denote the pressure and density of the fluid described by the stress energy tensor Tµν = (ρ + p) uµ uν − pgµν and prime denotes derivative with respect to r. The general relativistic conservation of energy ∇ν T µν = 0 yields, in particular, ∇ν T 1ν = e−2B p + A e−2B ρ + A e−2B p = 0. That is, p = −A (ρ + p). The requirement that the universe be isotropic and homogeneous means that the energy density and pressure are uniform throughout space, i.e. p = 0. Furthermore Einstein, like most people during his days, believed that the universe should be static, and so p and ρ is a constant both in space and in time. Thus the previous equation reads − A (ρ + p) = 0 (2.3) Because the density of matter and the radiation pressure are presumably positive, Einstein chose A = 0, i.e. A is constant. Homogeneity implies that the coefficient of dt2 must be a constant, which we normalized to c2 , which is 1 in our choice of unit. Thus e2A = 1. Also, the second field equation then becomes: 1 2A + 2 r r 1 ⇒ e−2B − r2 1 ⇒ 2 e−2B − 1 r e−2B − 1 = −8πp r2 1 = −8πp r2 = −8πp ⇒ e−2B = 1 − 8πpr2 = 1 − r2 . a2E where a2E = (8πGp)−1 . The metric now takes the form ds2 = dt2 − dr2 − r2 dΩ2 . r2 1 − a2 E 2.1 From Einstein’s Static Universe to the de Sitter Solution 12 Re-scale by r → r. aE We have the metric that describes the Einstein’s Static Universe ds2 = dt2 − a2E dr2 + r2 (dθ2 + sin2 θdφ2 ) 2 1−r with spatial part describing a 3-sphere with radius a2E . Einstein was looking for a more or less realistic model of cosmology. However this solution is not suitable because if we were to work out the Einstein’s Field Equatiosn from the metric, we will get  3 1  R00 − R = − 2 2 aE 1 1 1 1  1 2 R1 − R = R2 − R = R33 − R = − 2 2 2 2 aE Now using dust approximation for the stress-energy tensor T00 = ρ T11 = T22 = T33 = 0 to describe matter dominated epoch, we will find that  3   − = −8ρ    a2E   1   − 2 = 0 aE which implies that matter density is zero - the universe is empty! The way to fix this is to introduce what is dubbed cosmological constant Λ into the Einstein’s Field Equations, which is also known as Einstein’s Greatest Blunder. The modified Einstein’s Fields Equations with full glory of G and c restored take the form: 1 8πG Rµν − gµν R + gµν Λ = − 4 Tµν . 2 c 2.1 From Einstein’s Static Universe to the de Sitter Solution 13 Note that our current choice of sign for metric (−, +, +, +) is the reason for the negative sign on the right hand side of Einstein’s Field Equations. In doing so the calculation above gets modified to  3   − + Λ = −8ρ    a2E   1   − 2 = −Λ aE which is equivalent to saying a2E = 1 . 4πGρ Thus introduction of cosmological constant into the theory allows for non-empty, matterdominated static universe. Alas, after Edwin Hubble’s observation that remote galaxies seem to move away from us and thus the universe is expanding instead of static, Einstein abandoned the cosmological constant, and claimed that it is the greatest blunder of his life. Einstein’s mistake, however, was not the introduction of cosmological constant. Instead, the most general form of Einstein’s Field Equations should contain the cosmological constant - whether or not the value is nonzero is to be determined by observational data. Hence Einstein was too quick to claim that cosmological constant is a blunder, for modern cosmology does require small value of cosmological constant to account for the acceleration of the universe. Mathematically, equation 2.3 has another solution corresponding to ρ + p = 0. For realistic matter, this means ρ = p = 0. Without cosmological constant this would mean the universe is utterly devoid of matter and radiation and so has zero curvature it must be a Minkowski space. However, the cosmological constant allows for interesting feature - curvature without matter and energy content. Putting the Λ term on the left hand side of the equation, cosmological constant becomes a property of spacetime itself independent of matter and energy. Adding Equation 2.1 and Equation 2.2 we have 2 −8π(p + ρ) = e−2B (A + B ) r With ρ = p = 0 this implies A = −B + const., and by requiring that locally the metric reduces to that of special relativity, the constant term must vanish. Equation 2.1 and Equation 2.2 are now equivalent, and with cosmological constant, they become: e−2B −2B 1 + 2 r r − 1 + Λ = 0. r2 2.1 From Einstein’s Static Universe to the de Sitter Solution 14 We can check that this is satisfied by B = B(r) such that e−2B = 1 − Λ 2 r . 3 This yields the de Sitter Space ds2 = or equivalently, with Λ ≡ 1− 3H 2 , c2 ds2 = c2 1 − dr2 Λ 2 + r2 dΩ2 r dt2 − 3 1 − Λ3 r2 (2.4) and restoring c, H 2 R2 c2 dt2 − dr2 2 2 2 2 2 2 − r (dθ + sin θdφ ). 1 − Hc2R The reason for introducing H seemingly out of nowhere will become clear shortly. Now we re-write t → T and r → R to avoid confusion, and apply change of variables R2 = e2Ht r2 T = t − ln − H 2 r 2 e2Ht −c2 2H . A straightforward albeit tedious computation enables us to re-write the de Sitter metric as the inflationary flat de Sitter universe ds2 = c2 dt2 − e2Ht dr2 + r2 (dθ2 + sin2 θdφ2 ) (2.5) This describes a spatially flat universe with time-dependent scale factor a(t) = eHt , i.e. a universe that expands at exponential rate. Indeed, let us write a = eγt where γ are constants, instead of eHt . Then differentiating with respect to t, which we will consistently denoted by an overdot, we get a˙ = γeγt = γa. That is, a˙ = γ. a But a/a ˙ is the definition for Hubble parameter, hence the choice of our symbol H. In general, Hubble parameter is time-dependent, but for de Sitter cosmology, it truly is a constant. The event horizon of the de Sitter universe is fixed. It can be obtained by setting recession velocity as the speed of light c in the Hubble law v = HD, which yield 2.2 Geometry of de Sitter Space 15 D = c/H. As the galaxies are carried by the Hubble flow and move out of the fixed horizon, we will see less and less things in our observable universe. We sometimes define Λ= 3 l2 so that with our previous definition Λ= 3H 2 c2 we get c H to be the length scale of the de Sitter universe. l= 2.2 Geometry of de Sitter Space It is very important to realize that while we can define coordinate transformation to get Equation 2.5 from Equation 2.4, they are not to be thought as equivalent, which is why I have chosen to call them by different names. This will be important fact to take note of when we study physics on either de Sitter or Anti-de Sitter space, and we will again point this out to the reader when the time comes. For now, let us take a detailed look at why the two metrics are not exactly the same thing. Mathematically, the de Sitter manifold can be defined as follow: Consider a 5-dimensional Minkowski space M4+1 . The de Sitter manifold is the hypersurface defined by dS4 = x = (x0 , x1 , x2 , x3 , x4 ) ∈ M4+1 : −x20 + x21 + x22 + x33 + x44 = l2 , x0 = t. which is a hyperboloid in the 5-dimensional Minkowski space. In general, a d-dimensional de Sitter space can be embedded in a flat (d+1)-dimensional spacetime. The global coordinates are given by the following [8]:  t   x0 = l sinh   l    xi = lω i cosh t , i = 1, ..., d. l where −∞ < t < +∞ and ω i ’s for the spatial sections of constant t satisfy d (ω i )2 = 1. i=1 2.2 Geometry of de Sitter Space 16 Indeed, ω i ’s are related to the angle parameters θi :  1  ω = cos θ1 ,     ω 2 = sin θ1 cos θ2 ,    .. .  ω d−2 = sin θ1 cos θ2 · · · sin θd−3 cos θd−2      ω d−1 = sin θ1 cos θ2 · · · sin θd−2 cos θd−1    ω d = sin θ cos θ · · · sin θ sin θ 1 2 d−2 d−1 where θ1 , θ2 , ..., θd−2 ∈ [0, π) and θd−1 ∈ [0, 2π). Inserting this into the Minkowski metric ds2 = −dt2 + dx21 + dx22 + ...dx2d we get ds2 = −dt2 + l2 cosh2 t l dΩ2d−1 where 2 dΩ2d−1 = dθ12 + sin2 θ1 dθ22 + · · · + sin2 θ1 · · · sin2 θd−2 dθd−1 j−1 d−1 sin2 θi = j=1 dθj2 . i=1 This coordinate system covers the entire de Sitter manifold (except for trivial coordinate singularities at θi = 0 due to the use of polar coordinates). At any fixed time t, the spatial section of de Sitter manifold is that of a (d − 1)-dimensional sphere of radius l cosh(t/l) - which is hence compact. The size of the sphere started out infinite in the infinitely old past and gradually contracted to a minimum size before expanding again until it becomes infinite size as t → ∞. de Sitter original solution 2 ds = dr2 Λ 2 2 + r2 dΩ2 1 − r dt − Λ 2 3 1 − 3r employs the static coordinate system (t, r, θa ), a = 1, 2, ..., d − 2. The parameter r, satisfying 0 ≤ r < ∞ and r ≤ l, allows us to decompose the hyperboloid equation into two constraints: a 2-dimensional hyperbola of radius − x0 l 2 + xd l 2 =1− 1− r l 2 r 2 l described by 2.2 Geometry of de Sitter Space 17 Figure 2.1: d-dimensional hyperboloid illustrating de Sitter spacetime embedded in (d + 1)-dimensions. Diagram modified from [8]. r l and a (d − 2)-dimensional sphere of radius x1 l 2 + ... + described by 2 xd−1 l = r l 2 . Summing up these two equations give us the hyperboloid equation that we started with. These equations are satisfied by x0 =− 1− l xi r = ωi, l l d x =− 1− l r l 2 t sinh , l r l 2 t cosh , l 2.2 Geometry of de Sitter Space 18 where the ω i are related to the d − 1 angle variables θi as before. One can check that these coordinate transformation converts the (d + 1)-dimensional Minkowski metric into r l ds2 = − 1 − 2 dr2 dt2 + 1− r 2 l + r2 dΩ2d−2 , where 2 dΩ2d−2 = dθ12 + sin2 dθ22 + ... + sin2 θ1 · · · sin2 θd−3 dθd−2 d−2 b−1 sin2 θa dθb2 = b=1 a=1 is the usual spherical metric on S d−2 . Note that there exist a cosmological horizon at r = l which corresponds to the vanishing 2 of the term 1 − rl . √ √ One also notes that −x0 + xd = − l2 − r2 e−t/l ≤ 0 and x0 + xd = − l2 − r2 et/l ≤ 0 and so the region r ≤ l only covers 41 of the whole de Sitter space. To draw the Penrose diagram, we first switch to Eddington-Finkelstein coordinates (x+ , x− , θα ) defined by x± = t ± l 1 + rl ln , 2 1 − rl where the range of x± is (−∞, +∞). This transforms the metric into the following form: x+ − x− x + − x− ds2 = − sech2 dx+ dx− + l2 tanh2 dΩ2d−2 2l 2l which covers the whole de Sitter space. We now transform to Kruskal coordinates (U, V ) by introducing U := −e V := e x− l −x+ l , which further converts the metric into ds2 = Now U V = −e(x − −x+ )/l l2 −4dU dV + (1 + U V )2 dΩ2d−2 . (1 − U V )2 . So we have − + 1 + UV 1 − e(x −x )/l r = , − −x+ )/l = (x 1 − UV l 1+e 2.2 Geometry of de Sitter Space by using the fact that x− − x+ = − ln l 19 l+r . l−r From this, we can see that at the origin r = 0, we have U V = −1. On the other hand, at the cosmological horizon r = l, we have U V = 0, corresponding to the axis of either constant U or constant V . Finally, at spatial infinity, U V = 1. This gives us the corresponding Kruskal diagram, of which after suitable conformal transformation, gives the following Penrose diagram (See Appendix for introduction to Penrose diagram). Figure 2.2: Penrose diagram for Kruskal extension of de Sitter space covered by the original static coordinate. Note that U = 0 corresponds to past infinity t = −∞ while V = 0 corresponds to the future infinity t = ∞. The topology of d-dimensional de Sitter space is S d−1 × R. In dS4 , as usual, generic points in the Penrose diagram represent 2-spheres, except for the points on the left and right edge of the square, which represent poles of the 3-spheres and hence are points. Now, an observer O at r = 0 is surrounded by cosmological horizon at r = l. This should not come as surprise since the original static coordinates covers only a quarter of the de Sitter space, which corresponds to the right triangle in the Penrose diagram. Regions III and IV are events which O will never be able to observe. Thus de Sitter space, unlike Minkowski space, has the property that even if you wait for eternity, there are events that you will not be able to observe. The inflationary flat de Sitter solution employs the planar (inflationary) coordi- 2.2 Geometry of de Sitter Space 20 nates related to the Kruskal coordinates by  t r − e− l  l   U=   2     V = 2 e − tl + r l Note that V > 0. Also, rl = U + V1 . We see that U V = −1 when either rl = 0 or rl = ∞ and V = 0. Furthermore, tl = − ln V1 − U , so past infinity t = −∞ has V = 0 i.e. this corresponds to the diagonal line in the Penrose diagram. Future infintity t = ∞ imples V1 − U = 0 or equivalently, U V = 1 so it corresponds to horizontal line at the top of the Penrose diagram. The planar coordinates cover half of the de Sitter manifold: Figure 2.3: Penrose diagram for de Sitter space covered by planar coordinates. Diagram taken from [8]. Indeed, due to the maximal symmetry (for introduction to maximally symmetric spacetime, see p.139 of [9].) and the topology of the de Sitter manifold, all three possible FLRW cosmologies can be realized on the space by suitable choices of the coordinate 2.2 Geometry of de Sitter Space 21 systems (Fig. 2.4). However, we will not go into further details. The point is this: while different coordinate systems are good for different applications, we need to be careful that a given coordinate system may also be misleading. For example, the global coordinate and static coordinate show the true curvature of de Sitter space, which is positively curved. The inflationary coordinate on the other hand suggests that the spatial section is flat, and worse, there is coordinate system that suggests the spatial section to be negatively curved corresponding to the FLRW hyperbolic open universe. In our subsequent application of AdS/CFT, the global feature of AdS space becomes important, and one should not be misled by coordinates. Figure 2.4: Different coordinates on the de Sitter manifold. Black curves represent hypersurfaces of constant cosmological time, while blue curves are timelike geodesics. Diagram taken from [10]. 2.3 AdS: Anti-de Sitter Space 2.3 22 AdS: Anti-de Sitter Space A d-dimensional anti-de Sitter space, denoted by AdSd , is a maximally symmetric spacetime with constant negative curvature. Unlike the de Sitter case, AdS space corresponds to solution of Einstein Field Equations with negative cosmological constant, i.e. Λ < 0. The metric for a d-dimensional anti-de Sitter space can be obtained by embedding a (d + 1)-dimensional hyperboloid in a flat (d + 1)-dimensional space with two time directions. I.e We can take AdS space as the hypersurface −(X 0 )2 + (X 1 )2 + ... + (X d−1 )2 − (X d )2 = −l2 . in semi-Riemannian manifold with coordinates (X 0 , X 1 , ..., X d ) where X 0 and X d are the time coordinates. In similar way as we did for dS space, we can describe AdS using static coordinates and ended up with the following metric ds2 = − 1 + r l 2 dr2 dt2 + 1+ r 2 l + r2 dΩ2d−2 , where X0 = 1+ l r Xi = ωi, l l d X = 1+ l r l 2 t cos , l r l 2 t sin , l with ω i , 1 ≤ i ≤ d − 1 defined as before in dS case. Unlike dS case though, the static coordinate covers the entire spacetime. Note that unlike dS space, the coefficient of dr2 is regular for all r, so there is no cosmological horizon. Using new coordinates defined by x± = t ± l arctan rl , we can re-write the metric as ds2 = − sec2 x+ − x− 2l dx+ dx− + l2 tan2 x+ − x− 2l dΩ2d−2 . We then proceed to do coordinate transformations in ways similarly to de Sitter case, which will finally give us the Penrose diagram for anti-de Sitter space. So we see a peculiar behavior for light rays in anti-de Sitter space: a light ray can travel from the center (r = 0) to infinity, and bounced back in finite proper time of an observer in the center. 2.4 Conformal Compactification 23 Figure 2.5: Penrose diagram for AdS. Dotted curves denoted timelike geodesics, while red lines are null geodesics. We note that the spacetime topology of AdSd is Rd−1 × S 1 . It admits closed timelike curves (CTCs) due to time having topology S 1 . Some physicists are uncomfortable with this potential acausality and speak of passing to the universal covering spacetime AdSd instead. See for example, p.131 of [12]. That is to say, one unwraps the S 1 representing time coordinate into its covering space R. And by “Anti-de Sitter” space, one actually means its universal cover AdSd . See, however, [13] for more detailed discussion why nothing new is gained by doing so, and why the “demon of acausality” remains not exorcised. 2.4 Conformal Compactification In the appendix, we show that Minkowski metric can be transformed into ds2 = Ω−2 (T, R) −dT 2 + dR2 + sin2 R(dθ2 + sin2 θdφ2 ) , ˜ 2 = Ω2 (T, R)ds2 = Thus we see that Minkowski metric ds2 is conformally related to d˜ s2 by ds 2 2 2 2 2 2 −dT +dR +sin R(dθ +sin θdφ ), with ranges given by 0 ≤ R < π and −π < T < π. The spatial part of this metric is a three-sphere with constant curvature. The universal cover of the conformal compactification of Minkowski spacetime is thus the Einstein Static Universe ESU4 ∼ = S 3 × R, with 0 ≤ R ≤ π and −∞ < T < +∞. That is to say, Minkowski spacetime is conformally mapped into a subspace of ESU4 . If we represent ESU4 as a cylinder where time runs vertically and each circle of constant time 2.4 Conformal Compactification 24 represents a 3-sphere, then we can map Minkowski space to a portion of the cylinder. Figure 2.6: The embedding of Minkowski spacetime into Eistein static universe protrayed as a portion of an infinite cylinder. In the cylinder, Minkowski spacetime is the interior of the region bounded by the red curves. The boundaries themselves are not part of the original Minkowski spacetime, We call such boundary conformal infinity or conformal boundary. The union of the original spacetime with its conformal infinity is a manifold with boundary which we call the conformal compactification. We now perform analogous construction on AdSd : Starting from the metric ds2 = − 1 + We have r l 2 dt2 + dr2 1+ r 2 l + r2 dΩ2d−2 , 2.5 Conformal Field Theory 25  ds2 = 1 + r l 2   2 −dt + dr2 2 r 2 l 1+ r2 + 1+  dΩ2d−2  . 2 r 2 l Introduce new coordinate variable ω= dr 1+ r 2 l = tan−1 r . l This transforms the metric into the form ω ω −dt2 + dω 2 + l2 sin2 dΩ2d−2 ds2 = sec2 l l which is manifestly also mapped into the Einstein cylinder. Note that spatial infinity r = ∞ corresponds to ω = lπ2 . Thus AdS also doesn’t map into the entire cylinder, but rather 2l of the cylinder. For example, if l = 1, then it covers half of the cylinder, with ω runs from 0 to π2 instead of full rotation π. Well, really, to get to AdSd instead of its universal cover one still needs to identify the time coordinate modulo 2π. 2.5 Conformal Field Theory The Anti-de Sitter space is a space of maximal symmetry, that is, AdSd has d(d+1) 2 symmetry transformations. Thus AdS5 has 15 symmetry transformations. In Maldacena’s conjecture, gravity in AdS5 is dual to a Yang-Mills theory in the usual (3 + 1)dimensional space, which has 10 symmetries (6 Lorentz transformations and 4 spacetime translations). Therefore not all Yang-Mills theory in (3+1)-Minkowski space is dual to AdS5 , only certain Yang-Mills theories with additional symmetry contraints are possible. In turns out that such additional symmetries are the conformal symmetries which are symmetries under the conformal transformations dilatation and inversion, i.e. xµ → λxµ and xµ → xµ x2 respectively. For introduction to Yang-Mills theory, see for example, [14]. Any quantum field theory that is invariant under the conformal transformations is called a conformal field theory. Any theory that is invariant under dilatation is said to 2.5 Conformal Field Theory 26 be scale invariant. Note that under inversion, the origin is mapped to infinity and vice versa. The Yang-Mills theory, in addition, is invariant with respect to supersymmetry which pairs integer-spin particles with half-integer-spin particles. The gauge symmetry of the theory is SU (N ). For the correspondence to be useful, N must be sufficiently large. This can be seen as follows [15] [73]: 2 The ’t Hooft Coupling λ = gYM N where gYM denotes the Yang-Mills coupling, determines the interaction strength of the field theory. The local strength of gravity in the AdS bulk is determined by the curvature with characteristic length scale lc : smaller value of lc corresponds to greater curvature. Since the AdS bulk is actually string theoretical, there is another length scale ls related to the string: it is inversely related to the string tension. The ’t Hooft coupling of the boundary Yang-Mills theory satisfies λ ∝ (lc /ls )4 . If ls lc , the strings are weakly coupled in the bulk. Correspondingly, the interactions in the Yang-Mills theory is strongly coupled. Conversely, weak ’t Hooft coupling in the Yang-Mills theory corresponds to strong string coupling in the bulk, and the dual gravitational theory will require full non-perturbative stringy calculations. It turns out that the Yang-Mills coupling is proportional to the string coupling, so if string coupling were to be small (for perturbative method to be useful), N must be large. We quote the following result without rigorous proof: A d-spatial dimensional Euclidean quantum field theory is dual to (d+1)-spatial dimensional hyperbolic space; while a d-dimensional quantum field theory is dual to (d + 1)-dimensional Anti-de Sitter space. For a reason why this is true, note that we have shown above that the conformal boundary of AdSd is essentially (part of) ESUd−1 ∼ = S d−2 × R, so for example, a 43 dimensional quantum field theory defined on S × R is dual to gravity in 5-dimensional Anti-de Sitter space. To get the Euclidean version of the correspondece, we simply Wick-rotate the time coordinate into imaginary time t → τ = it which is a standard procedure of analytic continuation in quantum field theory. But how do we see that the Wick-rotated version of Anti-de Sitter space is just the hyperbolic space? Armed with basic knowledge of 2-dimensional hyperbolic geometry (See the following box on “Some Basic Facts in Hyperbolic Geometry”), we shall consider the 3-dimensional case (higher dimension is similarly constructed). 2.5 Conformal Field Theory 27 Some Basic Facts in Hyperbolic Geometry There are a few ways that we can study the 2-dimensional hyperbolic space, one is by using the upper half-plane model H2 = {(x, y)|y > 0}. The Upper Half Plane Model is the hyperbolic plane, as much as anything can be, but we call it a model of the hyperbolic plane because any surface isometric to H2 is equally entitled to the name. [19]. The H2 model has metric ds2H2 = dx2 + dy 2 |dz|2 = . y2 (Im(z))2 where we write dz = dx + idy, and so dx2 + dy 2 = (dx + idy)(dx − idy) = dzdz = |dz|2 . Note that the angles in H2 always look like its Euclidean counterparts: the infinitesimal distance ds = dx2 + dy 2 /y is simply the Euclidean infinitesimal distance dx2 + dy 2 scaled by 1/y. Angles are ratios of side lengths of infinitesimal triangles, which are therefore the same since the scaling factor cancelled out. Geodesics on H2 turned out to be semicircles orthogonal to the real axis and the upper half lines Re(z) = const. (Recall from Complex Analysis that lines are degenerate circles). In other words the geodesics are of the form (x − b)2 + y 2 = r2 where for r = ∞ the equation corresponds to Euclidean line. The other widely used model of hyperbolic plane is the Poincar´e disk model D2 , also called the conformal disk model. It is the unit open disk {z ∈ C||z| < 1} in which geodesics are arcs of circle whose ends are perpendicular to the disk’s boundary and the diameters of the disk (corresponding to the degenerate circles). One can obtain D2 from H2 by well known M¨obius transformation from Complex Analysis. The metric on D2 is given by ds2D2 = dx2 + dy 2 |dz|2 = (1 − x2 − y 2 )2 (1 − |z|2 )2 . As with H2 , the D2 -angles are also the same as Euclidean angles. This follows from the fact that the mapping from H2 to D2 is angle-preserving by properties of M¨obius transformation. This is why we call this model conformal disk model. In fact, there are other disk models for hyperbolic space which are not conformal. The hyperbolic space H3 can be obtained from the usual stereographic projection of the hyperboloid (of two sheets) X 2 + Y 2 + Z 2 − U 2 = −1 from the point (0, 0, 0, −1) 2.5 Conformal Field Theory 28 to the hyperplane at U = 0 ([20]). The coordinates on the hyperplane is given by x= X , U +1 y= Y , U +1 z= Z . U +1 Also, r 2 ≡ x2 + y 2 + z 2 = X2 + Y 2 + Z2 −1 + U 2 −1 + U . = = (1 + U )2 (1 + U )2 1+U If we solve X, Y, Z and U in terms of the hyperplane coordinates instead, we get X= 2x , 1 − r2 Y = 2y , 1 − r2 Z= 2z , 1 − r2 U= 1 + r2 . 1 − r2 The intrinsic metric on the hyperbolic space is then ds2 = 4 (dx2 + dy 2 + dz 2 ), r < 1. (1 − ρ2 )2 To be more specific this is the metric of hyperbolic space in the Poincar´e ball model, a direct generalization of the Poincar´e disk in 2 dimensions: ds2D = dx2 + dy 2 . (1 − x2 − y 2 )2 Similarly, consider say, 4-dimensional Anti-de Sitter space as a quadric X 2 + Y 2 + Z 2 − U 2 − V 2 = −1 where U and V are the “temporal” directions. We can also define stereographic projection on AdS space from say, the point (0, 0, 0, 0, −1) onto the hyperplane at V = 0: X= 2x 2y 2z 2u 1 + r2 , Y = , Z = , U = , V = 1 − r2 1 − r2 1 − r2 1 − r2 1 − r2 where r2 = x2 + y 2 + z 2 − u2 < 1. We then obtain the intrinsic metric of AdS4 as ds2AdS4 = 4 (−du2 + dx2 + dy 2 + dz 2 ). 2 2 (1 − r ) Thus we see that Wick-rotating the time coordinate to the Euclidean version yield ds2H4 = 4 (du2 + dx2 + dy 2 + dz 2 ) (1 − r2 )2 the Poincar´e ball form of hyperbolic 4-space. 2.5 Conformal Field Theory 29 Readers may enjoy The Hyperbolic Chamber at http://www.josleys.com/article show.php?id=83, a website that gives a good attempt to visualize how does it feel like to live in the hyperbolic space. Chapter 3 Black Holes in de Sitter and Anti-de Sitter Space The Kottler metric in (3+1)-dimension is given by ds2 = − 1 − 2m Λr2 − r 3 dt2 + 1 − 2m Λr2 − r 3 −1 dr2 + r2 dθ2 + sin2 θdφ2 which is a generalization of the Schwarzschild metric (Λ = 0). It is the unique spherically symmetric solution of Einstein’s vacuum field equation with a cosmological constant Λ. It is also known as the Schwarzschild-de Sitter metric for the case Λ > 0 and the Schwarzschild-Anti-de Sitter metric for Λ < 0. The Kottler metric was found independently by F. Kottler in 1918 and by H. Weyl in 1919. 3.1 Black Holes with Cosmological Constant The generalized Kottler metric in d-dimensional spacetime with coordinate labelled by xµ = (t, r, xi ) where 1 ≤ i ≤ d − 2 is given by ds2 = −f (r)dt2 + [f (r)]−1 dr2 + r2 hij (x)dxi dxj where f (r) = k− (3.1) ωd m r2 16πG ± 2 , for which k = −1, 0, +1, and ωd = , d−3 r l (d − 2)Vol(M d−2 ) 3.1 Black Holes with Cosmological Constant 31 √ dd−2 x h; while l is a length scale (radius of curvature) related to the (d − 1)(d − 2) cosmological constant Λ := ∓ . The notation follows [21]. 2l2 Vol(M d−2 ) = 2 The ± sign in front of the term rl2 and the ∓ sign of the cosmological constant depends on whether the black hole is asymptotically Anti-de Sitter (AdS) or asymptotically de Sitter (dS), respectively. The horizon metric dσ 2 = hij (x)dxi dxj describes a constant curvature Einstein submanifold with scalar curvature k = −1, 0, +1 which correspond to negatively curved, flat, and positively curved compact submanifolds, respectively. In fact, as we shall see, the Ricci curvature of the horizon satisfies Rij (h) = k(d − 3)hij . The coefficient of dr2 being [f (r)]−1 is not a wild assumption; instead, we can derive it. The generalized Kottler metric describes a static, spherically symmetric spacetime exterior of the black hole. Thus the general form of the metric should be ds2 = −f (r)dt2 + g(r)dr2 + r2 hij dxi dxj for some functions f (r) and g(r). 1 . The derivation is similar to the derivation of the well We will show that g(r) = f (r) known Schwarzschild metric. We start with the Lagrangian 1 1 −f (r)t˙2 + [f −1 (r)]r˙ 2 + r2 hij (x)x˙i x˙j . L(x˙σ , xσ ) := gµν (xσ )x˙µ x˙ν = 2 2 Here we use dot to denote differentiation with respect to t and prime to denote differentiation with respect to r. From the Lagrangian, we obtain the Euler-Lagrange equations:  ∂L   =0   ∂t     ∂L = −tf ˙ (r). ∂ t˙ and 3.1 Black Holes with Cosmological Constant 32  ∂L 1  ˙i ˙j ˙2 g 2    ∂r = − 2 f (r)t + 2 r˙ + rhij x x     ∂L = g(r)r. ˙ ∂ r˙ From the first set of Euler-Lagrange equations, we then obtain the geodesic equation d du ∂L ∂ t˙ − ∂L ˙ (r) + f (r)t¨ = 0. = 0 ⇒ r˙ tf ∂t I.e. f t¨ + r˙ t˙ = 0. f (3.2) This gives us the Christoffel symbols: Γtrt = Γttr = 1f . 2f From the second set of Euler-Lagrange equations, we get the second geodesic equation given by 1 g (r) ˙ 2 g(r)¨ r + g (r) ˙ 2 + f (r)t˙2 − − rhij x˙ i x˙ j = 0. 2 2 I.e. r¨ + ˙ 2 rhij i j g 2 1 f ˙2 g (r) r˙ + t − − x˙ x˙ = 0. g 2g 2g g This gives the following Christoffel symbols: 1f 2f 2g g g Γrrr = − = 2g 2g 2g rhij Γkij = − . g Γrtt = (3.3) 3.1 Black Holes with Cosmological Constant 33 We proceed to compute the Riemann curvature tensor: t Rrtr = ∂t Γtrr − ∂r Γttr + Γttf Γfrr − Γtrf Γftr = −∂r Γttr + Γttr Γrrr − Γtrt Γttr 1f 1f 1g 1f = −∂r + − 2f 2f 2g 2f 1f g 1 (f )2 1 ff − f f + − =− 2 f2 4 fg 4 f2 (f )2 1 (f )g 1 (f )2 1f + − =− + 2 f 2f 2 4 fg 4 f2 1 (f )2 1 f g 1f + + . =− 2 f 4 f2 4 fg 2 t t So Rtrtr = gtt Rrtt = −f Rrtr which gives the pair  1f 1 (f )2 1 f g  t  R =− + +   2 f 4 f2 4 fg  rtr (3.4)    1 1 (f )2 1 f g  Rtrtr = f − − . 2 4 f 4 g Similarly, t Ritj = Γttr Γrji = 1f 2f − rhij g . So we obtain the pair  1f  t  Ritj =   2f  − rhij g    1 rhij f  Rtitj = . 2 g (3.5) 3.1 Black Holes with Cosmological Constant 34 Also, with a ranges over the {xi }, i.e a = 1, ..., d − 2, r Rirj = ∂r Γrji − ∂j Γrri +Γrra Γaji − Γrja Γari =0 hij rhij g =− + + Γrrr Γrji − Γrji Γiri g g2 rhij rhij hij rhij g g + − − − =− + 2 g g 2g g g rg hij = . 2g 2 1 r which gives the pair  rg hij  r  = Rirj   2g 2    rg hij   Rrirj = . 2g Contracting the Riemann curvature tensors gives us the Ricci tensors: Rtt = g rr Rrtrt + g aa Ratat 1 1 (f )2 1 f g 1 rhaa f = f − − + r−2 haa g 2 4f 4 g 2 g 2 (f ) fg f 1 = f − − 2 + (d − 2) 2g 4f g 4g 2rg 2 1 (f ) fg f − 2 + (d − 2) . = f − 2g 4f g 4g 2rg and similarly, λ Rrr = Rrλr = g tt Rtrtr + g ij Rirjr 1 1 (f )2 1 f g rg hij =− f − − + r−2 hij f 2 4f 4 g 2g 2 1 (f ) fg g =− f + + + (d − 2) . 2 2f 4f 4f g 2rg (3.6) 3.1 Black Holes with Cosmological Constant 35 Now we would like to find the expression of Rij . Using Gauss equations (also known as Gauss-Codazzi equations) that relates the Riemann curvature of a manifold and its embedded submanifold, we have (see, e.g. page 100 of [22]), with tilde denotes operations and quantities with respect to the manifold and those without tilde denotes those associated with the submanifold with metric ds2 = r2 hij (x)dxi dxj , RV W X, Y = RV W X, Y − II(V, X), II(W, Y ) + II(V, Y ), II(W, X) where II denotes the second fundamental form. Taking V = ∂i , W = ∂j , X = ∂k , Y = ∂l , we have: Rijkl = r2 Rijkl (h) − = r2 Rijkl (h) − T ∇V X T , ∇W Y ∇∂i ∂k , ∇∂j ∂l T + + ∇V Y T , ∇W X ∇ ∂i ∂ l , ∇ ∂j ∂ k m m m = r2 Rijkl − Γm ik ∂m , Γjl ∂m + Γil ∂m , Γjk ∂m . Here m Γm ik ∂m , Γjl ∂m = Γtik ∂t + Γrik ∂r + Γaik ∂a , Γtjl ∂t + Γrjl ∂r + Γajl ∂a = Γrik ∂r + Γaik ∂a , Γrjl ∂r + Γajl ∂a since Γtik = 0 = Γtjl . Similarly, m r a r a Γm il ∂m , Γjk ∂m = Γil ∂r + Γil ∂a , Γjk ∂r + Γjk ∂a . Indeed, Γrik ∂r , Γrjl ∂r = Γrik Γrjl ∂r , ∂r = (−rf hik )(−rf hjl )grr = (−rf hik )(−rf hjl )g = r2 f 2 ghik hjl . Similarly Γril ∂r , Γrjk ∂r = r2 f 2 ghil hjk . 3.1 Black Holes with Cosmological Constant 36 We recall fondly that the Christoffel symbol in coordinate form is given by 1 Γikl = g im (∂l gmk + ∂k gml − ∂m gkl ) . 2 This gives 1 Γaik = g am (∂k gmi + ∂i gmk − ∂m gik ) 2 1 = g am (∂k gmi + ∂i gmk ) 2 1 = g aa (∂k gai + ∂i gak ) 2 1 1 = g ii (∂k gii ) + g kk (∂i gkk ) . 2 2 Note that we get from the first step to the second step by noting that since the submanifold is of constant curvature, the famous result by Riemann guarantees that we can always choose a coordinate system which metric tensor is diagonal, i.e. gij = 0 if i = j. We then obtain 1 Γajl = g am (∂l gmj + ∂j gml − ∂m gjl ) 2 1 am = g (∂l gmj + ∂j gml ) 2 1 = g aa (∂l gaj + ∂j gal ) 2 1 1 = g jj (∂l gjj ) + g ll (∂j gll ) . 2 2 Similarly, 1 1 Γail = g ii (∂l gii ) + g ll (∂i gll ) 2 2 and 1 1 Γajk = g jj (∂k gjj ) + g kk (∂j gkk ) . 2 2 3.1 Black Holes with Cosmological Constant 37 This implies that Γaik Γajl − Γail Γajk = 14 g ii (∂k gii ) g jj (∂l gjj ) + g ll ∂j gll + 14 g kk (∂i gkk ) g jj (∂l gjj ) + g ll ∂j gll − 41 g ii (∂l gii ) g jj (∂k gjj ) + g kk ∂j gkk − 14 g ll (∂i gll ) g jj (∂k gjj ) + g kk ∂j gkk = 41 g ii (∂k gii ) g jj (∂l gjj ) + g ll ∂j gll − 14 g ii (∂l gii ) g jj (∂k gjj ) + g kk ∂j gkk = 41 [g ii g jj ∂k gii ∂l gjj − g ii g jj ∂l gii ∂k gjj ] = 41 [g jj g ii ∂k gjj ∂l gii − g ii g jj ∂l gii ∂k gjj ] = 0. Thus m m m Rijkl = r2 Rijkl − Γm ik ∂m , Γjl ∂m + Γil ∂m , Γjk ∂m . That is, Rijkl = r2 Rijkl (h) − r2 f 2 g[hik hjl − hil hjk ]. (3.7) We now derive the Ricci tensor: Rij = Rλ iλj = g tt Rtitj + g rr Rrirj + g aa Raiaj 1 rg hij 1 1 rhij f + + g aa r2 Raiaj (h) − r2 f 2 g(haa hij − haj hia ) =− f 2 g g 2g r hij f rg hij + + Rij (h) − f 2 g(d − 2)hij + f 2 g haa haj hia =− 2f g 2g 2 =δja =− r hij f rg hij + + Rij (h) − (d − 3)f 2 ghij . 2f g 2g 2 So summarizing what we know about the Ricci tensors Rµν , we have  1 (f )2 f g f   R = f − − + (d − 2) tt   2g 4f g 4g 2 2rg        1 (f )2 f g g Rrr = − f + + + (d − 2) 2  2f 4f 4f g 2rg         R = − r hij f + rg hij + R (h) − (d − 3)f 2 gh .  ij ij ij 2f g 2g 2 We will now use the Einstein Field Equations of the following form: (3.8) 3.1 Black Holes with Cosmological Constant 38 1 Rµν − gµν R + Λgµν = 8πTµν . 2 (3.9) We remind the readers that we have set G = 1 = c. Proposition.The generalized Kottler metric ds2 = −f (r)dt2 + g(r)dr2 + r2 hij (x)dxi dxj necessarily satisfies g(r) = [f (r)]−1 . Proof. If the submanifold with metric ds2 = r2 hij dxi dxj is Ricci-flat, corresponding to vanishing cosmological constant, then in particular Rtt = Rrr = 0. From 3.8, we have: f g + =0 2rf 2rg g f + =0 ⇒ f g ⇒f g+gf =0 ⇒ (gf ) = 0 ⇒ gf = const. (d − 2) In this case the metric is asymptotically flat and we need f (r) → c2 and g(r) → 1 as 2 r → ∞. Thus g = cf , i.e. g = f1 in our geometrical unit where c = 1. If there exist nonzero cosmological constant Λ, then Rµν =  2Λ 2Λ   g =− f R =   tt d − 2 tt d−2 2Λ g . d−2 µν We have: (3.10)    Rrr = 2Λ grr = 2Λ g d−2 d−2 So that again we obtain (d − 2) f g + = 0 ⇒ gf = const. 2f 2rg In the presence of negative cosmological constant, the spacetime is asymptotically antide Sitter, and consequently, f (r) = and ωd m r2 k − d−3 + 2 r l r2 →k+ 2 l 3.1 Black Holes with Cosmological Constant g(r) → r2 k+ 2 l 39 −1 . 2 2 Note that the asymptotical behavior k + rl2 is the same as that of 1 + rl2 , as required for Anti-de Sitter metric, since the constant value k is negligible compared to the dominate 2 term rl2 for large r. We need to be careful with the asymptotically de Sitter case. This is because there is no spacelike asymptotic region in spatially spherical de Sitter, and consequently there is no “large r”. In fact by asymptotically de Sitter, we means that the spacetime should tend to de Sitter space in the far future, and so we should consider timelike infinity instead of just a spacelike one. For simplicity, set l = 1 in the defining equation of de Sitter space as hyperboloid embedded in 5-dimensional Minkowski space. Recall that de Sitter space first shrinks and upon reaching minimal radius, expands as time passes. The spatial section is S 3 and thus finite, with radius of the sphere grows with r = cosh(T ), where T is the proper time measured by observer at rest on the 3-sphere, and related to coordinate t (of the 5-dimensional ambient Minkowski space it embedded in) by t = sinh(T ). As t approaches infinity, the radius of the 3-sphere also tends to infinite, and consequently, f (r) = k− ωd m r2 − 2 rd−3 l →k− r2 l2 and g(r) → k− r2 l2 −1 . Since we have f g constant, as in the asymptotically flat case, we must have g = f1 . Thus, we have ds2 = −f (r)dt2 + [f (r)]−1 dr2 + r2 hij (x)dxi dxj , with 3.1 Black Holes with Cosmological Constant    f (r) =          k− 40 ωd m r2 ± 2 rd−3 l (d − 3)ωd m 2r f (r) = ± 2   rd−2 l         f (r) = −(d − 3)(d − 2)ωd m ± 2 . rd−1 l2 (3.11) So we can further simplify the Ricci tensors to:  1 1  Rtt = f f + f f (d − 2)    2 2r      1f 1 f Rrr = − − (d − 2)   2 f 2r f        Rij = Rij (h) − hij [(d − 3)f + rf ] Therefore, 1 1 Rtt = f f + f f (d − 2) 2 2r 1 f = f f + (d − 2) 2 r 1 −(d − 3)(d − 2)ωd m 2 (d − 3)(d − 2)ωd m 2(d − 2) = f ± + ± 2 rd−1 l2 rd−1 l2 1 2(d − 1) (d − 1) = f ± = ± f 2 l2 l2 d−1 2Λ = ∓ 2 gtt = gtt . l d−2 (3.12) 3.1 Black Holes with Cosmological Constant 41 1f 1 f − (d − 2) 2 f 2r f 1 (d − 2)f =− f + 2f r 1 −(d − 3)(d − 2)ωd m 2 (d − 3)(d − 2)ωd m 2(d − 2) = f ± 2+ ± d−1 2 r l rd−1 l2 2(d − 1) 1 ± =− 2f l2 d−1 d−1 2Λ = ∓ 2 = ∓ 2 grr = grr . l f l d−2 Rrr = − and finally, Rij = Rij (h) − hij [(d − 3)f + rf ] (d − 3)ωd m 2r ωd m r2 ± 2 = Rij (h) − hij (d − 3) k − d−3 ± 2 + r r l rd−2 l 2 (d − 3)ωd m 2r2 (d − 3)ωd m (d − 3)r ± + ± 2 = Rij (h) − hij k(d − 3) − rd−3 l2 rd−1 l 2 2 2r (d − 3)r = Rij (h) − hij k(d − 3) ± ± 2 2 l l 2 (d − 1)r = Rij (h) − hij k(d − 3) ± l2 2Λ = gij + (Rij (h) − hij k(d − 3)) . d−2 Thus we get an the Kottler metric describing an Einstein manifold, i.e. the Ricci tensor satisfies 2Λ Rµν = gµν d−2 provided that the horizon itself is an Einstein space with Ricci tensor satisfying Rij (h) = k(d − 3)hij . (3.13) 3.2 Curvature of the Event Horizon 3.2 42 Curvature of the Event Horizon Consider again the metric ds2 = −f (r)dt2 +[f (r)]−1 dr2 +r2 hij (x)dxi dxj . In the asymptotically de Sitter case, we have f (r) = k − ωd m r2 − 2, rd−3 l (d − 1)(d − 2) corresponding to the cosmological constant Λ = . We claim that the 2l2 event horizon of this black hole solution must be positively curved. In fact, one notes that if k = 0 or k = −1, then assuming that mass parameter m is positive, we must have f (r) < 0 and the time coordinate t becomes spacelike while the coordinate r becomes timelike, which contradicts our purpose of using this metric to describe spacetime exterior to a black hole. So indeed the horizon of the black hole must be positively curved. For the case asymptotically Anti-de Sitter case however, as shown in [21], the curvature of the event horizon can be flat or even negative. 3.3 Physics of Topological Black Holes This section is largely based on [17] and [18], where I have filled in some details of the calculations. Henceforth in this chapter we shall consider topological black holes in (4+1)-dimensional asymptotically Anti-de Sitter spacetime. Let us consider electrically neutral black hole of the following form: g(AdSSchk ) = − r2 16πM +k− dt2 + 2 L 3Γk r2 r2 L2 dr2 +k− 16πM 3Γk r2 + r2 dΩ2k (3.14) where L is the radius of curvature of AdS5 ; dΩ2k is a metric of constant curvature k = {−1, 0, +1} on a compact 3-space Ck with area Γk . The conformal boundary has the topological structure of Ck × R. Note that the notation g(AdSSchk ) means it is uncharged black hole with horizon curvature k; despite “Sch” being short form for Schwarzschild, this black hole need not have spherical topology. For example, for C1 , it can be S 3 with Γ1 = 2π 2 or RP 3 with Γ1 = π 2 . In fact, Γ1 is fixed by the topology of the underlying space. Mathematically the horizon can then be one of the 3.3 Physics of Topological Black Holes 43 infinitely many 3-manifolds of constant positive curvature, for example, the Lens space L(p, q) := S 3 /Zn . Note that the space C0 is not uniquely defined unlike C1 : There are 6 possible topologies in the orientable case. They are called Torocosm (3-dimensional torus T 3 ), Dicosm (T 3 /Z2 ), Tricosm (T 3 /Z3 ), Tetracosm (T 3 /Z4 ), Hexacosm (T 3 /Z6 ), and Didicosm (also called Hantzsche-Wendt space T 3 /(Z2 × Z2 )). For details, see Theorem 3.5.5 of [23] or [24]. Unlike asymptotically Minkowski black holes that most of us are familiar with, 5dimensional AdS black holes are not uniquely specified by their entropy [17]. That is, for any fixed value of entropy, there will be AdS black holes of the same entropy with either positively curved or flat event horizons, and within each class, there are yet many different black holes with that entropy. Let us look at this claim in more details. For the metric g(AdSSchk ) = − 16πM r2 +k− dt2 + 2 L 3Γk r2 r2 L2 dr2 +k− 16πM 3Γk r2 + r2 dΩ2k . We have 2 4 k − 16πM L2 + 3L2 Γk reh 3Γk reh = 0. 2 3L2 Γk reh (3.15) That is the event horizon satisfies 1 2 reh −3L2 Γk k + [9L4 Γ2k k 2 + 12Γk (16πM L2 )] 2 = ≥ 0. 6Γk The entropy of the black hole is proportional to the area of the event horizon given by 3 Γeh = Γk reh . 3.3 Physics of Topological Black Holes 3.3.1 44 Positively Curved Uncharged AdS Black Holes We have 2 −3L Γ1 + Γeh = Γ1 3 [9L4 Γ21 2 + 192Γ1 πM L ] 6Γk = L3 Γ1 2− 2 −1 + 1 + 64πM 3Γ1 L2 1 2 1 2 3 2 3 2 . The event horizon can have the topology of any non-singular quotient of the form S 3 /Γ where Γ is a finite group, e.g. any of the ADE finite subgroups of SU(2), namely the cyclic, quarternionic and binary polyhedral groups. If the order of Γ is |Γ|, then the 2 . As seen from the example of lens space Γ = Zn , |Γ| = n value of the area is Γ1 = 2π |Γ| can be as large as we want. Correspondingly Γ1 can be arbitrary small, as for the lens 2 space, it is Γ1 = 2πn , n ∈ Z+ . Looking at the equation 3 Γeh = L3 Γ1 2− 2 −1 + 1 + 64πM 3Γ1 L2 1 2 3 2 , we see that if the mass is small compared to L2 , (that is to say, it has a value typical for a black hole which evaporates completely), then taking the quotient of the event horizon by small group Γ actually increases the entropy of the black hole; and taking quotient by large enough group decreases the entropy. However if the mass is large enough compared to L2 , then taking quotient always decreases the entropy. Fixing the entropy (and hence the horizon), the dimensionless quantity expressed as follows: 2 2 3 3 1 M 3 Γeh Γeh −1 = Γ1 3 + Γ13 . 2 2 2 L 16π L L Proof. From 3.15, we see that 4 2 3Γ1 reh + 3L2 Γ1 reh 16πM L2 = . 16πL4 16πL4 I.e. 2 3 Γ1 reh4 Γ1 reh M + = 2. 4 2 16π L L L M L2 can be 3.3 Physics of Topological Black Holes 45 Now −1 4 4 2 Γ1 3 3 Γ13 reh Γ1 reh LHS = + 16π L4 L2 4 4 −4 −1 −2 2 3 3 3 Γ13 Γeh Γ1 3 Γ1 3 Γ1 3 Γ1 Γeh = + 16π L4 L2 −1 4 1 2 3 3 Γ1 3 Γ13 3 Γeh Γeh = + 16π L4 L2 = RHS. The fact that M can always be found for any value of Γ1 implies that if Γ1 changes by taking quotients, the effects of this can always be compensated by choosing M appropriately. By elementary Calculus, one notes that 2 3 3 Γeh M = L 16π L2 2 3 Γeh L2 −1 1 Γ1 3 + Γ13 as a function of Γ1 has global minimum at Γ1 = Γeh , L3 at which point we have 3 Γeh M = . L 8π L3 If ΓLeh3 2π 2 , then for a finite number of steps downwards from 2π 2 , we need to reduce M if we were to keep entropy constant. Conversely if ΓLeh3 2π 2 , then M has to be increased correspondingly. Thus, one conclude that For each specified value of the entropy, there is a countable infinity of AdS black holes with positively curved event horizons with the specified entropy. Two different black holes with positively curved event horizons can have the same entropy and the same mass. For example, fixing M , black holes with the following event hozirons S 3 /Z120 , S 3 /Q120 , S 3 /I˜ 3.3 Physics of Topological Black Holes 46 where Q120 is the quarternionic (binary dihedral) group, and I˜ is the binary icosahedral 2 group, all have Γ1 = π60 and hence have the same entropy. Remark: In algebraic geometry, a homology sphere is an n-dimensional manifold with the homology groups of n-sphere. Among these homology spheres, The Poincar´e homology sphere (also known as Poincar´e dodecahedral space) is the only homology 3-sphere (besides the 3-sphere itself) with a finite fundamental group. The fundamental group is precisely the binary icosahedral group with order 120. 3.3.2 Flat Uncharged AdS Black Holes As mentioned previously, in the orientable case, there exist 6 possible topologies for flat AdS black holes. Conway and Rossetti call compact flat 3-manifolds the rather cute name platycosms for flat universe. In each case, there are continuous parameters which distinguish manifolds of the same topology which have different global geometries. For example, consider the 3-torus T 3 , one can tile R3 with various lattices before identifying the edges to form torus, and there are 6 continuous parameters that describe the possible fundamental domain (See [24] and [25]). For example the cubical 3-torus R3 /Z3 is different from the Two-storey 3-torus R3 /(Z × Z × 2Z). In general, a 3-torus is parametrized by 3 angles (just like the usual donut is parametrized by 2 angles). T 3 is said to be cubic if all 3 angles have the same periodicity 2πK, where K is a dimensionless parameter. For the other topologies resulted from taking quotients of the 3-torus, we have smaller number of continuous parameters. This is to be expected since the parameters have to be fixed in order to perform the projection to the quotient. For details see [24]. Also see [26] for detailed interesting discussion on tetracosm and didicosm. Consider the cubical 3-torus. The corresponding area is then Γ0 (T 3 ) = 8π 3 K 3 , −∞ < K < +∞ where K is a continuous parameter. This equation also defines K, so that for arbitrary compact flat 3-manifolds, K becomes a measure of the overall relative size of the space. The metric for flat uncharged AdS black hole is g(AdSSch0 ) = − r2 2M − 2 3 2 dt2 + 2 L 3π K r r2 L2 dr2 + r2 dΩ20 . 2M − 3π2 K 3 r2 3.3 Physics of Topological Black Holes Figure 3.1: 47 Number of continuous parameters of platycosms. The event horizon is given by reh 1 4 16πM L2 = 3Γ0 2M L2 = 3π 2 K 3 1 4 which decreases with K. The area of the horizon however increases with K: Γeh = 8 3 4 2 3 3 3 3 3 3 π 2 (M K) 4 L 2 ≈ 32.866(M K) 4 L 2 . It follows that 3 Γeh 8 2 3 3 4 Thus 3 3 = π 2 K 4 L3 3 M 4 L2 L3 4 M = L2 3 Γeh L4 K −1 3 . 32π 2 Thus similar to the positively curvature case, we can adjust M to keep Γeh fixed as we vary K over the 6 sets of flat compact orientable 3-manifolds. That is, if we specifiy the area Γeh , then we can choose any of the 6 topologies, choose the parameters corresponding to the topology chosen, compute its corresponding K, and use the above equation to deduce M . 3.3 Physics of Topological Black Holes 48 Thus, For each specified value of the entropy, there is a uncountable infinity of AdS black holes with flat event horizons with the specified entropy. We shall derive the entropy-area relation of flat uncharged black hole: Let f (r) = r2 2M 2r 4M − 2 3 2 ⇒ f (r) = 2 + 2 3 3 . 2 L 3π K r L 3π K r The Hawking temperatre (see Appendix B) is T = T = Also, M = 4 3π 2 K 3 reh . 2 2L so 4 M 3π 2 K 3 reh + 2L2 M reh + . = 3 3 2πL2 3π 3 K 3 reh 6π 3 L2 K 3 reh Thus we have T = 4 3π 2 K 3 reh + 2L2 4 3π 2 K 3 reh 2 2L 3 6π 3 L2 K 3 reh Consider T as a function of r, i.e. T (r) = of r, i.e. M (r) = f (reh ) , 4π 3π 2 K 3 r4 . 2L2 = reh . πL2 r . Similarly we consider M as a function πL2 The entropy S is given by integrating the first law of thermodynamics T dS = dM : reh S= 0 reh = 0 1 dM (r) dr T (r) dr πL2 6π 2 K 3 r3 dr r L2 reh 6π 3 K 3 r2 dr = 0 3 . = 2π 3 K 3 reh That is, 1 1 3 S = (8π 3 K 3 )reh = Γeh . 4 4 So flat uncharged black hole in AdS satisfies the usual entropy-area relation of black holes, namely the entropy is a quarter of the horizon area. The same is true for electrically charged case although the derivation is much more complicated. 3.3 Physics of Topological Black Holes 49 In addition, the Hawking temperature is r T = = πL2 3.3.3 S 2π 3 K 3 1 3 1 1 S3 = . 1 πL2 2 3 π 2 KL2 Negatively Curved Uncharged AdS Black Holes There is a vast set of distinct compact manifolds of negative curvature, of which we will not go into the details. The horizon in this case would be quotient of hyperbolic space Hn /Γ where Γ is a discrete subgroup made of discrete boosts of SO(n, 1). The resulting space is a compact space of genus g with 4g sides and angle sum equal to 2π. [29]. Figure 3.2: A regular octagon in the Poincar´ e disk such that its sum of angles equals 2π. The edges are geodesics. When opposing edges are identified we obtain a surface of genus two, with no singularities. Diagram is from [29]. 3.3 Physics of Topological Black Holes 50 The volume of compact negatively curved space is fixed by the magnitude of the curvature and the topology of the space. It is interesting to remark that in 3 dimensions the unique smallest volume (also, just to remind the readers, closed and oriented as we always assume in our discussion) hyperbolic 3-manifold is the Weeks manifold. See [27] and [28] for discussions. 3.3.4 Flat Electrically Charged Black Holes in AdS The metric of (n + 1)-dimensional Reissner-Nordstr¨om-Kottler black holes with cosmological constant Λ ([30], [31]) is given by ds2 = −f dt2 + f −1 dr2 + r2 dΩ2k where f = f (M, Q, r) = k − ωn Q2 r2 ωn M + ± , rn−2 2(n − 2)Γk r2n−4 l2 ωn := 16π . (n − 1)Γk So a (4+1)-dimensional charged flat AdS black hole has the metric g(AdSRN0 ) = − r2 2M Q2 − + dt2 + L2 3π 2 K 3 r2 48π 5 K 6 r4 dr2 r2 L2 − 2M 3π 2 K 3 r2 We will always assume Q > 0 for simplicity. Let x = r2 > 0, the event horizon satisfies x3eh − 2M L2 xeh Q2 L2 + = 0. 3π 2 K 3 48π 5 K 6 Note that the cubic polynomial G(x) := x3 − Q2 L2 2M L2 x + 3π 2 K 3 48π 5 K 6 has local minimum at 2M L2 . 9π 2 K 3 Existence of event horizon thus requires G(xmin ) ≤ 0. xmin = A straightforward calculation yields 5 G(xmin ) = − 3 2 2 M 2 L3 9 27π 3 K 2 + Q2 L2 . 48π 5 K 6 + Q2 48π 5 K 6 r4 + r2 dΩ20 . 3.3 Physics of Topological Black Holes 51 Therefore 5 3 Q2 L2 2 2 M 2 L3 G(xmin ) ≤ 0 ⇒ ≤ 9 48π 5 K 6 27π 3 K 2 I.e. 5 48π 5 2 2 64 √ 2 ≤ 2π ≈ 99.255. = 3 27π 3 9 L(KM ) 2 Q2 A 4 The entropy of the black hole satisfies the usual S = (3.16) relationship, namely 3 S = 2π 3 K 3 reh . In terms of M, L and K, the entropy of an extremal black hole is given by √ SE = 2π 3 K 3  = 2π 3 K 3 2L 2L2 KM3 9π 2 4 = 2  3π 2 3 π 4 K 4 2L2 KM3 = 9π 2 7 3  32 M K3 4 2 2 π K L MK 9 3 4 3 4 3 4 2 In the first step we have used the fact that for extremal hole, reh = xmin . That is, 1 4(2) 3 π 2 M L2 K S= 9 3 4 . (3.17) We can also compute the temperature of the charged flat AdS black hole as we did for the uncharged case. Starting with f (r) := r2 2M Q2 − + L2 3π 2 K 3 r2 48π 5 K 6 r4 f (r) = 2r 4M Q2 + − . L2 3π 2 K 3 r3 12π 5 K 6 r5 we get 3.3 Physics of Topological Black Holes 52 Therefore f (reh ) 4π 1 2reh Q2 4M = − + 3 5 4π L2 3π 2 K 3 reh 12π 5 K 6 reh T = 1 2 = 4π L2 1 S3 1 2 3 πK 2 1 2 1 2 1 5 4M π 3 K 3 2 Q2 (2π 3 K 3 ) 3 − + 5 3π 2 K 3 S 12π 5 K 6 S 3 5 1 23 S 3 Q2 2 3 4M π 3 2 = − + 5 4π πKL2 3π 2 S 12KS 3 1 23 S 3 8π + = 4π πKL2 3S 2 reh Q2 + 4 L2 48π 5 K 6 reh 2 4 5 2 3π 2 K 3 reh Q2 2 3 − 5 2 12KS 3 5 8Q2 2 3 π 2 K 2 Q2 2 3 1 23 S 3 4π 3 K 3 S 3 + − + 5 5 4π πKL2 SL2 2 43 π 4 K 4 96π 2 K 3 S 3 12KS 3  1 2  2 2 5 3 3 + 23 S 2 2 3 3 1  Q 8(2) 2  = + − 5 2 4π πKL 96 12 KS 3 = = 1 1 1 5 2 3 π2 3 2 2 S 3 2 3 2 2(2) 3 Q2 . − 5 πKL2 24KS 3 That is, 1 S3 Q2 T = 1 − . 5 2 3 π πKL2 24KS 3 1 (3.18) Let us now explore the relation between entropy S and the charge Q. We substitute the entropy-area relation 3 S = 2π 3 K 3 reh into the event horizon defining equation 6 2 2M reh Q2 reh − + = 0. L2 3π 2 K 3 48π 5 K 6 3.3 Physics of Topological Black Holes 53 This yields S2 S 2M − 2 3 6 6 2 4π K L 3π K 2π 3 K 3 1 2 3 + Q2 = 0. 48π 5 K 6 2 S2 23 MS 3 Q2 ⇒ 6 6 2− + = 0. 4π K L 3π 4 K 5 48π 5 K 6 2 1 12S 2 − 16(2) 3 M S 3 π 2 KL2 + Q2 πL2 ⇒ = 0. 48π 6 K 6 L2 2 1 ⇒ πQ2 L2 = 16(2) 3 M S 3 π 2 KL2 − 12S 2 . Note that for any Q2 , there are two corresponding S, we shall choose the larger value of S corresponding to the entropy of the horizon, instead of the smaller one corresponding to the inner horizon. The lower bound of entropy is obtained from 3.17: 1 4(2) 3 2 π M L2 K S ≥ SE := 9 3 4 3 ≈ 0.647322(π 2 M L2 K) 4 . On the other hand the upper bound of the charge is given by  1 1 1 2 3 1 4(2) 3 2 1 4(2) 2 2 2 2 2 2  3 − 12 Q ≤ QE = 2 16π M L K π ML K π M L2 K πL2 9 9 7 3 6 1 1 3 1 42 1 3 3 3 3 2 22 3 16π M L 2 LK 2 − 12 2 2 2 = (2) πM 3 2 π M L K πL2 3 92 √ 9 3 3 16(2) 6 32 2 = − π 2 M 2 LK 2 3 9 √ √ 3 3 32 2(3) 32 2 − π 2 M 2 LK 2 = 9 9 3 64 √ 2 3 = 2π M 2 LK 2 . 9 This of course agrees with 3.16. 3 2   3.3 Physics of Topological Black Holes 54 The temperature of the black hole from 3.18 can be expressed in terms of M, S, K and L: 1 S3 Q2 T = 1 − 5 2 3 π πKL2 24KS 3 1 1 2 1 S3 2 3 16π 2 M L2 KS 3 − 12S 2 = 1 − 5 2 3 π πKL2 πL2 (24KS 3 ) 1 1 1 1 1 S3 S3 2πM 2 3 = 1 + . − 3S 2πL2 K 2 3 π πKL2 That is, 1 T = 3S 3 1 3 2 2π 2 KL2 − 2M . 3S (3.19) We see that for large value of S, i.e. small value of Q, the temperature of the black 1 hole varies as S 3 . We note from the above expressions that the entropy of black holes in AdS is nonzero. As we throw in more and more electrical charges, the temperature decreases until it reaches zero temperature, and the entropy reaches SE . An extremal hole thus has zero temperature but nonzero entropy, a peculiar fact that also presents in the case of charged spherical black holes in asymptotically Minkowski spacetime. Chapter 4 Stability of Anti-de Sitter Black Holes There are various (in)stability issues in the study of Anti-de Sitter black holes, for example: thermodynamical stability, various perturbative stabilities and non-perturbative stability. In this chapter we will only deal with thermodynamical stability and nonperturbative stability. For perturbative stability, one may see for example [32] where the author studies gravitational perturbations of scalar, vector as well as tensor type; and [33] which also deals with non-perturbative stability. 4.1 Thermodynamics Instability Black holes in Anti-de Sitter space have thermodynamical properties such as possessing temperature and entropy equal to one quarter of the horizon area, just as their better known asymptotically flat counterparts. An obvious stability issue to consider for a thermodynamical system is whether there can be phase transition where the system changes its physical behaviour drastically - e.g. water solidifying into ice. More precisely, phase transition is classified by the behaviour of the order parameter around the transition temperature. Recall that for example, in water-ice and water-vapour transition the density is the order parameter, while the order parameter in the case of ferromagnetic transition is the magnetization. In this section we will focus on the uncharged case only. Thermodynamic stability of charged black holes will be discussed in the next chapter when we explore the application to quark gluon plasma. Consider a spherically symmetric uncharged black hole in (n + 1)-dimensional Anti-de 4.1 Thermodynamics Instability 56 Sitter space, the temperature and mass as functions of r are given by (see e.g [34] and [35]). Ωn−1 rn−1 S(r) = 4 and Ωn−1 (n − 1)[rn L−2 + rn−2 ] M (r) = . 16π where Ωn−1 is the area of unit (n − 1)-dimensional sphere. For a fixed temperature T , consider the function f (r, T ) defined by f (r, T ) ≡ M − T S. We have f (r, T ) = M − T S (n − 1)[rn L−2 + rn−2 ] T rn−1 = Ωn−1 − 16π 4 Ωn−1 = (n − 1)[rn L−2 + rn−2 ] − 4πT rn−1 . 16π Differentiating with respect to r yields Ωn−1 ∂f = (n − 1) nrn−1 L−2 + (n − 2)rn−3 − 4πT rn−2 (n − 1) ∂r 16π Ωn−1 (n − 1)rn−3 = nr2 L−2 + (n − 2) − 4πT r . 16π We see that setting this derivative to zero yields the temperature of the black hole with event horizon at r = reh : TE ≡ 2 nreh L−2 + (n − 2) nr2 + (n − 2)L2 = eh . 4πreh 4πL2 reh Consider T as a function of r: T (r) = nr2 + (n − 2)L2 . 4πL2 r 4.1 Thermodynamics Instability 57 Then the Helmholtz free energy is given by H ≡ f (r, T ) Ωn−1 nr2 + (n − 2)L2 = (n − 1) rn L−2 + rn−2 − 4πrn−1 16π 4πL2 r Ωn−1 (n − 1)[rn L−2 + rn−2 ] − L−2 rn−2 (nr2 + (n − 2)L2 ) = 16π Ωn−1 = (n − 1)rn−2 − (n − 2)rn−2 + (n − 1)rn L−2 − L−2 rn n 16π Ωn−1 n−2 = r − rn L−2 16π r2 Ωn−1 n−2 1− 2 = r . 16π L Thus we can see that H=  r2   > 0 if < 1 ⇔ 0 < r < L,   L2  2   < 0 if r > 1 ⇔ r > L. L2 Let us look at the explicit case for n = 4 case, and set L = 1 for simplicity. Then S(r) = and M (r) = π 2 r3 2 2π 2 (3)[r4 + r2 ] 3π(1 + r2 )r2 = . 16π 8 We have f (r, T ) = 3π(r2 + r4 ) π 2 r3 T − . 8 2 and so ∂f 6πr + 12πr3 3r2 π 2 T = − . ∂r 8 2 Setting this partial derivative to zero gives us 3 2 6πreh + 12πreh 4reh +2 TE = = . 2 2 12π reh 4πreh Now f (r, T ) = 3π(r2 + r4 ) − 4π 2 r3 T πr2 [3 + 3r2 − 4πrT ] = . 8 8 4.1 Thermodynamics Instability 58 For f (r, T ) = 0, we have either r = 0 or √ √ 4πT ± 16π 2 T 2 − 36 2πT ± 4π 2 T 2 − 9 r= = . 6 3 The obvious constraint for having real nonzero roots is 4π 2 T 2 ≥ 9, that is T ≥ Evidently when T = Tc ≡ 3 , 2π 3 . 2π we have, r= 2πT = 1 = L. 3 The Helmholtz free energy is H= = = = 3π(r2 + r4 ) π 2 r3 4r2 + 2 − 8 2 4πr 2 2 4 3π(r + r ) π(4r + 2)r2 − 8 8 π(3r2 + 3r4 − 4r4 − 2r2 ) 8 π 2 2 r (1 − r ). 8 Thus we see that H= .   > 0, if 0 < r < 1 = L.   < 0, if r > 1 = L. Note that H = 0 for r = 0 holds in any dimension. This is the no black hole phase or AdS phase since r is the horizon radius (which acts as the order parameter). We can plot the curve of f (r, T ) against r. We note that for any fixed curvature scale L, the range r > L corresponds to black hole phase while 0 < r < L corresponds to AdS phase. This is because AdS has H = 0; for r > L, we have H < 0 which is energetically favourable state than H = 0 and vice versa. We note that the local minimum shifts from H > 0 region into H < 0 region as we increase the temperature. At T > Tc the black hole phase minimizes the Helmholtz free energy and so AdS black holes are stable in those regime. At T < Tc black hole phase is unstable and we have the background Anti-de Sitter space which is energically favorable. At T = Tc both the black hole phase and the AdS phase coexist. This is a way of looking at the Hawking-Page phase transition [36]. 4.1 Thermodynamics Instability 59 Figure 4.1: A plot of f (r, T ) with horizontal r-axis. The curves from top to bottom correspond to temperatures 0.417, 3 ≈ 0.47 and 0.497. The plot is lifted from [35]. 0.467, 2π Another interesting fact to note is that from the formula of the temperature T = nr (n − 2) + , 2 4πL 4πr we see that setting the derivative with respect to r to zero yields n (n − 2) = ⇒ nr2 = (n − 2)L2 ⇒ r = 2 2 4πL 4πr n−2 L. n That is to say, a spherical uncharged black hole in Anti-de Sitter space has a minimum temperature which occurs when its size is of the order of the characteristic radius of the Anti-de Sitter space. Larger black holes have greater temperature as measured from infinity. Thermodynamically this means that AdS black holes are very different from asymptotically flat cousins - they have positive specific heat and can be in stable equilibrium with thermal radiation at a fixed temperature. Below the allowed minimum temperature there is no stable black hole solution. Indeed, as evidenced from a typical plot of β ≡ T1 against r, for any fixed nonzero temperature (except the minimum temperature), there are two corresponding black hole solutions. The large black holes, which by large we means larger than the AdS curvature scale, the temperature grows linearly with radius, while the small black holes have temperature 4.1 Thermodynamics Instability 60 Figure 4.2: A typical plot of the inverse temperature plotted against horizon radii for spherical uncharged AdS black holes. There is a minimum temperature below which there are no black hole solutions. The plot is lifted from [37]. inversely proportional to their size (i.e. they have negative specific heat), a feature shared by the asymptotically flat case. This we can check: Taking the limit L → ∞ gives us the corresponding result for asymptotically flat case, in which the temperature is inversely proportional to radius: TL→∞ = n−2 . 4πr In the familiar (3+1)-dimensional Schwarzschild case, since M= 4π(2)r r = , 16π 2 this reduces to the well-known Hawking-Bekenstein formula (See Appendix B): T = 1 . 8πM Written in full glory this reads T = Therefore c3 . 8πGM k 4.1 Thermodynamics Instability 61 Asymptotically flat spherical uncharged black holes have temperature inversely proportional to their mass (and hence size): large black holes are cold while small black holes are hot. They have negative specific heat and so evaporates. Furthermore, they heat up as they evaporate. Asymptotically Anti-de Sitter spherical uncharged black holes behave differently: due to positive specific heat, large black holes do not evaporate away completely but come to equilibrium with their own Hawking radiation, in other words, they are eternal. On the other hand, small hot black holes evaporate while cold black holes are not stable and decay into the Anti-de Sitter background. 4.1.1 Phase Transition for Flat Uncharged AdS Black Hole From our previous discussion on the physics of flat AdS black hole, we showed that in the case of uncharged black hole, the temperature grows linearly with the horizon radius r T = πL2 so these black holes also have positive specific heat much like the spherical case. However there is a crucial difference: there is no Hawking-Page transition into the AdS background for cold black holes. For details see [21]. Nevertheless if we choose the background to be Horowitz-Myers soliton [38] instead of AdS, then there is a transition. The following discussion follows that of [41]. The (n + 1)-dimensional Horowitz-Myers AdS soliton takes the metric of the form ds2s = −r2 dt2s + r2 L2 dr2 + A − rn−2 r2 A − L2 rn−2 dφ2 + r2 hij dθi dθj . where hij is a Ricci flat metric on the horizon equipped with coordinates {θi } and A is some parameter that need not coincide with that of the black hole. In view of comparison with the flat black hole, we consider the case whereby hij is a metric on the torus Rn−2 /Γ where Γ is some discrete group action. Similarly to the Wick-rotated black hole metric, we need to avoid conical singularity and impose regularity condition: 4πL2 the angle φ needs to be identified with period βs = (n−1)r where rs+ is the zero of s + r2 L2 A 1 T − rn−2 . Recall that here β = is the reciprocal of the temperature. See Vs (r) = Appendix B for the method of such regularization. Note that as pointed out in [41], the AdS soliton has a flat conformal boundary of topology R × S 1 × Rn−2 /Γ instead of positively curved topology of R × S n−2 in the case of global Anti-de Sitter space. The Wick-rotated version is of course 4.1 Thermodynamics Instability ds2 = r2 dτs2 + r2 L2 62 dr2 + A − rn−2 r2 A − n−2 2 L r dφ2 + r2 hij dθi dθj . where the imaginary time τs , in view of matching solutions for regularization later on, has the same period as that of the Euclidean black hole, say 2πP . Horowitz and Myers proposed that in (4+1)-dimension any spacetime which asymptotically approaches the soliton metric g¯µν , that is, the spacetime with metric gµν = g¯µν +hµν such that hαβ = O(r−2 ), hαr = O(r−4 ) and hrr = O(r−6 ) for α, β = r, must have energy E ≥ 0 with respect to the soliton, where equality is attained only by the soliton itself. It has since been proven that with proper boundary conditions satisfied, the Horowitz-Myers soliton is indeed the configuration of least energy [39],[40]. Let us compare the soliton metric with the flat black hole metric ds2 = − B r2 − n−2 2 L r dt2b + r2 L2 dr2 + r2 dψ 2 + r2 hij dθi dθj . B − rn−2 where B is a parameter related to the mass of the black hole and the size parameter K. We have singled out arbitrarily an angle parameter ψ from the {θi }. Recall that the period of ψ is 2πK. The conformal boundary of the flat black hole is the same as that of the soliton, and the 2 B event horizon reh of course satisfies Vb (reh ) = 0 where Vb = Lr 2 − rn−2 . Wick-rotating the metric and requiring regularity one obtain similarly that βb = 4πL2 . (n−1)reh We regularize thermodynamical quantities by matching the two solutions at some finite cutoff radius R and calculate the quantity as a function of R, and finally send R to infinity. This is similar to ultraviolet cutoff in quantum field theory. The matching conditions at finite R then requires that the metric on the two tori be the same, and furthermore βs Vs (R) = R(2πK) and βb Vb (R) = R(2πP ). That is βs R2 A − n−3 = 2πRK 2 L R and R2 B − n−3 = 2πRP. 2 L R Sending R to infinity yields in the limit, βb βs = 2πLK, βb = 2πLP 4.1 Thermodynamics Instability 63 which is independent of the parameter A and B. As shown in [41], there is indeed phase transition from flat black hole to the soliton (provided the soliton parameter A is not the same as that of the black hole parameter B). Indeed the regularized black action in the 5-dimensional case is given by [18] I = αP K 3 K −4 − P −4 where α is a positive number depending on L, of which the precise value can be computed [41] but should not concern us for later applications. It is clear that if A = B then the action vanishes and there is no phase transition. The phase transition is determined by K and P , i.e. by the precise shape of the 4-dimensional torus at the Euclidean conformal infinity, by the extent to which it deviates from being cubic. From the matching condition βb = 2πLP , we have P = β 2πL = 1 . 2πLT Thus I = αP K 3 K −4 − (2πT L)4 . (4.1) That is, I = αP K 3 1 − (2πT LK)4 . K4 From this, with free energy of the Horowitz-Myers soliton taken to be zero, we see that black hole is energetically favoured only if its temperature is not too low compared with 1 . Unlike spherical black holes however, area and temperature of AdS black holes 2πKL are independent quantities. This distinction implies that the stability of black holes not only depend on temperature but also their size: black holes with sufficiently big K can be stable even if T is small, i.e. A very large but very cold AdS flat uncharged black hole can be stable. Conversely a sufficiently small AdS flat black hole can be unstable even if it is very hot. While this property is richer than that of the spherical black holes, nevertheless there exists minimum temperature for these flat black holes: for any fixed K and L, stable black holes must statisfy the bound T ≥ 1 . 2πKL (4.2) which we will refer to hereinafter as the Horowitz-Myers phase transition temperature bound. 4.2 Non-perturbative Instability of AdS Black Holes 64 In other words lower temperature hole is unstable and is replaced by the AdS soliton instead. Thus just like the spherical AdS black holes, flat AdS black holes have temperature that is bounded away from zero. 4.2 Non-perturbative Instability of AdS Black Holes By non-perturbative instability or Seiberg-Witten instability, we mean nucleation of codimension-one branes in the AdS. This instability arises out of string theoretical considerations, hence to formulate this even semi-rigorously will require a great deal of effort which will deviate too far off the track of this thesis. We therefore only state the results that are relevant to us. In the notation of [42], the Seiberg-Witten action for a (D − 1)-brane carrying a charge q in a (D + 1)-dimensional spacetime is  D 2(D−4) 2φ 8 D−2 2  2  T r0 √g (1 − q)φ D−2 D−2 φ R + O φ + (∂φ) + for D > 2    2D (D − 2)2 4(D − 1) S=   2    T r0 √g (1 − q)e2φ + 2 [(∂φ)2 + φR] − R + O(e−2φ ) for D = 2. 4 We will be focusing on D > 2 case, i.e. for spacetime dimension at least 4. The field ϕ tends to infinity as the conformal boundary is approached, and R is the scalar curvature of that boundary. We state the following without proof: Non-perturbative instabilities arise if S becomes negative since brane nucleation leads to large branes having energy which is unbounded from below as they approach the boundary. Equivalently, stability requires that the scalar curvature at conformal infinity should remain non-negative. This is the case for AdS space itself, with posivitely curved conformal infinity. Obvious danger for the action to become negative is in the case of either q > 1 or R < 0. The first case does not happen if the background is supersymmetric, such as in AdS/CFT correspondence. For readable account of non-perturbative instability, see [33]. In particular, for any codimensional-one brane in any Euclidean asymptotically AdS5 space, the Seiberg-Witten action [42] is defined by S = Θ (Brane Area) − µ (Volume Enclosed by Brane) . (4.3) where Θ is related to the tension of the brane and µ relates to the charge enclosed by the brane. Note that the area contributes positively, but the volume negatively, to the 4.2 Non-perturbative Instability of AdS Black Holes 65 action; thus the volume must not grow too rapidly relative to the area if the action is to remain positive. The most dangerous case is when the charge is saturated (much like extremal black hole), called the BPS case (BPS is short for Bogomol’nyi-Prasad-Summerfield ), which in 5-dimension, is given by 4Θ µBPS = . L We will assume BPS condition for subsequent discussion. It is also worth recalling that de Sitter and Anti-de Sitter space admit many different coordinates that might or might not cover the whole manifold. Since the branes are sensitive to the global geometry of the spacetime, it is crucial that one does not use misleading coordinates which might suggest that the the conformal infinity of the spacetime has the wrong scalar curvature than what it should be. Chapter 5 Estimating the Triple Point of Quark Gluon Plasma In this chapter we will study the quark gluon plasma, specifically we will use our knowledge of black holes in 5 dimension to tell us something about quark gluon plasma in our 4 dimensional universe. We remind the readers that quark gluon plasma is a complicated thing to study from field theory perspective, what we are doing is to deal with its gravitational dual in the AdS bulk which is easier to study, and finally see what the solution entails about the original field theory problem. We also remind the readers that there need not be any physical basis in the mysterious 5 dimensional AdS bulk as one can simply treat it as a sort of transform space which need not be physical. The chapter is based on [18] and [44]. I fill in most of the calculation details. 5.1 An Introduction to Quark Gluon Plasma A quark is an elementary particle and a fundamental constituent of matter. Quarks combine to form composite particles called hadrons, the most stable of which are protons and neutrons, the components of atomic nuclei. There are six types of quarks, known as flavors: up, down, charm, strange, top, and bottom. Quarks have various intrinsic properties, including electric charge, colour charge, spin, and mass; they experience all 4 fundamental forces, namely electromagnetism, strong and weak nuclear force, as well as gravity. The quark model was proposed by physicists Murray Gell-Mann and George Zweig in 1964. A proton for example, has 2 up quarks and 1 down quark while a neutron has 1 up quark and 2 down quarks. Since proton has electric charge +1 and neutron is electrically 5.1 An Introduction to Quark Gluon Plasma 67 neutral, this means that quarks have fractional electric charge: up quark has electric charge + 23 while down quark − 31 . Quarks are confined inside the hadron in colourneutral state, i.e. the colour combination of the constituent quarks give “white”: for hadrons this typically mean the 3 quarks are red, green and blue; while for meson which is made up of 2 quarks, this means red and anti-red, blue and anti-blue or green and anti-green. Note that colour is merely a convenient label, they are not really optically colourful in the usual sense. Colour-confinement means that we cannot observe free quark. One way to think of colour-confinement is to consider say, a meson made up of one quark and one anti-quark. The early attempt to study quark models the force between them as flux tube, which is the original version of string theory. The colour force favors confinement because at a certain range it is more energetically favorable to create a quark-antiquark pair than to continue to elongate the colour flux tube. So as we try to pull the quark-anti-quark pair apart, we eventually end up with two pairs of them instead, i.e. 2 mesons instead of one. In standard model QCD, the colour force is mediated by particle called gluon, analogous to photon being the force-carrier for electromagentic force in QED. Unlike photons however, gluons carry colour charges and so interact among themselves. There are eight independent types of gluon in QCD. In dealing with the nature of quark confinement, one visualization is that of an elastic bag of hadron or meson which allows the quarks to move freely around, as long as you don’t try to pull them further apart. But if you try to pull a quark out, the bag stretches and resists, eventually the energy is so great as to allow pair production of new quarkantiquark pairs and we end up with bags of mesons in addition to the original bag. Thus the further we try to pull quarks apart, the greater the containment force they experience; inside the bag, they are free to move about, and we call that asymptotic freedom. These bags of hadrons and mesons are analogous to vapour bubbles in a liquid. The QCD vacuum exerts pressure B on the quarks and gluons. 5.1 An Introduction to Quark Gluon Plasma Figure 5.1: The confinement of quarks. 68 Cartoon is from [45]. Quark Gluon Plasma or QGP, or sometimes dubbed quark soup, is a phase of quantum chromodynamics (QCD) which exists at extremely high temperature or density. This phase consists of (almost) free quarks and gluons, i.e. the quarks are deconfined. Such a state is believed to exist in the early universe when the temperature is very high (T > 100GeV) and all the known particles were extremely relativistic. Back then even what we now call “strongly interacting” particles such as the quarks and gluons should interact weakly due to asymptotic freedom. They thus form hot weakly interacting colour-charged particles. As the universe cooled due to expansion of space, the quarks, antiquarks and gluons combined to form hadrons which eventually result in baryonic matter that we are familiar with today. Much of the physics about QGP and how this transition to hadronic matter happened are still not understood. 5.1 An Introduction to Quark Gluon Plasma 69 It is interesting to note that it is possible that the core of neutron star is dense enough for quarks to deconfine to exhibit QGP or other quark matter phase, although it is colder than the QGP in the very early universe and is made up of predominantly matter instead of almost equal mix of matter and antimatter [51] [52]. A neutron star is formed by gravitational collapse of a massive star which is nevertheless not massive enough to form black hole. The most famous neutron star is probably that at the center of the Crab Nebula (M1) in the constellation of Taurus, which is also a pulsar. The supernova explosion that produced the Crab Nebula was observed on Earth in 1054 A.D. and recorded down by the ancient Chinese and Arabs. Historical records revealed that a new star bright enough to be seen in the daytime was observed. Now, almost a thousand years later, a neutron star left behind by the explosion is seen spewing out a blizzard of high-energy particles into the expanding debris field known as the Crab Nebula. X-ray data from Chandra telescope provides significant clues to the workings of this mighty cosmic generator, which is producing energy at the rate of 100,000 suns. Below the surface of the neutron star, the pressure due to gravity is so extreme that there are no longer any atoms: everything is compressed down to a liquid of neutrons. Even deeper into the core, if the density becomes high enough, the neutrons themselves will be crushed out of existence, thus liberating the quarks inside forming quark matter. Since black holes in 5 dimensions may help us to understand the properties of QGP in 4 dimensions, one day we may be able to study the state of matter in the interior of neutron stars in this way. So neutron stars which are as closed as one can get before becoming black hole in 4 dimension is in this very roundabout way related to black holes in 5 dimension! 5.1 An Introduction to Quark Gluon Plasma 70 Figure 5.2: M1 Crab Nebula. The Chandra X-ray image is shown in blue, the Hubble Space Telescope optical image is in red and yellow, and the Spitzer Space Telescope’s infrared image is in purple. The X-ray image is smaller than the others because extremely energetic electrons emitting X-rays radiate away their energy more quickly than the lower-energy electrons emitting optical and infrared light. More down to earth though, experimentally, a consensus has been reached that some form of a quark gluon plasma has been produced in the RHIC Au-Au collisions [48] [49] [50]. RHIC stands for Relativistic Heavy Ion Collider, a 2.4-mile-circumference particle accelerator at the U.S. Department of Energys (DOE) Brookhaven National Laboratory. At the temperature reached at RHIC, quark matter is still strongly interacting, and is sometimes called sQGP. In this work, we will simply refer to them as QGP: they are what QGP becomes once temperature and pressure is sufficiently low, but still not low enough to undergo phase transition. The strong coupling behaviour makes perturbative field theoretical approaches to explain the properties of the quark-gluon plasma in this temperature range a nearly impossible task. Three new experiments running on CERN’s Large Hadron Collider (LHC), ALICE, ATLAS and CMS, will continue studying properties of QGP. A key objective of the study of QGP is to further understand the quark matter phase 5.1 An Introduction to Quark Gluon Plasma 71 Figure 5.3: Various models of neutron stars and other hypothetical compact stars. This diagram is from [47]. diagram. As of now we don’t know the details of the various phases, although we do have a very simplified qualitative picture of it [52] that we reproduce in the Figure 5.4. The authors in [52] referred to the study of matter at ultra-high density as the condensed matter physics of quantum chromodynamics, since as in conventional condensed-matter physics, we seek to map the phase diagram and calculate the properties of the phases. Quark matter occurs in various forms, depending on the temperature T and quark chemical potential µ, which you can think of as the pressure of the system; it is an analogue to electric potential and gravitational potential in which force fields are thought as being the cause of things moving, be they charges, masses, or, in this case, chemicals. More precisely, in a thermodynamic system containing n particle species, its Helmholtz energy A is a function of its temperature T , the volume V and the number of particles of each species N1 , N2 , ..., Nn , i.e. A = A(T, V, N1 , N2 , ..., Nn ). The chemical potential of the i-th species is then defined by the partial derivative µi = ∂A ∂Ni . The details of the various phases should not concern us: we are mainly interested in the phase transition from quark gluon plasma to other phases. We note that from the 5.1 An Introduction to Quark Gluon Plasma 72 Figure 5.4: The simplified phase diagram of quark matter. CFL stands for colour-flavour locked phase which is a superfluid. Colour-flavour locking means that the quarks form Cooper pairs, whose colour properties are correlated with their flavor properties in a symmetric pattern. For example, a Cooper pair of an up quark and a down quark must have colours red and green. For details see [52] and [53]. Heavy ion colliders are exploring the physics close to the T -axis. quark matter phase diagram in Figure 5.5 that QGP exists for high temperature; as the temperature is lowered, if the chemical potential is low, QGP makes transition into ordinary hadronic matter. The curve that marks this transition ends on the upper left away from the T -axis. This is the critical point. For high enough chemical potential, QGP makes transition to non-hadronic matter (non-CFL and CFL) with interesting properties that we will not discuss. Note that there is a triple point where the phase transition curves of QGP intersects: This is the lowest possible temperature allowed for QGP. While this picture is qualitatively well-accepted, we don’t know enough physics of quark matter to know quantitatively where precisely is this triple point. We will later on try to estimate the location of this triple point, but now let us focus on the critical point. 5.2 Estimating The QGP Critical Point 5.2 73 Estimating The QGP Critical Point In this section, we shall review some facts from particle physics. As is well known, at very high temperature such that the particles have energy much larger than their rest mass, we may describe them using relativistic kinematics and effectively neglect their masses. That means we can treat them as hot relativistic free gas. The number densities of the partons of species i are then described by the quantum distribution ni = d3 pi 1 3 βE i (2π) e ± 1 where β = T1 is the inverse temperature and the negative sign corresponds to bosons while positive corresponds to fermions. For relativistic case we can approximate Ei with pi , upon integrating we obtain the standard result in terms of the Riemann zeta function  ζ(3) 3   T   π2 ni =     3 ζ(3) T 3 4 π2 for boson and fermion respectively. Similarly, one can compute the energy density (in the unit c = 1), ρi =  2 π 4   T   30 d3 p i Ei = 3 βE (2π) e i ± 1  2   7 π T 4 8 30 for boson and fermion respectively. Recall from particle physics that these expressions are valid for each spin, flavour, charge and colour of the particle. If the system is a mixture of fermion and boson however, we will need to include degeneracy factors gi for the particle of species i, so that the total energy density is π2 ρ= gi ρi = g∗ T 4 30 i where g∗ = gb + 87 gf with gb and gf referring to the degeneracy factors for bosons and fermions respectively. The degeneracy factors count the total degrees of freedom, i.e. multiply over spin, flavour, charge and colour. Note that as temperature drops, 5.2 Estimating The QGP Critical Point 74 particles tend to decouple from each other (for example, neutrino decoupled from other particles at around T ∼ 1 MeV). As a particle decouple from the rest, it will no longer contribute to the degeneracy factor, thus g∗ tends to decrease with time as the universe expands and cools. Much of the details discussed thus far in this section can be found in [54]. In QGP, the gluon have 2 helicity states and 8 possible colours so that makes gb = 16. For a fixed flavour, each quark have 3 colors, 2 spin states and 2 charge states (quark and antiquark). Thus that makes gf = 12. Assuming T < 1 GeV, there are two active 2 quark flavours (up and down), we have 7 7 g∗ = gb + gf = 16 + (2 × 12) = 37. 8 8 For phase transition of QGP into hadronic matter, we consider the lightest hadron, namely, pions. A gas of relativistic pions have g = 3 since it is made of 3 types of pions (π + , π − and π 0 ). It follows that the energy density of pion is ρπ = 3π 2 4 T . 30 Using the equation of state of relativistic particles p = 31 ρ, we have the pressure of the system as 3π 2 4 T . Pπ = 90 Likewise for QGP, we have 37π 2 4 PQGP = T . 90 The total pressure of the hadronic phase consisting of pion gas is actually 3π 2 4 Pπ = B + T 90 where B is the pressure exerted by the QCD vacuum on the quarks and gluons. In other words, the true ground state of the QCD vacuum has a lower energy −B than the perturbative QCD vacuum. At the phase transition, we set the pressures to be equal 37π 2 4 3π 2 4 T =B+ T 90 90 which gives the critical temperature Tc = 45B 17π 2 1 4 ≈ 144 MeV 5.2 Estimating The QGP Critical Point 75 1 since B 4 ≈ 200 MeV (See, for example, a very nice pedagogical introduction to quark matter phases at [56]). That is slightly more than a trillion Kelvin! Indeed a variety of methods including lattice QCD and experiments have suggested that the critical point we sought lie at a temperature of about 150 MeV and baryonic chemical potential in the range of 350 to 450 MeV [55]. 5.3 Charging Up Black Holes in 5 Dimension 5.3 76 Charging Up Black Holes in 5 Dimension We are now ready to explore AdS/CFT in the context of quark gluon plasma following [44]. Since we are considering QGP in 4 dimension, the corresponding gravitational dual lives in 5 dimension. The chemical potential in the 4 dimensional field theory corresponds to electrical charges on the 5 dimensional black hole [57]. So we must first look at some more properties of charged black holes in addition to what we have explored in Section 3.3. (However, there is certain fine prints, see Section 5.7). Recall that for AdS-Schwarzschild black hole with typical S 3 horizon, the temperature is bounded away from zero temperature. This corresponds to deconfinement-confinement transition in the field theory defined on R×S 3 [37]. That is, AdS black hole corresponds to unconfined phase while AdS without black hole represents the confined phase of the field theory. However, this is no longer the case for charged AdS-Schwarzschild black hole. Indeed, with sufficiently large electric potential on the horizon, it is possible to access the zero-temperature axis while remaining in the de-confined phase. Figure 5.5: The phase diagram for charged spherical black holes in global AdS. Note that the horizontal axis is the AdS-Schwarzschild case where Tc marks the critical temperature corresponding to the Hawking-Page phase transition. The vertical axis is the extremal charged case. The image is lifted from [37]. However, the black holes used as dual description of QGP must be very different from this kind of charged spherical black hole since we should not allow the black hole to attain zero temperature. As we throw more and more electrical charges into the black hole, the black hole will cool down; the corresponding description in the field theory 5.3 Charging Up Black Holes in 5 Dimension 77 is that the temperature of the QGP also decreases. However QGP cannot be of zero temperature - as is evident from the phase diagram of quark matter. Thus conversely, some mechanism should also prevent our black hole from reaching zero temperature, i.e. extremal state. We begin by noticing that spherical black holes would be bad for AdS/CFT correspondence in the case of describing QGP in our universe: In the quark matter phase diagram, the curve corresponds to the transition between QGP and non-hadronic matter rises indefinitely to the right as we increase the chemical potential. In the dual description, a black hole slightly below the curve is unstable, but this point can be as high as one likes as we increase the chemical potential. This means that some highly charged and extremely hot black holes must be unstable. This contradicts the fact that Hawking-Page transition occurs at low temperature, and so extremely hot large AdS black holes should be stable. In other words, they reach thermal equilibrium with their own Hawking radiation as we have discussed before. The idea is to consider black holes with flat event horizon instead. We first consider the bulk electromagnetic 1-form, expressed in terms of a gauge such that the connection is not singular (See p.416, [37]): A= Q 1 1 − dt. 2 16π 3 K 3 r2 reh The chemical potential of the dual field theory is proportional to the (negative) magnitude of the asymptotic value of A, where the constant of proportionality must have 1 [59]. unit of inverse length, say γL Recall that the entropy of the black hole satisfies the usual S = A 4 relationship, i.e. 3 S = 2π 3 K 3 reh . Therefore, 2 Q 23 Q µ= = 2 . 2 16π 3 γLK 3 reh 16πKγLS 3 The chemical potential increases with Q, and is bounded by the extremal value µE : 5.3 Charging Up Black Holes in 5 Dimension 78 2 2 3 QE µ ≤ µE = = 2 16πKγLSE3 √ 2 3 2 3 2 3 64 2π M 2 LK 2 9 2 = = 1 2 4(2)1/3 2 π M L2 K 9 16πKγL 23 1 2 64 41 2 9 3 1 3 πM 4 L 2 K 4 1 1 16(2) 13 (2) 6 1 πKLπM 2 LK 2 γ 1 1 M4 5 24 3 3 πγL 2 K 4 M = 5 2 4 πγ K 3 L6 1 1 4 . where in the second step we have used equations 3.16 and 3.17. We now define temperature-normalized chemical potential by µ ¯≡ µ . T Since µ is increasing with Q, and T is decreasing with Q, we have overall, µ ¯ increasing with Q. However, µ ¯ is not classically bounded above since T can be arbitrarily small. Thus we have a very lousy bound 0 xmin so xeh (NE) is indeed the event horizon instead of the inner horizon. We also note that 4 M reh + 3π 2 K 3 L2 M M L2 − 2 3 + 2 3 2 = 0. 3π K 3π K L S(∞; Θ, L, M, QNE , K) = 16π 4 ΘP L2 K 3 − = 16π 4 ΘP L2 K 3 This means that the system is critical in the sense that for any Q such that Q > QNE , the system becomes unstable in the Seiberg-Witten sense. Correspondingly, 2 3 S ≥ SNE = 2π 3 K 3 [xeh (NE)] 2 = c.f. SE ≈ 0.647322(π 2 M L2 K) 3 3 4 π 2 M L2 K 1 4 3 ≈ 0.877383(π 2 M L2 K) 4 3 4 Recall from 3.19 that 1 T = 3S 3 2 1 3 2π 2 KL2 − 2M 3S Thus TNE = 3 1 3 23 1 1 2 3 2π 2 KL2 3 4 1 2 1 4 1 2 1 4 π M L K − 2M 3 4 3 3 3 3 3(2π 2 M 4 L 2 K 4 ) 3 1 3 1 3 3 34 −3 1 −3 −3 = π 2 M 4 L 2 K 4 − 3− 4 π − 2 M 4 L− 2 K − 4 2 1 1 3 4 M 3 4 − 3− 4 2 − 32 = π 2 K 3 L6 = 1 1 3 (2)3 4 π 2 M K 3 L6 1 4 . Thus T ≥ TE = 1 1 3 (2)3 4 π 2 M K 3 L6 1 4 ≈ 0.068228 M K 3 L6 1 4 . 5.5 Stringy Instability at High Chemical Potential 85 This is bounded away from zero. Thus AdS flat black hole cannot be arbitrarily cold. Adding charges to about 96% of the extremal value makes the black hole unstable. Indeed,  3 2 3  3 3 2 2 4  2 = S = 2π K (x (NE)) (π M L K)  NE eh 3   34       TNE = 1 1 4 M K 3 L6 1 3 (2)3 4 π 2 . This leads to a rather surprisingly result SNE TNE = Smin Tmin = M 3 which is independent of geometric parameters K and L. Therefore, a computation of the minimal black hole entropy from an analysis of say, the microscopic degree of freedom, would allow evaluation of minimal temperature without requiring knowledge of the geometric parameters. Now recall that the chemical potential satisfies 2 23 Q Q = µ= 2 . 2 16π 3 γLK 3 reh 16πKγLS 3 Thus, 3 2 16π √ L(M K) 2 3 2 23 µNE = 16πγKL 2 = 2 3 2 3 3 2 2 2 3 (π M L K) 4 34 4π 1 34 1 3 3 L2 M 4 K 4 2 1 1 1 16πγKL 2 3 3− 2 πM 2 LK 2 1 34 = 4πγ M K 3 L6 1 4 Also TNE = 1 2 1 1 4 (2)3 π 3 2 M K 3 L6 . 1 4 2γ = √ µNE . 3π Seiberg-Witten instability sets in if a point in the phase diagram is below the line 2γ T = √ µ. 3π 5.5 Stringy Instability at High Chemical Potential Equivalently, if 86 √ γ≤ We also note that µ ¯max = 3π . 2¯ µ µNE 2γ =√ TNE 3π ∞ if γ is not too big. This is indeed the case since recent estimates for QCD critical points give T ∼ 150 MeV and µ ∼ 350-450MeV (Section 5.2) imply that µ ¯ ∼ 2 or 3, that is, γ 0.51. So we have a holographic phase diagram (Figure 5.8). We see that if charge is low, then there is phase transition from black hole to Horowitz-Myers soliton; but hot black holes which are highly charged can now become unstable due to Seiberg-Witten instability, and the black hole phase make transition into another phase with as yet unknown properties that we will simply call Seiberg-Witten phase. This picture is, we stress, over-simplified. Recall that we have made several assumptions: we ignore the coupling of probe brane and stringy correction, we also assumed that phase transition from black hole to AdS soliton continues to hold for charged black holes, which is not the complete story since transition at low chemical potential also requires inclusion of black holes with scalar hair [44]. The point A represents critical black hole which is the holographic dual to the quark Q of the dual black matter critical point. By modifying the charge over mass ration M holem we can define trajectories in the holographic phase plane. Starting at the critical Q , we obtain a curved trajectory (dotted curve AB) that bends black hole, by increasing M downward towards the right. This curve terminates as Seiberg-Witten instability sets in. The point at which this curve terminates corresponds to the coldest black hole that can be obtained in this way, starting at a black hole with a definite QGP interpretation. Thus we propose that this termination point is dual to the triple point of quark matter. We will now try to estimate the triple point using what we know about the critical point. 5.5 Stringy Instability at High Chemical Potential Figure 5.7: Holographic phase diagram where AdSRN0 refers to stable black hole phase, HMSol refers to Horowitz-Myers AdS Soliton phase, and SW refers to Seiberg-Witten phase with as yet unknown properties. The diagram is modified from [44]. 87 5.6 From the Critical Point to the Tripple Point 5.6 88 From the Critical Point to the Tripple Point From 3.19 1 T = 3S 3 1 3 2 2π 2 KL2 we have − 2M 3S 1 3S 3 K= 4 2 3 π 2 L2 T + 2M 3S 3S 2M which upon multiplying numerator and denominator by yields 4 K= 9S 3 1 2 3 4π 2 M L2 1 + . 3T S 2M (5.1) On the other hand, 1 Q2 S3 T = 1 − 5 2 3 π πKL2 24KS 3  1 2 1  S3 16πKγLS 3 µ = 1 − 2 2 3 π πKL2 23 1  2 1 5 24KS 3  1 S3 32 π 2 Kγ 2 L2 µ2 = 1 − . 4 1 2 3 π πKL2 (3)2 3 S3 1 But 1 T = 3S 3 1 3 2 2π 2 KL2 − 2M 3S so we have 1 1 1 S3 32 π 2 Kγ 2 L2 µ2 2M = 1 − − 1 4 1 3S 2 3 2π 2 KL2 2 3 π πKL2 (3)2 3 S3 3S 3 1 = It follows that 1 2 S 3 23 µ = πγ 2 L2 K 2 S3 1 2 3 π 2 KL2 3 16 − πKγ 2 L2 µ2 32 2 (3)(2)(2) 3 1 S3 1 2M S3 − 4 3S 2 3 π 2 KL2 . . 5.6 From the Critical Point to the Tripple Point 89 That is, 1 16πγ 2 L2 µ2 K 2 2 2M S3 − K+ 4 = 0. 3S 2 3 π 2 L2 1 3(2) 3 S 3 This is a quadratic equation in K. Solving this using quadratic formula and after some algebraic manipulations give 4 2 2 3 3S 3 4π 2 M L2 1± K= 1− 12γ 2 µ2 S 2 πM 2 12γ 2 µ2 S 2 πM 2 That is, 4 2 2 3 3S 3 K= 2 4π M L2 1 ∓ 1 1− . 12γ 2 µ2 S 2 πM 2 The sign in front of the square root is chosen to be positive so that K corresponds to the 4 parameter of the event horizon (recall that reh ∝ K13 , so larger value of reh corresponds to smallar value of K): 2 K= 4 2 3 3S 3 4π 2 M L2 1 + 1 1− . 12γ 2 µ2 S 2 πM 2 Equating with 5.1, we have 4 2 9S 3 1 3 2 4π 2 M L2 1 + = 3T S 2M 4 2 3 3S 3 4π 2 M L2 1 + 1 1− . 12γ 2 µ2 S 2 πM 2 Thus 9+9 1− 1 2 12γ 2 µ ¯2 T 2 S 2 3T S = 23 23 3 1 + 2 πM 2M Define σ≡ ST M gives 9 1+ 1− 12γ 2 µ ¯2 σ 2 π =6 1+ 3σ 2 That is, 3 1+ 1− 12γ 2 µ ¯2 σ 2 π = 2 + 3σ . 5.6 From the Critical Point to the Tripple Point 90 It thus follows that 3 1− 12γ 2 µ ¯2 σ 2 = 2 + 3σ − 3 = 3σ − 1. π That is, 9 1− 12γ 2 µ ¯2 σ 2 π = 9σ 2 − 6σ + 1 12γ 2 µ ¯2 π σ 2 − 6σ − 8 = 0 Thus we obtain a quadratic in σ: 9 1+ (5.2) Taking the limit γ → 0 gives the positive value of σ as 34 . This is the upper bound for σ: 4 1 ≤σ< 3 3 where the lower bound is supplied by the previous result that M SNE TNE = Smin Tmin = . 3 So in terms of σ, we have 1 T = 3S 3 4 3 2 π 2 KL2 − 2M 3S 1 = σM 3 T 4 2 3 2 π KL2 3 − 2M 3 σM T Thus 1 3 3 σM 2T T+ = 4 T 3σ 2 3 π 2 KL2 1 1 1 3σ σ 3 M 3 T 1/3 2T ⇒ σT + = 4 3 2 3 π 2 KL2 1 1 3σ σ 3 M 3 4 2 ⇒ σ+ T3 = 4 3 2 3 π 2 KL2 3 1 3 4 σM 4 ⇒T = 3 3 3 3 2π 2 K 4 L 2 σ + 23 4 3 ⇒T = 1 1 34 σ 4 M 4 3 3 2π 2 (KL2 ) 4 1 + 2 3σ 3 4 . 5.6 From the Critical Point to the Tripple Point 91 Also, TNE = 1 1 1 4 M K 3 L6 3 2(3) 4 π 2 = Ttriple . because we argued that the triple point corresponds to the coldest stable black hole. Therefore Ttriple = = 1 3 3 2(3) 4 π 2 6 K 4 L4 1 1 M4 3 1 3 2π 2 (KL2 ) 4  1 =  3 = 1 M4 1 34 1 4 3 4  1 4 M 3 σcritical 3 3 2π 2 (KL2 ) 4 1 +  1 3σcritical 2 3σcritical 3    3  1 + 4 4 3 4 M 4 σcritical 3 2 2π (KL2 ) 3 4 1+ Ttriple = 3σcritical Also 3σcritical  3  4 2 1 1 4 σcrtical 2 + σcritical 3 3 4 . 3σcritical Thus we have 1 3 4  1 1 2 2 + σcritical 3 3 4 Tcritical . (5.3) √ µtriple = 3π Ttriple . 2γ The energy density of the field theory is proportional to the mass per unit horizon area of the dual black hole. Since the entropy is a quarter of the horizon area, this means M T that the relevant quantity is 4S or equivalently 4σ . The energy densities at the quark matter critical point and triple point satisfy σcritical Ttriple σcritical 1 ρtriple = = ρcritical Tcritical σtriple Tcritical σtriple 3σcritical 2 + σcritical 3 1 and since σtriple = , we have 3 ρtriple = ρcritical 2 + σcritical 3 3 4 . 3 4 Tcritical 5.6 From the Critical Point to the Tripple Point With the bound that 1 3 92 ≤ σ < 43 , we have Ttriple = 1 3σcritical 2 + σcritical 3 3 4 3 Tcritical 24 ≥ Tcritical . 4 Thus, with Tcritical ∼ 150 MeV, we have Ttriple and 63 MeV. 3 ρtriple ≤ 24 . ρcritical The energy density at the critical point is estimated to be not far below the maximal density attained in the RHIC experiment [55]. We thus take ρcritical ∼ 1000 MeV/fm3 . For comparison, 1 GeV/fm3 = 1.78 × 1018 kg/m3 ; while nuclear density is around 2.8 × 1017 kg/m3 . 1680 MeV/fm3 . We thus obtain the upper bound on ρtriple Numerically, we can vary γ and compute σ using 5.2 and then compute Ttriple from √ 3π 5.3. Then µcritical can be computed from the relation µtriple = 2γ Ttriple and ρtriple from ρtriple ρcritical = 2 3 + σcritical 3 4 . We then obtain the table shown on next page [44] (Figure 5.9). Using Shuryak’s upper bound on the triple point temperature [60] Ttriple ≤ 70 MeV we have 63 MeV ≤ Ttriple ≤ 70 MeV and 1530 MeV/fm3 ≤ ρtriple ≤ 1680 MeV/fm3 From the table we see that, the upper bound Ttriple ≤ 70 MeV means that 0.10 γ 0.15. For γ = 0.10. This gives Ttriple ≈ 70 MeV; µtriple ≈ 1100 MeV; ρtriple ≈ 1500 MeV/fm3 corresponding to µ ¯triple ≈ 15.7. For γ = 0.15, we have similarly µ ¯triple ≈ 10.2. This is a huge improvement from the bound that does not take into account the SeibergWitten instability: 0 < µ ¯ < ∞. 5.7 Caveat: QCD Dual in AdS/CFT 93 Figure 5.8: Some numerical data by varying γ. Temperature and chemical potential are measured in MeV while energy density is in MeV/fm3 . The first row is the assumed values at the critical point for comparison purpose only. I.e. the first row is set such that critical point is the same as the triple point. 5.7 Caveat: QCD Dual in AdS/CFT Despite what we have been doing so far trying to use AdS/CFT to understand quark gluon plasma, we must point out that the exact dual of QCD is not known: placing a black hole in a 5-dimensional spacetime does not endow its dual 4-dimensional finitetemperature Yang-Mills theory with the specific content of finite temperature QCD. In particular, the dual theory has no true quarks. Furthermore, the gauge symmetry of the Yang-Mills field is SU (N ) with large N , not 3 as in QCD (corresponding to the 3 colours of quarks). In addition, QCD is also not supersymmetric. See also [61] for difference between the computed shear viscosity in weakly coupled N = 4 super Yang-Mills theory as compared to QCD. Nevertheless, the theory analyzed does bear similarity to QCD, which may be due to the important factor that controls the behavior of the system is temperature, while microscopic details of the physics are less important[15]. Chapter 6 Dilaton Black Holes in Anti-de Sitter Space 6.1 Asymptotically Flat Spherically Symmetric Dilaton Black Holes For simplicty we first consider the (3 + 1)-dimensional case. For the sake of comparison we shall recall the Reissner-Nordstr¨om solution: 2M Q2 g(RN) = − 1 − + 2 r r Q2 2M + 2 dt + 1 − r r 2 −1 dr2 + r2 dΩ2 Q where the Maxwell field is given by Frt = 2 . As with previous chapters, we assume r Q > 0 for simplicity. The global structure of Reissner-Nordstr¨om black hole is quite different from the Schwarzschild black hole (See Appendix 1 for details). For 0 < Q < M , we have two horizons r± = M ± M 2 − Q2 where r = r+ is the event horizon and r = r− is the Cauchy horizon or simply, the inner horizon. In low energy limit of string theory, scalar field called dilaton cam couple to the Maxwell field, giving the action S= √ d4 x −g R − 2(∇φ)2 − e−2φ F 2 6.1 Asymptotically Flat Spherically Symmetric Dilaton Black Holes 95 where φ denotes the dilaton scalar field. We assume that the dilaton decays and vanishes at infinity. Because of the coupling between dilaton field and Maxwell field, the dilaton is not an independent “hair” of the black hole. The corresponding black hole solution is remarkably simple, known as the GarfinkleHorowitz-Strominger or GHS black hole [62]: 2M g(GHS) = − 1 − r −1 2M dt + 1 − r 2 dr2 + r r − Q2 M dΩ2 . In the general case in which the dilaton does not vanish at infinity but equals to some value φ0 , then the last term takes the form Q2 e−2φ0 r r− M dΩ2 . As mentioned before, the dilaton is coupled to the electric field and hence is not an independent parameter of the black hole. The precise relation between the dilaton and the electric charge Q is given by e−2φ = e−2φ0 1 − Q2 e−2φ0 Mr or in the case of vanishing dilaton at infinity, e−2φ = 1 − Q2 . Mr Note the absence of dependence of electrical charge in the gtt and grr terms. The r-t plane is thus similar to the Schwarzschild black hole, but the sphere is smaller in area since Q2 r r− < r2 M for any nonzero electrical charge. Interestingly the GHS black hole behaves differently compared to the Reissner-Nordstr¨om black hole when electrical charge is increased. In the latter case, the event horizon moves inward while the Cauchy horizon moves outward, finally the two horizon coincide when extremality is reached. For the GHS black hole however, the event horizon stays fixed at r+ = 2M and it has no inner horizon. This may be due to the instability of the inner horizon, and when dilaton is included the inner horizon vanishes. However, there are examples of solutions with dilaton which possess a nonsingular inner horizon [63]. The effect of decreasing electrical charge on the GHS black hole is to decrease its area, which 6.1 Asymptotically Flat Spherically Symmetric Dilaton Black Holes 96 goes to zero at Q2 = rM . This√gives the extremal limit: the event horizon becomes singular at Q2 = 2M 2 , i.e. Q = 2M , unlike the extremal limit of Reissner-Nordstr¨om black hole that satisfies Q = M . One can understand that the dilaton black hole has larger charge over mass ratio in the extremal limit because the scalar field contributes an extra attractive force, and so for any fixed M , we need a larger Q to balance it. String Metric: As a remark, strings do not couple directly to the physical metric gGHS , but rather to the conformally related string metric e2φ gGHS : g(string) = − 1− 1− 2M eφ0 ρ Q2 e−φ0 Mρ dρ2 dt2 + 1− 2M eφ0 ρ 1− Q2 ρ−φ0 Mρ + ρ2 dΩ2 . See for example, [63] and [64]. Interestingly, as pointed out in [63], when r is small, e−2φ = 1 − 1 Q2 ⇒ e2φ = ∼0 Q2 Mr 1− M r and so the string coupling is becoming very weak near the singularity. Of course the solution cannot be trusted that close to the singularity, but nevertheless it is tempting to imagine what it might mean if the full string theoretic solution has a similar behavior. Could it mean that contrary to the common folklore that large quantum fluctuation plagues the near singularity region, the quantum effects are actually suppressed there? In general, we can introduce a free parameter α ≥ 0, that governs the strength of coupling between the dilaton field and the Maxwell field. This yields the GarfinkleMaeda or GM black hole solution [65]: r+ g(GM) = − 1 − r r− 1− r 1−α2 1+α2 r+ dt + 1 − r 2 r− 1− r α2 −1 α2 +1 2 dr +r 2 r− 1− r 2α2 1+α2 where 2α 2 r− 1+α Q , F = 2 dt ∧ dr r r where the asymptotic value of the dilaton field φ0 will be taken to be zero in the following discussion. and the horizons are at e−2φ = e−2φ0 1 − r± = 1 + α2 M± 1 ± α2 M 2 − (1 − α2 )Q2 , α = 1 for r− . When α = 1 (the coupling strength that appears in the low energy string action), the dΩ2 . 6.2 Topological Dilaton Black Holes 97 GM solution reduces to the GHS solution, and there ceases to be an inner horizon, while α = 0 case reduces to the Reissner-Nordstr¨om solution. 6.2 Topological Dilaton Black Holes Gao and Zhang [66] generalized the GM solution to include dilatonic topological black hole in asymptotically AdS spacetime in n-dimension, ds2 = −U (r)dt2 + W (r)dr2 + [f (r)]2 dΩ2k,n−2 where k = −1, 0, +1 and r+ U (r) = k − r W (r) = r+ k− r n−3 n−3 n−3 1−γ(n−3) r− 1− r r− 1− r n−3 1−γ(n−3) n−3 r 1 r− − Λr2 1 − 3 r 1 r− − Λr2 1 − 3 r n−3 r −1 n−3 −γ(n−4) r− × 1− r where 2 [f (r)] = r 2 r− 1− r n−3 γ ; γ= 2α2 (n − 3)(n − 3 + α2 ) Note that in this notation Λ is the effective cosmological constant |Λ| = L32 where L is the curvature scale of de Sitter or Anti-de Sitter space, independent of dimensionality, c.f. the convention in Section 3.1. We also note that for n ≥ 5, α = 0, we have U (r)W (r) = 1 in general. This is not surprising since the presence of scalar field contributes to the stress energy tensor and thus affects the geometry of spacetime leading to gtt grr = −1 in general [67]. The mass of the black hole, and the charge parameter q, are, with L = 1, M= Γn−2 n−3 (n − 2) r+ +k 16π n − 3 − α2 n − 3 + α2 n−2 r− 6.2 Topological Dilaton Black Holes 98 and (n − 2)(n − 3)2 n−3 n−3 r r . 2(n − 3 + α2 ) + − respectively. The charge parameter q is directly proportional to the black hole electrical charge Q [68]. q2 = Let us consider k = 0, L = 1, n = 5, α = 0 = γ which should reduce to the case of flat charged black hole. Using the above formula, we compute that M= 8π 3 K 3 2 3 2 3r+ = π 2 K 3 r+ 16π 2 and U (r) = − r+ r 2 1− r− r 2 1 − Λr2 3 r+ r− 2 1 2 − Λr r2 3 2 2 2 2 r r r r = − +2 + + 4 − + 2 = W (r)−1 r r L =− r+ r 2 + If we compare this with the explicit form of metric in Chapter 3, U (r) = 2M Q2 r2 − + L2 3π 2 K 3 r2 48π 5 K 6 r4 we see that 2 r+ = Q2 2M 2 2 , r r = . + − 3π 2 K 3 48π 5 K 6 The event horizon is the solution of U (r) = r2 2M Q2 − + =0 L2 3π 2 K 3 r2 48π 5 K 6 r4 which is not 3π2M 2 K 3 . Thus the notation of Gao and Zhang is somewhat misleading: one should treat r+ and r− as merely parameters that relate to the horizons instead of the horizons themselves. The authors in [68] for example, use the symbols c and b in place of r+ and r− and refer to them as “integration constants”. 6.2.1 Seiberg-Witten Action for Flat AdS Dilaton Black Holes Consider the 5-dimensional flat dilaton black hole in AdS with L = 1. As above, 2 r+ = 2M . 3π 2 K 3 6.2 Topological Dilaton Black Holes 99 Since Q2 is proportional to q 2 , we have Q2 ≡ Q2 (α) = Q2 (α = 0) n−3 2 = Q2 (α = 0) . 2 n−3+α 2 + α2 That is, 2 2 2 (48π 5 K 6 r+ r− ). 2 2+α Q2 = I.e. 2 r− = Q2 (2 + α2 ) Q2 (2 + α2 ) = . 2 96π 5 K6r+ 96π 5 K 6 3π2M 2K3 We first explore the comparatively easy case of α = 1 in which we have 2 Q = 32π 5 2 2 K 6 r+ r− , 2 r− 2(1) 1 3Q2 r− 3 3 , γ = = , f (r) = r = 1 − 64M π 3 K 3 2(2 + 1) 3 r Thus the Euclidean metric satisfies gτ τ r+ = − r 2 r+ = − r 2 r− 1− r +r 2 2 2 1− 3 r− 1− r + r2 2 r− 1− r 2 1 3 1 3 . and grr = r+ − r 2 +r 2 r− 1− r 2 1 3 −1 r− 1− r 2 − 13 . 2 1 2 . 6.2 Topological Dilaton Black Holes 100 The Seiberg-Witten action takes the following form √ S = Θ gτ τ = 2πΘP LΓk r r− 1− r 3 1 2 2 r+ r − r r− dr 1 − 4 r reh − 2πΘP LΓk = 2πΘP LAk r r 3 3 r+ r − r 2 2 2 r = 2πΘP LAk √ √ dr gτ τ grr f (r)3 dΩk,n−2 − 4Θ dτ 2 1 2 r− 1− r 1 2 −6 (r ) r− 1− r 3Q2 1− 64π 3 K 3 M r2 1 2 2 3 dΩk,n−2 3 r− 1− r 2 3 2 2 dτ 1 6 2 1 2 r −4 dr (r ) 3 reh 1 2 2M r − 2 3 2 3π K r 2 r− 1− r r −4 dr (r ) 3 reh 2 1 3 3Q2 1− 64π 3 K 3 M (r )2 For general α > 0 in n = 5, similar calculation shows that the Seiberg-Witten action satisfies 3α2 S =r3 (J) 2(2+α2 ) 2πΘP LAk − 2M 3π 2 K 3 r2 r 2−α2 α2 (J) 2+α2 + r2 (J) 2+α2 α2 dr f (r )3 (J) 2+α2 . −4 reh where J := 1 − Q2 (2 + α2 ) . 64π 3 K 3 M r2 We will only focus on the α = 1 case. Note that for α = 0 the general action reduces to that of flat Reissner-Nordstr¨om case. We begin with grr = r+ − r 2 + r2 r− 1− r 2 1 3 The horizon is at −1 r− 1− r 2 − 13 . 1 4 2M reh = = 3π 2 K 3 which is fixed independent of the electrical charge, just like its asymptotically flat GHS cousin. 2 41 (r+ ) For any fixed dilaton coupling α, varying the electrical charge means equivalently, varying the parameter r− , via the relationship 2 r− = 3Q2 . 64M π 3 K 3 1 3 . 6.2 Topological Dilaton Black Holes 101 1 At extremal limit, the horizon becomes singular with reh = r+2 = r− , i.e. 2M 3π 2 K 3 1 4 3Q2 = 64M π 3 K 3 1 2 So the extremal charge is 1 QE = 8 × 24 3 3 4 3 3 3 3 πM 4 K 4 ≈ 13.11 M 4 K 4 . 3 Again this is greater than QE ≈ 9.96(KM ) 4 for flat AdS Reissner-Nordstr¨om black hole, a similar behavior as asymptotically flat counterpart. The action vanishes at the horizon. Taking typical values of the parameters give the plot of the action as function of r as shown in Figure 6.1 below. Figure 6.1: The action of flat AdS dilaton black hole. Indeed, for Q = 0 the action reduces to that of uncharged flat AdS black hole (the dilaton, being a secondary hair coupled to the Maxwell field, also vanishes when electrical charge is zero), which asymptotes to a positive value. Unlike flat AdS ReissnerNordstr¨om black hole with action increases to a maximal before plunging to negative, the action of flat AdS dilaton black hole is always positive. In particular, lim S(r, QE ) = +∞. For any fixed charge Q, increasing the charge makes the acr→∞ tion started out with smaller value than the one with charge Q, but subsequently take over at some finite value of r. The value of r in which this take over occurs decreases 6.3 Holography of Dilaton Black Holes in AdS 102 with increasing charge. Thus the presence of dilaton stabilizes the black hole (at least in this special case with α = 1) against non-perturbative instability in the Seiberg-Witten sense. Thermodynamically, dilaton black holes in AdS is stable for small coupling α but possess unstable phase for large α [68]. 6.3 Holography of Dilaton Black Holes in AdS We remark that dilaton black holes in Anti-de Sitter space have been explored for its holography [70] [71] and application in AdS/CFT, notably, Gubser and Rocha [69] argued that dilatonic black hole in AdS5 or a relative of it with similar behavior might be dual to Fermi liquid. Since there are black holes in Einstein gravity which are thermodynamically unstable while dynamically stable (c.f. the conjecture of Gubser and Mitra [58]), more works are needed to establish the dynamical (in)stability for dilaton black holes in Anti-de Sitter space for large α. A generic phase diagram involving Fermi liquid allows the Fermi liquid to attain zero temperature (Figure 6.2). In the dual description therefore, we should expect that the black hole should be allowed to reach extremal charge without subjected to the Seiberg-Witten instability, which we have shown to be the case at least for α = 1 coupling. More works need to be done to study the stability in the general case. Figure 6.2: The phase diagram of heavy-fermion systems, where δ is an adjustable parameter such as pressure or chemical doping. The diagram is from [72]. Conclusion The main theme of this thesis is the inter-connection between various fields of physics − notably between gravity (general relativity and string theory), particle physics (YangMills field, quark-gluon plasma), condensed matter (CFL quark matter, Fermi liquid and color-superconductor, although we did not discuss much about them), cosmology (dense state of matter in the early universe) and astrophysics (compact stars). This unifying scheme is very exciting, at least for me on a personal level. I like differential geometry when I first learned about it for the same reason − it inter-relates various themes of mathematics. To quote John Opera in his book Differential Geometry and Its Applications, It is a subject which allows students to see mathematics for what it is − not the compartmentalized courses of a standard university curriculum, but a unified whole mixing together geometry, calculus, linear algebra, differential equations, complex variables, the calculus of variations, and various notions from the sciences. The AdS/CFT correspondence has the same role in physics for connecting ideas in various concepts in physics. Nevertheless the correspondence is far from being proved firmly in stone. Ultimately physics has to be experimentally verified, and more work has to be done to develop this correspondence, as well as to establish whether it is indeed a correct theory. Regardless, we note the interesting fact that string theory was first formulated as an attempt to understand quarks, but was then replaced by the better theory of Quantum Chromodynamics; it has now come to a full circle by its application to understand quark matter via AdS/CFT. However, AdS/CFT is not equivalent to string theory, even if this principle is correct, it says very little about the prospect of string theory as a theory of quantum gravity, which remains elusive. 6.3 Holography of Dilaton Black Holes in AdS We shall end by a quote by Leon Lederman and David Schramm: At first glance, all of this sounds like medieval mystics discussing the music of the spheres, angels on the head of a pin, or some similar early approach to cosmology. Is it just a mathematical game we are playing, is it just semantics, or is it reality? Figure 6.3: unknown). Many angels dancing on the head of a pin (artist 104 Appendix A Penrose Diagram To see a world in a grain of sand And a heaven in a wild flower, Hold infinity in the palm of your hand And eternity in an hour. A Penrose diagram, named after mathematical physicist Roger Penrose, is a twodimensional diagram that captures the causal relations between different points in spacetime. A penrose diagram is also called conformal diagram or Carter-Penrose diagram. It is similar to spacetime diagram where the vertical axis represents time, and the horizontal axis represents space, and slanted lines at an angle of 45◦ correspond to light rays. However, unlike spacetime diagram, a Penrose diagram uses conformal transformation to map infinities into a finite diagram, thereby allowing us to study the causal structure of spacetime. Here we look at Penrose diagram of Minkowski space, and various black hole solutions. The most basic question we can ask about two points x and y in a given spacetime is about their causal relation. That is, is y in, or outside of the past or future light cone of x. Because of the highly distorted geometry near a black hole, causal structure becomes important aspect for black hole research, but in order to understand Penrose diagram, we started off with the simplest spacetime - Minkowski spacetime. Penrose Diagram for Minkowski Spacetime Recall that Minkowski spacetime has the flat metric ds2 = −dt2 + dx2 + dy 2 + dz 2 , or when expressed in the polar coordinates, ds2 = −dt2 + dr2 + r2 (dθ2 + sin2 θdφ2 ), where 106 −∞ < t < +∞, and 0 ≤ r < ∞. Of course technically speaking the polar coordinate has coordinate singularity at r = 0 and we should have covered the neighborhood by another coordinate patch. But we will not be concerned by this technicality here. Our objective now is to represent the infinite Minkowski spacetime in a finite diagram. So one might try to, for example, re-scale the timelike and radial coordinates so that they cover a finite range. One possible function for re-scaling is the arctan function since it is bounded between − π2 and π2 . By introducing new coordinates t = arctan(t) and r = arctan(r), we can convert the Minkowski metric into the form ds2 = − 1 1 dt 2 + dr 2 + tan2 r (dθ2 + sin2 θdφ2 ), 4 4 cos t cos r with π2 < t < π2 , and 0 ≤ r < π2 . Now the new coordinates have finite ranges. dt cos2 t However the slope of the light cones given by dr = ± cos 2 r , which is not equal to ±1. This is not particularly useful as ideally we want to preserve light cone structures and null geodesics should be mapped into null geodesics. In other words, we want a transformation which preserves angles - a conformal transformation. We discuss this in a more rigorous manner: Suppose M is a manifold endowed with metric gµν . If Ω is a smooth, strictly positive function, then the metric g˜µν = Ω2 gµν is said to arise from gµν due to conformal transformation. And we say that gµν and g˜µν are conformally related or conformal to each other. The angles on manifolds are measured using the generalised cosine law: If X µ and Y ν are 2 vectors on a manifold M with metric gµν , then the angle θ between the vectors is given by: cos θ = gµν X µ Y ν . gαβ X α X β gδγ X γ X δ Clearly the angles between two vectors are the same regardless of whether it is measured with respect to the original metric gµν or the conformally related metric g˜µν as the Ω2 terms cancels out. Also, the ratio of the length of any two vectors measured by the two metrics remain the same for the same reason, and clearly null curves with respect to one metric is also null with respect to the other. This is all good, but it tells us nothing about how to construct a suitable conformal metric. It may take sometime to realize that even for the simple case of Minkowski spacetime, we need to change coordinate systems before re-scaling. Indeed, by introducing new coordinates defined by u := t − r and v := t + r, we can transform this metric into the following form: 107 1 ds2 = −dudv + (u − v)2 (dθ2 + sin2 θdφ2 ). 4 It is clear that the (u, v) axes are rotated with respect to the (t, r) axes by 45◦ , so that radial light rays travel on lines of constant u or constant v. This construction is useful in many settings, for example, when scaled by a factor √12 , it is called the light-cone coordinates: x+ = √12 (t + r), x− = √12 (t − r), which is useful in, for example, quantization of relativistic string (See, for example, [73]). With the (u, v) coordinates, we now perform re-scaling using arctan function as before and introduce new coordinates (U, V ) with the corresponding (T, R) coordinates such that U = arctan(u) = 21 (T − R) and V = arctan(v) = 21 (T + R), with − π2 < U < π2 , − π2 < V < π2 , and U ≤ V (since u ≤ v). This transforms the Minkowski metric to the form: ds2 = 4 cos2 1 −4dU dV + sin2 (V − U )(dθ2 + sin2 θdφ2 ) . U cos2 V If we were to convert back to the associated (T, R) coordinate, using T = V + U and R = V − U , we obtain ds2 = Ω−2 (T, R) −dT 2 + dR2 + sin2 R(dθ2 + sin2 θdφ2 ) , where Ω = 2 cos U cos V = cos T + cos R. So we see that Minkowski metric ds2 is ˜ 2 = Ω2 (T, R)ds2 = −dT 2 +dR2 +sin2 R(dθ2 +sin2 θdφ2 ), conformally related to d˜ s2 by ds with ranges given by 0 ≤ R < π and −π < T < π. The spatial part of this metric is a three-sphere with constant curvature. This is fine although the original Minkowski spacetime is flat. The conformally related metric is consider “unphysical” and its only purpose is to help us to understand the causal structures in the original metric. Looking back at the Minkowski metric, it has three extremal points, namely t = ∞, t = −∞ and r = ∞. The point r = −∞ is excluded by the definition of polar coordinates which demand r ≥ 0. In (T, R) coordinates, these correspond to the points (0, π), (0, −π) and (π, 0) respectively, which if you look carelly, lies outside the range we mention before: 0 ≤ R < π and −π < T < π. This is fine because these points are not part of Minkowski space, but the conformal infinity. The union of the original spacetime and its conformal infinity is called conformal compactification. In other words, conformal infinities are 3-dimensional boundaries of 4-dimensional regions of the original spacetime manifold, defined by Ω = 0. We introduce the following infinities: 108 I + : Future timelike infinity (T = π, R = 0); I 0 : Spatial infinity (T = 0, R = π); I − : Past timelike infinity (T = −π, R = 0); J + : Future null infinity (T = π−R, 0 < R < π); J − : Past null infinity (T = −π + R, 0 < R < π). These are shown in the following Penrose diagram (Figure A.1). Figure A.1: Penrose diagram for Minkowski Spacetime. Now we shall spend some time understanding the Penrose diagram, namely, we are interested to find out how do geodesics look like on the diagram. Analyzing the Penrose Diagram Note that a generic point on the Penrose diagram is a 2-sphere (but certainly not of the same size throughout the diagram). However I + , I 0 , I − are points since R = 0 and R = π corresponds to the poles of S 3 . On the other hand, J + and J − are hypersurfaces with topology R × S 2 . We start with spacelike geodesics. The timelike geodesics are then curves orthogonal to the spacelike ones. A spacelike geodesic in Minkowski spacetime have constant time coordinate and extend to spatial infinity. Note that spatial infinity is like “point at 109 infinity” in complex analysis of which we imagine as follows: given any fixed time t, we can extend a curve to any direction of space off to infinity, and then we identify all those “infinities” into one which we call I 0 . In complex analysis, this point corresponds to the pole of the Riemann sphere. So all spacelike geodesics converge to I 0 . For T = 0 in the Penrose diagram, the geodesic is represented by the line segment joining the origin to I 0 . Indeed the spacelike geodesics are those curves which are orthogonal to the T -axis and which converge to I 0 . The timelike geodesics, on the other hand, start at I − and converge to I + . All these are shown in Figure A.2. Figure A.2: Penrose diagram for Minkowski Spacetime with some timelike geodesics in red, spacelike geodesics in blue and null geodesics in orange. 110 For those who prefer more symmetry, we can draw the Penrose diagram in the following way, with topological identifications on the boundaries, and hence the diagram on the left half plane is identified with the diagram on the right half plane as in Figure A.3 below. Figure A.3: Alternative presentation of Penrose diagram for Minkowski Spacetime. One can even rotate the diagram around to produce a three-dimensional double cone, with I 0 now becomes a circle, but still identified as a point, similarly J + and J − become the surface of the double cone, but are still identified as points. Penrose Diagram for Schwarzschild Black Hole We play the same game with Schwarzschild metric which describes a non-rotating noncharged spherical black hole: 2m ds = − 1 − r 2 2m dt + 1 − r 2 −1 dt2 + r2 (dθ2 + sin2 θdφ2 ). Firstly, transform this metric using Kruskal-Szekeres coordinates (U, V, θ, φ). If r > 2m, the new coordinates U and V are related to the t and r coordinates by the following 111 U= r −1 2m 1 2 V = r −1 2m 1 2 er/4m cosh t 4m , er/4m sinh t 4m . er/4m sinh t 4m , er/4m cosh t 4m . On the other hand, if r < 2m, we have the relations r 2m 1 2 r V = 1− 2m 1 2 U = 1− These give Schwarzchild metric in the following form: 32m3 −r/2m ds = e (−dV 2 + dU 2 ) + r2 (dθ2 + sin2 θdφ2 ). r 2 In order to construct the Penrose diagram, we introduce new coordinates u and v and V = v+u . Similar to the light-cone coordinates of Minkowski defined by U = v−u 2 2 spacetime, we see that the (u, v) coordinate is obtained from rotating (U, V ) coordinates by 45◦ so that light rays move on curves of constant u or v. Now bringing infinities into finite range by using arctan function: Introduce (yet another!) coordinates (u , v ) and (U , V ) by u := arctan(u) := V − U v := arctan(v) := V + U . Light rays move on curves of constant u and v , i.e. the 45◦ lines in the U V -plane. The ranges for u and v are − π2 < u , v < π2 . Now from the defined relations of U and V in terms of r and t, we see that r − 1 er/2m = U 2 − V 2 = (U + V )(U − V ). 2m On the horizon r = 2m, it follows that U = ±V . Then since u = V − U and v = V + U , we must have u = v = 0, and so u = arctan u = 0 and v = arctan v = 0. That is V − U = 0 and V + U = 0. Thus the horizon is represented by the lines V = ±U . At the singularity r = 0, and V > 0, we see by the defining relations that −1 = U 2 − V 2 = uv. 112 Consider the equation u + v = 2V = arctan u + arctan v. Then tan(u + v ) = tan(arctan u + arctan v) = 1 u+v = (u + v) = V. 1 − uv 2 So − π2 < u + v = arctan V < π2 . At the boundary of spacetime when V = ∞, this corresponds to tan V = π2 , and V = 21 (u + v ) = 21 arctan V = π4 . At the same time, U = 12 (v − u ) is bounded between − π4 and π4 . Similarly, for r = 0 and V < 0, the singularity maps into the line V = − π4 . For r 2m, as Schwarzchild metric is asymptotically Minkowski, the Penrose diagram for Schwarzschild spacetime and that of Minkowski spacetime should effectively be the same. We will use curvy lines to represent the singularity. These lines are orthogonal to timelike curves, and so the singularity is called spacelike singularity. Note also that I + and I − are distinct from r = 0, as there are, in fact a lot, timelike paths that do not hit the singularity. The Penrose diagram for maximally extended Schwarzschild spacetime is then obtained by time reversal symmetry t → −t, where we have a region which can be interpreted as white hole. In fact there are 4 regions of spacetime as shown in the next figure: Region I corresponds to our assumed asymptotically Minkowski universe, region II is a black hole, region III is another asymptotically Minkowski universe and Region IV, as mentioned, can be thought as whitehole region. Figure A.4: Penrose diagram for Schwarzschild spacetime. Any timelike curve, such as the one in green, that passes through the horizon, colored gold, has no choice but to hit the singularity. 113 The central point with coordinate (U , V ) = (0, 0) is called the Einstein-Rosen bridge. Taking a surface of constant t and consider the equatorial plane θ = π2 , we can reduce Schwarzschild metric to the 2-dimensional surface with Euclidean metric ds2 = 1− 2m r −1 dr2 + r2 dφ2 . We can see the “throat” shape using Embedding diagram. Indeed the metric of the 3-dimensional Euclidean ambient space is dl2 = dz 2 + dr2 + r2 dφ2 , which on z = z(r), becomes dl2 = (1 + (z )2 )dr2 + r2 dφ2 . Setting ds2 = dl2 yields (1+(z )2 ) = 1 − this function gives us a “throat”. Figure A.5: 2m −1 , r i.e. z(r) = ±2 2m(r − 2m). Plotting MAXIMA plot of upper half of the throat. 114 We now fill in the geodesics of the spacetime. The region outside the horizon of both asymptotically flat universe is similar to that of Minkowski diagram. However, note the switch of spacelike and timelike coordinates inside the black hole. The EinsteinRosen bridge is a non-traversable wormhole as only spacelike curves pass through the “throat”, which is clear from the Penrose diagram. Therefore the two asymptotically flat universes cannot communicate with each other short of using tachyons, which as we know, violate causality. Figure A.6: Penrose diagram for maximally extended Schwarzschild spacetime with curves in red denoting constant r surfaces, while blue curves are constant t surfaces. 115 Gravitational Collapse of a Star into Black Hole The maximally extended Schwazschild spacetime describes an eternal Schwarzschild black hole, one that always has been and always will be. This is not a good description for astrophysical black holes. In astrophysical context, black holes are the results of gravitational collapse of stars (or possibly clusters of stars or interstellar gas), the exterior gravitational field can be modelled by the Schwarzschild metric provided the star rotation is negligible. The interior of the star is of course not vacuum, and hence not described by Schwarzschild metric. Therefore there is no wormhole connecting to another universe, not even a non-traversable one. Similarly, the past of this collapsing star spacetime is not the same as that of the maximally extended Schwarzschild metric. Notably, there is no white hole. The Penrose diagram of such black hole is simply as shown in Figure A.7, where the shaded region contains matter of the star interior: Figure A.7: Penrose diagram for a black hole formed from a collapsing star. A construction of this Penrose diagram is described in [11] of which we reproduce here. Basically we describe the spacetime by gluing together Minkowski spacetime and the Schwarzschild spacetime. To be specific, we begin with Penrose diagram for Minkowski spacetime. Consider incoming null line represent infalling massless shell with energy M , separating the Penrose diagram into two parts: region A and B. Region A represents spacetime interior to the infalling spherical shell, and thus is flat. The region B must now be modified since by Birkhoff’s theorem the geometry outside the shell is Schwarzschild. We consider the Penrose diagram of Schwarzschild spacetime with the same infalling massless shell of energy M . Now we have again regions A and B , with 116 B being the relevant part that describes geometry outside such shell. So we take region A and B and glue them together, hence obtaining the Penrose diagram above. Figure A.8: [11]. Gluing Penrose diagrams. The diagrams are from 117 Penrose Diagram for Reissner-Nordstr¨ om Black Holes. Throwing electric charges into a Schwarzschild black hole turned it into a ReissnerNordstr¨om black hole, with metric ds2 = − 1 − 2m Q2 + 2 r r dt2 + 1 − 2m Q2 + 2 r r −1 dt2 + r2 (dθ2 + sin2 θdφ2 ). Not unlike Schwarzschild black hole, at any given time t, the Reissner-Nordstr¨om black hole is a 2-sphere with singularity at r = 0. However we now have, in general, two event horizons given by the roots of the quadratic equations r2 − 2mr + Q2 = 0, namely, r+ = m + m2 − Q2 and r− = m − m2 − Q2 , where r+ ≥ r− ≥ 0 with equality if and only if m2 = Q2 . The signature changes twice: When one passes the outer horizon, r+ , r-coordinate becomes timelike while t becomes spacelike, which is similar to Schwarzschild black hole. As such, one is compelled to move towards the inner horizon r− (also called the Cauchy horizon), just like one is compelled to move towards Schwarzschild singularity. But once the inner horizon is crossed, signature of spacetime dimensions swicth once more. One can therefore move freely inside the space bounded by the inner horizon, and avoiding the singularity. All these we get from nothing but high school mathematics of the quadratic function r2 − 2mr + Q2 . The Penrose diagram for Reissner-Nordstr¨om black hole must capture these information. There are in fact 3 cases to consider: CASE 1: m2 > Q2 As mentioned above, this gives us two event horizons, one within the other. If you were to fall into such a black hole, you would pass through the outer and then the inner horizon. If you have suicidal intend, you must try hard to hit the singularity - because it can be shown that Reissner-Nordstr¨om black hole admit repulsive gravity near the singularity - certainly not what ordinary people will expect of a black hole! Now, you may also, upon finding the interior of the black hole boring, decided to enter the inner horizon again, but now from the interior. Then r will again become timelike coordinate but with reversed orientation, so that you are forced to move in the direction of increasing r, and eventually be spit out from the outer horizon. How can a black hole spit anything out? We interpret this time-reversal version of black hole as again, a white hole. But there is no telling whether this universe that you now emerged in is the same as the original one! Now this journey in and out of black hole (and white hole) can be repeated ad infinitum. 118 Figure A.9: Penrose diagram for Reissner-Nordstr¨ om black hole. This diagram is adapted from [9]. One notices the singularity is orthogonal to spacelike curve, and is therefore called timelike singularity, and as mentioned before, is avoidable. Although we have an infinite tower of asymptotically flat universes with their black holes and white holes connected via traversable wormholes, it is possible to make topological identification along the red lines in the Penrose diagram as shown so that spacetime contains closed loop. But as widely believe, closed timelike curves are bad for physics and therefore such spacetime may well be unphysical. Even the geometry of Reissner-Nordstr¨om black hole as mentioned above may be unphysical. The inner horizon may be perturbatively unstable due to huge amount of blue-shifted radiation that enters the black hole. Thus bringing charges into a Scwharzschild black hole may not save you after all. 119 CASE 2: m2 = Q2 This is a very interesting case where the mass is in some sense balanced by the charge. It is known as the extremal Reissner-Nordstr¨om black hole. Now from the quadratic function r2 − 2mr + Q2 , it is readily seen that r = m gives the only event horizon, corresponding to the repeated roots of the quadratic function. As such this quadratic function is always nonnegative, which means that r coordinate never become timelike, i.e. r is spacelike on both sides of the horizon defined by r < m and r > m. Thus the singularity is timelike, and so avoidable. The Penrose diagram is given in Figure A.10. Figure A.10: Penrose diagram for extremal Reissner-Nordstr¨ om black hole. This diagram is adapted from [9]. Note that the causal structure is totally different from that of a regular ReissnerNordstr¨om black hole no matter how close to the extreme limit it is. We therefore expect physical properties of the family of Reissner-Nordstr¨om black holes to be discontinuous at the extreme limit. This case is also unstable since a tiny amount of infalling matter will reduce it to the first case. CASE 3: m2 < Q2 In this case the quadratic r2 − 2mr + Q2 > 0 for all r. There is no event horizon. As with Schwarzschild solution, Reissner-Nordstr¨om is asymptotically flat. So one expects the Penrose diagram to look like that of Minkowski spacetime, except for the pesky 120 singularity at r = 0 (Figure A.11). Here the singularity is not shrouded behind event horizon, and is called a naked one. The Cosmic Censorship Conjecture holds that such situation is not allowed. How then can the singularity inside a regular or extremal Reissner-Nordstr¨om black hole be timelike and thus observable by someone who entered the black hole? Assuming that the Cosmic Censorship Conjecture hold, this is another reason to postulate that timelike singularity is unstable. Figure A.11: black hole. Penrose diagram for naked Reissner-Nordstr¨ om The Reissner-Nordstr¨om black hole can be generalized to include magnetic charge P , despite magnetic monopole has yet to be discovered. This turns the metric into: ds2 = − 1 − 2m Q2 + P 2 + r r2 dt2 + 1 − 2m Q2 + P 2 + r r2 −1 The 3 cases then carry through with minimal modifications. dt2 + r2 (dθ2 + sin2 θdφ2 ). 121 Penrose Diagram for Kerr Black Holes A rotating non-charged black hole is described by the Kerr metric: ds2 = − 1 − 2mr ρ2 dt2 − 4mar sin2 θ ρ2 2 2 2 sin2 θ dr +ρ dθ + 2 (r2 + a2 )2 − a2 ∆ sin2 θ dφ2 (dtdφ)+ ρ2 ∆ ρ where ∆(r) := r2 − 2mr + a2 and ρ2 (r, θ) := r2 + a2 cos2 θ, with a being the angular momentum per unit mass. Not for the faint-hearted! The coordinates (t, r, θ, φ) are known coordinates, and are related √ as Boyer-Lindquist √ 2 2 to Cartesian coordinates by x = r + a sin θ cos φ, y = r2 + a2 sin θ sin φ, and z = r cos θ. The event horizons are given by the roots of the quadratic equation ∆(r) := r2 − 2mr + a2 = 0. So,√similar to the Reissner-Nordstr¨ om black hole, we have the √ 2 2 2 outer horizon r+ = m + m − a and r− = m − m − a2 . Note that both r+ and r− are positive if m > a. There are again 3 cases to consider: regular, extremal, and naked. Since they are similar to Reissner-Nordstr¨om case, we only discuss the regular one, which is also physically most interesting. Another interesting feature is the singularity, which occurs at ρ := r2 + a2 cos2 θ = 0. This means that both r and a cos θ vanish. So the singularity√ corresponds to r = 0 √ π 2 2 and θ = 2 . From the equations x = r + a sin θ cos φ, y = r2 + a2 sin θ sin φ, and z = r cos θ, one sees that this corresponds to z = 0, and thus a ring x2 + y 2 = a2 on the z = 0 plane in Euclidean 3-space. This singularity is timelike and therefore avoidable. There are other features of interest such as the ergosphere, but technically they are not part of black hole, and so we will not consider them. As with Reissner-Nordstr¨om black hole, we do not derive the Penrose diagram but simply discuss it. It turns out that the Penrose diagram for Kerr black hole is very similar to that of Reissner-Nordstr¨om black hole, except for the yellow regions which are absent in Reissner-Nordstr¨om case (Figure A.13.). These yellow regions indicate that it is possible to pass through the ring singularity to arrive at a asymptotically region with r < 0. In other words, going pass the ring singularity, one exits to another universe, which is not an identical copies of the original. This can be seen by again considering the quadratic ∆ := r2 − 2mr + a2 . Since this only vanishes at r+ , r− > 0, the new spacetime that one exited to does not admit any event horizon! This universe is sometimes called the negative universe. One can actually make Reissner-Nordstr¨om black hole to have even more similar looking Penrose diagram to Kerr’s one by considering imaginary charge, i.e. Q2 < 0. But in 122 such case the singularity becomes spacelike, and one had no choice but to hit it, and reappear in another universe, where r− now lies, and continue ad infinitum through an endless collection of black holes and white holes. Finally, one should also note that generic points in the Penrose diagram are not (metrically) 2-spheres. Since the black hole is rotating, the horizon actually squashed along the rotation axis, and different θ values give different geometry. In other words, constant radius r = r± in the Boyer-Lindquist coordinate does not correspond to spherically symmetry, which can be readily checked by substituting r = r± into the Kerr metric and analyze the geometry of the spatial part. Figure A.12: Kerr and me at Noyori Conference Hall, Higashiyama Campus, Nagoya University, Japan during the 17th Workshop on General Relativity and Gravitation in Japan, December 2007. 123 Figure A.13: Penrose diagram for Kerr black hole. Note the event horizons are now labelled by r± instead of wavy lines. This diagram is adapted from [9]. Yellow regions are dubbed ‘negative universes’. Appendix B Black Hole Temperature: A Primer We assume knowledge in quantum mechanics at the level of path integral formulation. Recall that the usual path integral at finite temperature has the exponential term exp i +∞ Ldt −∞ in the propagator, where L is the Lagrangian. It can be shown using path integral formulation that the usual recipe to obtain the partition function can be summarized as: (1) Carry out Wick rotation by defining imaginary time τ = it. (2) Introduce the Euclidean version of the Lagrangian: LE = −LM (τ = it) (3) Impose τ ∈ [0, β ) and periodicity over τ . Then exp i +∞ Ldt −∞ which governs propagators of field theory at finite temperature in Minkowski space is Wick rotated to the Euclidean version exp − β 1 LE dτ 0 which governs propagators of Euclidean quantum field theory with periodic time. See for example page 262 of [74]. 125 In other words, Euclidean quantum field theory in (n + 1)-dimensional spacetime with 0 ≤ τ < β corresponds to quantum statistical mechanics in n-dimensional space. To quote [74], Surely you would hit it big with mystical types if you were to tell them that temperature is equivalent to cyclic imaginary time. At the arithmetic level this connection comes merely from the fact that the central objects in quantum physics e−iHT and in thermal physics e−βH are formally related by analytic continuation. Some physicists, myself included, feel that there may be something profound here that we have not quite understood. Now we consider a typical n-dimensional spherical black hole metric of the form after Wick-rotation: ds2 = V dτ 2 + V −1 dr2 + r2 dΩ2 where V is a function of r. Now the neighbourhood near the horizon is trying to look like R2 × S n−2 . This can be achieved by having (r, τ ) to behave like polar coordinates. This is where the periodic condition imposed on τ comes in helpful. However, one must make sure that the periodicity is nice and does not cause conical singularity. In other words, we have to make sure that the infinitesimal ratio of the circumference (going around in τ ) to the radius (moving in r) is in fact 2π as we approach the origin of R2 (p.412 of [37]) which is at the horizon r = reh . This procedure goes by the name ensuring regularity of the Euclidean section. For constant r and constant angles, we have ds = V 1/2 dτ , and so the circumference C is given by β 1 1 V 2 dτ = V 2 β. C= 0 Now requiring that the said ratio to be 2π implies that 1 β d(V 2 ) 2π = lim − 1 . r→reh V 2 dr This simplifies to 4π = V |r=reh . β Consequently for Reissner-Nordstr¨om black hole, with V =1− 2M Q2 + 2 r r 126 we have T = M 2 − Q2 1 M reh − Q2 = = 3 β 2πreh 4πM (M + M 2 − Q2 ) − 2πQ2 of which we note that the temperature approaches zero as more electrical charges are added to the black hole, i.e. the Hawking radiation decreases as charges increase, and hence the black hole is prevented from becoming a naked singularity. For Schwarzschild black hole, we set Q = 0 and find that T = 1 . 8πM Bibliography [1] Smilka Zdravkovska, Conversation with Vladimir Igorevich Arnol’d, The Mathematical Intelligencer, Volume 9, Number 4/December, 1987, p. 28-32. [2] Myers R. C. and Perry M. J., Black Holes in Higher Dimensional Space-Times, Annals of Physics, 172, Issue 2, p. 304-347. [3] Roberto Emparan and Harvey S. Reall, Black Rings, Class. Quant. Grav. 23: R169, 2006. hep-th/0608012 [4] Henriette Elvang and Pau Figueras, Black Saturn, JHEP0705:050, 2007. hepth/0701035 [5] Maximo Banados, Claudio Teitelboim, Jorge Zanelli, The Black Hole in Three Dimensional Space Time, Phys. Rev. Lett. 69 (1992) 1849-1851 hep-th/9204099 [6] Maldacena, J. M. The Large N Limit of Superconformal Field Theory and Supergravity, Adv.Theor.Math.Phys.2:231-252,1998, hep-th/9711200 [7] Witten, Edward. Anti de Sitter Space and Holography, hep-th/9802150 [8] Yoonbai Kim, Chae Young Oh, Namil Park. Classical Geometry of De Sitter Spacetime : An Introductory Review, hep-th/0212326 [9] Carroll, Sean M. Spacetime and Geometry: An Introduction to General Relativity, Addison Wesley, 2004. [10] Moschella, Ugo. The de Sitter and Anti-de Sitter Sightseeing Tour, Seminaire Poincar´e 1 (2005) 1-12 [11] Susskind, Leonard and Lindesay, James. An Introduction to Black Holes, Information and the String Theory Revolution: The Holographic Universe, World Scientific, 2005. [12] S. W. Hawking and G. F. R. Ellis. The Large Scale Structure of Space-Time, Cambridge University Press, 1973. BIBLIOGRAPHY 128 [13] G. W. Gibbons. Anti-de-Sitter Spacetime and Its Uses Mathematical and Quantum Aspects of Relativity and Cosmology, Springer 2000. [14] David Griffiths. Introduction to Elementary Particles, Second Edition. WILEYVCH GmbH & Co. KGaA. [15] Clifford V. Johnson and Peter Steinberg. What Black Holes Teach about Strongly Coupled Particles, Physics Today, May 2010. American Institute of Physics. [16] Igor R. Klebanov and Juan M. Maldacena. Solving Quantum Field Theories via Curved Spacetime, Physics Today, American Institute of Physics January 2009. [17] Brett McInnes. Black Hole Final 10.1016/j.nuclphysb.2008.08.007, hep-th/0806.3818v2 State Conspiracies, [18] Brett McInnes. Bounding the Temperatures of Black Holes Dual to Strongly Coupled Field Theories on Flat Spacetime, JHEP09(2009)048. hep-th/0905.1180 [19] John Stillwell. Geometry of Surfaces. Springer-Verlag, 1995. [20] Ingemar Bengtsson. Anti-de Sitter Space. Fall 1998. Lecture Notes. [21] Danny Birmingham. Topological Black Holes in Anti-de Class.Quant.Grav. 16 (1999) 1197-1205, hep-th/9808032 Sitter Space, [22] Barrett O’Neill. Semi-Riemannian Geometry With Applications to Relativity, Academic Press, 1983. [23] Joseph A. Wolf. Spaces of Constant Curvature, Publish or Perish, 1984. [24] John Horton Conway, math/0311476 Juan Pablo Rossetti. Describing the Platycosms, [25] Keith R. Dienes, Arash Mafi. Shadows of the Planck Scale: The Changing Face of Compactification Geometry, Phys.Rev.Lett.88:111602,2002, hep-th/0111264v1 [26] Peter G Doyle, Juan Pablo Rossetti. Tetra and Didi, The Cosmic Spectral Twins, Geom. Topol. 8(2004) 1227-1242, math/0407422v3 [27] David Gabai, Robert Meyerhoff, Peter Milley. Minimum volume cusped hyperbolic three-manifolds, math/0705.4325 [28] David Gabai, Robert Meyerhoff, Peter Milley. Mom technology and volumes of hyperbolic 3-manifolds, math/0606072 [29] Stefan Aminneborg, Ingemar Bengtsson, Soren Holst, Peter Peldan. Making Antide Sitter Black Holes, gr-qc/9604005 BIBLIOGRAPHY 129 [30] Kai Lin, Shu-Zheng Yang. Fermions tunneling from higher-dimensional ReissnerNordstr¨om black hole, gr-qc/0903.1983 [31] Shuang-Qing Wu, Qing-Quan Jiang. Hawking Radiation of Charged Particles as Tunneling from Higher Dimensional Reissner-Nordstr¨om-de Sitter Black Holes, hep-th/0603082 [32] Danny Birmingham. Stability of Phys.Rev.D76:124039,2007, hep-th/0709.2388 Topological Black Holes, [33] M. Kleban, M. Porrati, R. Rabadan. Stability in Asymptotically AdS Spaces, JHEP0508:016,2005, hep-th/0409242v1 [34] Gonalo A. S. Dias, Jos´e P. S. Lemos. Hamiltonian thermodynamics of ddimensional (d = 4 and d > 4) Reissner-Nordstr¨om anti-de Sitter black holes with spherical, planar, and hyperbolic topology, Phys.Rev.D79:044013,2009, grqc/0901.0278 [35] Bidyut Prava Nayak. Bragg-Williams Theory of Phase Transition: Ising Model and Black Hole, Prayas Students’ Journal of Physics. [36] S. W. Hawking, Don N. Page. Thermodynamics of Black Holes in Anti-de Sitter Space, Commun. Math. Phys. 87, 577-588 (1983). [37] Clifford V. Johnson. D-Branes, Cambridge University Press, 2003. [38] Gary T. Horowitz, Robert C. Myers. The AdS/CFT Correspondence and a New Positive Energy Conjecture for General Relativity, Phys.Rev.D59:026005,1998. hep-th/9808079 [39] G.J. Galloway, S. Surya, E. Woolgar. A Uniqueness Theorem for the AdS Soliton, Phys.Rev.Lett. 88 (2002) 101102. hep-th/0108170 [40] G.J. Galloway, S. Surya, E.Woolgar. On the Geometry and Mass of Static, Asymptotically AdS Spacetimes, and the Uniqueness of the AdS Soliton, Math.Phys. 241 (2003) 1. hep-th/0204081 [41] Sumati Surya, Kristin Schleich, Donald M. Witt. Phase Transitions for Flat adS Black Holes, Phys.Rev.Lett. 86 (2001) 5231-5234. hep-th/0101134 [42] Nathan Seiberg, Edward Witten. The D1/D5 System and Singular CFT, JHEP 9904 (1999) 017. hep-th/9903224 [43] Brett McInnes. Stringy Instability of Topologically Non-Trivial AdS Black Holes and of de-Sitter S-Brane Spacetimes, Nucl.Phys. B660 (2003) 373-388. hepth/0205103v5 BIBLIOGRAPHY 130 [44] Brett McInnes. Holography of the Quark Matter Triple Point, Nuclear Physics B832 (2010) 323-341. hep-th/0910.4456 [45] Stanislaw Mr´owczy´ nski. Quark-Gluon Plasma, ACTA PHYSICA POLONICA B, Vol. 29 (1998), No.12 [46] Tomohiro Inagaki. Color Superconductivity and Radius of Dense Star Talk at IOPAS HEP Theory Regular Seminars [47] Fridolin Weber. Strange Quark Matter and Compact Stars, Prog.Part.Nucl.Phys. 54 (2005) 193-288. astro-ph/0407155 [48] ’Perfect’ Liquid Hot Enough to be Quark National Laboratory’s Relativistic Heavy http://www.bnl.gov/rhic/news2/news.asp?a=1074t=pr Soup Ion Brookhaven Collider, [49] Miklos Gyulassy. The QGP Discovered at RHIC, nucl-th/0403032 [50] STAR Collaboration: J. Adams, et al. Experimental and Theoretical Challenges in the Search for the Quark Gluon Plasma: The STAR Collaboration’s Critical Assessment of the Evidence from RHIC Collisions, nucl-ex/0501009 [51] Steven Gottlieb. Lattice Calculations of the Quark-Gluon Plasma, Journal of Physics: Conference Series 78 (2007) 012023, doi:10.1088/1742-6596/78/1/012023 [52] Mark G. Alford, Krishna Rajagopal, Thomas Schaefer, Andreas Schmitt. Color superconductivity in dense quark matter, hep-ph/0709.4635 [53] Mark Alford1, Krishna Rajagopal, and Frank Wilczek. QCD at Finite Baryon Density: Nucleon Droplets and Color Superconductivity, Phys.Lett. B422 (1998) 247-256. hep-ph/9711395v4 [54] Viatcheslav Mukhanov. Physical Foundations of Cosmology, Cambridge University Press, 2005. [55] Bedangadas Mohanty. QCD Phase Diagram: Phase Transition, Critical Point and Fluctuations, nucl-ex/0907.4476v3 [56] Simon Hands. The Phase Diagram of QCD, physics.ed-ph/0105022v1 [57] Sean A. Hartnoll. Lectures on holographic methods for condensed matter physics, hep-th/0903.3236 [58] Steven S. Gubser, Indrajit Mitra. Instability of charged black holes in anti-de Sitter space, hep-th/0009126 [59] Robert C. Myers, Miguel F. Paulos, Aninda Sinha. Holographic Hydrodynamics with a Chemical Potential, hep-th/0903.2834 BIBLIOGRAPHY 131 [60] E.V.Shuryak. Locating strongly coupled color superconductivity using universality and experiments with trapped ultracold atoms, nucl-th/0606046 [61] Simon C. Huot, Sangyong Jeon, Guy D. Moore. Shear viscosity in weakly coupled N =4 Super Yang-Mills theory compared to QCD, Phys.Rev.Lett.98:172303, 2007. hep-ph/0608062 [62] Garfinkle D, Horowitz G T, Strominger A. Charged Black Holes in String Theory, Phys Rev D, 1991, 43(10): 31403143. [63] Gary T. Horowitz. The Dark Side of String Theory: Black Holes and Black Strings, hep-th/9210119 [64] Daniel J. Loranz, William A. Hiscock Quantized fields and temperature in charged dilatonic black hole spacetimes, gr-qc/9607048 [65] Cheng Zhou Liu. The Information Entropy of a Static Dilaton Black Hole, Science in China Series G: Physics, Mechanics & Astronomy, Volume 51, Number 2, February 2008, p.113-125. [66] Chang Jun Gao, Huang Nan Zhang. Topological Black Holes in Dilaton Gravity Theory, Physics Letters B. Volume 612, Issues 3-4, 21 April 2006, p. 127 - 136. [67] Ted Jacobson. When is gtt grr = −1?, Class.Quant.Grav.24:5717-5719,2007. grqc/0707.3222 [68] S. H. Hendi, A. Sheykhi. Thermodynamics of Higher Dimensional Topological Charged AdS Black Holes in Dilaton Gravity, hep-th/1002.0202 [69] Steven S. Gubser, Fabio D. Rocha. Peculiar properties of a charged dilatonic black hole in AdS5 , Phys.Rev.D81:046001, 2010. hep-th/0911.2898 [70] Kevin Goldstein, Shamit Kachru, Shiroman Prakash, Sandip P. Trivedi. Holography of Charged Dilaton Black Holes. hep-th/0911.3586 [71] Chiang-Mei Chen, Da-Wei Pang. Holography of Charged Dilaton Black Holes in General Dimensions hep-th/1003.5064 [72] Laboratoire National des Champs Magn´etiques Intenses. Heavy-Fermion Systems. Centre National de la Recherche Scientifique. [73] Zwiebach, Barton. A First Course in String Theory. Cambridge University Press, 2005. [74] Anthony Zee. Quantum Field Theory in a Nutshell. Princeton University Press, 2003. [...]... everything, but to probe high energy strongly coupled systems that otherwise remain outside our reach It does not matter whether what we call particles in our own universe are made of tiny wiggling strings or not - the strings in AdS/ CFT live in 5-dimensional AdS bulk, if you prefer you can think of this as a mathematical trick in the following sense: What we are interested in is to solve problems involving... theories and superstring theories [6] The AdS/ CFT correspondence says that string theory defined in Anti-de Sitter space (AdS) is equivalent to a certain conformal field theory (CFT, to be explained in more details later) defined on its boundary The term correspondence was first used by Edward Witten when he elaborated on the idea in his classic 1998 paper.[7] This is what String Theory is good for... string, black brane, and in the case of multi -black hole system, even black saturn [Elvang-Figueras, 2007] [4] The topology of black holes in higher dimensions is thus much richer than the one in (3+1)-dimension, which, by one theorem of Hawking (assuming appropriate energy condition), can only be of spherical topology [1975] [12] The interesting thing is that we can actually obtain non-spherical black holes. .. Myers-Perry black hole is not the unique black hole solution to Einstein Fields Equations in higher dimensions There exists a rotating ring-shaped solution in five dimensions with the horizon topology of S 2 × S 1 which may have the same mass and angular momentum as the Myers-Perry solution This is known as a black ring [Emparan-Reall, 2006] [3] In fact, one has a large number of black objects, e.g black string,... to attach their two ends on it with Dirichlet boundary conditions D-branes were discovered by Dai, Leigh and Polchinski, and independently by Horava in 1989 In 1997, approaching the physics of black holes with the powerful mathematical tools of superstring theory, Juan Maldacena proposed the idea that is now known as AdS/ CFT correspondence or the holographic principle in which he claimed that there... coupled in the bulk Correspondingly, the interactions in the Yang-Mills theory is strongly coupled Conversely, weak ’t Hooft coupling in the Yang-Mills theory corresponds to strong string coupling in the bulk, and the dual gravitational theory will require full non-perturbative stringy calculations It turns out that the Yang-Mills coupling is proportional to the string coupling, so if string coupling were... The horizon area is, assuming the weak energy condition, a non-decreasing function of time (4) The 3rd-Law: It is not possible to form a black hole with vanishing surface gravity Also in 1972, Jacob Bekenstein suggested that black holes have an entropy SBH proportional to their surface area The Bekenstein-Hawking entropy formula reads SBH = A 4 Surprisingly, Stephen Hawking further showed that contrary... Chapter 6, we will look at some applications of AdS/ CFT, in particular, how the gravitational theory of topological black hole in the 5-dimensional AdS bulk can tell us something about the physics of quark gluon plasma living on the boundary (i.e in our own universe!) To do so, we need to understand stability issues of black holes, which we will explore in Chapter 4 Chapter 2 From de Sitter Space to... = sin θ1 cos θ2 ,      ω d−2 = sin θ1 cos θ2 · · · sin θd−3 cos θd−2      ω d−1 = sin θ1 cos θ2 · · · sin θd−2 cos θd−1    ω d = sin θ cos θ · · · sin θ sin θ 1 2 d−2 d−1 where θ1 , θ2 , , θd−2 ∈ [0, π) and θd−1 ∈ [0, 2π) Inserting this into the Minkowski metric ds2 = −dt2 + dx21 + dx22 + dx2d we get ds2 = −dt2 + l2 cosh2 t l dΩ2d−1 where 2 dΩ2d−1 = dθ12 + sin2 θ1 dθ22 + · · · + sin2... conformally mapped into a subspace of ESU4 If we represent ESU4 as a cylinder where time runs vertically and each circle of constant time 2.4 Conformal Compactification 24 represents a 3-sphere, then we can map Minkowski space to a portion of the cylinder Figure 2.6: The embedding of Minkowski spacetime into Eistein static universe protrayed as a portion of an infinite cylinder In the cylinder, Minkowski spacetime ... particles in our own universe are made of tiny wiggling strings or not - the strings in AdS/ CFT live in 5-dimensional AdS bulk, if you prefer you can think of this as a mathematical trick in the... following sense: What we are interested in is to solve problems involving certain field theory in our universe, AdS/ CFT allows us to translate this problem to a gravitational theory in the 1.2 String... Chapter 6, we will look at some applications of AdS/ CFT, in particular, how the gravitational theory of topological black hole in the 5-dimensional AdS bulk can tell us something about the physics