5. T-Duality & S-Duality
The five superstring theories are not independent — they are connected by dualities that map one theory to another. T-duality relates large and small compactification radii; S-duality relates strong and weak coupling. Together they weave all five theories into a single framework.
T-Duality: Large and Small are the Same
Compactify one dimension on a circle of radius $R$. A closed string can wrap around the circle $w$ times (winding number) and carry Kaluza-Klein momentum$n/R$. The mass formula is:
$$M^2 = \frac{n^2}{R^2} + \frac{w^2 R^2}{\alpha'^2} + \frac{2}{\alpha'}(N + \tilde{N} - 2)$$
This is invariant under the exchange:
$$R \longleftrightarrow \frac{\alpha'}{R} \qquad n \longleftrightarrow w$$
T-duality exchanges momentum modes with winding modes! A string cannot tell the difference between a circle of radius $R$ and one of radius $\alpha'/R$. This is a purely stringy phenomenon — point particles have no winding modes. The self-dual radius is:
$$R_{\text{sd}} = \sqrt{\alpha'} = \ell_s$$
T-Duality Maps IIA to IIB
T-duality acts differently on left-movers and right-movers. On the right-moving coordinate:
$$X_R \longrightarrow -X_R \qquad X_L \longrightarrow +X_L$$
This flips the chirality of the right-moving Ramond sector, exchanging:
$$\text{Type IIA on } S^1(R) \quad\longleftrightarrow\quad \text{Type IIB on } S^1(\alpha'/R)$$
The RR form fields transform as:
$$C_{p} \longleftrightarrow C_{p\pm 1}$$
Similarly, the two heterotic theories are T-dual: Het $SO(32)$ on $S^1(R)$ is equivalent to Het$E_8 \times E_8$ on $S^1(\alpha'/R)$.
S-Duality: Strong/Weak Equivalence
S-duality is a non-perturbative equivalence that inverts the string coupling constant:
$$g_s \longleftrightarrow \frac{1}{g_s} \qquad \Phi \longrightarrow -\Phi$$
Type IIB string theory is self-dual under S-duality. The axio-dilaton$\tau = C_0 + ie^{-\Phi}$ transforms under the full $SL(2,\mathbb{Z})$:
$$\tau \longrightarrow \frac{a\tau + b}{c\tau + d} \qquad \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL(2,\mathbb{Z})$$
Under S-duality, the fundamental string (F1) and the D1-brane transform as a doublet:
$$\begin{pmatrix} B_2 \\ C_2 \end{pmatrix} \longrightarrow \begin{pmatrix} a & b \\ c & d \end{pmatrix}\begin{pmatrix} B_2 \\ C_2 \end{pmatrix}$$
Type I / Heterotic SO(32) Duality
At strong coupling ($g_s \gg 1$), the Type I string becomes weakly coupled in terms of the Heterotic SO(32) string, and vice versa:
$$g_s^{\text{Type I}} = \frac{1}{g_s^{\text{Het}}} \qquad \alpha'^{\text{Type I}} = \alpha'^{\text{Het}}\,g_s^{\text{Het}}$$
The D1-brane of Type I maps to the fundamental heterotic string. This duality exchanges perturbative and non-perturbative objects.
Mirror Symmetry
Mirror symmetry is T-duality applied fibre-wise on a Calabi-Yau manifold. Given a CY threefold$X$ with a special Lagrangian $T^3$ fibration (Strominger-Yau-Zaslow), T-dualizing each $T^3$ fibre gives the mirror manifold $\hat{X}$:
$$h^{1,1}(X) = h^{2,1}(\hat{X}) \qquad h^{2,1}(X) = h^{1,1}(\hat{X})$$
Mirror symmetry exchanges Kahler moduli with complex structure moduli. The Euler characteristics satisfy:
$$\chi(\hat{X}) = -\chi(X)$$
The Duality Web and M-Theory
All five superstring theories are connected by dualities and are limits of a single 11-dimensional theory: M-theory. The strong-coupling limit of Type IIA is 11D supergravity:
$$R_{11} = g_s\,\ell_s \qquad \ell_P^{(11)} = g_s^{1/3}\ell_s$$
As $g_s \to \infty$, the 11th dimension decompactifies and we recover the full 11-dimensional M-theory. The Heterotic $E_8 \times E_8$ string arises from M-theory on the orbifold $S^1/\mathbb{Z}_2$. Thus all of string theory is one theory seen from different corners of its moduli space.
Simulation: The Duality Web
Visualizing the web of dualities connecting all five superstring theories and M-theory. The right panel shows how coupling constants map under S-duality ($g_s \to 1/g_s$) and T-duality ($R \to \alpha'/R$).
Click Run to execute the Python code
Code will be executed with Python 3 on the server