Extended Supersymmetry Gauge Dynamics: Scope and Structure

Four-dimensional $\mathcal N=2$ and $\mathcal N=4$ gauge theories have eight and sixteen real Poincaré supercharges, respectively. That counting controls which matter multiplets exist, which vacuum branches are possible, and how much of the quantum effective action can vary. The comparison below concerns rigid gauge theories in flat four-dimensional spacetime; supergravity and topological twists require additional data.

Required background. Extended supersymmetry, R-symmetry, and central charges fixes the algebraic meaning of $\mathcal N$ and the BPS bound. Four-dimensional $\mathcal N=2$ multiplets, Lagrangians, and branches supplies the vector- and hypermultiplet structure used in the comparison.

Helpful background. Extended superspace and off-shell limits explains why a formulation making every supersymmetry manifest is not generally a finite auxiliary-field description.

Eight versus sixteen supercharges

In the rest frame, a generic massive representation is generated by fermionic raising operators obtained from the supercharges. Doubling the number of supercharges greatly enlarges a long multiplet and makes it harder to write an interaction compatible with all of them. In four dimensions the relevant local field multiplets are:

theory	vector multiplet bosons	matter option	R-symmetry in flat space
$\mathcal N=2$	$A_\mu$ and one complex adjoint scalar	hypermultiplets in quaternionic representations	$SU(2)_R\times U(1)_r$
$\mathcal N=4$	$A_\mu$ and six real adjoint scalars	no separate matter multiplet is needed	$SU(4)_R\simeq Spin(6)_R$

An $\mathcal N=4$ vector multiplet decomposes, in $\mathcal N=2$ language, into one vector multiplet and one adjoint hypermultiplet. In $\mathcal N=1$ language it is one vector multiplet and three adjoint chiral multiplets. These are changes of bookkeeping, not different theories: the relative gauge, Yukawa, and scalar couplings must be the values selected by the hidden supersymmetries. Dimensional reduction of ten-dimensional $\mathcal N=1$ Yang–Mills makes the sixteen-supercharge structure especially transparent Brink, Schwarz, and Scherk 1977, §§2–3.

The count “eight” or “sixteen” is frame-independent, but the visible subgroup need not be. A four-dimensional superspace action may display only $\mathcal N=1$ supersymmetry; an $\mathcal N=2$ Coulomb-branch description can display an electric choice of special coordinates; and a compactification can expose only the subgroup commuting with its holonomy. One must distinguish the supersymmetry of the physical theory from that manifest in a chosen formalism.

Vacuum geometry and effective couplings

For an $\mathcal N=2$ theory, supersymmetric vacua can have Coulomb, Higgs, and mixed branches. On a Coulomb branch, vector-multiplet scalars acquire expectation values and the two-derivative Abelian action is governed locally by a holomorphic prepotential $\mathcal F(a)$. Its effective coupling matrix is

$$\tau_{ij}(a)=\frac{\partial^2\mathcal F}{\partial a^i\partial a^j}.$$

Perturbative and instanton corrections can make this matrix vary over the branch. The Seiberg–Witten solution demonstrates how this effective data can be encoded by periods with nontrivial electric–magnetic monodromy Seiberg and Witten 1994, §§2–4.

In $\mathcal N=4$ SYM the six adjoint scalars are related by $Spin(6)_R$. Their classical vacuum equations are simply

$$[X^I,X^J]=0,\qquad I,J=1,\ldots,6.$$

After quotienting by gauge transformations, the moduli space is

$$\mathcal M_{\rm vac}=\frac{\mathbb R^6\otimes\mathfrak t}{W},$$

where $\mathfrak t$ is a Cartan subalgebra and $W$ the Weyl group. The same sixteen supercharges forbid an ordinary running gauge coupling: the complex $\tau$ is an exactly marginal parameter of the conformal theory. This does not mean that every observable is coupling independent. Dimensions and correlators of long multiplets can depend nontrivially on $\tau$.

