Skip to content

O’Raifeartaigh and Fayet–Iliopoulos Model Laboratories

O’Raifeartaigh and Fayet–Iliopoulos models are small enough that every claim about supersymmetry breaking can be checked directly. The first makes F-flatness equations incompatible and leaves a tree-level pseudomodulus; the second uses an Abelian D-term and exhibits an exact transition between gauge-preserving and Higgsed broken vacua. Solving both models exposes the extra work hidden behind the phrase “FF-term” or “DD-term breaking”: stationarity, physical masses, tachyon boundaries, gauge consistency, and the goldstino direction.

Required background. Use the order-parameter and fermion-zero-mode derivation on F- and D-Term Breaking, Vacuum Energy, and the Goldstino, together with the component action on Wess–Zumino Models.

Helpful background. The Abelian example uses the auxiliary and gauge conventions on Gauge–Matter Systems, F- and D-Term Potentials.

Consider three canonical chiral multiplets X,ϕ1,ϕ2X,\phi_1,\phi_2 with real positive parameters f,h,mf,h,m and

W=fX+h2Xϕ12+mϕ1ϕ2.W=fX+\frac{h}{2}X\phi_1^2+m\phi_1\phi_2.

The continuous R-charges R(X)=R(ϕ2)=2R(X)=R(\phi_2)=2 and R(ϕ1)=0R(\phi_1)=0 make R(W)=2R(W)=2. The auxiliary equations are

FX=(f+h2ϕ12),F1=(hXϕ1+mϕ2),F2=mϕ1.\begin{aligned} F_X^*&=-\left(f+\frac{h}{2}\phi_1^2\right),\\ F_1^*&=-(hX\phi_1+m\phi_2),\\ F_2^*&=-m\phi_1. \end{aligned}

For m0m\neq0, F2=0F_2=0 forces ϕ1=0\phi_1=0; then F1=0F_1=0 forces ϕ2=0\phi_2=0, while FX=fF_X=-f remains. The F-flatness equations are incompatible. The scalar potential is

V=f+h2ϕ122+hXϕ1+mϕ22+m2ϕ12.V=\left|f+\frac h2\phi_1^2\right|^2 +\left|hX\phi_1+m\phi_2\right|^2 +m^2\left|\phi_1\right|^2.

It has the stationary valley

ϕ1=ϕ2=0,X arbitrary,V=f2.\phi_1=\phi_2=0, \qquad X\ \text{arbitrary}, \qquad V=f^2.

The arbitrary complex XX is a pseudomodulus: flat at tree level but not protected from a quantum potential. For

yhfm2<1,y\equiv\frac{hf}{m^2}<1,

the valley is actually the global tree-level minimum. Indeed,

f+h2ϕ122f2hfϕ12+h24ϕ14,\left|f+\frac h2\phi_1^2\right|^2 \geq f^2-hf|\phi_1|^2+\frac{h^2}{4}|\phi_1|^4,

so Vf2+(m2hf)ϕ12+h2ϕ14/4V\geq f^2+(m^2-hf)|\phi_1|^2+h^2|\phi_1|^4/4. Equality requires ϕ1=ϕ2=0\phi_1=\phi_2=0. This lower bound is the global check that the incompatible equations alone did not provide.

Set X=0X=0 on the valley. The chiral-fermion mass matrix is

Wij=(00000m0m0)(X,ϕ1,ϕ2).W_{ij}= \begin{pmatrix} 0&0&0\\ 0&0&m\\ 0&m&0 \end{pmatrix}_{(X,\phi_1,\phi_2)}.

Thus ψX\psi_X is massless and is exactly the goldstino, while ψ1\psi_1 and ψ2\psi_2 form a Dirac fermion of mass mm. Writing each complex heavy scalar as two real fields gives

mB2={m2+hf, m2hf, m2, m2}.m_B^2=\{m^2+hf,\ m^2-hf,\ m^2,\ m^2\}.

The real and imaginary parts of XX remain massless at tree level. The complete local diagnosis is therefore

QuantityResult at X=ϕ1=ϕ2=0X=\phi_1=\phi_2=0
Order parameterFX=fF_X=-f
Vacuum energyf2f^2
GoldstinoG=ψXG=\psi_X up to phase
Heavy fermionstwo Weyl fermions with mF2=m2m_F^2=m^2
Heavy scalarsm2±hf,m2,m2m^2\pm hf,m^2,m^2
Stability boundaryhf=m2hf=m^2
Flat directionsone complex tree-level pseudomodulus XX

At hf=m2hf=m^2, an additional scalar becomes massless; for hf>m2hf>m^2, the origin of the valley is tachyonic and cannot be used as a vacuum. The cancellation

STrM2=(m2+hf)+(m2hf)+2m22(2m2)=0\operatorname{STr}\mathcal M^2 =(m^2+hf)+(m^2-hf)+2m^2-2(2m^2)=0

