Quantum Field Theory on Spacetimes with a Compactly Generated Cauchy Horizon

We prove two theorems which concern difficulties in the formulation of the quantum theory of a linear scalar field on a spacetime, , with a compactly generated Cauchy horizon. These theorems demonstrate the breakdown of the theory at certain base points of the Cauchy horizon, which are defined as ‘past terminal accumulation points’ of the horizon generators. Thus, the theorems may be interpreted as giving support to Hawking's ‘Chronology Protection Conjecture’, according to which the laws of physics prevent one from manufacturing a ’time machine‘. Specifically, we prove: Theorem 1. There is no extension to of the usual field algebra on the initial globally hyperbolic region which satisfies the condition of F-locality at any base point. In other words, any extension of the field algebra must, in any globally hyperbolic neighbourhood of any base point, differ from the algebra one would define on that neighbourhood according to the rules for globally hyperbolic spacetimes. Theorem 2. The two-point distribution for any Hadamard state defined on the initial globally hyperbolic region must (when extended to a distributional bisolution of the covariant Klein-Gordon equation on the full spacetime) be singular at every base point x in the sense that the difference between this two point distribution and a local Hadamard distribution cannot be given by a bounded function in any neighbourhood (in M × M) of (x,x). In consequence of Theorem 2, quantities such as the renormalized expectation value of φ² or of the stress-energy tensor are necessarily ill-defined or singular at any base point. The proof of these theorems relies on the ‘Propagation of Singularities’ theorems of Duistermaat and H?rmander. Received: 14 March 1996/Accepted: 11 June 1996     

Stability of Black Holes and Black Branes

We establish a new criterion for the dynamical stability of black holes in D ≥ 4 spacetime dimensions in general relativity with respect to axisymmetric perturbations: Dynamical stability is equivalent to the positivity of the canonical energy, ${\mathcal{E}}$ , on a subspace, ${\mathcal{T}}$ , of linearized solutions that have vanishing linearized ADM mass, momentum, and angular momentum at infinity and satisfy certain gauge conditions at the horizon. This is shown by proving that—apart from pure gauge perturbations and perturbations towards other stationary black holes— ${\mathcal{E}}$ is nondegenerate on ${\mathcal{T}}$ and that, for axisymmetric perturbations, ${\mathcal{E}}$ has positive flux properties at both infinity and the horizon. We further show that ${\mathcal{E}}$ is related to the second order variations of mass, angular momentum, and horizon area by ${\mathcal{E} = \delta^2 M -\sum_A \Omega_A \delta^2 J_A - \frac{\kappa}{8\pi}\delta^2 A}$ , thereby establishing a close connection between dynamical stability and thermodynamic stability. Thermodynamic instability of a family of black holes need not imply dynamical instability because the perturbations towards other members of the family will not, in general, have vanishing linearized ADM mass and/or angular momentum. However, we prove that for any black brane corresponding to a thermodynamically unstable black hole, sufficiently long wavelength perturbations can be found with ${\mathcal{E} < 0}$ and vanishing linearized ADM quantities. Thus, all black branes corresponding to thermodynmically unstable black holes are dynamically unstable, as conjectured by Gubser and Mitra. We also prove that positivity of ${\mathcal{E}}$ on ${\mathcal{T}}$ is equivalent to the satisfaction of a “ local Penrose inequality,” thus showing that satisfaction of this local Penrose inequality is necessary and sufficient for dynamical stability. Although we restrict our considerations in this paper to vacuum general relativity, most of the results of this paper are derived using general Lagrangian and Hamiltonian methods and therefore can be straightforwardly generalized to allow for the presence of matter fields and/or to the case of an arbitrary diffeomorphism covariant gravitational action.     

Essay: Quantum Field Theory Is Not Merely Quantum Mechanics Applied to Low Energy Effective Degrees of Freedom

It is commonly assumed that quantum field theory arises by applying ordinary quantum mechanics to the low energy effective degrees of freedom of a more fundamental theory defined at ultra-high-energy/short-wavelength scales. We shall argue here that, even for free quantum fields, there are holistic aspects of quantum field theory that cannot be properly understood in this manner. Specifically, the subtractions needed to define nonlinear polynomial functions of a free quantum field in curved spacetime are quite simple and natural from the quantum field theoretic point of view, but are at best extremely ad hoc and unnatural if viewed as independent renormalizations of individual modes of the field. We illustrate this point by contrasting the analysis of the Casimir effect, the renormalization of the stress-energy tensor in time-dependent spacetimes, and anomalies from the point of quantum field theory and from the point of view of quantum mechanics applied to the independent low energy modes of the field. Some implications for the cosmological constant problem are discussed.     

On the Rigidity Theorem for Spacetimes with a Stationary Event Horizon or a Compact Cauchy Horizon

We consider smooth electrovac spacetimes which represent either (A) an asymptotically flat, stationary black hole or (B) a cosmological spacetime with a compact Cauchy horizon ruled by closed null geodesics. The black hole event horizon or, respectively, the compact Cauchy horizon of these spacetimes is assumed to be a smooth null hypersurface which is non-degenerate in the sense that its null geodesic generators are geodesically incomplete in one direction. In both cases, it is shown that there exists a Killing vector field in a one-sided neighborhood of the horizon which is normal to the horizon. We thereby generalize theorems of Hawking (for case (A)) and Isenberg and Moncrief (for case (B)) to the non-analytic case. Received: 4 November 1998 / Accepted: 13 February 1999