Use hypercharge normalized by , and express all matter fermions as left-handed Weyl spinors. Thus denote the charge conjugates of the right-handed Standard Model fermions; the superscript is unrelated to the antiparticle marker . Each chiral superfield contains a complex scalar field and a Weyl spinor, while each vector superfield contains a gauge boson and a gaugino. The complete propagating content of the Minimal supersymmetric Standard Model before electroweak symmetry breaking is:
SectorComponent field representationSpinFamilies or copies
, quark Weyl spinors
, squarks
, quark Weyl spinor
, squark
, quark Weyl spinor
, squark
, lepton Weyl spinors
, sleptons
, lepton Weyl spinor
, slepton
, Higgs complex scalar fields
, higgsinos
, Higgs complex scalar fields
, higgsinos
Color vector multiplet, gluons adjoint,
Color vector multiplet, gluinos adjoint,
Weak vector multiplet, weak gauge bosons adjoint,
Weak vector multiplet, winos adjoint,
Hypercharge vector multiplet, hypercharge gauge boson
Hypercharge vector multiplet, bino
The marker means that conjugate antiparticle states must also be counted: a charged Weyl spinor has a particle helicity and a distinct antiparticle helicity, and a complex scalar field has particle and antiparticle excitations. The real adjoint gauge bosons and adjoint Majorana fermions already contain their conjugate states, so no extra marker is attached to them. For example, the charged combinations are both contained in the one real weak triplet. There are no right-handed-neutrino chiral superfields, no gravitino, and no propagating auxiliary fields in this field table. The matter sector has gauge components; the two Higgs chiral doublets add four. Thus the count is , before mass effects are considered.
R-parity is the multiplicative discrete quantum number , with baryon number , lepton number and spin . Ordinary quarks, leptons, Higgs scalars and gauge bosons have ; their sparticles have . For superfields the equivalent rule is matter parity : are odd, and and the gauge superfields are even. With contracting weak indices and implicit color contractions, the renormalizable R-parity-conserving MSSM superpotential is
Signs of the three Yukawa couplings can be absorbed into their matrices. Every term has even matter parity and zero hypercharge; holomorphy requires the two independent Higgs chiral doublets, rather than using in a superpotential.
Conserved R-parity forces an even number of odd particles in a process whose incoming particles are all ordinary particles, so colliders produce sparticles in pairs or another even multiplicity. Their decay chains end in the stable lightest supersymmetric particle. A neutral, weakly interacting lightest supersymmetric particle, commonly a neutralino after electroweak symmetry breaking, escapes the detector and gives missing transverse momentum; it is also a possible dark matter constituent. Stability alone does not establish its relic abundance, and a charged or colored stable lightest supersymmetric particle is not the usual viable dark matter candidate. Conserved R-parity forbids the renormalizable interactions responsible for the decay below. It does not by itself forbid higher-dimensional proton-decay operators: the superpotential operators and have even matter parity. Thus the renormalizable R-parity-conserving MSSM protects the proton, while ultraviolet physics can still induce its decay.
The gauge-invariant renormalizable R-parity-violating superpotential is
Here and because of the weak and color antisymmetric contractions. The first two trilinear terms and the bilinear term violate lepton number, whereas the term violates baryon number. The are dimensionless and has mass dimension one.
For a concrete squark-mediated proton decay channel, take and nonzero. Antisymmetry allows these indices: the exchanged scalar is a strange squark, not a repeated down flavor in . Two quarks in the proton undergo ; the spectator combines with into the component of . The baryon-violating Feynman vertex and lepton-violating Feynman vertex give .
Figure 1.
Proton decay through baryon- and lepton-number-violating strange-squark exchange
. Details.
At momenta small compared with the squark mass , its scalar propagator is of order . Eliminating it generates a dimension-six four-fermion proton-decay operator, schematically , with coefficient . Consequently the dimensionless decay amplitude is of order , and phase space supplies one more power of to the width:
This is a dimensional estimate; phase-space constants and hadronic matrix elements change its coefficient, not its fourth-power dependence on . For order-one couplings and , the stated lifetime limit is . Therefore , giving .
Such a mass is incompatible with the intended weak-scale MSSM explanation of the hierarchy problem: squarks that cancel the Higgs-sector sensitivity to high scales must not introduce a new enormous splitting from their light quark partners. For example, with order-one couplings would give only . The field content alone does not mathematically prohibit extremely heavy superpartners, but that choice sacrifices the weak-scale naturalness motivation. The usual resolution is conserved R-parity, or sufficiently suppressed simultaneous baryon number and lepton number violation, rather than making the exchanged squark this heavy.
The chiral superfield condition is for both dotted components. Use left Grassmann derivatives with the displayed supersymmetric covariant derivatives. The odd product rule gives , so
The chirality constraint therefore says that is independent of at fixed . The Grassmann algebra has only two independent components, so every cubic product of them vanishes. Its general even scalar superfield consequently has a scalar coefficient, a term linear in with a Weyl spinor coefficient, and one quadratic term. Choosing the conventional component normalization gives the chiral-superfield component expansion
Here is a complex scalar field, an odd Weyl spinor and a complex nonpropagating auxiliary field. Conversely this expansion is annihilated by because and are. At fixed ordinary , the same result is the terminating translation ; this retains the printed contraction convention without changing the order in the barred square.
For a local function of scalar superfields, initially allow . The chain rule gives
For arbitrary chiral component fields the last factor is not constrained to vanish, so chirality requires . Thus on its domain, with no generic conjugate-field dependence. Its ordinary holomorphic derivatives must exist where its nilpotent expansion is evaluated; a pole or branch point there does not define a regular local superfield. Using gives the explicit holomorphic closure of chiral superfields:
All three component coefficients are evaluated at . For several chiral superfields, replace by and by . This requirement concerns a function that is to be chiral for arbitrary field configurations; a special constant field configuration does not impose the same functional constraint.
The ungauged two-derivative supersymmetric action is obtained from a real Kähler potential and a holomorphic superpotential:
The first integral is a D-term; the second is an F-term. The Kähler metric must be positive for positive scalar kinetic energy. The auxiliary part is , so eliminating it gives the scalar potential in the bosonic sector.
For the single-field Wess–Zumino model, take the canonical Kähler potential and spacetime signature . Component superspace integration gives
Since and , the auxiliary equation is . Completing its square leaves in the Lagrangian. Hence the tree-level effective potential is
For nonzero , its two zero-energy supersymmetric vacua are and . The potential is nonnegative because it is an absolute square.
The Trilinear scalar vertices in the Wess–Zumino model come from
With all field legs incoming, expanding and differentiating each cubic monomial gives
The factor counts the two identical legs; there is no in to cancel it. A factor enforcing four-momentum conservation is implicit. These labels specify fields in an all-incoming Feynman rule; physical outgoing particles are assigned by crossing. There are no or scalar vertices from this on-shell potential.
Figure 1.
Conjugate trilinear scalar vertices and their all-incoming Feynman rules in the Wess–Zumino model
. Details.
Equivalently, if are real and with canonically normalized real scalars , then . Differentiation gives , with vanishing and vertices. This is the same pair of complex-field interactions in a real basis.
For the non-renormalization argument, promote to nondynamical chiral spurions. Define one ordinary and one R-symmetry by the Wess–Zumino spurion charge assignment:
Table 1.
Ordinary and R-symmetry spurion charges
.
QuantityOrdinary charge R-charge
Each superpotential term is neutral under the ordinary symmetry. Under the R-symmetry, both terms have charge two, which is canceled by the charge of . In particular, is R-neutral as required. The scalar, spinor and auxiliary components of have R-charges . These are formal symmetries when the couplings transform as spurions; replacing them by fixed nonzero numbers need not leave an actual continuous field symmetry.
A local loop-corrected Wilsonian effective action superpotential must be holomorphic in all three chiral variables and obey the same charges. The ratio is neutral under both symmetries, while has the required charges and mass dimension three. Therefore, on a patch with , the most general symmetry-allowed form is
with holomorphic on its domain. This form follows directly for a monomial : ordinary charge gives and R-charge gives , hence , . Each allowed monomial is and already has mass dimension three. Charge symmetry alone leaves undetermined.
To constrain perturbative loops, retain the original elementary chiral superfield and a nonzero infrared cutoff, rather than integrating out the entire field. A regular perturbative superpotential can be expanded about , so and
Terms with have poles at . They are excluded by regularity of the local Wilsonian coefficients in the massless limit with the infrared cutoff fixed. At the theory is Gaussian, so the quadratic coefficient remains . The term linear in is the single original cubic vertex: a diagram with three external fields and only that one interaction vertex has no internal loop. Holomorphy disallows coefficients involving or , so it cannot conceal the usual nonholomorphic wave-function corrections in . Matching the one-vertex term gives . Thus the holomorphy argument for superpotential non-renormalization gives
The infrared qualification matters: a singular one-particle-irreducible expression or the action after eliminating an entire massive multiplet is not the same local Wilsonian effective action for the retained field.
Consequently the holomorphic superpotential and its parameters m and g receive no perturbative vertex renormalization. The Kähler potential does undergo wave-function renormalization. If its quadratic term is , then canonical normalization gives and
These canonically normalized running couplings can therefore be renormalized despite the non-renormalization theorem for the holomorphic superpotential. Loop corrections can also change the effective scalar potential through the corrected Kähler metric. The distinction between holomorphic coefficients and canonically normalized couplings is essential to answering the renormalization question.
For the usual canonical scalar field theory, subtract the vacuum energy so that the potential is nonnegative, and write the static energy in space dimensions as
Assume finite energy and sufficient decay to justify the scaling variation, with a fixed vacuum at infinity. Under Derrick scaling ,
A static solution must be stationary under this admissible variation. Thus the Derrick virial identity is
For both terms are nonpositive, and the coefficient of is strictly negative. Therefore : the field is a constant vacuum. This proves the Derrick theorem under its hypotheses. Negative potentials, additional derivative terms, gauge fields or time dependence can invalidate this particular obstruction; it is not a theorem about arbitrary energy functionals.
A non-topological soliton can instead be supported by a conserved ordinary Noether charge. For a complex scalar field with global invariance, take and let . In the normalization with kinetic density , its charge is . At fixed charge, eliminating gives
The charge-constrained scalar-field scaling now reads
The positive scaling power of the charge term can balance the others even for . Such a Q-ball is time-dependent although its energy density is stationary, and the fixed-charge variational problem is different from the static one.
Suitable potentials permit this mechanism in any spatial dimension. For example, suppose for and the ratio below attains a strictly positive minimum:
Such a potential can favor a large region of nearly constant nonzero amplitude. At its preferred amplitude, the bulk terms minimize at , with energy about . A wall has surface energy of order , lower order than the bulk term for every fixed . For large charge the energy can therefore be below the free-particle threshold . This explains how a localized fixed-charge solution may exist and resist dispersal. Existence and stability still require a suitable potential and charge range; not every complex-field theory or every member of a rotating family is a constrained minimum.
For the particular one-dimensional profile, substituting the rotating field into the equation gives
Multiplying by shows that
Both and vanish at infinity, so the integration constant is zero. Hence
Here . This potential is not globally bounded below; the existence of the displayed localized solutions alone does not prove their nonlinear stability.
Use metric signature and set
The Lorentz boost of a Q-ball gives
The peak follows . Because the equation is Lorentz invariant and the field is a scalar, this is again a solution.
The canonical stress-energy tensor gives the energy and signed physical momentum at fixed time:
The minus sign agrees with the scalar-field momentum flux in the chosen signature. For the boosted field,
and
The first integral gives . Changing variable to , so , yields
Thus the rest-energy normalization and the relativistic energy-momentum relation are
Use units , metric , and . Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta are
Canonical quantization in the Heisenberg picture imposes, at the same time ,
All other independent equal-time commutators vanish: in particular , together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian density
The Euler-Lagrange equations are . The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure . A convenient expansion is
The minus sign is a phase convention: replacing by produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,
when . The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.
Substitution into the spatial integral for makes the diagonal terms proportional to and . Terms creating or annihilating a pair have and a coefficient , so they cancel. The result before vacuum subtraction is
Commuting past leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:
A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.
The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy and mass , because
Repeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.
For the global phase transformation , , Noether theorem gives . Its divergence is
With vanishing boundary flux, the integral of is a conserved charge. Substituting the modes gives, before charge normal ordering, . The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operator
The mode commutators imply and , so
Thus the particle carries charge , the antiparticle carries charge , and a state with occupation numbers has charge . Also and , agreeing with the phase transformation and charge conservation.
The conjugate complex scalar field has the opposite charge. Thus the derivative on in the kinetic term must mean , while the derivative on is . This is the conjugate gauge covariant derivative. Applying the same plus-charge differential operator to both fields would not give the stated gauge-invariant theory. For example, take , and ; the literal plus-charge kinetic product changes from to . The opposite-charge interpretation removes this term.
For an arbitrary real function , take
Then and the conjugate derivative transforms oppositely. Also because mixed derivatives commute. The kinetic contraction and are unchanged, proving local U(1) gauge symmetry.
Expanding the covariant kinetic term identifies the interactions:
The first term gives the scalar electrodynamics three-point vertex, and the second gives the seagull vertex. For scalar charge flow from an incoming particle of momentum to an outgoing one of momentum , the factors are
The factor two in the second rule comes from the two identical photon fields. Equivalently, with all momenta incoming, the three-point rule is for a leg of momentum and a leg of momentum . An antiparticle line has the opposite charge-flow sign. The vertices are shown with dashed scalar lines and wavy photon lines:
For particle-antiparticle scattering, use incoming and outgoing , with particle momenta. At order , there are exactly two tree-level Feynman diagrams: -channel photon exchange and -channel annihilation. The seagull vertex has only two scalar legs and cannot alone provide four external scalar legs.
Figure 2.
The leading t-channel photon exchange and s-channel annihilation diagrams for scalar particle-antiparticle scattering
. Details.
Set and . The external currents are
All are transverse to the corresponding exchanged momentum: for instance and . This is the on-shell scalar quantum electrodynamics Ward identity. With the vertex convention above,
The relative sign comes from the opposite particle/antiparticle charge in the exchange diagram and the two equal annihilation-vertex signs.
To see how the Coulomb gauge expression becomes covariant, let be either pair, , and initially take . The displayed photon propagator gives
Current conservation gives and the same identity for . Since , the temporal coefficient simplifies as
Therefore
The common Feynman pole prescription is understood in these formulas. This Coulomb-gauge propagator between conserved currents identity proves equality of the physical amplitudes despite the noncovariant individual propagator components. It should be formed before taking limits such as : individual instantaneous and transverse terms can be undefined separately in that limit while their sum has a finite covariant limit away from a physical pole.
Substitution gives the final scattering amplitude
Here are the Mandelstam variables for the equal-mass external scalars. This is scalar particle-antiparticle tree scattering; overall external-state phases do not affect its relative channel sign.
Chirality and the component expansion. A chiral superfield is constrained by
Use left Grassmann derivatives. The sign from differentiating an odd factor matters:
For a general superfield written in coordinates , the odd chain rule consequently turns the given superspace covariant derivative into
The chirality constraint removes the explicit dependence at fixed . There are only two components of , and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is therefore
Here is a complex scalar field, a Weyl spinor, and a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor is the standard canonical component normalization. In ordinary coordinates the same statement is
This translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.
A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, . Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.
The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian density
Full superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive and algebraic elimination give . The Wess–Zumino model uses the canonical choice at tree level.
Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density is
Substitution leaves . Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potential
This applies for complex . In terms of canonically normalized real fields , phases may be chosen to make real, in which case
The complex-field quartic interaction is . There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor :
The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is
Figure 1.
Quartic complex-scalar Wess–Zumino vertex with two legs of each field type and its factorial-normalized Feynman rule
. Details.
If real-field Feynman rules are preferred, the and vertices are , while the vertex is . These are the same interaction in a different component basis. They should not be confused with a convention that absorbs into the coefficient of the complex quartic term.
Spurion symmetries. Treat as chiral spurions. An ordinary acts on with charges and leaves neutral. An R-symmetry gives charge one and charges . Thus
QuantityOrdinary Mass dimension
111
01
0
01
023
Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.
The general holomorphic form. Let denote the local effective superpotential, reserving for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination is neutral under both formal symmetries, whereas has the required dimension and charges. Hence, for , their most general allowed form is
with a holomorphic function before perturbative regularity and matching conditions are imposed. Equivalently, a monomial must obey
Solving gives , . Thus the terms in the holomorphic expansion have the form , which is precisely the expansion of the displayed function.
What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as and : no massless infrared modes have been integrated all the way to zero momentum. Negative powers of are incompatible with the free weak-coupling limit, and powers would require negative powers of . Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no is the free-theory mass term, while a cubic term only linear in is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on cannot repair it in a superpotential. Matching to the specified tree action fixes
The limit is taken in the final polynomial, not by evaluating the intermediate ratio . The holomorphic Wilsonian superpotential and its parameters receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function ; regularity and the free/tree matching are necessary to reach the stronger conclusion.
The Kähler potential is not protected by that theorem. In particular a corrected kinetic term leads to wave-function renormalization. Writing in canonical normalization gives
These holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.
Use the hypercharge normalization . All matter chiral superfields are written with left-handed Weyl spinors, so the fields denoted by a superscript contain the charge conjugates of the usual right-handed Standard Model fermions. The MSSM superfield representations are
Each fermion generation contributes the first five chiral superfields. Their complex scalar field partners are squarks for the quarks and sleptons for the leptons. Each Higgs chiral doublet contains a Higgs complex scalar field and a higgsino. Every chiral superfield also has a complex auxiliary field. The vector superfields are
They contain the corresponding gauge bosons, gauginos in the Adjoint representation, and real auxiliary fields. A right-handed neutrino chiral superfield is not part of the minimal field content.
A gauge anomaly is a quantum obstruction to a classical gauge symmetry. For hypercharge, triangle diagrams with left-handed Weyl spinors can violate the Ward identity of the gauge boson; an uncancelled gauge anomaly makes the gauge theory inconsistent. Anomaly cancellation sums over every component, including colour and weak multiplicities. Complex scalar fields do not contribute to these chiral gauge anomalies. For one fermion generation, the cubic hypercharge coefficient is
The other coefficients involving a hypercharge gauge boson vanish too. With the fundamental index ,
The last line is the mixed gauge-gravitational anomaly. Coefficients with one non-Abelian generator and two hypercharge generators vanish by tracelessness. For completeness, the purely colour cubic gauge anomaly cancels between the two fundamental quark components and the two antifundamentals; the weak group has no perturbative cubic gauge anomaly. Its four left-handed doublets per fermion generation also avoid the Witten SU(2) anomaly. Thus each family is separately anomaly-free, not merely their sum.
The gauginos do not spoil this result: their hypercharge is zero and their Adjoint representation is real. One extra Higgs chiral doublet is different because its higgsino is chiral. For , its contributions are
They have no compensating contribution from the Higgs complex scalar field. The higgsino in supplies precisely the negative of each coefficient. Opposite-hypercharge Higgs chiral doublets restore anomaly cancellation. The same pair restores an even number of weak fermion doublets, so the Witten SU(2) anomaly provides an additional check of the higgsino anomaly cancellation.
The independent reason is the holomorphic need for two Higgs chiral doublets. A superpotential is a holomorphic function of chiral superfields, so it cannot use a conjugate Higgs superfield to generate the missing Yukawa couplings. The ordinary Standard Model can use a Higgs scalar and its conjugate, but the MSSM needs distinct chiral superfields of both hypercharges. For example,
where the dot contracts weak indices with the antisymmetric tensor. All three terms are gauge-invariant holomorphic functions. supplies up-type masses, while supplies down-type and charged-lepton masses. Replacing either by the conjugate of the other would violate the holomorphic closure of chiral superfields.
Use the minimal four-dimensional Super-Poincaré algebra, with , and commuting translations. Lorentz covariance and closure on the existing supercharges permit only
The graded Jacobi identity for therefore gives
For example, with , and , the coefficient is a nonzero multiple of . Independence of the translation generators forces . Its adjoint gives the barred result. Thus every supercharge commutes with four-momentum:
Consequently . If has a particular mass-shell condition, the nonzero state has the same one. This gives supersymmetric mass degeneracy within an unbroken physical supermultiplet. The qualification matters: after spontaneous supersymmetry breaking, the chosen vacuum is not annihilated by the supercharges, and its one-particle excitations need not constitute degenerate supermultiplets.
For the O'Raifeartaigh model, write , , . Field phases allow to be positive. The canonical Kähler potential and elimination of the auxiliary fields give the F-term scalar potential
A supersymmetric vacuum would require , hence , while could not vanish. Thus F-flatness is impossible. More precisely, with ,
The stated strict inequality makes every nonconstant term nonnegative. The entire classical vacuum family is
Here , while . The Weyl spinor is the massless goldstino, and the complex scalar field is a pseudomodulus with two zero tree-level squared masses. The hierarchy separates the massive fields from the breaking scale, but it does not itself select along this flat direction.
At the representative vacuum , the chiral-superfield fermion mass matrix is
Its physical masses are its singular values: . The two massive Weyl spinors can be combined into one massive Dirac spinor. For , , the real scalar squared masses are
In particular, there is no tachyon under the stated inequality. The splitting of the masses displays supersymmetry breaking directly.
For completeness, the mass spectrum can be given throughout the classical vacuum family, rather than silently fixing the pseudomodulus. A phase rotation makes real and nonnegative without changing physical masses. The massive fermion squared masses are
The real and imaginary scalar sectors have two-by-two scalar squared-mass matrices
whose eigenvalues are
Both determinants are and their traces are positive, so stability holds at every finite . Quantum corrections can lift a pseudomodulus; these formulas describe the classical, tree-level spectrum requested here.
Define the physical mass supertrace by
Each real scalar contributes once and each Weyl spinor twice with a minus sign. At this gives . At general , . Hence the tree-level mass supertrace vanishes despite broken supersymmetry:
This is the tree-level supertrace mass sum rule, not a claim that the individual masses are equal.
For direct breaking in the Minimal supersymmetric Standard Model, the difficulty is both field content and the tree-level spectrum. A linear gauge-invariant superpotential term needs a gauge-singlet chiral superfield, which the minimal model does not contain. Moreover, with canonical kinetic terms and purely neutral F-term breaking, without D-term mass shifts, the MSSM tree-level sfermion mass constraint applies separately to conserved charge sectors. For one electron pair it gives : both scalar partners cannot be heavy. This is an illustrative charge-sector consequence under those assumptions, not an unrestricted inference from the total supertrace alone. A separate hidden supersymmetry-breaking sector communicating effective soft supersymmetry breaking through loops or suppressed operators avoids the direct canonical tree-level obstruction.
With left Grassmann derivatives, differentiating with respect to introduces a minus sign. Consequently
At fixed , the chirality condition becomes independence of . There are only two independent Grassmann variables , so the chiral-superfield component expansion terminates:
Here is a complex scalar field, a Weyl spinor, and a complex auxiliary field. Its four real off-shell bosonic components, two in and two in , match the four real off-shell fermionic components. Equivalently, in ordinary coordinates the complete expansion is fixed without ambiguous contraction signs by
The exponential terminates because of the Grassmann algebra.
For canonical , extract the component of . The part depending on the auxiliary fields is . To extract the F-term of the superpotential, expand around the complex scalar fields:
All higher terms contain at least three identical-type Grassmann variables and vanish. In the convention , the highest component is . Therefore
Here and . The Yukawa interaction is displayed to distinguish it from the terms actually containing . With signature , the other canonical terms are , up to a total derivative.
On shell, a massless vector multiplet contains a gauge boson with two transverse polarizations and a gaugino with two fermionic states. A chiral superfield contains a complex scalar field, hence two real bosonic states, and a Weyl spinor with two fermionic states. Their total is bosonic and fermionic states.
Suppose charged scalar fields acquire vacuum expectation values at a supersymmetric vacuum, where F-flatness and D-flatness hold. For each broken generator of the gauge symmetry, the supersymmetric Higgs mechanism combines one massless vector multiplet and one chiral superfield into a massive N=1 vector multiplet. The gauge boson absorbs one real Goldstone boson, acquiring its third polarization. The other real scalar field remains physical. The gaugino and the relevant higgsino mix into the four fermionic states. Thus the spin content is
Unbroken supersymmetry gives all these states the same mass through supersymmetric mass degeneracy. Remaining massive chiral superfields instead have spin content , with two fermionic and two bosonic states of a common mass. The auxiliary fields ensure matching off shell but are not additional propagating particles in these counts.
The super-Higgs mechanism occurs when local supersymmetry is spontaneously broken in supergravity. Its spin- gauge field, the gravitino, absorbs the spin- goldstino:
The extra states have helicities , supplementing . The ordinary supersymmetric Higgs mechanism can preserve supersymmetry while breaking the internal gauge symmetry; the super-Higgs mechanism breaks the local supersymmetry itself. Spontaneously broken global supersymmetry leaves a physical massless goldstino, because there is no dynamical gravitino to absorb it.
All derivatives below are left Grassmann derivatives. Decompose the supersymmetric covariant derivatives into odd pieces
When these operators act on an arbitrary superfield, the graded Leibniz rule gives
The anticommutator of the two pure Grassmann derivatives vanishes. Also : the spacetime derivatives commute, while the and coefficients anticommute. Adding these terms proves the supercovariant derivative algebra with left derivatives,
For two unbarred derivatives, neither differentiates the coefficient of the other operator. Their coefficient products anticommute, so . The same argument with barred and unbarred coordinates exchanged gives . These signs follow the derivatives printed in this paper; a convention replacing by reverses the mixed sign as well.
Set . Left differentiation gives
The chain rule therefore makes simply at fixed . The chiral superfield constraint means that is independent of in these coordinates. Since there are only two independent entries of , its Grassmann algebra expansion terminates at degree two. Naming the coefficients gives the chiral-superfield component expansion
Here is a complex scalar field, a Weyl spinor, and a nonpropagating auxiliary field; the is their conventional normalization.
Use a local first-derivative Lagrangian density with sufficient differentiability, and let variations have compact support or vanish at the spacetime boundary. If the phrase “a function of the field” were read literally as forbidding derivatives, the equation below would reduce to ; a propagating field requires derivative dependence. Varying the action gives
Integration by parts and arbitrary interior variations yield the Euler-Lagrange field equation,
The boundary condition is part of this derivation; if boundary variations are allowed, their separate boundary equations must also be imposed.
A variational symmetry of a Lagrangian density is an infinitesimal field change for which off shell. Equality to zero is sufficient but is not necessary: a divergence changes only the boundary contribution to the action. For fixed-coordinate field variations,
Equating the two expressions proves the scalar-field form of the Noether theorem:
Thus every differentiable one-parameter variational symmetry gives a conserved current, and its Noether charge is constant when the spatial boundary flux vanishes. This is the Noether current for a first-derivative scalar field; the same identity applies to several real components by summing over them. Identically conserved improvement terms can change its local expression without changing the charge under the same boundary assumptions.
For an active spacetime translation, and . If the Lagrangian density has no explicit coordinate dependence, , so . The Noether current is , where
These four translation currents are the canonical stress-energy tensor, also called the energy-momentum tensor. The sign in follows from the chosen active translation; the translation charges themselves can be labelled by .
For the free real scalar field, take the standard kinetic term and mass term. Its Lagrangian density and Klein-Gordon equation are
Here , so . Raising the charge index gives the four-momentum of a free real scalar field,
The first is total energy, and the three components of the second are physical spatial momentum. With signature , ; this explains the opposite sign if the conserved quantities are instead written with lower spatial indices. For example, a plane wave proportional to has momentum density along , confirming the sign. All charges require convergence of the integrals and vanishing boundary flux, or periodic boundary conditions in a finite box.
For the complex scalar field, treat and as independent variables when varying, equivalently use their two real components. The global phase symmetry of a complex scalar field is , for constant . Both the kinetic term and are invariant. This is a global internal symmetry of a classical field theory with circle group ; a spacetime-dependent phase would require a gauge connection.
Choosing this orientation for the phase parameter gives the Noether charge of a complex scalar field:
To check conservation directly, the Euler-Lagrange field equations are and their complex conjugates, assuming a real differentiable potential. Hence . Reversing the phase-parameter orientation reverses the current and charge, which is merely a convention. For a scalar carrying electric charge , the physical electric charge is after electromagnetic coupling. In a neutral theory the same global charge can instead label an internal conserved quantum number; the density alone does not identify it automatically with electricity.
Choose one free, massless complex scalar field with unit charge magnitude and bosonic statistics, minimally coupled to . To fix the sign, use the conventional gauge covariant derivative and take , so and . Its antiparticle has charge . The matter data are
There is no scalar self-interaction. For real fields before formal continuation, its action is , by integration by parts. The Gaussian functional integral gives the inverse functional determinant and thus , up to normalization.
The key operator identity is
On the formal complex gauge slice, . With matching regulators and omitted zero modes, this gives ghost-scalar determinant cancellation in a complex quadratic gauge, leaving the Maxwell action as the background functional:
where gauge-fixing terms and field-independent constants are understood separately. For a fixed background the complex scalar field and Faddeev-Popov ghost field integrals are Gaussian, so this determinant cancellation is exact within the formal construction. It is a cancellation of closed bosonic matter loops against ghost loops in that background functional. It does not prove that physical scalar quantum electrodynamics has no radiative corrections: the printed real Euclidean gauge slice contains only and misses every nonzero-curvature orbit. On that literal slice the equality is trivial; a nontrivial version requires the additional complex-contour interpretation.
Use left Grassmann derivatives for the Grassmann variables. A chiral superfield satisfies . In the derivative convention printed in the PDF, differentiating with respect to a barred coordinate brings a minus sign from moving the odd derivative through . Consequently , so the general solution depends only on and :
Here is a complex scalar field, a Weyl spinor and a complex auxiliary field. This is a finite Grassmann algebra expansion, not an assumption that the spacetime fields are constant.
For a completely convention-independent way to organize the ordinary-coordinate expansion, let . Translation by gives
All higher terms vanish because there are only two unbarred and two barred odd coordinates. For example take , signature , and , with both lower epsilon tensors having . Then and the chiral-superfield component expansion reads
The frequently written positive quarter coefficient corresponds to the opposite convention for or the spinor contractions; the preceding shift formula fixes the sign without ambiguity. The local TeX's barred derivative is damaged: the original PDF has , not a barred-coordinate factor at its end.
Write in chiral coordinates. Multiplication gives the three component constraints
On the regular branch where the ordinary commuting part of is nonzero, the nilpotent chiral superfield is therefore
The goldstino and auxiliary field are independent; the scalar is a composite, not another independent degree of freedom. Its first two constraints follow because any product of three identical two-component odd spinor entries vanishes. It is essential not to divide by on a branch with zero commuting part: for example satisfies the nilpotency condition without breaking supersymmetry.
For a regular local action with no superspace derivatives in or , nilpotency truncates the most general superpotential and Kähler potential to
The last inequality makes the kinetic Kähler metric healthy. In global four-dimensional N=1 supersymmetry, the constant and holomorphic pieces of integrate to zero, and does not affect the action. On the bosonic background , the constraint sets and the auxiliary terms are . Eliminating them gives
A nonzero is necessary for this regular constrained branch to be an on-shell vacuum. It gives nonzero and supersymmetry breaking, with the goldstino. Nilpotency alone is not a proof that every possible branch breaks supersymmetry. With the above composite parametrization is singular on shell, rather than evidence for a regular supersymmetric vacuum containing an independent Goldstino.
If these data are instead embedded in supergravity, the constant and linear terms cannot simply be discarded independently: a Kähler transformation also transforms . Before such a transformation, at the supergravity F-term potential is
Thus nonzero still breaks supersymmetry, but the vacuum energy need not be positive. This distinguishes the global answer from the local theory explicitly introduced in the next question.
Now write . The condition becomes
Using the same nonzero- branch gives the chiral superfield constrained by a nilpotent superfield
The spinor and the auxiliary remain independent; the scalar is removed. Substituting this expression verifies the other two product constraints using two-component spinor identities. It does not impose . It does imply cubic nilpotency from a mixed chiral constraint: . Indeed , so
These are exactly the three components needed for . The generic nonzero expression for shows why imposing quadratic nilpotency on would lose allowed interactions.
The analytic chiral monomials consequently reduce to . The most general superpotential is
For the Kähler potential, put . Every allowed mixed monomial is included in
This includes , , , , , and the necessary conjugates; products containing or vanish. In a global theory the holomorphic terms again integrate to zero; in supergravity they can be changed by a Kähler transformation. Positivity requires the kinetic metric on the independent multiplets to be positive definite at the chosen background, not necessarily the entire coefficient matrix on the redundant composite list . The most general claim here concerns regular analytic two-derivative actions; singular functions of the constrained fields or higher-derivative operators are outside it.
Use the canonical Kähler potential and normalize superspace integration by . The superspace Lagrangian density is
The full superspace integration produces a D-term, while the chiral superfield integral produces an F-term. Work in chiral coordinates for the chiral-superfield component expansion, so the omitted spacetime-derivative terms do not enter the extraction of .
Set . A Taylor expansion of the superpotential gives
Higher terms vanish because there are only two Grassmann variables . With and , their anticommutation gives . Thus
The canonical Kähler potential contributes . Consequently the part of the Lagrangian density containing the auxiliary field is
The fermion terms coming from the superpotential are
The Weyl spinor kinetic term and the complex scalar field kinetic term are canonical because .
Treat and as independent variables in their algebraic Euler-Lagrange equations. They give
Equivalently,
After eliminating the auxiliary field, the Lagrangian density contains , so the F-term scalar potential is
It is nonnegative for arbitrary complex , since it is a modulus squared. A supersymmetric vacuum satisfies F-flatness, so its zeros are:
If and these coincide; if and only the origin remains; if every constant is a supersymmetric vacuum.
To compare masses, expand around a supersymmetric vacuum satisfying , writing . With ,
Writing gives the scalar field mass term ; the Weyl spinor has physical mass . Therefore the supersymmetric mass degeneracy is
In particular, at the boson and fermion masses are both . At the second supersymmetric vacuum the sign of reverses, but the physical mass is again . Equality here concerns fluctuations about a supersymmetric vacuum, not arbitrary backgrounds with .
In the convention and , the same superpotential coefficient gives and . The supersymmetric relation between quartic and Yukawa couplings is therefore
If instead the Yukawa interaction is written , then and the same physical relation is . The numerical factor depends on the definition of the Yukawa coupling.
The perturbative non-renormalization theorem applies to the local holomorphic superpotential in the Wilsonian effective action, using regularization in quantum field theory that preserves supersymmetry. There are two complementary ways to see why it applies here.
First, in supergraph calculations in perturbative quantum field theory, the algebra of supersymmetric covariant derivatives puts any candidate local correction to the superpotential into a full superspace integration. It therefore corrects a D-term, such as the Kähler potential, rather than a local chiral F-term. Turning such a contribution into an apparent chiral integral would require nonlocal inverse spacetime derivatives, schematically . These are excluded from the local Wilsonian effective action with a fixed nonzero momentum cutoff. This gives the diagrammatic non-renormalization theorem.
Second, the holomorphy argument for superpotential non-renormalization treats and as background chiral spurions, so the Wilsonian effective action superpotential is a holomorphic function of , with no dependence on or . Assign an ordinary spurion charge and an R-charge as follows:
The superpotential has ordinary charge zero and R-charge two, since has R-charge minus two. A prospective holomorphic monomial must therefore satisfy
For perturbative corrections, regularity at and requires nonnegative powers of the couplings. Regularity in is justified by keeping a nonzero Wilsonian momentum cutoff and retaining as a light field. Hence only and survive: the existing and structures. The quadratic coefficient is fixed by the free theory at , where there are no interaction loops. The cubic coefficient is fixed at first order in , where a connected three-field interaction has only its tree-level Feynman diagram; loop corrections would require further powers of the interaction couplings, which the holomorphy argument for superpotential non-renormalization charge constraints forbid. Thus
A field-independent constant is physically irrelevant in this rigid model; the spurion charges would in any case require , which is not regular at .
The Kähler potential can still receive wave-function renormalization. For example, gives the canonical field normalization , and consequently
These canonically normalized parameters can run with the renormalization scale; this does not contradict the holomorphic non-renormalization theorem. When massless modes are included in the full quantum effective action, nonlocal terms associated with infrared divergences can also imitate an F-term. Distinguishing that action from the local Wilsonian effective action is part of the theorem's convention.