Skip to content

Type II T-Duality and Ramond--Ramond Fields

The previous pages made D-branes unavoidable: T-duality turns Neumann boundary conditions into Dirichlet boundary conditions, and the endpoints of open strings become constrained to lie on dynamical hypersurfaces. We now add an essential new fact. In superstring theory, the same T-duality also acts nontrivially on spacetime spinors and on Ramond—Ramond fields. This is why D-branes are not merely geometric defects; they are charged BPS objects.

The headline result is beautifully compact:

T-duality along one circle exchanges type IIA and type IIB.\boxed{\text{T-duality along one circle exchanges type IIA and type IIB.}}

The reason is that a single T-duality multiplies one chiral half of the spacetime spin fields by one gamma matrix. One gamma matrix flips ten-dimensional chirality. Since type IIA has opposite left- and right-moving chiralities, while type IIB has equal chiralities, a single T-duality maps one theory into the other.

This page develops the precise dictionary:

  • how T-duality acts on worldsheet fermions and spin fields,
  • how Ramond—Ramond potentials transform as differential forms,
  • why Dpp-branes become D(p1)(p-1)- or D(p+1)(p+1)-branes,
  • and why a Dpp-brane preserves exactly half of the type II supersymmetry.

Let y=X9y=X^9 be a compact coordinate of radius RR. On a closed string we decompose

Y(z,zˉ)=YL(z)+YR(zˉ).Y(z,\bar z)=Y_L(z)+Y_R(\bar z).

In the convention used here, T-duality along yy acts as

YLYL,YRYR.Y_L \longrightarrow Y_L,\qquad Y_R \longrightarrow -Y_R.

Worldsheet supersymmetry requires the same sign flip for the right-moving fermion:

ψy(z)ψy(z),ψ~y(zˉ)ψ~y(zˉ).\psi^y(z)\longrightarrow \psi^y(z),\qquad \tilde\psi^y(\bar z)\longrightarrow -\tilde\psi^y(\bar z).

For the noncompact directions μ=0,,8\mu=0,\ldots,8,

XLμXLμ,XRμXRμ,ψμψμ,ψ~μψ~μ.X^\mu_L\to X^\mu_L,\qquad X^\mu_R\to X^\mu_R,\qquad \psi^\mu\to\psi^\mu,\qquad \tilde\psi^\mu\to \tilde\psi^\mu.

Thus T-duality is not just a relabeling of the compact coordinate. It is a spacetime reflection acting only on one chiral half of the worldsheet theory. In the bosonic sector, this reflection exchanges momentum and winding. In the fermionic Ramond sector, it acts on spin fields.

The Ramond-sector vertex operators for spacetime fermions contain spin fields. In the (1/2)(-1/2) picture, schematically,

VA(1/2)(z)=uAeϕ/2SA(z)eikX(z),V_A^{(-1/2)}(z)=u_A\, e^{-\phi/2} S^A(z) e^{ik\cdot X(z)},

for the left-moving side, and

V~B(1/2)(zˉ)=u~Beϕ~/2S~B(zˉ)eikX~(zˉ)\tilde V_B^{(-1/2)}(\bar z)=\tilde u_B\, e^{-\tilde\phi/2} \tilde S^B(\bar z) e^{ik\cdot \tilde X(\bar z)}

for the right-moving side. The ten-dimensional chirality matrix is

Γ11=Γ0Γ1Γ9,Γ112=1.\Gamma_{11}=\Gamma^0\Gamma^1\cdots\Gamma^9,\qquad \Gamma_{11}^2=1.

Because Γy\Gamma^y anticommutes with Γ11\Gamma_{11},

Γ11Γy=ΓyΓ11.\Gamma_{11}\Gamma^y=-\Gamma^y\Gamma_{11}.

Therefore multiplication by Γy\Gamma^y reverses chirality. Under the T-duality above, the right-moving Ramond spin field transforms as

S~ΓyS~.\tilde S \longrightarrow \Gamma^y \tilde S.

Consequently,