is a useful normalization check, not a proof of stability. O’Raifeartaigh’s original construction established this chiral mechanism O’Raifeartaigh 1975, pp. 331–352; the relation between flat directions and the goldstino is treated systematically in Weinberg 2000, §26.5, pp. 83–86.

For X0X\neq0, the heavy masses depend on XX even though the tree potential does not. Their exact eigenvalues and the resulting one-loop lifting are calculated on Pseudomoduli, Quantum Lifting, and Metastability.

An anomaly-free Fayet–Iliopoulos laboratory

Section titled “An anomaly-free Fayet–Iliopoulos laboratory”

Now take a rigid U(1)U(1) gauge theory with canonical chiral fields Φ+\Phi_+ and Φ\Phi_- of charges +1+1 and 1-1, superpotential

W=mΦ+Φ,W=m\Phi_+\Phi_-,

and a positive FI parameter ξ\xi. The opposite charges cancel both the cubic gauge anomaly and the mixed gauge–gravitational anomaly. With

x=ϕ+2,z=ϕ2,x=|\phi_+|^2, \qquad z=|\phi_-|^2,

the potential is

V=m2(x+z)+g22(xz+ξ)2,D=g(xz+ξ).V=m^2(x+z)+\frac{g^2}{2}(x-z+\xi)^2, \qquad D=-g(x-z+\xi).

There is no supersymmetric configuration when mξ0m\xi\neq0: F-flatness sets both scalars to zero, where D=gξD=-g\xi. Unlike the F-term example, however, the identity of the vacuum changes at a calculable tachyon boundary.

At the origin,

m+2=m2+g2ξ,m2=m2g2ξ.m_+^2=m^2+g^2\xi, \qquad m_-^2=m^2-g^2\xi.

For g2ξ<m2g^2\xi<m^2, both are positive and the origin is the global minimum:

ϕ+=ϕ=0,V0=g2ξ22,D=gξ.\phi_+=\phi_-=0, \qquad V_0=\frac{g^2\xi^2}{2}, \qquad D=-g\xi.

The gauge symmetry is unbroken. The two matter fermions have mass mm; the massless gaugino shifts under supersymmetry and is the goldstino. At g2ξ=m2g^2\xi=m^2, ϕ\phi_- becomes massless, so an expansion that assumes the origin is isolated fails.

For g2ξ>m2g^2\xi>m^2, the origin has a ϕ\phi_- tachyon. Minimization instead gives

ϕ+=0,ϕ2=v2=ξm2g2,\phi_+=0, \qquad |\phi_-|^2=v^2=\xi-\frac{m^2}{g^2},

with

D=m2g,F+=mϕ,V0=m2ξm42g2.D=-\frac{m^2}{g}, \qquad F_+=-m\phi_-^*, \qquad V_0=m^2\xi-\frac{m^4}{2g^2}.

The U(1)U(1) is Higgsed. In the normalization ϕ=v+(h+ia)/2\phi_-=v+(h+ia)/\sqrt2, the gauge boson and radial scalar have

mA2=mh2=2g2v2,m_A^2=m_h^2=2g^2v^2,

while the two real components of ϕ+\phi_+ have m2=2m2m^2=2m^2. The phase aa is the gauge Goldstone mode. Up to phases, the fermion matrix in the basis (λ,ψ,ψ+)(\lambda,\psi_-,\psi_+) is

MF=(02gv02gv0m0m0).\mathcal M_F= \begin{pmatrix} 0&\sqrt2gv&0\\ \sqrt2gv&0&m\\ 0&m&0 \end{pmatrix}.

It has one zero eigenvalue and two eigenvalues with squared mass m2+2g2v2m^2+2g^2v^2. The zero mode is precisely

G=1V0(F+ψ+iD2λ).G=\frac{1}{\sqrt{V_0}} \left(F_+^*\psi_+-\frac{iD}{\sqrt2}\lambda\right).

The bosonic and fermionic weighted mass-squared sums agree:

4mA2+4m2=4(mA2+m2),4m_A^2+4m^2 =4(m_A^2+m^2),

another useful check on the quadratic expansion. Fayet and Iliopoulos introduced the Abelian D-term mechanism in Fayet and Iliopoulos 1974, pp. 461–464; the two branches and their mixed goldstino are derived in Weinberg 2000, §§27.2 and 27.5, pp. 122–128 and 144–148.

QuestionO’Raifeartaigh modelFI model
Why are flatness equations incompatible?F2=F1=0F_2=F_1=0 leaves FX=fF_X=-fF-flatness fixes the origin, where D=gξD=-g\xi
Primary order parameterF-termD-term, or mixed F/D after Higgsing
Gauge symmetryabsentpreserved below and Higgsed above g2ξ=m2g^2\xi=m^2
Tree-level dangerpseudomodulus and hf=m2hf=m^2 tachyon boundarycharged-scalar tachyon at g2ξ=m2g^2\xi=m^2
GoldstinoψX\psi_Xgaugino below the boundary; mixed above it
Next calculationloop-lift XXinclude gauge thresholds and check FI consistency

