Editing String theory (section)

=== Overview of the correspondence ===

[[Image:Uniform tiling 433-t0 (formatted).svg|thumb|left|alt=A disk tiled by triangles and quadrilaterals which become smaller and smaller near the boundary circle.|A [[tessellation]] of the [[hyperbolic plane]] [[tritetragonal tiling|by triangles and squares]]]]

In the AdS/CFT correspondence, the geometry of spacetime is described in terms of a certain [[vacuum solution]] of [[Einstein's equation]] called [[anti-de Sitter space]].<ref name="Klebanov and Maldacena 2009"/> In very elementary terms, anti-de Sitter space is a mathematical model of spacetime in which the notion of distance between points (the [[metric tensor|metric]]) is different from the notion of distance in ordinary [[Euclidean geometry]]. It is closely related to [[hyperbolic space]], which can be viewed as a [[Poincaré disk model|disk]] as illustrated on the left.<ref name="Maldacena 2005, p. 60">[[#Maldacena2005|Maldacena 2005]], p. 60</ref> This image shows a [[tessellation]] of a disk by triangles and squares. One can define the distance between points of this disk in such a way that all the triangles and squares are the same size and the circular outer boundary is infinitely far from any point in the interior.<ref name="Maldacena 2005, p. 61">[[#Maldacena2005|Maldacena 2005]], p. 61</ref>

One can imagine a stack of hyperbolic disks where each disk represents the state of the universe at a given time. The resulting geometric object is three-dimensional anti-de Sitter space.<ref name="Maldacena 2005, p. 60"/> It looks like a solid [[cylinder (geometry)|cylinder]] in which any [[cross section (geometry)|cross section]] is a copy of the hyperbolic disk. Time runs along the vertical direction in this picture. The surface of this cylinder plays an important role in the AdS/CFT correspondence. As with the hyperbolic plane, anti-de Sitter space is [[curvature|curved]] in such a way that any point in the interior is actually infinitely far from this boundary surface.<ref name="Maldacena 2005, p. 61"/>

[[File:AdS3.svg|thumb|right|alt=A cylinder formed by stacking copies of the disk illustrated in the previous figure.|upright=1.6|Three-dimensional [[anti-de Sitter space]] is like a stack of [[Poincaré disk model|hyperbolic disks]], each one representing the state of the universe at a given time. The resulting [[spacetime]] looks like a solid [[cylinder (geometry)|cylinder]].]]

This construction describes a hypothetical universe with only two space dimensions and one time dimension, but it can be generalized to any number of dimensions. Indeed, hyperbolic space can have more than two dimensions and one can "stack up" copies of hyperbolic space to get higher-dimensional models of anti-de Sitter space.<ref name="Maldacena 2005, p. 60"/>

An important feature of anti-de Sitter space is its boundary (which looks like a cylinder in the case of three-dimensional anti-de Sitter space). One property of this boundary is that, within a small region on the surface around any given point, it looks just like [[Minkowski space]], the model of spacetime used in non-gravitational physics.<ref>[[#Zwiebach|Zwiebach]], p. 552</ref> One can therefore consider an auxiliary theory in which "spacetime" is given by the boundary of anti-de Sitter space. This observation is the starting point for AdS/CFT correspondence, which states that the boundary of anti-de Sitter space can be regarded as the "spacetime" for a quantum field theory. The claim is that this quantum field theory is equivalent to a gravitational theory, such as string theory, in the bulk anti-de Sitter space in the sense that there is a "dictionary" for translating entities and calculations in one theory into their counterparts in the other theory. For example, a single particle in the gravitational theory might correspond to some collection of particles in the boundary theory. In addition, the predictions in the two theories are quantitatively identical so that if two particles have a 40 percent chance of colliding in the gravitational theory, then the corresponding collections in the boundary theory would also have a 40 percent chance of colliding.<ref>[[#Maldacena2005|Maldacena 2005]], pp. 61–62</ref>