Four-Dimensional N=1 Gauge Dynamics

Four-dimensional $\mathcal N=1$ gauge dynamics is unusually rigid and unusually easy to overstate. Holomorphy, anomalies, zero-mode counting, and supersymmetric vacuum equations determine exact superpotentials and moduli constraints, but they do not by themselves determine a Kähler metric, a mass spectrum, or a duality. This chapter builds one controlled inference at a time, beginning with a complete SQCD theory card and ending with product groups and compactified semiclassics.

Helpful background. ’t Hooft anomaly matching supplies the anomaly test used throughout. Global form and faithful gauge groups explains why a Lie algebra does not fix line operators. Fermion zero modes and index selection rules provides the semiclassical counting behind instanton terms.

Enter through the theory, not the slogan

Every analysis in this chapter starts with the same data:

1. the gauge algebra and global form;
2. the chiral multiplets, representations, and tree superpotential;
3. genuine line operators and any surviving higher-form symmetry;
4. faithful continuous and discrete global symmetries, including finite quotients;
5. local, global, and mixed anomalies;
6. the holomorphic-scale convention and every hierarchy of scales; and
7. the branch, deformation, and observable whose infrared behavior is being claimed.

For the main spine, the theory is massless $SU(N_c)$ SQCD with $N_f$ fundamental–antifundamental pairs and $W_{\rm tree}=0$. The fundamental matter fixes the gauge group to $SU(N_c)$ rather than a nontrivial quotient and screens fundamental Wilson probes. Consequently, words such as confinement must be tied to an infrared description or another specified observable; an asymptotic fundamental area law is unavailable because the string can break. This distinction is already visible in the classic phase discussion of Intriligator and Seiberg 1996, § 1.1, pp. 1–3, arXiv PDF.

Check your preparation

You are ready for the exact-SQCD route if you can compute a mixed gauge–R anomaly, count instanton zero modes with $T(\mathbf N)=1/2$, and distinguish a Wilsonian F-term from the full low-energy action. You are ready for the pure-gauge and compactification route if you can also track a discrete chiral anomaly, a one-form center symmetry, and a hierarchy such as $NL\Lambda\ll1$. For the chiral and product-group route, first be comfortable rebuilding the complete theory card after a field is integrated out or a node confines.

If one of those steps is unfamiliar, the prerequisite links above are not merely references: work their examples before using holomorphy to infer strong dynamics. The most common serious error in this chapter is applying a correct exact formula to the wrong theory, global form, branch, or limit.

Three routes through the chapter

Exact SQCD data

• SQCD fields, symmetries, and classical moduli constructs the theory card, anomaly coefficients, invariant coordinates, ranks, and classical branches.
• The ADS superpotential derives the unique $N_f<N_c$ term, fixes its coefficient, and tests mass decoupling.
• Quantum-modified moduli and s-confinement treats $N_f=N_c$ and $N_f=N_c+1$, where the correct infrared statement is a deformed constraint or a smooth composite description rather than the ADS runaway.
• Infrared phases and the conformal window assembles the rank regimes while separating exact constraints, perturbatively controlled endpoints, and conclusions that depend on Seiberg duality.

Pure gauge dynamics and semiclassics

• Pure super-Yang–Mills vacua and domain walls identifies the discrete chiral symmetry, $h^\vee$ vacuum sectors, line data, and the precise content of the BPS wall bound.
• Gaugino condensation fixes the condensate phases and normalization convention through anomaly matching, effective superpotentials, and holomorphic decoupling.
• Instantons, zero modes, and condensates distinguishes a controlled Higgsed instanton from an infrared-divergent strong-coupling instanton inference.
• Compactification and semiclassical continuity explains what periodic $\mathbb R^3\!\times S^1$ calculations establish and why the small-circle, decompactification, and large-$N$ limits do not commute automatically.

Chiral and product-group dynamics

• Chiral gauge theories and anomaly constraints develops a reusable analysis using the $SU(5)$ $\mathbf{10}\oplus\overline{\mathbf 5}$ theory without assuming an SQCD-like infrared spectrum.
• Dynamical supersymmetry breaking gives a controlled $SU(3)\times SU(2)$ calculation in a declared weak-coupling hierarchy, where an exact nonperturbative term and a weak tree coupling place the vacuum at large field.
• Product-group and quiver dynamics shows how node-by-node scales, bifundamental thresholds, branch choices, and global form change sequential strong dynamics.

What each kind of evidence can support

Input	Strongest typical conclusion	What it does not establish alone
Symmetry, dimension, and holomorphy	Allowed functional dependence of a Wilsonian F-term	Its nonzero coefficient or the full effective action
Fermion zero modes in a regulated saddle	Whether that saddle can contribute to a specified chiral observable	Control of an infrared-divergent size integral
Holomorphic decoupling	Exact transport between theories without a singularity on the chosen branch	Absence of untracked branches or non-holomorphic data
’t Hooft anomaly matching	A necessary consistency condition for an infrared proposal	Uniqueness of the proposal or a proof of duality
A quantum constraint or exact superpotential	Supersymmetric vacua and exact chiral relations	Kähler regularity, particle masses, or scattering amplitudes
Weakly coupled electric or magnetic endpoint	Controlled local behavior near that endpoint	Uniform control across an entire strong-coupling window
No flat direction plus a forced broken continuous symmetry	A conditional dynamical-breaking diagnostic when its vacuum and symmetry hypotheses hold	A substitute for a complete vacuum calculation or exclusion of an interacting infrared sector
A hierarchically weakly gauged neighboring node	A sequential effective theory after the first node becomes strong	The exact comparable-scale dynamics of the full quiver