Both examples are renormalizable rigid theories. A constant FI term exists only for an Abelian factor. Its coupling to supergravity and to a UV-complete theory imposes additional gauge-invariance and global-structure conditions; the rigid calculation does not settle those questions. Likewise, a field-content choice with uncancelled gauge anomalies would invalidate the FI model before any vacuum analysis.

Neither example has a supersymmetric vacuum in its finite canonical field space for the stated nonzero parameters. More elaborate O’Raifeartaigh models can possess runaways or distant supersymmetric vacua; a local spectrum must therefore never be promoted to a global statement without inspecting the full potential.

Rank condition without a minimum. Incompatible F equations prove the absence of an F-flat point, not the existence of a stable nonsupersymmetric vacuum. The scalar Hessian and behavior at infinity remain mandatory.

A zero scalar mass labeled “Goldstone.” The O’Raifeartaigh field XX is a pseudomodulus, not a symmetry Goldstone mode. In the FI Higgs phase, the phase of ϕ\phi_- is a gauge direction and is removed from the physical spectrum.

Pure D-breaking assumed on both FI branches. Above the Higgsing boundary, F+=mϕF_+=-m\phi_-^* is also nonzero. The goldstino is consequently a chiral–gaugino mixture.

1. Prove the O’Raifeartaigh lower bound. Show that hf<m2hf<m^2 makes ϕ1=ϕ2=0\phi_1=\phi_2=0 the global tree-level minimum for every XX.

Solution

Use Re(ϕ12)ϕ12\operatorname{Re}(\phi_1^2)\geq-|\phi_1|^2 to obtain

f+h2ϕ122f2hfϕ12+h24ϕ14.\left|f+\frac h2\phi_1^2\right|^2 \geq f^2-hf|\phi_1|^2+\frac{h^2}{4}|\phi_1|^4.

The other two terms in VV are nonnegative, and m2ϕ12m^2|\phi_1|^2 combines with the negative term to give (m2hf)ϕ12>0(m^2-hf)|\phi_1|^2>0. Equality requires ϕ1=0\phi_1=0, then mϕ22=0|m\phi_2|^2=0. The value of XX is unrestricted, so the minimum is a valley with energy f2f^2.

2. Derive the FI branches. Starting from V=m2(x+z)+g2(xz+ξ)2/2V=m^2(x+z)+g^2(x-z+\xi)^2/2, minimize over nonnegative x,zx,z and recover the boundary g2ξ=m2g^2\xi=m^2.

Solution

The stationary conditions before imposing nonnegativity are

Vx=m2+g2(xz+ξ),Vz=m2g2(xz+ξ).\frac{\partial V}{\partial x}=m^2+g^2(x-z+\xi), \qquad \frac{\partial V}{\partial z}=m^2-g^2(x-z+\xi).

They cannot vanish simultaneously for m0m\neq0. On the boundary x=0x=0, minimizing in zz gives z=ξm2/g2z=\xi-m^2/g^2 when this is nonnegative. Otherwise the constrained minimum is x=z=0x=z=0. Thus the origin applies for g2ξm2g^2\xi\leq m^2 and the Higgsed solution for g2ξm2g^2\xi\geq m^2, with a massless charged scalar at equality.

3. Verify the Higgsed goldstino. Find the null vector of the displayed fermion matrix and compare the absolute chiral-to-gaugino ratio with the auxiliary-field order parameters.

Solution

For the real matrix shown, a null vector is proportional to

(102gv/m).\begin{pmatrix}1\\0\\-\sqrt2gv/m\end{pmatrix}.

Hence the absolute chiral-to-gaugino ratio is 2gv/m\sqrt2gv/m. The auxiliary direction gives

F+D/2=mvm2/(2g)=2gvm.\frac{|F_+|}{|D|/\sqrt2} =\frac{mv}{m^2/(\sqrt2g)} =\frac{\sqrt2gv}{m}.

The relative phase depends on the gaugino and vacuum conventions, while the ratio and norm F+2+D2/2=V0|F_+|^2+D^2/2=V_0 are invariant.

  • Fayet, P., and J. Iliopoulos. “Spontaneously Broken Supergauge Symmetries and Goldstone Spinors.” Physics Letters B 51 (1974): 461–464. DOI.
  • O’Raifeartaigh, L. “Spontaneous Symmetry Breaking for Chiral Scalar Superfields.” Nuclear Physics B 96 (1975): 331–352. DOI.
  • Weinberg, S. The Quantum Theory of Fields, Volume III: Supersymmetry. Cambridge: Cambridge University Press, 2000, §§26.5, 27.2, and 27.5. DOI.