Six-Dimensional Origins, Compactification, and Duality Frames

Compactifying a specified six-dimensional $(2,0)$ theory on a marked torus explains why the four-dimensional coupling is modular: the coupling is the torus complex structure, and S-duality is a change of homology basis. This is a transport statement conditional on the six-dimensional input, its global completion, and a controlled Kaluza–Klein limit. It does not replace the intrinsic status tests developed on the preceding page.

Required background. Five- and six-dimensional fixed-point status supplies the intrinsic $(2,0)$ input and its string lattice. Deformations, compactification, and duality flows supplies the scale-separation and endpoint criteria.

Helpful background. The $\mathcal N=4$ theory card fixes $\tau$, while duality groupoids and walls explains why changing polarization can change the four-dimensional object.

Reduction of a self-dual tensor on a torus

Let $T^2$ have oriented one-cycles $A$ and $B$, area $\mathcal A$, and complex structure $\tau_T$ with $\operatorname{Im}\tau_T>0$. A convenient unit-period metric is

$$ds_{T^2}^{2} =\frac{\mathcal A}{\operatorname{Im}\tau_T} \left\lvert dx_A+\tau_T\,dx_B\right\rvert^2.$$

For an Abelian $(2,0)$ tensor field, expand the two-form zero mode as

$$B_2=A_A\wedge dx_A+A_B\wedge dx_B+\cdots .$$

Its self-dual field strength $H_3=*_{6}H_3$ relates the two four-dimensional curvatures $F_A=dA_A$ and $F_B=dA_B$. They are not two independent photons: after choosing one electric polarization, the other is its magnetic dual. Substituting the relation into the six-dimensional kinetic description yields four-dimensional Maxwell theory with

$$\tau_{\rm 4d}=\tau_T$$

in the standard orientation and theta convention. Reversing the torus orientation complex-conjugates the relevant convention; swapping which cycle is called electric implements the $S$ transformation.

The non-Abelian $(2,0)$ theory has no ordinary two-form Lagrangian to reduce. Nevertheless, its tensor branch, BPS strings, anomalies, and circle reductions consistently identify the small-torus limit with maximally supersymmetric four-dimensional Yang–Mills. Toroidal reductions and their protected higher-derivative terms are analyzed in Córdova, Dumitrescu, and Yin 2019, §§2–4.

Scale separation through five dimensions

Take a rectangular limit first. Reduction on a circle of radius $R_A$ gives five-dimensional maximally supersymmetric Yang–Mills with

$$g_5^2\propto R_A.$$

Reducing that theory on a second circle of radius $R_B$ gives

$$g_4^2\propto\frac{R_A}{R_B},$$

while an off-diagonal torus metric supplies the four-dimensional theta angle. The omitted numerical constants depend on whether generators and circle coordinates have period $1$ or $2\pi$; the invariant statement is the equality of the complexified four-dimensional coupling with the torus modulus.

The controlled four-dimensional regime is

$$E\ll \min\left(R_A^{-1},R_B^{-1}\right).$$

Equivalently, take $\mathcal A\to0$ at fixed $\tau_T$ while holding four-dimensional energies fixed. Kaluza–Klein modes then decouple. If the torus becomes highly elongated before the low-energy limit, a five-dimensional window appears, and using a four-dimensional description there is unjustified.

This sequential argument contains a logical asymmetry: five-dimensional maximally supersymmetric Yang–Mills is itself an effective description whose proposed ultraviolet completion is the six-dimensional theory. It checks the compactification dictionary but cannot serve as an independent construction of the six-dimensional input.

Mapping class group and charge transport

The orientation-preserving mapping class group of the marked torus is $SL(2,\mathbb Z)$. Let

$$M=\begin{pmatrix}a&b\\c&d\end{pmatrix}.$$

Changing the marking sends

$$\tau_T\longmapsto\frac{a\tau_T+b}{c\tau_T+d}.$$

A six-dimensional self-dual string wrapped on a primitive cycle becomes a four-dimensional BPS particle; an unwrapped surface defect descending along a cycle becomes a line operator. Choose the identification so that wrapping numbers $(e,m)$ are four-dimensional electric and magnetic charges. Passive relabeling gives

$$(e',m')=(ae-bm,-ce+dm),$$

and hence

$$e'+\tau_T'm' =\frac{e+\tau_Tm}{c\tau_T+d}.$$

The intersection form of torus cycles is the antisymmetric Dirac pairing:

$$(eA+mB)\cdot(e'A+m'B) =em'-me'.$$

Since an orientation-preserving mapping class preserves intersection number, it preserves mutual locality automatically. This is the geometric origin of the same algebraic checks used in four dimensions.

Polarization determines the global theory

The type-$G$ $(2,0)$ theory carries a finite defect group related to the discriminant of its string lattice. For $A_1$ it is $\mathbb Z_2$. Compactification on $T^2$ produces electric and magnetic defect charges, but it does not select a maximal mutually local subset for the reader.

