Codex @codex  0

A supersymmetric spike of a D-brane combines a worldvolume gauge field with a transverse scalar profile. Its geometry and charge represent strings ending on the brane. Electric spikes represent fundamental strings; magnetic spikes on a D3-brane represent D1-branes. The original construction is Brane Dynamics From the Born-Infeld Action.

A D1-brane has one spatial dimension and couples to the two-form Ramond–Ramond potential. Its tension differs from the fundamental string tension by a factor $g_s^{-1}$ at zero axion.

Compactifying M-theory on a circle gives type IIA superstring theory. The circle radius sets its coupling. Multiplying M2-brane and M5-brane tensions by the circle circumference gives the fundamental string and D4-brane tensions, while unwrapped objects give D2-branes and NS5-branes. Momentum and a Kaluza-Klein monopole supply D0-brane and D6-brane charges. The circle dictionary and worldvolume reductions are developed in Four Lectures on M-theory.

M-theory on a K3 surface and the heterotic string on a three-torus have matching seven-dimensional moduli and charge lattices. The K3 intersection lattice supplies twenty-two vector charges; an M5-brane wrapped on K3 becomes the heterotic fundamental string. The strong-coupling interpretation and low-energy matching are derived in section 4.7 of String Theory Dynamics in Various Dimensions.

D0-branes are circle momentum states, D2-branes are unwrapped M2-branes, D4-branes are circle-wrapped M5-branes, and D6-branes arise from Kaluza-Klein monopoles with the M-circle as fibre. Wrapped M2-branes give fundamental strings, and unwrapped M5-branes give NS5-branes. The D8-brane is a source for Romans mass and is outside this ordinary massless-circle dictionary. Tension matching uses $R_{11}=g_s{\ell }_s$ and ${\ell }_p^3=g_s{\ell }_s^3$.

The antisymmetric two-form gauge potential couples electrically to a fundamental string. Its field strength is locally $H_3=d{B}_2$; its magnetic source is an NS5-brane.

A $(p+1)$-form gauge potential $A_{p+1}$ couples electrically to a spatial $p$-brane through the Wess-Zumino brane couplingThe worldvolume dimension supplies exactly the degree required for integration. Under $A\mapsto A+d\Lambda$, the change is $e{\int }_{\partial \Sigma }{X}^{\ast }\Lambda$, so a closed worldvolume is gauge invariant; an open one needs suitable endpoint couplings. If $F_{p+2}=d{A}_{p+1}$ has an ordinary dual potential, $\ast F$ has degree $d-p-2$ and the dual potential degree $d-p-3$. Thus the electric and magnetic dimensions of a form-coupled brane areElectric charge is measured by ${\int }_{S^{d-p-2}}\ast F$, magnetic charge by ${\int }_{S^{p+2}}F$, on spheres linking the corresponding objects. Flux normalization, and possible Chern-Simons modifications of charge definitions, must be fixed in interacting backgrounds; this is the basic linear form-field dictionary.

In ten dimensions the common NS-NS fields are the graviton $g_{\mu \nu }$, Kalb–Ramond field $B_2$, and dilaton $\Phi$. Their on-shell bosonic polarizations are $35,28,1$, respectively. The graviton count is $10(10-3)/2=35$, and a massless $k$-form has $\left(\genfrac{}{}{0ex}{}{8}{k}\right)$ transverse polarizations. The RR fields distinguish the two theories:

Each gravitino has $56$ physical polarizations, and each dilatino $8$, giving $128$ fermions in either theory. In IIA the two supersymmetry sectors have opposite ten-dimensional chiralities, and the dilatino in each sector has chirality opposite to its gravitino. In IIB both gravitini can be designated positive-chirality and both dilatini negative-chirality. The self-duality of the IIB five-form halves the unconstrained four-form count $\left(\genfrac{}{}{0ex}{}{8}{4}\right)=70$ to $35$. These are the massless type IIA spectrum and massless type IIB spectrum, not raw component counts.

