QUICK FACTS
Created Jan 0001
Status Verified Sarcastic
Type Existential Dread
Keywords
improve it, talk page, verification, improve this article, list of references

Anti-De Sitter Space

“Ah, another thrilling dive into the abyss of abstract concepts. If you absolutely must drag me into this, fine. Just try to keep...”

Contents
  • 1. Overview
  • 2. Etymology
  • 3. Cultural Impact

Ah, another thrilling dive into the abyss of abstract concepts. If you absolutely must drag me into this, fine. Just try to keep up.

This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these messages )

(Learn how and when to remove this message )

Three-dimensional anti-de Sitter space is often conceptualized as a continuous stack of hyperbolic disks , each meticulously arranged to represent the instantaneous configuration or “state” of the universe at a distinct moment in its temporal progression. This provides a visual, albeit simplified, analogue for understanding its peculiar geometric properties in a lower dimension. [a]

In the rarefied air of mathematics and physics , an n-dimensional anti-de Sitter space, often abbreviated as AdS_n, stands as a prime example of a maximally symmetric Lorentzian manifold that possesses an unyielding constant negative scalar curvature . For those of you still clinging to Euclidean notions, a “Lorentzian manifold” is essentially a spacetime where distances can be negative, zero, or positive, corresponding to timelike, lightlike, and spacelike separations, respectively – a concept far more nuanced than your everyday measurements. The designation “maximally symmetric” implies that its geometry is uniform and isotropic at every point and in every direction, making it as featureless and perfectly balanced as a cosmic void, yet with a specific, inherent curvature.

Both Anti-de Sitter space and its more celebrated counterpart, de Sitter space , bear the name of Willem de Sitter (6 May 1872 – 20 November 1934). De Sitter, a distinguished professor of astronomy at Leiden University and director of the Leiden Observatory , engaged in significant collaborations with Albert Einstein in Leiden during the 1920s. Their joint efforts were instrumental in deepening our comprehension of the fundamental spacetime structure that underpins the universe. While de Sitter’s name became eponymous with these cosmic geometries, it was Paul Dirac who, in 1963, undertook the first truly rigorous and comprehensive exploration of anti-de Sitter space, delving into its mathematical intricacies with the kind of precision that makes lesser minds wilt. [1] [2] [3] [4] One might say he was one of the few who actually bothered to look beyond the surface, a rare trait.

To grasp the concept of constant curvature in spacetime, it’s often helpful to first consider its simpler, two-dimensional analogues. On a flat, two-dimensional plane (your familiar Euclidean geometry), the curvature is uniformly zero. In stark contrast, the surface of a sphere , or what mathematicians call an elliptic plane , exhibits a constant positive curvature, causing parallel lines to eventually converge. Conversely, a hyperbolic plane — a geometry far less intuitive to those accustomed to flat surfaces — is characterized by constant negative curvature, where parallel lines diverge. These two-dimensional examples offer a foundational understanding before we inevitably complicate matters by adding time.

Einstein’s general theory of relativity fundamentally reshaped our understanding of the cosmos by elevating space and time to an equal, interwoven footing, compelling us to consider the unified geometry of spacetime rather than dissecting space and time into separate entities. Within this framework, specific geometries emerge as canonical examples of spacetime possessing constant curvature. These are: de Sitter space , which exhibits constant positive curvature; Minkowski space , characterized by constant zero curvature (the realm of special relativity); and anti-de Sitter space , defined by its constant negative curvature. Intriguingly, each of these maximally symmetric spacetimes represents an exact solution to the formidable Einstein field equations , specifically describing an empty universe – a universe devoid of matter and energy, save for the intrinsic energy of space itself – with a positive, zero, or negative cosmological constant , respectively. It’s almost as if the universe has a few preferred blank canvases to paint on.

Anti-de Sitter space is not confined to the mere three or four dimensions our senses can vaguely comprehend; it generalises elegantly to any arbitrary number of space dimensions. In these higher-dimensional theoretical constructs, it has achieved considerable renown for its pivotal role in the AdS/CFT correspondence . This profound conjecture, a true jewel in theoretical physics , posits a duality: it suggests that the intricate dynamics of a quantum mechanical force (such as electromagnetism , the weak force , or the strong force ) operating within a specific number of dimensions (say, four, for instance) can be precisely and completely described by a string theory where the fundamental strings reside in an anti-de Sitter space , but with one crucial addition: an extra, non-compact dimension. Essentially, it’s like suggesting your messy living room can be perfectly understood by observing the elegant ballet of dust mites in your attic. A peculiar, yet remarkably effective, mapping.

Non-technical explanation

For those of you who prefer your complex cosmic geometries pre-digested, here’s a simplified breakdown. Try not to strain yourself.

