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 answers four different kinds of question without allowing them to blur together: what defines four-dimensional $\mathcal N=4$ super-Yang–Mills locally, what additional global data select a complete theory, what evidence supports its strong–weak dualities, and what a higher-dimensional construction can legitimately explain. The organizing principle is simple: first specify the object, then the transformation, then the evidence for the claimed equivalence.

The first seven pages build a four-dimensional theory object from fields, coupling, genuine lines, and discrete data. The last two record intrinsic five- and six-dimensional information before using compactification to transport it. This order prevents a common circular argument in which a compactification is invoked both to define a higher-dimensional input and to prove the lower-dimensional duality attributed to that input.

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. Line operators and global forms construct those objects, while Montonen–Olive and S-duality constructs arrows between them.

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. The finiteness page makes that evidence ceiling explicit before the duality claim is stated.

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. The intrinsic status records therefore precede the compactification dictionary.

This chapter treats these field-theory statements and their evidence boundaries. General definitions of generalized symmetry and genuine lines remain in Volume 3; conformal-bootstrap methods remain in Volume 9; brane and holographic constructions remain in Volume 15; and theorem-first existence questions remain in Volume 16.

Check your preparation

You do not need every prerequisite at the same depth. Use these observable checks to choose an entry point. Each leaf page’s Required background note is authoritative; a row below sends you directly to a leaf only when all of its listed capabilities are already in place.

If you can already…	Start here	If not, repair here
compare $\mathcal N=2$ and $\mathcal N=4$ gauge multiplets and identify the relevant superconformal algebra	the $\mathcal N=4$ theory card	extended supersymmetry gauge dynamics and superconformal algebras
specify the local $\mathcal N=4$ theory and distinguish a global gauge group from its algebra and genuine-line spectrum	line operators and global forms	the theory card and genuine line spectra and discrete theta data
use the $\mathcal N=4$ theory card and derive a shortening bound for a superconformal representation	moduli and protected sectors	the theory card and BPS shortening bounds
use the $\mathcal N=4$ theory card and explain why a vanishing beta function is not by itself a nonperturbative construction	finiteness and conformality	the theory card and beta functions and anomalous dimensions
identify dimension-specific superconformal algebras, separate a branch EFT from its ultraviolet endpoint, apply a cutoff, and read an anomaly polynomial	five- and six-dimensional status	spinors, superconformal algebras, fixed points, scale separation, and anomaly polynomials

If several rows are unfamiliar, begin with extended supersymmetry gauge dynamics. It compares $\mathcal N=2$ and $\mathcal N=4$ using the same vocabulary before the chapter specializes.

Convention bridge

The site’s mostly-minus Lorentzian metric and gauge conventions remain in force. At chapter level we additionally freeze

$$\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'=\frac{e+\tau m}{c\tau+d}.$$

For two independent charges $\gamma_i=(e_i,m_i)$, apply the same matrix to each, so $\gamma_i\mapsto\gamma_i'=(e_i',m_i')$. Consequently both the Dirac pairing

$$\langle\gamma_1,\gamma_2\rangle=e_1m_2-m_1e_2 \qquad\Longrightarrow\qquad \langle\gamma_1',\gamma_2'\rangle=\langle\gamma_1,\gamma_2\rangle$$

and the modular BPS combination $\lvert e_i+\tau m_i\rvert^2/\operatorname{Im}\tau$ are invariant. These are the fast checks for any convention translation. Sources that use an active Witten-effect convention act on physical charges in the opposite direction; the two descriptions agree only after the active/passive choice and the electric–magnetic component order are translated together. Modular words act rightmost first throughout this chapter.

Choose a route

Reader goal	Coherent route	What the route delivers
First graduate encounter	extended structure → theory card → moduli and BPS → finiteness → line data → S-duality	one complete four-dimensional theory and a qualified duality statement
Global-form or line-operator lookup	theory card → line data → S-duality → groupoids and walls	source and target objects, allowed lines, modular arrows, and composition
Higher-dimensional interface	intrinsic 5D/6D status → compactification frames	a transport dictionary whose input status and Kaluza–Klein assumptions remain visible
Research re-entry	finiteness evidence → S-duality evidence → intrinsic higher-dimensional status	a map from established conditional results to protected evidence, constructions, and open claims

The arrows in this table are suggested reading order. A leaf’s Required background note remains the authority for hard dependency.

Exact chapter guide

