arXiv subjects
Publications and source records attributed to Robert M. Wald.
The usual formulations of quantum field theory in Minkowski spacetime make crucial use of Poincare symmetry, positivity of total energy, and the existence of a unique, Poincare invariant vacuum state. These and other key features of quantum field theory do not generalize straightforwardly to curved spacetime. We discuss the conceptual obstacles to formulating quantum field theory in curved spacetime and how they can be overcome
We present a general method for the analysis of the stability of static, spherically symmetric solutions to spherically symmetric perturbations in an arbitrary diffeomorphism covariant Lagrangian field theory. Our method involves fixing the gauge and solving the linearized gravitational field equations to eliminate the metric perturbation variable in terms of the matter variables. In a wide class of cases--which include f(R) gravity, the Einstein-aether theory of Jacobson and Mattingly, and Bekenstein's TeVeS theory--the remaining perturbation equations for the matter fields are second order in time. We show how the symplectic current arising from the original Lagrangian gives rise to a symmetric bilinear form on the variables of the reduced theory. If this bilinear form is positive definite, it provides an inner product that puts the equations of motion of the reduced theory into a self-adjoint form. A variational principle can then be written down immediately, from which stability can be tested readily. We illustrate our method in the case of Einstein's equation with perfect fluid matter, thereby re-deriving, in a systematic manner, Chandrasekhar's variational principle for radial oscillations of spherically symmetric stars. In a subsequent paper, we will apply our analysis to f(R) gravity, the Einstein-aether theory, and Bekenstein's TeVeS theory.
A key result in the proof of black hole uniqueness in 4-dimensions is that a stationary black hole that is ``rotating''--i.e., is such that the stationary Killing field is not everywhere normal to the horizon--must be axisymmetric. The proof of this result in 4-dimensions relies on the fact that the orbits of the stationary Killing field on the horizon have the property that they must return to the same null geodesic generator of the horizon after a certain period, $P$. This latter property follows, in turn, from the fact that the cross-sections of the horizon are two-dimensional spheres. However, in spacetimes of dimension greater than 4, it is no longer true that the orbits of the stationary Killing field on the horizon must return to the same null geodesic generator. In this paper, we prove that, nevertheless, a higher dimensional stationary black hole that is rotating must be axisymmetric. No assumptions are made concerning the topology of the horizon cross-sections other than that they are compact. However, we assume that the horizon is non-degenerate and, as in the 4-dimensional proof, that the spacetime is analytic.
Quantum field theory in curved spacetime is a theory wherein matter is treated fully in accord with the principles of quantum field theory, but gravity is treated classically in accord with general relativity. It is not expected to be an exact theory of nature, but it should provide a good approximate description when the quantum effects of gravity itself do not play a dominant role. A major impetus to the theory was provided by Hawking's calculation of particle creation by black holes, showing that black holes radiate as perfect black bodies. During the past 30 years, considerable progress has been made in giving a mathematically rigorous formulation of quantum field theory in curved spacetime. Major issues of principle with regard to the formulation of the theory arise from the lack of Poincare symmetry and the absence of a preferred vacuum state or preferred notion of ``particles''. By the mid-1980's, it was understood how all of these difficulties could be overcome for free (i.e., non-self-interacting) quantum fields by formulating the theory via the algebraic approach and focusing attention on the local field observables rather than a notion of ``particles''. However, these ideas, by themselves, were not adequate for the formulation of interacting quantum field theory, even at a perturbative level, since standard renormalization prescriptions in Minkowski spacetime rely heavily on Poincare invariance and the existence of a Poincare invariant vacuum state. However, during the past decade, great progress has been made, mainly due to the importation into the theory of the methods of ``microlocal analysis''. This article will describe the historical development of the subject and describe some of the recent progress.
This Resource Letter provides some guidance on issues that arise in teaching general relativity at both the undergraduate and graduate levels. Particular emphasis is placed on strategies for presenting the mathematical material needed for the formulation of general relativity.
No. It is simply not plausible that cosmic acceleration could arise within the context of general relativity from a back-reaction effect of inhomogeneities in our universe, without the presence of a cosmological constant or ``dark energy.'' We point out that our universe appears to be described very accurately on all scales by a Newtonianly perturbed FLRW metric. (This assertion is entirely consistent with the fact that we commonly encounter $δρ/ρ> 10^{30}$.) If the universe is accurately described by a Newtonianly perturbed FLRW metric, then the back-reaction of inhomogeneities on the dynamics of the universe is negligible. If not, then it is the burden of an alternative model to account for the observed properties of our universe. We emphasize with concrete examples that it is {\it not} adequate to attempt to justify a model by merely showing that some spatially averaged quantities behave the same way as in FLRW models with acceleration. A quantity representing the ``scale factor'' may ``accelerate'' without there being any physically observable consequences of this acceleration. It also is {\it not} adequate to calculate the second-order stress energy tensor and show that it has a form similar to that of a cosmological constant of the appropriate magnitude. The second-order stress energy tensor is gauge dependent, and if it were large, contributions of higher perturbative order could not be neglected. We attempt to clear up the apparent confusion between the second-order stress energy tensor arising in perturbation theory and the ``effective stress energy tensor'' arising in the ``shortwave approximation.''
The existence of a thermodynamic arrow of time in the present universe implies that the initial state of the observable portion of our universe at (or near) the ``big bang'' must have been very ``special''. We argue that it is not plausible that these special initial conditions have a dynamical origin.
We propose additional conditions (beyond those considered in our previous papers) that should be imposed on Wick products and time-ordered products of a free quantum scalar field in curved spacetime. These conditions arise from a simple ``Principle of Perturbative Agreement'': For interaction Lagrangians $L_1$ that are such that the interacting field theory can be constructed exactly--as occurs when $L_1$ is a ``pure divergence'' or when $L_1$ is at most quadratic in the field and contains no more than two derivatives--then time-ordered products must be defined so that the perturbative solution for interacting fields obtained from the Bogoliubov formula agrees with the exact solution. The conditions derived from this principle include a version of the Leibniz rule (or ``action Ward identity'') and a condition on time-ordered products that contain a factor of the free field $ϕ$ or the free stress-energy tensor $T_{ab}$. The main results of our paper are (1) a proof that in spacetime dimensions greater than 2, our new conditions can be consistently imposed in addition to our previously considered conditions and (2) a proof that, if they are imposed, then for {\em any} polynomial interaction Lagrangian $L_1$ (with no restriction on the number of derivatives appearing in $L_1$), the stress-energy tensor $Θ_{ab}$ of the interacting theory will be conserved. Our work thereby establishes (in the context of perturbation theory) the conservation of stress-energy for an arbitrary interacting scalar field in curved spacetimes of dimension greater than 2. Our approach requires us to view time-ordered products as maps taking classical field expressions into the quantum field algebra rather than as maps taking Wick polynomials of the quantum field into the quantum field algebra.
We show that for general relativity in odd spacetime dimensions greater than 4, all components of the unphysical Weyl tensor for arbitrary smooth, compact spatial support perturbations of Minkowski spacetime fail to be smooth at null infinity at leading nonvanishing order. This implies that for nearly flat radiating spacetimes, the non-smoothness of the unphysical metric at null infinity manifests itself at the same order as it describes deviations from flatness of the physical metric. Therefore, in odd spacetime dimensions, it does not appear that conformal null infinity can be in any way useful for describing radiation.
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.
In recent years, there has been considerable interest in theories formulated in anti-de Sitter (AdS) spacetime. However, AdS spacetime fails to be globally hyperbolic, so a classical field satisfying a hyperbolic wave equation on AdS spacetime need not have a well defined dynamics. Nevertheless, AdS spacetime is static, so the possible rules of dynamics for a field satisfying a linear wave equation are constrained by our previous general analysis--given in paper II--where it was shown that the possible choices of dynamics correspond to choices of positive, self-adjoint extensions of a certain differential operator, $A$. In the present paper, we reduce the analysis of electromagnetic, and gravitational perturbations in AdS spacetime to scalar wave equations. We then apply our general results to analyse the possible dynamics of scalar, electromagnetic, and gravitational perturbations in AdS spacetime. In AdS spacetime, the freedom (if any) in choosing self-adjoint extensions of $A$ corresponds to the freedom (if any) in choosing suitable boundary conditions at infinity, so our analysis determines all of the possible boundary conditions that can be imposed at infinity. In particular, we show that other boundary conditions besides the Dirichlet and Neumann conditions may be possible, depending on the value of the effective mass for scalar field perturbations, and depending on the number of spacetime dimensions and type of mode for electromagnetic and gravitational perturbations.
It was previously shown by one of us that in any static, non-globally-hyperbolic, spacetime it is always possible to define a sensible dynamics for a Klein-Gordon scalar field. The prescription proposed for doing so involved viewing the spatial derivative part, $A$, of the wave operator as an operator on a certain $L^2$ Hilbert space $\mathcal H$ and then defining a positive, self-adjoint operator on $\mathcal H$ by taking the Friedrichs extension (or other positive extension) of $A$. However, this analysis left open the possibility that there could be other inequivalent prescriptions of a completely different nature that might also yield satisfactory definitions of the dynamics of a scalar field. We show here that this is not the case. Specifically, we show that if the dynamics agrees locally with the dynamics defined by the wave equation, if it admits a suitable conserved energy, and if it satisfies certain other specified conditions, then it must correspond to the dynamics defined by choosing some positive, self-adjoint extension of $A$ on $\mathcal H$. Thus, subject to our requirements, the previously given prescription is the only possible way of defining the dynamics of a scalar field in a static, non-globally-hyperbolic, spacetime. In a subsequent paper, this result will be applied to the analysis of scalar, electromagnetic, and gravitational perturbations of anti-de Sitter spacetime. By doing so, we will determine all possible choices of boundary conditions at infinity in anti-de Sitter spacetime that give rise to sensible dynamics.
We respond to, and comment upon, a number of points raised in a recent paper by Kofman, Linde, and Mukhanov.
We define the renormalization group flow for a renormalizable interacting quantum field in curved spacetime via its behavior under scaling of the spacetime metric, $\g \to λ^2 \g$. We consider explicitly the case of a scalar field, $ϕ$, with a self-interaction of the form $κϕ^4$, although our results should generalize straightforwardly to other renormalizable theories. We construct the interacting field--as well as its Wick powers and their time-ordered-products--as formal power series in the algebra generated by the Wick powers and time-ordered-products of the free field, and we determine the changes in the interacting field observables resulting from changes in the renormalization prescription. Our main result is the proof that, for any fixed renormalization prescription, the interacting field algebra for the spacetime $(M, λ^2 \g)$ with coupling parameters $p$ is isomorphic to the interacting field algebra for the spacetime $(M, \g)$ but with different values, $p(λ)$, of the coupling parameters. The map $p \to p(λ)$ yields the renormalization group flow. The notion of essential and inessential coupling parameters is defined, and we define the notion of a fixed point as a point, $p$, in the parameter space for which there is no change in essential parameters under renormalization group flow.
We establish the existence of local, covariant time ordered products of local Wick polynomials for a free scalar field in curved spacetime. Our time ordered products satisfy all of the hypotheses of our previous uniqueness theorem, so our construction essentially completes the analysis of the existence, uniqueness and renormalizability of the perturbative expansion for nonlinear quantum field theories in curved spacetime. As a byproduct of our analysis, we derive a scaling expansion of the time ordered products about the total diagonal that expresses them as a sum of products of polynomials in the curvature times Lorentz invariant distributions, plus a remainder term of arbitrary low scaling degree.
Inflationary models are generally credited with explaining the large scale homogeneity, isotropy, and flatness of our universe as well as accounting for the origin of structure (i.e., the deviations from exact homogeneity) in our universe. We argue that the explanations provided by inflation for the homogeneity, isotropy, and flatness of our universe are not satisfactory, and that a proper explanation of these features will require a much deeper understanding of the initial state of our universe. On the other hand, inflationary models are spectacularly successful in providing an explanation of the deviations from homogeneity. We point out here that the fundamental mechanism responsible for providing deviations from homogeneity -- namely, the evolutionary behavior of quantum modes with wavelength larger than the Hubble radius -- will operate whether or not inflation itself occurs. However, if inflation did not occur, one must directly confront the issue of the initial state of modes whose wavelength was larger than the Hubble radius at the time at which they were "born". Under some simple hypotheses concerning the "birth time" and initial state of these modes (but without any "fine tuning"), it is shown that non-inflationary fluid models in the extremely early universe would result in the same density perturbation spectrum and amplitude as inflationary models, although there would be no "slow roll" enhancement of the scalar modes.
If spacetime possesses extra dimensions of size and curvature radii much larger than the Planck or string scales, the dynamics of these extra dimensions should be governed by classical general relativity. We argue that in general relativity, it is highly nontrivial to obtain solutions where the extra dimensions are static and are dynamically stable to small perturbations. We also illustrate that intuition on equilibrium and stability built up from non-gravitational physics can be highly misleading. For all static, homogeneous solutions satisfying the null energy condition, we show that the Ricci curvature of space must be nonnegative in all directions. Much of our analysis focuses on a class of spacetime models where space consists of a product of homogeneous and isotropic geometries. A dimensional reduction of these models is performed, and their stability to perturbations that preserve the spatial symmetries is analyzed. We conclude that the only physically realistic examples of classically stabilized large extra dimensions are those in which the extra-dimensional manifold is positively curved.
In order to have well defined rules for the perturbative calculation of quantities of interest in an interacting quantum field theory in curved spacetime, it is necessary to construct Wick polynomials and their time ordered products for the noninteracting theory. A construction of these quantities has recently been given by Brunetti, Fredenhagen, and Kohler, and by Brunetti and Fredenhagen, but they did not impose any ``locality'' or ``covariance'' condition in their constructions. As a consequence, their construction of time ordered products contained ambiguities involving arbitrary functions of spacetime point rather than arbitrary parameters. In this paper, we construct an ``extended Wick polynomial algebra''-large enough to contain the Wick polynomials and their time ordered products. We then define the notion of a {\it local, covariant quantum field}, and seek a definition of {\it local} Wick polynomials and their time ordered products as local, covariant quantum fields. We impose scaling requirements on our local Wick polynomials and their time ordered products as well as certain additional requirements-such as commutation relations with the free field and appropriate continuity properties under variations of the spacetime metric. For a given polynomial order in powers of the field, we prove that these conditions uniquely determine the local Wick polynomials and their time ordered products up to a finite number of parameters. (These parameters correspond to the usual renormalization ambiguities occurring in Minkowski spacetime together with additional parameters corresponding to the coupling of the field to curvature.) We also prove existence of local Wick polynomials. However, the issue of existence of local time ordered products is deferred to a future investigation