R-Symmetry and Nelson–Seiberg-Type Criteria

A continuous R-symmetry can turn the F-flatness problem into a powerful counting test, but only after its hypotheses are stated. Nelson–Seiberg-type criteria concern generic, regular Wess–Zumino effective theories and specified classes of vacua; they are not unconditional equivalences between “has an R-symmetry” and “breaks supersymmetry.” This page derives the original coordinate argument, proves the useful R-charge-two versus R-neutral count near an R-symmetric locus, and gives examples that separate necessity, sufficiency, spontaneous R breaking, exceptions, and runaways.

Required background. Use the explicit rank-condition models on O’Raifeartaigh and Fayet–Iliopoulos Model Laboratories and the meaning of holomorphic parameters on Holomorphic Couplings as Background Superfields.

Helpful background. Review Multiplets, Invariants, and Selection Rules for the distinction between an exact quantum symmetry, an anomalous current, and a spurionic selection rule.

Continuous R-symmetry and F-flatness

Let the Grassmann coordinate transform as $\theta\mapsto e^{-i\alpha}\theta$. Then $\mathrm d^2\theta$ has charge $+2$, so invariance of $\int\mathrm d^2\theta\,W$ requires $R(W)=-2$ in that convention. Equivalently—and more commonly in model-building—one chooses $R(\theta)=+1$ and $R(W)=+2$. This page uses the latter convention.

For chiral fields $\Phi^i$ of R-charges $r_i$,

$$W(e^{ir_i\alpha}\Phi^i)=e^{2i\alpha}W(\Phi).$$

Differentiating at $\alpha=0$ gives the quasi-homogeneity relation

$$\sum_i r_i\Phi^iW_i=2W.$$

An R-symmetric field configuration has nonzero expectation values only for R-neutral fields. If an exact continuous R-symmetry is spontaneously broken in a stable vacuum, a massless R-axion accompanies it; anomalies or explicit R-breaking terms can lift that scalar. Supersymmetry breaking itself does not require spontaneous R breaking: the model $W=fX$ with $R(X)=2$ breaks supersymmetry through $F_X=-f$ at the R-symmetric point $X=0$.

The symmetry must be a symmetry of the quantum effective action used in the argument. An anomalous classical R-current or a bookkeeping assignment in which couplings transform as spurions is insufficient unless the corresponding background fields and anomaly effects are included.

The original Nelson–Seiberg argument

Consider a calculable Wess–Zumino effective theory with a regular Kähler metric and a superpotential containing all terms allowed by its exact symmetries with generic coefficients. Suppose a candidate vacuum spontaneously breaks a continuous R-symmetry because a field $\phi_n$ of nonzero charge $r_n$ has $\langle\phi_n\rangle\neq0$. On a local patch where a branch of the fractional power is regular, define

$$X=\phi_n^{2/r_n}, \qquad Y_i=\phi_i\phi_n^{-r_i/r_n}.$$

Then $R(X)=2$, the $Y_i$ are neutral, and R-invariance forces

$$W=Xf(Y_1,\ldots,Y_{N-1}).$$

At $X\neq0$, the F-flatness equations are

$$f(Y)=0, \qquad \frac{\partial f}{\partial Y_i}=0 \quad(i=1,\ldots,N-1).$$

These are $N$ holomorphic equations for $N-1$ variables. A generic function has no common solution, so a generic R-breaking stationary vacuum cannot be supersymmetric. Conversely, in the same class of calculable generic effective theories, generic F-term breaking requires an R-symmetry; otherwise symmetry-allowed deformations supply enough independent parameters to restore a solution. This is the content and scope of the original argument Nelson and Seiberg 1994, §§1–2, pp. 46–54.

Every italicized condition matters. The coordinate transformation can be singular, the effective Kähler metric can fail to be regular, the superpotential can be nonpolynomial or nongeneric, and the candidate vacuum can lie at infinity. Gauge fields and D-terms are outside this Wess–Zumino proof. The statement is therefore a criterion within a theory class, not a theorem about every supersymmetric QFT.

The R-charge-two versus neutral count

A more directly usable test concerns R-symmetric vacua. Partition the chiral fields into

• $X_i$, $i=1,\ldots,N_X$, with R-charge $2$;
• $Y_a$, $a=1,\ldots,N_Y$, with R-charge $0$;
• $A_\alpha$ with all other R-charges.

Near the R-symmetric locus $X_i=A_\alpha=0$, a regular R-symmetric superpotential has

$$W=\sum_{i=1}^{N_X}X_i f_i(Y)+W_{\geq2}(X,A,Y),$$

