Arxiv:2106.03715V2 [Hep-Th] 17 Jun 2021
Total Page:16
File Type:pdf, Size:1020Kb
No Future in Black Holes Malcolm J. Perry∗ School of Physics and Astronomy, Queen Mary University of London, Mile End Road, London E1 4NS, UK† (Dated: June 18, 2021) The black hole information paradox has been with us for some time. We outline the nature of the paradox. We then propose a resolution based on an examination of the properties of quantum gravity under circumstances that give rise to a classical singularity. We show that the gravita- tional wavefunction vanishes as one gets close to the classical singularity. This results in a future boundary condition inside the black hole that allows for quantum information to be recovered in the evaporation process. The black hole information paradox is presently one of The hoop conjecture [4] asserts that a black hole will the most puzzling problems in fundamental physics. It is form when a mass m is localised into a sufficiently small widely believed that quantum mechanics should control region of size m. Once an event horizon forms, Pen- the evolution of any physical system. At first sight, black rose’s theorem∼ [5] guarantees that the spacetime is sin- holes appear to transcend quantum mechanics, [1]. gular and is usually taken to mean that there is a region What follows is a brief outline of a possible way to of infinite curvature that is the boundary of spacetime. resolve the information paradox. A much more complete The special case of spherically symmetric collapse was treatment will be published elsewhere. studied by Oppenheimer and Snyder, [6]. They looked at In classical physics, a black hole formed by gravita- the collapse of a spherically symmetric ball of pressure- tional collapse will settle down to a member of the Kerr- free matter. Outside the collapsing body, the metric is Newman family. The black hole is completely charac- given precisely by the static Schwarzschild metric. The terised by its mass, M, angular momentum J, electric horizon forms once the ball has contracted sufficiently. charge Q and its soft gauge charges. 1 Infalling mat- The spacetime inside the ball of matter is part of a k =1 ter, once it has passed through the event horizon can no FLRW universe. The singularity forms to the future of longer influence anything outside the black hole. What the horizon when the density of the ball diverges. How- is more, it will inevitably arrive at the spacetime singu- ever, the singularity is not quite the same as in the famil- larity in the black hole interior and disappear from the iar FLRW universe as it stretches outside the collapsing spacetime. From the point of view of external observers, matter in a spacelike fashion. the material that gave rise to the black hole has com- Realistic gravitational collapse is not spherically sym- pletely disappeared. The black hole will then remain as metric. Weak cosmic censorship is the conjecture that a sink for infalling material for ever. any singularity is hidden from observers outside the black In quantum mechanics, the situation is different be- hole. Whilst a proof of this conjecture is lacking, the ev- cause of Hawking radiation, [2, 3]. Hawking showed that idence for it is substantial. Unlike spherical collapse to black holes produce thermal radiation at a temperature form a Schwarzschild black hole, the Kerr-Newman so- inversely proportional to their mass. A black hole there- lutions involve timelike singularities. It is believed that fore loses mass more and more rapidly and will disappear they do not form in realistic collapse. They are behind completely on a timescale τ M 3. The difficulty is that an inner horizon which is known to be perturbatively un- the final state is just thermal∼ Hawking radiation that stable. Dafermos and Luk [7] have recently shown that 2 arXiv:2106.03715v2 [hep-th] 17 Jun 2021 appears to have a von Neumann entropy M and is generically singularities have spacelike, or null, compo- independent of the nature of the incoming∼ state. In the nents. We assume the Penrose diagram for generic col- unitary evolution required by quantum mechanics, von lapse to be the similar to the Schwarzschild case although Neumann entropy is constant. So either quantum me- there are possibly null sections of the singularity. The chanics breaks down or some new physics is required. essential point being that we expect all future-directed The remainder of this paper presents a concrete pro- timelike or null lines to reach the singularity. posal, based on the quantization of general relativity, Hawking [2, 3] showed that the temperature of the that allows for a resolution of the paradox with the black black hole is given by TH = κ/2π where κ is the surface hole obeying the usual rules of quantum mechanics as gravity of the black hole. Bardeen, Carter and Hawk- far as external observers are concerned. We will restrict ing [8] proved the first law of black hole mechanics that the discussion to a spacetime of dimension four and only governs infinitesimal changes in the state of a stationary consider black holes in an asymptotically flat spacetime. black hole. κdA dM = +ΦdQ +ΩdJ (1) 8π 1 We use natural units with G = c = ¯h = k = 1. The curvature d convention is ∇a∇bVc = RabcdV . where M is the mass of the black hole, A the area of 2 the event horizon, Φ the electrostatic potential of the whether γ(1) is to the past or future of γ(2). If however (i) hole and Ω its angular velocity. Since TH = κ/2π, we the surfaces on which γ are defined stretch out to infin- readily infer the black hole has entropy A/4. It should ity, then a time can be associated with each such surface. be noted that S M 2 is an entropy that is vastly greater A second possibility is that there is a single component than typical systems∼ in equilibrium for which the entropy to the boundary. Z is then the probability amplitude of scales with mass more slowly. Following Boltzmann, it finding a particular geometry γ, [12]. In the case of a is presumed that eS is the density of states of the black single boundary component, Z is usually referred to as hole. the wavefunction of the universe, Ψ[γ]. Again, there is This idea is formalised in a collection of ideas that no reference to an arrow of time for a closed system. In- have become known as the “central dogma”of black hole side an evaporating black hole, if one has a surface close physics [9]. For external observers, the black hole behaves to the singularity, it does not seem to be legitimate to like any other quantum system; it has a density of states extend such a surface out to infinity as the interior is eS and its evolution is unitary. Outside the black hole, causally disjoint from the asymptotic region. one expects the conventional ideas of general relativity Canonical methods allow for another approach to de- to be valid; namely that spacetime can be treated by termining Ψ[γ]. Take the metric and rewrite it in ADM classical geometry and that fields (including gravitons) form [13, 14] as can be treated by effective field theory. ds2 = N 2dt2 + γ (dxi + N idt)(dxj + N j dt). (4) If these ideas were to hold inside a black hole we would − ij be in trouble. Suppose we study the wave equation inside N is referred to as the lapse and N i as the shift. γ is the Schwarzschild black hole, we find that its solutions ij a purely spacelike metric. Using this decomposition, the typically blow up at the singularity and induce a cor- Einstein action becomes responding divergence in the probability current there. Quantum information is thereby taken out of the space- I[g]= d3x dt √γN K Kij K2 + (3)R(γ) (5) time. In the absence of cloning, information would be ij − lost. Z It is to quantum gravity that we must turn our atten- where (3)R(γ) is the Ricci scalar of the three-metric γ tion. The path integral for gravity is and Kij is the second fundamental form of the t = const surfaces. Explicitly iI[g] Z g e (2) 1 ∼ D K = D N + D N γ˙ (6) Z ij 2N i j j i − ij where I[g] is the Einstein action for a metric gab on a where Di is the covariant derivative based on the 3-metric manifold and boundary ∂ with induced metric γij , M M γij and a dot denotes the time derivative. Using Hamil- tonian techniques, one finds that in the Gaussian gauge 1 4 1 3 I[g]= R √ g d x K √ γ d x. (3) N =1,N i = 0 the system is described entirely in terms 16π M − ± 8π M ± Z Z∂ of two constraints: the diffeomorphism constraint R is the Ricci scalar of the metric gab. K is the trace χj D πij = 0 (7) of the second fundamental form of the boundary and ≡ i the sign is chosen depending on whether the boundary is and the Hamiltonian constraint spacelike or timelike. There may be many disconnected components of the boundary. The integral is taken over −1/2 ij 1 i j (3) γ π πij 2 πi πj Rγ =0. (8) all Lorentzian metrics gab modulo diffeomorphisms with H≡ − − ij induced metric γij on the boundary. π is the momentum conjugate to γij and can be written It is not clear what, if any, precise conditions are to as be imposed on the metric. If we are interested only in a semi-classical evaluation of Z, the path integral can be πij = γ1/2(Kij γij K).