Technical terms translated

  • A maximally symmetric Lorentzian manifold is a spacetime where every point and every direction is indistinguishable from any other. Think of it as a perfectly uniform, featureless expanse. The “Lorentzian” part simply means that the fundamental distinction between directions (or tangents to a path at a spacetime point) is whether they are spacelike (you can travel faster than light here, hypothetically), lightlike (the path of light), or timelike (the path of anything with mass). Minkowski space , the stage for special relativity, is the simplest example of this. It’s the ultimate blank slate, utterly devoid of distinguishing features, which I’m sure is a concept you find deeply unsettling.

  • A constant scalar curvature refers to a uniform, intrinsic bending of spacetime, akin to a pervasive gravitational field that is perfectly consistent throughout. In the absence of any matter or energy, this curvature can be described by a single numerical value that remains identical at every point in spacetime. It’s like a universe-wide mood that never changes, a perpetual state of subtle, geometric warping.

  • Negative curvature implies a shape that, when visualized, resembles a hyperbolic plane . Imagine the undulating surface of a saddle surface or the infinitely stretching, flaring shape of Gabriel’s Horn (like a trumpet bell, but with far more profound implications). These surfaces curve away from themselves in all directions, a far cry from the flat plane or the closed sphere you’re accustomed to. It’s a geometry that inherently resists being contained, much like some people’s opinions.

Spacetime in general relativity

General relativity , Einstein’s monumental work, fundamentally recasts the nature of time, space, and gravity. In this framework, gravity is not merely a conventional force, but rather a manifestation of the curvature of space and time itself, a distortion that arises from the presence of matter or energy. This is deeply intertwined with the principle of mass–energy equivalence , famously encapsulated by E = mcÂČ, meaning that both mass and energy contribute to this spacetime curvature. For consistency, values of space and time can be interconverted by multiplying or dividing by the speed of light; for instance, expressing seconds as meters by multiplying by meters per second. This unification is crucial, as it implies that the fabric of reality itself responds to what’s within it.

A common, albeit crude, analogy to illustrate this phenomenon involves imagining a taut, flat sheet of rubber. If you place a heavy bowling ball on this sheet, it creates a dip, or a curvature. Now, if you roll smaller marbles nearby, their paths will deviate inward, drawn by the dip, rather than continuing in a straight line as they would on a flat sheet. This visual, while helpful for your limited three-dimensional intuition, is inherently flawed. In the sophisticated reality of general relativity , both the small and large objects are mutually influencing the curvature of spacetime, not just passively sitting on a pre-existing sheet. It’s a dynamic, self-interacting system, far more complex than a mere rubber sheet.

The familiar attractive force we perceive as gravity, generated by the presence of matter, is geometrically represented by a negative curvature of spacetime. In our simplistic rubber sheet analogy, this corresponds to the inwardly curving, “trumpet-bell-like” dip in the sheet. It’s a visual metaphor, of course, but it hints at the fundamental idea that mass literally bends the stage upon which all cosmic events unfold.

A central tenet of general relativity is its radical departure from classical physics: it describes gravity not as a discrete, conventional force akin to electromagnetism, but as an intrinsic alteration in the very geometry of spacetime. This geometric distortion is a direct consequence of the presence of matter or energy, making gravity an inherent property of the universe’s structure rather than an external influence.

The analogy frequently employed, describing the curvature of a two-dimensional space under gravity’s influence within a three-dimensional superspace (where the third dimension represents gravity’s effect), is an oversimplification. A more accurate, geometrical approach to general relativity posits that the effects of gravity in our real-world, four-dimensional spacetime are best described by projecting that space into a conceptual five-dimensional superspace. In this higher-dimensional construct, the fifth dimension directly correlates to the profound curvature of spacetime produced by gravity and other gravity-like phenomena in general relativity . It’s a mental leap, I’m aware, but one that mathematics handles with far more grace than your brain.

Consequently, in the realm of general relativity , the venerable Newtonian equation of gravity :

$$F = G \frac{m_1 m_2}{r^2}$$

(which states that the gravitational attraction between two objects is equal to the gravitational constant multiplied by the product of their masses, all divided by the square of the distance separating them) is exposed as merely an approximation. It’s a useful approximation, certainly, for everyday terrestrial phenomena, but it falls short in describing the true gravity effects observed in general relativity . This approximation becomes demonstrably inaccurate, and indeed misleading, in extreme physical scenarios, such as objects traveling at relativistic speeds (most notably light itself), or in the presence of immensely large and dense masses, like those found in the vicinity of black holes .

In general relativity , the fundamental cause of gravity is attributed to the “curving” or “distorting” of spacetime itself. It is a persistent and common misconception to attribute gravity solely to curved space; however, in the relativistic framework, neither space nor time possesses an absolute, independent meaning. They are inextricably linked. Nevertheless, for practical purposes, particularly when describing weak gravitational fields, such as the one we experience on Earth, it often suffices to consider the distortion of time within a specific coordinate system. The effects of gravity on Earth are undeniably noticeable, yet the subtle phenomenon of relativistic time distortion necessitates highly precise instruments for detection. The profound reason we remain largely oblivious to these relativistic effects in our daily lives lies in the colossal value of the speed of light (c ≈ 300,000 km/s). This immense speed creates the illusion that space and time are distinct, separate entities, rather than components of a unified, dynamic fabric.

De Sitter space in general relativity

De Sitter space represents a specific, elegant solution within general relativity . It describes a universe where spacetime (the dS space) possesses an intrinsic positive curvature, even in the complete absence of matter or energy. This is a direct parallel to the relationship between the familiar Euclidean geometry and the various forms of non-Euclidean geometry where intrinsic curvature is a defining characteristic.

