Five- and Six-Dimensional Supersymmetric Fixed Points, Branches, and Status

Above four dimensions, a Yang–Mills or tensor-branch Lagrangian is generally an infrared description, not a definition of an ultraviolet fixed point. A credible fixed-point claim must combine dimension-appropriate field-theory constraints with independent evidence and an explicit cutoff. This page applies that standard to two benchmark systems: pure five-dimensional $SU(2)$ with its two discrete theta choices, and the six-dimensional $A_1$ $(2,0)$ theory.

Required background. Dimensions and reality conditions fixes higher-dimensional spinors. Superconformal algebras identifies the allowed higher-dimensional algebras. Ultraviolet and infrared fixed points supplies the renormalization-group criterion. Scale separation and locality supplies the effective-field-theory cutoff. Anomaly polynomials and inflow supplies the characteristic-class conventions.

Helpful background. Extended supersymmetry gauge dynamics gives the four-dimensional comparison. BPS particles and central charges, gauge instantons, and Bogomolny bounds supply the protected objects used as probes. Controlled interacting higher-dimensional CFTs gives independent conformal diagnostics, while non-invertible topological defects and fusion supplies the generalized-symmetry refinement relevant after compactification.

Five-dimensional Coulomb-branch evidence

Five-dimensional $\mathcal N=1$ supersymmetry has eight real supercharges. A vector multiplet contains a real scalar $\phi$, and the two-derivative Coulomb-branch action is controlled by a prepotential that is at most cubic within each Weyl chamber. For a gauge algebra with roots $\alpha$ and hypermultiplet weights $w$,

$$\mathcal F(\phi) =\frac{1}{2g_0^2}h_{ij}\phi^i\phi^j +\frac{\kappa}{6}d_{ijk}\phi^i\phi^j\phi^k +\frac1{12} \left( \sum_{\alpha}\lvert\alpha\cdot\phi\rvert^3 -\sum_{f,w}\lvert w\cdot\phi+m_f\rvert^3 \right).$$

The absolute-value cubic terms are one-loop exact: further perturbative corrections would violate the supersymmetric restriction on $\mathcal F$. Intriligator, Morrison, and Seiberg use this structure to constrain candidate five-dimensional fixed points Intriligator, Morrison, and Seiberg 1997, §§2–3.

For pure $SU(2)$ choose the Weyl chamber $\phi\geq0$ and roots $\alpha=\pm2$. There is no continuous cubic Casimir. Then

$$\mathcal F(\phi) =\frac{1}{2g_0^2}\phi^2+\frac1{12} \left(\lvert2\phi\rvert^3+\lvert-2\phi\rvert^3\right) =\frac{1}{2g_0^2}\phi^2+\frac43\phi^3.$$

The Abelian kinetic coefficient is

$$g_{\rm eff}^{-2}(\phi) =\mathcal F''(\phi) =g_0^{-2}+8\phi.$$

It is positive in the physical chamber. Sending $g_0^{-2}\to0$ removes the explicit dimensionful parameter and makes the origin strongly coupled. This positivity and scale-removal test is necessary for a UV endpoint, but it is not an existence proof.

Pure $SU(2)$ also has a discrete theta angle

$$\theta_5\in\{0,\pi\},$$

associated with $\pi_4(SU(2))=\mathbb Z_2$. The local prepotential cannot see it. At the proposed endpoints, $\theta_5=0$ gives the $E_1$ theory with enhanced $SU(2)$ flavor symmetry, whereas $\theta_5=\pi$ gives the $\widetilde E_1$ theory with $U(1)$ flavor symmetry. Seiberg identified these fixed points and the role of instanton particles in the enhancement Seiberg 1996, pp. 753–760.

In canonical normalization a unit instanton particle has classical mass proportional to

$$M_{\rm inst}=\frac{8\pi^2}{g_5^2},$$

up to the trace normalization. Its becoming light as $g_0^{-2}\to0$ is an intrinsic field-theory signal. Protected indices and flavor-current multiplets sharpen the signal. Calabi–Yau degenerations and five-brane webs provide independent external constructions, but only after gravity and string scales are decoupled.

Five-dimensional status record

item	pure $SU(2)$ result	logical role
branch observable	$\mathcal F''=g_0^{-2}+8\phi$	positive Coulomb metric
discrete datum	$\theta_5=0$ or $\pi$	distinguishes $E_1$ and $\widetilde E_1$
BPS object	instanton particle	candidate additional conserved-current multiplet
cutoff	$E\ll g_5^{-2}$ in the weakly coupled branch regime	limits the Yang–Mills description
UV claim	interacting endpoint at $g_0^{-2}=0$	inferred from combined evidence
external support	geometric engineering or brane webs	independent, construction-dependent evidence

Six-dimensional tensor-branch evidence

The six-dimensional $(2,0)$ algebra has sixteen Poincaré supercharges and $Spin(5)_R$ symmetry. No conventional local, Lorentz-covariant non-Abelian Lagrangian is known. On a generic tensor branch, however, the low-energy fields are Abelian tensor multiplets containing a two-form with self-dual three-form field strength and five real scalars.

For the $A_1$ theory, the interacting relative sector has rank one. Its BPS self-dual strings carry the root lattice

$$\Lambda_{\rm string}=A_1, \qquad \Omega=(2).$$

The string tension is proportional to the tensor-branch scalar expectation value and vanishes at the conformal origin. The discriminant group $\Lambda_{\rm string}^{*}/\Lambda_{\rm string}\simeq\mathbb Z_2$ means that the theory naturally supplies a vector of partition functions until a polarization, or equivalent global completion, is chosen. Compactification must retain this information.

