fbpx
Wikipedia

Anti-de Sitter space

In mathematics and physics, n-dimensional anti-de Sitter space (AdSn) is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and 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 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 Sitter space, doing so in 1963.[1][2][3]

Three-dimensional anti-de Sitter space is like a stack of hyperbolic disks, each one representing the state of the universe at a given time. The resulting spacetime looks like a solid cylinder.

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) 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 Sitter space (positive), Minkowski space (zero), and anti-de Sitter space (negative). As such, they are exact solutions of the Einstein field equations for an empty universe with a positive, zero, or negative cosmological constant, respectively.

Anti-de 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 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 Sitter space, with one additional (non-compact) dimension.

Non-technical explanation edit

Technical terms translated edit

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 spacelike, lightlike or timelike. The space of special relativity (Minkowski space) is an example.

A 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 edit

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. Energy and mass are equivalent (as expressed in the equation E = mc2). Space and time values can be converted into time or 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 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 Newtonian equation of gravity   (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 every-day life is the huge value of the speed of light (c = 300000 km/s approximately), which makes us perceive space and time as different entities.

De Sitter space in general relativity edit

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[4] diverging, with spacelike sections having positive curvature.

Anti-de Sitter space distinguished from de Sitter space edit

An anti-de Sitter space in general relativity is similar to a de Sitter space, except with the sign of the spacetime curvature changed. In anti-de 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[4] eventually intersect. This corresponds to a negative cosmological constant, where empty space itself has negative energy density but positive pressure, unlike the standard ΛCDM model of our own universe for which observations of distant supernovae indicate a positive cosmological constant corresponding to (asymptotic) de Sitter space.

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

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

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 Sitter and anti-de 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 edit

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 Sitter space and anti-de Sitter space above. The mathematical description of anti-de 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 edit

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 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 in a timelike direction is negative.

 
Image of (1 + 1)-dimensional anti-de Sitter space embedded in flat (1 + 2)-dimensional space. The t1- and t2-axes lie in the plane of rotational symmetry, and the x1-axis is normal to that plane. The embedded surface contains closed timelike curves circling the x1 axis, though these can be eliminated by "unrolling" the embedding (more precisely, by taking the universal cover).

The anti-de Sitter space of signature (p, q) can then be isometrically embedded in the space   with coordinates (x1, ..., xp, t1, ..., tq+1) and the metric

 

as the quasi-sphere

 

where   is a nonzero constant with dimensions of length (the 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 Sitter space is that induced from the ambient metric. It is nondegenerate and, in the case of q = 1 has Lorentzian signature.

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

Closed timelike curves and the universal cover edit

When q ≥ 1, the embedding above has closed timelike curves; for example, the path parameterized by   and all other coordinates zero, is such a curve. When 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 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 Sitter space as equivalent to the embedded quasi-sphere itself, while others define it as equivalent to the universal cover of the embedding.

Symmetries edit

If the universal cover is not taken, (p, q) anti-de Sitter space has O(p, q + 1) as its isometry group. If the universal cover is taken the isometry group is a cover of O(p, q + 1). This is most easily understood by defining anti-de Sitter space as a symmetric space, using the quotient space construction, given below.

Instability edit

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.[5] 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).[6][7]

Coordinate patches edit

A coordinate patch covering part of the space gives the half-space coordinatization of anti-de Sitter space. The metric tensor for this patch is

 

with   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 spaces in the Poincaré half-space metric. In the limit as  , this half-space metric is conformally equivalent to the Minkowski metric  . Thus, the anti-de 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 conditions associated with the conformal infinity.

 
The "half-space" region of anti-de Sitter space and its boundary.

Another commonly used coordinate system which covers the entire space is given by the coordinates t,   and the hyper-polar coordinates α, θ and φ.

 

The adjacent image represents the "half-space" region of anti-de Sitter space and its boundary. The interior of the cylinder corresponds to anti-de 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 edit

In the same way that the 2-sphere

 

is a quotient of two orthogonal groups, anti-de Sitter with parity (reflectional symmetry) and time reversal symmetry can be seen as a quotient of two generalized orthogonal groups

 

whereas AdS without P or C can be seen as the quotient

 

of spin groups.

This quotient formulation gives   the structure of a homogeneous space. The Lie algebra of the generalized orthogonal group   is given by matrices

 ,

where   is a skew-symmetric matrix. A complementary generator in the Lie algebra of   is

 

These two fulfill  . Explicit matrix computation shows that   and  . Thus, anti-de Sitter is a reductive homogeneous space, and a non-Riemannian symmetric space.

An overview of AdS spacetime in physics and its properties edit

  is an n-dimensional vacuum solution for the theory of gravitation with Einstein–Hilbert action with negative cosmological constant  , ( ), i.e. the theory described by the following Lagrangian density:

 ,

where G(n) is the gravitational constant in n-dimensional spacetime. Therefore, it is a solution of the Einstein field equations:

 

where   is Einstein tensor and   is the metric of the spacetime. Introducing the radius   as   this solution can be immersed in a  -dimensional flat spacetime with the metric   in coordinates   by the following constraint:

 

Global coordinates edit

 is parametrized in global coordinates by the parameters   as:

 ,

where   parametrize a   sphere, and in terms of the coordinates   they are  ,  ,   and so on. The   metric in these coordinates is:

 

where   and  . Considering the periodicity of time   and in order to avoid closed timelike curves (CTC), one should take the universal cover  . In the limit   one can approach to the boundary of this spacetime usually called   conformal boundary.

With the transformations   and   we can have the usual   metric in global coordinates:

 

where  

Poincaré coordinates edit

By the following parametrization:

 

the   metric in the Poincaré coordinates is:

 

in which  . The codimension 2 surface   is the Poincaré Killing horizon and   approaches to the boundary of   spacetime. So unlike the global coordinates, the Poincaré coordinates do not cover all   manifold. Using   this metric can be written in the following way:

 

where  . By the transformation   also it can be written as:

 

This latter coordinates are the coordinates which are usually used in AdS/CFT correspondence, with the boundary of AdS at  .

FRW open slicing coordinates edit

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

 

where   is the standard metric on the  -dimensional hyperbolic plane. Of course, this does not cover all of AdS. These coordinates are related to the global embedding coordinates by

 

where   parameterize the  .

de Sitter slicing edit

Let

 

where   parameterize the  . Then the metric reads:

 

where

 

is the metric of an   dimensional de Sitter space with radius of curvature   in open slicing coordinates. The hyperbolic metric is given by:

 

Geometric properties edit

  metric with radius   is one of the maximal symmetric n-dimensional spacetimes. It has the following geometric properties:

Riemann curvature tensor
 
Ricci curvature
 
Scalar curvature
 

References edit

  1. ^ Dirac, Paul (1963). "A Remarkable Representation of the 3 + 2 de Sitter Group". Journal of Mathematical Physics. 4. AIP Publishing: 901–909.
  2. ^ Dobrev, Vladimir K. (2016-09-12), "Case of the Anti-de Sitter Group", 5. Case of the Anti-de Sitter Group, De Gruyter, pp. 162–187, doi:10.1515/9783110427646-006/html?lang=en, ISBN 978-3-11-042764-6, retrieved 2023-11-01
  3. ^ "singleton representation in nLab". ncatlab.org. Retrieved 2023-11-01.
  4. ^ 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).
  5. ^ Bizoń, Piotr; Rostworowski, Andrzej (2011). "Weakly Turbulent Instability of Anti-de Sitter Spacetime". Physical Review Letters. 107 (3): 031102. arXiv:1104.3702. Bibcode:2011PhRvL.107c1102B. doi:10.1103/PhysRevLett.107.031102. PMID 21838346. S2CID 31556930.
  6. ^ "Black Holes Help Prove That a Special Kind of Space-Time Is Unstable". Quanta Magazine. 2020. Retrieved 14 May 2020.
  7. ^ Moschidis, Georgios (2018). "A proof of the instability of AdS for the Einstein–massless Vlasov system". arXiv:1812.04268 [math.AP].
  • Bengtsson, Ingemar (1998). "Anti-de Sitter space" (PDF). {{cite journal}}: Cite journal requires |journal= (help)
  • Qingming Cheng (2001) [1994], "Anti-de Sitter space", Encyclopedia of Mathematics, EMS Press
  • Ellis, G. F. R.; Hawking, S. W. (1973), The large scale structure of space-time, Cambridge University Press, pp. 131–134
  • Frances, C. (2005). "The conformal boundary of anti-de Sitter space-times". AdS/CFT correspondence: Einstein metrics and their conformal boundaries. IRMA Lectures in Mathematics and Theoretical Physics. Vol. 8. Zürich: European Mathematical Society. pp. 205–216. doi:10.4171/013-1/8. ISBN 978-3-03719-013-5.
  • Matsuda, H. (1984). "A note on an isometric imbedding of upper half-space into the anti-de Sitter space" (PDF). Hokkaido Mathematical Journal. 13 (2): 123–132. doi:10.14492/hokmj/1381757712. Retrieved 2017-02-04.
  • Wolf, Joseph A. (1967). Spaces of Constant Curvature. p. 334.