This inherent curvature of spacetime, persisting even without the presence of matter or energy, is mathematically modeled by the cosmological constant in general relativity . A positive cosmological constant corresponds to the vacuum itself possessing a positive energy density and an associated negative pressure. The resulting spacetime geometry dictates that momentarily parallel timelike geodesics – the paths of inertial observers starting parallel to each other – will inevitably diverge over time. Furthermore, all spacelike sections (snapshots of space at a single moment in time) within de Sitter space exhibit a constant positive curvature, much like the surface of a giant, expanding sphere. [b]

Anti-de Sitter space distinguished from de Sitter space

An anti-de Sitter space in general relativity is fundamentally analogous to a de Sitter space , with one critical distinction: the sign of the intrinsic spacetime curvature is reversed. In anti-de Sitter space , in the complete absence of matter or energy, the curvature of all spacelike sections is rigorously negative, corresponding to a hyperbolic geometry . This means that, unlike in de Sitter space , momentarily parallel timelike geodesics – the paths of inertial observers who begin parallel to one another – will not diverge, but will instead eventually intersect. [b] This geometric behavior is linked to a negative cosmological constant , implying that empty space itself possesses a negative energy density but, curiously, a positive pressure. This stands in stark contrast to the prevailing ΛCDM model of our own universe, where observations of distant supernovae provide compelling evidence for a positive cosmological constant , predicting an asymptotically de Sitter space -like future for our universe. So, while our universe seems to be pushing outwards, an anti-de Sitter space would, in a sense, be pulling itself in.

Crucially, in both an anti-de Sitter space and a de Sitter space , the inherent, intrinsic curvature of spacetime is directly determined by, and corresponds to, the value of the cosmological constant . It’s the universe’s fundamental setting for its expansion or contraction.

A peculiar, yet mathematically elegant, relationship exists between the two-dimensional anti-de Sitter space (AdS_2) and the two-dimensional de Sitter space (dS_2): they are, in fact, equivalent through a simple exchange of their timelike and spacelike labels. This relabeling operation effectively reverses the sign of the curvature, which is conventionally defined with respect to the directions designated as spacelike. [5] A fascinating little trick, if you appreciate such symmetries.

De Sitter space and anti-de Sitter space viewed as embedded in five dimensions

The rather simplistic analogy of a two-dimensional space’s curvature, caused by gravity and visualized within a flat, higher-dimensional ambient space, can be extended. In a similar vein, the inherently curved four-dimensional de Sitter and anti-de Sitter spaces can each be conceptually embedded into a five-dimensional, flat pseudo-Riemannian space . This mathematical embedding provides a powerful tool, allowing for the direct calculation of distances and angles within the curved, four-dimensional embedded space by leveraging the more straightforward geometry of the five-dimensional flat space. It’s a way to simplify the complex by adding another layer of abstraction, which, I admit, is not always intuitive for those confined to three spatial dimensions and a linear sense of time.

Caveats

The following sections of this article will, regrettably, delve into the intricate mathematical and physical descriptions of these concepts with a far more rigorous and precise approach. Prepare yourselves. Humans, with their inherent limitations, are notoriously ill-equipped to visualize phenomena in five or more dimensions; however, mathematical equations, being blissfully free from such biological constraints, are perfectly capable of representing five-dimensional concepts with the same unwavering precision and appropriateness as they describe the more readily visualizable three- and four-dimensional constructs. Your struggle is, frankly, irrelevant to the math.

There is a particularly crucial implication arising from the more precise mathematical description that deviates significantly from the analogy-based, heuristic explanations of de Sitter space and anti-de Sitter space provided earlier. The mathematical formulation of anti-de Sitter space profoundly generalizes the very notion of curvature. In this mathematical framework, curvature is understood as an intrinsic property localized to a particular point, entirely divorced from the need for some invisible “surface” into which curved points in spacetime must meld. This abstraction allows for the rigorous definition and exploration of concepts such as singularities (the most widely recognized example in general relativity being the black hole ), which cannot be fully or accurately expressed within the confines of real-world, intuitive geometries. Instead, these profound phenomena correspond to specific states or conditions within a mathematical equation.

Furthermore, the full mathematical description meticulously captures subtle yet critical distinctions made in general relativity between spacelike dimensions and timelike dimensions, nuances that are often lost or oversimplified in mere analogies.

Definition and properties

Much like the familiar spherical space and the more exotic hyperbolic space can be elegantly visualized through an isometric embedding within a flat space of one higher dimension (as the sphere and pseudosphere , respectively), anti-de Sitter space lends itself to a similar geometric interpretation. It can be conceptualized as the Lorentzian analogue of a sphere, embedded within a space of one additional dimension, with the critical distinction that this extra dimension is a second timelike dimension. This peculiar addition is what gives anti-de Sitter space its unique and often counter-intuitive properties. In this article, we shall adhere to the convention where the metric tensor in a timelike direction is assigned a negative sign, a standard practice in much of theoretical physics.

