Skip to content

Intersecting Branes and Preserved Supersymmetry

An open string joining different D-branes can be free to move at one endpoint and fixed at the other. These mixed boundary conditions change its oscillator frequencies, its ground-state Clifford algebra, and the supersymmetries shared by the branes. Four mixed directions give the familiar quarter-BPS intersections. Eight require an additional Ramond parity trace: omitting its covariant zero modes loses the contribution associated with fundamental-string creation.

We study static, unfluxed branes aligned with coordinate axes in a locally flat type II background. The shared spinor and spacetime conventions, physical tensions and gravitational coupling, and annulus normalization apply throughout. A local boundary conformal field theory does not by itself supply a globally consistent D8- or D9-brane background.

Mixed boundary conditions and normal modes

Section titled “Mixed boundary conditions and normal modes”

Let a Dpp-brane and a Dqq-brane share ss spatial directions. Time is common Neumann. The numbers of coordinate directions are

nNN=s+1,ν=p+q−2s,dDD=9−p−q+s,nNN+ν+dDD=10. n_{\rm NN}=s+1,\quad \nu=p+q-2s,\quad d_{\rm DD}=9-p-q+s, \quad n_{\rm NN}+\nu+d_{\rm DD}=10.

Here ν\nu counts both ND and DN directions. It is even because pp and qq have the same parity in a fixed type II theory. A separation y\boldsymbol y exists only in common DD directions. Only NN directions have momentum zero modes.

For example, take D1 along 0101 and D5 along 012345012345. Directions 0101 are NN, 23452345 are mixed, and 67896789 are DD. Their open strings propagate along the common string; they do not carry independent center-of-mass momenta along 23452345.

Subtract the fixed Dirichlet values and solve the wave equation on 0≤σ≤π0\leq\sigma\leq\pi. A separated mode e−iωτu(σ)e^{-i\omega\tau}u(\sigma) obeys u′′+ω2u=0u''+\omega^2u=0. The endpoint equations determine

Boundary conditionsOscillatory profilePositive frequenciesAdditional zero-mode data
NNcos⁡nσ\cos n\sigman=1,2,…n=1,2,\ldotsx+2α′kτx+2\alpha'k\tau
DDsin⁡nσ\sin n\sigman=1,2,…n=1,2,\ldotsfixed profile y0+(yπ−y0)σ/πy_0+(y_\pi-y_0)\sigma/\pi
NDcos⁡rσ\cos r\sigmar=12,32,…r=\tfrac12,\tfrac32,\ldotsfixed Dirichlet endpoint position
DNsin⁡rσ\sin r\sigmar=12,32,…r=\tfrac12,\tfrac32,\ldotsfixed Dirichlet endpoint position

In particular, an ND oscillator satisfies u′(0)=0u'(0)=0 and u(π)=0u(\pi)=0, so cos⁡ωπ=0\cos\omega\pi=0. There is no zero-frequency solution other than the fixed constant. The corresponding quantum expansion can be written

XND=y+i2α′∑r∈Z+1/2αrre−irτcos⁡rσ,[αr,αt]=rδr+t,0. X_{\rm ND}=y+i\sqrt{2\alpha'} \sum_{r\in\mathbb Z+1/2}\frac{\alpha_r}{r}e^{-ir\tau}\cos r\sigma, \qquad [\alpha_r,\alpha_t]=r\delta_{r+t,0}.

The sum includes both signs of rr, with αr†=α−r\alpha_r^\dagger=\alpha_{-r}. This makes XX Hermitian. A sine expansion gives DN oscillators after the corresponding phase choice for the oscillators.

Why the fermionic frequencies are reversed

Section titled “Why the fermionic frequencies are reversed”

At an endpoint let R=+1R=+1 for a Neumann coordinate and R=−1R=-1 for a Dirichlet coordinate. The fermion gluing has the form ψ+=ηRψ−\psi_+=\eta R\psi_-, where the endpoint signs η\eta distinguish the spin sectors. Doubling the interval gives the monodromy

ψ(σ+2π)=η0ηπR0Rπψ(σ). \psi(\sigma+2\pi)=\eta_0\eta_\pi R_0R_\pi\psi(\sigma).

For ordinary NN or DD directions, R0Rπ=+1R_0R_\pi=+1. Choose the R sector to have η0ηπ=+1\eta_0\eta_\pi=+1 and NS to have −1-1. Mixed directions multiply either monodromy by another minus sign. Thus

Coordinate typeBosonsNS fermionsR fermions
NN or DDintegerhalf-integerinteger
ND or DNhalf-integerintegerhalf-integer

The integer NS fermions in mixed directions have zero modes. This fact changes the GSO projection as much as the shift in vacuum energy does. The derivation and its spacetime interpretation are developed in Polchinski, §4.2.

Mixed endpoint conditions select half-integer cosine and sine profiles

The profiles have unit amplitude and use u=σ/π∈[0,1]u=\sigma/\pi\in[0,1]. Their endpoint values and slopes implement ND or DN conditions; they are string-coordinate profiles, not drawings of brane shapes. The D1–D5 coordinate table identifies four mixed directions. Reversing one endpoint gluing also reverses the fermion periodicity.

Vacuum energies and physical intersection fields

Section titled “Vacuum energies and physical intersection fields”

For each real oscillator, the vacuum contribution is +ω/2+\omega/2 for a boson and −ω/2-\omega/2 for a fermion. A common exponential regulator gives the finite parts

∑n=1∞ne−δn=1δ2−112+O(δ2),∑n=0∞(n+12)e−δ(n+1/2)=1δ2+124+O(δ2). \sum_{n=1}^{\infty}ne^{-\delta n} =\frac1{\delta^2}-\frac1{12}+O(\delta^2), \qquad \sum_{n=0}^{\infty}(n+\tfrac12)e^{-\delta(n+1/2)} =\frac1{\delta^2}+\frac1{24}+O(\delta^2).

An ordinary boson–NS-fermion pair therefore contributes −1/24−1/48=−1/16-1/24-1/48=-1/16, whereas a mixed pair contributes 1/48+1/24=+1/161/48+1/24=+1/16. Covariant matter and ghost determinants cancel two ordinary coordinate pairs. This leaves

ENS=(8−ν)(−116)+ν(116)=−12+ν8,ER=0. E_{\rm NS}=(8-\nu)(-\tfrac1{16})+\nu(\tfrac1{16}) =-\frac12+\frac\nu8, \qquad E_{\rm R}=0.

The R cancellation occurs frequency by frequency. Each additional mixed direction raises the NS vacuum energy by 1/81/8; each additional pair raises it by 1/41/4.

When a common spatial NN direction exists, the same eight-pair calculation follows in a compatible light-cone gauge. A D0–D4 or D0–D8 string has no such common spatial direction. Its determinant calculation must instead use covariant matter and ghosts, or a justified T-dual description; the counting of eight effective oscillator pairs is not permission to impose an unavailable light-cone gauge. The zero modes of this cancellation need special care at ν=8\nu=8.

The stretched mass formulas are

α′MNS2=y24π2α′+NNS−12+ν8,α′MR2=y24π2α′+NR. \alpha'M_{\rm NS}^2=\frac{y^2}{4\pi^2\alpha'}+N_{\rm NS}-\frac12+\frac\nu8, \qquad \alpha'M_{\rm R}^2=\frac{y^2}{4\pi^2\alpha'}+N_{\rm R}.