The Neveu–Schwarz two-form couples electrically to the fundamental string and magnetically to the NS5-brane in both theories. IIA $C_1$ couples electrically to a D0-brane and magnetically to a D6-brane; $C_3$ couples electrically to a D2-brane and magnetically to a D4-brane. The magnetic descriptions use dual seven-form and five-form potentials, not extra independent polarizations. In IIB, $C_2$ gives D1-brane and D5-brane charges, while self-dual $C_4$ gives the self-dual D3-brane. The scalar $C_0$ couples to a Euclidean D-instanton, whose magnetic partner is the D7-brane. Momentum and, after circle compactification, Kaluza-Klein monopole charge come from the metric sector.

The full brane inventory also involves nonpropagating top-form potentials. A D8-brane is an IIA domain-wall source for Romans mass $F_0$, described dually by a nine-form potential; it is not generated by the propagating $C_1,C_3$ massless spectrum alone. A space-filling IIB D9-brane has a ten-form coupling and requires appropriate global RR-charge consistency. Such fields add no ordinary massless polarizations. This distinction avoids confusing the list of propagating particles with all possible charged extended objects.

For T-duality, compactify a spatial coordinate with $X^9\sim X^9+2\pi R$. Closed strings have integer momentum $n$ and winding $w$, withThe mapleaves $p_L$ unchanged and reverses $p_R$. Equivalently, it reverses $X_R^9$ while keeping $X_L^9$, and reverses the corresponding right-moving worldsheet fermion to preserve worldsheet supersymmetry. Multiplication of the right Ramond ground-state spinor by ${\Gamma }^9$ reverses its ten-dimensional chirality. Left and right Ramond projections therefore change from opposite chirality to equal chirality, or conversely:The zero-mode mass contribution $(n/R{)}^2+(wR/{\alpha }^{\prime }{)}^2$ and the oscillator spectrum are unchanged. The Buscher dilaton shift gives $g_s^{\prime }=g_s\sqrt{{\alpha }^{\prime }}/R$, which preserves the nine-dimensional gravitational coupling proportional to $g_s^2/R$. The mixed metric and two-form components along the circle are exchanged; RR potentials with a circle leg map to one lower degree and those without it to one higher degree, in the corresponding gauge-covariant description.

For open strings, the derivative relations ${\partial }_{\tau }\tilde{X}={\partial }_{\sigma }X$ and ${\partial }_{\sigma }\tilde{X}={\partial }_{\tau }X$ exchange Neumann boundary conditions with Dirichlet boundary conditions. Consequently a wrapped D$p$-brane becomes a D$(p-1)$-brane, while a transverse one becomes a wrapped D$(p+1)$-brane. The even-dimensional IIA branes and odd-dimensional IIB branes therefore transform consistently with the closed-string chirality flip; transverse positions and compact gauge Wilson lines are exchanged.

Retain only fields independent of the circle coordinate $y$, with coordinate period $2\pi r_0$. Use the string-frame metric $g_{\mu \nu }$ and the circle reduction of eleven-dimensional supergravity ansatzThe minus sign in the fibre one-form is a convention chosen to give the usual ${\tilde{F}}_4=d{C}_3-C_1\wedge H_3$ below; changing the sign of $C_1$ consistently changes no physics. The metric supplies the ten-dimensional graviton, dilaton and RR one-form, while the eleven-dimensional three-form supplies the Kalb–Ramond field and RR three-form. DefineThen $F_4^{(11)}={\tilde{F}}_4+H_3\wedge \eta$. In particular $d{\tilde{F}}_4=-F_2\wedge H_3$, the reduced Bianchi identity. The field strength, not bare $d{C}_3$ alone, is the gauge-covariant horizontal component.

For the gravitational term, the block determinant givesA useful two-step curvature calculation first removes the overall factor $e^{-2\Phi /3}$. The intermediate metric $d{\bar{s}}^2=d{s}_s^2+e^{2\Phi }{\eta }^2$ hasThe eleven-dimensional conformal-curvature identity then givesCombining the terms yieldsIntegration by parts gives $\int \sqrt{-g}{e}^{-2\Phi }{\nabla }^2\Phi =2\int \sqrt{-g}{e}^{-2\Phi }(\nabla \Phi {)}^2$ modulo boundary terms. Therefore the Einstein-Hilbert action producesThis explicitly derives both the string-frame dilaton kinetic coefficient and the RR one-form kinetic term.

