Type IIA 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 IIA supergravity is the unique
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 two
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 of opposite
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 ...
. It was first constructed in 1984 by a dimensional reduction of eleven-dimensional supergravity on a
circle A circle is a shape consisting of all point (geometry), points in a plane (mathematics), plane that are at a given distance from a given point, the Centre (geometry), centre. The distance between any point of the circle and the centre is cal ...
. The other supergravities in ten dimensions are
type IIB supergravity In supersymmetry, type IIB supergravity is the unique supergravity in ten dimensions with two supercharges of the same chirality (physics), chirality. It was first constructed in 1983 by John Henry Schwarz, John Schwarz and independently by Paul H ...
, which has two supercharges of the same chirality, and type I supergravity, which has a single supercharge. In 1986 a deformation of the theory was discovered which gives
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 ...
to one of the
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 ...
and is known as massive type IIA supergravity. Type IIA supergravity plays a very important role in
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 ...
as it is the low-energy limit of type IIA string theory.


History

After supergravity was discovered in 1976 with pure 4D \mathcal N=1 supergravity, significant effort was devoted to understanding other possible supergravities that can exist with various numbers of supercharges and in various dimensions. The discovery of eleven-dimensional supergravity in 1978 led to the derivation of many lower dimensional supergravities through dimensional reduction of this theory. Using this technique, type IIA supergravity was first constructed in 1984 by three different groups, by F. Giani and M. Pernici, by I.C.G. Campbell and P. West, and by M. Huq and M. A. Namazie. In 1986 it was noticed by L. Romans that there exists a massive deformation of the theory. Type IIA supergravity has since been extensively used to study the low-energy behaviour of type IIA string theory. The terminology of type IIA, type IIB, and type I was coined by J. Schwarz, originally to refer to the three string theories that were known of in 1982.


Theory

Ten dimensions admits both \mathcal N=1 and \mathcal N=2 supergravity, depending on whether there are one or two supercharges. Since the smallest spinorial representations in ten dimensions are 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 ...
s, the supercharges come in two types Q^\pm depending on their chirality, giving three possible supergravity theories. The \mathcal N=2 theory formed using two supercharges of opposite chiralities is denoted by \mathcal N=(1,1) and is known as type IIA supergravity. This theory contains 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 ...
, known as the ten-dimensional \mathcal N=2 nonchiral multiplet. The fields in this multiplet are (g_, C_,B_,C_\mu,\psi_\mu,\lambda,\phi), where 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 ...
corresponding to the
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 ...
, while the next three fields are the 3-, 2-, and 1-form gauge fields, with the 2-form being the
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 ...
. There is also a Majorana
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 ...
\psi_\mu and a Majorana spinor \lambda, both of which decompose into a pair of Majorana–Weyl spinors of opposite chiralities \psi_\mu = \psi_\mu^++\psi_\mu^- and \lambda = \lambda^++\lambda^-. Lastly, there a
scalar field In mathematics and physics, a scalar field is a function associating a single number to each point in a region of space – possibly physical space. The scalar may either be a pure mathematical number ( dimensionless) or a scalar physical ...
\phi. This nonchiral multiplet can be decomposed into the ten-dimensional \mathcal N=1 multiplet (g_, B_, \psi^+_\mu, \lambda^-, \phi), along with four additional fields (C_, C_\mu, \psi_\mu^-, \lambda^+). In the context of string theory, the bosonic fields in the first multiplet consists of NSNS fields while the bosonic fields are all RR fields. The fermionic fields are meanwhile in the NSR sector.


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 \mathcal N=(1,1) supersymmetry is given by : \ = (\gamma^\mu C)_P_\mu + (\gamma_* C)_Z + (\gamma^\mu \gamma_* C)_Z_\mu +(\gamma^C)_Z_ : \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ + (\gamma^\gamma_*C)_Z_ + (\gamma^C)_Z_, where all terms on the right-hand side besides the first one are the
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 allowed by the theory. Here Q_\alpha are the spinor components of the Majorana supercharges while C is the charge conjugation operator. 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
matrices Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the ...
allowed on the right-hand side are ones that are symmetric in the spinor indices \alpha, \beta. In ten dimensions \gamma^C is symmetric only for p=1,2
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, with the chirality matrix \gamma_* behaving as just another \gamma matrix, except with no index. Going only up to five-index matrices, since the rest are equivalent up to Poincare duality, yields the set of central charges described by the above
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 ...
. The various central charges in the algebra correspond to different BPS states allowed by the theory. In particular, the Z, Z_ and Z_ correspond to the D0, D2, and D4
branes 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 objects. ...
. The Z_\mu corresponds to the NSNS 1-brane, which is equivalent to the fundamental string, while Z_ corresponds to the NS5-brane.


Action