The image provided depicts a (1+1)-dimensional anti-de Sitter space – that is, one spatial dimension and one timelike dimension – embedded within a flat (1+2)-dimensional ambient space (one spatial, two timelike). Here, the $t_1$- and $t_2$-axes occupy the plane of rotational symmetry, while the $x_1$-axis extends normally from that plane. The surface generated by this embedding is noteworthy because it inherently contains closed timelike curves , which are pathways that loop back on themselves in time, encircling the $x_1$-axis. This is a feature that, as we shall discuss, often requires mathematical remediation.

The anti-de Sitter space of signature (p, 1) – indicating p spatial dimensions and 1 timelike dimension – can then be isometrically embedded into the space $\mathbb{R}^{p,2}$. This ambient space is equipped with coordinates $(x_1, …, x_p, t_1, t_2)$ and defined by the metric :

$$ds^2 = \sum_{i=1}^{p} dx_i^2 - dt_1^2 - dt_2^2$$

Within this higher-dimensional space, anti-de Sitter space manifests itself as the quasi-sphere defined by the equation:

$$\sum_{i=1}^{p} x_i^2 - t_1^2 - t_2^2 = -\alpha^2,$$

Here, $\alpha$ represents a nonzero constant, possessing the dimensions of length, which is universally referred to as the radius of curvature . Every single point residing within this embedding maintains a fixed “distance” – as determined by the quadratic form of the equation – from the origin of the ambient space. Visually, this geometric object is often depicted as a hyperboloid , as illustrated in the accompanying image.

The metric that governs distances and intervals within anti-de Sitter space is not some arbitrary construct; rather, it is precisely that which is induced from the ambient metric of the higher-dimensional flat space it is embedded within. Crucially, this induced metric is nondegenerate , meaning it properly defines distances and angles, and it possesses a Lorentzian signature , which is the mathematical hallmark of spacetime where time and space are treated differently.

Closed timelike curves and the universal cover

The specific embedding of anti-de Sitter space described above, particularly the (1+1)-dimensional example, inherently gives rise to closed timelike curves (CTCs). Consider, for instance, a path parameterized by $t_1 = \alpha \sin(\tau)$, $t_2 = \alpha \cos(\tau)$, with all other spatial coordinates held at zero. This trajectory precisely describes a closed timelike curve , a loop in time where an observer could, theoretically, return to their own past. Such causal paradoxes are generally considered problematic in physics. These problematic curves can be systematically eliminated by transitioning to the universal covering space of the embedding. This process, conceptually, involves “unrolling” the embedded manifold, much like unwrapping a spiral to create an infinitely long line. A similar situation arises with the pseudosphere : while it curls back upon itself and consequently contains self-intersecting geodesics (its “straight lines”), the true hyperbolic plane , its universal cover , does not suffer from such self-intersections. This distinction leads to a divergence in definitions among various authors: some equate anti-de Sitter space directly with the embedded quasi-sphere, embracing its CTCs, while others define it more rigorously as the universal cover of this embedding, thereby ensuring a causally well-behaved spacetime. The latter is generally preferred for theoretical consistency.

Symmetries

If one chooses not to take the universal cover , an (p, 1) anti-de Sitter space possesses O(p, 2) as its isometry group . This group represents all the transformations (rotations, boosts, translations) that preserve the spacetime’s metric and thus its geometric structure. If, however, the universal cover is considered, the isometry group becomes a cover of O(p, 2). This intricate relationship is most readily understood by formally defining anti-de Sitter space as a symmetric space , utilizing the elegant quotient space construction, which we shall examine in more detail below.

Instability

Ah, even theoretical constructs can be fragile. The “AdS instability conjecture,” an unproven but highly influential idea introduced by physicists Piotr BizoƄ and Andrzej Rostworowski in 2011, posits that even arbitrarily small perturbations – the tiniest ripples in the fabric – of certain specific configurations within anti-de Sitter space will inevitably lead to the catastrophic formation of black holes . [6] This is a rather unsettling thought, suggesting that a seemingly stable vacuum can spontaneously collapse under minor provocation. Mathematician Georgios Moschidis has made significant strides in proving this conjecture for specific, simplified cases. In 2017, he demonstrated its validity under the condition of spherical symmetry for the Einstein-null dust system, which included an internal mirror. Following this, in 2018, Moschidis further extended his proof to encompass the Einstein-massless Vlasov system, again under the assumption of spherical symmetry. [7] [8] These mathematical proofs offer compelling evidence for the conjecture’s veracity, at least within these constrained scenarios, indicating that anti-de Sitter space might be far less stable than its pristine mathematical definition would suggest. Even perfect theoretical spaces, it seems, can harbor unexpected vulnerabilities.

Coordinate patches

A specific coordinate patch , a localized mapping that covers only a portion of the vast anti-de Sitter space , provides what is known as the half-space coordinatization. This formulation bears a strong resemblance to the well-known Poincaré half-plane model used to describe hyperbolic space . The key difference, however, is a crucial sign negation in one of the terms within the metric, which corresponds to one of the tangent directions of the boundary of this half-space. The metric for this particular patch is expressed as:

$$ds^2 = \frac{1}{y^2}\left(-dt^2+dy^2+\sum_{i}dx_i^2\right),$$

