In mathematical physics, n-dimensional de Sitter space (often denoted dSn) is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an n-sphere (with its canonical Riemannian metric).
Λ
De Sitter space and anti-de Sitter space are named after Willem de Sitter (1872–1934), professor of astronomy at Leiden University and director of the Leiden Observatory. Willem de Sitter and Albert Einstein worked closely together in Leiden in the 1920s on the spacetime structure of our universe. De Sitter space was also discovered, independently, and about the same time, by Tullio Levi-Civita.
A de Sitter space can be defined as a submanifold of a generalized Minkowski space of one higher dimension, including the induced metric. Take Minkowski space R1,n with the standard metric:
The n-dimensional de Sitter space is the submanifold described by the hyperboloid of one sheetwhere
\alpha
\alpha2
-\alpha2
The de Sitter space can also be defined as the quotient of two indefinite orthogonal groups, which shows that it is a non-Riemannian symmetric space.
Topologically, dSn is (which is simply connected if).
The isometry group of de Sitter space is the Lorentz group . The metric therefore then has independent Killing vector fields and is maximally symmetric. Every maximally symmetric space has constant curvature. The Riemann curvature tensor of de Sitter is given by
R\rho\sigma\mu\nu={1\over
2}\left(g | |
\alpha | |
\rho\mu |
g\sigma\nu-g\rho\nug\sigma\mu\right)
R\rho{}\sigma\mu\nu= \partial\mu
\rho | |
\Gamma | |
\nu\sigma |
- \partial\nu
\rho | |
\Gamma | |
\mu\sigma |
+
\rho | |
\Gamma | |
\muλ |
λ | |
\Gamma | |
\nu\sigma |
-
\rho | |
\Gamma | |
\nuλ |
λ | |
\Gamma | |
\mu\sigma |
R\mu\nu=
λ{} | |
R | |
\muλ\nu |
=
n-1 | |
\alpha2 |
g\mu\nu
This means de Sitter space is a vacuum solution of Einstein's equation with cosmological constant given by
Λ=
(n-1)(n-2) | |
2\alpha2 |
.
The scalar curvature of de Sitter space is given by
R=
n(n-1) | |
\alpha2 |
=
2n | |
n-2 |
Λ.
For the case, we have and .
(t,r,\ldots)
\begin{align} x0&=\sqrt{\alpha2-
| ||||
r |
t\right)\\ x1&=\sqrt{\alpha2-
| ||||
r |
t\right)\\ xi&=rzi 2\lei\len. \end{align}
where
zi
ds2=-\left(1-
r2 | |
\alpha2 |
\right)dt2+\left(1-
r2 | |
\alpha2 |
\right)-1dr2+r2
2. | |
d\Omega | |
n-2 |
Note that there is a cosmological horizon at
r=\alpha
Let
\begin{align} x0&=\alpha\sinh\left(
1 | |
\alpha |
t\right)+
1 | |
2\alpha |
r2
| |||||
e |
,\\ x1&=\alpha\cosh\left(
1 | |
\alpha |
t\right)-
1 | |
2\alpha |
r2
| |||||
e |
,\\ xi&=
| |||||
e |
yi, 2\leqi\leqn \end{align}
\left(t,yi\right)
ds2=-dt2+
| |||||
e |
dy2
yi
Setting
\zeta=\zetainfty-\alpha
| |||||
e |
ds2=
\alpha2 | |
(\zetainfty-\zeta)2 |
\left(dy2-d\zeta2\right)
Let
\begin{align} x0&=\alpha\sinh\left(
1 | |
\alpha |
t\right)\cosh\xi,\\ x1&=\alpha\cosh\left(
1 | |
\alpha |
t\right),\\ xi&=\alphazi\sinh\left(
1 | |
\alpha |
t\right)\sinh\xi, 2\leqi\leqn \end{align}
Sn-2
ds2=-dt2+\alpha2
| ||||
\sinh |
t\right)
2, | |
dH | |
n-1 |
2 | |
dH | |
n-1 |
=d\xi2+\sinh2(\xi)
2 | |
d\Omega | |
n-2 |
Let
\begin{align} x0&=\alpha\sinh\left(
1 | |
\alpha |
t\right),\\ xi&=\alpha\cosh\left(
1 | |
\alpha |
t\right)zi, 1\leqi\leqn \end{align}
zi
Sn-1
ds2=-dt2+\alpha2
| ||||
\cosh |
t\right)
2. | |
d\Omega | |
n-1 |
Changing the time variable to the conformal time via we obtain a metric conformally equivalent to Einstein static universe:
ds2=
\alpha2 | |
\cos2η |
\left(-dη2+
2\right). | |
d\Omega | |
n-1 |
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.[1]
Let
\begin{align} x0&=\alpha\sin\left(
1 | |
\alpha |
\chi\right)\sinh\left(
1 | |
\alpha |
t\right)\cosh\xi,\\ x1&=\alpha\cos\left(
1 | |
\alpha |
\chi\right),\\ x2&=\alpha\sin\left(
1 | |
\alpha |
\chi\right)\cosh\left(
1 | |
\alpha |
t\right),\\ xi&=\alphazi\sin\left(
1 | |
\alpha |
\chi\right)\sinh\left(
1 | |
\alpha |
t\right)\sinh\xi, 3\leqi\leqn \end{align}
zi
Sn-3
ds2=d\chi2+
| ||||
\sin |
\chi\right)
2, | |
ds | |
dS,\alpha,n-1 |
2 | |
ds | |
dS,\alpha,n-1 |
=-dt2+\alpha2
| ||||
\sinh |
t\right)
2 | |
dH | |
n-2 |
n-1
\alpha
2 | |
dH | |
n-2 |
=d\xi2+\sinh2(\xi)
2. | |
d\Omega | |
n-3 |
This is the analytic continuation of the open slicing coordinates under
\left(t,\xi,\theta,\phi1,\phi2,\ldots,\phin-3\right)\to\left(i\chi,\xi,it,\theta,\phi1,\ldots,\phin-4\right)
x0
x2