In
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
, a lambdavacuum solution is an
exact solution to the
Einstein field equation
In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it.
The equations were published by Einstein in 1915 in the form ...
in which the only term in the
stress–energy tensor
The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress t ...
is a
cosmological constant
In cosmology, the cosmological constant (usually denoted by the Greek capital letter lambda: ), alternatively called Einstein's cosmological constant,
is the constant coefficient of a term that Albert Einstein temporarily added to his field eq ...
term. This can be interpreted physically as a kind of classical approximation to a nonzero
vacuum energy
Vacuum energy is an underlying background energy that exists in space throughout the entire Universe. The vacuum energy is a special case of zero-point energy that relates to the quantum vacuum.
The effects of vacuum energy can be experiment ...
. These are discussed here as distinct from the
vacuum solutions
In general relativity, a vacuum solution is a Lorentzian manifold whose Einstein tensor vanishes identically. According to the Einstein field equation, this means that the stress–energy tensor also vanishes identically, so that no matter or non ...
in which the cosmological constant is vanishing.
''Terminological note:'' this article concerns a standard concept, but there is apparently ''no standard term'' to denote this concept, so we have attempted to supply one for the benefit of
Wikipedia
Wikipedia is a multilingual free online encyclopedia written and maintained by a community of volunteers, known as Wikipedians, through open collaboration and using a wiki-based editing system. Wikipedia is the largest and most-read ref ...
.
Definition
The Einstein field equation is often written as
:
with a so-called ''cosmological constant term''
. However, it is possible to move this term to the right hand side and absorb it into the
stress–energy tensor
The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress t ...
, so that the cosmological constant term becomes just another contribution to the stress–energy tensor. When other contributions to that tensor vanish, the result
:
is a lambdavacuum. An equivalent formulation in terms of the
Ricci tensor
In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measur ...
is
:
Physical interpretation
A nonzero cosmological constant term can be interpreted in terms of a nonzero
vacuum energy
Vacuum energy is an underlying background energy that exists in space throughout the entire Universe. The vacuum energy is a special case of zero-point energy that relates to the quantum vacuum.
The effects of vacuum energy can be experiment ...
. There are two cases:
*
: positive vacuum energy density and negative isotropic vacuum pressure, as in
de Sitter space
In mathematical physics, ''n''-dimensional de Sitter space (often abbreviated to dS''n'') is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an ''n''-sphere (with its canoni ...
,
*
: negative vacuum energy density and positive isotropic vacuum pressure, as in
anti-de Sitter space
In mathematics and physics, ''n''-dimensional anti-de Sitter space (AdS''n'') is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (18 ...
.
The idea of the vacuum having a nonvanishing energy density might seem counterintuitive, but this does make sense in quantum field theory. Indeed, nonzero vacuum energies can even be experimentally verified in the
Casimir effect
In quantum field theory, the Casimir effect is a physical force acting on the macroscopic boundaries of a confined space which arises from the quantum fluctuations of the field. It is named after the Dutch physicist Hendrik Casimir, who pred ...
.
Einstein tensor
The components of a tensor computed with respect to a
frame field
A frame field in general relativity (also called a tetrad or vierbein) is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime ...
rather than the ''coordinate basis'' are often called ''physical components'', because these are the components which can (in principle) be measured by an observer. A frame consists of four unit vector fields
:
Here, the first is a
timelike
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
unit vector field and the others are
spacelike
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differe ...
unit vector fields, and
is everywhere orthogonal to the world lines of a family of observers (not necessarily inertial observers).
Remarkably, in the case of lambdavacuum, ''all'' observers measure the ''same'' energy density and the same (isotropic) pressure. That is, the Einstein tensor takes the form
:
Saying that this tensor takes the same form for ''all'' observers is the same as saying that the
isotropy group
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism ...
of a lambdavacuum is SO(1,3), the full
Lorentz group
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch phy ...
.
Eigenvalues
The
characteristic polynomial
In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The ...
of the Einstein tensor of a lambdavacuum must have the form
:
Using
Newton's identities
In mathematics, Newton's identities, also known as the Girard–Newton formulae, give relations between two types of symmetric polynomials, namely between power sums and elementary symmetric polynomials. Evaluated at the roots of a monic polynom ...
, this condition can be re-expressed in terms of the
trace
Trace may refer to:
Arts and entertainment Music
* ''Trace'' (Son Volt album), 1995
* ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* ''The Trace'' (album)
Other uses in arts and entertainment
* ''Trace'' ...
s of the powers of the Einstein tensor as
:
where
:
are the traces of the powers of the linear operator corresponding to the Einstein tensor, which has second rank.
Relation with Einstein manifolds
The definition of a lambdavacuum solution makes sense mathematically irrespective of any physical interpretation, and lambdavacuums are a special case of a concept that is studied by pure mathematicians.
Einstein manifold
In differential geometry and mathematical physics, an Einstein manifold is a Riemannian or pseudo-Riemannian differentiable manifold whose Ricci tensor is proportional to the metric. They are named after Albert Einstein because this condition is e ...
s are
pseudo-Riemannian manifold
In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which t ...
s in which the
Ricci tensor
In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measur ...
is proportional to the
metric tensor
In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allo ...
. The Lorentzian manifolds that are also Einstein manifolds are precisely the lambdavacuum solutions.
Examples
Noteworthy individual examples of lambdavacuum solutions include:
*
de Sitter space
In mathematical physics, ''n''-dimensional de Sitter space (often abbreviated to dS''n'') is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an ''n''-sphere (with its canoni ...
, often referred to as the ''dS cosmological model'',
*
anti-de Sitter space
In mathematics and physics, ''n''-dimensional anti-de Sitter space (AdS''n'') is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (18 ...
, often referred to as the ''AdS cosmological model'',
*
de Sitter–Schwarzschild metric, which models a spherically symmetric massive object immersed in a de Sitter universe (and likewise for AdS),
*
Kerr–de Sitter metric, the rotating generalization of the latter,
*
Nariai spacetime; this is the only solution in general relativity, other than the
Bertotti–Robinson electrovacuum, that has a Cartesian product structure.
See also
*
Exact solutions in general relativity
In general relativity, an exact solution is a solution of the Einstein field equations whose derivation does not invoke simplifying assumptions, though the starting point for that derivation may be an idealized case like a perfectly spherical sh ...
{{DEFAULTSORT:Lambdavacuum Solution
Exact solutions in general relativity