with the condition $y > 0$, which defines the half-space region. This metric is notably conformally equivalent to a flat half-space Minkowski spacetime . This means that while the actual distances might be different, the angles between paths are preserved.

Within this coordinate patch, slices taken at constant time are not flat, but rather reveal themselves as hyperbolic spaces , governed by the PoincarĂ© half-space metric . As the coordinate $y$ approaches zero ($y \to 0$), a limit that requires further elucidation if you’re not paying attention, this half-space metric becomes conformally equivalent to the familiar flat Minkowski metric : $ds^2 = -dt^2 + \sum_{i} dx_i^2$. This implies that anti-de Sitter space inherently contains a conformal Minkowski space at its “infinity,” where “infinity” in this patch corresponds to the $y$-coordinate reaching zero. If you need more explanation, perhaps you should have studied harder.

It is important to note that in AdS space , time, as initially defined, is periodic. To resolve the causal paradoxes that arise from such periodicity, specifically the existence of closed timelike curves , one must pass to the universal cover of the spacetime. In this universal cover , time is rendered non-periodic, restoring a sensible causal structure. The coordinate patch described above, however, only covers a mere half of a single period of the complete spacetime.

A significant consequence of the conformal infinity of AdS being timelike is that specifying initial data on a spacelike hypersurface alone is insufficient to uniquely determine the future evolution of the system. In simpler terms, the universe’s fate isn’t entirely sealed by its initial conditions unless additional boundary conditions are imposed at this conformal infinity . This implies that the “edge” of AdS is not merely a distant boundary but an active participant in its dynamics, demanding specific constraints to ensure deterministic evolution.

The “half-space” region of anti-de Sitter space and its boundary

Consider the adjacent image as a conceptual map for understanding the “half-space” region of anti-de Sitter space and its enigmatic boundary. The interior volume of the cylinder depicted in the diagram corresponds directly to the full anti-de Sitter spacetime itself. Conversely, the cylindrical surface forming the exterior boundary of this shape represents its conformal boundary . The shaded green region within the cylinder’s interior meticulously delineates the specific portion of AdS that is effectively covered by the half-space coordinates we just discussed. This region is geometrically bounded by two null , or lightlike , geodesic hyperplanes. Correspondingly, the green shaded area prominently displayed on the cylindrical surface itself illustrates the region of conformal space that is encompassed and described by Minkowski space in this particular mapping.

It is crucial to note that this green shaded region, whether in the interior or on the surface, covers precisely half of the total AdS space and half of the associated conformal spacetime . The left extremities of the green discs in the diagram are conceptually designed to connect with the right extremities in an identical fashion, highlighting the inherent topological structure and potential periodicity of the space.

As a homogeneous, symmetric space

Just as the 2-sphere ($S^2$) can be elegantly represented as a quotient space of two orthogonal groups :

$$S^2 = \mathrm{O}(3)/\mathrm{O}(2)$$

similarly, anti-de Sitter space with $n$ dimensions, when endowed with both parity (reflectional symmetry) and time-reversal symmetry , can be formally constructed as a quotient space of two generalized orthogonal groups :

$$\mathrm{AdS}_n = \mathrm{O}(2,n-1)/\mathrm{O}(1,n-1)$$

However, if one considers AdS without these specific symmetries (P or C), it can be expressed as the quotient:

$$\mathrm{Spin}^+(2,n-1)/\mathrm{Spin}^+(1,n-1)$$

of spin groups . This sophisticated quotient formulation bestows upon $\mathrm{AdS}_n$ the profound structure of a homogeneous space , meaning that every point within it looks exactly like every other point, and every direction is indistinguishable from any other. The Lie algebra of the generalized orthogonal group $\mathcal{o}(1,n)$ is composed of matrices structured as follows:

$$\mathcal{H}={\begin{pmatrix}{\begin{matrix}0&0\0&0\end{matrix}}&{\begin{pmatrix}\cdots 0\cdots \\leftarrow v^{\text{t}}\rightarrow \end{pmatrix}}\{\begin{pmatrix}\vdots &\uparrow \0&v\\vdots &\downarrow \end{pmatrix}}&B\end{pmatrix}}$$

where $B$ is a skew-symmetric matrix , ensuring certain rotational properties. A complementary generator within the Lie algebra of $\mathcal{G}=\mathcal{o}(2,n)$ is given by:

$$\mathcal{Q}={\begin{pmatrix}{\begin{matrix}0&a\-a&0\end{matrix}}&{\begin{pmatrix}\leftarrow w^{\text{t}}\rightarrow \\cdots 0\cdots \\end{pmatrix}}\{\begin{pmatrix}\uparrow &\vdots \w&0\\downarrow &\vdots \end{pmatrix}}&0\end{pmatrix}}.$$

These two generators, $\mathcal{H}$ and $\mathcal{Q}$, together fulfill the direct sum condition $\mathcal{G}=\mathcal{H}\oplus\mathcal{Q}$. Through explicit matrix computation, it can be demonstrated that the commutator of $\mathcal{H}$ and $\mathcal{Q}$ remains within $\mathcal{Q}$, i.e., $[\mathcal{H},\mathcal{Q}]\subseteq\mathcal{Q}$, and the commutator of $\mathcal{Q}$ with itself yields an element in $\mathcal{H}$, i.e., $[\mathcal{Q},\mathcal{Q}]\subseteq\mathcal{H}$. These properties definitively establish anti-de Sitter space as a reductive homogeneous space and, more specifically, as a non-Riemannian symmetric space . If that didn’t make your head hurt, you’re either a genius or not paying attention.