Γ11S~=±S~Γ11(ΓyS~)=(ΓyS~).\Gamma_{11}\tilde S=\pm \tilde S \qquad\Longrightarrow\qquad \Gamma_{11}(\Gamma^y\tilde S)=\mp(\Gamma^y\tilde S).

This proves the exchange of the two type II theories:

type IIA  Ty  type IIB,opposite chiralitiessame chiralities.\boxed{ \begin{array}{ccl} \text{type IIA} & \xleftrightarrow{\;T_y\;} & \text{type IIB},\\ \text{opposite chiralities} && \text{same chiralities}. \end{array} }

More generally, an odd number of T-dualities exchanges IIA and IIB, while an even number maps each theory to itself.

T-duality acting on Ramond--Ramond polyforms

A single T-duality along yy exchanges the two type II theories by flipping one Ramond chirality. In the Ramond—Ramond sector, components with a yy index lose it, while components without a yy index gain one.

Ramond—Ramond vertex operators as bispinors

Section titled “Ramond—Ramond vertex operators as bispinors”

Ramond—Ramond states are obtained by taking a Ramond ground state on both the left and right. In the (1/2,1/2)(-1/2,-1/2) picture,

VRR(1/2,1/2)=FABeϕ/2SA(z)eϕ~/2S~B(zˉ)eikX.V_{\text{RR}}^{(-1/2,-1/2)} = \mathcal F_{AB}\, e^{-\phi/2}S^A(z)\, e^{-\tilde\phi/2}\tilde S^B(\bar z)\, e^{ik\cdot X}.

The polarization FAB\mathcal F_{AB} is a spacetime bispinor. Gamma matrices identify such bispinors with antisymmetric differential forms:

FAB=n1n!Fμ1μn(CΓμ1μn)AB,\mathcal F_{AB} = \sum_n {1\over n!} F_{\mu_1\cdots\mu_n} \left(C\Gamma^{\mu_1\cdots\mu_n}\right)_{AB},

where CC is the charge-conjugation matrix and

Γμ1μn=Γ[μ1Γμ2Γμn].\Gamma^{\mu_1\cdots\mu_n} = \Gamma^{[\mu_1}\Gamma^{\mu_2}\cdots\Gamma^{\mu_n]}.

After imposing the type II GSO projection, the physical Ramond—Ramond field strengths are

theoryR–R potentialsR–R field strengthsIIAC1, C3, C5, C7, C9F0, F2, F4, F6, F8, F10IIBC0, C2, C4, C6, C8F1, F3, F5, F7, F9\begin{array}{c|c|c} \text{theory} & \text{R--R potentials} & \text{R--R field strengths}\\ \hline \text{IIA} & C_1,\ C_3,\ C_5,\ C_7,\ C_9 & F_0,\ F_2,\ F_4,\ F_6,\ F_8,\ F_{10}\\ \text{IIB} & C_0,\ C_2,\ C_4,\ C_6,\ C_8 & F_1,\ F_3,\ F_5,\ F_7,\ F_9 \end{array}

This is the democratic notation. In the minimal two-derivative supergravity description, one keeps only the independent fields and imposes duality relations,

Fn=(1)n(n1)/2F10n,F_n = (-1)^{n(n-1)/2} * F_{10-n},

with the special self-duality condition in type IIB,

F5=F5.F_5=*F_5.

In particular, the familiar independent potentials are

IIA:C1, C3,IIB:C0, C2, C4+,\text{IIA}:\quad C_1,\ C_3, \qquad \text{IIB}:\quad C_0,\ C_2,\ C_4^+,

where the superscript reminds us that the corresponding five-form field strength is self-dual.

Let yy be the T-duality direction. Split an nn-form potential into components with and without a dydy leg:

Cn=Cn+dyCn1,C_n = C_n^{\perp} + dy\wedge C_{n-1}^{\parallel},

where CnC_n^\perp has no dydy index. Then, ignoring BB-field refinements and signs depending on form-ordering conventions, T-duality acts as