The type IIA supergravity
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 ...
is given up to four-fermion terms by : S_ = \frac \int d^ x \sqrt e^\bigg + 4 \partial_\mu \phi \partial^\mu \phi -\fracH_H^ - 2 \bar \psi_\mu \gamma^D_\nu \psi_\rho + 2 \bar \lambda \gamma^\mu D_\mu \lambda \bigg : \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -\frac\int d^x \sqrt\big tfracF_F^_2+\tfrac\tilde F_\tilde F^_4\big-\frac\int B \wedge F_4 \wedge F_4 : \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ +\frac\int d^x \sqrt \bigg ^(2 \chi^\mu_1 \partial_\mu \phi - \tfrac H_ \chi_3^ - 4 \bar \lambda \gamma^D_\mu \psi_\nu) - \tfracF_ \Psi_2^ - \tfrac\tilde F_ \Psi_4^ \bigg Here H = dB and F_=dC_p where p corresponds to a p-form
gauge field In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, does not change under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
. The 3-form gauge field has a modified
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 ...
\tilde F_4 = F_4 -A_1\wedge F_3 with this having a non-standard
Bianchi identity In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra ...
of d\tilde F_4 = -F_2\wedge F_3. Meanwhile, \chi_1^\mu, \chi_3^, \Psi_2^, and \Psi_4^ are various fermion bilinears given by : \chi^\mu_1 = -2\bar \psi_\nu \gamma^\nu \psi^\mu - 2\bar \lambda \gamma^\nu \gamma^\mu \psi_\nu, : \chi^_3 = \tfrac\bar \psi^\alpha \gamma_\gamma^\gamma_\gamma_* \psi^\beta + \bar \lambda \gamma^_\beta \gamma_* \psi^\beta - \tfrac\bar \lambda \gamma_* \gamma^\lambda, : \Psi^_2 = \tfrace^\bar \psi^\alpha\gamma_\gamma^\gamma_\gamma_*\psi^\beta + \tfrace^\bar \lambda \gamma^\gamma_\beta \gamma_*\psi^\beta + \tfrace^\bar \lambda \gamma^\gamma_*\lambda, : \Psi^_4 = \tfrace^\bar \psi^\alpha\gamma_\gamma^\gamma_\psi^\beta + \tfrace^\bar \lambda \gamma^\gamma_\beta\psi^\beta - \tfrace^\bar \lambda \gamma^\lambda. The first line of the action has 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
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 ...
kinetic term, the 2-form B_ field strength tensor. It also contains the kinetic terms for the gravitino \psi_\mu and spinor \lambda, described by the Rarita–Schwinger action and Dirac action, respectively. The second line has the kinetic terms for the 1-form and 3-form gauge fields as well as a Chern–Simons term. The last line contains the cubic interaction terms between two
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 and a
boson In particle physics, a boson ( ) is a subatomic particle whose spin quantum number has an integer value (0, 1, 2, ...). Bosons form one of the two fundamental classes of subatomic particle, the other being fermions, which have half odd-intege ...
.


Supersymmetry transformations

The supersymmetry variations that leave the action invariant are given up to three-fermion terms by : \delta e_\mu^a = \bar \epsilon \gamma^a \psi_\mu, : \delta \psi_\mu = (D_\mu + \tfracH_\gamma^\gamma_*)\epsilon + \tfrace^\phi F_\gamma^\gamma_\mu \gamma_* \epsilon + \tfrace^\phi F_\gamma^\gamma_\mu \epsilon, : \delta B_ = 2\bar \epsilon \gamma_\gamma_\psi_, : \delta C_\mu = -e^\bar \epsilon\gamma_* (\psi_\mu - \tfrac\gamma_\mu \lambda), : \delta C_ = -e^\bar \epsilon\gamma_(3\psi_-\tfrac\gamma_\lambda) + 3 C_\delta B_, : \delta \lambda = ( \phi +\tfracH_\gamma^\gamma_*)\epsilon + \tfrace^\phi F_\gamma^\gamma_* \epsilon + \tfrace^\phi F_\gamma^\epsilon, : \delta \phi = \tfrac\bar \epsilon \lambda. They are useful for constructing the Killing spinor equations and finding the 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 of the theory since these require that the fermionic variations vanish.


Related theories


Massive type IIA supergravity