The term proportional to y2y^2 is the energy of the linear DD profile; a mixed direction adds no analogous freely adjustable separation.

For ν=2,4,6\nu=2,4,6, the ν\nu NS zero modes generate a Clifford module of dimension 2ν/22^{\nu/2}. Its two chiralities have equal dimension. The GSO projection keeps one, so it retains 2ν/2−12^{\nu/2-1} ground states per endpoint orientation. In the R sector, after the physical constraints the corresponding ground multiplicity is 2(8−ν)/2−12^{(8-\nu)/2-1}:

ν\nuENSE_{\rm NS}Retained NS ground multiplicityRetained R ground multiplicity
2−1/4-1/414
4022
6+1/4+1/441

These are complex polarization counts for one oriented sector, without Chan–Paton multiplicity. At ν=2\nu=2 the NS ground state survives the projection and is tachyonic when y<πα′y<\pi\sqrt{\alpha'}. At ν=6\nu=6 there is no NS ground-state tachyon even at y=0y=0, but the system need not preserve supersymmetry. Absence of a tachyon and absence of force are different tests.

For ν=4\nu=4, the two bosonic and two fermionic ground polarizations in one orientation combine with their orientation-reversed partners into one hypermultiplet, rather than two independent complex hypermultiplets. With stacks, the pp–qq sector transforms in (Np,N‾q)(N_p,\overline N_q) and the opposite sector supplies its conjugate. D3–D7 gives four-dimensional N=2\mathcal N=2 matter; D1–D5 gives its two-dimensional reduction with eight supersymmetries. D0–D4 gives the corresponding quantum-mechanical fields: an on-shell massless particle count in zero spatial dimensions is not the appropriate interpretation.

Use the parameter relation derived on page 20. For an ordered coordinate-aligned brane, it reads

ϵL=ηpMpϵR,Mp=(−1)pΓ0⋯p,ηp=±1. \epsilon_L=\eta_p M_p\epsilon_R, \qquad M_p=(-1)^p\Gamma^{0\cdots p},\qquad \eta_p=\pm1.

The sign distinguishes charge orientations. These are supersymmetry parameters, with the shared chiralities; covariant charge columns have dual indices and must not be substituted for them. The actual projector acts on the pair of parameters:

Kp=(0ηpMpηpMp−10),Kp2=1,Πp=1+Kp2. K_p=\begin{pmatrix}0&\eta_pM_p\\ \eta_pM_p^{-1}&0\end{pmatrix}, \qquad K_p^2=1,\qquad \Pi_p=\frac{1+K_p}{2}.

The inverse matters because Mp2M_p^2 need not be one. A single graph has real dimension sixteen.

For nested branes q<pq<p along 0…q0\ldots q and 0…p0\ldots p, equating the two graphs gives

Rq,pϵR=ηqηpϵR,Rq,p=Mq−1Mp=Γq+1⋯Γp. R_{q,p}\epsilon_R=\eta_q\eta_p\epsilon_R, \qquad R_{q,p}=M_q^{-1}M_p=\Gamma^{q+1}\cdots\Gamma^p.

The last equality uses even p−qp-q and this specific inverse order. Reversing the order takes the inverse of the spatial product; for two mixed directions this changes its sign. Since

Rq,p2=(−1)ν(ν−1)/2, R_{q,p}^2=(-1)^{\nu(\nu-1)/2},

ν=2,6\nu=2,6 allows no eigenvalue +1+1 or −1-1, even over the complex numbers. No parameter survives. For ν=4\nu=4, the relative product squares to one and has zero trace on the allowed sixteen-dimensional Weyl space. Its two eigenspaces each have dimension eight. Equal orientations select one and reversing one orientation selects the other. Both are quarter-BPS local boundary configurations.

For example, D0–D4 selects Γ1234ϵR=η0η4ϵR\Gamma^{1234}\epsilon_R=\eta_0\eta_4\epsilon_R; D1–D5 selects Γ2345ϵR=η1η5ϵR\Gamma^{2345}\epsilon_R=\eta_1\eta_5\epsilon_R. The ν=8\nu=8 product also has two eight-dimensional eigenspaces. This establishes compatibility of the local supersymmetry conditions. It does not decide the background charge, vacuum choice, or stretched-string content required for a globally supersymmetric D0–D8 configuration.

The D0 and D4 supersymmetry graphs intersect in eight real parameters

The graph projector contains Mp−1M_p^{-1}, not a second copy of MpM_p. In the smaller-brane inverse order, M0−1M4=Γ1234M_0^{-1}M_4=\Gamma^{1234} splits the allowed right-parameter space into two eight-dimensional eigenspaces. By contrast, (M0−1M2)2=−1(M_0^{-1}M_2)^2=-1 prevents a common parameter. The drawing describes linear subspaces and dimensions, not physical angles or norms.

Write W=log⁡ZW=\log Z and let Vs+1\mathcal V_{s+1} be the Euclidean intersection volume. For one brane of each kind, the two endpoint orientations cancel the cylinder factor 1/21/2, while the GSO factor remains inside the projected character:

WpqVs+1=∫0∞dtoto(8π2α′to)−(s+1)/2e−y2to/(2πα′)Zν(to). \frac{W_{pq}}{\mathcal V_{s+1}} =\int_0^\infty\frac{dt_o}{t_o} (8\pi^2\alpha't_o)^{-(s+1)/2} e^{-y^2t_o/(2\pi\alpha')}Z_\nu(t_o).