where every term in $W_{\geq2}$ contains enough non-neutral fields to make its first derivatives vanish on that locus. There,

$$F_{X_i}^*=-f_i(Y), \qquad F_{Y_a}=F_{A_\alpha}=0.$$

Thus an R-symmetric supersymmetric vacuum is exactly a common zero of

$$f_1(Y)=\cdots=f_{N_X}(Y)=0.$$

For generic holomorphic $f_i$:

• if $N_X>N_Y$, an R-symmetric solution is overdetermined and generically absent;
• if $N_X=N_Y$, isolated R-symmetric solutions are expected when they lie in the field domain;
• if $N_X<N_Y$, a solution set of expected complex dimension $N_Y-N_X$ is possible.

This is a local algebraic statement. When $N_X>N_Y$, the conclusion is “no generic R-symmetric supersymmetric vacuum on this locus,” not automatically “no supersymmetric vacuum anywhere.” Fields $A_\alpha$ can acquire expectation values, the R-symmetry can break, a singular branch can appear, or the potential can run away. Conversely, $N_X\leq N_Y$ makes a solution generic locally but does not guarantee that it is physical, stable, within the EFT, or compatible with D-flatness. The revised field-counting formulation and its polynomial assumptions are given in Kang, Li, and Sun 2013, §§2–3.

The O’Raifeartaigh count

For

$$W=fX+\frac h2X\phi_1^2+m\phi_1\phi_2,$$

the R-charge-two fields are $X$ and $\phi_2$, while $\phi_1$ is neutral. Hence $N_X=2>N_Y=1$. On the R-symmetric locus,

$$f_X(\phi_1)=f+\frac h2\phi_1^2, \qquad f_{\phi_2}(\phi_1)=m\phi_1.$$

The second equation sets $\phi_1=0$, where the first is $f\neq0$. The abstract count reproduces the explicit rank condition.

Examples that separate the claims

R-symmetric supersymmetric vacua

Let

$$W=X(f+\lambda Y^2), \qquad R(X)=2, \qquad R(Y)=0.$$

Here $N_X=N_Y=1$. The equations have solutions

$$X=0, \qquad Y^2=-\frac f\lambda,$$

so supersymmetry and the R-symmetry are both preserved. The mere presence of an R-symmetry therefore does not imply breaking.

Supersymmetry breaking without spontaneous R breaking

For $W=fX$, $N_X=1$ and $N_Y=0$. There is no F-flat point, but choosing $\langle X\rangle=0$ preserves the R-symmetry. At tree level every $X$ is degenerate, so other points on the valley break R; quantum or higher-dimensional terms decide which state is selected. “R-symmetry is necessary” in the generic-theory argument does not mean “R-symmetry must be spontaneously broken.”

Explicit R breaking can restore a distant vacuum

Add

$$\Delta W=\frac\epsilon2X^2$$

to $W=fX$. This term explicitly violates the original R-symmetry and gives a supersymmetric solution

$$X_{\rm susy}=-\frac f\epsilon.$$

As $\epsilon\to0$, the solution runs to infinity. A small explicit R-breaking parameter may therefore leave a long-lived local broken vacuum near the origin while restoring supersymmetry far away. The limit is nonuniform in field space; it must not be inferred from a finite-radius expansion.

Spontaneous R breaking requires a vacuum calculation

The field count locates possible F-flat solutions but does not determine the minimum along a pseudomodulus. In renormalizable O’Raifeartaigh models whose fields all have R-charge $0$ or $2$, the one-loop pseudomodulus mass obeys a positivity result under the standard canonical assumptions; fields with other charges are necessary for the familiar one-loop spontaneous R-breaking mechanism Shih 2008, §§2–3. They are not sufficient: the sign still depends on masses and couplings, and tachyons or runaways can intervene.

Evidence table for an R-symmetry diagnosis

Proposed conclusion	Minimum evidence	Frequent failure mode
Exact continuous R-symmetry	Quantum anomaly check and all couplings assigned as constants or dynamical backgrounds	Treating an anomalous or purely spurionic selection rule as exact
No R-symmetric SUSY vacuum	Complete $X/Y/A$ classification, generic $f_i(Y)$, and field-domain check	Applying $N_X>N_Y$ while nonstandard-charge fields have nonzero VEVs
No SUSY vacuum anywhere	Direct solution or a theorem covering every branch and infinity	Ignoring R-breaking vacua, singular loci, or runaways
Spontaneous R breaking	Stable vacuum with a nonzero R-charged order parameter	Inferring it from charges without minimizing the quantum potential
R-axion	Exact global continuous R-symmetry, spontaneous breaking, and infinite-volume Goldstone hypotheses	Forgetting an anomaly, explicit breaking, gauging, or finite volume
Genericity	Every symmetry-allowed operator at the declared EFT order has independent typical coefficients	Calling a tuned texture “generic”

