Eleven-dimensional Supergravity
   HOME

TheInfoList



OR:

In
supersymmetry Supersymmetry is a Theory, theoretical framework in physics that suggests the existence of a symmetry between Particle physics, particles with integer Spin (physics), spin (''bosons'') and particles with half-integer spin (''fermions''). It propo ...
, eleven-dimensional supergravity is the theory of
supergravity In theoretical physics, supergravity (supergravity theory; SUGRA for short) is a modern field theory that combines the principles of supersymmetry and general relativity; this is in contrast to non-gravitational supersymmetric theories such as ...
in the highest number of
dimension In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
s allowed for a supersymmetric theory. It contains a
graviton In theories of quantum gravity, the graviton is the hypothetical elementary particle that mediates the force of gravitational interaction. There is no complete quantum field theory of gravitons due to an outstanding mathematical problem with re ...
, a
gravitino In supergravity theories combining general relativity and supersymmetry, the gravitino () is the gauge fermion supersymmetric partner of the hypothesized graviton. It has been suggested as a candidate for dark matter. If it exists, it is a f ...
, and a 3-form gauge field, with their interactions uniquely fixed by supersymmetry. Discovered in 1978 by Eugène Cremmer, Bernard Julia, and Joël Scherk, it quickly became a popular candidate for a
theory of everything A theory of everything (TOE), final theory, ultimate theory, unified field theory, or master theory is a hypothetical singular, all-encompassing, coherent theoretical physics, theoretical framework of physics that fully explains and links togeth ...
during the 1980s. However, interest in it soon faded due to numerous difficulties that arise when trying to construct physically realistic models. It came back to prominence in the mid-1990s when it was found to be the low energy limit of
M-theory In physics, M-theory is a theory that unifies all Consistency, consistent versions of superstring theory. Edward Witten first conjectured the existence of such a theory at a string theory conference at the University of Southern California in 1 ...
, making it crucial for understanding various aspects of
string theory In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called strings. String theory describes how these strings propagate through space and intera ...
.


History