CndyCn,dyCn1Cn1.\boxed{ C_n^{\perp}\longrightarrow dy'\wedge C_n^{\perp}, \qquad dy\wedge C_{n-1}^{\parallel}\longrightarrow C_{n-1}^{\parallel}. }

Equivalently, in components with μiy\mu_i\neq y,

Cμ1μny=Cμ1μn,Cμ1μn=Cμ1μny.\boxed{ C'_{\mu_1\cdots\mu_n\, y} = C_{\mu_1\cdots\mu_n}, \qquad C'_{\mu_1\cdots\mu_n} = C_{\mu_1\cdots\mu_n y}. }

A component without a yy index gains one. A component with a yy index loses one. This simple rule turns odd-degree potentials into even-degree potentials and vice versa.

For example,

IIA Cμ{IIB Cμy,μy,IIB C0,μ=y,IIA Cμνρ{IIB Cμνρy,μ,ν,ρy,IIB Cμν,one index is y.\begin{aligned} \text{IIA } C_\mu &\longrightarrow \begin{cases} \text{IIB } C_{\mu y}, & \mu\neq y,\\ \text{IIB } C_0, & \mu=y, \end{cases} \\ \text{IIA } C_{\mu\nu\rho} &\longrightarrow \begin{cases} \text{IIB } C_{\mu\nu\rho y}, & \mu,\nu,\rho\neq y,\\ \text{IIB } C_{\mu\nu}, & \text{one index is } y. \end{cases} \end{aligned}

This form-degree rule is the spacetime counterpart of the spin-field rule S~ΓyS~\tilde S\to \Gamma^y\tilde S.

A compact way to write the same statement is to combine the R—R potentials into a polyform

C=nCn.C=\sum_n C_n.

For backgrounds with no BB-field, the T-dual polyform is schematically

C=ιyC+dyC,C'=\iota_y C + dy'\wedge C,

where terms with two dydy legs vanish automatically. With a nonzero NS—NS two-form, the clean invariant object is eBCe^B C, and the formula is correspondingly twisted by BB. For most elementary D-brane applications, the component rule above is the safest way to use the dictionary.

A Dpp-brane couples electrically to a Ramond—Ramond (p+1)(p+1)-form potential:

SWZ=μpWp+1Cp+1.S_{\text{WZ}}=\mu_p\int_{\mathcal W_{p+1}} C_{p+1}.

Here Wp+1\mathcal W_{p+1} is the brane worldvolume and μp\mu_p is the R—R charge. This single formula explains the allowed D-branes in the two type II theories:

theoryBPS D-branesIIAp=0,2,4,6,8IIBp=1,1,3,5,7,9\boxed{ \begin{array}{c|c} \text{theory} & \text{BPS D-branes}\\ \hline \text{IIA} & p=0,2,4,6,8\\ \text{IIB} & p=-1,1,3,5,7,9 \end{array} }

The D(1)(-1)-brane is a D-instanton. The D9-brane fills all spacetime.

Now apply T-duality along yy. There are two cases.

If the Dpp-brane wraps the circle yy, then dydy appears in the pulled-back volume form. The Wess—Zumino coupling contains

Wp+1Cμ0μp1ydxμ0dxμp1dy.\int_{\mathcal W_{p+1}} C_{\mu_0\cdots\mu_{p-1}y}\, dx^{\mu_0}\wedge\cdots\wedge dx^{\mu_{p-1}}\wedge dy.

After T-duality, Cμ0μp1yC_{\mu_0\cdots\mu_{p-1}y} becomes a pp-form potential Cμ0μp1C'_{\mu_0\cdots\mu_{p-1}}. The brane loses the wrapped direction:

Ty along the brane:DpD(p1).\boxed{ T_y\text{ along the brane:}\qquad D p \longrightarrow D(p-1). }

This is the R—R version of the open-string statement that a Neumann direction becomes Dirichlet.

If yy is transverse to the Dpp-brane, then the coupling uses a component Cμ0μpC_{\mu_0\cdots\mu_p} with no yy index. Under T-duality this becomes Cμ0μpyC'_{\mu_0\cdots\mu_p y}, so the brane gains the dual direction:

Ty transverse to the brane:DpD(p+1).\boxed{ T_y\text{ transverse to the brane:}\qquad D p \longrightarrow D(p+1). }

This is the R—R version of the open-string statement that a Dirichlet direction becomes Neumann.

Type IIA and type IIB D-branes under T-duality

Allowed BPS D-branes alternate between type IIA and type IIB. T-duality along a worldvolume circle lowers pp by one, while T-duality along a transverse circle raises pp by one.

Flat type II string theory has two ten-dimensional Majorana—Weyl supercharges,

QL,QR,Q_L,\qquad Q_R,

each with 16 real components. In worldsheet language they arise from integrated Ramond spin-field vertices,

QLA=dzeϕ/2SA(z),QRB=dzˉeϕ~/2S~B(zˉ).Q_L^A=\oint dz\, e^{-\phi/2} S^A(z), \qquad Q_R^B=\oint d\bar z\, e^{-\tilde\phi/2}\tilde S^B(\bar z).

Their chiralities distinguish the two theories:

theorychirality relationIIAQL and QR have opposite chiralityIIBQL and QR have the same chirality\begin{array}{c|c} \text{theory} & \text{chirality relation}\\ \hline \text{IIA} & Q_L \text{ and } Q_R \text{ have opposite chirality}\\ \text{IIB} & Q_L \text{ and } Q_R \text{ have the same chirality} \end{array}

The full flat-space theory has 32 real supercharges. A D-brane preserves only a diagonal half.

A Dpp-brane extended along x0,x1,,xpx^0,x^1,\ldots,x^p imposes boundary conditions that identify left- and right-moving worldsheet degrees of freedom at the boundary. The corresponding relation on spacetime supersymmetry parameters is

ϵL=ηΓ0pϵR,\boxed{ \epsilon_L = \eta\, \Gamma^{0\cdots p}\epsilon_R, }

where

Γ0p=Γ0Γ1Γp,\Gamma^{0\cdots p}=\Gamma^0\Gamma^1\cdots\Gamma^p,

and η=+1\eta=+1 for a brane, η=1\eta=-1 for an antibrane, up to a convention-dependent overall sign.

Equivalently, the preserved supercharge is a linear combination

Qpres=QL+ηΓ0pQR.\boxed{ Q_{\text{pres}} = Q_L + \eta\, \Gamma^{0\cdots p} Q_R. }

This imposes 16 independent conditions on the original 32 supercharges, so a single flat Dpp-brane is half-BPS.

The chirality of Γ0p\Gamma^{0\cdots p} is exactly right for the allowed branes:

  • if pp is even, then p+1p+1 is odd, so Γ0p\Gamma^{0\cdots p} flips chirality; this matches type IIA, where QLQ_L and QRQ_R have opposite chirality;
  • if pp is odd, then p+1p+1 is even, so Γ0p\Gamma^{0\cdots p} preserves chirality; this matches type IIB, where QLQ_L and QRQ_R have the same chirality.

Thus the supersymmetry projection knows the same parity rule as the R—R potentials.

Preserved supercharges of a Dp-brane

A flat Dpp-brane identifies the two type II supersymmetry parameters by ϵL=ηΓ0pϵR\epsilon_L=\eta\Gamma^{0\cdots p}\epsilon_R. This leaves 16 of the original 32 real supercharges unbroken.

A useful special case is a D9-brane in type IIB. It fills all spacetime, so the preserved supersymmetry condition is

ϵL=ηΓ09ϵR=ηΓ11ϵR.\epsilon_L=\eta\,\Gamma^{0\cdots 9}\epsilon_R =\eta\,\Gamma_{11}\epsilon_R.

For type IIB, ϵR\epsilon_R has a definite chirality equal to that of ϵL\epsilon_L. Choosing the conventional sign gives a diagonal N=1N=1 supersymmetry in ten dimensions. This is the same structure that appears in the type I orientifold: the worldsheet parity projection identifies the two type IIB supercharges and leaves a single ten-dimensional Majorana—Weyl supercharge.

T-dualizing a D9-brane along one spatial direction gives a D8-brane in type IIA. The D8-brane is special because it couples to a nine-form potential C9C_9, whose ten-form field strength F10F_{10} is dual to the Romans mass F0F_0. In other words, the D8-brane naturally belongs to massive type IIA supergravity. This is the first sign that the full D-brane spectrum includes objects that are invisible in the smallest field-content list but are required by duality.

Worldvolume fields from dimensional reduction

Section titled “Worldvolume fields from dimensional reduction”

The low-energy fields on a single Dpp-brane form the dimensional reduction of ten-dimensional N=1N=1 super-Yang—Mills theory to p+1p+1 dimensions.

The ten-dimensional gauge field decomposes as

AM=(Aa,Ai),a=0,,p,i=p+1,,9.A_M = (A_a,A_i), \qquad a=0,\ldots,p,\qquad i=p+1,\ldots,9.

On the brane,

Aais a (p+1)-dimensional gauge field,A_a \quad\text{is a }(p+1)\text{-dimensional gauge field},

while

Φi=12παXi\Phi^i = {1\over 2\pi\alpha'} X^i

are scalar fields describing transverse fluctuations. Thus a Dpp-brane carries

9p9-p

real scalar fields. For NN coincident branes these fields become N×NN\times N matrices, and the diagonal entries encode brane positions.

The fermions reduce in the same way. The result is a maximally supersymmetric vector multiplet in p+1p+1 dimensions, with 16 supercharges. This is precisely what one expects from a half-BPS brane inside a 32-supercharge bulk.

A single T-duality is more than the map Rα/RR\leftrightarrow \alpha'/R. In type II string theory it also acts on the Ramond sector:

S~ΓyS~,\tilde S\longrightarrow \Gamma^y\tilde S,

so it flips one spacetime chirality and exchanges type IIA with type IIB. Ramond—Ramond potentials transform by adding or removing an index along the dualized circle,

Cμ1μny=Cμ1μn,Cμ1μn=Cμ1μny.C'_{\mu_1\cdots\mu_n\,y}=C_{\mu_1\cdots\mu_n}, \qquad C'_{\mu_1\cdots\mu_n}=C_{\mu_1\cdots\mu_n y}.

D-branes are the electric sources for these potentials:

SWZ=μpCp+1.S_{\text{WZ}}=\mu_p\int C_{p+1}.

Therefore type IIA contains even-dimensional BPS D-branes and type IIB contains odd-dimensional BPS D-branes. T-duality along a worldvolume direction sends DpD p to D(p1)D(p-1); T-duality along a transverse direction sends DpD p to D(p+1)D(p+1).

Finally, a flat Dpp-brane preserves the diagonal half of the type II supersymmetry,

Qpres=QL+ηΓ0pQR,Q_{\text{pres}}=Q_L+\eta\,\Gamma^{0\cdots p}Q_R,

leaving 16 real supercharges. The compatibility of this projection with ten-dimensional chirality is the supersymmetry version of the same IIA/IIB parity rule.

Show explicitly that multiplying a ten-dimensional Weyl spinor by Γy\Gamma^y reverses its chirality.

Solution

Let λ\lambda be a Weyl spinor satisfying

Γ11λ=sλ,s=±1.\Gamma_{11}\lambda=s\lambda,\qquad s=\pm1.

Since

Γ11Γy=ΓyΓ11,\Gamma_{11}\Gamma^y=-\Gamma^y\Gamma_{11},

we find

Γ11(Γyλ)=ΓyΓ11λ=sΓyλ.\Gamma_{11}(\Gamma^y\lambda) = -\Gamma^y\Gamma_{11}\lambda = -s\,\Gamma^y\lambda.

Thus Γyλ\Gamma^y\lambda has chirality s-s. This is why a single T-duality, which multiplies one Ramond spin field by Γy\Gamma^y, exchanges type IIA and type IIB.

Use the R—R T-duality component rule to determine what type IIB fields arise from the type IIA three-form potential C3C_3 after T-duality along yy.

Solution

Write the components of C3C_3 as

Cμνρ,Cμνy,C_{\mu\nu\rho},\qquad C_{\mu\nu y},

where μ,ν,ρy\mu,\nu,\rho\neq y. The T-duality rule gives

CμνρCμνρy,C_{\mu\nu\rho}\longrightarrow C'_{\mu\nu\rho y},

which is a component of the type IIB four-form C4C_4, and

CμνyCμν,C_{\mu\nu y}\longrightarrow C'_{\mu\nu},

which is a component of the type IIB two-form C2C_2. Thus

C3IIATyC4IIBC2IIB,C_3^{\text{IIA}} \quad\xrightarrow{T_y}\quad C_4^{\text{IIB}}\oplus C_2^{\text{IIB}},

with the split determined by whether the original component carried a yy index.

A D4-brane in type IIA wraps a circle yy. What brane is obtained after T-duality along yy? What happens if yy is instead transverse to the D4-brane?

Solution

If yy lies along the D4-brane worldvolume, T-duality turns a Neumann direction into a Dirichlet direction. The brane loses one spatial dimension:

D4D3.D4 \longrightarrow D3.

The resulting D3-brane belongs to type IIB, as expected because one T-duality exchanges IIA and IIB.

If yy is transverse to the D4-brane, T-duality turns a Dirichlet direction into a Neumann direction. The brane gains one spatial dimension:

D4D5.D4 \longrightarrow D5.

Again the result belongs to type IIB.

Explain why the supersymmetry projection

ϵL=ηΓ0pϵR\epsilon_L=\eta\,\Gamma^{0\cdots p}\epsilon_R

is compatible with type IIA only for even pp and with type IIB only for odd pp.

Solution

The product Γ0p\Gamma^{0\cdots p} contains p+1p+1 gamma matrices. Since each gamma matrix anticommutes with Γ11\Gamma_{11}, the product satisfies

Γ11Γ0p=(1)p+1Γ0pΓ11.\Gamma_{11}\Gamma^{0\cdots p} = (-1)^{p+1}\Gamma^{0\cdots p}\Gamma_{11}.

If pp is even, then p+1p+1 is odd, so Γ0p\Gamma^{0\cdots p} flips chirality. This can relate ϵR\epsilon_R to ϵL\epsilon_L only if the two spinors have opposite chirality, which is type IIA.

If pp is odd, then p+1p+1 is even, so Γ0p\Gamma^{0\cdots p} preserves chirality. This can relate ϵR\epsilon_R to ϵL\epsilon_L only if the two spinors have the same chirality, which is type IIB.

Therefore BPS D-branes have even pp in IIA and odd pp in IIB.

A single Dpp-brane has a maximally supersymmetric vector multiplet on its worldvolume. Derive the number of scalar fields in this multiplet from dimensional reduction of ten-dimensional super-Yang—Mills theory.

Solution

Ten-dimensional super-Yang—Mills has a gauge field AMA_M with

M=0,,9.M=0,\ldots,9.

On a Dpp-brane, split the index as

M=(a,i),a=0,,p,i=p+1,,9.M=(a,i), \qquad a=0,\ldots,p, \qquad i=p+1,\ldots,9.

The components AaA_a remain a gauge field on the (p+1)(p+1)-dimensional worldvolume. The transverse components AiA_i become scalar fields from the lower-dimensional viewpoint:

AiΦi.A_i\longrightarrow \Phi^i.

The number of transverse directions is

10(p+1)=9p.10-(p+1)=9-p.

Hence the Dpp-brane worldvolume theory contains 9p9-p real scalar fields, describing the transverse position of the brane.

Why is the D8-brane naturally associated with massive type IIA supergravity?

Solution

A D8-brane couples electrically to a nine-form Ramond—Ramond potential:

SWZ=μ8W9C9.S_{\text{WZ}}=\mu_8\int_{\mathcal W_9} C_9.

The corresponding field strength is a ten-form,

F10=dC9.F_{10}=dC_9.

In ten dimensions, a ten-form field strength is Hodge dual to a zero-form:

F10=F0.F_{10}=*F_0.

The zero-form F0F_0 is the Romans mass parameter of massive type IIA supergravity. Therefore a D8-brane is a domain wall across which the Romans mass can jump. This is why D8-branes are naturally described in massive type IIA rather than in the smallest massless type IIA supergravity field list.