HOME

TheInfoList



OR:

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 ...
\Lambda 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 R1,''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 ...
: ds^2 = -dx_0^2 + \sum_^n dx_i^2. 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 -x_0^2 + \sum_^n x_i^2 = \alpha^2, where \alpha 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 \alpha^2 with -\alpha^2 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 : R_ = \left(g_g_ - g_g_\right) (using the sign convention R^_ = \partial_\Gamma^_ - \partial_\Gamma^_ + \Gamma^_\Gamma^_ - \Gamma^_\Gamma^_ 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: : R_ = R^\lambda_ = \fracg_ This means de Sitter space is a vacuum solution of Einstein's equation with cosmological constant given by : \Lambda = \frac. 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 : R = \frac = \frac\Lambda. For the case , we have and .


Coordinates


Static coordinates

We can introduce static coordinates (t, r, \ldots) for de Sitter as follows: : \begin x_0 &= \sqrt\sinh\left(\fract\right) \\ x_1 &= \sqrt\cosh\left(\fract\right) \\ x_i &= r z_i \qquad\qquad\qquad\qquad\qquad 2 \le i \le n, \end where z_i gives the standard embedding the -sphere in R''n''−1. In these coordinates the de Sitter metric takes the form: : ds^2 = -\left(1 - \frac\right)dt^2 + \left(1 - \frac\right)^dr^2 + r^2 d\Omega_^2. 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 r = \alpha.


Flat slicing

Let : \begin x_0 &= \alpha \sinh\left(\fract\right) + \fracr^2 e^, \\ x_1 &= \alpha \cosh\left(\fract\right) - \fracr^2 e^, \\ x_i &= e^y_i, \qquad 2 \leq i \leq n \end where r^2 = \sum_i y_i^2. Then in the \left(t, y_i\right) coordinates metric reads: : ds^ = -dt^ + e^ dy^ where dy^2 = \sum_i dy_i^2 is the flat metric on y_i's. Setting \zeta = \zeta_ - \alpha e^, we obtain the conformally flat metric: : ds^2 = \frac\left(dy^2 - d\zeta^2\right)


Open slicing

Let : \begin x_0 &= \alpha \sinh\left(\fract\right) \cosh\xi, \\ x_1 &= \alpha \cosh\left(\fract\right), \\ x_i &= \alpha z_i \sinh\left(\fract\right) \sinh\xi, \qquad 2 \leq i \leq n \end where \sum_i z_i^2 = 1 forming a S^ with the standard metric \sum_i dz_i^2 = d\Omega_^2. Then the metric of the de Sitter space reads : ds^2 = -dt^2 + \alpha^2 \sinh^2\left(\fract\right) dH_^2, where : dH_^2 = d\xi^2 + \sinh^2(\xi) d\Omega_^2 is the standard hyperbolic metric.


Closed slicing

Let : \begin x_0 &= \alpha \sinh\left(\fract\right), \\ x_i &= \alpha \cosh\left(\fract\right) z_i, \qquad 1 \leq i \leq n \end where z_is describe a S^. Then the metric reads: : ds^2 = -dt^2 + \alpha^2 \cosh^2\left(\fract\right) d\Omega_^2. Changing the time variable to the conformal time via \tan\left(\frac\eta\right) = \tanh\left(\fract\right) we obtain a metric conformally equivalent to Einstein static universe: : ds^2 = \frac\left(-d\eta^2 + d\Omega_^2\right). 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 : \begin x_0 &= \alpha \sin\left(\frac\chi\right) \sinh\left(\fract\right) \cosh\xi, \\ x_1 &= \alpha \cos\left(\frac\chi\right), \\ x_2 &= \alpha \sin\left(\frac\chi\right) \cosh\left(\fract\right), \\ x_i &= \alpha z_i \sin\left(\frac\chi\right) \sinh\left(\fract\right) \sinh\xi, \qquad 3 \leq i \leq n \end where z_is describe a S^. Then the metric reads: : ds^2 = d\chi^2 + \sin^2\left(\frac\chi\right) ds_^2, where : ds_^2 = -dt^2 + \alpha^2 \sinh^2\left(\fract\right) dH_^2 is the metric of an n - 1 dimensional de Sitter space with radius of curvature \alpha in open slicing coordinates. The hyperbolic metric is given by: : dH_^2 = d\xi^2 + \sinh^2(\xi) d\Omega_^2. This is the analytic continuation of the open slicing coordinates under \left(t, \xi, \theta, \phi_1, \phi_2, \ldots, \phi_\right) \to \left(i\chi, \xi, it, \theta, \phi_1, \ldots, \phi_\right) and also switching x_0 and x_2 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 Spaces
A 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