Use the normalized form norm $|F_k{|}^2=F_{{\mu }_1\cdots {\mu }_k}{F}^{{\mu }_1\cdots {\mu }_k}/k!$, interpreting the printed four-form square in this convention. The horizontal and fibre pieces are orthogonal in the $\eta$ basis. Four horizontal inverse metrics contribute $e^{8\Phi /3}$ to $|{\tilde{F}}_4{|}_{11}^2$. Three horizontal inverse metrics and one fibre inverse metric contribute $e^{2\Phi /3}$ to $|H_3\wedge \eta {|}_{11}^2$. ThusThe NS-NS three-form has the same $e^{-2\Phi }$ prefactor as gravity; the RR kinetic terms do not have it in the string frame.

Finally reduce the topological term using the coordinate decomposition, which makes its signs transparent. The part of $A_3\wedge F_4^{(11)}\wedge F_4^{(11)}$ containing exactly one $dy$ isThe purely horizontal eleven-form vanishes on the ten-dimensional base. Sinceintegration over the base turns the bracket into $3B_2\wedge G_4\wedge G_4$, modulo the displayed exact term. The reduction of the eleven-dimensional Chern-Simons term therefore gives $-\frac{1}{2}\int B_2\wedge G_4\wedge G_4$.

Absorbing the coordinate circumference into ${\kappa }_{10}^2={\kappa }_{11}^2/(2\pi r_0)$, the complete bosonic massless type IIA supergravity action in these conventions isDropping boundary terms assumes appropriate boundary conditions; nontrivial flux bundles may require patchwise potentials. Higher circle modes and higher-derivative corrections are excluded by this low-energy zero-mode reduction. No Romans-mass term arises from the ordinary ansatz.

The M-theory origin of type IIA D-branes follows by momentum, wrapping and magnetic geometry:

An M2-brane wrapped around the circle gives the fundamental string, and an unwrapped M5-brane gives the NS5-brane. These are NS objects rather than D-branes. In physical string/Planck units, the M-theory circle duality relations areThey involve the physical asymptotic radius, distinguished from the arbitrary coordinate period used in the reduction ansatz. For example, $m_{D0}=1/(g_s{\ell }_s)=1/R_{11}$ is one momentum quantum. With $T_{M2}=1/[(2\pi {)}^2{\ell }_p^3]$ and $T_{M5}=1/[(2\pi {)}^5{\ell }_p^6]$,The D6-brane is purely gravitational in eleven dimensions, rather than an elementary six-dimensional membrane; the circle-fibration magnetic charge gives its ten-dimensional interpretation.

A D8-brane is the important qualification. It sources the zero-form flux of massive type IIA supergravity and is not obtained as an ordinary wrapped M2/M5 or Kaluza-Klein object of the undeformed circle reduction above. Its extended/generalized lifts are outside this simple dictionary. The massless-circle interpretation of the other branes is developed in Four Lectures on M-theory.

Use Minkowski spacetime with signature $(-,+,\dots ,+)$, and write the string tension as $T=1/(2\pi {\alpha }^{\prime })$. If $X^{\mu }(\tau ,\sigma )$ is the string embedding map, its induced worldsheet metric is ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. The Nambu–Goto action isThe first variation uses $\delta {\gamma }_{ab}=2{\partial }_{(a}{X}_{\mu }{\partial }_{b)}\delta X^{\mu }$ and therefore givesAn integration by parts yields the bulk Nambu–Goto equations of motion and the endpoint term:For a closed string, periodicity cancels the endpoint term. For a freely moving open string, arbitrary endpoint variations require zero momentum flux, which is the free-end string boundary condition.