The static interaction energy per spatial intersection volume is E=−W/Vs+1\mathcal E=-W/\mathcal V_{s+1}. Only common NN momenta enter the Gaussian. Divergent integrals are compared with common cutoffs before their limits are taken.

Use the product functions from page 22, with qo=e−πtoq_o=e^{-\pi t_o}. To see their coefficients directly, set a=8−νa=8-\nu and introduce the bosonic oscillator product

Bν(qo)=∏n≥1(1−qo2n)−a(1−qo2n−1)−ν. B_\nu(q_o)=\prod_{n\geq1}(1-q_o^{2n})^{-a}(1-q_o^{2n-1})^{-\nu}.

The ordinary unprojected characters are

Aν=2ν/2qo2ENSBν∏n≥1(1+qo2n−1)a(1+qo2n)ν,BνR=2a/2Bν∏n≥1(1+qo2n)a(1+qo2n−1)ν. \begin{aligned} A_\nu&=2^{\nu/2}q_o^{2E_{\rm NS}}B_\nu \prod_{n\geq1}(1+q_o^{2n-1})^a(1+q_o^{2n})^\nu,\\ B_\nu^{\rm R}&=2^{a/2}B_\nu \prod_{n\geq1}(1+q_o^{2n})^a(1+q_o^{2n-1})^\nu. \end{aligned}

The prefactors come from Clifford zero modes. The superscript distinguishes the Ramond character from the bosonic product. In terms of fj=fj(qo)f_j=f_j(q_o),

Aν=f38−νf2νf18−νf4ν,BνR=f28−νf3νf18−νf4ν. A_\nu=\frac{f_3^{8-\nu}f_2^\nu}{f_1^{8-\nu}f_4^\nu}, \qquad B_\nu^{\rm R}=\frac{f_2^{8-\nu}f_3^\nu}{f_1^{8-\nu}f_4^\nu}.

For ν=2,4,6\nu=2,4,6, both inserted parity traces vanish: NS has mixed fermion zero modes, while R has ordinary physical zero modes. Thus, in precisely these cases,

Zν=12(Aν−BνR),ν=2,4,6. Z_\nu=\frac12(A_\nu-B_\nu^{\rm R}),\qquad \nu=2,4,6.

The minus sign is the spacetime-fermion statistical sign. Reversing one brane does not reverse it. Reversing a GSO projection exchanges equal-sized Clifford chiralities. Consequently this unrefined character is unchanged for ν=2,4,6\nu=2,4,6, although the representations and the preserved parameter subspace can change. Neither the parallel-brane formula nor the exceptional eight-ND formula can be obtained by changing this statistical sign.

At ν=4\nu=4, the two nonzero products are identical:

A4=B4R=f24f34f14f44. A_4=B_4^{\rm R}=\frac{f_2^4f_3^4}{f_1^4f_4^4}.

Their GSO-projected expansions begin 2+16qo+80qo2+⋯2+16q_o+80q_o^2+\cdots. Bosons and fermions therefore cancel level by level after the mixed frequencies have been reorganized. This is not the parallel-brane Jacobi cancellation between three nonzero spin structures.

Modular transformation and the massless coefficient

Section titled “Modular transformation and the massless coefficient”

Set ℓ=1/to\ell=1/t_o and qc=e−πℓq_c=e^{-\pi\ell}. The transformations are f2↔f4f_2\leftrightarrow f_4, f3↦f3f_3\mapsto f_3, and f1(qo)=to−1/2f1(qc)f_1(q_o)=t_o^{-1/2}f_1(q_c). Hence

Zν(to)=to(8−ν)/2 Z~ν(ℓ), Z_\nu(t_o)=t_o^{(8-\nu)/2}\,\widetilde Z_\nu(\ell), Z~ν=f38−νf4ν−f48−νf3ν2f18−νf2ν,ν=2,4,6, \widetilde Z_\nu= \frac{f_3^{8-\nu}f_4^\nu-f_4^{8-\nu}f_3^\nu} {2f_1^{8-\nu}f_2^\nu}, \qquad \nu=2,4,6,

where the last functions have argument qcq_c. Both terms are now in the closed NSNS channel. The inserted open traces, which would provide RR exchange, vanish here. The measure becomes

dtototo−(s+1)/2to(8−ν)/2⟶dℓ ℓ−dDD/2. \frac{dt_o}{t_o}t_o^{-(s+1)/2}t_o^{(8-\nu)/2} \longrightarrow d\ell\,\ell^{-d_{\rm DD}/2}.

The leading terms of f3f_3 and f4f_4 have opposite signs at order qcq_c. Subtracting the two numerator products gives 2[(8−ν)−ν]qc2/32[(8-\nu)-\nu]q_c^{2/3}. The denominator before its factor two has leading term 2ν/2qc2/32^{\nu/2}q_c^{2/3}. Therefore

