Type I 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 ...
, type I 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 ten
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 with a single
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 ...
. It consists of a single supergravity
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 ...
and a single Yang–Mills multiplet. The full non-abelian
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 ...
was first derived in 1983 by George Chapline and Nicholas Manton. Classically the theory can admit any
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 ...
, but a consistent quantum theory resulting in anomaly cancellation only exists if the gauge group is either \text(32) or E_8\times E_8. Both these supergravities are realised as the low-energy limits of string theories, in particular of
type I string theory In theoretical physics, type I string theory is one of five consistent supersymmetric string theories in ten dimensions. It is the only one whose strings are unoriented (both orientations of a string are equivalent) and the only one which perturba ...
and of the two heterotic string theories.


History

Supergravity was much studied during the 1980s as a candidate theory of nature. As part of this it was important to understand the various supergravities that can exist in different dimensions, with the possible supergravities being classified in 1978 by
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 ...
. Type I supergravity was first written down in 1983, with Eric Bergshoeff, Mees de Roo, Bernard de Wit, and Peter van Nieuwenhuizen describing the abelian theory, and then George Chapline and Nicholas Manton extending this to the full non-abelian theory. An important development was made by Michael Green and John Schwarz in 1984 when they showed that only a handful of these theories are anomaly free, with additional work showing that only \text(32) and E_8\times E_8 result in a consistent quantum theory. The first case was known at the time to correspond to the low-energy limit of type I superstrings. Heterotic string theories were discovered the next year, with these having a low-energy limit described by type I supergravity with both gauge groups.


Theory

Type I supergravity is the ten-dimensional supergravity with a single Majorana
Weyl Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
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 ...
supercharge. Its
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
content consists of the \mathcal N=1 supergravity
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 ...
(g_, \psi_\mu, B, \lambda, \phi), together with the \mathcal N=1 Yang–Mills supermultiplet (A_\mu^a, \chi^a) with some associated gauge group. Here g_ is 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 ...
, B is the two-form
Kalb–Ramond field In theoretical physics in general and string theory in particular, the Kalb–Ramond field (named after Michael Kalb and Pierre Ramond), also known as the Kalb–Ramond ''B''-field or Kalb–Ramond NS–NS ''B''-field, is a quantum field that tra ...
, \phi is the
dilaton In particle physics, the hypothetical dilaton is a particle of a scalar field \varphi that appears in theories with extra dimensions when the volume of the compactified dimensions varies. It appears as a radion in Kaluza–Klein theory's compa ...
, and A_\mu^a is a Yang–Mills gauge field. Meanwhile, \psi_\mu is the
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 ...
, \lambda is a dilatino, and \chi^a a gaugino, with all these being Majorana–Weyl spinors. The gravitino and gaugino have the same
chirality Chirality () is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek (''kheir''), "hand", a familiar chiral object. An object or a system is ''chiral'' if it is distinguishable fro ...
, while the dilatino has the opposite chirality.


Algebra