This table is deliberately stricter than a charge count. A theorem-level premise and a model-level spectrum are different kinds of evidence.

Exceptions and boundaries of validity

Nongeneric coefficients. Extra zeros, factorizations, or omitted symmetry-allowed terms can create or remove F-flat solutions. Such models may be perfectly consistent, but the generic theorem no longer predicts them.

Multiple charge assignments. Accidental symmetries can permit more than one R-charge assignment. A robust counting claim must state which exact quantum R-symmetry is used and inspect alternative assignments when the theorem requires it.

Nonstandard-charge condensates. Supersymmetric vacua can occur with $A_\alpha\neq0$ and broken R-symmetry. Recent counterexample analyses trace apparent violations of simplified counts to precisely such branches and to nongeneric charge structures Amariti and Sauro 2020, §§2–4.

Singular or nonpolynomial superpotentials. Fractional powers, poles, logarithms, and dynamically generated terms change the algebraic geometry at the excluded locus. One must analyze the actual holomorphic domain rather than polynomial equation counting.

Gauge theories and D-terms. D-flatness, gauge quotients, anomalies, and strong dynamics add equations and identifications absent from the Wess–Zumino proof. A UV gauge theory may still produce a calculable Wess–Zumino description, but matching and its regime must be shown.

Runaways. If $F_i\to0$ only at infinite field distance, finite-field counting may be correct while the theory has no normalizable vacuum. The conclusion is a runaway, not automatically a stable broken phase.

Common pitfalls

“R-symmetry implies breaking.” It does not. The equations $f_i(Y)=0$ may have solutions, as the $X(f+\lambda Y^2)$ example shows.

“Broken supersymmetry implies broken R-symmetry.” It does not. $W=fX$ breaks supersymmetry at the R-symmetric point $X=0$.

Counting fields before choosing the vacuum class. $N_X>N_Y$ directly rules out only the R-symmetric locus used in its derivation. Other branches require separate analysis.

Exercises

1. Count the canonical model. Apply the R-charge-two versus neutral test to the O’Raifeartaigh superpotential and recover its incompatible equations.

Solution

$X$ and $\phi_2$ have charge $2$, while $\phi_1$ has charge $0$, so $N_X=2>N_Y=1$. The two equations are $f+h\phi_1^2/2=0$ and $m\phi_1=0$. For nonzero $f,m$, they have no common solution.

2. A count that allows supersymmetry. For $W=X_1(a+bY)+X_2(c+dY)$, count $N_X,N_Y$ and state the generic conclusion. Under what tuning does a supersymmetric solution appear?

Solution

$N_X=2$ and $N_Y=1$, so the two equations $a+bY=0$ and $c+dY=0$ are generically incompatible. They share a solution when $ad-bc=0$ (with the obvious qualifications when $b$ or $d$ vanishes). That relation is a codimension-one tuning, illustrating why “generic” is part of the theorem.

3. A nonuniform symmetry-restoring limit. In $W=fX+\epsilon X^2/2$, show why expanding at fixed $|X|<R$ can miss the supersymmetric vacuum as $\epsilon\to0$.

Solution

The F-flat solution is $X=-f/\epsilon$. For any fixed radius $R$, it lies outside the expansion domain once $|\epsilon|<|f|/R$. The local theory near the origin approaches the R-symmetric broken model, while the supersymmetric vacuum recedes to infinity. The limits $\epsilon\to0$ and $|X|\to\infty$ do not commute.

References

• Amariti, A., and D. Sauro. “On the Nelson–Seiberg Theorem: Generalizations and Counter-Examples.” European Physical Journal C 80 (2020): 656. DOI. Open preprint.
• Kang, Z., T. Li, and Z. Sun. “The Nelson–Seiberg Theorem Revised.” Journal of High Energy Physics 2013, no. 12 (2013): 093. DOI. Open preprint.
• Nelson, A. E., and N. Seiberg. “R Symmetry Breaking versus Supersymmetry Breaking.” Nuclear Physics B 416 (1994): 46–62. DOI. Open preprint.
• Shih, D. “Spontaneous R-Symmetry Breaking in O’Raifeartaigh Models.” Journal of High Energy Physics 2008, no. 02 (2008): 091. DOI. Open preprint.