In the conventional two-derivative supergravity action described by a Kähler potential, superpotential and gauge kinetic function, a constant Fayet–Iliopoulos term cannot be added independently of the gauging. It makes the Abelian gauging an R-symmetry gauging, and the superpotential must have the corresponding gauge transformation. Thus the rigid Abelian constant is subject to extra local consistency conditions. This statement concerns the conventional matter-coupled action, not distinct nonstandard FI constructions.
For canonical Kähler potential, set , , . The supplied supergravity F-term potential is . Adding with , and gives a supersymmetric vacuum at , . The branch has positive energy , D-term breaking and a flat direction of a scalar potential in . Its charged squared masses are , so it is a local minimum valley only when both are positive. For negative , exchange the charged fields. These are branches rather than two isolated minima; a conventional constant Fayet–Iliopoulos term additionally needs a consistent supergravity gauge completion.
For canonical chiral superfields, nonzero , a gauged with charges , and no Fayet–Iliopoulos term, F-flatness requires the charged product to vanish and D-flatness requires equal charged magnitudes. Together they force both charged scalar values to zero, leaving the neutral scalar arbitrary. The vacuum moduli space of a supersymmetric gauge theory has zero energy, unbroken gauge symmetry and unbroken supersymmetry. At , equal nonzero charged magnitudes instead permit a gauge-Higgsed supersymmetric branch. A neutral modulus alone does not imply internal gauge breaking.
Specify the gauge group, its gauge group representations and gaugings, a real Kähler potential , a holomorphic superpotential , and a symmetric holomorphic gauge kinetic function , with positive kinetic matrices. The latter includes the gauge couplings and theta angles; allowed Abelian Fayet–Iliopoulos terms require constants . For local supersymmetry, also specify the Planck mass; constant Fayet–Iliopoulos terms in conventional N=1 supergravity require a compatible gauged R-symmetry and transformation of . and are holomorphic; generally is not. Radiative corrections generally change . The Wilsonian effective action obeys superpotential non-renormalization perturbatively, although physical couplings run through field normalization and nonperturbative corrections can change . The gauge kinetic function does receive corrections while remaining holomorphic; its perturbative Wilsonian running has one-loop exactness of the holomorphic gauge kinetic function, not all-order constancy of the physical gauge coupling.
For a massless supermultiplet, put the momentum along the third axis. The matrix in the supersymmetry algebra has rank one, so only one fermionic oscillator acts nontrivially. It relates states whose helicities differ by . Including the antiparticles required by CPT completion of a supermultiplet gives the following complete spectra.
A chiral multiplet contains a complex scalar and a Weyl spinor . Its scalar particle and antiparticle have helicity ; its fermion particle and antiparticle have helicities and . Therefore , with maximum absolute helicity .
A supersymmetric vector multiplet contains a massless gauge vector , with helicities , and a Majorana spinor gaugino , with helicities . Again , now with maximum absolute helicity . The chiral and vector auxiliary fields contribute no on-shell states.
The Higgs mechanism is compatible with unbroken supersymmetry. A supersymmetric vacuum may have nonzero scalar vacuum expectation values that break the internal gauge symmetry while obeying both F-flatness and D-flatness. For example, oppositely charged chiral superfields with , no Fayet–Iliopoulos term and equal nonzero scalar magnitudes have but break the Abelian gauge group. In the supersymmetric Higgs mechanism, a massless vector multiplet combines with the chiral multiplet along the broken gauge direction. One real scalar becomes the longitudinal vector polarization; the other remains a physical real scalar, and the gaugino combines with the Higgsino into a Dirac spinor. The resulting massive vector multiplet has bosonic and fermionic states with a common mass, as in part (i). Any other uneaten chiral multiplets remain separately in the spectrum.
Take canonical kinetic terms, gauge coupling , and define the Fayet–Iliopoulos term by . If is the scalar component of the charge- chiral superfield, the relevant auxiliary field Lagrangian is
The algebraic equation eliminates and gives the D-term scalar potential
Since the superpotential vanishes, . In a homogeneous vacuum, the supersymmetry transformation of the gaugino includes
Thus gives an inhomogeneous shift: no nonzero constant supersymmetry parameter leaves this vacuum invariant. The gaugino is the goldstino, because it is the field shifting under the broken supercharge; there is no contribution here.
For , minimizing over separates three cases. If , the allowed value gives : supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If , the unconstrained zero of would have negative , so the minimum is with and . If , the minimum is supersymmetric. Consequently, with this explicitly stated sign convention,
Reversing the sign used to define the Fayet–Iliopoulos term reverses the printed sign criterion, not the physics. If , the scalar is decoupled and flat: any still breaks supersymmetry through , but the charged-field criterion does not apply.
On the broken branch, expand about :
Writing gives both real scalar modes the squared mass . There is no superpotential fermion mass and no vacuum expectation value to induce gaugino–matter-fermion mixing. The Abelian gauge symmetry is unbroken, so its vector is also massless. The complete mass spectrum of single charged-field D-term breaking is
The original chiral multiplet therefore has the squared-mass splitting
The original vector multiplet has zero mass splitting, although the nonzero means it is not an unbroken-supersymmetry representation. As a check, the tree-level supertrace mass sum rule gives when the two real scalar degrees of freedom are counted. On the broken branch all the propagating fields are massless.
There is a necessary scope qualification: one nonzero-charge Weyl fermion has an Abelian cubic gauge anomaly proportional to and a mixed gravitational gauge anomaly proportional to . These are the classical vacuum and spectrum calculations requested by the model; a consistent quantum gauge theory needs an anomaly-cancelling completion, whose additional matter must also be included in its vacuum analysis.
At two derivatives, specify the gauge group and matter representations, a real Kähler potential , a holomorphic superpotential and a symmetric holomorphic gauge kinetic function . Gauge couplings and topological angles are contained in ; global theories can also have allowed Fayet–Iliopoulos terms for Abelian factors. Local theories require the gravitational coupling and consistent gauging: a constant Fayet–Iliopoulos term is not an independent addition to arbitrary supergravity data. A constant in affects supergravity although it is irrelevant in the global theory. is not holomorphic or protected; has no perturbative Wilsonian renormalization; holomorphic is perturbatively one-loop exact. Nonperturbative corrections can modify and , and wave-function renormalization makes physical couplings run despite superpotential non-renormalization. Higher-derivative actions require further data.
Ordinary electromagnetism uses a one-form gauge potential, its gauge transformation and its curvature. On superspace the corresponding object is a superspace gauge connection, with both vector and spinor components. Write . Its graded commutator contains the flat-frame torsion plus supercurvature. The conventional constraints set the two undotted-spinor curvatures, the two dotted-spinor curvatures and the conventional mixed spinor curvature to zero; the mixed derivative algebra then determines the vector connection. The remaining independent gauge curvature is packaged into a chiral field-strength superfield. A real vector superfield is a prepotential solving these constraints, rather than four unrelated ordinary gauge potentials.
Use the left-derivative conventions of Question 5, with and . An Abelian supergauge transformation has a chiral parameter , and one consistent normalization is
The parameter is chiral so that the transformed matter is still a chiral superfield; its complex components remove more of the prepotential than an ordinary real gauge parameter. In Wess-Zumino gauge, one convenient expansion is
Its components are the gauge potential , the gaugino and the real auxiliary field . Wess-Zumino gauge removes the extra scalar and spinor components of a general real superfield. Supersymmetry transformations usually leave that gauge slice and require a compensating supergauge transformation. For a residual chiral parameter with real lowest component , the expansion gives and ; thus is the ordinary Maxwell gauge parameter.
The Abelian field strength is the Abelian field-strength chiral projection
Three barred derivatives vanish because there are only two anticommuting dotted components, so . Gauge invariance follows directly: by antichirality, while the mixed derivative algebra gives for chiral . In chiral coordinates its component structure is
where fixes the tensor normalization. Overall gaugino phase choices do not change the gauge-invariant field strength or its Bianchi constraint.
Reality of and the derivative algebra imply the superspace Yang-Mills Bianchi identity
Indeed, the two sides are the same differential operator on , because . This is the superspace counterpart of , and its components contain . It is a defining curvature constraint, not the Maxwell equations. Varying the pure gauge action additionally sets the common real superfield to zero; matter supplies a current instead.
The Supersymmetric Yang-Mills action and minimal matter coupling are
The chiral phase factors cancel in . The component matter derivative is , which transforms covariantly under the residual gauge transformation just derived. The same superspace term generates the associated matter–gaugino Yukawa coupling and auxiliary coupling, so minimal coupling is not only replacing an ordinary derivative in the scalar action. The gauge action contains , the gaugino kinetic term and . Rescaling the vector multiplet to canonical kinetic normalization gives the physical coupling . The holomorphic superpotential must be gauge invariant; a single field of nonzero continuous Abelian charge admits no nonconstant polynomial superpotential without additional fields. For several fields, invariance requires . A Fayet–Iliopoulos term is additionally possible for an Abelian factor, shifting the algebraic equation.
For a non-Abelian gauge group, and are Lie-algebra-valued, and multiplication cannot be reordered. For matter in a specified representation, set
The same matter quadratic form remains invariant. Its curvature is
At first order in an Abelian , this reduces to , fixing the factor . In the chiral gauge frame, and as an operator. The gauge-covariant Bianchi identity is , where is the conjugate curvature expressed in that same frame. It follows from the graded Jacobi identity of the covariant derivatives. Taking a trace of makes the chiral gauge action invariant. Its bosonic curvature becomes the ordinary Yang-Mills curvature, and the gaugino transforms in the Adjoint representation. A constant Fayet–Iliopoulos coefficient cannot be inserted for a simple non-Abelian group, since it would need an invariant linear functional annihilating every Lie bracket. These constructions connect the constrained superspace connection, its prepotential and its component gauge multiplet.
Take canonical kinetic terms, gauge coupling , and a nonzero charge . Define and choose the convention in which the Fayet–Iliopoulos term contributes to the Lagrangian. With one charged chiral superfield, gauge invariance permits no nonconstant polynomial superpotential; an irrelevant global constant gives . The real auxiliary field part is
Its equation of motion is . Eliminating it gives the D-term scalar potential
The gaugino transformation has the form a field-strength term, with a convention-dependent overall phase. In a translationally invariant vacuum with zero field strength, a nonzero therefore gives an inhomogeneous shift of : no nonzero supersymmetry parameter leaves the vacuum invariant. The massless Goldstino is consequently the gaugino, not the matter fermion, since .
Minimize the potential over . If , the allowed value sets , so supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If , the origin also has . For the broken branch, and the formal zero of would require negative . The actual minimum is
This is single charged-field D-term breaking. Nonzero FI parameter alone does not force breaking if a scalar can cancel it. The degenerate case is different: any breaks supersymmetry in the vector sector while the neutral scalar remains flat; the sign test above assumes an actually charged field.
Expand around the broken vacuum:
For , both canonically normalized real scalars have squared mass . The matter Weyl spinor has no superpotential mass. The gauge boson remains massless because . The gauge Yukawa coupling, proportional to , gives no fermion mixing or mass at this vacuum, so the gaugino is also massless. The tree-level spectrum is therefore
and the chiral-multiplet splitting is
The vector and its gaugino happen to remain degenerate at zero mass even though supersymmetry is broken. If the sign convention for the FI contribution is reversed, the sign criterion changes accordingly; the invariant condition is that the scalar condensate cannot cancel the auxiliary source. This is the classical toy-model spectrum; a quantum completion of the single charged-fermion theory also has to cancel its gauge anomalies.
At the usual two-derivative order, the two-derivative global supersymmetric gauge action is
Here is the chiral field-strength superfield, distinguished from the superpotential . The Kähler potential is a real gauge-invariant function, defined up to a Kähler transformation; supplies the scalar kinetic metric. The superpotential is a gauge-invariant holomorphic function of the chiral superfields. The symmetric gauge kinetic function is holomorphic and transforms so that its contraction with the field strengths is gauge invariant. Its real part supplies the gauge and gaugino kinetic coefficients and must be positive on physical configurations; its imaginary part supplies the topological angle. The final constants are Fayet–Iliopoulos terms, normalized so that they contribute when has highest component .
For the simple non-Abelian gauge group specified in the question, . Invariance of a proposed requires . A simple Lie algebra equals its commutator algebra, so no nonzero invariant covector exists. This proves that Fayet–Iliopoulos terms require an Abelian gauge factor. The last term above describes the customary Abelian extension, not an additional arbitrary coupling of the simple group.
For a renormalizable theory, after choosing matter bases the functions reduce to
Only gauge-invariant monomials are included. A nonconstant would produce interactions of dimension greater than four. Here the gauge coupling is absorbed into the connection in , while in the holomorphic normalization. A constant has no dynamical effect in global supersymmetry. The original arbitrary functions remain useful for a nonrenormalizable two-derivative effective theory, but the following argument restricts to the requested renormalizable setting.
To analyze perturbative corrections, use a local Wilsonian effective action with a nonzero infrared cutoff and keep the same elementary fields. Introduce nondynamical background chiral superfields into its F-term part:
One may additionally promote each polynomial coefficient to its own chiral spurion to track flavor charges. Treating the couplings as fields ensures that a local chiral integral depends holomorphically on : antichiral dependence would violate the chirality constraint unless accompanied by derivatives or rewritten as a D-term. This is the key use of holomorphy, rather than an assumption that all effective-action terms are holomorphic.
Give R-charge one, the matter fields charge zero, charge two and charge zero. Then the chiral measure has charge minus two, has charge two, and has charge one. These assignments define formal spurionic symmetries even if fixed numerical couplings do not enjoy the corresponding physical symmetry. An anomalous transformation is accompanied by the appropriate shift of the gauge-coupling spurion; nonperturbative dependence can record that anomaly.
For the superpotential non-renormalization argument, perturbation theory is insensitive to continuous shifts of the topological angle, which shifts the imaginary part of . A holomorphic coefficient invariant under every such shift is independent of by the Cauchy-Riemann equations. This proves perturbative gauge-coupling independence of the Wilsonian superpotential. At fixed infrared cutoff the perturbative expansion is regular near zero superpotential couplings. R-charge two therefore forces an allowed correction to be linear in , rather than involving , or inverse powers of . Flavor charges impose the corresponding monomial selection rules.
The remaining coefficient can be evaluated at zero gauge coupling. Free chiral propagators join a chiral and an antichiral endpoint. A single holomorphic superpotential vertex cannot close a loop; adding antichiral vertices violates holomorphy, while adding holomorphic vertices violates the linear spurion degree. Consequently the coefficient is its tree value. This proves, rather than merely quotes, the perturbative result
The fixed-cutoff regularity matters: integrating out a whole massive multiplet can introduce inverse masses at tree level, and infrared-singular one-particle-irreducible expressions are not this local Wilsonian superpotential.
For the gauge kinetic function, R-charge zero excludes regular positive powers of in its perturbative coefficient. Flavor spurions cannot repair this without forbidden antichiral or singular dependence. A topological-angle shift changes the tree gauge term only by its topological contribution, so the correction is invariant under the shift. Holomorphy then makes it independent of . An -loop correction to the inverse gauge coupling carries the weak-coupling behavior : only one loop has the required coupling-independent behavior. Hence the one-loop exactness of the holomorphic gauge kinetic function gives
up to a one-loop matching constant. The coefficient follows from the usual one-loop field contributions: gauge bosons and an adjoint Weyl gaugino contribute , while a chiral Weyl fermion and complex scalar contribute . Holomorphic logarithmic thresholds appear when massive fields are eliminated. This statement is about the holomorphic Wilsonian coupling, not a canonically normalized physical gauge coupling, whose running need not be one-loop exact.
The Kähler potential is integrated over all of superspace. It can depend on , on both and , and on both matter chiralities. These neutral combinations allow ordinary loop corrections, such as a Yukawa-dependent correction to , and no analogous argument forbids higher loops. Thus
Its wave-function renormalization changes physical superpotential couplings after canonical normalization even though holomorphic vertex coefficients do not change. For a single field with kinetic coefficient , for instance, and .
Finally consider perturbative renormalization of a Fayet–Iliopoulos term in an Abelian extension. A term must be invariant under for arbitrary chiral . Projection of the variation requires . An arbitrary algebraic function of background chiral spurions and their conjugates fails this requirement unless it is constant. Therefore a general coupling-dependent local FI counterterm is forbidden. The one-loop tadpole from charged scalars can still give
It is independent of interaction couplings in the connection normalization used above and proportional to the trace of the Abelian charge generator. Higher-loop diagrams require interactions and cannot produce the permitted coupling-independent additive term. Thus a traceless Abelian charge generator has no additive perturbative FI renormalization in this exactly supersymmetric setting; otherwise a one-loop, regulator-dependent tadpole is possible. Vector-field normalization can change the reported canonical parameter, and soft breaking falls outside this proof. For the specified simple group, gauge invariance forbids before and after corrections.
These are perturbative statements. Instantons or other nonperturbative effects may produce symmetry-allowed holomorphic terms, for example dependence on , so neither the superpotential result nor the one-loop gauge result should be misread as forbidding all nonperturbative corrections.
Choose canonical vector normalization, , and the convention that the Fayet–Iliopoulos term contributes . In a constant Lorentz-invariant vacuum with vanishing gauge field strength, the gaugino transformation contains
A nonzero therefore shifts a fermion by a constant under supersymmetry: no invariant vacuum can have this expectation. With only D-term breaking, the Goldstino is the gaugino . If F-term expectation values were present too, the Goldstino would instead be the corresponding linear combination of matter fermions and gauginos.
For a genuinely charged single chiral superfield, , gauge invariance forbids every nonconstant polynomial superpotential in that field. The renormalizable superspace action is consequently
where . A constant superpotential is dynamically irrelevant in global supersymmetry. Take the standard vector expansion with highest component . In the matter exponential, the term then contributes . The gauge kinetic chiral integral contributes , and the FI term contributes . Thus
The auxiliary equations are and . Completing the square gives
This is the single charged-field D-term breaking model. Its vacuum is found by minimizing over , not by assuming that a nonzero FI constant must break supersymmetry.
For , the square cannot be canceled by any . It is minimized at the origin, where
Supersymmetry breaking occurs while the internal gauge symmetry remains unbroken. Expanding the scalar potential about the origin gives
There is no superpotential fermion mass and no gaugino-matter mixing at . Therefore the chiral multiplet mass splitting is
Both real components of the complex scalar have the same positive squared mass; the gaugino is the massless Goldstino. With this sign convention and , the breaking condition is . Reversing the FI sign convention reverses this quoted charge inequality, while the condition that the scalar cannot cancel the auxiliary-field shift is unchanged.
For , the minimum instead satisfies
The nonzero charged scalar expectation breaks the continuous internal gauge symmetry and preserves supersymmetry. To see the resulting supersymmetric Higgs mechanism, choose a real representative and expand . The scalar kinetic term supplies a vector mass, the D-term potential supplies the radial scalar mass, and the Yukawa interaction pairs the two Weyl fermions. They have the common squared mass
The phase field is the absorbed Goldstone mode. There is no Goldstino in this supersymmetric Higgs vacuum; the fields assemble into a massive N=1 vector multiplet. This branch makes explicit that internal gauge breaking and supersymmetry breaking are different phenomena.
If and , the minimum of is . Both supersymmetry and the continuous gauge symmetry are then unbroken, and the fields have zero tree-level masses at that vacuum. For the degenerate uncharged case with no superpotential interactions, a nonzero still breaks supersymmetry in the vector sector, but the free chiral multiplet stays unsplit and cannot Higgs the gauge field. An uncharged field would allow additional superpotential terms, outside the genuinely charged model above.
The calculation is classical. A single charged Weyl fermion has nonzero Abelian gauge and mixed gravitational anomaly coefficients proportional to and ; a complete quantum gauge theory needs an anomaly-canceling completion. The tree-level branches above refer to the specified field content; extra fields in such a completion can change the vacuum structure.
Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write and . To match the displayed stationarity equation, use ; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are , with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential is
Differentiate with respect to , holding independent:
Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives . Conjugating it and using Hermiticity gives , the second condition in the form needed below.
At the vacuum, define and . The two conditions combine as
Here the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes , and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms are
The factor is important: the matrix directly acting on the printed is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for ,
Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion is
With the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of is proportional to the same vector . Therefore shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.
For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum , let , and
These follow by differentiating twice. The quadratic scalar potential is
The doubled scalar mass matrix has blocks
Transforming to the canonically normalized real components of preserves its trace, so the sum of real scalar mass squares is . The Weyl fermion mass squares are the eigenvalues of and their sum is . Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign and fermion weight , hence
The frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.
In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector minimizing . For , choose so that . The curvature along this real scalar direction is then at most , so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are . Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.
Use the scalar components of the three chiral superfields, and set , , and . We assume the physical sign and a nonzero coupling . The coefficient below is exactly the coefficient in the supplied D-term scalar potential; it should not be silently replaced by a differently normalized squared gauge coupling. The canonical Kähler potential has identity Kähler metric, and the three Kähler covariant derivatives of a superpotential are
Substitution in the supergravity F-term potential gives
In particular, the subtraction cancels only half of the six terms contributed by the three squares. The full scalar potential is
Its nonnegativity follows term by term from and . This is a special property of this cubic superpotential, not of a general supergravity F-term potential.
The D-term vacuum branches of a cubic superpotential must be described as branches: there are not two isolated field-space minima. First suppose . Vanishing of requires , and vanishing of the D-term scalar potential requires . Together these conditions give the vacuum expectation values
The phase of lies on a gauge orbit, and one may choose it positive and real. At this global minimum, all and the real auxiliary field of the vector multiplet vanish. It is a supersymmetric vacuum, even though the internal gauge symmetry is spontaneously broken. For , interchange and : the nonzero vacuum expectation value has magnitude . For , the supersymmetric vacuum is the entire family , with arbitrary.
The other branch has and arbitrary . Here but the real auxiliary field is nonzero for , and
Thus this branch has pure D-term supersymmetry breaking and a flat direction of a scalar potential in the neutral scalar. It is not stable at every neutral-field value. At a fixed , expansion in the charged scalars yields
Hence the two charged squared masses and the stability condition are
Above this threshold, both charged directions have positive mass squared. Continuity makes them uniformly positive in a sufficiently small neighborhood of the chosen neutral-field value, so the stationary branch is a genuine, non-strict local minimum valley. Its neutral direction stays flat. Below the threshold, a charged mass squared is negative and the branch is a saddle point. At equality it is a boundary of the stable valley, not a local minimum in the full field space: changing slightly downward and switching on the unstable charged field lowers . For example, for , put , , . Since has , one finds .
There are no further local-minimum branches under these generic assumptions. If , the expression for is strictly increasing in , so a stationary configuration with a charged condensate must have . At , an interior critical point with is impossible, because
On the boundary , the relevant scalar potential is ; on it is . Their nonnegative-domain minima give exactly the supersymmetric vacuum described above, or the origin of the charged-field branch. Thus, for nonzero , the two types are the zero-energy supersymmetric gauge orbit and the positive-energy D-breaking minimum valley above the threshold. If , the two types coalesce into the flat supersymmetric vacuum; the literal two-minimum assertion needs this parameter qualification.
In the global supersymmetry limit , the F-term scalar potential becomes and the D-term scalar potential retains its form. The same two types of branches occur, with the threshold . Supergravity instead introduces the exponential and additional positive terms. The goldstino of global supersymmetry breaking is a physical fermion; in local supersymmetry it participates in the super-Higgs mechanism. A positive vacuum energy also gravitates in supergravity. In particular, the positive-energy branch here has and hence vanishing gravitino mass from a superpotential; it is not the tuned zero-energy broken vacuum of Question 3.
There is a further gauge-consistency qualification. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and requires a corresponding nontrivial transformation of the superpotential. The apparent charges make the supplied cubic superpotential neutral, so a nonzero independent constant does not by itself specify a consistent conventional supergravity action. The computed branches are those of the supplied scalar potential; a full embedding needs compatible charges or additional fields. This restriction is explained in Van Proeyen's derivation of the superpotential gauge-covariance condition.
More generally, the supergravity moment-map constraint on D-term breaking follows directly from gauge covariance. If and the moment map is , then at a point with ,
Consequently all chiral auxiliary fields vanishing implies the D-term also vanishes there. This relation has no analogue forcing that implication in an arbitrary global supersymmetry model. Its hypothesis matters: the formal D-breaking branch above has , so it does not contradict the identity. These conventional gauge-completion restrictions are additional to the elementary minimization calculation.
Take canonical charged chiral superfield kinetic terms, gauge coupling , and no Fayet–Iliopoulos term, since none is specified. Elimination of the three complex auxiliary fields gives
The Abelian gauge auxiliary field obeys in this normalization. Thus the F-term scalar potential and the gauge D-term give
All terms are nonnegative. The normalization of can be changed together with the vector-field normalization, but the relative charges and the zero-potential conditions cannot. A noncanonical Kähler potential would change the inverse-metric factors in the F-term potential; adding a Fayet–Iliopoulos term would shift and define a different model. Neither is silently introduced here.
Let be a chiral gauge parameter. One consistent Abelian supergauge transformation convention is
for which is invariant. Wess-Zumino gauge uses the nonordinary components of to remove the superfluous scalar and spinor components of , leaving the photon, gauginos, complex scalar, and real auxiliary field of the two-dimensional vector multiplet. Ordinary gauge transformations remain.
Define the field-strength multiplet, up to conventional normalization, by
Gauge invariance follows because chirality, antichirality, , and annihilate the variation of . The same identities give
so is a twisted chiral superfield. The Fayet–Iliopoulos term is a twisted F-term. In the standard axial convention its measure has axial charge , so invariance requires
Reversing all axial-charge conventions reverses both signs but leaves this statement unchanged: the field and measure have opposite charges.
The charged matter fermions are chiral with respect to the axial symmetry. In a background with gauge flux, their functional measure has the two-dimensional axial anomaly
up to orientation and current normalization. Equivalently, a Fujikawa transformation multiplies the torus path integral by a phase proportional to . Since the background flux may be nonzero, the continuous axial survives quantum mechanically precisely when
Write the scalar components as . The superpotential gives
Choosing the sign of the Fayet–Iliopoulos term so that positive favors the positively charged fields, the full Supersymmetric quantum electrodynamics potential is
Changing the FI sign convention exchanges with in the descriptions below.
Only the Weyl fermions in the charged chiral multiplets contribute to the Abelian triangle gauge anomaly. Their cubic coefficient is
and the mixed gauge-gravitational coefficient is . Diagrammatically, the oppositely charged and fermion triangles have equal magnitudes and opposite signs. The neutral gaugino also contributes nothing, so the theory is anomaly free.
Gauge invariance and renormalizability permit the most general superpotential
After setting the linear and quadratic parameters to zero, the supersymmetric non-renormalization theorem ensures that perturbative quantum corrections do not regenerate them in the Wilsonian superpotential.
Write the scalar components as . For generic nonzero , the F-term scalar potential and D-term scalar potential, including a Fayet–Iliopoulos term, are
Every term is nonnegative. The F-flat equations force and . If , the vacuum
also makes ; if , interchange and and use . Thus for nonzero the charged vacuum expectation value spontaneously breaks the gauged through the Higgs mechanism, but means supersymmetry remains unbroken. For , the origin preserves both the gauge symmetry and supersymmetry.