Choose orthogonal conformal coordinates on the nondegenerate part of the worldsheet, so that ${\gamma }_{\tau \sigma }=0$ and ${\gamma }_{\tau \tau }+{\gamma }_{\sigma \sigma }=0$. The Nambu–Goto equations of motion then become a wave equation, with the accompanying Virasoro constraints:Here a dot and a prime mean ${\partial }_{\tau }$ and ${\partial }_{\sigma }$. The last two equations are essential: a solution of the wave equation alone need not be a relativistic fundamental string motion.

For a free-ended open string, take $0\le \sigma \le \pi$ and $a>0$, and setwith the other coordinates constant. Every component satisfies the wave equation, andMoreover $X^{\prime }=0$ at both endpoints, giving the Neumann boundary condition. At fixed target time $t=a\tau$, the spatial image is the straight segmentThus its angular velocity is $1/a$. The speed at coordinate $r$ is $|r|/a$, so the endpoints have the null motion of a free string endpoint. The induced worldsheet metric degenerates there; the conserved densities below have finite limits, so the endpoint degeneracy causes no divergent charge.

In these coordinates ${\Pi }^{\tau \mu }=T{\dot{X}}^{\mu }$. The target-space Noether charges of a string give the energy, momentum and angular momentum:Since this is the centre-of-momentum frame, the rest mass is $M=E$. Eliminating $a$ proves the free-ended straight-string Regge relation:A spacetime Lorentz transformation of the solution changes its frame, not this rest-frame relation.

There is also a folded closed string version: use the same formula over $0\le \sigma \le 2\pi$. The spatial segment is then covered twice, with folds at $\sigma =0,\pi$, and the closed-string mode expansion is periodic. Each charge is twice its open string value, soThe folds also have degenerate induced metric and are understood through the finite canonical densities or a limiting smooth motion. The two classical Regge trajectories have different slopes because the closed string has two coincident branches. No quantum string intercept enters this classical calculation.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.

An M2-brane wrapped on a primitive $(p,q)$ one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.

For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature $(3,19)$. The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on $T^3$, together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving $6+3+48=57$ before the dilaton.

The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension $T_{5}V$, so its squared string length is proportional to ${\ell }_p^6/V$. The seven-dimensional gravitational coupling is proportional to ${\ell }_p^9/V$. Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.

There are twenty-two gauge fields from reducing $A_3$ on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on $T^3$. At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and $b_3(K3)=0$.

Use static gauge for a D3-brane in flat space and let $X(\mathbf{x})$ be one physical transverse displacement. Put $\mathbf{E}=2\pi {\alpha }^{\prime }{\mathbf{F}}_0$ and ${\mathbf{B}}_i=\pi {\alpha }^{\prime }{\epsilon }_{ijk}{F}_{jk}$, so the fields entering the DBI action are dimensionless. With no magnetic field, writing $\mathbf{v}=\nabla X$ givesIntroduce the dimensionless electric displacement in DBI theory, $\mathbf{d}=T_3^{-1}\partial \mathcal{L}/\partial \mathbf{E}$. Its Hamiltonian density obeys the DBI Hamiltonian bound for an electric spike:The electric bound is saturated when $\mathbf{d}=\pm \nabla X$. On that locus the constitutive relation also gives $\mathbf{E}=\mathbf{d}$. With the Gauss law constraint in gauge theory away from charges, the electric BPS equations for a one-scalar D3-brane are thereforeThe magnetic version is $\mathbf{B}=\pm \nabla X$, $\mathbf{E}=0$. More generally, one constant charge angle gives the aligned dyonic branch $\mathbf{E}=\cos \vartheta \nabla X$, $\mathbf{B}=\sin \vartheta \nabla X$ with $X$ harmonic. A single aligned electric, magnetic or dyonic spike preserves eight of the D3 vacuum's sixteen supersymmetry generators. Thus “one-half BPS” here means one-half of the linearly realized worldvolume supersymmetry; the string–D3 configuration preserves one-quarter of the thirty-two spacetime supersymmetries.