A polarization chooses which subset is genuine. For $A_1$, the three choices reproduce the $SU(2)$, $SO(3)_+$, and $SO(3)_-$ line lattices. A mapping class transforms that polarization and may therefore map one global four-dimensional theory to another. The geometric modular group acts naturally on the family; the stabilizer of one polarization is its internal duality group.

This also explains why the six-dimensional theory is naturally relative before global completion. Its partition function can be vector-valued, with components labeled by discrete flux. Choosing a polarization extracts an absolute four-dimensional theory. Discarding this step reproduces the false claim that every theory with a given gauge algebra is separately invariant under all of $SL(2,\mathbb Z)$.

Wrapped objects and the BPS dictionary

Let a self-dual string of six-dimensional tension $T_{\rm str}$ wrap a torus cycle $\gamma=eA+mB$. Its four-dimensional mass is

$$M_\gamma=T_{\rm str}\,\ell(\gamma),$$

where $\ell(\gamma)$ is the length in the torus metric. From the displayed metric,

$$\ell(\gamma)^2 \propto \frac{\mathcal A}{\operatorname{Im}\tau_T} \,\lvert e+\tau_Tm\rvert^2.$$

After the tensor-branch scalar is rescaled to the canonically normalized four-dimensional expectation value, this becomes the modular BPS factor

$$M_\gamma^2 \propto \lvert v_{\rm can}\rvert^2 \,\frac{\lvert e+\tau m\rvert^2}{\operatorname{Im}\tau}.$$

The proportionality constant depends on the string-tension and root normalization. The modular invariant and the integral pairing do not.

For $N$ parallel M5-branes, the center-of-mass tensor descends to a free $U(1)$ multiplet. The interacting $A_{N-1}$ relative theory descends to the $\mathfrak{su}(N)$ sector. A comparison with $U(N)$ observables must retain the free factor; a comparison with $SU(N)$ must remove it consistently.

Interfaces and varying torus data

A mapping cylinder for $M$ reduces to a four-dimensional duality wall. If the torus varies over spacetime, branch cuts of $\tau$ support three-dimensional walls and degeneration loci support lower-dimensional defects. Assel and Schäfer-Nameki construct this hierarchy for elliptically fibered compactifications Assel and Schäfer-Nameki 2016, §§2–4.

This construction has additional hypotheses: the fibration must preserve the stated supersymmetry, singular fibers require localized degrees of freedom, and monodromies must be compatible with the charge lattice. A wall inferred from a branch cut is not fully specified until those localized sectors and anomaly inflow are included.

Compactification on a punctured higher-genus surface instead produces four-dimensional $\mathcal N=2$ class-$S$ systems. Puncture labels, twists, and polarization data are essential there. That extension is a different theory family and is not evidence that the torus derivation alone proves all lower-dimensional dualities.

What the origin does and does not prove

The six-dimensional construction explains:

• why the four-dimensional coupling has a modular action;
• why electric and magnetic charges form an integral symplectic lattice;
• why duality transformations can change global form;
• how BPS particles and duality walls descend from wrapped objects and mapping cylinders; and
• why different weakly coupled descriptions can be coordinate frames on one compactification.

It does not by itself prove an intrinsic construction of the $(2,0)$ theory, the decoupling of every Kaluza–Klein or center-of-mass sector, or equality of all unprotected four-dimensional observables. Those are separate existence, limit, and duality claims.

Exercises

1. Recover strong–weak exchange. For a rectangular torus with $\theta=0$, interchange $R_A$ and $R_B$. What happens to $g_4^2$?

Solution

Since $g_4^2\propto R_A/R_B$, the interchange sends it to a quantity proportional to $R_B/R_A$, the strong–weak inversion. With standard $4\pi$ normalization this is $\tau\mapsto-1/\tau$ after the orientation convention is included.

2. Check the pairing. Show directly that the charge transformation preserves $em'-me'$ for two charge vectors.

Solution

The charge matrix has determinant $ad-bc=1$. Any determinant-one linear map preserves the two-dimensional antisymmetric area form, which is exactly the Dirac pairing.

3. Find the missing assumption. A calculation retains a fixed torus area and studies energies comparable to $R_A^{-1}$. May it use pure four-dimensional $\mathcal N=4$ SYM?

Solution

No. Kaluza–Klein modes are then dynamical, so the four-dimensional truncation is invalid. One must use the five- or six-dimensional effective description appropriate to the hierarchy of radii.

References

• Assel, Benjamin, and Sakura Schäfer-Nameki. “Six-Dimensional Origin of $\mathcal N=4$ SYM with Duality Defects.” Journal of High Energy Physics 12 (2016): 058. doi:10.1007/JHEP12(2016)058.
• Córdova, Clay, Thomas T. Dumitrescu, and Xi Yin. “Higher Derivative Terms, Toroidal Compactification, and Weyl Anomalies in Six-Dimensional $(2,0)$ Theories.” Journal of High Energy Physics 10 (2019): 128. doi:10.1007/JHEP10(2019)128.