External links edit

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

anti, sitter, space, redirects, here, other, uses, disambiguation, this, article, includes, list, references, related, reading, external, links, sources, remain, unclear, because, lacks, inline, citations, please, help, improve, this, article, introducing, mor. AdS redirects here For other uses see ADS disambiguation This article includes a list of references related reading or external links but its sources remain unclear because it lacks inline citations Please help improve this article by introducing more precise citations June 2016 Learn how and when to remove this message In mathematics and physics n dimensional anti de Sitter space AdSn is a maximally symmetric Lorentzian manifold with constant negative scalar curvature Anti de Sitter space and 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 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 Sitter space doing so in 1963 1 2 3 Three dimensional anti de Sitter space is like a stack of hyperbolic disks each one representing the state of the universe at a given time The resulting spacetime looks like a solid cylinder 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 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 Sitter space positive Minkowski space zero and anti de Sitter space negative As such they are exact solutions of the Einstein field equations for an empty universe with a positive zero or negative cosmological constant respectively Anti de 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 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 Sitter space with one additional non compact dimension Contents 1 Non technical explanation 1 1 Technical terms translated 1 2 Spacetime in general relativity 1 3 De Sitter space in general relativity 1 4 Anti de Sitter space distinguished from de Sitter space 1 5 De Sitter space and anti de Sitter space viewed as embedded in five dimensions 1 6 Caveats 2 Definition and properties 2 1 Closed timelike curves and the universal cover 2 2 Symmetries 2 3 Instability 3 Coordinate patches 4 As a homogeneous symmetric space 5 An overview of AdS spacetime in physics and its properties 5 1 Global coordinates 5 2 Poincare coordinates 5 3 FRW open slicing coordinates 5 4 de Sitter slicing 5 5 Geometric properties 6 References 7 External linksNon technical explanation editTechnical terms translated edit 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 spacelike lightlike or timelike The space of special relativity Minkowski space is an example A 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 edit 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 Energy and mass are equivalent as expressed in the equation E mc2 Space and time values can be converted into time or 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 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 Newtonian equation of gravity F G m 1 m 2 r 2 displaystyle textstyle F G frac m 1 m 2 r 2 nbsp 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 amp 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 every day life is the huge value of the speed of light c 300000 km s approximately which makes us perceive space and time as different entities De Sitter space in general relativity edit 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 4 diverging with spacelike sections having positive curvature Anti de Sitter space distinguished from de Sitter space edit An anti de Sitter space in general relativity is similar to a de Sitter space except with the sign of the spacetime curvature changed In anti de 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 4 eventually intersect This corresponds to a negative cosmological constant where empty space itself has negative energy density but positive pressure unlike the standard LCDM model of our own universe for which observations of distant supernovae indicate a positive cosmological constant corresponding to asymptotic de Sitter space In an anti de Sitter space as in a de Sitter space the inherent spacetime curvature corresponds to the cosmological constant De Sitter space and anti de Sitter space viewed as embedded in five dimensions edit 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 Sitter and anti de 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 edit 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 Sitter space and anti de Sitter space above The mathematical description of anti de 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 editMuch 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 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 in a timelike direction is negative nbsp Image of 1 1 dimensional anti de Sitter space embedded in flat 1 2 dimensional space The t1 and t2 axes lie in the plane of rotational symmetry and the x1 axis is normal to that plane The embedded surface contains closed timelike curves circling the x1 axis though these can be eliminated by unrolling the embedding more precisely by taking the universal cover The anti de Sitter space of signature p q can then be isometrically embedded in the space R p q 1 displaystyle mathbb R p q 1 nbsp with coordinates x1 xp t1 tq 1 and the metric d s 2 i 1 p d x i 2 j 1 q 1 d t j 2 displaystyle ds 2 sum i 1 p dx i 2 sum j 1 q 1 dt j 2 nbsp as the quasi sphere i 1 p x i 2 j 1 q 1 t j 2 a 2 displaystyle sum i 1 p x i 2 sum j 1 q 1 t j 2 alpha 2 nbsp where a displaystyle alpha nbsp is a nonzero constant with dimensions of length the 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 Sitter space is that induced from the ambient metric It is nondegenerate and in the case of q 1 has Lorentzian signature When q 0 this construction gives a standard hyperbolic space The remainder of the discussion applies when q 1 Closed timelike curves and the universal cover edit When q 1 the embedding above has closed timelike curves for example the path parameterized by t 1 a sin t t 2 a cos t displaystyle t 1 alpha sin tau t 2 alpha cos tau nbsp and all other coordinates zero is such a curve When 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 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 Sitter space as equivalent to the embedded quasi sphere itself while others define it as equivalent to the universal cover of the embedding Symmetries edit If the universal cover is not taken p q anti de Sitter space has O p q 1 as its isometry group If the universal cover is taken the isometry group is a cover of O p q 1 This is most easily understood by defining anti de Sitter space as a symmetric space using the quotient space construction given below Instability edit 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 5 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 6 7 Coordinate patches editA coordinate patch covering part of the space gives the half space coordinatization of anti de Sitter space The metric tensor for this patch is d s 2 1 y 2 d t 2 d y 2 i d x i 2 displaystyle ds 2 frac 1 y 2 left dt 2 dy 2 sum i dx i 2 right nbsp with y gt 0 displaystyle y gt 0 nbsp 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 spaces in the Poincare half space metric In the limit as y 0 displaystyle y to 0 nbsp this half space metric is conformally equivalent to the Minkowski metric d s 2 d t 2 i d x i 2 textstyle ds 2 dt 2 sum i dx i 2 nbsp Thus the anti de 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 conditions associated with the conformal infinity nbsp The half space region of anti de Sitter space and its boundary Another commonly used coordinate system which covers the entire space is given by the coordinates t r 0 displaystyle r geqslant 0 nbsp and the hyper polar coordinates a 8 and f d s 2 k 2 r 2 1 d t 2 1 k 2 r 2 1 d r 2 r 2 d W 2 displaystyle ds 2 left k 2 r 2 1 right dt 2 frac 1 k 2 r 2 1 dr 2 r 2 d Omega 2 nbsp The adjacent image represents the half space region of anti de Sitter space and its boundary The interior of the cylinder corresponds to anti de 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 editIn the same way that the 2 sphere S 2 O 3 O 2 displaystyle S 2 frac mathrm O 3 mathrm O 2 nbsp is a quotient of two orthogonal groups anti de Sitter with parity reflectional symmetry and time reversal symmetry can be seen as a quotient of two generalized orthogonal groups A d S n O 2 n 1 O 1 n 1 displaystyle mathrm AdS n frac mathrm O 2 n 1 mathrm O 1 n 1 nbsp whereas AdS without P or C can be seen as the quotient S p i n 2 n 1 S p i n 1 n 1 displaystyle frac mathrm Spin 2 n 1 mathrm Spin 1 n 1 nbsp of spin groups This quotient formulation gives A d S n displaystyle mathrm AdS n nbsp the structure of a homogeneous space The Lie algebra of the generalized orthogonal group o 1 n displaystyle o 1 n nbsp is given by matrices H 0 0 0 0 0 v t 0 v B displaystyle mathcal H begin pmatrix begin matrix 0 amp 0 0 amp 0 end matrix amp begin pmatrix cdots 0 cdots leftarrow v t rightarrow end pmatrix begin pmatrix vdots amp uparrow 0 amp v vdots amp downarrow end pmatrix amp B end pmatrix nbsp where B displaystyle B nbsp is a skew symmetric matrix A complementary generator in the Lie algebra of G o 2 n displaystyle mathcal G mathrm o 2 n nbsp is Q 0 a a 0 w t 0 w 0 0 displaystyle mathcal Q begin pmatrix begin matrix 0 amp a a amp 0 end matrix amp begin pmatrix leftarrow w t rightarrow cdots 0 cdots end pmatrix begin pmatrix uparrow amp vdots w amp 0 downarrow amp vdots end pmatrix amp 0 end pmatrix nbsp These two fulfill G H Q displaystyle mathcal G mathcal H oplus mathcal Q nbsp Explicit matrix computation shows that H Q Q displaystyle mathcal H mathcal Q subseteq mathcal Q nbsp and Q Q H displaystyle mathcal Q mathcal Q subseteq mathcal H nbsp Thus anti de Sitter is a reductive homogeneous space and a non Riemannian symmetric space An overview of AdS spacetime in physics and its properties editA d S n displaystyle mathrm AdS n nbsp is an n dimensional vacuum solution for the theory of gravitation with Einstein Hilbert action with negative cosmological constant L displaystyle Lambda nbsp L lt 0 displaystyle Lambda lt 0 nbsp i e the theory described by the following Lagrangian density L 1 16 p G n R 2 L displaystyle mathcal L frac 1 16 pi G n R 2 Lambda nbsp where G n is the gravitational constant in n dimensional spacetime Therefore it is a solution of the Einstein field equations G m n L g m n 0 displaystyle G mu nu Lambda g mu nu 0 nbsp where G m n displaystyle G mu nu nbsp is Einstein tensor and g m n displaystyle g mu nu nbsp is the metric of the spacetime Introducing the radius a displaystyle alpha nbsp as L n 1 n 2 2 a 2 textstyle Lambda frac n 1 n 2 2 alpha 2 nbsp this solution can be immersed in a n 1 displaystyle n 1 nbsp dimensional flat spacetime with the metric d i a g 1 1 1 1 displaystyle mathrm diag 1 1 1 ldots 1 nbsp in coordinates X 1 X 2 X 3 X n 1 displaystyle X 1 X 2 X 3 ldots X n 1 nbsp by the following constraint X 1 2 X 2 2 i 3 n 1 X i 2 a 2 displaystyle X 1 2 X 2 2 sum i 3 n 1 X i 2 alpha 2 nbsp Global coordinates edit A d S n displaystyle mathrm AdS n nbsp is parametrized in global coordinates by the parameters t r 8 f 1 f n 3 displaystyle tau rho theta varphi 1 cdots varphi n 3 nbsp as X 1 a cosh r cos t X 2 a cosh r sin t X i a sinh r x i i x i 2 1 displaystyle 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 nbsp where x i displaystyle hat x i nbsp parametrize a S n 2 displaystyle S n 2 nbsp sphere and in terms of the coordinates f i displaystyle varphi i nbsp they are x 1 sin 8 sin f 1 sin f n 3 displaystyle hat x 1 sin theta sin varphi 1 cdots sin varphi n 3 nbsp x 2 sin 8 sin f 1 cos f n 3 displaystyle hat x 2 sin theta sin varphi 1 cdots cos varphi n 3 nbsp x 3 sin 8 sin f 1 cos f n 2 displaystyle hat x 3 sin theta sin varphi 1 cdots cos varphi n 2 nbsp and so on The A d S n displaystyle mathrm AdS n nbsp metric in these coordinates is d s 2 a 2 cosh 2 r d t 2 d r 2 sinh 2 r d W n 2 2 displaystyle ds 2 alpha 2 left cosh 2 rho d tau 2 d rho 2 sinh 2 rho d Omega n 2 2 right nbsp where t 0 2 p displaystyle tau in 0 2 pi nbsp and r R displaystyle rho in mathbb R nbsp Considering the periodicity of time t displaystyle tau nbsp and in order to avoid closed timelike curves CTC one should take the universal cover t R displaystyle tau in mathbb R nbsp In the limit r displaystyle rho to infty nbsp one can approach to the boundary of this spacetime usually called A d S n displaystyle mathrm AdS n nbsp conformal boundary With the transformations r a sinh r displaystyle r equiv alpha sinh rho nbsp and t a t displaystyle t equiv alpha tau nbsp we can have the usual A d S n displaystyle mathrm AdS n nbsp metric in global coordinates d s 2 f r d t 2 1 f r d r 2 r 2 d W n 2 2 displaystyle ds 2 f r dt 2 frac 1 f r dr 2 r 2 d Omega n 2 2 nbsp where f r 1 r 2 a 2 displaystyle f r 1 frac r 2 alpha 2 nbsp Poincare coordinates edit By the following parametrization X 1 a 2 2 r 1 r 2 a 4 a 2 x 2 t 2 X 2 r a t X i r a x i i 3 n X n 1 a 2 2 r 1 r 2 a 4 a 2 x 2 t 2 displaystyle 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 nbsp the A d S n displaystyle mathrm AdS n nbsp metric in the Poincare coordinates is d s 2 r 2 a 2 d t 2 a 2 r 2 d r 2 r 2 a 2 d x 2 displaystyle 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 nbsp in which 0 r displaystyle 0 leq r nbsp The codimension 2 surface r 0 displaystyle r 0 nbsp is the Poincare Killing horizon and r displaystyle r to infty nbsp approaches to the boundary of A d S n displaystyle mathrm AdS n nbsp spacetime So unlike the global coordinates the Poincare coordinates do not cover all A d S n displaystyle mathrm AdS n nbsp manifold Using u r a 2 displaystyle u equiv frac r alpha 2 nbsp this metric can be written in the following way d s 2 a 2 d u 2 u 2 u 2 d x m d x m displaystyle ds 2 alpha 2 left frac du 2 u 2 u 2 dx mu dx mu right nbsp where x m t x displaystyle x mu left t vec x right nbsp By the transformation z 1 u displaystyle z equiv frac 1 u nbsp also it can be written as d s 2 a 2 z 2 d z 2 d x m d x m displaystyle ds 2 frac alpha 2 z 2 left dz 2 dx mu dx mu right nbsp This latter coordinates are the coordinates which are usually used in AdS CFT correspondence with the boundary of AdS at z 0 displaystyle z to 0 nbsp FRW open slicing coordinates edit Since AdS is maximally symmetric it is also possible to cast it in a spatially homogeneous and isotropic form like FRW spacetimes see Friedmann Lemaitre Robertson Walker metric The spatial geometry must be negatively curved open and the metric is d s 2 d t 2 a 2 sin 2 t a d H n 1 2 displaystyle ds 2 dt 2 alpha 2 sin 2 t alpha dH n 1 2 nbsp where d H n 1 2 d r 2 sinh 2 r d W n 2 2 displaystyle dH n 1 2 d rho 2 sinh 2 rho d Omega n 2 2 nbsp is the standard metric on the n 1 displaystyle n 1 nbsp dimensional hyperbolic plane Of course this does not cover all of AdS These coordinates are related to the global embedding coordinates by X 1 a cos t a X 2 a sin t a cosh r X i a sin t a sinh r x i 3 i n 1 displaystyle 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 nbsp where i x i 2 1 displaystyle sum i hat x i 2 1 nbsp parameterize the S n 3 displaystyle S n 3 nbsp de Sitter slicing edit Let X 1 a sinh r a sinh t a cosh 3 X 2 a cosh r a X 3 a sinh r a cosh t a X i a sinh r a sinh t a sinh 3 x i 4 i n 1 displaystyle begin aligned X 1 amp alpha sinh left frac rho alpha right sinh left frac t alpha right cosh xi X 2 amp alpha cosh left frac rho alpha right X 3 amp alpha sinh left frac rho alpha right cosh left frac t alpha right X i amp 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 nbsp where i x i 2 1 displaystyle sum i hat x i 2 1 nbsp parameterize the S n 3 displaystyle S n 3 nbsp Then the metric reads d s 2 d r 2 sinh 2 r a d s d S a n 1 2 displaystyle ds 2 d rho 2 sinh 2 left frac rho alpha right ds dS alpha n 1 2 nbsp where d s d S a n 1 2 d t 2 a 2 sinh 2 t a d H n 2 2 displaystyle ds dS alpha n 1 2 dt 2 alpha 2 sinh 2 left frac t alpha right dH n 2 2 nbsp is the metric of an n 1 displaystyle n 1 nbsp dimensional de Sitter space with radius of curvature a displaystyle alpha nbsp in open slicing coordinates The hyperbolic metric is given by d H n 2 2 d 3 2 sinh 2 3 d W n 3 2 displaystyle dH n 2 2 d xi 2 sinh 2 xi d Omega n 3 2 nbsp Geometric properties edit A d S n displaystyle mathrm AdS n nbsp metric with radius a displaystyle alpha nbsp is one of the maximal symmetric n dimensional spacetimes It has the following geometric properties Riemann curvature tensor R m n a b 1 a 2 g m a g n b g m b g n a displaystyle R mu nu alpha beta frac 1 alpha 2 g mu alpha g nu beta g mu beta g nu alpha nbsp Ricci curvature R m n n 1 a 2 g m n displaystyle R mu nu frac n 1 alpha 2 g mu nu nbsp Scalar curvature R n n 1 a 2 displaystyle R frac n n 1 alpha 2 nbsp References edit Dirac Paul 1963 A Remarkable Representation of the 3 2 de Sitter Group Journal of Mathematical Physics 4 AIP Publishing 901 909 Dobrev Vladimir K 2016 09 12 Case of the Anti de Sitter Group 5 Case of the Anti de Sitter Group De Gruyter pp 162 187 doi 10 1515 9783110427646 006 html lang en ISBN 978 3 11 042764 6 retrieved 2023 11 01 singleton representation in nLab ncatlab org Retrieved 2023 11 01 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 Bizon Piotr Rostworowski Andrzej 2011 Weakly Turbulent Instability of Anti de Sitter Spacetime Physical Review Letters 107 3 031102 arXiv 1104 3702 Bibcode 2011PhRvL 107c1102B doi 10 1103 PhysRevLett 107 031102 PMID 21838346 S2CID 31556930 Black Holes Help Prove That a Special Kind of Space Time Is Unstable Quanta Magazine 2020 Retrieved 14 May 2020 Moschidis Georgios 2018 A proof of the instability of AdS for the Einstein massless Vlasov system arXiv 1812 04268 math AP Bengtsson Ingemar 1998 Anti de Sitter space PDF a href Template Cite journal html title Template Cite journal cite journal a Cite journal requires journal help Qingming Cheng 2001 1994 Anti de Sitter space Encyclopedia of Mathematics EMS Press Ellis G F R Hawking S W 1973 The large scale structure of space time Cambridge University Press pp 131 134 Frances C 2005 The conformal boundary of anti de Sitter space times AdS CFT correspondence Einstein metrics and their conformal boundaries IRMA Lectures in Mathematics and Theoretical Physics Vol 8 Zurich European Mathematical Society pp 205 216 doi 10 4171 013 1 8 ISBN 978 3 03719 013 5 Matsuda H 1984 A note on an isometric imbedding of upper half space into the anti de Sitter space PDF Hokkaido Mathematical Journal 13 2 123 132 doi 10 14492 hokmj 1381757712 Retrieved 2017 02 04 Wolf Joseph A 1967 Spaces of Constant Curvature p 334 External links editSimplified 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 Portals nbsp Mathematics nbsp Physics nbsp Astronomy nbsp Stars nbsp Spaceflight nbsp Outer space nbsp Science Retrieved from https en wikipedia org w index php title Anti de Sitter space amp oldid 1186150257, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.