The notions of (metric) hypersurface data were introduced in [Mars,2013] as a tool to analyze, from an abstract viewpoint, hypersurfaces of arbitrary signature in pseudo-riemannian manifolds. In this paper, general geometric properties of these notions are studied. In particular, the properties of the gauge group inherent to the geometric construction are analyzed and the metric hypersurface connection and its corresponding curvature tensor are studied. The results set up the stage for various potential applications. The particular but relevant case of spherical symmetry is considered in detail. In particular, a collection of gauge invariant quantities and a radial covariant derivative is introduced, such that the constraint equations of the Einstein field equations with matter can be written in a very compact form. The general solution of these equations in the vacuum case and Lorentzian ambient signature is obtained, and a generalization of the Birkhoff theorem to this abstract hypersurface setting is derived.
The 5-dimensional (5d) Birkhoff theorem gives the class of 5d vacuum space-times containing spatial hypersurfaces with cosmological symmetries. This theorem is violated by the 5d vacuum Gergely-Maartens (GM) space-time, which is not a representant of the above class, but contains the static Einstein brane as embedded hypersurface. We prove that the 5d Birkhoff theorem is still satisfied in a weaker sense: the GM space-time is related to the degenerated horizon metric of certain black-hole space-times of the allowed class. This result resembles the connection between the Bertotti-Robinson space…
Birkhoff's theorem for spherically symmetric vacuum spacetimes is a key theorem in studying local systems in general relativity theory. However realistic local systems are only approximately spherically symmetric and only approximately vacuum. In a previous paper, we showed the theorem remains approximately true in an approximately spherically symmetric vacuum space time. In this paper we prove the converse case: the theorem remains approximately true in a spherically symmetric, approximately vacuum space time.
Spherically symmetric shock waves are shown to exist in Lovelock gravity. They amount to a change of branch of the spherically symmetric solutions across a null hypersurface. The implications of their existence for the status of Birkhoff's theorem in the theory is discussed.
Birkhoff's theorem is a classic result that characterizes locally spherically symmetric solutions of the Einstein equations. In this paper, we illustrate the consequences of its local nature for the cases of vacuum and positive cosmological constant. We construct several examples of initial data for spherically symmetric spacetimes on Cauchy surfaces of different topology than that of the maximal analytic extension of Schwarzschild and Schwarzschild-de Sitter spacetimes. The spacetimes formed from the evolution of these initial data sets also have very different physical properties; in particu…
We show succinctly that all metric theories with second order field equations obey Birkhoff's theorem: their spherically symmetric solutions are static.
We study the local causality issue via the Shapiro time-delay computations in the on-shell consistent exotic massive gravity in three dimensions. The theory shows time-delay as opposed to time-advance despite having a ghost at the linearized level both for asymptotically flat and anti-de Sitter spacetimes. We also prove a Birkhoff-like theorem: any solution with a hypersurface orthogonal non-null Killing vector field is conformally flat; and find some exact solutions.
We extend Birkhoff's theorem for almost LRS-II vacuum spacetimes to show that the rigidity of spherical vacuum solutions of Einstein's field equations continues even in the perturbed scenario.
We consider the consequences of the absence of Birkhoff's theorem in theories of modified gravity. As an example, we calculate the gravitational force on a test particle due to a spherical mass shell in the Dvali-Gabadaze-Porrati model (DGP). We show that unlike in General Relativity, the force depends on the mass distribution. In particular, the gravitational force within a spherical mass shell depends on the geometric structure of the bulk, and is likely non-zero.
Assuming SO(3)-spherical symmetry, the 4-dimensional Einstein equation reduces to an equation conformally related to the field equation for 2-dimensional gravity following from the Lagrangian L = R^(1/3). Solutions for 2-dimensional gravity always possess a local isometry because the traceless part of its Ricci tensor identically vanishes. Combining both facts, we get a new proof of Birkhoff's theorem; contrary to other proofs, no coordinates must be introduced. The SO(m)-spherically symmetric solutions of the (m+1)-dimensional Einstein equation can be found by considering L = R^(1/m) in two d…
We consider the Hassan-Rosen bimetric field equations in vacuum when the two metrics share a single common null direction in a spherically symmetric configuration. By solving these equations, we obtain a class of exact solutions of the generalized Vaidya type parametrized by an arbitrary function. Besides not being asymptotically flat, the found solutions are nonstationary admitting only three global spacelike Killing vector fields which are the generators of spatial rotations. Hence, these are spherically symmetric bimetric vacuum solutions with the minimal number of isometries. The absence o…
It is fair to say that our current mathematical understanding of the dynamics of gravitational collapse to a black hole is limited to the spherically symmetric situation and, in fact, even in this case much remains to be learned. The reason is that Einstein's equations become tractable only if they are reduced to a 1+1 dimensional system of partial differential equations. Due to this technical obstacle, very little is known about the collapse of pure gravitational waves because by Birkhoff's theorem there is no spherical collapse in vacuum. In this essay we describe a new cohomogeneity-two sym…
Generalized from the so-called teleparallel gravity which is exactly equivalent to general relativity, the $f(T)$ gravity has been proposed as an alternative gravity model to account for the dark energy phenomena. In this letter we prove that the external vacuum gravitational field for a spherically symmetric distribution of source matter in the $f(T)$ gravity framework must be static and the conclusion is independent of the radial distribution and spherically symmetric motion of the source matter that is, whether it is in motion or static. As a consequence, the Birkhoff's theorem is valid in …
We generalize Birkhoff's Theorem in the following fashion. We find necessary and sufficient conditions for any spherically symmetric space-time to be static in terms of the eigenvalues of the stress-energy tensor. In particular, we generalize the Tolman-Oppenheimer-Volkoff equation and prove that Birkhoff's theorem holds under the weaker hypothesis of no pressure (with respect to an appropriate frame.) We provide equations that show how the coefficients of the metric relate to the eigenvalues of the stress-energy tensor. These involve integrals that are simple functions of those eigenvalues. W…
We classify the existent Birkhoff-type theorems into four classes: First, in field theory, the theorem states the absence of helicity 0- and spin 0-parts of the gravitational field. Second, in relativistic astrophysics, it is the statement that the gravitational far-field of a spherically symmetric star carries, apart from its mass, no information about the star; therefore, a radially oscillating star has a static gravitational far-field. Third, in mathematical physics, Birkhoff's theorem reads: up to singular exceptions of measure zero, the spherically symmetric solutions of Einstein's vacuum…
We provide a simple, unified proof of Birkhoff's theorem for the vacuum and cosmological constant case, emphasizing its local nature. We discuss its implications for the maximal analytic extensions of Schwarzschild, Schwarzschild(-anti)-de Sitter and Nariai spacetimes. In particular, we note that the maximal analytic extensions of extremal and over-extremal Schwarzschild-de Sitter spacetimes exhibit no static region. Hence the common belief that Birkhoff's theorem implies staticity is false for the case of positive cosmological constant. Instead, the correct point of view is that generalized B…
The spherically symmetric null hypersurfaces in a Schwarzschild spacetime are smooth away from the singularities and foliate the spacetime. We prove the existence of more general foliations by null hypersurfaces without the spherical symmetry condition. In fact we also relax the spherical symmetry of the ambient spacetime and prove a more general result: in a perturbed Schwarzschild spacetime (not necessary being vacuum), nearly round null hypersurfaces can be extended regularly to the past null infinity, thus there exist many foliations by regular null hypersurfaces in the exterior region of …
We discuss the validity, or lack thereof, of the Jebsen-Birkhoff theorem in scalar-tensor theories by generalizing it and regarding the Brans-Dicke-like scalar as effective matter. Both the Jordan and Einstein frames are discussed and an apparent contradiction between static spherical solutions of scalar-tensor gravity and Hawking's theorem on Brans-Dicke black holes is clarified. The results are applied to metric and Palatini f(R) gravity.
The analysis of the validity of Birkhoff's theorem about the uniqueness of the spherically symmetric solution of the gravitational field equations is extended to the framework of the Poincaré gauge gravity theory. The class of models with the most general Lagrangians of the Yang-Mills type constructed from all possible quadratic invariants of the curvature and the torsion is considered, including both parity-even and parity-odd sectors. We find the models in which the weak and strong versions of the generalized Birkhoff theorem are valid, by making use of the double duality technique.
Birkhoff showed in 1923 that the Schwarzschild solution for the metric from a point particle was also valid in the a priori non-static case as long as the spherical symmetry was maintained. This theorem was actually discovered and published two years earlier by an unknown Norwegian physicist, J.T. Jebsen. His life and scientific career is briefly chronicled.
We show that the generic solutions of the Lovelock equations with spherical, planar or hyperbolic symmetry are locally isometric to the corresponding static Lovelock black hole. As a consequence, these solutions are locally static: they admit an additional Killing vector that can either be space-like or time-like, depending on the position. This result also holds in the presence of an abelian gauge field, in which case the solutions are locally isometric to a charged static black hole.
In this paper we present a class of higher derivative theories of gravity which admit Birkhoff's theorem. In particular, we explicitly show that in this class of theories, although generically the field equations are of fourth order, under spherical (plane or hyperbolic) symmetry, all the field equations reduce to second order and have exactly the same or similar structure to those of Lovelock theories, depending on the spacetime dimensions and the order of the Lagrangian.
We consider spherically symmetric space-times in GR under the unconventional assumptions that the spherical radius $r$ is either a constant or has a null gradient in the $(t,x)$ subspace orthogonal to the symmetry spheres (i.e., $(\partial r)^2 = 0$). It is shown that solutions to the Einstein equations with $r = \rm const$ contain an extra (fourth) spatial or temporal Killing vector and thus satisfy the Birkhoff theorem under an additional physically motivated condition that the lateral pressure is functionally related to the energy density. This leads to solutions that directly generalize th…
We report the explicit form of the general static, spherically symmetric, and asymptotically flat solution of vacuum Brans-Dicke gravity in the Jordan frame, assuming that the Brans-Dicke scalar field has no singularities or zeros (except possibly for a central singularity). This general solution is conformal to the Fisher-Wyman geometry of Einstein theory and its nature depends on a scalar charge parameter. Apart from the Schwarzschild black hole, only wormhole throats and central naked singularities are possible
Spherically symmetric, asymptotically flat solutions of Shape Dynamics were previously studied assuming standard falloff conditions for the metric and the momenta. These ensure that the spacetime is asymptotically Minkowski, and that the falloff conditions are Poincaré-invariant. These requirements however are not legitimate in Shape Dynamics, which does not make assumptions on the structure or regularity of spacetime. Analyzing the same problem in full generality, I find that the system is underdetermined, as there is one function of time that is not fixed by any condition and appears to have…
Birkhoff's theorem is discussed in the frame of f(R) gravity by using its scalar-tensor representation. Modified gravity has become very popular at recent times as it is able to reproduce the unification of inflation and late-time acceleration with no need of a dark energy component or an inflaton field. Here, another aspect of modified f(R) gravity is studied, specifically the range of validity of Birkhoff's theorem, compared with another alternative to General Relativity, the well known Brans-Dicke theory. As a novelty, here both theories are studied by using a conformal transformation and w…
According to Birkhoff's theorem the only spherically symmetric solution of the vacuum Einstein field equations is the Schwarzschild solution. Inspite of imposing asymptotically flatness and staticness as initial conditions we obtain that these equations have general solutions with the Schwarzschild metric as merely a special and simplest form of them. It is possible to have perfect and smooth metrics with the same Newtonian and post-Newtonian limits of Schwarzschild by a convenient and correct selection.
In classical two-dimensional pure dilaton gravity, and in particular in spherically symmetric pure gravity in d dimensions, the generalized Birkhoff theorem states that, for a suitable choice of coordinates, the metric coefficients are only functions of a single coordinate. It is interesting to see how this result is recovered in quantum theory by the explicit construction of the Hilbert space. We examine the CGHS model, enforce the set of auxiliary conditions that select physical states a` la Gupta-Bleuler, and prove that the matrix elements of the metric and of the dilaton field obey the cla…
f(T) gravity, a generally modified teleparallel gravity, has become very popular in recent times as it is able to reproduce the unification of inflation and late-time acceleration without the need of a dark energy component or an inflation field. In this present work, we investigate specifically the range of validity of Birkhoff's theorem with the general tetrad field via perturbative approach. At zero order, Birkhoff's theorem is valid and the solution is the well known Schwarzschild-(A)dS metric. Then considering the special case of the diagonal tetrad field, we present a new spherically sym…
The structure of the full Einstein equations in a coordinate gauge based on expanding null hypersurfaces foliated by metric 2-spheres is explored. The simple form of the resulting equations has many applications -- in the present paper we describe the structure of timelike boundary conditions; the matching problem across null hypersurfaces; and the propagation of gravitational shocks.
In Newtonian gravity (NG) it is known that the gravitational field anywhere inside a spherically symmetric distribution of mass is determined only by the enclosed mass. This is also widely believed to be true in general relativity (GR), and the Birkhoff theorem is often invoked to support this analogy between NG and GR. Here we show that such an understanding of the Birkhoff theorem is incorrect and leads to erroneous calculations of light deflection and delay time through matter. The correct metric, matching continuously to the location of an external observer, is determined both by the enclo…
It is well known that static spherically symmetric spacetimes can admit foliations by flat spacelike hypersurfaces, which are best described in terms of the Painlevè--Gullstrand coordinates. The uniqueness and existence of such foliations were addressed earlier. In this paper, we prove, purely geometrically, that any possible foliation of a static spherically symmetric spacetime by an arbitrary codimension-one spherical spacelike geometry, up to time translation and rotation, is unique, and we find the algebraic condition under which it exists. This leads us to what can be considered as the mo…
Shape Dynamics is a theory of gravity that replaces refoliation invariance for spatial Weyl invariance. Those solutions of the Einstein equations that have global, constant mean curvature slicings, are mirrored by solutions in Shape Dynamics. However, there are solutions of Shape Dynamics that have no counterpart in General relativity, just as there are solutions of GR that are not completely foliable by global constant mean curvature slicings (such as the Schwarzschild spacetime). It is therefore interesting to analyze directly the equations of motion of Shape Dynamics in order to find its ow…
We investigate the three-dimensional motion of a test particle in the gravitational field generated by a non-spherical compact object endowed with a mass quadrupole moment, described by the Erez-Rosen metric, and a radiation field, including the general relativistic Poynting-Robertson effect, coming from a rigidly rotating spherical emitting source located outside of the compact object. We derive the equations of motion for test particles influenced by such radiation field, recovering the two-dimensional description, and the weak-field approximation. This dynamical system admits the existence …
As a continuation of a previous work, here we examine the admittance of Birkhoff's theorem in a class of higher derivative theories of gravity. This class is contained in a larger class of theories which are characterized by the property that the trace of the field equations are of second order in the metric. The action representing these theories are given by a sum of higher curvature terms. Moreover the terms of a fixed order k in the curvature are constructed by taking a complete contraction of k conformal tensors. The general spherically (hyperbolic or plane) symmetric solution is then giv…
We study singular hypersurfaces in tensor multi-scalar theories of gravity. We derive in a distributional and then in an intrinsic way, the general equations of junction valid for all types of hypersurfaces, in particular for lightlike shells and write the general equations of evolution for these objects. We apply this formalism to various examples in static spherically symmetric spacetimes, and to the study of planar domain walls and plane impulsive waves.
Bearing the thermodynamic arguments together with the two definitions of mass in mind, we try to find metrics with spherical symmetry. We consider the adiabatic condition along with the Gong-Wang mass, and evaluate the $g_{rr}$ element which points to a null hypersurface. In addition, we generalize the thermodynamics laws to this hypersurface to find its temperature and thus the corresponding surface gravity which enables us to get a relation for the $g_{tt}$ element. Moreover, we investigate the mathematical and physical properties of the discovered metric in the Einstein relativity framework…
We develop a new covariant formalism to treat spherically symmetric spacetimes in metric} f(R) theories of gravity. Using this formalism we derive the general equations for a static and spherically symmetric metric in a general f(R)-gravity. These equations are used to determine the conditions for which the Schwarzschild metric is the only vacuum solution with vanishing Ricci scalar. We also show that our general framework provides a clear way of showing that the Schwarzschild solution is not a unique static spherically symmetric solution, providing some incite on how the current form of Birkh…
We present a new cubic theory of gravity in five dimensions which has second order traced field equations, analogous to BHT new massive gravity in three dimensions. Moreover, for static spherically symmetric spacetimes all the field equations are of second order, and the theory admits a new asymptotically locally flat black hole. Furthermore, we prove the uniqueness of this solution, study its thermodynamical properties, and show the existence of a C-function for the theory following the arguments of Anber and Kastor (arXiv:0802.1290 [hep-th]) in pure Lovelock theories. Finally, we include the…
Space-time is spherically symmetric if it admits the group of SO(3) as a group of isometries,with the group orbits spacelike two-surfaces. These orbits are necessarily two-surface of constant positive curavture. One commonly chooses coordinate ${t,r,θ,ϕ}$ so that the group orbits become surfaces ${t,r = const.}$ and the radial coordinate r is defined by the requirment that $4πr^2$ is the area of these spacelike two-surfaces with the range of zero to infinity. According to the Birkhoff's theorem upon the above assumptions, the Schwarzschild metric is the only soltion of the vacuum Einstein fiel…
There is undetermined potential function $V(ϕ)$ in the action of mimetic gravity which should be resolved through physical means. In general relativity(GR), the static spherically symmetric(SSS) solution to the Einstein equation is a benchmark and its deformation also plays a crucial role in mimetic gravity. The equation of motion is provided with high nonlinearity, but we can reduce primal nonlinearity to a frequent Riccati form in the SSS case of mimetic gravity. In other words, we obtain an expression of solution to the functional differential equation of motion with any potential function.…
We investigate the three-dimensional, general relativistic Poynting-Robertson effect in the case of rigidly rotating spherical source which emits radiation radially in the local comoving frame. Such radiation field is meant to approximate the field produced by the surface of a rotating neutron star, or by the central radiating hot corona of accreting black holes; it extends the purely radial radiation field that we considered in a previous study. Its angular momentum is expressed in terms of the rotation frequency and radius of the emitting source. For the background we adopt a Kerr spacetime …
In this paper we show the existence of a large class of spherically symmetric data $d$ (on a spacelike hypersurface $S$), from which a perfect fluid spacetime (surrounded by vacuum) develops. This spacetime contains an event horizon (with trapped surfaces behind it). The data $d$ are regular and {\it innociuous}, i.e. the data--surface $S$ does not contain any point of the horizon or of the trapped surface area. We give auxiliary data on an auxiliary hypersurface $H$ and also on the star boundary; then we solve Einstein's equations for perfect fluid in the future and past of $H$. Our solution …
We study the spherical collapse in the Parametrized Post-Friedmannian (PPF) scheme. We use a general form of the PPF parameter related to the Poisson equation and found the equations to solve that includes a non-trivial fifth force coming from the convolution of the modified gravity term in the k-space. In order to compute a concrete model, we use the parametrization proposed by Bertschinger and Zukin. The equations of the spherical collapse are solved assuming a Gaussian density profile and we show there is no shell crossing before reaching the turn around point. We show that the fifth force …
A framework is introduced which explains the existence and similarities of most exact solutions of the Einstein equations with a wide range of sources for the class of hypersurface-homogeneous spacetimes which admit a Hamiltonian formulation. This class includes the spatially homogeneous cosmological models and the astrophysically interesting static spherically symmetric models as well as the stationary cylindrically symmetric models. The framework involves methods for finding and exploiting hidden symmetries and invariant submanifolds of the Hamiltonian formulation of the field equations. It …
It is shown that the initial singularities in spatially compact spacetimes with spherical, plane or hyperbolic symmetry admitting a compact constant mean curvature hypersurface are crushing singularities when the matter content of spacetime is described by the Vlasov equation (collisionless matter) or the wave equation (massless scalar field). In the spherically symmetric case it is further shown that if the spacetime admits a maximal slice then there are crushing singularities both in the past and in the future. The essential properties of the matter models chosen are that their energy-moment…
In previous works, we suggested considering a (3+1)D quantum gravitational field as an evolution of a (2+1)D renormalized quantum gravitational field along the direction of the gravitational force. The starting point of the suggestion is a derivation of a unique hypersurface which looks effectively like (2+1)D from the point of view of Einstein equations in (3+1)D. In this paper, we derive such unique hypersurfaces for different kinds of stationary spherical metrics. We find that these hypersurfaces exist whenever all the components of the gravitational force field vanish on the hypersurface. …
Exact solutions of Einstein equations with null Riemman-Christoffel curvature tensor everywhere, except on a hypersurface, are studied using quantum particles obeying the Klein-Gordon equation. We consider the particular cases when the curvature is represented by a Dirac delta function with support either on a sphere or on a cylinder (spherical and cylindrical shells). In particular, we analyze the necessity of extra boundary conditions on the shells.
Oppenheimer and Snyder found in 1939 that gravitational collapse in vacuum produces a "frozen star", i.e., the collapsing matter only asymptotically approaches the gravitational radius (event horizon) of the mass, but never crosses it within a finite time for an external observer. Based upon our recent publication on the problem of gravitational collapse in the physical universe for an external observer, the following results are reported here: (1) Matter can indeed fall across the event horizon within a finite time and thus BHs, rather than "frozen stars", are formed in gravitational collapse…
We study spherically symmetric solutions to the Einstein field equations under the assumption that the space-time may possess an arbitrary number of spatial dimensions. The general solution of Synge is extended to describe systems of any dimension. Arbitrary dimension analogues of known four dimensional solutions are also presented, derived using the above scheme. Finally, we discuss the requirements for the existence of Birkhoff's theorems in space-times of arbitrary dimension with or without matter fields present. Cases are discussed where the assumptions of the theorem are considerably weak…
The conventional approach describes the spherical domain walls by the same state equation as the flat ones. In such case they also must be gravitationally repulsive, what is seemingly in contradiction with Birkhoff's theorem. However this theorem is not valid for the solutions which do not display Minkowski geometry in the infinity. In this paper the solution of Einstein equations describing the stable gravitationally repulsive spherical domain wall is considered within the thin-wall formalism for the case of the non-Minkowskian asymptotics.
