In
mathematical physics
Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the de ...
, ''n''-dimensional de Sitter space (often denoted dS
''n'') is a maximally symmetric
Lorentzian manifold
In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere non-degenerate bilinear form, nondegenerate. This is a generalization of a Riema ...
with constant positive
scalar curvature
In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry ...
. It is the Lorentzian analogue of an
''n''-sphere (with its canonical
Riemannian metric
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
).
The main application of de Sitter space is its use in
general relativity
General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
, where it serves as one of the simplest mathematical models of the universe consistent with the observed
accelerating expansion of the universe. More specifically, de Sitter space is the maximally symmetric
vacuum solution
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 n ...
of
Einstein's field equations in which the
cosmological constant
In cosmology, the cosmological constant (usually denoted by the Greek capital letter lambda: ), alternatively called Einstein's cosmological constant,
is a coefficient that Albert Einstein initially added to his field equations of general rel ...
is positive (corresponding to a positive vacuum energy density and negative pressure).
De Sitter space and
anti-de Sitter space are named after
Willem de Sitter (1872–1934), professor of astronomy at
Leiden University
Leiden University (abbreviated as ''LEI''; ) is a Public university, public research university in Leiden, Netherlands. Established in 1575 by William the Silent, William, Prince of Orange as a Protestantism, Protestant institution, it holds the d ...
and director of the
Leiden Observatory. Willem de Sitter and
Albert Einstein
Albert Einstein (14 March 187918 April 1955) was a German-born theoretical physicist who is best known for developing the theory of relativity. Einstein also made important contributions to quantum mechanics. His mass–energy equivalence f ...
worked closely together in
Leiden
Leiden ( ; ; in English language, English and Archaism, archaic Dutch language, Dutch also Leyden) is a List of cities in the Netherlands by province, city and List of municipalities of the Netherlands, municipality in the Provinces of the Nethe ...
in the 1920s on the spacetime structure of the universe. De Sitter space was also discovered, independently, and about the same time, by
Tullio Levi-Civita
Tullio Levi-Civita, (; ; 29 March 1873 – 29 December 1941) was an Italian mathematician, most famous for his work on absolute differential calculus ( tensor calculus) and its applications to the theory of relativity, but who also made signifi ...
.
Definition
A de Sitter space can be defined as a
submanifold
In mathematics, a submanifold of a manifold M is a subset S which itself has the structure of a manifold, and for which the inclusion map S \rightarrow M satisfies certain properties. There are different types of submanifolds depending on exactly ...
of a generalized
Minkowski space
In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model.
The model helps show how a ...
of one higher
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
, including the induced metric. Take Minkowski space R
1,''n'' with the standard
metric
Metric or metrical may refer to:
Measuring
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
...
:
The ''n''-dimensional de Sitter space is the submanifold described by the
hyperboloid
In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by def ...
of one sheet
where
is some nonzero constant with its dimension being that of length. The induced
metric
Metric or metrical may refer to:
Measuring
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
...
on the de Sitter space is induced from the ambient Minkowski metric. It is
nondegenerate and has Lorentzian signature. (If one replaces
with
in the above definition, one obtains a
hyperboloid
In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by def ...
of two sheets. The induced metric in this case is
positive-definite In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular:
* Positive-definite bilinear form
* Positive-definite ...
, and each sheet is a copy of
hyperbolic ''n''-space. See '.)
The de Sitter space can also be defined as the
quotient
In arithmetic, a quotient (from 'how many times', pronounced ) is a quantity produced by the division of two numbers. The quotient has widespread use throughout mathematics. It has two definitions: either the integer part of a division (in th ...
of two
indefinite orthogonal group
In mathematics, the indefinite orthogonal group, is the Lie group of all linear transformations of an ''n''-dimension (vector space), dimensional real number, real vector space that leave invariant a nondegenerate form, nondegenerate, symmetric bi ...
s, which shows that it is a non-Riemannian
symmetric space
In mathematics, a symmetric space is a Riemannian manifold (or more generally, a pseudo-Riemannian manifold) whose group of isometries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geome ...
.
Topologically, dS
''n'' is (which is
simply connected
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every Path (topology), path between two points can be continuously transformed into any other such path while preserving ...
if ).
Properties
The
isometry group
In mathematics, the isometry group of a metric space is the set of all bijective isometries (that is, bijective, distance-preserving maps) from the metric space onto itself, with the function composition as group operation. Its identity element ...
of de Sitter space is the
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 physi ...
. The metric therefore then has independent
Killing vector fields and is maximally symmetric. Every maximally symmetric space has constant curvature. The
Riemann curvature tensor
Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to mathematical analysis, analysis, number theory, and differential geometry. In the field of real analysis, he is mos ...
of de Sitter space is given by
:
(using the sign convention
for the Riemann curvature tensor). De Sitter space is an
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 ...
since 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 measure ...
is proportional to the metric:
:
This means de Sitter space is a vacuum solution of Einstein's equation with cosmological constant given by
:
The
scalar curvature
In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry ...
of de Sitter space is given by
:
For the case , we have and .
Coordinates
Static coordinates
We can introduce
static coordinates for de Sitter as follows:
:
where
gives the standard embedding the -sphere in R
''n''−1. In these coordinates the de Sitter metric takes the form:
:
Note that there is a
cosmological horizon
A cosmological horizon is a measure of the distance from which one could possibly retrieve information. This observable constraint is due to various properties of general relativity, the expanding universe, and the physics of Big Bang cosmology. ...
at
.
Flat slicing
Let
:
where
. Then in the
coordinates metric reads:
:
where
is the flat metric on
's.
Setting
, we obtain the conformally flat metric:
:
Open slicing
Let
:
where
forming a
with the standard metric
. Then the metric of the de Sitter space reads
:
where
:
is the standard hyperbolic metric.
Closed slicing
Let
:
where
s describe a
. Then the metric reads:
:
Changing the time variable to the conformal time via
we obtain a metric conformally equivalent to Einstein static universe:
:
These coordinates, also known as "global coordinates" cover the maximal extension of de Sitter space, and can therefore be used to find its
Penrose diagram.
dS slicing
Let
:
where
s describe a
. Then the metric reads:
:
where
:
is the metric of an
dimensional de Sitter space with radius of curvature
in open slicing coordinates. The hyperbolic metric is given by:
:
This is the analytic continuation of the open slicing coordinates under
and also switching
and
because they change their timelike/spacelike nature.
See also
*
De Sitter universe
A de Sitter universe is a cosmological solution to the Einstein field equations of general relativity, named after Willem de Sitter. It models the universe as spatially flat and neglects ordinary matter, so the dynamics of the universe are dominat ...
*
AdS/CFT correspondence
In theoretical physics, the anti-de Sitter/conformal field theory correspondence (frequently abbreviated as AdS/CFT) is a conjectured relationship between two kinds of physical theories. On one side are anti-de Sitter spaces (AdS) that are used ...
*
De Sitter–Schwarzschild metric
References
*
Further reading
*
*
*
*
*
External links
Simplified Guide to de Sitter and anti-de Sitter SpacesA pedagogic introduction to de Sitter and anti-de Sitter spaces. The main article is simplified, with almost no math. The appendix is technical and intended for readers with physics or math backgrounds.
{{DEFAULTSORT:De Sitter Space
Exact solutions in general relativity
Differential geometry
Minkowski spacetime
Equations of astronomy