Let $T$ and $N$ denote the tangent and $Spin(5)_R$ bundles, with Pontryagin classes in integral normalization. The anomaly polynomial of one free $(2,0)$ tensor multiplet is

$$I_8^{\rm tens} =\frac1{48} \left[ p_2(N)-p_2(T) +\frac14\bigl(p_1(T)-p_1(N)\bigr)^2 \right].$$

For a simply-laced type $G$ theory,

$$I_8[G] =r_G I_8^{\rm tens} +\frac{d_Gh_G^\vee}{24}p_2(N).$$

Using $r_{A_1}=1$, $d_{A_1}=3$, and $h_{A_1}^\vee=2$ gives

$$I_8[A_1] =I_8^{\rm tens}+\frac14p_2(N).$$

The derivation from tensor-branch anomaly matching and the identification of the string charge pairing with the Cartan matrix are given in Ohmori et al. 2014, §2.3.

On the tensor branch, $Spin(5)_R$ is broken to $Spin(4)_R$, and the anomaly mismatch factorizes into a Green–Schwarz/Wess–Zumino contribution

$$\Delta I_8 =\frac12\,\Omega_{ij}I_4^i I_4^j,$$

where $dH^i=I_4^i$ and $\Omega_{ij}$ is the integral string pairing in this normalization. The precise $I_4^i$ depends on characteristic-class and tensor-field normalization. Its coefficient is fixed by the integral string pairing. Factorization is a stringent consistency condition: the infrared tensors and their Green–Schwarz coupling reproduce the ultraviolet ’t Hooft anomaly. It does not construct the operator algebra at the origin.

Two coincident M5-branes furnish an external realization containing the interacting $A_1$ relative sector plus a decoupled free center-of-mass tensor. The free tensor must be subtracted before comparing intrinsic $A_1$ anomalies. Seiberg and Witten’s analysis of six-dimensional string dynamics provides the early tensionless-string and tensor-branch picture Seiberg and Witten 1996, §§2–3.

Six-dimensional status record

item	$A_1$ $(2,0)$ result	logical role
branch observable	one relative tensor multiplet	infrared field content
charge datum	$A_1$ lattice with pairing $2$	Dirac quantization and global completion
BPS object	self-dual string with tension proportional to the branch scalar	detects the conformal origin
anomaly	$I_8^{\rm tens}+\frac14p_2(N)$	intrinsic protected datum
matching	factorized Green–Schwarz/Wess–Zumino term	necessary branch consistency
cutoff	energies below the string tension and other massive thresholds on the branch	limits the Abelian tensor description
external support	coincident M5-brane decoupling limit	independent construction, not an ordinary Lagrangian

The $(1,0)$ generalization

Six-dimensional $(1,0)$ theories have eight supercharges and can contain tensor, vector, and hypermultiplets. On a tensor branch, a scalar may set an inverse gauge coupling. The one-loop anomaly must split as

$$I_8^{\text{one-loop}} +\frac12\Omega_{ij}I_4^i I_4^j,$$

with irreducible gauge-anomaly terms canceled and the reducible remainder factorized. The lattice $\Omega$ must be compatible with integral self-dual-string charges. One should additionally record branch dimensions, BPS strings, flavor symmetries, decoupled free sectors, and whether the construction is intrinsic, geometric, brane-based, or conjectural.

These tests can rule out a candidate. Passing them does not prove that a unitary interacting fixed point exists. Anomaly matching is necessary because anomalies cannot change along the flow; it is not sufficient because many dynamical properties are absent from $I_8$.

Exercises

1. Differentiate the prepotential. Starting from the pure $SU(2)$ expression, compute $\mathcal F'$ and $\mathcal F''$.

Solution

$\mathcal F'=g_0^{-2}\phi+4\phi^2$ and $\mathcal F''=g_0^{-2}+8\phi$. The latter is positive for $\phi\geq0$ and $g_0^{-2}\geq0$.

2. Compute the $A_1$ coefficient. Evaluate $d_Gh_G^\vee/24$ for $A_1$.

Solution

$d_{A_1}=3$ and $h_{A_1}^\vee=2$, so $d_Gh_G^\vee/24=6/24=1/4$.

3. Separate intrinsic and external evidence. Why does an M5-brane construction not remove the need to track the $A_1$ charge lattice and anomaly?

Solution

The brane construction is an external definition in a decoupling limit and includes a free center-of-mass sector. The intrinsic lattice and anomaly identify the relative six-dimensional theory, constrain its global completion, and provide checks independent of the construction.

References

• Intriligator, Kenneth, David R. Morrison, and Nathan Seiberg. “Five-Dimensional Supersymmetric Gauge Theories and Degenerations of Calabi–Yau Spaces.” Nuclear Physics B 497 (1997): 56–100. doi:10.1016/S0550-3213(97)00279-4.
• Ohmori, Kantaro, Hiroyuki Shimizu, Yuji Tachikawa, and Kazuya Yonekura. “Anomaly Polynomial of General 6D SCFTs.” Progress of Theoretical and Experimental Physics 2014 (2014): 103B07. doi:10.1093/ptep/ptu140.
• Seiberg, Nathan. “Five-Dimensional SUSY Field Theories, Non-Trivial Fixed Points and String Dynamics.” Physics Letters B 388 (1996): 753–760. doi:10.1016/S0370-2693(96)01215-4.
• Seiberg, Nathan, and Edward Witten. “Comments on String Dynamics in Six Dimensions.” Nuclear Physics B 471 (1996): 121–134. doi:10.1016/0550-3213(96)00189-7.