N=4 SYM, S-Duality, and Higher-Dimensional Interfaces

Maximally supersymmetric Yang–Mills theory is unusually constrained, but “unusually constrained” is not the same as “fully proved.” This chapter builds the four-dimensional theory from its fields and global data, identifies the sectors in which exact statements are available, and states electric–magnetic duality as a map between complete theories. It then treats five- and six-dimensional fixed points on their own terms before using six-dimensional compactification as an explanation of four-dimensional duality frames.

Helpful background. Electric and magnetic one-form symmetries explains how line charges diagnose higher-form symmetry. Genuine line spectra and discrete theta data supplies the global-theory vocabulary used below. Conformal multiplets supplies the primary–descendant and shortening language for protected operators.

Enter the chapter

Three separations organize everything that follows.

First, a Lie algebra does not specify a gauge theory. A four-dimensional theory also needs a global gauge group, a lattice of genuine Wilson–’t Hooft lines, and any discrete theta datum. An $SL(2,\mathbb Z)$ transformation can therefore carry one theory into another rather than act as an internal symmetry of a single object.

Second, several evidential levels must not be conflated. Perturbative ultraviolet finiteness, protected BPS quantities, supersymmetric partition functions, duality walls, and higher-dimensional or string constructions probe different parts of the theory. Together they provide powerful evidence for S-duality; none by itself is a construction or proof of every unprotected observable at finite rank.

Third, compactification transports information only after its higher-dimensional input has been specified. A five-dimensional gauge-theory branch can reveal a candidate ultraviolet fixed point, and a six-dimensional tensor branch can satisfy stringent anomaly conditions, without those low-energy descriptions being conventional Lagrangian definitions of the fixed point.

Throughout the chapter,

$$\tau=\frac{\theta}{2\pi}+\frac{4\pi i}{g_{\rm YM}^{2}}, \qquad \tau\longmapsto \frac{a\tau+b}{c\tau+d}, \qquad \begin{pmatrix}a&b\\c&d\end{pmatrix}\in SL(2,\mathbb Z).$$

For an electric–magnetic charge column $(e,m)^T$ we use the passive convention

$$\begin{pmatrix}e'\\m'\end{pmatrix} = \begin{pmatrix}a&-b\\-c&d\end{pmatrix} \begin{pmatrix}e\\m\end{pmatrix}.$$

It is chosen so that $e'+\tau'm'=(e+\tau m)/(c\tau+d)$. Sources that use an active Witten-effect convention act by the inverse matrix; the physics agrees once this translation is made explicit.

Choose a route

1. Extended supersymmetry gauge dynamics compares four-dimensional $\mathcal N=2$ and $\mathcal N=4$ multiplets, branches, effective couplings, and off-shell limitations.
2. Field content, action, and superconformal data fixes one normalization of $\mathcal N=4$ SYM and translates it to canonical fields.
3. Moduli, BPS states, and protected sectors derives the vacuum quotient, the modular BPS invariant, and the boundary between protected and unprotected data.
4. Finiteness, conformality, and evidence separates the one-loop cancellation, all-order perturbative results, exact marginality, and the nonperturbative evidence ceiling.
5. Line operators, global forms, and discrete theta data classifies mutually local genuine lines, with $SU(N)/\mathbb Z_k$ as the central worked example.
6. Montonen–Olive and S-duality states the duality arrow, derives its charge and coupling action, and inventories independent checks.
7. Duality groupoids and walls explains why globally refined dualities form a groupoid and how codimension-one interfaces compose.
8. Five- and six-dimensional fixed points gives paired status records for pure five-dimensional $SU(2)$ and the six-dimensional $A_1$ $(2,0)$ theory.
9. Six-dimensional origins and duality frames derives four-dimensional modular transformations from a marked compactification torus while retaining Kaluza–Klein, polarization, and existence assumptions.

The dependency spine

The first four pages determine the local theory and the exact information carried by supersymmetry. The next three add global data and formulate duality. The final two deliberately reverse a common order of presentation: intrinsic five- and six-dimensional checks come first, compactification second.

A useful test at every stage is to ask what remains invariant. For a local Lagrangian statement it may be an action or Ward identity. For a duality arrow it is a pairing, a protected mass, or a correlation function after applying the operator dictionary. For a higher-dimensional candidate it is anomaly matching, positivity of a branch metric, or a protected spectrum. Stating the invariant makes the logical strength of a claim visible.

Review the chapter

By the end, you should be able to:

• translate between the overall-$1/g_{\rm YM}^{2}$ and canonically normalized-field conventions for $\mathcal N=4$ SYM;
• compute the Coulomb-branch quotient and identify where additional gauge bosons become massless;
• distinguish a protected multiplet statement from a claim about an unprotected correlator;
• classify the genuine line-charge lattice of $(SU(N)/\mathbb Z_k)_n$ and follow it under $S$ and $T$;
• say whether a modular transformation is a symmetry of one theory or an arrow to another;
• distinguish perturbative finiteness, exact conformality, protected duality tests, and a full nonperturbative definition;
• use five-dimensional prepotentials and six-dimensional anomaly polynomials as necessary consistency checks without treating them as existence proofs; and
• derive the four-dimensional modular group from the mapping class group of a compactification torus while keeping polarization and Kaluza–Klein assumptions explicit.