The
superalgebra In mathematics and theoretical physics, a superalgebra is a Z2-graded algebra. That is, it is an algebra over a commutative ring or field with a decomposition into "even" and "odd" pieces and a multiplication operator that respects the grading. T ...
for type I supersymmetry is given by : \ = (P\gamma^\mu C)_P_\mu + (P\gamma^C)_Z_. Here Q_\alpha is the supercharge with a fixed chirality PQ_\alpha = Q_\alpha, where P = \tfrac(1\pm \gamma_*) is the relevant
projection operator In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself (an endomorphism) such that P\circ P=P. That is, whenever P is applied twice to any vector, it gives the same result as if it wer ...
. Meanwhile, C is the charge conjugation operator and \gamma^ are the
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 ...
. The right-hand side must have the same chirality as the supercharges and must also be
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 ...
under an exchange of the spinor indices. The second term is the only
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 ...
that is admissible under these constraints up to Poincare duality. This is because in ten dimensions only P\gamma^C with p=1
modulo In computing and mathematics, the modulo operation returns the remainder or signed remainder of a division, after one number is divided by another, the latter being called the '' modulus'' of the operation. Given two positive numbers and , mo ...
4 are symmetric matrices. The central charge corresponds to a 5-brane solution in the supergravity which is dual to the fundamental string in heterotic string theory.


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 type I supergravity in the Einstein frame is given up to four-fermion terms by : S = \frac\int d^ x \ e \bigg[ R -2\partial_\mu \phi \partial^\mu \phi -\tfrac e^H_H^ - \tfrace^\text(F_F^) : \ \ \ -\bar \psi_\mu \gamma^D_\nu \psi_\rho -\bar \lambda \gamma^\mu D_\mu \lambda - \text(\bar \chi \gamma^\mu D_\mu \chi) : \ \ \ -\sqrt 2\bar \psi_\mu \gamma^\nu \gamma^\mu \lambda \partial_\nu \phi + \tfrace^\text(\bar \chi \gamma^\chi)H_ : \ \ \ -\tfrace^\text[\bar \chi \gamma^\mu \gamma^(\psi_\mu + \tfrac\gamma_\mu \lambda)F_] : \ \ \ + \tfrace^(\bar \psi_\mu \gamma^\psi_\delta + 6 \bar \psi^\nu \gamma^\rho \psi^\sigma - \sqrt 2 \bar \psi_\mu \gamma^\gamma^\mu \lambda)H_\bigg]. Here \kappa^2 is the gravitational coupling constant, \phi is the dilaton, and : H_ =\partial_ B_ - \tfrac\omega_, where \omega_ is the
trace Trace may refer to: Arts and entertainment Music * ''Trace'' (Son Volt album), 1995 * ''Trace'' (Died Pretty album), 1993 * Trace (band), a Dutch progressive rock band * ''The Trace'' (album), by Nell Other uses in arts and entertainment * ...
of the Yang–Mills
Chern–Simons form In mathematics, the Chern–Simons forms are certain secondary characteristic classes. The theory is named for Shiing-Shen Chern and James Harris Simons, co-authors of a 1974 paper entitled "Characteristic Forms and Geometric Invariants," from whic ...
given by : \omega_ = \text(A \wedge dA +\tfracA\wedge A \wedge A). The non-abelian
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 ...
corresponding to the gauge field A_\mu is denote by F_. The
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 ...
index gamma-matrices are position-dependent fields \gamma_\mu = e_\mu^a \gamma_a. Meanwhile, D_\mu 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 ...
D_\mu = \partial_\mu + \tfrac\omega_\mu^\gamma_, while \gamma_ = \gamma_a\gamma_b and \omega_\mu^ is the
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 ...
.


Supersymmetry transformations

The supersymmetry transformation rules are given up to three fermion terms by : \delta e^a_\mu = \tfrac\bar \epsilon \gamma^a\psi_\mu, : \delta \psi_\mu = D_\mu \epsilon + \tfrace^(\gamma_\mu^-9\delta^\nu_\mu \gamma^)\epsilon H_, : \delta B_ = \tfrace^\phi \bar \epsilon (\gamma_\mu \psi_\nu - \gamma_\nu \psi_\mu - \tfrac\gamma_\lambda)+\tfrace^\bar \epsilon \gamma_\text(\chi A_), : \delta \phi = -\tfrac\bar \epsilon \lambda, : \delta \lambda = -\tfrac\phi + \tfrace^\gamma^\epsilon H_, : \delta A_\mu^a = \tfrace^\bar \epsilon \gamma_\mu \chi^a, : \delta \chi^a = -\tfrac e^\gamma^F^a_\epsilon. The supersymmetry parameter is denoted by \epsilon. These transformation rules are useful for constructing the Killing spinor equations and finding supersymmetric
ground state The ground state of a quantum-mechanical system is its stationary state of lowest energy; the energy of the ground state is known as the zero-point energy of the system. An excited state is any state with energy greater than the ground state ...
s.


Anomaly cancellation

