of the
hyperbolic plane by triangles and squares
Geometry of anti-de Sitter space In the AdS/CFT correspondence, one considers string theory or M-theory on an anti-de Sitter
background. This means that the geometry of spacetime is described in terms of a certain
vacuum solution of
Einstein's equation called
anti-de Sitter space. In very elementary terms, anti-de Sitter space is a mathematical model of spacetime in which the notion of distance between points (the
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
disk as illustrated on the right. 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. Now 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. It looks like a solid
cylinder in which any
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
curved in such a way that any point in the interior is actually infinitely far from this boundary surface. 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. This construction describes a hypothetical universe with only two space 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.
Idea of AdS/CFT 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, locally around any point, it looks just like
Minkowski space, the model of spacetime used in nongravitational physics. 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 the AdS/CFT correspondence, which states that the boundary of anti-de Sitter space can be regarded as the "spacetime" for a conformal field theory. The claim is that this conformal field theory is equivalent to the gravitational theory on the bulk anti-de Sitter space in the sense that there is a "dictionary" for translating calculations in one theory into calculations in the other. Every entity in one theory has a counterpart 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. is a two-dimensional image that stores information about all three dimensions of the object it represents. The two images here are photographs of a single hologram taken from different angles. Notice that the boundary of anti-de Sitter space has fewer dimensions than anti-de Sitter space itself. For instance, in the three-dimensional example illustrated above, the boundary is a two-dimensional surface. The AdS/CFT correspondence is often described as a "holographic duality" because this relationship between the two theories is similar to the relationship between a three-dimensional object and its image as a
hologram. Although a hologram is two-dimensional, it encodes information about all three dimensions of the object it represents. In the same way, theories that are related by the AdS/CFT correspondence are conjectured to be
exactly equivalent, despite living in different numbers of dimensions. The conformal field theory is like a hologram that captures information about the higher-dimensional quantum gravity theory.
Examples of the correspondence Following Maldacena's insight in 1997, theorists have discovered many different realizations of the AdS/CFT correspondence. These relate various conformal field theories to compactifications of string theory and M-theory in various numbers of dimensions. The theories involved are generally not viable models of the real world, but they have certain features, such as their particle content or high degree of symmetry, which make them useful for solving problems in quantum field theory and quantum gravity. The most famous example of the AdS/CFT correspondence states that
type IIB string theory on the
product space is equivalent to
N = 4 supersymmetric Yang–Mills theory on the four-dimensional boundary. In this example, the spacetime on which the gravitational theory lives is effectively five-dimensional (hence the notation AdS5), and there are five additional
compact dimensions (encoded by the
S5 factor). In the real world, spacetime is four-dimensional, at least macroscopically, so this version of the correspondence does not provide a realistic model of gravity. Likewise, the dual theory is not a viable model of any real-world system as it assumes a large amount of
supersymmetry. Nevertheless, as explained below, this boundary theory shares some features in common with
quantum chromodynamics, the fundamental theory of the
strong force. It describes particles similar to the
gluons of quantum chromodynamics together with certain
fermions. As a result, it has found applications in
nuclear physics, particularly in the study of the
quark–gluon plasma. Another realization of the correspondence states that M-theory on is equivalent to the so-called
(2,0)-theory in six dimensions. In this example, the spacetime of the gravitational theory is effectively seven-dimensional. The existence of the (2,0)-theory that appears on one side of the duality is predicted by the classification of
superconformal field theories. It is still poorly understood because it is a quantum mechanical theory without a
classical limit. Despite the inherent difficulty in studying this theory, it is considered to be an interesting object for a variety of reasons, both physical and mathematical. Yet another realization of the correspondence states that M-theory on is equivalent to the
ABJM superconformal field theory in three dimensions. Here the gravitational theory has four noncompact dimensions, so this version of the correspondence provides a somewhat more realistic description of gravity. == Applications to quantum gravity ==