Type IIB S-Duality, (p,q) Strings, and the D3-Brane

The previous page derived a striking fact directly from the D-string worldvolume: electric flux on a D1-brane produces a bound state carrying both fundamental-string charge and D-string charge. At $C_0=0$ its tension is

$$T_{(p,q)}={1\over 2\pi\alpha'}\sqrt{p^2+{q^2\over g_s^2}}.$$

This formula is too rigid to be an accident. It is the first visible sign of an exact nonperturbative symmetry of type IIB string theory. Type IIB has a special feature not shared by type IIA: it contains both the NS—NS two-form $B_2$ and an R—R two-form $C_2$, so it can have two different kinds of strings. The fundamental string couples electrically to $B_2$, while the D-string couples electrically to $C_2$. The full theory says that these strings are not separate species in the deepest sense. They are different primitive charge vectors in one integral lattice.

The symmetry that acts on this lattice is

$$SL(2,\mathbb Z)=\left\{\begin{pmatrix}a&b\\ c&d\end{pmatrix}:a,b,c,d\in\mathbb Z,\ ad-bc=1\right\}.$$

Perturbative string theory sees only one corner of this symmetry, because it expands in powers of $g_s$. S-duality relates that weak-coupling expansion to a strong-coupling expansion in a different set of variables. This is why D-branes are not optional decorations: they are needed for the duality to have anything to act on.

The axio-dilaton and the type IIB coupling

The type IIB scalar fields are the dilaton $\Phi$ and the R—R axion $C_0$. They combine into the complex axio-dilaton

$$\tau=C_0+i e^{-\Phi}=C_0+{i\over g_s}$$

in a constant background. The upper half-plane $\operatorname{Im}\tau>0$ is the natural parameter space. The discrete duality group acts by fractional linear transformations,

$$\tau\longmapsto \tau'={a\tau+b\over c\tau+d}, \qquad \begin{pmatrix}a&b\\ c&d\end{pmatrix}\in SL(2,\mathbb Z).$$

Two generators are enough:

$$S=\begin{pmatrix}0&-1\\ 1&0\end{pmatrix}, \qquad T=\begin{pmatrix}1&1\\ 0&1\end{pmatrix}.$$

They act as

$$S:\tau\mapsto -{1\over \tau}, \qquad T:\tau\mapsto \tau+1.$$

At $C_0=0$, the $S$ transformation sends $\tau=i/g_s$ to $i g_s$, hence

$$g_s\longmapsto {1\over g_s}.$$

So $S$ is a strong/weak duality. The $T$ transformation is the axion shift $C_0\mapsto C_0+1$. The shift is discrete rather than continuous because R—R charge is quantized; changing $C_0$ by one unit is analogous to shifting a four-dimensional theta angle by $2\pi$.

The continuous type IIB supergravity equations have a larger classical $SL(2,\mathbb R)$ covariance, but quantum string theory keeps only $SL(2,\mathbb Z)$. The reason is the same as in electromagnetism with monopoles: once electric and magnetic charges are quantized, only transformations preserving the integral charge lattice survive.

The charge lattice of F1 and D1 strings

A $(p,q)$ string carries $p$ units of NS—NS string charge and $q$ units of R—R string charge. Equivalently, it couples electrically to

$$p B_2+q C_2.$$

Thus

$$(1,0)=\text{F1}, \qquad (0,1)=\text{D1}.$$

In the convention used here, a charge column transforms as

$$\begin{pmatrix}p\\ q\end{pmatrix} \longmapsto \begin{pmatrix}p'\\ q'\end{pmatrix} = \begin{pmatrix}a&b\\ c&d\end{pmatrix} \begin{pmatrix}p\\ q\end{pmatrix}.$$

Therefore the generator $S$ maps

$$(1,0)\longmapsto (0,1), \qquad (0,1)\longmapsto (-1,0),$$

which is the F-string/D-string exchange, up to orientation. The generator $T$ maps

$$(p,q)\longmapsto (p+q,q).$$

In particular, a D-string becomes a $(1,1)$ string after an axion shift. This is the string-theory version of the Witten effect: a magnetic object acquires electric charge when the theta angle is shifted.

The F1 and D1 charges span an integral lattice. The generator $S$ exchanges the two basis directions, while $T$ shears the lattice by $(p,q)\mapsto(p+q,q)$.

A primitive lattice vector, $\gcd(p,q)=1$, labels a single half-BPS bound string. A nonprimitive vector $n(p_0,q_0)$ is at threshold for splitting into $n$ identical primitive strings. This distinction is important: $SL(2,\mathbb Z)$ preserves primitivity, so it maps single BPS strings to single BPS strings.

The $(p,q)$ string tension

The general BPS tension formula is most transparent in terms of $\tau$. With the charge convention above, the string-frame tension is

$$T_{(p,q)}^{\rm string} ={1\over 2\pi\alpha'}\,|p-q\tau|.$$

Equivalently,

$$T_{(p,q)}^{\rm string} ={1\over 2\pi\alpha'} \sqrt{(p-qC_0)^2+q^2 e^{-2\Phi}}.$$

At $C_0=0$ this reduces to

$$T_{(p,q)}^{\rm string} ={1\over 2\pi\alpha'}\sqrt{p^2+{q^2\over g_s^2}},$$

which is exactly the tension obtained from electric flux on $q$ D-strings.

There is a small but important subtlety. S-duality acts most simply on the Einstein-frame metric

$$g^{(E)}_{\mu\nu}=e^{-\Phi/2}g^{(S)}_{\mu\nu}.$$

In Einstein frame, the BPS tension is

$$T_{(p,q)}^{E} ={1\over 2\pi\alpha'}{ |p-q\tau|\over \sqrt{\operatorname{Im}\tau}}.$$

This expression is invariant under the simultaneous transformation

$$\tau\mapsto {a\tau+b\over c\tau+d}, \qquad \begin{pmatrix}p\\ q\end{pmatrix} \mapsto \begin{pmatrix}a&b\\ c&d\end{pmatrix} \begin{pmatrix}p\\ q\end{pmatrix}.$$

Indeed,

$$p'-q'\tau'={p-q\tau\over c\tau+d}, \qquad \operatorname{Im}\tau'={\operatorname{Im}\tau\over |c\tau+d|^2}.$$

The numerator and denominator transform by the same factor, so $T_{(p,q)}^E$ is unchanged.

The lesson is worth emphasizing. In string frame, the F1 tension is independent of $g_s$ and the D1 tension scales as $1/g_s$. In Einstein frame, the two are exchanged by $g_s\leftrightarrow 1/g_s$. Duality is not just a relabeling of charges; it also knows how the metric is normalized.

Type IIB field doublets

The same $SL(2,\mathbb Z)$ that acts on string charges also acts on the type IIB fields. A convenient convention is

$$\mathcal B= \begin{pmatrix}B_2\\ C_2\end{pmatrix}, \qquad \mathcal B\longmapsto (\Lambda^{-1})^T\mathcal B, \qquad \Lambda=\begin{pmatrix}a&b\\ c&d\end{pmatrix}.$$

Then the electric coupling $pB_2+qC_2$ is invariant when the charge vector transforms as above. The three-form field strengths form the same doublet, up to the standard axion-modified definition of the R—R field strength:

$$H_3=dB_2, \qquad F_3=dC_2-C_0H_3.$$

The Einstein-frame metric and the self-dual five-form field strength are invariant:

$$g_E\longmapsto g_E, \qquad F_5\longmapsto F_5, \qquad F_5=*F_5.$$

The axio-dilaton transforms by fractional linear transformations. The NS—NS and R—R two-forms form an $SL(2,\mathbb Z)$ doublet, while the Einstein metric and self-dual five-form are invariant.

This field organization is one of the cleanest ways to remember the IIB spectrum. Type IIA has R—R potentials of odd degree and no analogous self-dual $SL(2,\mathbb Z)$ acting on a pair of two-forms. Type IIB has a chiral field content, a self-dual five-form, and exactly the two two-forms needed for the F1/D1 charge lattice.

Why the D3-brane is self-dual

The D3-brane is the distinguished brane of type IIB S-duality. A D$p$-brane couples electrically to $C_{p+1}$ and magnetically to $C_{7-p}$. For $p=3$, electric and magnetic descriptions involve the same four-form potential $C_4$ because the five-form field strength is self-dual:

$$F_5=*F_5.$$

Thus a D3-brane is mapped to a D3-brane under $SL(2,\mathbb Z)$, not to a different-dimensional brane.

The tension also has a special property. The D3-brane string-frame action contains

$$S_{D3}^{\rm DBI}=-\mu_3\int d^4\xi\,e^{-\Phi}\sqrt{-\det P[g_S+\cdots]}, \qquad \mu_3={1\over (2\pi)^3(\alpha')^2}.$$

Using $g_S=e^{\Phi/2}g_E$, the four-dimensional volume element contributes a factor $e^{\Phi}$. This cancels the explicit $e^{-\Phi}$ in the DBI action, so the Einstein-frame D3 tension is

$$T_{D3}^{E}=\mu_3={1\over (2\pi)^3(\alpha')^2},$$

independent of $g_s$. This is precisely what one expects for an object invariant under strong/weak duality.

The D3-brane Wess—Zumino coupling also displays the same structure:

$$S_{\rm WZ}=\mu_3\int_{\mathcal W_4} \left(C_4+C_2\wedge \mathcal F+{1\over 2}C_0\mathcal F\wedge\mathcal F+\cdots\right), \qquad \mathcal F=B_2+2\pi\alpha'F.$$

The worldvolume gauge field is not inert. Under S-duality it undergoes four-dimensional electric-magnetic duality. This is why the D3-brane can be self-dual even though its worldvolume action contains an ordinary-looking gauge potential $A$: the duality acts nonlocally on $A$ but locally on the pair of electric and magnetic field strengths.

D3-branes and $\mathcal N=4$ super-Yang—Mills

A stack of $N$ coincident D3-branes supports four-dimensional $\mathcal N=4$ super-Yang—Mills theory with gauge group $U(N)$; the center-of-mass $U(1)$ often decouples, leaving the interacting $SU(N)$ theory. In the conventional normalization used in the AdS/CFT literature,

$$g_{\rm YM}^2=4\pi g_s, \qquad \theta_{\rm YM}=2\pi C_0.$$

Therefore the Yang—Mills complex coupling is

$$\tau_{\rm YM} ={\theta_{\rm YM}\over 2\pi}+{4\pi i\over g_{\rm YM}^2} =C_0+{i\over g_s} =\tau_{\rm IIB}.$$

So the type IIB $SL(2,\mathbb Z)$ predicts the Montonen—Olive duality of $\mathcal N=4$ super-Yang—Mills:

$$\tau_{\rm YM}\longmapsto {a\tau_{\rm YM}+b\over c\tau_{\rm YM}+d}.$$

On the Coulomb branch, separate two D3-branes by a distance $L$. A fundamental string stretched between them is a massive electrically charged $W$-boson with mass

$$M_{\rm electric}=L T_{F1}.$$

A D-string stretched between them is a magnetic monopole with mass

$$M_{\rm magnetic}=L T_{D1}.$$

More generally, a $(p,q)$ string stretched between the branes is a BPS dyon with mass

$$M_{(p,q)}=L T_{(p,q)}.$$

On a D3-brane, F-string endpoints are electric sources and D-string endpoints are magnetic sources. S-duality of type IIB becomes electric-magnetic duality of $\mathcal N=4$ super-Yang—Mills.

This brane construction turns a deep field-theory statement into a geometric one. Electric particles, magnetic monopoles, and dyons are all the same kind of object in ten dimensions: strings with different $(p,q)$ charges ending on or stretching between D3-branes.

There is also an instanton entry in the dictionary. D$(-1)$-branes bound to D3-branes correspond to Yang—Mills instantons. Their action is proportional to $1/g_s$, matching the instanton factor

$$e^{-8\pi^2/g_{\rm YM}^2+i\theta_{\rm YM}} =e^{2\pi i\tau_{\rm YM}}.$$

This is another reason the equality $\tau_{\rm YM}=\tau_{\rm IIB}$ is not merely a matter of convention; it organizes perturbative gauge fields, monopoles, dyons, and instantons into one duality-covariant structure.

S-duality as a nonperturbative organizing principle

S-duality should be used with the right level of respect. It is not visible term by term in the fundamental-string perturbation expansion, because it maps small $g_s$ to large $g_s$. Nevertheless, it is extremely powerful because many quantities are protected by supersymmetry and charge conservation.

The protected data include:

Object or datum	Duality-covariant meaning
$\tau=C_0+i e^{-\Phi}$	coordinate on the IIB coupling upper half-plane
$(p,q)$ string	primitive vector in the F1/D1 charge lattice
$T_{(p,q)}$	BPS central-charge magnitude
$B_2,C_2$	two-form doublet coupling to string charges
D3-brane	self-dual source of $F_5$
$\mathcal N=4$ SYM on D3	worldvolume realization of Montonen—Olive duality

This is also a useful warning about terminology. T-duality is a perturbative worldsheet equivalence associated with compact directions and winding. S-duality is a nonperturbative spacetime equivalence associated with the coupling constant and charge lattice. Both are exact string dualities, but they arise from very different physics.

The next step is to describe D-branes not only by their worldvolume theories but also by the spacetime fields they source. That leads to the supergravity $p$-brane solutions, harmonic functions, near-horizon throats, and eventually to the D3-brane geometry behind AdS/CFT.

Exercises

Exercise 1: the $S$ generator exchanges F1 and D1

Let

$$S=\begin{pmatrix}0&-1\\ 1&0\end{pmatrix}.$$

Show that $S$ maps the F-string charge $(1,0)$ to a D-string charge and maps $g_s$ to $1/g_s$ when $C_0=0$.

Solution

The charge vector transforms as

$$\begin{pmatrix}p\\ q\end{pmatrix} \mapsto S\begin{pmatrix}p\\ q\end{pmatrix}.$$

For the F-string,

$$S\begin{pmatrix}1\\0\end{pmatrix} = \begin{pmatrix}0\\1\end{pmatrix},$$

which is a D-string. For $C_0=0$,

$$\tau={i\over g_s}.$$

The $S$ transformation gives

$$\tau'=-{1\over \tau}=i g_s={i\over g_s'},$$

so

$$g_s'={1\over g_s}.$$

Thus $S$ exchanges weak and strong coupling while also exchanging F1 and D1 charges.

Exercise 2: the general $(p,q)$ tension at nonzero axion

Starting from

$$T_{(p,q)}^{\rm string}={1\over2\pi\alpha'}|p-q\tau|, \qquad \tau=C_0+{i\over g_s},$$

show that

$$T_{(p,q)}^{\rm string} ={1\over2\pi\alpha'}\sqrt{(p-qC_0)^2+{q^2\over g_s^2}}.$$

Solution

Substitute the definition of $\tau$:

$$p-q\tau=p-qC_0-i{q\over g_s}.$$

The absolute value of a complex number $x-iy$ is $\sqrt{x^2+y^2}$. Therefore

$$|p-q\tau| =\sqrt{(p-qC_0)^2+{q^2\over g_s^2}}.$$

Multiplying by $1/(2\pi\alpha')$ gives the stated tension.

Exercise 3: invariance of the Einstein-frame tension

Let

$$\tau'={a\tau+b\over c\tau+d}, \qquad \begin{pmatrix}p'\\q'\end{pmatrix} = \begin{pmatrix}a&b\\c&d\end{pmatrix} \begin{pmatrix}p\\q\end{pmatrix}.$$

Prove that

$${ |p'-q'\tau'|\over\sqrt{\operatorname{Im}\tau'}} = { |p-q\tau|\over\sqrt{\operatorname{Im}\tau}}.$$

Solution

Using $p'=ap+bq$ and $q'=cp+dq$,

$$p'-q'\tau' =ap+bq-(cp+dq){a\tau+b\over c\tau+d}.$$

Put everything over the common denominator $c\tau+d$:

$$p'-q'\tau' ={ (ap+bq)(c\tau+d)-(cp+dq)(a\tau+b)\over c\tau+d}.$$

The numerator simplifies using $ad-bc=1$:

$$(ap+bq)(c\tau+d)-(cp+dq)(a\tau+b)=p-q\tau.$$

Hence

$$|p'-q'\tau'|={|p-q\tau|\over |c\tau+d|}.$$

Also,

$$\operatorname{Im}\tau'={\operatorname{Im}\tau\over |c\tau+d|^2}.$$

Taking the square root of the second equation gives the same factor in the denominator, so the ratio is invariant.

Exercise 4: the $T$ generator and the Witten effect

For

$$T=\begin{pmatrix}1&1\\0&1\end{pmatrix},$$

show that a D-string charge $(0,1)$ is mapped to a $(1,1)$ charge. Explain why this is analogous to the Witten effect.

Solution

The charge transformation is

$$\begin{pmatrix}p\\ q\end{pmatrix} \mapsto T\begin{pmatrix}p\\ q\end{pmatrix} = \begin{pmatrix}p+q\\ q\end{pmatrix}.$$

Therefore

$$\begin{pmatrix}0\\1\end{pmatrix} \mapsto \begin{pmatrix}1\\1\end{pmatrix}.$$

The $T$ transformation also shifts $C_0\mapsto C_0+1$. Since $C_0$ is the string-theory analogue of a theta angle for D-string charge, a magnetically charged object acquires one unit of electric charge under a unit theta-angle shift. This is the same logic as the Witten effect in four-dimensional gauge theory.

Exercise 5: why the D3 tension is S-duality invariant

The D3 DBI action in string frame contains

$$\mu_3\int d^4\xi\,e^{-\Phi}\sqrt{-\det P[g_S]}.$$

Use $g_S=e^{\Phi/2}g_E$ to show that the corresponding Einstein-frame tension is independent of $g_s$.

Solution

If $g_S=e^{\Phi/2}g_E$, then the induced four-dimensional metric on the D3 worldvolume obeys

$$\det P[g_S]=e^{4\Phi/2}\det P[g_E]=e^{2\Phi}\det P[g_E].$$

Taking the square root gives

$$\sqrt{-\det P[g_S]}=e^{\Phi}\sqrt{-\det P[g_E]}.$$

The DBI prefactor includes $e^{-\Phi}$, so

$$e^{-\Phi}\sqrt{-\det P[g_S]} =\sqrt{-\det P[g_E]}.$$

Thus the Einstein-frame D3 tension is simply $\mu_3$, independent of $g_s$. This is consistent with the D3-brane being self-dual under $SL(2,\mathbb Z)$.

Exercise 6: D3-branes and the Yang—Mills coupling

Using the standard D3-brane normalization

$$g_{\rm YM}^2=4\pi g_s, \qquad \theta_{\rm YM}=2\pi C_0,$$

show that

$$\tau_{\rm YM}={\theta_{\rm YM}\over2\pi}+{4\pi i\over g_{\rm YM}^2}$$

equals the type IIB axio-dilaton.

Solution

Substitute the two relations:

$${\theta_{\rm YM}\over2\pi}=C_0, \qquad {4\pi\over g_{\rm YM}^2}={4\pi\over4\pi g_s}={1\over g_s}.$$

Therefore

$$\tau_{\rm YM}=C_0+{i\over g_s}=\tau_{\rm IIB}.$$

The $SL(2,\mathbb Z)$ action on the type IIB axio-dilaton is therefore the Montonen—Olive duality action on the $\mathcal N=4$ super-Yang—Mills coupling.

Exercise 7: dyons from stretched $(p,q)$ strings

Two parallel D3-branes are separated by distance $L$. Explain why a stretched $(p,q)$ string gives a BPS dyon of mass

$$M_{(p,q)}=L T_{(p,q)}.$$

Solution

A string stretched between two D3-branes has length $L$ in the transverse direction. Since the string is BPS, its energy is its tension times its length:

$$M=L T.$$

For a $(p,q)$ string, the relevant tension is $T_{(p,q)}$, so

$$M_{(p,q)}=L T_{(p,q)}.$$

Its endpoints on the D3-branes carry electric charge $p$ and magnetic charge $q$ under the worldvolume gauge theory. Thus the stretched string appears as a four-dimensional BPS dyon. The special cases $(1,0)$ and $(0,1)$ are the electrically charged $W$-boson and the magnetic monopole, respectively.