Z~ν(∞)=22−ν/2(2−ν2). \widetilde Z_\nu(\infty) =2^{2-\nu/2}\left(2-\frac\nu2\right).

At ν=4\nu=4 the cancellation is exact, not just a vanishing leading term. To calibrate an exchange coefficient, however, use a nonzero case such as ν=2\nu=2 or 66; a zero total cannot test normalization.

Graviton and dilaton exchange between unequal branes

Section titled “Graviton and dilaton exchange between unequal branes”

The Einstein-frame DBI action at zero worldvolume flux is

Sp=−Tp∫dp+1ξ e(p−3)ϕ/4−det⁡P[g]. S_p=-T_p\int d^{p+1}\xi\, e^{(p-3)\phi/4}\sqrt{-\det P[g]}.

Use g=η+2κ10hg=\eta+2\kappa_{10}h and ϕ=2κ10φ\phi=\sqrt2\kappa_{10}\varphi from the overview. If PpMNP_p^{MN} denotes the tangent projector with indices raised by η\eta, its linear sources are

Sp(1)=−κ10Tp∫dp+1ξ[PpMNhMN+p−322φ]. S_p^{(1)}=-\kappa_{10}T_p\int d^{p+1}\xi \left[P_p^{MN}h_{MN}+\frac{p-3}{2\sqrt2}\varphi\right].

In the graviton propagator the trace subtraction is 1/(D−2)=1/81/(D-2)=1/8. Since Pp:Pq=s+1P_p:P_q=s+1 and tr⁡Pp=p+1\operatorname{tr}P_p=p+1, the two exchange coefficients are

ch=(s+1)−(p+1)(q+1)8,cφ=(p−3)(q−3)8,ch+cφ=2−ν2. c_h=(s+1)-\frac{(p+1)(q+1)}8, \qquad c_\varphi=\frac{(p-3)(q-3)}8, \qquad c_h+c_\varphi=2-\frac\nu2.

Relative brane directions are integrated over in the exchange diagram; the remaining Green function lives in the common DD space. For d=dDD>2d=d_{\rm DD}>2,

Gd(y)=∫0∞dλ (4πλ)−d/2e−y2/(4λ)=Γ(d/2−1)4πd/2yd−2, G_d(y)=\int_0^\infty d\lambda\,(4\pi\lambda)^{-d/2}e^{-y^2/(4\lambda)} =\frac{\Gamma(d/2-1)}{4\pi^{d/2}y^{d-2}}, ENSNS=−κ102TpTq(2−ν2)Gd(y). \mathcal E_{\rm NSNS} =-\kappa_{10}^2T_pT_q\left(2-\frac\nu2\right)G_d(y).

The same coefficient follows from the annulus by λ=πα′ℓ/2\lambda=\pi\alpha'\ell/2 and the shared tensions. It has dimension length−(s+1)\text{length}^{-(s+1)}, as required for energy per spatial intersection volume. This is a long-distance, weak-backreaction exchange calculation; d≤2d\leq2 requires regulated differences, forces, and boundary data rather than a decaying isolated-source GdG_d.

For D0–D4 the separate coefficients are ch=3/8c_h=3/8 and cφ=−3/8c_\varphi=-3/8. Gravitational attraction and dilaton repulsion cancel inside NSNS. An ordinary equal-rank RR propagator is not responsible for this cancellation. For a D0–D6 pair the sum is −1-1, so the long-distance NSNS interaction is repulsive despite the positive NS ground mass squared.

Mixed directions raise the NS vacuum energy and change the separate source contractions

Only the discrete even values of ν\nu are physical points in this comparison. The upper panel plots the unprojected NS vacuum energy; the equal-charge ν=0\nu=0 vacuum is removed. The lower panel specializes to D0–Dν\nu: ch=(7−ν)/8c_h=(7-\nu)/8, cφ=(9−3ν)/8c_\varphi=(9-3\nu)/8, and their sum 2−ν/22-\nu/2. These are dimensionless source coefficients, not a plot of the full potential. At ν=4\nu=4, the nonzero pieces +3/8+3/8 and −3/8-3/8 cancel. The ν=8\nu=8 force also needs the exceptional odd spin structure and a specified background.

Eight mixed directions and the odd spin structure

Section titled “Eight mixed directions and the odd spin structure”

Consider D0 along 00 and D8 along 0…80\ldots8, with signed separation yy along 99. There is only one NN direction and one DD direction. In the R sector, the two covariant zero modes ψ00,ψ09\psi_0^0,\psi_0^9 remain even though there are no transverse R zero modes. A statement that there is “one transverse state, then half survives GSO” is not a physical state count.

The periodic matter zero-mode pair is a two-state Clifford system. In its graded trace, regulate its occupation by xNfx^{N_f}, with 0<x<10<x<1:

Tr⁡matter,0((−1)NfxNf)=1−x. \operatorname{Tr}_{\rm matter,0}\bigl((-1)^{N_f}x^{N_f}\bigr)=1-x.

The corresponding commuting superghost zero-mode oscillator contributes the inverse factor,

Tr⁡sgh,0xNg=∑n=0∞xn=11−x. \operatorname{Tr}_{\rm sgh,0}x^{N_g} =\sum_{n=0}^{\infty}x^n=\frac1{1-x}.

These two factors must use the same regulator. Their product is one before x→1−x\to1^-. Setting the matter trace to zero first discards a finite contribution. Equivalently, a common small twist regulates the fermionic determinant and its bosonic inverse together. This isolates the zero-mode part of the covariant prescription; the accompanying ghost insertions and nonzero-mode determinants are those of the gauge-fixed annulus. Bergman, Gaberdiel, and Lifschytz, §2 and Appendix A, explain why the naive vanishing RR overlap is a zero-times-divergence problem.