The durable lesson is that exact means exact for the named holomorphic or protected object under its hypotheses. It does not mean that every infrared observable has been solved. This is the organizing principle of Intriligator and Seiberg 1996, §§ 2–5, arXiv PDF and of the textbook treatment in Shifman 2022, §§ 10.14–10.21, pp. 488–558.

A chapter-wide deformation check

The most useful consistency test is to give one flavor a mass $m$ and integrate it out. With the holomorphic convention

$$\Lambda^{b_0}=\mu^{b_0} \exp\!\left[-\frac{8\pi^2}{g_h^2(\mu)}+i\theta\right], \qquad b_0=3N_c-N_f,$$

the low-energy scale must obey

$$\Lambda_{N_f-1}^{3N_c-(N_f-1)} =m\,\Lambda_{N_f}^{3N_c-N_f}.$$

This one equation connects the ADS coefficient, the $N_f=N_c$ quantum constraint, the $N_f=N_c+1$ confining superpotential, and pure-SYM condensation. A result that fails this flow has the wrong scale power, composite normalization, branch, or coefficient.

The recursion is a stringent check inside vectorlike SQCD, but it is not a universal replacement for matching. Chiral theories can have no mass parameter that follows this path, while product groups carry several holomorphic scales and threshold relations at once. In those cases rebuild every surviving node’s matter, anomalies, faithful symmetries, and scale before importing an isolated-node result.

Review the chapter

1. Transport one exact result through three ranks

Start from the $N_f=N_c+1$ confining superpotential, add one full-rank flavor mass, and recover the $N_f=N_c$ constraint. Add a second mass and recover the $N_f=N_c-1$ ADS term. At each step identify which information is holomorphic and which statement about the infrared spectrum is additional.

Solution outline

The first F-term eliminates the massive meson component and gives $\det M-B\widetilde B=\Lambda_{N_c}^{2N_c}$ with $\Lambda_{N_c}^{2N_c}=m\Lambda_{N_c+1}^{2N_c-1}$. A second mass and the constraint yield $W=\Lambda_{N_c-1}^{2N_c+1}/\det M'$ with $\Lambda_{N_c-1}^{2N_c+1}=m'\Lambda_{N_c}^{2N_c}$. These equations and scale powers are exact Wilsonian data. Calling the first description regular at its massless origin or interpreting the second as a weakly coupled runaway also uses the stated infrared variables and, for nonchiral observables, information beyond holomorphy.

2. Separate phase evidence from a phase name

For $SU(5)$ SQCD at $N_f=7$, compute $b_e$, the proposed magnetic rank and $b_m$, and the candidate meson dimension. Classify the result and list one exact check, one perturbative check, and one input that remains duality-supported.

Solution outline

$b_e=8$, the magnetic group is $SU(2)$, and $b_m=-1$, so the proposed magnetic variables are infrared free. The candidate meson dimension is $\Delta(M)=6/7$, below the interacting scalar bound and therefore incompatible with continuing the naive interacting assignment. Exact anomalies and chiral relations are structural checks; $b_m<0$ is a controlled perturbative statement in the magnetic theory; identifying those magnetic variables with the electric infrared theory remains the Seiberg-duality input.

3. Diagnose a multi-scale overreach

In the two-node bifundamental theory, explain why writing two independent $N_f=N_c$ quantum constraints is justified when $|\Lambda_1|\gg|\Lambda_2|$ only after an intermediate theory-card update, and why the same move fails at comparable scales.

Solution outline

Near $\Lambda_1$, node 2 is a weakly gauged flavor subgroup and node 1 may be replaced by $M,B_1,\widetilde B_1$ subject to its quantum constraint. Those variables transform differently under node 2 than the ultraviolet bifundamentals, so the node-2 beta coefficient, gauge–R anomaly, branches, and one-form symmetry must be recomputed before any second strong-coupling claim. When the two scales are comparable, neither isolated-node derivation has a parametric spectator; imposing both constraints double-counts degrees of freedom and ignores allowed mixed holomorphic dependence.

Continue from here

• Duality dictionaries, operations, and global data begins only after at least one complete theory card and its exact deformations are under control. It turns the phase evidence used here into explicit electric–magnetic dictionaries and failure tests.
• The supersymmetry and duality research map separates durable results from active questions and is the right handoff for current literature beyond this chapter’s evidence boundary.
• The reference library is useful for looking up conventions or a known formula; return to the owning page before reusing a result with a different global form, rank, or limit.

References

• Intriligator, Kenneth, and Nathan Seiberg. “Lectures on Supersymmetric Gauge Theories and Electric-Magnetic Duality.” Nuclear Physics B - Proceedings Supplements 45BC (1996): 1–28. doi:10.1016/0920-5632(95)00626-5. Open PDF.
• Shifman, Mikhail. Advanced Topics in Quantum Field Theory: A Lecture Course. 2nd ed. Cambridge: Cambridge University Press, 2022. doi:10.1017/9781108885911.