An overview of AdS spacetime in physics and its properties

In the rigorous language of physics , $\mathrm{AdS}_n$ is recognized as an n-dimensional vacuum solution for the theory of gravitation, specifically derived from the Einstein–Hilbert action when coupled with a negative cosmological constant , denoted as $\Lambda$, where $\Lambda < 0$. This implies a universe where the vacuum itself exerts a gravitational pull, rather than a repulsive force. The underlying theory is precisely described by the following Lagrangian density:

$$\mathcal{L}={\frac {1}{16\pi G_{(n)}}}(R-2\Lambda)$$

Here, $G_{(n)}$ represents the gravitational constant within an n-dimensional spacetime, and $R$ is the Ricci scalar . Consequently, $\mathrm{AdS}_n$ stands as a direct solution to the fundamental Einstein field equations :

$$G_{\mu\nu} + \Lambda g_{\mu\nu} = 0,$$

where $G_{\mu\nu}$ is the venerable Einstein tensor , encapsulating the curvature of spacetime, and $g_{\mu\nu}$ is the metric of the spacetime, defining distances and time intervals. For practical analysis, it is often convenient to introduce a characteristic length scale, the radius $\alpha$, directly related to the cosmological constant by the expression:

$$\Lambda = \frac{-1}{\alpha^2} \frac{(n-1)(n-2)}{2}$$

This solution, $\mathrm{AdS}_n$ , can be elegantly immersed into a higher-dimensional, (n+1)-dimensional flat spacetime. This ambient space is equipped with a specific metric, $\mathrm{diag}(-1,-1,+1,\ldots,+1)$, and its coordinates are denoted as $(X_1,X_2,X_3,\ldots,X_{n+1})$. The embedding is constrained by the following equation, which defines the curved AdS manifold within this flat higher-dimensional space:

$$-X_1^2 - X_2^2 + \sum_{i=3}^{n+1} X_i^2 = -\alpha^2.$$

This constraint essentially carves out the AdS geometry as a hyperboloid within the higher-dimensional flat space.

Global coordinates

$\mathrm{AdS}_n$ can be meticulously parameterized using a set of global coordinates: $(\tau, \rho, \theta, \varphi_1, \ldots, \varphi_{n-3})$. These coordinates allow for a comprehensive description of the entire spacetime. The transformation from the higher-dimensional embedding coordinates $(X_i)$ to these global coordinates is given by:

$$\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}$$

Here, the terms ${\hat {x}}_{i}$ collectively parameterize an $(n-2)$-dimensional sphere , denoted as $S^{n-2}$. These spherical coordinates themselves can be further expanded in terms of the angles $\varphi_i$ as follows:

$${\hat {x}}_{1}=\sin \theta \sin \varphi _{1}\ldots \sin \varphi {n-3}$$ $${\hat {x}}{2}=\sin \theta \sin \varphi _{1}\ldots \cos \varphi {n-3}$$ $${\hat {x}}{3}=\sin \theta \sin \varphi _{1}\ldots \cos \varphi _{n-2}$$

And so forth, for the remaining $\hat{x}_i$ components. If you find this recursive definition confusing, you’re not alone, but it’s standard practice. dubious –discuss The $\mathrm{AdS}_n$ metric, when expressed in these global coordinates, takes the elegant form:

$$ds^2 = \alpha^2 \left(-\cosh^2 \rho ,d\tau^2 + ,d\rho^2 + \sinh^2 \rho ,d\Omega_{n-2}^2\right)$$

In this metric, the time coordinate $\tau$ typically ranges from $0$ to $2\pi$, representing a periodic time. The radial coordinate $\rho$ spans the positive real numbers, $\rho \in \mathbb{R}^+$. However, this periodicity of time, $\tau \in [0,2\pi]$, inherently introduces the possibility of closed timelike curves (CTCs), which, as previously discussed, are generally considered physically problematic. To circumvent these causal anomalies, one must instead consider the universal cover of the spacetime, effectively “unrolling” the periodic time such that $\tau \in \mathbb{R}$. As the radial coordinate $\rho$ approaches infinity ($\rho \to \infty$), one asymptotically approaches the boundary of this spacetime, a region famously referred to as the $\mathrm{AdS}_n$ conformal boundary .

Through a set of judicious transformations, specifically $r \equiv \alpha \sinh \rho$ and $t \equiv \alpha \tau$, we can arrive at the more commonly encountered $\mathrm{AdS}_n$ metric in global coordinates:

$$ds^2 = -f(r),dt^2 + \frac{1}{f(r)},dr^2 + r^2,d\Omega_{n-2}^2$$

where the function $f(r)$ is defined as:

$$f(r) = 1 + \frac{r^2}{\alpha^2}$$