Supergravity was discovered in 1976 through the construction of pure four-dimensional supergravity with one gravitino. One important direction in the supergravity program was to try to construct four-dimensional \mathcal N = 8 supergravity since this was an attractive candidate for a theory of everything, stemming from the fact that it unifies
particle In the physical sciences, a particle (or corpuscle in older texts) is a small localized object which can be described by several physical or chemical properties, such as volume, density, or mass. They vary greatly in size or quantity, from s ...
s of all physically admissible
spins The spins (as in having "the spins") is an adverse reaction of Substance intoxication, intoxication that causes a state of vertigo and nausea, causing one to feel as if "spinning out of control", especially when lying down. It is most commonly as ...
into a single
multiplet In physics and particularly in particle physics, a multiplet is the state space for 'internal' degrees of freedom of a particle; that is, degrees of freedom associated to a particle itself, as opposed to 'external' degrees of freedom such as th ...
. The theory may additionally be UV finite.
Werner Nahm Werner Nahm (; born 21 March 1949) is a German theoretical physicist. He has made contributions to mathematical physics and fundamental theoretical physics. Life and work Werner Nahm attended Gymnasium Philippinum Weilburg. After high sch ...
showed in 1978 that supersymmetry with spin less than or equal to two is only possible in eleven dimensions or lower. Motivated by this, eleven-dimensional supergravity was constructed by Eugène Cremmer, Bernard Julia, and Joël Scherk later the same year, with the aim of dimensionally reducing it to four dimensions to acquire the \mathcal N = 8 theory, which was done in 1979. During the 1980s, 11D supergravity was of great interest in its own right as a possible fundamental theory of nature. This began in 1980 when Peter Freund and Mark Ruben showed that supergravity compactifies preferentially to four or seven dimensions when using a background where the
field strength tensor In electromagnetism, the electromagnetic tensor or electromagnetic field tensor (sometimes called the field strength tensor, Faraday tensor or Maxwell bivector) is a mathematical object that describes the electromagnetic field in spacetime. Th ...
is turned on. Additionally,
Edward Witten Edward Witten (born August 26, 1951) is an American theoretical physics, theoretical physicist known for his contributions to string theory, topological quantum field theory, and various areas of mathematics. He is a professor emeritus in the sc ...
argued in 1981 that eleven dimensions are also the minimum number of dimensions needed to acquire the
Standard Model The Standard Model of particle physics is the Scientific theory, theory describing three of the four known fundamental forces (electromagnetism, electromagnetic, weak interaction, weak and strong interactions – excluding gravity) in the unive ...
gauge group A gauge group is a group of gauge symmetries of the Yang–Mills gauge theory of principal connections on a principal bundle. Given a principal bundle P\to X with a structure Lie group G, a gauge group is defined to be a group of its vertical ...
, assuming that this arises as subgroup of the
isometry group In mathematics, the isometry group of a metric space is the set of all bijective isometries (that is, bijective, distance-preserving maps) from the metric space onto itself, with the function composition as group operation. Its identity element ...
of the
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
. The main area of study was understanding how 11D supergravity compactifies down to four dimensions. While there are many ways to do this, depending on the choice of the compact manifold, the most popular one was using the 7-sphere. However, a number of problems were quickly identified with these approaches which eventually caused the program to be abandoned. One of the main issues was that many of the well-motivated manifolds could not yield the Standard Model gauge group. Another problem at the time was that standard Kaluza–Klein compactification made it hard to acquire
chiral Chirality () is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek language, Greek (''kheir''), "hand", a familiar chiral object. An object or a system is ''chiral'' if it is dist ...
fermion In particle physics, a fermion is a subatomic particle that follows Fermi–Dirac statistics. Fermions have a half-integer spin (spin 1/2, spin , Spin (physics)#Higher spins, spin , etc.) and obey the Pauli exclusion principle. These particles i ...
s needed to build the Standard Model. Additionally, these compactifications generally yielded very large negative
cosmological constant In cosmology, the cosmological constant (usually denoted by the Greek capital letter lambda: ), alternatively called Einstein's cosmological constant, is a coefficient that Albert Einstein initially added to his field equations of general rel ...
s which could be hard to remove. Lastly, quantizing the theory gave rise to quantum anomalies which were difficult to eliminate. Some of these problems can be overcome with more modern methods which were unknown at the time. For example, chiral fermions can be acquired by using singular manifolds, using noncompact manifolds, utilising the end-of-world 9-brane of the theory, or by exploiting string dualities that relate the 11D theory to chiral string theories. Similarly, the presence of
brane In string theory and related theories (such as supergravity), a brane is a physical object that generalizes the notion of a zero-dimensional point particle, a one-dimensional string, or a two-dimensional membrane to higher-dimensional objec ...
s can also be used to build larger gauge groups. Due to these issues, 11D supergravity was abandoned in the late 1980s, although it remained an intriguing theory. Indeed, in 1988 Michael Green, John Schwartz, and Edward Witten wrote of it that In 1995, Edward Witten discovered M-theory, whose low-energy limit is 11D supergravity, bringing the theory back into the forefront of physics and giving it an important place in string theory.


Theory

In supersymmetry, the maximum number of real
supercharge In theoretical physics, a supercharge is a generator of supersymmetry transformations. It is an example of the general notion of a charge (physics), charge in physics. Supercharge, denoted by the symbol Q, is an operator which transforms bosons in ...
s that give
supermultiplet In theoretical physics, a supermultiplet is a representation of a supersymmetry algebra, possibly with extended supersymmetry. Then a superfield is a field on superspace which is valued in such a representation. Naïvely, or when considering ...
s containing particles of spin less than or equal to two, is 32. Supercharges with more components result in supermultiplets that necessarily include higher spin states, making such theories unphysical. Since supercharges are
spinor In geometry and physics, spinors (pronounced "spinner" IPA ) are elements of a complex numbers, complex vector space that can be associated with Euclidean space. A spinor transforms linearly when the Euclidean space is subjected to a slight (infi ...
s, supersymmetry can only be realized in dimensions that admit spinoral representations with no more than 32 components, which only occurs in eleven or fewer dimensions. Eleven-dimensional supergravity is uniquely fixed by supersymmetry, with its structure being relatively simple compared to supergravity theories in other dimensions. The only free parameter is the
Planck mass In particle physics and physical cosmology, Planck units are a system of units of measurement defined exclusively in terms of four universal physical constants: '' c'', '' G'', '' ħ'', and ''k''B (described further below). Expressing one of ...
, setting the scale of the theory. It has a single multiplet consisting of the graviton, a Majorana gravitino, and a 3-form gauge field. The necessity of the 3-form field is seen by noting that it provides the missing 84 bosonic
degrees of freedom In many scientific fields, the degrees of freedom of a system is the number of parameters of the system that may vary independently. For example, a point in the plane has two degrees of freedom for translation: its two coordinates; a non-infinite ...
needed to complete the multiplet since the graviton has 44 degrees of freedom while the gravitino has 128.


Superalgebra

The maximally-extended
algebra Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
for supersymmetry in eleven dimensions is given by : \ = (C\gamma)^\mu_P_\mu + (C\gamma)^_Z_ + (C\gamma)^_Z_, where C is the
charge conjugation In physics, charge conjugation is a transformation that switches all particles with their corresponding antiparticles, thus changing the sign of all charges: not only electric charge but also the charges relevant to other forces. The term C- ...
operator which ensures that the combination C\gamma^ is either
symmetric Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations ...
or antisymmetric. Since the
anticommutator In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory. Group theory The commutator of two elements, ...
is symmetric, the only admissible entries on the right-hand side are those which are symmetric on their spinor indices, which in eleven dimensions only occurs for one, two, and five
spacetime In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
indices, with the rest being equivalent up to
Poincaré duality In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology (mathematics), homology and cohomology group (mathematics), groups of manifolds. It states that if ''M'' is an ''n''-dim ...
. The corresponding coefficients Z_ and Z_ are known as quasi-central charges. They aren't regular
central charge In theoretical physics, a central charge is an operator ''Z'' that commutes with all the other symmetry operators. The adjective "central" refers to the center of the symmetry group—the subgroup of elements that commute with all other element ...
s in the group theoretic sense since they are not
Lorentz scalar In a relativistic theory of physics, a Lorentz scalar is a scalar expression whose value is invariant under any Lorentz transformation. A Lorentz scalar may be generated from, e.g., the scalar product of vectors, or by contracting tensors. Whil ...
s and so do not commute with the Lorentz generators, but their interpretation is the same. They indicate that there are extended objects that preserve some amount of supersymmetry, these being the M2-brane and the M5-brane. Additionally, there is no R-symmetry group.


Supergravity action

The
action Action may refer to: * Action (philosophy), something which is done by a person * Action principles the heart of fundamental physics * Action (narrative), a literary mode * Action fiction, a type of genre fiction * Action game, a genre of video gam ...
for eleven-dimensional supergravity is given by : S = \frac\int d^ x \ e \bigg[ R(\omega) -\bar \psi_\mu \gamma^D_\nu(\tfrac(\omega+\hat \omega))\psi_\rho - \fracF_F^ : -\frac (\bar \psi_\nu \gamma^\psi_\rho+12 \bar \psi^\gamma \gamma^\psi^\delta)(F_+\hat F_) : -\frac\epsilon^F_F_A_\bigg]. Here gravity is described using the tetrad formalism, vielbein formalism e^a_\mu with an eleven-dimensional gravitational coupling constant \kappa_ and : \omega_ = \omega_(e)+K_, : \hat \omega_ = \omega_ - \tfrac\bar \psi_\nu \gamma^_ \psi_\rho, : K_ = -\tfrac(\bar \psi_\mu \gamma_b \psi_a -\bar \psi_a \gamma_\mu \psi_b + \bar \psi_b \gamma_a \psi_\mu)+\tfrac \bar \psi_\nu \gamma^_\psi_\rho, : \hat F_ = F_ +\tfrac\sqrt 2 \bar \psi_\gamma_\psi_. The torsion-free connection is given by \omega_(e), while K_ is the
contorsion tensor The contorsion tensor in differential geometry is the difference between a connection with and without torsion in it. It commonly appears in the study of spin connections. Thus, for example, a vielbein together with a spin connection, when subje ...
. Meanwhile, D_\nu(\omega) is the
covariant derivative In mathematics and physics, covariance is a measure of how much two variables change together, and may refer to: Statistics * Covariance matrix, a matrix of covariances between a number of variables * Covariance or cross-covariance between ...
with a
spin connection In differential geometry and mathematical physics, a spin connection is a connection (vector bundle), connection on a spinor bundle. It is induced, in a canonical manner, from the affine connection. It can also be regarded as the gauge field gene ...
\omega, which acting on spinors takes the form : D_\mu(\omega)\psi_\nu = \partial_\mu\psi_\nu+\tfrac\omega_\mu^\gamma_\psi_\nu, where \gamma_ = \gamma_\gamma_. The regular
gamma matrices In mathematical physics, the gamma matrices, \ \left\\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra \ \mathr ...
satisfying the
Dirac algebra In mathematical physics, the Dirac algebra is the Clifford algebra \text_(\mathbb). This was introduced by the mathematical physicist P. A. M. Dirac in 1928 in developing the Dirac equation for spin- particles with a matrix representation of the ...
are denote by \gamma_a, while \gamma_\mu = e_\mu^a\gamma_a are position-dependent
fields Fields may refer to: Music *Fields (band), an indie rock band formed in 2006 * Fields (progressive rock band), a progressive rock band formed in 1971 * ''Fields'' (album), an LP by Swedish-based indie rock band Junip (2010) * "Fields", a song by ...
. The first line in the action contains the covariantized
kinetic term In quantum field theory, a kinetic term is any term in the Lagrangian that is bilinear in the fields and has at least one derivative. Fields with kinetic terms are dynamical and together with mass terms define a free field theory. Their form i ...
s given by the
Einstein–Hilbert action The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the stationary-action principle. With the metric signature, the gravitational part of the action is given as :S = \int R \sqrt ...
, the Rarita–Schwinger equation, and the gauge kinetic action. The second line corresponds to cubic graviton-gauge field terms along with some quartic gravitino terms. The last line in the Lagrangian is a Chern–Simons term. The supersymmetry transformation rules are given by : \delta_s e^a_\mu = \tfrac\bar \epsilon \gamma^a \psi_\mu, : \delta_s \psi_\mu = D_\mu(\hat \omega)\epsilon + \tfrac(\gamma^_\mu - 8 \gamma^\delta^\alpha_\mu) \hat F_\epsilon, : \delta_s A_ = -\tfrac\bar \epsilon \gamma_\psi_, where \epsilon is the supersymmetry Majorana gauge parameter. All hatted variables are supercovariant in the sense that they do not depend on the derivative of the supersymmetry parameter \partial_\mu \epsilon. The action is additionally invariant under parity, with the gauge field transforming as a
pseudotensor In physics and mathematics, a pseudotensor is usually a quantity that transforms like a tensor under an orientation-preserving coordinate transformation (e.g. a proper rotation) but additionally changes sign under an orientation-reversing coordin ...
A\rightarrow -A. The
equations of motion In physics, equations of motion are equations that describe the behavior of a physical system in terms of its motion as a function of time. More specifically, the equations of motion describe the behavior of a physical system as a set of mathem ...
for this supergravity also have a rigid symmetry known as the trombone symmetry under which g_\rightarrow \alpha^2 g_ and A_\rightarrow \alpha^3 A_.


Special solutions

There are a number of special solutions in 11D supergravity, with the most notable ones being the pp-wave, M2-branes, M5-branes, KK-monopoles, and the M9-brane. Brane solutions are
soliton In mathematics and physics, a soliton is a nonlinear, self-reinforcing, localized wave packet that is , in that it preserves its shape while propagating freely, at constant velocity, and recovers it even after collisions with other such local ...
ic objects within supergravity that are the low-energy limit of the corresponding M-theory branes. The 3-form gauge field
couples Couple or couples may refer to: *Couple, a set of two of items of a type *Couple (mechanics), a pair of force which are equal in magnitude but opposite in direction and separated by a perpendicular distance so that their line of action do not c ...
electrically to M2-branes and magnetically to M5-branes. Explicit supergravity solitonic solutions for the M2-branes and M5-branes are known. M2-branes and M5-branes have a regular
non-degenerate In mathematics, specifically linear algebra, a degenerate bilinear form on a vector space ''V'' is a bilinear form such that the map from ''V'' to ''V''∗ (the dual space of ''V'') given by is not an isomorphism. An equivalent definition when ' ...
event horizon In astrophysics, an event horizon is a boundary beyond which events cannot affect an outside observer. Wolfgang Rindler coined the term in the 1950s. In 1784, John Michell proposed that gravity can be strong enough in the vicinity of massive c ...
whose constant
time Time is the continuous progression of existence that occurs in an apparently irreversible process, irreversible succession from the past, through the present, and into the future. It is a component quantity of various measurements used to sequ ...
cross-sections are topologically 7-spheres and 4-spheres, respectively. The near-horizon limit of the extreme M2-brane is given by an AdS_4 \times S^7
geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
while for the extreme M5-brane it is given by AdS_7 \times S^4. These extreme-limit solutions preserve half of the supersymmetry of the
vacuum A vacuum (: vacuums or vacua) is space devoid of matter. The word is derived from the Latin adjective (neuter ) meaning "vacant" or "void". An approximation to such vacuum is a region with a gaseous pressure much less than atmospheric pressur ...
solution, meaning that both the extreme M2-branes and the M5-branes can be seen as solitons interpolating between two maximally supersymmetric Minkowski vacua at infinity, with an AdS_4\times S^7 or AdS_6 \times S^4 horizon, respectively.


Compactification

The Freund–Rubin compactification of 11D supergravity shows that it preferentially compactifies to seven and four dimensions, the latter of which led to it being extensively studied throughout the 1980s. This compactification is most easily achieved by demanding that the compact and noncompact manifolds have a
Ricci tensor In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure ...
that is proportional to the
metric Metric or metrical may refer to: Measuring * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics ...
, meaning that they are
Einstein manifold In differential geometry and mathematical physics, an Einstein manifold is a Riemannian or pseudo-Riemannian differentiable manifold whose Ricci tensor is proportional to the metric. They are named after Albert Einstein because this condition is ...
s. One additionally demands that the solution is
stable A stable is a building in which working animals are kept, especially horses or oxen. The building is usually divided into stalls, and may include storage for equipment and feed. Styles There are many different types of stables in use tod ...
against fluctuations, which in
anti-de Sitter space In mathematics and physics, ''n''-dimensional anti-de Sitter space (AdS''n'') is a symmetric_space, maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are na ...
times requires that the Bretenlohner–Freedman bound is satisfied. Stability is guaranteed if there is some unbroken supersymmetry, although there also exist classically stable solutions that fully break supersymmetry. One of the main compactification manifolds studied was the 7-sphere. The manifold has 8 Killing spinors, meaning that the resulting four dimensional theory has \mathcal N = 8 supersymmetry. Additionally, it also results in an \text(8) gauge group, corresponding to the isometry group of the sphere. A similar widely studied compactification was using a squashed 7-sphere, which can be acquired by
embedding In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y ...
the 7-sphere in a
quaternionic projective space In mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions \mathbb. Quaternionic projective space of dimension ''n'' ...
, with this giving a gauge group of \text(5)\times \text(2). A key property of 7-sphere Kaluza-Klein compactifications is that their truncation is consistent, which is not necessarily the case for other Einstein manifolds besides the 7-torus. An inconsistent truncation means that the resulting four dimensional theory is not consistent with the higher dimensional field equations. Physically this needs not be a problem in compactifications to Minkowski spacetimes as the inconsistent truncation merely results in additional irrelevant operators in the action. However, most Einstein manifold compactifications are to anti-de Sitter spacetimes which have a relatively large cosmological constant. In this case irrelevant operators can be converted to relevant ones through the equation of motion.


Related theories

While eleven-dimensional supergravity is the unique supergravity in eleven dimensions at the level of an action, a related theory can be acquired at the level of the equations of motion, known as modified 11D supergravity. This is done by replacing the spin connection by one that is conformally related to the original. Such a theory is inequivalent to standard 11D supergravity only in spaces that are not
simply connected In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every Path (topology), path between two points can be continuously transformed into any other such path while preserving ...
. An action for a
mass Mass is an Intrinsic and extrinsic properties, intrinsic property of a physical body, body. It was traditionally believed to be related to the physical quantity, quantity of matter in a body, until the discovery of the atom and particle physi ...
ive 11D theory can also be acquired by introducing an
auxiliary Auxiliary may refer to: In language * Auxiliary language (disambiguation) * Auxiliary verb In military and law enforcement * Auxiliary police * Auxiliaries, civilians or quasi-military personnel who provide support of some kind to a military se ...
nondynamical
Killing vector field In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a pseudo-Riemannian manifold that preserves the metric tensor. Killing vector fields are the infinitesimal generators of isom ...
, with this theory reducing to massive type IIA supergravity upon dimensional reduction. This is not a proper eleven-dimensional theory since the fields explicitly do not depend on one of the coordinates, but it is nonetheless useful for studying massive branes. Dimensionally reducing 11D supergravity to ten dimensions gives rise to
type IIA supergravity In supersymmetry, type IIA supergravity is the unique supergravity in ten dimensions with two supercharges of opposite chirality. It was first constructed in 1984 by a dimensional reduction of eleven-dimensional supergravity on a circle. The oth ...
, while dimensionally reducing it to four dimensions can give \mathcal N = 8 supergravity, which was one of the original motivations for constructing the theory. While eleven-dimensional supergravity is not UV finite, it is the low energy limit of M-theory. The supergravity also receives corrections at the quantum level, where these corrections sometimes playing an important role in various compactification mechanisms. Unlike for supergravity in other dimensions, an extension to eleven dimensional anti-de Sitter spacetime does not exist. While the theory is the supersymmetric theory in the highest number of dimensions, the caveat is that this only holds for spacetime signatures with one temporal dimension. If arbitrary spacetime signatures are allowed, then there also exists a supergravity in twelve dimensions with two temporal dimensions.


Notes


References

{{DEFAULTSORT:Eleven-dimensional supergravity Supersymmetric quantum field theory Theories of gravity String theory