1. Extended Supersymmetry Gauge Dynamics: Scope and Structure compares four-dimensional $\mathcal N=2$ and $\mathcal N=4$ multiplets, branches, effective couplings, and off-shell limitations. Use it to decide which conclusions really require sixteen supercharges.
2. N=4 SYM Field Content, Action, and Superconformal Data fixes one complete local normalization and translates between overall-coupling and canonical-field conventions. It is the theory card consumed by every later page.
3. N=4 Moduli, BPS States, and Protected Sectors derives the commuting-scalar quotient, central-charge mass formula, shortening structure, and boundary between protected and unprotected data.
4. Finiteness, Conformality, and the Nonperturbative Evidence Ceiling separates the one-loop cancellation, all-order perturbative statements, exact marginality, and a complete finite-rank definition.
5. Line Operators, Global Forms, and Discrete Theta Data classifies maximal mutually local charge subgroups, with $(SU(N)/\mathbb Z_k)_n$ and the three $\mathfrak{su}(2)$ theories as worked examples.
6. Montonen–Olive and S-Duality states a duality as an arrow between fully specified source and target theories, derives its coupling and charge action, and grades the evidence for observable equivalence.
7. Duality Groupoids, Walls, and Generalized-Symmetry Refinements explains why globally refined dualities form a groupoid and how codimension-one interfaces compose, carry anomalies, or cease to be group-like.
8. Five- and Six-Dimensional Supersymmetric Fixed Points, Branches, and Status compares the two pure five-dimensional $SU(2)$ theta choices with the six-dimensional $A_1$ $(2,0)$ relative theory using dimension-appropriate intrinsic records.
9. Six-Dimensional Origins, Compactification, and Duality Frames derives the four-dimensional modular action from a marked compactification torus while retaining polarization, Kaluza–Klein, decoupled-sector, and existence assumptions.

Two examples thread through the chapter

The first thread holds the local algebra $\mathfrak{su}(2)$ fixed while progressively adding information. The theory card supplies the same adjoint local fields and coupling to three different global objects. The line page selects $SU(2)$, $SO(3)_+$, or $SO(3)_-$ by a maximal isotropic subgroup of $\mathbb Z_2^2$. The duality page moves between those objects, the groupoid page composes the arrows, and the compactification page identifies the same choice as a polarization of the torus-reduced defect data. What stays fixed is the local Lie algebra; what changes is the globally complete theory.

The second thread holds the demand for evidence fixed while changing dimension. The finiteness page asks what perturbation theory proves in four dimensions. The higher-dimensional status page replaces beta-function evidence with a five-dimensional prepotential or six-dimensional tensor lattice and anomaly polynomial. The compactification page then records which of those inputs survive a controlled low-energy limit. In every dimension, a necessary consistency check remains weaker than an existence theorem.

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, protected mass, or correlation function after applying an operator dictionary. For a higher-dimensional candidate it is anomaly matching, positivity of a branch metric, or a protected spectrum. Stating both the invariant and its hypotheses makes the logical strength of a claim visible.

The dependency chain is therefore

$$\text{local fields and }\tau \longrightarrow \text{global theory object} \longrightarrow \text{duality arrow and checks} \longrightarrow \text{higher-dimensional transport with declared inputs}.$$

Reversing any arrow creates a characteristic error: local correlators cannot recover the genuine-line lattice, an algebraic modular action cannot establish a quantum equivalence, and a compactification dictionary cannot manufacture its own ultraviolet input.

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.

Use the following prompts as a chapter-scale check. The criterion after each prompt tells you what a successful response must preserve.

Specify the object. A colleague gives only $\mathfrak{su}(2)$ and $\tau$. List the missing data needed before asking whether $S$ is a self-duality. Check: your answer includes the global group, genuine-line subgroup, discrete theta information, bundle/background data when relevant, and a distinction between a node and an arrow. Repair on the line-operator page.

Check the transformation. Starting from the passive charge convention above, show that the Dirac pairing and $\lvert e+\tau m\rvert^2/\operatorname{Im}\tau$ are invariant. Check: the same modular matrix is used consistently in the coupling and charge transformations, and active versus passive language never changes mid-calculation. Repair on the S-duality page.

Compare two exactness claims. Explain why all-order perturbative finiteness of $\mathcal N=4$ SYM and anomaly matching on a six-dimensional tensor branch are both powerful but logically different from complete intrinsic constructions. Check: identify the regime, observables, and failure boundary of each argument. Repair on the finiteness and higher-dimensional status pages.

Diagnose a false self-duality. The statement “$S$ sends $\tau$ to $-1/\tau$, so every $\mathfrak{su}(2)$ theory is invariant” omits what? Check: follow the genuine-line subgroup under $S$ and identify the source and target global theories. Repair on the groupoid page.

Transfer the method. Given a proposed higher-dimensional fixed point, make a scientific comparison before using it in compactification. Check: include branch fields, quantized charge data, BPS objects, cutoffs, anomaly or positivity tests, decoupled sectors, construction assumptions, open questions, and limits on the conclusions. Repair on the intrinsic status page.

Synthesize the chapter. Explain how a polarization of the $A_1$ defect data on a marked torus becomes one of the three four-dimensional $\mathfrak{su}(2)$ global theories. Check: distinguish the six-dimensional input, the polarization, the mapping-class action, the Kaluza–Klein limit, and the resulting four-dimensional theory object. Repair on the compactification page.

Continue from here

• To compute protected partition functions and indices that test these dualities, continue to Partition Functions, Indices, and Instantons.
• To study topological twists, line and surface defects, and bounded correspondence claims, continue to Protected Operators, Defects, and Correspondences.
• To inspect brane or holographic constructions as a separate evidence class, continue to Holography and Quantum Gravity.
• To ask what has been constructed or proved in a theorem-first sense, continue to Mathematical QFT.
• To choose a different branch through supersymmetric field theory, return to the volume overview.