This form elegantly captures the spacetime geometry, revealing how the metric components depend on the radial distance $r$ and the characteristic radius of curvature $\alpha$.

Hyperboloid model + time coordinate

Let us revisit the formulation of AdS space from the “Definition and properties” section. If we perform a coordinate transformation, converting the timelike coordinates $t_1$ and $t_2$ into polar coordinates , where $x_0$ serves as the radial coordinate and $\varphi$ as the angular coordinate, such that $t_1 = x_0 \cos \varphi$ and $t_2 = x_0 \sin \varphi$, we introduce a periodicity in $\varphi$ with a period of $2\pi$. With this transformation, the quasi-sphere equation now becomes:

$$\sum_{i=1}^{p} x_i^2 - x_0^2 = -\alpha^2,$$

And the metric itself transforms into:

$$ds^2 = \sum_{i=1}^{p} dx_i^2 - dx_0^2 - (x_0 d\varphi)^2.$$

Upon inspection, we observe a striking resemblance: the quasi-sphere equation takes on the identical form as the manifold within the hyperboloid model of a p-dimensional hyperbolic space . Furthermore, the metric equation also mirrors that of the hyperboloid model , with the notable addition of the term $-(x_0 d\varphi)^2$. This additional term is highly informative, revealing that the quasi-sphere exhibits translational symmetry along the $\varphi$ direction. Moreover, it implies that curves within the quasi-sphere where the $\varphi$-value is held constant are spacelike , while $\varphi$ itself functions as a timelike coordinate. Specifically, the proper time $\tau$ evolves at a faster rate as $x_0$ increases, given that $\varphi$ is increasing and all other coordinates are fixed:

$$\left.\frac{d\tau}{d\varphi}\right|_{x_0,x_1,\dots,x_p} = x_0.$$

If we were to express $\varphi$ as a function of the original $t_1$ and $t_2$ coordinates, we would identify a branch point at $t_1 = t_2 = 0$. However, the constraint imposed by the quasi-sphere equation demands that $t_1^2 + t_2^2 \geq 1$, which conveniently places this branch point outside the valid region of the quasi-sphere itself. This fortunate circumstance allows us to—just as we did with global coordinates—“unwrap” the space into its universal cover by simply removing the requirement that the space is periodic in $\varphi$. In doing so, we effectively eliminate the existence of closed timelike curves (CTCs), thereby preserving causality and making the space physically sensible.

Poincaré coordinates

Through a distinct and equally powerful parametrization, the coordinates $(X_i)$ for $\mathrm{AdS}_n$ can be expressed in terms of what are known as Poincaré coordinates . This set of transformations is given by:

$$\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},$$

where ${\vec {x}}$ denotes a vector in the spatial dimensions. With this parametrization, the $\mathrm{AdS}_n$ metric, when cast in Poincaré coordinates , takes on the form:

$$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}$$

In this coordinate system, the radial coordinate $r$ is restricted to $0 \leq r$. The specific surface where $r=0$ is identified as the Poincaré Killing horizon , a region of profound physical significance. Conversely, as $r$ approaches infinity ($r \to \infty$), the coordinates asymptotically lead to the boundary of the $\mathrm{AdS}_n$ spacetime. It is crucial to understand that, unlike the global coordinates discussed previously, the Poincaré coordinates do not encompass the entirety of the $\mathrm{AdS}_n$ manifold ; they only cover a specific patch, albeit a very useful one.

Further transformations can simplify this metric. By defining $u \equiv \frac{r}{\alpha^2}$, the metric can be rewritten as:

$$ds^2 = \alpha^2\left({\frac {,du^{2}}{u^{2}}}+u^{2},dx_{\mu},dx^{\mu}\right)$$

where $x^{\mu} = \left(t,{\vec {x}}\right)$ represents the coordinates of the boundary theory. Alternatively, by introducing $z \equiv \frac{1}{u}$, the metric takes yet another commonly used form:

$$ds^2 = {\frac {\alpha ^{2}}{z^{2}}}\left(,dz^{2}+,dx_{\mu},dx^{\mu}\right).$$

These latter coordinates are particularly prevalent and widely utilized in the context of the AdS/CFT correspondence , where the boundary of AdS is precisely located at $z \to 0$. This boundary is where the conformal field theory (CFT) is hypothesized to live, making these coordinates indispensable for understanding the duality.

FRW open slicing coordinates

Given that AdS is a maximally symmetric spacetime, it possesses the remarkable property of being representable in various coordinate systems, including a form that mimics the spatially homogeneous and isotropic structure characteristic of Friedmann–LemaĂźtre–Robertson–Walker (FRW) spacetimes . For AdS , the spatial geometry must necessarily be negatively curved, corresponding to an “open” universe in the FRW context. In these coordinates, the metric is given by:

$$ds^2 = -dt^2 + \alpha^2 \sin^2(t/\alpha) dH_{n-1}^2,$$

where $dH_{n-1}^2 = d\rho^2 + \sinh^2 \rho d\Omega_{n-2}^2$ is the standard metric for an $(n-1)$-dimensional hyperbolic plane . It should be noted, however, that this specific coordinate system, like the PoincarĂ© patch, does not cover the entirety of AdS ; it describes only a particular “slice” of it. These FRW open slicing coordinates are connected to the global embedding coordinates $(X_i)$ through the following transformations:

