Math 2.0

Relativity and gravitational theory Exact solutions Example

Anti-de Sitter space

Builds on Sectional curvatureEinstein manifoldUniversal coverHyperboloid model

Example

Let n≥3n \ge 3 and α>0\alpha > 0. Equip ℝn+1\R^{n+1} with coordinates (u,v,x1,…,xn−1)(u, v, x_1, \ldots, x_{n-1}) and the form η=−du2−dv2+dx12+⋯+dxn−12\eta = -du^2 - dv^2 + dx_1^2 + \cdots + dx_{n-1}^2 of signature (2,n−1)(2, n-1). The anti-de Sitter space of radius α\alpha is the quadric {−u2−v2+x12+⋯+xn−12=−α2}\set{-u^2 - v^2 + x_1^2 + \cdots + x_{n-1}^2 = -\alpha^2} with the metric gg induced by η\eta.

Check: the coordinates u=αcosh⁡ρcos⁡τu = \alpha\cosh\rho\cos\tau, v=αcosh⁡ρsin⁡τv = \alpha\cosh\rho\sin\tau, x=αsinh⁡ρ ωx = \alpha\sinh\rho\,\omega with ρ≥0\rho \ge 0, τ\tau an angle and ω∈Sn−2\omega \in S^{n-2} cover the quadric. A direct substitution gives g=α2(−cosh⁡2ρ dτ2+dρ2+sinh⁡2ρ dΩn−22),g = \alpha^2\left(-\cosh^2\rho\, d\tau^2 + d\rho^2 + \sinh^2\rho\, d\Omega_{n-2}^2\right), which has one negative and n−1n - 1 positive directions, so gg is Lorentzian.

The sectional curvature is constant and equal to −1/α2-1/\alpha^2. So Rab=−n−1α2gabR_{ab} = -\frac{n-1}{\alpha^2} g_{ab}, and the space solves Gab+Λgab=0G_{ab} + \Lambda g_{ab} = 0 with negative cosmological constant Λ=−(n−1)(n−2)2α2\Lambda = -\frac{(n-1)(n-2)}{2\alpha^2}. The group O(2,n−1)O(2, n-1) acts by isometries, so the space is maximally symmetric.

The coordinate τ\tau is periodic, so the curves ρ=const\rho = \text{const}, ω=const\omega = \text{const} are closed timelike curves. One usually passes to the universal cover, where τ∈ℝ\tau \in \R; this is also called anti-de Sitter space and has no closed timelike curves. Its slices τ=const\tau = \text{const} are copies of hyperbolic space, as in the hyperboloid model.

Reading path

To understand this page from the ground up, read these 19 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Bilinear form concept
  2. Cayley–Klein metric concept
  3. Einstein manifold concept
  4. Hyperbolic cosine concept
  5. Hyperbolic geometry concept
  6. Identity matrix object
  7. Matrix definition
  8. Poincaré disk model object
  9. Quadratic form concept
  10. Sectional curvature concept
  11. Signature of a quadratic form concept
  12. Universal cover concept
  13. Beltrami–Klein model example
  14. Transpose definition
  15. Orthogonal matrix definition
  16. Orthogonal group object
  17. Indefinite orthogonal group example
  18. Hyperboloid model example
  19. Anti-de Sitter space example

Where this leads

3 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Anti-de_Sitter_space
About this page
TagEQX6M75VB1
URIm2://EQX6M75VB1
Kindexample
WritingW0 stub
MSC83C15, 53C50, 83E05
Instance ofLorentzian manifold
IllustratesCosmological constant
UsesSectional curvature, Einstein manifold, Universal cover, Hyperboloid model
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by