At a classical level the supergravity has an arbitrary gauge
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic iden ...
, however not all gauge groups are consistent at the quantum level. The Green–Schwartz anomaly cancellation mechanism is used to show when the
gauge Gauge ( ) may refer to: Measurement * Gauge (instrument), any of a variety of measuring instruments * Gauge (firearms) * Wire gauge, a measure of the size of a wire ** American wire gauge, a common measure of nonferrous wire diameter, especia ...
, mixed, and gravitational anomalies vanish in
hexagonal In geometry, a hexagon (from Greek , , meaning "six", and , , meaning "corner, angle") is a six-sided polygon. The total of the internal angles of any simple (non-self-intersecting) hexagon is 720°. Regular hexagon A regular hexagon is d ...
diagrams A diagram is a symbolic representation of information using visualization techniques. Diagrams have been used since prehistoric times on walls of caves, but became more prevalent during the Enlightenment. Sometimes, the technique uses a three- ...
. In particular, the only anomaly free type I supergravity theories are ones with gauge groups of \text(32), E_8\times E_8, E_8\times \text(1)^, and \text(1)^. It was later found that the latter two with abelian factors are inconsistent theories of
quantum gravity Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics. It deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the v ...
. The remaining two theories both have ultraviolet completions to string theory, where the corresponding string theories can also be shown to be anomaly free at the string level.


Relation to string theory

Type I supergravity is the low-energy
effective field theory In physics, an effective field theory is a type of approximation, or effective theory, for an underlying physical theory, such as a quantum field theory or a statistical mechanics model. An effective field theory includes the appropriate degrees ...
of type I string theory and both heterotic string theories. In particular, type I string theory and \text(32) heterotic string theory reduce to type I supergravity with an \text(32) gauge group, while E_8\times E_8 heterotic string theory reduces to type I supergravity with an E_8\times E_8 gauge group. There are additional corrections that the supergravity receives in string theory, notably the Chern–Simons term becomes a linear combination of the Yang–Mills Chern–Simons three-form found at tree-level and a Lorentz Chern–Simons three-form \omega_\rightarrow \omega_-\omega_. This latter three-form is a higher-derivative correction given by : \omega_ = \text(\omega\wedge d\omega + \tfrac\omega \wedge \omega \wedge \omega) , where \omega is the spin connection. To maintain supersymmetry of the action when this term is included, additional higher-derivative corrections must be added to the action up to second order in \kappa. In type I string theory, the gauge coupling constant is related to the ten-dimensional Yang–Mills coupling constant by g_^2 = g^2g_s, while the coupling constant is related to the string length l_s = \sqrt by g^2 = 4\pi(2\pi l_s)^6. Meanwhile, in heterotic string theory the gravitational coupling constant is related to the string length by 2\kappa = l_s g. The fields in the Einstein frame are not the same as the fields corresponding to the string states. Instead, one has to transform the action into the various string frames through a
Weyl transformation In theoretical physics, the Weyl transformation, named after German mathematician Hermann Weyl, is a local rescaling of the metric tensor: g_ \rightarrow e^ g_ which produces another metric in the same conformal class. A theory or an expressi ...
and dilaton redefinition : \text: \ \ \ \ \ \ \ \ g_=e^g_, \ \ \ \ \ \ \phi = \phi_h/2, : \text: \ \ \ \ \ \ \ \ \ \ \ \ g_ = e^g_, \ \ \ \ \ \ \ \phi = -\phi_I/2.
S-duality In theoretical physics, S-duality (short for strong–weak duality, or Sen duality) is an equivalence of two physical theories, which may be either quantum field theories or string theories. S-duality is useful for doing calculations in theore ...
between type I string theory and \text(32) heterotic string theory can be seen at the level of the action since the respective string frame actions are equivalent with the correct field redefinitions. Similarly, Hořava–Witten theory, which describes the duality between E_8\times E_8 heterotic string theory and
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 ...
, can also be seen at the level of the supergravity since compactification of
eleven-dimensional supergravity In supersymmetry, eleven-dimensional supergravity is the theory of supergravity in the highest number of dimensions allowed for a supersymmetric theory. It contains a graviton, a gravitino, and a 3-form gauge field, with their interactions unique ...
on S^1/\mathbb Z_2, yields E_8\times E_8 supergravity.


Notes


References

{{DEFAULTSORT:Type I supergravity Supersymmetric quantum field theory Theories of gravity String theory