$$\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}$$

Here, the terms ${\hat {x}}_{i}$ collectively parameterize an $(n-1)$-dimensional sphere , $S^{n-1}$, ensuring the correct spatial geometry.

De Sitter slicing

Another powerful way to slice and visualize anti-de Sitter space is through what is known as De Sitter slicing . This involves a specific set of coordinate transformations from the embedding space coordinates $(X_i)$ to a new set of coordinates $(\rho, t, \xi, \hat{x}_i)$. The transformations are given by:

$$\begin{aligned}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{aligned}$$

where the ${\hat {x}}_{i}$ terms collectively parameterize an $(n-3)$-dimensional sphere , $S^{n-3}$. With these specific transformations, the $\mathrm{AdS}_n$ metric takes on the following form:

$$ds^2 = d\rho^2 + \sinh^2\left({\frac {\rho }{\alpha }}\right)ds_{dS,\alpha,n-1}^2,$$

Here, $ds_{dS,\alpha,n-1}^2$ itself represents the metric of an $(n-1)$-dimensional de Sitter space with a radius of curvature $\alpha$, expressed in open slicing coordinates:

$$ds_{dS,\alpha,n-1}^2 = -dt^2 + \alpha^2 \sinh^2\left({\frac {t}{\alpha }}\right)dH_{n-2}^2$$

And the underlying hyperbolic metric $dH_{n-2}^2$ is given by:

$$dH_{n-2}^2 = d\xi^2 + \sinh^2(\xi)d\Omega_{n-3}^2.$$

This slicing technique reveals an intriguing nested structure, where anti-de Sitter space can be seen as composed of layers of de Sitter space , highlighting the deep interconnections between these fundamental cosmic geometries.

Geometric properties

An $\mathrm{AdS}_n$ metric, characterized by its radius $\alpha$, is not just any spacetime; it is, by definition, one of the maximally symmetric n-dimensional spacetimes. This inherent symmetry imbues it with a set of remarkably simple and elegant geometric properties, which are defined by its curvature tensors.

  • Riemann curvature tensor : This tensor, $R_{\mu\nu\alpha\beta}$, provides the most complete description of the curvature at any point in spacetime. For $\mathrm{AdS}_n$ , it is given by:

    $$R_{\mu\nu\alpha\beta} = \frac{-1}{\alpha^2}(g_{\mu\alpha}g_{\nu\beta} - g_{\mu\beta}g_{\nu\alpha})$$

    This compact form indicates that the curvature is constant and uniform throughout the space, a direct consequence of its maximal symmetry.

  • Ricci curvature : Derived from the Riemann tensor by a process of contraction, the Ricci curvature tensor, $R_{\mu\nu}$, describes how the volume of a ball of geodesics deviates from that in flat space. For $\mathrm{AdS}_n$ , it simplifies to:

    $$R_{\mu\nu} = \frac{-1}{\alpha^2}(n-1)g_{\mu\nu}$$

    This again shows the uniform nature of the curvature, directly proportional to the metric tensor itself.

  • Scalar curvature : The Ricci scalar , $R$, is the simplest measure of spacetime curvature, obtained by contracting the Ricci tensor . It is a single number representing the overall curvature at a point. For $\mathrm{AdS}_n$ , it is:

    $$R = \frac{-1}{\alpha^2}n(n-1)$$

    This constant negative value is the defining characteristic of anti-de Sitter space , confirming its inherent negative curvature across all its dimensions. These equations are, of course, a testament to its elegant mathematical structure, even if they induce headaches in mere mortals.

Generalization

The concept of maximally symmetric spaces with nonzero curvature can be broadly generalized. Any member of this distinguished family can be isometrically embedded into a higher-dimensional flat space, specifically $\mathbb{R}^{p+1,q}$. This ambient space is equipped with coordinates $(x_0, \ldots, x_p, y_1, \ldots, y_q)$ and its fundamental metric is defined as:

$$ds^2 = \sum_{i=0}^{p} dx_i^2 - \sum_{j=1}^{q} dy_j^2$$

Within this higher-dimensional flat space, the maximally symmetric space itself manifests as a quasi-sphere governed by the equation:

$$\sum_{i=0}^{p} x_i^2 - \sum_{j=1}^{q} y_j^2 = \alpha^2,$$

where $\alpha$ is a nonzero constant, representing the characteristic radius of curvature and possessing the dimensions of length. The metric on the embedded space is precisely that induced from the ambient metric . It is rigorously nondegenerate and possesses a signature of $(p, q)$, reflecting the number of positive and negative terms in its metric.

From this generalized construction, several important subfamilies of these spaces can be identified:

A space constructed in this manner inherently possesses $\mathrm{O}(p+1, q)$ as its isometry group , meaning this group of transformations preserves its geometric properties. Furthermore, such a space is always a symmetric space and can be formally constructed using the elegant principles of the quotient space construction, providing a unified mathematical framework for understanding these diverse and fundamental geometries.

Notes

  • ^ 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.

  • ^ a b 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).

  • ^ The metric is negative-definite in this formulation.