A structural comparison

question	$\mathcal N=2$	$\mathcal N=4$
local input	gauge algebra, hypermultiplet representations, couplings, masses	gauge algebra and one complex gauge coupling
vacuum branches	Coulomb, Higgs, and mixed branches	one $Spin(6)_R$-covariant commuting-scalar quotient
low-energy Coulomb data	generally nontrivial special Kähler geometry	flat orbifold metric up to the overall coupling normalization
beta function	constrained, but may be nonzero	vanishes in a supersymmetry-preserving scheme
protected information	holomorphic prepotential, BPS indices, chiral data	larger half-BPS sector and strong superconformal constraints
electric–magnetic duality	often a change of infrared Abelian frame	conjectured equivalence of complete ultraviolet conformal theories

The final row is a particularly important distinction. In an asymptotically free $\mathcal N=2$ theory, a magnetic coordinate can be the weakly coupled variable near one singular point of the Coulomb branch. In $\mathcal N=4$ SYM, S-duality is a stronger proposed equivalence relating the theory at $\tau$ to a globally specified dual theory at a modularly transformed coupling.

Global data survive extra supersymmetry

Extended supersymmetry fixes local interactions but does not erase global choices. The gauge algebra $\mathfrak g$ determines the local fields. A global gauge group $G$, a mutually local spectrum of genuine Wilson–’t Hooft lines, and discrete theta data determine which nonlocal probes exist. Distinct choices can share every ordinary local correlator on $\mathbb R^4$ yet transform into one another under duality.

Central charges also depend on integral charge data. A formal BPS formula written over $\mathfrak t_{\mathbb C}$ becomes a spectrum only after electric and magnetic lattices, screening, and stability have been specified. Thus supersymmetry controls the possible shortening relation; the complete theory decides which charges are actually present.

Off-shell and frame limitations

No finite auxiliary-field formalism is known that is simultaneously local, Lorentz covariant, and makes all sixteen $\mathcal N=4$ supersymmetries manifest. This is a limitation of representation and calculational technology, not evidence that the on-shell algebra fails. Harmonic superspace, light-cone superspace, and lower-$\mathcal N$ superspace each make different properties manifest.

Likewise, a Lagrangian written in an electric frame cannot display electric–magnetic duality as an ordinary local field redefinition. Magnetic potentials are local only after changing polarization or dualizing in an Abelian regime. Boundary conditions and line operators remember that choice.

Exercises

1. Decompose the fields. Starting from the $\mathcal N=4$ bosons $A_\mu$ and six real scalars, recover the bosonic content of an $\mathcal N=2$ vector multiplet plus an adjoint hypermultiplet.

Solution

Choose one complex scalar from two real scalars and combine it with $A_\mu$ to form the $\mathcal N=2$ vector multiplet. The remaining four real scalars form two complex scalars, precisely the bosonic content of one hypermultiplet. All fields are adjoint-valued.

2. Locate enhanced symmetry. Explain why a root $\alpha$ satisfying $\alpha(X^I)=0$ for every $I$ labels a locus with extra massless gauge bosons.

Solution

The off-diagonal gauge field associated with $\alpha$ obtains a mass from the scalar kinetic terms proportional to $\sum_I\lvert\alpha(X^I)\rvert^2$. It becomes massless exactly when all six components vanish. At that locus the corresponding root generator joins the unbroken gauge algebra.

References

• Brink, Lars, John H. Schwarz, and Joël Scherk. “Supersymmetric Yang–Mills Theories.” Nuclear Physics B 121 (1977): 77–92. doi:10.1016/0550-3213(77)90328-5.
• Seiberg, Nathan, and Edward Witten. “Electric–Magnetic Duality, Monopole Condensation, and Confinement in $\mathcal N=2$ Supersymmetric Yang–Mills Theory.” Nuclear Physics B 426 (1994): 19–52; erratum 430 (1994): 485–486. doi:10.1016/0550-3213(94)90124-4.