View source for Anti-de Sitter space

{{Short description|Maximally symmetric Lorentzian manifold with a negative cosmological constant}}
{{redirect|AdS||ADS (disambiguation)}}
{{no footnotes|date=June 2016}}

[[File:AdS3.svg|right|thumb|Three-dimensional anti-de&nbsp;Sitter space is like a stack of [[Poincaré disk model|hyperbolic disks]], each one representing the state of the universe at a given time.{{efn|Time here is as seen by an observer whose [[worldline]] runs vertically in this representation; only the one such observer at the centre of the diagram is inertial. All other inertial observers have oscillating worldlines in the diagram.}}]]

In [[mathematics]] and [[physics]], ''n''-dimensional '''anti-de&nbsp;Sitter space''' (AdS<sub>''n''</sub>) is a [[symmetric_space|maximally symmetric]] [[Lorentzian manifold]] with constant negative [[scalar curvature]]. Anti-de&nbsp;Sitter space and [[de&nbsp;Sitter space]] are named after [[Willem de&nbsp;Sitter]] (1872–1934), professor of astronomy at [[Leiden University]] and director of the [[Leiden Observatory]]. Willem de&nbsp;Sitter and [[Albert Einstein]] worked together closely in [[Leiden]] in the 1920s on the [[spacetime]] structure of the universe. [[Paul Dirac]] was the first person to rigorously explore anti-de&nbsp;Sitter space, doing so in 1963.<ref>{{cite journal |last=Dirac |first=Paul |date=1963 |title=A Remarkable Representation of the 3 + 2 de Sitter Group |url=https://pubs.aip.org/aip/jmp/article-abstract/4/7/901/230214/A-Remarkable-Representation-of-the-3-2-de-Sitter?redirectedFrom=fulltext |journal=Journal of Mathematical Physics |publisher=AIP Publishing |volume=4 |pages=901–909}}</ref><ref>{{citation |last=Dobrev |first=Vladimir K. |title=Case of the Anti-de Sitter Group |date=2016-09-12 |url=https://www.degruyter.com/document/doi/10.1515/9783110427646-006/html?lang=en |work=5. Case of the Anti-de Sitter Group |pages=162–187 |access-date=2023-11-01 |publisher=De Gruyter |language=en |doi=10.1515/9783110427646-006/html?lang=en |isbn=978-3-11-042764-6}}</ref><ref>{{cite web |title=singleton representation in nLab |url=https://ncatlab.org/nlab/show/singleton+representation |access-date=2023-11-01 |website=ncatlab.org}}</ref><ref>{{cite journal |last=Mezincescu |first=Luca |last2=Townsend |first2=Paul K. |date=2020-01-07 |title=DBI in the IR |url=https://dx.doi.org/10.1088/1751-8121/ab5eab |journal=Journal of Physics A: Mathematical and Theoretical |language=en |volume=53 |issue=4 |pages=044002 |doi=10.1088/1751-8121/ab5eab |issn=1751-8121|arxiv=1907.06036 }}</ref>

[[Manifolds]] of [[constant curvature]] are most familiar in the case of two dimensions, where the [[elliptic plane]] or surface of a [[sphere]] is a surface of constant positive curvature, a flat (i.e., [[Euclidean space|Euclidean]]) plane is a surface of constant zero curvature, and a [[hyperbolic plane]] is a surface of constant negative curvature.

Einstein's [[general theory of relativity]] places space and time on equal footing, so that one considers the geometry of a unified spacetime instead of considering space and time separately. The cases of spacetime of constant curvature are de&nbsp;Sitter space (positive), [[Minkowski space]] (zero), and anti-de&nbsp;Sitter space (negative). As such, they are [[exact solutions in general relativity|exact solutions]] of the [[Einstein field equations]] for an [[lambdavacuum solution|empty universe]] with a positive, zero, or negative [[cosmological constant]], respectively.

Anti-de&nbsp;Sitter space generalises to any number of space dimensions. In higher dimensions, it is best known for its role in the [[AdS/CFT correspondence]], which suggests that it is possible to describe a force in quantum mechanics (like [[electromagnetic force|electromagnetism]], the [[weak force]] or the [[strong force]]) in a certain number of dimensions (for example four) with a [[string theory]] where the strings exist in an anti-de&nbsp;Sitter space, with one additional (non-compact) dimension.

== Non-technical explanation ==

=== Technical terms translated ===
A maximally symmetric Lorentzian manifold is a spacetime in which no point in space and time can be distinguished in any way from another, and (being Lorentzian) the only way in which a direction (or tangent to a path at a spacetime point) can be distinguished is whether it is [[Spacetime|spacelike]], [[lightlike]] or [[timelike]].  The space of special relativity ([[Minkowski space]]) is an example.

A [[constant curvature|constant scalar curvature]] means a general relativity gravity-like bending of spacetime that has a curvature described by a single number that is the same everywhere in spacetime in the absence of matter or energy.

Negative curvature means curved hyperbolically, like a [[saddle surface]] or the [[Gabriel's Horn]] surface, similar to that of a [[trumpet]] bell.

=== Spacetime in general relativity ===
General relativity is a theory of the nature of time, space and gravity in which gravity is a curvature of space and time that results from the presence of matter or energy. [[Mass–energy equivalence|Energy and mass are equivalent]] (as expressed in the equation ''E''&nbsp;=&nbsp;''mc''<sup>2</sup>). Space and time values can be related respectively to time and space units by multiplying or dividing the value by the speed of light (e.g., seconds times meters per second equals meters).

A common analogy involves the way that a dip in a flat sheet of rubber, caused by a heavy object sitting on it, influences the path taken by small objects rolling nearby, causing them to deviate inward from the path they would have followed had the heavy object been absent.   Of course, in general relativity, both the small and large objects mutually influence the curvature of spacetime.

The attractive force of gravity created by matter is due to a negative curvature of spacetime, represented in the rubber sheet analogy by the negatively curved (trumpet-bell-like) dip in the sheet.

A key feature of general relativity is that it describes gravity not as a conventional force like electromagnetism, but as a change in the geometry of spacetime that results from the presence of matter or energy.

The analogy used above describes the curvature of a two-dimensional space caused by gravity in general relativity in a three-dimensional superspace <!-- Do not wikilink - neither meaning in the article is relevant here. --> in which the third dimension corresponds to the effect of gravity. A geometrical way of thinking about general relativity describes the effects of the gravity in the real world four-dimensional space geometrically by projecting that space into a five-dimensional superspace with the fifth dimension corresponding to the curvature in spacetime that is produced by gravity and gravity-like effects in general relativity.

As a result, in general relativity, the familiar [[Newton's law of universal gravitation|Newtonian equation of gravity]] <math>\textstyle  F = G \frac{m_1 m_2}{r^2}\ </math> (i.e. the gravitational pull between two objects equals the [[gravitational constant]] times the product of their masses divided by the square of the distance between them) is merely an approximation of the gravity effects seen in general relativity.  However this approximation becomes inaccurate in extreme physical situations, like relativistic speeds (light, in particular), or very large & dense masses.

In general relativity, gravity is caused by spacetime being curved ("distorted"). It is a common misconception to attribute gravity to curved space; neither space nor time has an absolute meaning in relativity. Nevertheless, to describe weak gravity, as on the Earth, it is sufficient to consider time distortion in a particular coordinate system. We find gravity on the Earth very noticeable while relativistic time distortion requires precision instruments to detect. The reason why we do not become aware of relativistic effects in our everyday life is the huge value of the speed of light ({{nowrap|1=''c'' = {{val|300000|u=km/s}}}} approximately), which makes us perceive space and time as different entities.

=== De Sitter space in general relativity ===
De Sitter space involves a variation of general relativity in which spacetime is slightly curved in the absence of matter or energy.  This is analogous to the relationship between Euclidean geometry and [[non-Euclidean geometry]].

An intrinsic curvature of spacetime in the absence of matter or energy is modeled by the cosmological constant in general relativity. This corresponds to the vacuum having an energy density and pressure.  This spacetime geometry results in momentarily parallel timelike geodesics{{efn|name="parwl"|That is, the [[world lines]] of two inertial observers that are relatively stationary at one point in their time (the spacelike section of simultaneity as seen by each).}} diverging, with spacelike sections having positive curvature.

=== Anti-de Sitter space distinguished from de Sitter space ===
An anti-de&nbsp;Sitter space in general relativity is similar to a [[de&nbsp;Sitter space]], except with the sign of the spacetime curvature changed.  In anti-de&nbsp;Sitter space, in the absence of matter or energy, the curvature of spacelike sections is negative, corresponding to a [[hyperbolic geometry]], and momentarily parallel timelike geodesics{{efn|name="parwl"}} eventually intersect.  This corresponds to a negative [[cosmological constant]], where empty space itself has negative energy density but positive pressure, unlike the standard [[Lambda-CDM model|ΛCDM model]] of our own universe for which [[Accelerating expansion of the universe|observations of distant supernovae]] indicate a positive cosmological constant corresponding to (asymptotic) [[de&nbsp;Sitter space]].

In an anti-de&nbsp;Sitter space, as in a de&nbsp;Sitter space, the inherent spacetime curvature corresponds to the cosmological constant.

The anti-de&nbsp;Sitter space AdS<sub>2</sub> is also the de&nbsp;Sitter space dS<sub>2</sub> through an exchange of the timelike and spacelike labels.<ref>{{citation |last=Bengtsson |first=Ingemar |date =1998 |title=Anti-de Sitter space |url=http://3dhouse.se/ingemar/Kurs.pdf |page=4 }}</ref> Such a relabelling reverses the sign of the curvature, which is conventionally referenced to the directions that are labelled spacelike.

=== De Sitter space and anti-de Sitter space viewed as embedded in five dimensions ===
The analogy used above describes curvature of a two-dimensional space caused by gravity in a flat ambient space of one dimension higher. Similarly, the (curved) de&nbsp;Sitter and anti-de&nbsp;Sitter spaces of four dimensions can be embedded into a (flat) pseudo-Riemannian space of five dimensions. This allows distances and angles within the embedded space to be directly determined from those in the five-dimensional flat space.

=== Caveats ===
The remainder of this article explains the details of these concepts with a much more rigorous and precise mathematical and physical description. People are ill-suited to visualizing things in five or more dimensions, but mathematical equations are not similarly challenged and can represent five-dimensional concepts in a way just as appropriate as the methods that mathematical equations use to describe easier-to-visualize three- and four-dimensional concepts.

There is a particularly important implication of the more precise mathematical description that differs from the analogy-based heuristic description of de&nbsp;Sitter space and anti-de&nbsp;Sitter space above.  The mathematical description of anti-de&nbsp;Sitter space generalizes the idea of curvature. In the mathematical description, curvature is a property of a particular point and can be divorced from some invisible surface to which curved points in spacetime meld themselves. So for example, concepts like singularities (the most widely known of which in general relativity is the [[black hole]]) which cannot be expressed completely in a real world geometry, can correspond to particular states of a mathematical equation.

The full mathematical description also captures some subtle distinctions made in general relativity between space-like dimensions and time-like dimensions.

== Definition and properties ==
Much as spherical and hyperbolic spaces can be visualized by an [[isometric embedding]] in a flat space of one higher dimension (as the [[sphere]] and [[pseudosphere]] respectively), anti-de&nbsp;Sitter space can be visualized as the Lorentzian analogue of a sphere in a space of one additional dimension. The extra dimension is timelike. In this article we adopt the convention that the [[Metric tensor|metric]] in a timelike direction is negative.

[[Image:HyperboloidOfOneSheet.svg|thumb|Image of {{nowrap|(1 + 1)}}-dimensional anti-de&nbsp;Sitter space embedded in flat {{nowrap|(1 + 2)}}-dimensional space. The ''t''<sub>1</sub>- and ''t''<sub>2</sub>-axes lie in the plane of rotational symmetry, and the ''x''<sub>1</sub>-axis is normal to that plane. The embedded surface contains closed timelike curves circling the ''x''<sub>1</sub> axis, though these can be eliminated by "unrolling" the embedding (more precisely, by taking the universal cover).]]
The anti-de&nbsp;Sitter space of signature {{nowrap|(''p'', ''q'')}} can then be isometrically embedded in the space <math>\mathbb{R}^{p,q+1}</math> with coordinates {{Nowrap|(''x''<sub>1</sub>, ..., ''x''<sub>''p''</sub>, ''t''<sub>1</sub>, ..., ''t''<sub>''q''+1</sub>)}} and the [[metric tensor|metric]]
: <math>ds^2 = \sum_{i=1}^p dx_i^2 - \sum_{j=1}^{q+1} dt_j^2</math>
as the [[quasi-sphere]]
: <math>\sum_{i=1}^p x_i^2 - \sum_{j=1}^{q+1} t_j^2 = -\alpha^2 ,</math>
where <math>\alpha</math> is a nonzero constant with dimensions of length (the [[Radius of curvature (mathematics)|radius of curvature]]). This is a (generalized) sphere in the sense that it is a collection of points for which the "distance" (determined by the quadratic form) from the origin is constant, but visually it is a [[hyperboloid]], as in the image shown.

The metric on anti-de&nbsp;Sitter space is that induced from the [[ambient metric]]. It is [[nondegenerate]] and, in the case of {{nowrap|1=''q'' = 1}} has Lorentzian signature.

When {{nowrap|1=''q'' = 0}}, this construction gives a standard hyperbolic space. The remainder of the discussion applies when {{nowrap|''q'' ≥ 1}}.

=== Closed timelike curves and the universal cover ===
When {{nowrap|''q'' ≥ 1}}, the embedding above has [[closed timelike curve]]s; for example, the path parameterized by <math>t_1 = \alpha \sin(\tau), t_2 = \alpha \cos(\tau),</math> and all other coordinates zero, is such a curve. When {{nowrap|''q'' ≥ 2}} these curves are inherent to the geometry (unsurprisingly, as any space with more than one temporal dimension contains closed timelike curves), but when {{nowrap|1=''q'' = 1}}, they can be eliminated by passing to the [[universal covering space]], effectively "unrolling" the embedding. A similar situation occurs with the [[pseudosphere]], which curls around on itself although the hyperbolic plane does not; as a result it contains self-intersecting straight lines (geodesics) while the hyperbolic plane does not. Some authors define anti-de&nbsp;Sitter space as equivalent to the embedded quasi-sphere itself, while others define it as equivalent to the universal cover of the embedding.

=== Symmetries ===
If the universal cover is not taken, {{nowrap|(''p'', ''q'')}} anti-de&nbsp;Sitter space has [[Generalized orthogonal group|{{nowrap|O(''p'', ''q'' + 1)}}]] as its [[isometry group]]. If the universal cover is taken the isometry group is a cover of {{nowrap|O(''p'', ''q'' + 1)}}.  This is most easily understood by defining anti-de&nbsp;Sitter space as a [[symmetric space]], using the [[Homogeneous space|quotient space]] construction, given below.

=== Instability ===
The unproven "AdS instability conjecture" introduced by the physicists Piotr Bizon and Andrzej Rostworowski in 2011 states that arbitrarily small perturbations of certain shapes in AdS lead to the formation of black holes.<ref>{{cite journal|url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.107.031102|doi = 10.1103/PhysRevLett.107.031102|title = Weakly Turbulent Instability of Anti-de Sitter Spacetime|year = 2011|last1 = Bizoń|first1 = Piotr|last2 = Rostworowski|first2 = Andrzej|journal = Physical Review Letters|volume = 107|issue = 3|page = 031102|pmid = 21838346|arxiv = 1104.3702|bibcode = 2011PhRvL.107c1102B|s2cid = 31556930}}</ref> Mathematician Georgios Moschidis proved that given spherical symmetry, the conjecture holds true for the specific cases of the Einstein-null dust system with an internal mirror (2017) and the Einstein-massless Vlasov system (2018).<ref>{{cite news |title=Black Holes Help Prove That a Special Kind of Space-Time Is Unstable |url=https://www.quantamagazine.org/black-holes-prove-that-anti-de-sitter-space-time-is-unstable-20200511/ |access-date=14 May 2020 |work=Quanta Magazine |date=2020 |language=en}}</ref><ref>{{cite arXiv |last1=Moschidis |first1=Georgios |title=A proof of the instability of AdS for the Einstein–massless Vlasov system |date=2018|class=math.AP |eprint=1812.04268 }}</ref>

== Coordinate patches ==
A [[coordinate patch]] covering part of the space gives the [[half-space (geometry)|half-space]] coordinatization of anti-de&nbsp;Sitter space. The [[metric tensor]] for this patch is
: <math>ds^2=\frac{1}{y^2}\left(-dt^2+dy^2+\sum_idx_i^2\right),</math>
with <math>y>0</math> giving the half-space. This metric is [[conformally equivalent]] to a flat half-space Minkowski spacetime.

The constant time slices of this coordinate patch are [[hyperbolic space]]s in the Poincaré half-space metric. In the limit as <math>y\to 0</math>, this half-space metric is conformally equivalent to the Minkowski metric <math display="inline">ds^2 = -dt^2 + \sum_i dx_i^2</math>.  Thus, the anti-de&nbsp;Sitter space contains a conformal Minkowski space at infinity ("infinity" having y-coordinate zero in this patch).

In AdS space time is periodic, and the [[universal cover]] has non-periodic time. The coordinate patch above covers half of a single period of the spacetime.

Because the [[conformal infinity]] of AdS is [[timelike]], specifying the initial data on a spacelike hypersurface would not determine the future evolution uniquely (''i.e.'' deterministically) unless there are [[boundary condition]]s associated with the conformal infinity.

[[Image:AdS A.PNG|thumb|The "half-space" region of anti-de&nbsp;Sitter space and its boundary]]

The adjacent image represents the "half-space" region of anti-de&nbsp;Sitter space and its boundary. The interior of the cylinder corresponds to anti-de&nbsp;Sitter spacetime, while its cylindrical boundary corresponds to its conformal boundary. The green shaded region in the interior corresponds to the region of AdS covered by the half-space coordinates and it is bounded by two null, ''aka'' lightlike, geodesic hyperplanes; the green shaded area on the surface corresponds to the region of conformal space covered by Minkowski space.

The green shaded region covers half of the AdS space and half of the conformal spacetime; the left ends of the green discs will touch in the same fashion as the right ends.

== As a homogeneous, symmetric space ==
In the same way that the [[2-sphere]]
: <math>S^2 = { \mathrm{O}(3) } / { \mathrm{O}(2) }</math>
is a quotient of two [[orthogonal group]]s, anti-de&nbsp;Sitter with [[parity (physics)|parity]] (reflectional symmetry) and [[T-symmetry|time reversal]] symmetry can be seen as a quotient of two [[generalized orthogonal group]]s
: <math> \mathrm{AdS}_n = { \mathrm{O}(2,n-1) } / { \mathrm{O}(1,n-1) } </math>
whereas AdS without P or C can be seen as the quotient
: <math> { \mathrm{Spin}^+(2,n-1) } / { \mathrm{Spin}^+(1,n-1) }</math>
of [[spin group]]s.

This quotient formulation gives <math>\mathrm{AdS}_n</math> the structure of a [[homogeneous space]]. The [[Lie algebra]] of the generalized orthogonal group <math>\mathcal{o}(1,n)</math> is given by matrices
: <math>
\mathcal{H}=  \begin{pmatrix}
     \begin{matrix}
       0&0\\
       0&0
     \end{matrix}
                       &  \begin{pmatrix}
		             \cdots 0\cdots\\
			    \leftarrow v^t\rightarrow
                          \end{pmatrix}\\
    \begin{pmatrix}	  
       \vdots & \uparrow\\
         0    & v \\
       \vdots & \downarrow
    \end{pmatrix} &  B
  \end{pmatrix}
</math>,
where <math>B</math> is a [[skew-symmetric matrix]].  A complementary generator in the Lie algebra of <math>\mathcal{G}=\mathcal{o}(2,n) </math> is
: <math> 
\mathcal{Q}=
 \begin{pmatrix}
     \begin{matrix}
       0&a\\
       -a&0
     \end{matrix}
                       &  \begin{pmatrix}		             
			  \leftarrow w^t\rightarrow \\
			     \cdots 0\cdots\\
                          \end{pmatrix}\\
    \begin{pmatrix}	  
      \uparrow   & \vdots\\
          w      &  0\\
      \downarrow & \vdots 
    \end{pmatrix} & 0
  \end{pmatrix}.
</math> 
These two fulfill <math>\mathcal{G}=\mathcal{H}\oplus\mathcal{Q} </math>. Explicit matrix computation shows that 
<math>[\mathcal{H},\mathcal{Q}]\subseteq\mathcal{Q}</math> and <math>[\mathcal{Q},\mathcal{Q}]\subseteq\mathcal{H} </math>. Thus, anti-de&nbsp;Sitter is a [[reductive homogeneous space]], and a non-Riemannian [[symmetric space]].

== An overview of AdS spacetime in physics and its properties ==
<math>\mathrm{AdS}_n</math> is an ''n''-dimensional vacuum solution for the theory of gravitation with [[Einstein–Hilbert action]] with negative [[cosmological constant]] <math>\Lambda</math>, (<math>\Lambda < 0</math>), i.e. the theory described by the following [[Lagrangian (field theory)|Lagrangian]] density:
: <math>
\mathcal{L} = \frac{1}{16 \pi G_{(n)}}(R - 2\Lambda) 
</math>,
where {{math|''G''<sub>(''n'')</sub>}} is the [[gravitational constant]] in {{math|''n''}}-dimensional spacetime.
Therefore, it is a solution of the [[Einstein field equations]]:
: <math>
G_{\mu\nu} + \Lambda g_{\mu\nu} = 0,
</math>
where <math>G_{\mu\nu}</math> is [[Einstein tensor]] and <math>g_{\mu\nu}</math> is the metric of the spacetime. Introducing the radius <math>\alpha</math> as <math display="inline">\Lambda = \frac{-1}{\alpha^2}\frac{(n - 1)(n - 2)}{2}</math>, this solution can be [[Immersion (mathematics)|immersed]] in a <math>(n + 1)</math>-dimensional flat spacetime with the metric <math>\mathrm{diag}(-1, -1, +1, \ldots, +1)</math> in coordinates <math>(X_1,X_2,X_3,\ldots,X_{n+1})</math>  by the following constraint:
: <math>
-X_1^2 - X_2^2 + \sum_{i=3}^{n+1}X_i^2 = -\alpha^2.
</math>

=== Global coordinates ===
<math>\mathrm{AdS}_n</math> is parametrized in global coordinates by the parameters <math>(\tau,\rho,\theta,\varphi_1,\ldots,\varphi_{n-3})</math> as:
: <math>
\begin{cases}
X_1=\alpha\cosh\rho \cos \tau\\
X_2=\alpha\cosh \rho \sin \tau\\
X_i=\alpha \sinh \rho \,\hat{x}_i \qquad \sum_i \hat{x}_i^2=1
\end{cases}
</math>,
where <math>\hat{x}_i</math> parametrize a <math>S^{n-2}</math> sphere, and in terms of the coordinates <math>\varphi_i</math> they are <math>\hat{x}_1 = \sin\theta \sin\varphi_1 \ldots \sin\varphi_{n-3}</math>, <math>\hat{x}_2 = \sin\theta \sin\varphi_1 \ldots \cos\varphi_{n-3}</math>, <math>\hat{x}_3 = \sin\theta \sin\varphi_1 \ldots \cos\varphi_{n-2}</math> and so on. The <math>\mathrm{AdS}_n</math> metric in these coordinates is:
: <math>
ds^2 = \alpha^2\left(-\cosh^2\rho \, d\tau^2 + \, d\rho^2 + \sinh^2\rho \, d\Omega_{n-2}^2\right)
</math>
where <math> \tau \in [0,2\pi] </math> and <math> \rho \in \mathbb{R}^+ </math>. Considering the periodicity of time <math>\tau</math> and in order to avoid [[closed timelike curve]]s (CTC), one should take the universal cover <math>\tau \in \mathbb{R}</math>. In the limit <math>\rho \to \infty </math> one can approach to the boundary of this spacetime usually called <math>\mathrm{AdS}_n</math> conformal boundary.

With the transformations <math>r\equiv\alpha\sinh \rho</math> and <math>t\equiv\alpha\tau</math> we can have the usual <math>\mathrm{AdS}_n</math> metric in global coordinates:
: <math>
ds^2 = -f(r) \, dt^2 + \frac{1}{f(r)} \, dr^2 + r^2 \, d\Omega_{n-2}^2
</math>
where <math> f(r)=1+\frac{r^2}{\alpha^2} </math>

=== Poincaré coordinates ===
By the following parametrization:
: <math>
\begin{cases}
X_1 = \frac{\alpha^2}{2r}\left(1 + \frac{r^2}{\alpha^4}\left(\alpha^2 + \vec{x}^2 - t^2\right)\right) \\
X_2 = \frac{r}{\alpha}t \\
X_i = \frac{r}{\alpha}x_i \qquad i \in \{3, \ldots , n\}\\
X_{n+1} = \frac{\alpha^2}{2r}\left(1-\frac{r^2}{\alpha^4}\left(\alpha^2 - \vec{x}^2 + t^2\right)\right)
\end{cases},
</math>
the <math> \mathrm{AdS}_n </math> metric in the Poincaré coordinates is:
: <math>
ds^2 = - \frac{r^2}{\alpha^2} \, dt^2 + \frac{\alpha^2}{r^2} \, dr^2 + \frac{r^2}{\alpha^2} \, d\vec{x}^2   
</math>
in which <math>0 \leq r</math>. The codimension 2 surface <math>r = 0</math> is the Poincaré Killing horizon and <math>r \to \infty</math> approaches to the boundary of <math>\mathrm{AdS}_n</math> spacetime. So unlike the global coordinates, the Poincaré coordinates do not cover all <math>\mathrm{AdS}_n</math> [[manifold]]. Using <math>u \equiv\frac{r}{\alpha^2}</math> this metric can be written in the following way:
: <math>
ds^2 = \alpha^2 \left( \frac{\,du^2}{u^2} + u^2 \, dx_\mu \, dx^\mu \right)
</math>
where <math>x^\mu = \left(t, \vec{x}\right)</math>. By the transformation <math>z \equiv \frac{1}{u}</math> also it can be written as:
: <math>
ds^2 = \frac{\alpha^2}{z^2}\left(\,dz^2 + \, dx_\mu \, dx^\mu\right).
</math>

This latter coordinates are the coordinates which are usually used in [[AdS/CFT correspondence]], with the boundary of AdS at <math>z \to 0 </math>.  

=== FRW open slicing coordinates ===
Since AdS is maximally symmetric, it is also possible to cast it in a spatially homogeneous and isotropic form like FRW spacetimes (see [[Friedmann–Lemaître–Robertson–Walker metric]]).  The spatial geometry must be negatively curved (open) and the metric is 
: <math>
ds^2 = -dt^2 + \alpha^2 \sin^2(t/\alpha) dH_{n-1}^2,
</math>
where <math>dH_{n-1}^2 = d\rho^2 + \sinh^2\rho d\Omega_{n-2}^2</math> is the standard metric on the <math>(n-1)</math>-dimensional hyperbolic plane.  Of course, this does not cover all of AdS.  These coordinates are related to the global embedding coordinates by
: <math>
\begin{cases}
X_1=\alpha \cos (t/\alpha)\\
X_2=\alpha \sin (t/\alpha) \cosh \rho\\
X_i=\alpha \sin (t/\alpha) \sinh \rho \,\hat{x}_i \qquad 3 \leq i \leq n+1
\end{cases}
</math>
where <math>\sum_i \hat{x}_i^2=1</math> parameterize the <math>S^{n-3}</math>.

=== De Sitter slicing ===
Let
: <math>\begin{align}
  X_1 &= \alpha \sinh\left(\frac{\rho}{\alpha}\right) \sinh\left(\frac{t}{\alpha}\right) \cosh\xi, \\
  X_2 &= \alpha \cosh\left(\frac{\rho}{\alpha}\right), \\
  X_3 &= \alpha \sinh\left(\frac{\rho}{\alpha}\right) \cosh\left(\frac{t}{\alpha}\right), \\
  X_i &= \alpha \sinh\left(\frac{\rho}{\alpha}\right) \sinh\left(\frac{t}{\alpha}\right) \sinh\xi \, \hat{x}_i, \qquad 4 \leq i \leq n+1
\end{align}</math>
where <math>\sum_i \hat{x}_i^2=1</math> parameterize the <math>S^{n-3}</math>.  Then the metric reads:
: <math>ds^2 = d\rho^2 + \sinh^2\left(\frac{\rho}{\alpha}\right) ds_{dS,\alpha,n-1}^2,</math>
where
: <math>ds_{dS,\alpha,n-1}^2 = -dt^2 + \alpha^2 \sinh^2\left(\frac{t}{\alpha}\right) dH_{n-2}^2</math>
is the metric of an <math>n - 1</math> dimensional de&nbsp;Sitter space with radius of curvature <math>\alpha</math> in open slicing coordinates.  The hyperbolic metric is given by:
: <math>dH_{n-2}^2 = d\xi^2 + \sinh^2(\xi) d\Omega_{n-3}^2.</math>

=== Geometric properties ===
AdS<sub>''n''</sub> metric with radius <math>\alpha</math> is one of the maximal symmetric ''n''-dimensional spacetimes.  It has the following geometric properties:
:; [[Riemann curvature tensor]] : <math> R_{\mu\nu\alpha\beta} = \frac{-1}{\alpha^2} (g_{\mu\alpha}g_{\nu\beta} - g_{\mu \beta}g_{\nu\alpha}) </math>
:; [[Ricci curvature]] : <math> R_{\mu\nu} = \frac{-1}{\alpha^2} (n - 1)g_{\mu\nu} </math>
:; [[Scalar curvature]] : <math> R = \frac{-1}{\alpha^2} n(n - 1) </math>

== Notes ==
{{notelist}}

== References ==
{{reflist}}
* {{springer|id=A/a110620|title=Anti-de Sitter space|author=Qingming Cheng}}
* {{citation |author-link=George Francis Rayner Ellis |last1=Ellis |first1=G. F. R. |author-link2=Stephen Hawking |last2=Hawking |first2=S. W. |title=The large scale structure of space-time |publisher=[[Cambridge University Press]] |year=1973 |pages=131–134 }}
* {{cite book |last=Frances |first=C. |url=https://hal.archives-ouvertes.fr/hal-03195056 |chapter=The conformal boundary of anti-de Sitter space-times |title=AdS/CFT correspondence: Einstein metrics and their conformal boundaries |pages=205–216 |series=IRMA Lectures in Mathematics and Theoretical Physics |volume=8 |publisher=European Mathematical Society |location=Zürich |year=2005 |doi=10.4171/013-1/8 |isbn=978-3-03719-013-5 }}
* {{cite journal |last=Matsuda |first=H. |title=A note on an isometric imbedding of upper half-space into the anti-de Sitter space |journal=Hokkaido Mathematical Journal |volume=13 |year=1984 |issue=2 |pages=123–132|doi=10.14492/hokmj/1381757712 |url=http://www.math.sci.hokudai.ac.jp/hmj/page/13-2/pdf/HMJ_13_2_1984_123-132.pdf |doi-access=free }}{{Retrieved|prepend={{sp}}|access-date=2017-02-04}}
* {{cite book |last=Wolf |first=Joseph A. |title=Spaces of Constant Curvature |year=1967 |pages=334 }}

== External links ==
* [http://www.quantumfieldtheory.info/dS_and_AdS_spaces.pdf Simplified Guide to de Sitter and anti-de Sitter Spaces] – a pedagogic introduction to de&nbsp;Sitter and anti-de&nbsp;Sitter spaces. The main article is simplified, with almost no math. The appendix is technical and intended for readers with physics or math backgrounds.

{{Portal bar|Mathematics|Physics|Astronomy|Stars|Spaceflight|Outer space|Science}}
{{DEFAULTSORT:Anti-de Sitter space}}
[[Category:Exact solutions in general relativity]]
[[Category:Differential geometry]]