More generally, the covariant R ground algebra has k=(10−ν)/2k=(10-\nu)/2 Clifford pairs. After cancellation of one pair against superghosts, the graded factor behaves as (1−x)k−1(1-x)^{k-1}. It vanishes for ν=2,4,6\nu=2,4,6 but equals one for ν=8\nu=8. The NS parity trace at eight ND still vanishes because its mixed fermion zero modes have no NS superghost zero-mode pole to cancel them.

The R parity insertion also changes each nonzero-mode fermion factor to 1−qo2r1-q_o^{2r}, canceling the matching bosonic denominator. Thus the surviving odd-spin contribution is a constant, not a tower of additional states.

Let ι=±1\iota=\pm1 denote its sign after inclusion of the R statistical minus. This is a label for the RR orientation and vacuum prescription in this local calculation, not a redefinition of the fermion loop sign. The full character is

Z8(ι)=f28−f38+ιf482f48=−1+ι2. Z_8^{(\iota)} =\frac{f_2^8-f_3^8+\iota f_4^8}{2f_4^8} =\frac{-1+\iota}{2}.

The first two terms come from the ordinary NS and R traces and combine into −1/2-1/2; the odd spin structure gives ι/2\iota/2. In a zero-mode projection the resulting coefficients are zero or one, such as (1−ι)/2(1-\iota)/2 in the R ground contribution, never half of a physical state. A branch’s vacuum prescription must be specified before assigning it a spectrum or comparing it across a crossing.

A finite force and the half-string coefficient

Section titled “A finite force and the half-string coefficient”

For D0–D8, a constant character CC contributes

WC(y)V1=C8π2α′∫0∞dto to−3/2e−y2to/(2πα′). \frac{W_C(y)}{\mathcal V_1} =\frac{C}{\sqrt{8\pi^2\alpha'}} \int_0^\infty dt_o\,t_o^{-3/2}e^{-y^2t_o/(2\pi\alpha')}.

The integral has a separation-independent ultraviolet divergence. Subtract at a reference y∗>0y_*>0 before integration. Direct differentiation with respect to y2y^2 followed by integration back gives

∫0∞dt t−3/2(e−at−e−bt)=−2π(a−b),a,b>0. \int_0^\infty dt\,t^{-3/2}(e^{-at}-e^{-bt}) =-2\sqrt\pi(\sqrt a-\sqrt b),\qquad a,b>0.

Since E=−W/V1\mathcal E=-W/\mathcal V_1, the finite energy difference is CTF1(∣y∣−y∗)C T_{\rm F1}(|y|-y_*). Consequently

ENSNS=−TF12∣y∣,Eodd=ιTF12∣y∣, \mathcal E_{\rm NSNS}=-\frac{T_{\rm F1}}2|y|, \qquad \mathcal E_{\rm odd}=\iota\frac{T_{\rm F1}}2|y|,

up to the same subtraction constant. The NSNS force is repulsive, −∂yENSNS=TF1sgn⁡(y)/2-\partial_y\mathcal E_{\rm NSNS}=T_{\rm F1}\operatorname{sgn}(y)/2. Its magnitude is 1/(4πα′)1/(4\pi\alpha'). The ι=+1\iota=+1 branch cancels it; the ι=−1\iota=-1 branch doubles the repulsion. Dropping the odd spin structure leaves neither complete branch.

The two vacuum branches differ by TF1∣y∣T_{\rm F1}|y|, the energy of one stretched fundamental string. An adiabatically transported state need not remain the vacuum defined on the other side of a D8-brane. The change in vacuum charge and the occupation of a stretched string must be tracked together. The half-string term is a contribution to this regulated background energy and induced charge, not a freely propagating object with half the elementary string charge. This distinction is central to Danielsson, Ferretti, and Klebanov, and to the subsequent vacuum analysis of Bergman, Gaberdiel, and Lifschytz.

A D8 changes the Romans background; orientifold and other brane charges can change the required strings and subtraction data. The flat calculation is a local static diagnostic. It does not construct a globally isolated D0–D8 solution, or justify using the static zero-mode limit for arbitrary time-dependent crossings.

A D1 along 0101 and a D9 have two NN directions and eight mixed directions, with no DD separation. Their NS ground energy is +1/2+1/2, but the covariant R ground algebra is generated by ψ00,ψ01\psi_0^0,\psi_0^1. It has two spinor components before GSO. The GSO condition selects one eigenvalue χ=±1\chi=\pm1 of the two-dimensional chirality matrix, and G0∣phys⟩=0G_0|\mathrm{phys}\rangle=0 imposes

(−Eγ0+kγ1)u=0,γ0γ1u=χu⟹E=−χk. (-E\gamma^0+k\gamma^1)u=0,\qquad \gamma^0\gamma^1u=\chi u \quad\Longrightarrow\quad E=-\chi k.

Thus a positive-energy excitation moves in only one spatial direction. Reversing one brane’s RR charge orientation reverses the GSO choice and the selected chirality. This is distinct from exchanging the 1–9 and 9–1 endpoint labels, which gives conjugate sectors. An absolute left/right name also depends on the orientation of the string coordinate. The covariant Clifford projection precedes the Dirac equation, so no “half a one-state module” occurs.

In the consistent type I construction, the O9-plane and 32 D9-branes supply the additional global data. The Ω\Omega projection relates 9–1 to 1–9 and imposes the appropriate field reality condition. One D1 therefore carries 32 real chiral worldsheet fermions in the vector of SO(32)SO(32), rather than two independent sets of 32 complex fermions. They have the opposite propagation chirality to the supersymmetric 1–1 fermions. This derivation, including the two covariant ground components, is given in Polchinski, §5.1; the orientifold background is discussed on page 13.

The present analysis is for right-angle, unfluxed intersections. A tachyon signals an unstable quadratic fluctuation, not a universal recombination endpoint. Flux, charges and global topology constrain any final configuration; the next page develops examples of bound states carrying worldvolume flux.

Exercise 1. Modes, orthogonality, and a nonnested intersection

Section titled “Exercise 1. Modes, orthogonality, and a nonnested intersection”

Derive the normalized positive-frequency profiles for NN, DD, ND and DN conditions. Determine the coordinate counts for D3 along 01230123 and D5 along 014567014567. State where momentum and a separation can occur, and derive the fermion doubling sign.

Solution

The endpoint equations applied to u=Acos⁡ωσ+Bsin⁡ωσu=A\cos\omega\sigma+B\sin\omega\sigma give the table in the text. Every nonconstant profile has norm ∫0πu2dσ=π/2\int_0^\pi u^2d\sigma=\pi/2, so its normalized version has factor 2/π\sqrt{2/\pi}. The NN constant mode is 1/π1/\sqrt\pi. For the mixed cosine family,

∫0πcos⁡((n+12)σ)cos⁡((m+12)σ)dσ=π2δnm. \int_0^\pi\cos((n+\tfrac12)\sigma)\cos((m+\tfrac12)\sigma)d\sigma =\frac\pi2\delta_{nm}.

The product-to-sum formula proves this since both resulting sine endpoint terms vanish. The sine family has the same norm. Orthogonality is asserted within each boundary-value problem, not between the ND and DN families.

For the stated branes, 0101 are NN, 2323 are ND, 45674567 are DN, and 8989 are DD. Thus s=1s=1, ν=6\nu=6, dDD=2d_{\rm DD}=2. Momenta run along 0101; the separation has two components along 8989. A DD profile is fixed by both brane positions and contributes y2/(4π2α′)y^2/(4\pi^2\alpha') to L0L_0; it is not a momentum zero mode. The mixed directions have neither type of free zero mode.

Doubling transports a fermion through both endpoint reflections. The total sign is η0ηπR0Rπ\eta_0\eta_\pi R_0R_\pi. Therefore each mixed direction interchanges periodic and antiperiodic fermions, yielding integer NS and half-integer R frequencies. This example has no ordinary decaying two-dimensional Green function at infinity; a force calculation requires a regulated logarithm or specified boundary conditions.

Exercise 2. Regulated vacuum sums and ground representations

Section titled “Exercise 2. Regulated vacuum sums and ground representations”

Derive the finite parts of the two frequency sums from geometric series. Obtain the NS vacuum shift and the projected Clifford multiplicities at ν=2,4,6\nu=2,4,6. Explain both why the two-ND tachyon survives GSO and why applying the same halving formula at eight ND is invalid.

Solution

Differentiate the two geometric sums with respect to the regulator:

∑n≥1ne−δn=−∂δ1eδ−1,∑n≥0(n+12)e−δ(n+1/2)=−∂δ12sinh⁡(δ/2). \sum_{n\geq1}ne^{-\delta n}=-\partial_\delta\frac1{e^\delta-1}, \qquad \sum_{n\geq0}(n+\tfrac12)e^{-\delta(n+1/2)} =-\partial_\delta\frac1{2\sinh(\delta/2)}.

Their finite parts are −1/12-1/12 and +1/24+1/24. Applying the bosonic factor +1/2+1/2 and fermionic factor −1/2-1/2 gives the ordinary NS pair −1/16-1/16 and mixed NS pair +1/16+1/16. Replacing one ordinary pair by a mixed pair raises the energy by 1/81/8. In R, bosonic and fermionic frequencies coincide, so their regulated sums cancel before any limit.

Pair the ν\nu real NS zero modes into ν/2\nu/2 complex Clifford oscillators. Each has occupation zero or one, giving 2ν/22^{\nu/2} states. The parity insertion has trace (1−1)ν/2=0(1-1)^{\nu/2}=0, and either chirality projector retains half. The same argument for 8−ν8-\nu physical R zero modes gives

ν246dNS124dR421. \begin{array}{c|ccc} \nu&2&4&6\\ \hline d_{\rm NS}&1&2&4\\ d_{\rm R}&4&2&1 \end{array}.

At two ND, the unprojected NS ground space already has two components. Removing one leaves a genuine ground state with α′M2=y2/(4π2α′)−1/4\alpha'M^2=y^2/(4\pi^2\alpha')-1/4, so its instability threshold is yc=πα′y_c=\pi\sqrt{\alpha'}. This differs from the equal-brane zero-ND vacuum, whose parity removes it completely.

At eight ND the transverse R module would have dimension one, but its inserted trace is not zero. The covariant two-component ground algebra and the superghost zero modes must be treated together. The full GSO projector then retains or removes an integer-dimensional physical sector. It never assigns dimension 1/21/2 to a physical state space.

Exercise 3. Solve the simultaneous parameter constraints

Section titled “Exercise 3. Solve the simultaneous parameter constraints”

Use the shared MpM_p and actual inverses to determine the preserved dimensions for D0–D2, D0–D4 and D1–D5. Reverse one brane orientation in each example. Show explicitly why replacing the graph projector by (1+M0)/2(1+M_0)/2 fails.

Solution

Since M0=Γ0M_0=\Gamma^0 and (Γ0)2=−1(\Gamma^0)^2=-1, M0−1=−Γ0M_0^{-1}=-\Gamma^0. Hence

M0−1M2=Γ12,M0−1M4=Γ1234,M1−1M5=Γ2345. M_0^{-1}M_2=\Gamma^{12},\qquad M_0^{-1}M_4=\Gamma^{1234},\qquad M_1^{-1}M_5=\Gamma^{2345}.

The first relative matrix squares to −1-1. A putative equation Rv=±vRv=\pm v would imply both R2v=−vR^2v=-v and R2v=vR^2v=v, so v=0v=0. Reversing a charge changes the requested eigenvalue but cannot fix this incompatibility.

The four-gamma products square to one. Their trace on a chiral sixteen-dimensional space vanishes: an invertible even gamma product containing one included and one excluded spatial direction anticommutes with the four-gamma product and preserves chirality. It pairs its +1+1 and −1-1 eigenvectors. Each eigenspace therefore has dimension eight. The first brane determines ϵL\epsilon_L from those eight right parameters. Both D0–D4 and D1–D5 preserve eight real supersymmetries; reversing one brane exchanges the two eigenspaces.

For a single D0, (1+M0)/2(1+M_0)/2 is not a projector:

(1+M02)2=M02≠1+M02. \left(\frac{1+M_0}{2}\right)^2=\frac{M_0}{2} \ne\frac{1+M_0}{2}.

By contrast K02=1K_0^2=1 because its off-diagonal blocks are M0M_0 and its inverse. Its positive eigenspace is the graph (η0M0v,v)(\eta_0M_0v,v) of arbitrary allowed vv, of real dimension sixteen. This derivation concerns parameters; extracting preserved covariant charge combinations additionally uses the CC pairing on page 20.

Derive the graviton and dilaton contractions from the linear sources. Evaluate them for D0–D4 and for the nonnested D3–D5 example of Exercise 1. Verify the dimensions after integrating out the relative brane directions, and explain the limitations of interpreting the sum as a force.

Solution

The determinant variation is δ−det⁡P[g]=κ10PpMNhMN\delta\sqrt{-\det P[g]}=\kappa_{10}P_p^{MN}h_{MN}, while differentiating the dilaton exponential gives κ10(p−3)φ/(22)\kappa_{10}(p-3)\varphi/(2\sqrt2). Contract the two tangent sources with

DMN,PQ=12(ηMPηNQ+ηMQηNP)−18ηMNηPQ. D_{MN,PQ}=\frac12(\eta_{MP}\eta_{NQ}+\eta_{MQ}\eta_{NP}) -\frac18\eta_{MN}\eta_{PQ}.

Both projectors are symmetric. Their mutual contraction counts common tangent directions, including time, and equals s+1s+1. The trace term gives (p+1)(q+1)/8(p+1)(q+1)/8. Scalar-source multiplication gives (p−3)(q−3)/8(p-3)(q-3)/8. Summing and substituting ν=p+q−2s\nu=p+q-2s yields 2−ν/22-\nu/2.

For D0–D4, s=0s=0 and d=5d=5:

ch=1−58=38,cφ=(−3)(1)8=−38. c_h=1-\frac58=\frac38,\qquad c_\varphi=\frac{(-3)(1)}8=-\frac38.

Each exchange is nonzero; their energies have opposite signs and cancel. For D3(0123)(0123)–D5(014567)(014567), s=1s=1, so ch=2−24/8=−1c_h=2-24/8=-1 and cφ=0c_\varphi=0. The vanishing D3 dilaton source does not imply vanishing NSNS interaction. Here d=2d=2 and the appropriate Green-function difference is logarithmic.

The overall coefficient has dimension

[κ102TpTq]=length6−p−q,[Gd]=length2−d. [\kappa_{10}^2T_pT_q]=\text{length}^{6-p-q}, \qquad [G_d]=\text{length}^{2-d}.

Since d=9−p−q+sd=9-p-q+s, their product has dimension length−s−1\text{length}^{-s-1}. The Green function comes from integrating the ten-dimensional propagator over all source directions except the common-volume factor. For d>2d>2 and positive GdG_d, a positive coefficient gives attraction. For d≤2d\leq2, source completion and subtraction data must be specified. At eight ND the odd-spin contribution must also be included, so the NSNS coefficient alone is not the total interaction.

Exercise 5. Count occupations and follow a nonzero channel

Section titled “Exercise 5. Count occupations and follow a nonzero channel”

For four ND directions, count the first two oscillator levels above the ground state in each sector. Then derive the closed massless coefficient for two and six ND, including the modular weight and heat-kernel normalization. Explain why changing a relative GSO chirality leaves these unrefined characters unchanged.

Solution

At four ND, the bosonic product has four integer and four half-integer species. The NS fermions have four of each frequency type; the R assignment interchanges the coordinate labels but leaves the product unchanged. After GSO, both ground spaces have dimension two.

In units of qoq_o, the first excited level uses a frequency-1/21/2 oscillator. There are four mixed bosons and four ordinary NS fermions, giving 2(4+4)=162(4+4)=16 states. At the next level, frequency-one bosons and fermions give eight choices. Two frequency-1/21/2 excitations give

(4+2−12)+4⋅4+(42)=10+16+6=32. \binom{4+2-1}{2}+4\cdot4+\binom42=10+16+6=32.

The total is 2(8+32)=802(8+32)=80. Occupation parity is correlated with which ground Clifford chirality survives; it does not eliminate another factor of two at each excited level. R gives the same counts with the fermion labels interchanged.

For general ν=2,6\nu=2,6, the modularly transformed difference is the one displayed in the text. Expanding its numerator and denominator gives Z~2(∞)=2\widetilde Z_2(\infty)=2 and Z~6(∞)=−1/2\widetilde Z_6(\infty)=-1/2. The latter negative supertrace is allowed: it is a signed difference, not a state multiplicity. Including the modular weight gives the common-DD kernel ℓ−d/2\ell^{-d/2}.

With λ=πα′ℓ/2\lambda=\pi\alpha'\ell/2,

∫0∞dℓ ℓ−d/2e−y2/(2πα′ℓ)=(πα′2)d/2−1(4π)d/2Gd(y). \int_0^\infty d\ell\,\ell^{-d/2}e^{-y^2/(2\pi\alpha'\ell)} =\left(\frac{\pi\alpha'}2\right)^{d/2-1}(4\pi)^{d/2}G_d(y).

Multiplying by (8π2α′)−(s+1)/2(8\pi^2\alpha')^{-(s+1)/2} and 22−ν/2(2−ν/2)2^{2-\nu/2}(2-\nu/2) gives

κ102TpTq(2−ν2)Gd(y), \kappa_{10}^2T_pT_q\left(2-\frac\nu2\right)G_d(y),

because p+q=2s+νp+q=2s+\nu and d=9−s−νd=9-s-\nu. The energy has the opposite sign to WW. This matches two independently nonzero source calculations; the four-ND zero would not test these constants.

In either sector at ν=2,4,6\nu=2,4,6, the ground Clifford parity trace vanishes. Every oscillator parity can therefore be paired with an equally large ground subspace of either requested total GSO parity. Reversing the projector exchanges those subspaces while leaving the ordinary trace unchanged. The R contribution still enters the vacuum loop with a minus sign.

Exercise 6. The regulated eight-ND term, charge jump, and chirality

Section titled “Exercise 6. The regulated eight-ND term, charge jump, and chirality”

Evaluate the matched zero-mode trace and the finite D0–D8 energy difference. Independently recover the half-unit induced D8 gauge charge by integrating the D0 flux through its worldvolume. Finally, solve the D1–D9 massless Dirac condition in a two-component representation and explain the type I reality count.

Solution

For 0<x<10<x<1, the matter graded zero-mode trace is 1−x1-x and the ghost sum is (1−x)−1(1-x)^{-1}. Their product is exactly one. A finite ghost cutoff gives (1−x)∑n=0Nxn=1−xN+1(1-x)\sum_{n=0}^{N}x^n=1-x^{N+1}; take N→∞N\to\infty at fixed xx before the matched x→1x\to1 limit. Reversing these limits gives zero and misses the finite term. For more than one matter pair, the extra graded factors survive as powers of 1−x1-x, so the trace vanishes when ν<8\nu<8.

The nonzero-mode graded R product cancels its bosonic partner. Combining it with the ordinary terms yields Z8=(−1+ι)/2Z_8=(-1+\iota)/2. To integrate a constant term, use

∂a∫0∞dt t−3/2(e−at−e−bt)=−∫0∞dt t−1/2e−at=−πa. \partial_a\int_0^\infty dt\,t^{-3/2}(e^{-at}-e^{-bt}) =-\int_0^\infty dt\,t^{-1/2}e^{-at}=-\frac{\sqrt\pi}{\sqrt a}.

Integrating from bb to aa gives the finite difference in the text, without assigning a value to either divergent integral. Thus the NSNS slope has magnitude TF1/2T_{\rm F1}/2, the odd term has the same magnitude, and changing the odd branch changes the energy by TF1∣y∣T_{\rm F1}|y|.

For the independent charge calculation, the shared WZ coupling contains μ8(2πα′)∫C7WZ∧F\mu_8(2\pi\alpha')\int C_7^{\rm WZ}\wedge F. Integration by parts makes the pullback of F8\mathcal F_8 a source for AA. Its sign depends on the stated source and worldvolume orientations; its magnitude follows without that ambiguity. The D0 flux is 2κ10,02μ02\kappa_{10,0}^2\mu_0, and an infinite plane on either side of it intercepts half the flux. Explicitly, with Ωn\Omega_n the unit-nn-sphere area,

Ω7Ω8∫0∞dr y r7(r2+y2)9/2=12sgn⁡(y). \frac{\Omega_7}{\Omega_8} \int_0^\infty dr\,\frac{y\,r^7}{(r^2+y^2)^{9/2}} =\frac12\operatorname{sgn}(y).

The magnitude of the induced endpoint charge in the normalization Sendpoint=∫AS_{\rm endpoint}=\int A is consequently

∣QA∣=(2πα′)μ82κ10,02μ02=12. |Q_A|=(2\pi\alpha')\mu_8\frac{2\kappa_{10,0}^2\mu_0}{2} =\frac12.

Crossing changes this charge by one unit, matched by an oriented F1 endpoint. This is the shared-field translation of the effective-action calculation in Danielsson, Ferretti, and Klebanov, §3. The magnitude is local; an absolute charge assignment and actual string content require the global background. The half-unit contribution does not enlarge the spectrum of free elementary string charges.

For the chirality calculation choose a representation of the local two-dimensional zero-mode algebra,

γ0=(01−10),γ1=(0110),γ0γ1=(100−1). \gamma^0=\begin{pmatrix}0&1\\-1&0\end{pmatrix},\qquad \gamma^1=\begin{pmatrix}0&1\\1&0\end{pmatrix},\qquad \gamma^0\gamma^1=\begin{pmatrix}1&0\\0&-1\end{pmatrix}.

The χ=+1\chi=+1 component obeys E=−kE=-k and the χ=−1\chi=-1 component obeys E=kE=k. GSO retains one of these, so the field is chiral. Opposite endpoint orientations give conjugate amplitudes; they are not an independent duplication after the appropriate field reality condition. In type I, Ω\Omega identifies the 1–9 and 9–1 sectors, and the 32 D9 labels give 32 real Majorana–Weyl fields. There is no DD direction here, so no separation-dependent D0–D8 potential should be assigned to the D1–D9 geometry.

  • Bergman, Oren, Matthias R. Gaberdiel, and Gilad Lifschytz. “Branes, Orientifolds and the Creation of Elementary Strings.” Nuclear Physics B 509 (1998), 194–215. doi:10.1016/S0550-3213(97)00632-9, arXiv:hep-th/9705130, especially §§2–3 and Appendix A.
  • Danielsson, Ulf H., Gabriele Ferretti, and Igor R. Klebanov. “Creation of Fundamental Strings by Crossing D-branes.” Physical Review Letters 79 (1997), 1984. doi:10.1103/PhysRevLett.79.1984, arXiv:hep-th/9705084, especially §§1–3.
  • Polchinski, Joseph. TASI Lectures on D-Branes. TASI 1996 lectures, report NSF-ITP-96-145 (1996; revised 1997). arXiv:hep-th/9611050v2, especially §§4.2 and 5.1.