Since type IIA supergravity has p-form field strengths of even dimensions, it also admits a nine-form gauge field F_ = dC_9. But since \star F_ is a scalar and the free field equation is given by d\star F_ = 0, this scalar must be a constant. Such a field therefore has no propagating
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 ...
, but does have an
energy density In physics, energy density is the quotient between the amount of energy stored in a given system or contained in a given region of space and the volume of the system or region considered. Often only the ''useful'' or extractable energy is measure ...
associated to it. Working only with the bosonic sector, the ten-form can be included in supergravity by modifying the original action to get massive type IIA supergravity : S_ = \tilde S_ -\frac\int d^x \sqrtM^2 + \frac\int MF_, where \tilde S_ is equivalent to the original type IIA supergravity up to the replacement of F_2 \rightarrow F_2 +MB and F_4 \rightarrow F_4+\tfracMB\wedge B. Here M is known as the Romans mass and it acts as a
Lagrange multiplier In mathematical optimization, the method of Lagrange multipliers is a strategy for finding the local maxima and minima of a function (mathematics), function subject to constraint (mathematics), equation constraints (i.e., subject to the conditio ...
for F_. Often one integrates out this field strength tensor resulting in an action where M acts as a mass term for the Kalb–Ramond field. Unlike in the regular type IIA theory, which has a vanishing scalar
potential Potential generally refers to a currently unrealized ability. The term is used in a wide variety of fields, from physics to the social sciences to indicate things that are in a state where they are able to change in ways ranging from the simple r ...
V(\phi)=0, massive type IIA has a nonvanishing scalar potential. While the \mathcal N=2 supersymmetry transformations appear to be realised, they are actually formally broken since the theory corresponds to a D8-brane background. A closely related theory is Howe–Lambert–West supergravity which is another massive deformation of type IIA supergravity, but one that can only be described at the level of 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 ...
. It is acquired by a compactification of eleven-dimensional MM theory on a circle.


Relation to 11D supergravity

Compactification of eleven-dimensional supergravity on a circle and keeping only the zero
Fourier modes A Fourier series () is an expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series. By expressing a function as a sum of sines and cosines, many problems involving the fun ...
that are independent 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 ...
coordinates results in type IIA supergravity. For eleven-dimensional supergravity with the graviton, gravitino, and a 3-form gauge field denoted by (g_',\psi_M', A_'), then the 11D metric decomposes into the 10D metric, the 1-form, and the dilaton as : g'_ = e^\begin g_+e^C_\mu C_\nu & -e^C_\mu \\ -e^ C_\nu & e^\end. Meanwhile, the 11D 3-form decomposes into the 10D 3-form A_'\rightarrow C_ and the 10D 2-form A_' \rightarrow B_. The ten-dimensional modified field strength tensor \tilde F_4 directly arises in this compactification from F'_ = e^\tilde F_. Dimensional reduction of the fermions must generally be done in terms of the flat coordinates \psi_A' = e_A'^M\psi_M, where ^M_A is the 11D vielbein. In that case the 11D Majorana graviton decomposes into the 10D Majorana gravitino and the Majorana fermion \psi_A'\sim (\psi_a, \lambda), although the exact identification is given by : \psi_a' = e^(2\psi_a - \tfrac\gamma_a \lambda), \ \ \ \ \ \ \ \psi_' = \tfrace^\gamma_* \lambda, where this is chosen to make the supersymmetry transformations simpler. The ten-dimensional supersymmetry variations can also be directly acquired from the eleven-dimensional ones by setting \epsilon' = e^\epsilon.


Relation to type IIA string theory

The low-energy effective field theory of type IIA string theory is given by type IIA supergravity. The fields correspond to the different massless excitations of the string, with the metric, 2-form B, and dilaton being NSNS states that are found in all string theories, while the 3-form and 1-form fields correspond to the RR states of type IIA string theory. Corrections to the type IIA supergravity action come in two types, quantum corrections in powers of the string coupling g_s, and curvature corrections in powers of \alpha'. Such corrections often play an important role in type IIA string phenomenology. The type IIA superstring
coupling constant In physics, a coupling constant or gauge coupling parameter (or, more simply, a coupling), is a number that determines the strength of the force exerted in an interaction. Originally, the coupling constant related the force acting between tw ...
g_s corresponds to the
vacuum expectation value In quantum field theory, the vacuum expectation value (VEV) of an operator is its average or expectation value in the vacuum. The vacuum expectation value of an operator O is usually denoted by \langle O\rangle. One of the most widely used exa ...
of e^\phi, while the string length l_s = \sqrt is related to the gravitational coupling constant through 2\kappa^2 = (2\pi)^7^4. When string theory is compactified to acquire four-dimensional theories, this is often done at the level of the low-energy supergravity. Reduction of type IIA on a
Calabi–Yau manifold In algebraic and differential geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has certain properties, such as Ricci flatness, yielding applications in theoretical physics. P ...
yields an \mathcal N=2 theory in four dimensions, while reduction on a Calabi–Yau orientifold further breaks the symmetry down to give the phenomenologically viable four-dimensional \mathcal N=1 supergravity. Type IIA supergravity is automatically anomaly free since it is a non-chiral theory.


Notes


References

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