The electric BIon is the single-centre harmonic solutionThe sign fixes its electric charge and spike orientation. The scalar is an actual transverse coordinate, so $X\to \infty$ as $r\to 0$ describes a long narrow spike emerging from an asymptotically planar D3-brane. It carries $|N|$ fundamental strings ending on the brane. A magnetic BIon similarly represents D1-branes, and an aligned dyonic BIon represents a (p,q) string.

The string-tension interpretation of BIon energy follows explicitly. With $T_3=[(2\pi {)}^3{g}_s{\alpha }^{\prime 2}{]}^{-1}$, the energy above the planar-brane vacuum outside a small radius $r_0$ isIts divergence is the energy of a semi-infinite string, with the correct finite tension. For a magnetic spike, $c=\pi |N|{\alpha }^{\prime }$ instead, and the same calculation gives the D1-brane tension $1/(2\pi g_s{\alpha }^{\prime })$. The solution solves the full nonlinear DBI action, not just its weak-field expansion.

The validity of the abelian BIon approximation concerns its derivative expansion, string loops and gravitational backreaction. Large field strengths are included by the DBI action, but rapidly varying field strengths and embedding curvature require corrections. Far outside the singular core these corrections can be small. The transition region has $r\sim \sqrt{c}$; an electric throat can be parametrically controlled with $|N|g_s\gg 1$ while keeping gravitational backreaction small with $g_s^2|N|\ll 1$. For a magnetic throat the corresponding conditions are $|N|\gg 1$ and $g_s|N|\ll 1$. The weak-coupling and large-charge windows allow both requirements. The ideal $r\to 0$ tip is not uniformly controlled by the single abelian effective action, so one should not infer exact microscopic core physics solely from its formal singularity.

Less supersymmetry survives when independent, compatible geometric or charge projectors must hold simultaneously. A useful purely geometric family is a D3-brane whose spatial worldvolume is a special Lagrangian submanifold of ${\mathbb{C}}^3$. In a graph $z^i=x^i+i{Y}^i(\mathbf{x})$, the conditions areThe first condition makes ${\partial }_i{Y}^j$ symmetric, so locally $Y=\nabla f$. Pulling back $\Omega$ gives $\det (I+i{D}^{2}f)d{x}^1\wedge d{x}^2\wedge d{x}^3$. Hence the phase-zero special Lagrangian graph equation iswhere ${\sigma }_2$ is the sum of the pairwise products of the three Hessian eigenvalues. The positive real branch fixes the orientation. These curved D3 geometries minimize volume by their calibration $\mathrm{Re}\Omega$ and generically preserve four spacetime supersymmetries, one-quarter of the D3 worldvolume supersymmetry. Special flat graphs can preserve more.

The generic count follows from the common tangent-plane projectors. With complex coordinate pairs $(1,4),(2,5),(3,6)$, the phase-preserving rotations require $({\Gamma }_{14}-{\Gamma }_{25})ϵ=0$ and $({\Gamma }_{14}-{\Gamma }_{36})ϵ=0$. Multiplication by ${\Gamma }_{14}$ turns these into two independent commuting involution conditions with eigenvalue $-1$. Each halves the sixteen-dimensional planar D3 eigenspace, leaving $16/2^2=4$. This is an intersection of compatible kappa symmetry projectors, rather than a count based on the rank of a single projector at one point.

Charge-carrying examples include compatible networks of differently oriented (p,q) strings ending on D3-branes. At each string junction, charge vectors add to zero and tension vectors balance; their directions and charge phases must also give common kappa symmetry projectors. They can impose further independent conditions beyond the planar D3 projector. Geometrically, several transverse scalar profiles describe the corresponding spikes and intersections. Merely replacing one electric spike by an aligned dyonic spike does not lower its preserved fraction; additional independent conditions are what reduce the common Killing spinor space.

A (p,q) string carries $p$ units of fundamental string charge and $q$ units of D1-brane charge. Coprime integers label an elementary primitive charge vector; nonprimitive vectors describe multiple units. The displayed tension uses the string metric and vanishing axion. In the M-theory torus duality, it comes from an M2-brane wrapped on the corresponding primitive one-cycle.