Work in the supplied Planck units and write . The nonzero components of the Kähler metric and its inverse are
The Kähler covariant derivatives of a superpotential are
In the supergravity F-term potential, cancels its negative universal term. This is the no-scale supergravity identity. The exact answer is therefore
In particular is a global minimum for every in the domain, with zero vacuum energy.
Use the standard convention for a supergravity auxiliary field, . In this convention
At the minimum these become
Thus supersymmetry breaking occurs if , despite the vanishing vacuum energy. Indeed is precisely canceled by the negative gravitino contribution. For the asserted breaking does not occur: both supergravity auxiliary fields vanish at , so this vacuum is supersymmetric.
For completeness, the full set of finite zero-energy minima includes additional branches. For , the condition reduces, after factoring , to
For every there is a unique positive solution of , since the left side increases strictly from zero to infinity. There are three associated phases,
These also give , and on each branch . Consequently but , so these are also supersymmetry breaking no-scale vacua with a cubic matter superpotential. A supersymmetric finite vacuum would require , hence , and then ; this is possible only at with .
The scalar potential is independent of everywhere. On every zero-energy vacuum branch it is also independent of , so both real components of are flat directions of a scalar potential at the vacuum. Away from , the real direction is not flat: , giving a runaway towards rather than a finite positive-energy stationary point. The zero-energy branches have no continuous flat direction of a scalar potential in ; their allowed values are isolated. This is why the vacuum does not select a unique numerical gravitino mass: the modulus is unfixed.
The gravitino mass from a superpotential is . On the conventional branch,
On a nonzero- branch it is instead
When , the only finite zero-energy matter solution is and , with unbroken supersymmetry. These results exhibit the distinction between vanishing vacuum energy and vanishing supersymmetry breaking auxiliary fields in a no-scale supergravity model.
Write , , , , , and . Assume and, initially, . The supergravity F-term potential is
The canonical Kähler potential gives the identity Kähler metric. The three Kähler covariant derivatives of a superpotential are
Substituting, including the negative term rather than treating the potential as just a sum of squares, gives the exact answer
Here explains the first coefficient. It is strictly positive for real , since . Thus this model's scalar potential is nonnegative everywhere.
In the stated limit , the exponential can be replaced by . The other displayed terms retain the effects of the Kähler covariant derivatives of a superpotential. Small waterfall fields alone do not justify discarding in those derivatives, or expanding in . If also and , the leading result reduces to the global F-term scalar potential
No gauge sector or gauge coupling is supplied, so there is no specified D-term contribution to add.
The supersymmetric vacuum manifold of a bilinear hybrid superpotential is
Indeed and all three Kähler covariant derivatives of a superpotential vanish there, so all supergravity auxiliary fields vanish and supersymmetry is unbroken. The nonnegative scalar potential makes this a global minimum. Conversely zero potential requires , and then ; for this forces . With just the supplied fields this is a complex vacuum manifold before imposing any gauge quotient: the product is fixed but the ratio of and is not. More precisely, it is an F-flat vacuum manifold whether or not a gauge symmetry is specified. If one additionally gauges opposite charges, D-flatness typically imposes , giving up to phases and gauge equivalence; that is an extra assumption, not a consequence of and alone.
The other familiar branch of F-term hybrid inflation has . Its nonzero derivative establishes supersymmetry breaking, and its exact scalar potential is
The canonical-Kähler correction to an F-term hybrid valley begins as
In particular the inflaton quadratic mass cancels at this order; the first lift of the global flat valley is quartic in .
To identify when this branch is a transverse minimum, rephase the waterfall fields so that is real positive. To quadratic order in , the global scalar potential is
The normalized combinations diagonalize this quadratic form, with
Thus gives a valley of transverse minima, while below the threshold the negative eigenvalue produces the waterfall instability in F-term hybrid inflation.
The exact supergravity correction to this stability test is also available without taking small. Put . Expansion of the exact supergravity F-term potential about gives equal diagonal coefficients and off-diagonal magnitude . Hence
For the usual sub-Planckian symmetry-breaking scale , the lower eigenvalue is . It is positive for the familiar sub-Planckian valley , and changes sign near .
The printed assertion of two full minima requires qualification. The broken branch is a transverse inflationary valley, not generally a second stationary minimum of the complete supergravity potential. In fact
Its only stationary point in is the origin. For that point has a negative waterfall eigenvalue . A direct counterexample is the path , with real small , after rephasing :
The negative quadratic coefficient proves it is not a minimum. No loop corrections or additional stabilizing interactions were specified that could create the requested second stationary vacuum. The mathematically supported interpretation is a SUSY-breaking transverse valley and a zero-energy supersymmetric vacuum minimum manifold. The limit on alone does not fix the parameter range ; the familiar waterfall conclusion uses the sub-Planckian range just stated.
In the corresponding global theory the exponential prefactor, Kähler corrections to and universal term are absent. Its valley has exactly constant tree-level energy for all , whereas canonical supergravity lifts it by the quartic correction above. The supersymmetric vacuum , and its zero energy persist in both descriptions. If , the origin and the axis instead have vanishing F-terms; the broken-valley interpretation does not apply.
Use four-dimensional Minkowski spacetime with and . The Clifford algebra duality identity makes the displayed epsilon-form equation equivalent, up to a nonzero convention-dependent phase, to
This is the Euler-Lagrange equation of the first-order Rarita-Schwinger field action , with the overall phase adjusted to the chosen Majorana convention. Varying the Majorana spinor action accounts for both occurrences of the field and cancels the one-half normalization.
A vector times a spinor contains spin- and unwanted spin- pieces, so the tensor type alone does not establish the physical spin. The field equation has gauge invariance
since the two derivatives contract an antisymmetric pair of gamma indices. Put and . Gamma matrix multiplication gives
Hence . Use the gauge transformation, under which , to impose . The equations then imply
with residual gauge freedom satisfying .
For a plane wave with nonzero momentum satisfying the null condition along the third axis, this residual freedom sets the temporal component to zero. Transversality then removes the longitudinal component, leaving the tensor product of two transverse vector polarizations with the two massless spinor helicities. The possible total helicities are and . The gamma trace is a rotation-covariant map to a spinor, which has only helicities . It therefore vanishes on the aligned combinations and removes the two mixed combinations. Equivalently, the transverse gamma trace condition has rank two on the four remaining complex positive-frequency coefficients. The massless Rarita-Schwinger polarization count is thus
The Majorana spinor reality condition relates negative-frequency coefficients to their conjugates; it does not introduce a separate antiparticle multiplet. A complex vector-spinor would also have independent antiparticle states.
A nonzero standard Rarita-Schwinger field mass term destroys the massless gauge invariance and adds the two longitudinal helicities. To see the constraints explicitly, choose its momentum-space sign so the equation is
Contracting with gives . Its gamma trace then gives . For these imply , and the remaining Dirac equation is . In the rest frame . Three spatial vector components times two positive-energy spinor components give six coefficients, and the gamma trace removes two, leaving the irreducible spin- representation. Therefore
In supergravity a consistent spontaneous mass generation is the super-Higgs mechanism, which supplies those extra states from the goldstino.
The massless graviton also has two physical helicities, so the graviton and gravitino already match on shell. The reason for auxiliary fields is the off-shell component count of minimal supergravity mismatch, not a mismatch of these physical states. After removing gauge functions but before using field equations, a metric has independent bosonic components, while a Majorana vector-spinor has fermionic components. In vierbein language the same bosonic count is , subtracting local Lorentz and diffeomorphism gauges. Old-minimal supergravity adds a complex scalar and a real vector, supplying six real nonpropagating bosonic components. This gives off-shell components and closure without imposing equations of motion. Their algebraic elimination leaves the physical graviton–gravitino spectrum unchanged.
The Noether gauging procedure begins with a rigid symmetry parameter . Replacing it by leaves in the action variation a term proportional to . Introduce a gauge field whose variation contains and couple it to the Noether current to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.
For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure , up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin- gravitino , with leading transformation . A coupling of to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.
The terms displayed in the final expression have the following distinct roles:
The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in and then count its separately displayed current terms a second time.
Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.
Let be homogeneous coordinates on the complex projective line. The complex tautological line bundle has fibre the line over that point. Its dual is the hyperplane line bundle . Define the tensor powers of the hyperplane line bundle by for , the trivial line bundle for , and the appropriate power of for .
An explicit holomorphic line bundle construction uses the two charts and with coordinates and . Choose holomorphic local frames related on the overlap by
This is consistent with the tautological frames and for . A holomorphic section of is represented by entire chart functions satisfying
Expand . Holomorphicity of at requires every power with to vanish. Thus for , is exactly a polynomial of degree at most . Conversely every such polynomial gives an entire . Its coefficients supply the explicit isomorphism
Equivalently, the global holomorphic sections are the homogeneous polynomials . For , the same chart argument gives no nonzero global section.
For the first cohomology, use the sheaf of holomorphic sections of a vector bundle and its Čech cohomology on this two-chart cover. A zero-cochain is a pair of entire chart functions . A one-cochain is a function holomorphic on , multiplied by . There are no alternating two-cochains on a two-set cover, so every one-cochain is a cocycle. The coboundaries are
Consequently the holomorphic Laurent-series cohomology of twists on the projective line is
Here the last term means the set of functions with entire. The charts and their intersection are Stein manifolds; Cartan theorem B makes this cover acyclic for the line-bundle section sheaf, so this Čech group computes the sheaf cohomology.
Every on has a Laurent series converging normally on compact annuli. Its nonnegative-power tail is an entire function of and can be removed by a finite-chart coboundary. Its tail with can be removed by : the series is entire in , because the inner Laurent radius is zero. Assign any overlapping removable powers to just one tail. The only possible remaining powers satisfy .
If , there is no such integer, proving the requested vanishing:
For completeness, if , the remaining classes have basis and dimension . None can be a coboundary, by uniqueness of Laurent coefficients. This also explains exactly why is the threshold.
Finally, a global holomorphic section of is a pair of linear homogeneous polynomials:
It vanishes at a projective point precisely when the nonzero vector belongs to the kernel of the coefficient matrix . If has rank two there is no zero; if the section vanishes everywhere. Exactly one projective zero occurs precisely when the kernel is a one-dimensional line. Thus the rank-one sections of two hyperplane line bundles are characterized by
Equivalently, , where is a fixed nonzero vector and is a nonzero section of . Its single simple zero is the zero of . This includes the case when one component is identically zero and the other is a nonzero linear form.
Use anti-Hermitian matrices, with invariant positive inner product . On an adjoint-valued field , define the adjoint covariant derivative and gauge curvature by
Equivalently, and . Put , with . The monopole Bogomolny equations are .
For a smooth SU(2) gauge transformation , use
Differentiating a transformed adjoint field shows : the derivatives of cancel the inhomogeneous term in . Applying the commutator of these derivatives gives , and therefore . Both sides of transform identically, establishing gauge invariance of the solution condition. Individual matrix components are covariant, rather than invariant numbers.
The monopole boundary condition is a nonzero asymptotic Higgs norm,
together with finite three-dimensional Yang-Mills-Higgs energy. Standard monopole asymptotics have and . The normalized Higgs field at infinity defines a map , whose topological degree is the magnetic charge. A nonzero charge gives a genuine non-Abelian magnetic monopole; the nonzero Higgs boundary value alone also allows the zero-charge vacuum. Thus the relevant nontrivial solutions are Bogomolny-Prasad-Sommerfield monopoles in the zero-Higgs-potential limit.
Now form the four-dimensional connection with -independent components. Its gauge curvature has
The self-duality sign requires an orientation. Choose the Euclidean metric and orientation . For cyclic , the Hodge star operator satisfies
Using and , the curvature is
Each term has negative star eigenvalue, so
This proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use .
To fix the action normalization, take the Euclidean Yang-Mills action
Both sums are over ordered index pairs. The component identity
gives
Hence the four-dimensional action density in terms of the three-dimensional curvature is
A different overall action normalization rescales all three equal expressions together.
A Yang-Mills instanton is a smooth finite-Euclidean-action self-dual or anti-self-dual connection in pure Yang-Mills theory, with the usual asymptotic pure-gauge behavior. Physically the term generally refers to a nontrivial field; its asymptotic gauge winding labels an instanton number. The Bianchi identity , together with , implies , so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.
Here is independent of . If the monopole has nonzero curvature, the density is positive on an open set in , and integrating its infinite -extent gives
For a finite-energy monopole this can also be written as its positive action per unit length times . Thus a nontrivial monopole lift is not a Yang-Mills instanton on . The flat solution , constant is the zero-action exception: it is a vacuum, or a trivial charge-zero instanton if that terminology includes flat connections. It is not a counterexample to the nontrivial-monopole assertion.
More generally, finite Yang-Mills action forbids nontrivial translation symmetry, even when the translation preserves a connection only up to gauge. Such a symmetry would preserve its positive gauge-invariant action density. A nonflat field has a ball on which this density is bounded below by some positive constant. Repeated translations by a nonzero symmetry vector produce infinitely many disjoint copies of a sufficiently small such ball, all with the same positive action contribution, contradicting finiteness. Continuous translation invariance is a special case. Therefore a nonflat ASDYM instanton is localized in all four Euclidean directions and has no nonzero translational symmetry. Translating an instanton still produces another instanton with a shifted center; these position parameters belong to the instanton moduli space, rather than being invariances of one localized solution.
A nonlinear sigma model describes a field taking values in a Riemannian target rather than an unconstrained linear space. Its static configurations are harmonic maps, critical points of the Dirichlet energy. The standard example for sigma-model lumps is the O3 nonlinear sigma model in two spatial dimensions: a unit vector has
The same target is the complex projective line, giving the CP1 nonlinear sigma model description. A lump is a localized finite-energy static solution, whose existence and minimum energy are governed by the degree of its field map.
Impose a fixed angle-independent value at spatial infinity and require the field to extend smoothly there. The one-point compactification of the plane is a sphere, so the configuration becomes a map . Its topological degree is the integer
This is the degree charge of an O3 sigma-model lump: the integrand is the pullback of the oriented unit-sphere area form, normalized by its area . Equivalently, the degree counts inverse images of a regular target point with orientation signs. It is unchanged under smooth homotopy with the prescribed boundary value. Consequently fields of different degree belong to distinct topological sectors.
Topology also determines an energy lower bound. The derivatives are tangent to the sphere, so . Since
, square completion gives
Choosing the sign of proves the Bogomolny degree bound for the O3 sigma model
For positive degree, equality holds precisely when ; for negative degree the opposite sign applies. These are the Bogomolny equations for the lump. A saturating field minimizes energy in its degree sector and hence solves the static field equation. Explicitly, that equation is , obtained by varying under .
The first-order equations become especially simple in stereographic projection. Use and
The round target metric is . In the one-half energy normalization used here, the stereographic energy of the O3 sigma model and degree are
Thus . Positive-degree lumps are holomorphic maps, , and negative-degree lumps are antiholomorphic maps, .
A holomorphic sphere map is meromorphic in a stereographic coordinate and hence a rational map with coprime polynomials. To see why the rational form suffices, its finitely many coordinate poles can be removed by subtracting their principal parts, leaving a holomorphic function on the compact sphere and therefore a constant. The degree of a rational map of the Riemann sphere is
after canceling common factors. A generic target value has inverse images solving , with the root at infinity counted in homogeneous coordinates when necessary; the number is , and holomorphic local degrees are positive. Poles of do not make the physical field singular: the reciprocal target coordinate is regular there. Antiholomorphic rational maps have the opposite topological degree and the same minimum energy.
For example, the unit sigma-model lump and size modulus is
Its degree is one and radial integration gives . The complex center supplies two position parameters, while the magnitude and phase of give size and internal orientation. More generally, fixing allows a monic degree- denominator and a numerator of degree at most , with no common roots. Their complex coefficients give the based rational-map moduli of sigma-model lumps.
Two-dimensional Derrick scaling leaves this pure-gradient energy unchanged, so degree fixes the minimum energy but not a preferred size. As , the unit-lump energy concentrates and the field limit is singular at its center. A degree cannot change through a smooth boundary-preserving deformation, but concentration can leave that smooth configuration space. Thus topological degree protects the smooth sector and determines the Bogomolny energy, while not by itself stabilizing the lump size. There is no contradiction with the scalar obstruction in Question 1: a curved-target harmonic map obeys a nonlinear constrained field equation, rather than having harmonic unconstrained components.
Figure 1.
Adjacent-vacuum phi-six kink profiles and the localized energy density of a degree-one sigma-model lump
. Details.
The kink panel uses the normalization of Question 1. The lump panel has and in the unit sigma-model lump and size modulus; changing its size redistributes the density while keeping its total energy .
In this static scalar problem, a classical field-theory soliton is a nontrivial smooth localized finite-energy field configuration which is static in its rest frame and stable against admissible small perturbations. Moving examples are obtained by a Lorentz boost. The relevant static energy is
Use the usual vacuum normalization , with zero energy at a vacuum, and impose finite-energy vacuum behavior at spatial infinity. These assumptions, together with the unconstrained real target and the canonical two-derivative kinetic term, are the hypotheses of the following Derrick theorem argument.
For Derrick scaling , change variables to obtain
A static solution must be stationary under this admissible scale variation. The Derrick virial identity is
For , both terms are nonpositive and the gradient term is strictly negative for a nonconstant field, so no nontrivial static solution is possible. At , the identity forces , but the gradient term is scale invariant and a further argument is needed.
Since , implies everywhere. Every zero of a differentiable nonnegative potential has . The static Euler-Lagrange field equation therefore makes a harmonic function. Each derivative is harmonic and belongs to L2 space by finite energy. Its mean-value property and the Cauchy-Schwarz inequality on a ball of radius imply
Letting gives . This proves the two-dimensional flat-target Derrick obstruction. Thus a nontrivial static real-scalar soliton in this class can occur only for . The argument does not apply unchanged to curved-target sigma models or gauge-field energies.
In one dimension the scale identity is , and the second scale derivative is for a nontrivial solution; scale variation does not rule it out. To derive the Bogomolny equations, write on the field interval of interest. Completing the square gives
Therefore the Bogomolny bound and its saturation equation are
Equivalently, for a monotone field connecting adjacent vacua, , with the sign chosen for its direction. Differentiating the first-order equation gives , verifying the static Euler-Lagrange field equation. Saturation minimizes energy within the fixed-boundary topological sector.
For the given sextic potential, factorization gives , so the vacua are . Choose
This choice satisfies . On , the increasing kink in a phi-six model satisfies . Setting gives . Separation gives
and hence
The endpoints are zero and two, and the mass follows from . The other increasing elementary scalar-field kink is
It uses the opposite sign of and has the same mass. Reflecting yields the two decreasing antikinks; is the free center.
There is no single finite-width static kink directly connecting to . Multiplying the static equation by gives the first integral for a finite-energy vacuum-to-vacuum solution. At the intermediate vacuum , this forces . Uniqueness for the smooth second-order field equation makes data stay at that vacuum, so a nontrivial solution cannot cross it at finite . This is the intermediate-vacuum obstruction to a kink; the two elementary transitions can only separate by an infinite interval.
Use left-chiral superfields throughout, abbreviating the conjugate singlets by , , and . The printed hypercharge convention is the negative of the usual one, so ; consequently is the down-type and the up-type Higgs doublet. Write for the weak-doublet contraction. Assign baryon number , , and lepton number , ; both Higgs fields have .
The baryon number and lepton number conserving homogeneous cubic superpotential is
Each term has zero hypercharge, is a color and weak singlet, and has . Higgs expectation values give the usual quark and charged-lepton Yukawa interaction masses and, here, Dirac neutrino masses. The complete remaining cubic part is
The first two terms have , the third has , the fourth has , and the last has . Their Hermitian conjugates reverse these signs. Commutativity of chiral superfields and the antisymmetric weak/color contractions give and ; can be taken completely symmetric. All other coupling tensors are unrestricted complex tensors.
To check completeness, a cubic color singlet containing a quark doublet and an antiquark singlet must contain a colorless weak doublet; the allowed hypercharges give , and . Three color-antitriplet singlets can form a singlet with , but hypercharge permits only . Three quark doublets cannot be a weak singlet. With no colored fields, an even number of weak doublets is necessary. Two doublets and a singlet give precisely , , and ; contractions of two identical Higgs superfields vanish. With no doublets the only neutral triple is . Thus is the most general homogeneous cubic superpotential for the printed fields, including their singlet neutrinos.
If “cubic” is intended to mean a polynomial of degree at most three, also add
The term conserves both charges; the other nonconstant terms have respectively . This distinction will matter for the printed claim about R-parity.
For squark-mediated proton decay, choose and with or . The same down-type singlet squark can appear in both vertices; would give by antisymmetry. The first term includes an electron/up-quark/squark vertex, and the second an up-quark/down-quark/squark vertex. Exchanging a squark of mass and expanding its propagator at momenta much smaller than produces the dimension-six effective operator
The left- and right-handed pairs are separately contracted spinor bilinears. This operator converts an up/down quark pair into a positron and an antiquark; the spectator up quark can combine with the antiquark into the neutral pion. Equivalently its hadronic matrix element between a proton and a pion is permitted, so it induces . Having both the baryon number and lepton number violating vertices is what enables this channel.
Since has mass dimension , dimensional analysis gives
The dimensionless includes the hadronic matrix element and two-body phase space; the pion mass changes this factor rather than the leading dimensions. Dimensional grounds alone do not give a precise hadronic coefficient. Using the lifetime supplied in the paper, rather than substituting a different bound, gives and hence
For an illustrative squark this is about when is rounded to . The bound constrains the relevant flavour product and depends on the exchanged mass; separate smallness of each coupling does not follow without an additional assumption.
Define matter parity and R-parity by
Every matter superfield has , whereas and the vector superfields have . For ordinary quarks and antiquarks, is odd and , so . For charged leptons, neutrinos and their antiparticles, is odd and , again giving ; the singlet neutrino fermion obeys the same rule. Gluons, the photon, and have and spin one, hence ; Higgs bosons have and also . Thus every Standard Model particle is R-even, including the corresponding antiparticles. Changing spin by one half within a supermultiplet reverses , so squarks, sleptons, gauginos and Higgsinos are R-odd.
Each conserving cubic term contains two R-odd matter superfields and one even Higgs superfield, so it is even under matter parity. Each term in has an odd number of matter superfields: three for , and one for . All are therefore forbidden. At the component level the two fermion spin factors in a Yukawa interaction multiply to , so the same selection rule follows directly from R-parity. This verifies all cubic baryon/lepton-number violating terms are forbidden while the Yukawa fermion mass terms survive.
The blanket assertion needs a qualification beyond homogeneous cubic terms. The Higgs term is even; and are odd and forbidden. But is even and permits a Majorana neutrino mass despite violating lepton number by two. Likewise the higher-dimensional operators and are even. Consequently R-parity alone does not enforce all-order conservation of baryon number and lepton number, or absolute proton stability; the stated precise exclusion holds for the violating cubic interactions above.
Two physical implications follow from multiplicative conservation of R-parity. Superpartners are produced in even numbers from an initial state consisting only of Standard Model particles, leading to pair production at the lowest threshold and parity-conserving cascades. The lightest supersymmetric particle is stable, since one R-odd particle cannot decay exclusively into R-even particles and no lighter R-odd state is available. A neutral weakly interacting lightest supersymmetric particle can therefore be a dark-matter candidate and produce missing-energy signatures; neutrality and a suitable abundance require further model assumptions.
Use an unfluxed toroidal zero-mode dimensional reduction, with no projection removing fields. A ten-dimensional gauge field has physical polarizations per gauge generator. Its Majorana-Weyl spinor partner has sixteen real components before the massless equation, and eight propagating fermionic states. Thus ten-dimensional super Yang-Mills theory has sixteen real supercharges and eight bosonic plus eight fermionic states per generator.
Split the spacetime index as , with and six internal directions. The zero modes of become and six real adjoint scalar fields . The spinor representation decomposes under into four four-dimensional Weyl spinors; the Majorana condition supplies their conjugates rather than independent additional spinors. All sixteen supercharges survive, giving four-dimensional N=4 super Yang-Mills theory. The supermultiplet is therefore one gauge vector, four Weyl gauginos and six real scalars, all in the Adjoint representation, with bosonic and fermionic states. The internal acts as R-symmetry, with the scalars in its six-dimensional representation and the Weyl gauginos in its four-dimensional representation.
Since the internal derivatives vanish, the internal Yang-Mills field strength is in a Hermitian-generator convention. The internal part of the gauge kinetic term becomes the scalar potential
Here the invariant trace is normalized by and ; the coupling and scalar kinetic terms use the same normalization. The sum includes both orders of each pair. For Hermitian , the commutator is anti-Hermitian, so equivalently . It is nonnegative and vanishes exactly when all six adjoint scalars commute. This gives the classical vacuum moduli space of a supersymmetric gauge theory.
Interpret as a massless three-form gauge field, with transformation and kinetic term built from . The massless p-form gauge field count is an on-shell count, rather than the raw tensor components. For a null plane wave, gauge transformations remove the components along the null gauge direction, while the field equation removes the complementary longitudinal components. The independent polarization is consequently an antisymmetric tensor on the transverse directions. Thus
This argument incorporates the redundancies in the two-form gauge parameter; subtracting once from would not do so.
Let and split indices into four-dimensional and internal ones. The toroidal reduction of a p-form gauge field gives one , two-forms , vectors and scalars . A massless three-form in four dimensions has no local propagating state; each massless two-form has one, each vector two and each scalar one. The two-form state can equivalently be represented by a scalar using massless p-form duality: its three-form field strength satisfies . Consequently
This verifies the required matching, including where the count is . The nondynamical four-dimensional three-form can carry a constant flux parameter, but that is not an additional propagating degree of freedom.
Eleven-dimensional supergravity contains the metric , a three-form and a Majorana gravitino . The massless graviton is a symmetric traceless tensor of the nine-dimensional transverse rotation group, giving states. The three-form gives . The gravitino is a gamma-traceless transverse vector-spinor: a spinor representation of has sixteen real components, so it gives states. Hence the eleven-dimensional balance is bosonic states and fermionic states.
Reduction on a circle yields type IIA supergravity, with thirty-two real supercharges and opposite ten-dimensional chiralities. The metric decomposes into the ten-dimensional metric, the Kaluza-Klein vector and the radius scalar, or dilaton. Their counts are . The three-form gives a ten-dimensional three-form and a two-form , with states. The eleven-dimensional Majorana spinor decomposes into two opposite-chirality Majorana-Weyl spinors. The external gravitino components give two gravitini, each with states; the internal component supplies two spin-one-half dilatini, each with eight states. Therefore
The two-form is in the NS--NS sector and the one-form and three-form are the Ramond--Ramond potentials. This reduction is nonchiral IIA rather than IIB.
Reduction on a seven-torus yields four-dimensional N=8 supergravity, again preserving thirty-two real supercharges. From one gets one graviton, seven vectors and scalars , giving states. From one gets a nonpropagating four-dimensional three-form, seven two-forms, vectors and scalars, giving states. Dualizing the seven two-forms to scalars gives the familiar field content
The gravitino reduces to eight four-dimensional Majorana gravitini and spin-one-half Majorana fermions, after the external gravitini are separated from their gamma-trace mixing with the internal components. Their count is . Together these fields form the single maximal supergravity multiplet.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact