Worldvolume Flux, BIons, and F/D Bound States

A D-brane gauge field can carry the charge of another brane. Magnetic flux on a D2 carries D0 charge; an instanton on a D4 does the same in four spatial dimensions. Electric displacement carries fundamental-string charge. These statements become quantitative when the source couplings, flux integers, and energy are calculated together.

We use the shared tensions, RR potentials and trace normalization, the DBI action, and the positive supersymmetry algebra. The examples have flat string-frame metric, constant dilaton, and vanishing background $B_2$ and axion. The BIon calculation retains all powers of first derivatives in Abelian DBI; control of omitted higher derivatives and backreaction is a separate issue.

Magnetic flux as a Ramond–Ramond source

Set $f=2\pi\alpha'$ for the calculations below. On one brane, the relevant terms of the WZ coupling are

$$S_{\rm WZ}=\mu_p\int_{\mathcal W} \left[C_{p+1}^{\rm WZ}+fC_{p-1}^{\rm WZ}\wedge F +\frac{f^2}{2}C_{p-3}^{\rm WZ}\wedge F\wedge F+\cdots\right].$$

For a stack, these terms contain the fundamental matrix trace; $F=dA-iA\wedge A$. This is a statement about the indicated topological couplings, not a proposal for an exact non-Abelian DBI determinant. The relation of gauge-bundle topology to RR sources is developed in Douglas, equations (3)–(5).

Suppose two spatial worldvolume directions form an oriented compact surface $\Sigma_2$. The integer

$$m=\frac1{2\pi}\int_{\Sigma_2}F$$

is the first Chern number of its line bundle. Integrating the second WZ term over that surface gives

$$\mu_pf\int_{\Sigma_2}F=m\mu_{p-2}.$$

Thus a unit of flux induces a unit of D$(p-2)$ source charge. The sign follows from the orientations of the worldvolume and $\Sigma_2$. Negative flux reverses the induced charge, without making the brane tension negative.

These simple integer statements concern $B=H=0$ and the flat cycles used here. In backgrounds with nontrivial $B$, curvature, or additional Chern–Simons couplings, the coefficients in a local source action and globally quantized conserved charges require a more careful distinction.

A fluxed D2 and a wrapped D1

Wrap a positive D2 on a rectangular torus with lengths $L_i=2\pi R_i$. For uniform flux,

$$F_{12}=\frac{2\pi m}{L_1L_2},\qquad b=fF_{12}=\frac{m\alpha'}{R_1R_2}.$$

The time direction factors out of the determinant. The spatial block has determinant $1+b^2$, so the total rest energy is

$$E=T_2L_1L_2\sqrt{1+b^2} =\sqrt{(T_2L_1L_2)^2+(mT_0)^2}.$$

A nonzero flux lowers the energy below that of a separated D2 and $|m|$ D0-branes. The spatially uniform configuration preserves sixteen supersymmetries through a combined charge projector. It does not impose the two separate projectors of a D0 and D2 at different positions.

The same square root has a geometric explanation. The oriented boundary conditions are

$$\partial_\sigma X^1+b\partial_\tau X^2=0, \qquad \partial_\sigma X^2-b\partial_\tau X^1=0.$$

Use $\partial_\tau X^2=\partial_\sigma Y'$ and $\partial_\sigma X^2=\partial_\tau Y'$. The first condition becomes Neumann along $X^1+bY'$, while the second makes $Y'-bX^1$ constant along the endpoint history. The dual D1 therefore has oriented slope $dY'/dX^1=b$. Since $R_2'=\alpha'/R_2$, it wraps the cycle $(1,m)$, with length

$$L'=\sqrt{L_1^2+(mL_2')^2}.$$

The coupling also changes, $g_s'=g_s\sqrt{\alpha'}/R_2$. Consequently $T_1'=T_2L_2$ and $T_1'L'=E$. Retaining the coupling transformation is necessary for an absolute energy comparison.

A magnetic line bundle of degree $m=2$ maps to a D1 on the $(1,2)$ cycle. The torus coordinates in the drawing are normalized by their periods; the physical slope is $mR_2'/R_1$. Matching edges are identified, so a crossing is not an endpoint. The equality of DBI energy and wrapped-string energy includes the dual string coupling.

Instanton number and D0 charge on a D4

For a stack of D4-branes, the coupling to the RR one-form is

$$S_{C_1}=\frac{\mu_4f^2}{2} \int C_1^{\rm WZ}\wedge\operatorname{tr}(F\wedge F).$$

Use the fundamental trace from the overview. On the four spatial directions, define

$$k=\frac1{8\pi^2}\int\operatorname{tr}(F\wedge F).$$

For a smooth $SU(2)$ instanton embedded in $U(N)$, $N\ge2$, with the usual finite-action boundary condition on $\mathbb R^4$, $k$ is an integer. Since $\mu_4f^2(8\pi^2)/2=\mu_0$, this configuration carries $k$ units of D0 charge. For a general bundle the WZ expression is its second Chern character; it should not be called its second Chern class without accounting for the first Chern class.

The leading matrix Yang–Mills action gives the energy above the D4 rest energy,

$$E_{\rm exc}=\frac1{g_{{\rm YM},4}^2} \int\operatorname{tr}(F\wedge *_4F), \qquad g_{{\rm YM},4}^2=8\pi^2g_s\sqrt{\alpha'}.$$

The positive Euclidean spatial norm gives

$$\begin{aligned} E_{\rm exc} &=\frac1{2g_{{\rm YM},4}^2} \int\operatorname{tr}\bigl[(F\mp *_4F)\wedge *_4(F\mp *_4F)\bigr] \ \pm\frac{8\pi^2k}{g_{{\rm YM},4}^2},\\ E_{\rm exc}&\ge\frac{8\pi^2|k|}{g_{{\rm YM},4}^2}=|k|T_0. \end{aligned}$$

Self-duality or anti-self-duality saturates the bound. The matrix coupling is twice the coupling obtained with a unit Abelian generator; mixing the two actions would give a factor-of-two error in this mass.

An instanton is the gauge-field description of the Higgs branch of the D0–D4 system. The full system also has a branch on which D0-branes separate from the D4. The branches meet at a small-instanton singularity, where the smooth gauge description needs additional degrees of freedom. A single commutative $U(1)$ on flat $\mathbb R^4$ does not supply the smooth localized instanton just used. These distinctions are explicit in Polchinski, section 5.4. A large instanton compared with $\ell_s$ gives a controlled Yang–Mills description; its quantized charge does not certify a small instanton’s derivative expansion.

Electric flux and the compact Wilson line

A homogeneous D1 along $x^1$ has, at zero axion,

$$\mathcal L=-T_1\sqrt{1-e^2},\qquad e=fF_{01},\qquad |e|<1.$$

Its canonical electric displacement and Hamiltonian density are

$$\Pi=\frac{\partial\mathcal L}{\partial F_{01}} =\frac{fT_1e}{\sqrt{1-e^2}}, \qquad \mathcal H=\sqrt{T_1^2+\left(\frac{\Pi}{f}\right)^2}.$$

Why is $\Pi$ an integer? Temporarily wrap the D1 on a circle of length $L$. In temporal gauge, its uniform gauge mode is the holonomy $a=\int_0^L A_1dx^1=LA_1$. A large gauge transformation shifts $a$ by $2\pi$. The total Lagrangian is $L\mathcal L(\dot a/L)$, and hence

$$P_a=\frac{\partial(L\mathcal L)}{\partial\dot a}=\Pi.$$

Wavefunctions $e^{ipa}$ have integer momentum $p$. There is no extra circumference multiplying this integer. The dimensionless field $e$ is continuous; it is its conjugate displacement that is quantized. This is the compact gauge argument of Witten, section 2, also developed on page 18.

To identify the spacetime charge, restore a small $B_{01}$. DBI depends on $B_{01}+fF_{01}$, so its source derivative is $\partial\mathcal L/\partial B_{01}=\Pi/f$. Positive $\Pi$ therefore means positive oriented F1 charge, with the worldsheet coupling $+T_{\rm F1}\int B$. For one D1,

$$T_{(p,1)}=T_{\rm F1}\sqrt{p^2+g_s^{-2}}, \qquad e=\frac{p}{\sqrt{p^2+g_s^{-2}}}.$$

For $q$ D-strings the BPS bound has the general norm $T_{\rm F1}\sqrt{p^2+q^2/g_s^2}$. Its saturation is a statement about the full $U(|q|)$ system and its quantum states. It cannot be established by assigning fractional, individually quantized flux $p/q$ to unrelated Abelian branes.

Two charges in the positive supersymmetry algebra

The charge norm can be derived without guessing a square root. Work in the orthonormal real parameter basis and the corresponding Hermitian generating charges used on page 21. These components are not the covariant charge columns in $\epsilon^{\mathsf T}CQ$.

First fix the sign of the F1 term. A positively oriented pure-winding ground state has positive coupling to $B_{01}$ and chiral momenta $p_L^1=Z_F$, $p_R^1=-Z_F$ at zero center-of-mass momentum, where $Z_F=pLT_{\rm F1}$. Multiplication of the left and right massless spinor constraints by $\Gamma^0$ gives $E+Z_F\Gamma^{01}$ and $E-Z_F\Gamma^{01}$. This agrees with the NS charges in Polchinski’s algebra, equations (104)–(108). It fixes the sign of the charge term, not just its squared eigenvalues.

On the left/right IIB doublet of allowed parameters the resulting involutions are

$$K_F=-\Gamma^{01}\sigma_3, \qquad K_D=-\Gamma^{01}\sigma_1, \qquad K_F^2=K_D^2=1,\quad\{K_F,K_D\}=0.$$

Here the Pauli matrices act on the doublet. In particular $K_D\epsilon=\epsilon$ is exactly the shared positive-D1 graph $\epsilon_L=-\Gamma^{01}\epsilon_R$. Both matrices are Hermitian in the real orthonormal basis. Their charge signs are calibrated to $+T_{\rm F1}\int B$ and $+\mu_1\int C_2^{\rm WZ}$.

Let $Z_D=qLT_1$. The rest-frame algebra, with its normalization supplied by type II supersymmetry, is

$$\{\widehat Q_A,\widehat Q_B\} =2\bigl[E\mathbf1-Z_FK_F-Z_DK_D\bigr]_{AB}.$$

Squaring the charge matrix cancels the cross term:

$$(Z_FK_F+Z_DK_D)^2=(Z_F^2+Z_D^2)\mathbf1.$$

Its eigenvalues are $\pm Z$, each sixteen-fold, where $Z=\sqrt{Z_F^2+Z_D^2}$. Positivity requires $E\ge Z$. At nonzero charge and saturation, the unbroken parameters obey

$$\mathcal P_+\epsilon=\epsilon, \qquad \mathcal P_+=\frac12\left(1+\frac{Z_FK_F+Z_DK_D}{Z}\right).$$

Thus a homogeneous saturated $(p,q)$ string preserves sixteen of the thirty-two bulk supersymmetries. DBI and Wilson-line quantization independently reproduce the $q=1$ tension; they do not derive the complete quantum supersymmetry algebra.

The distinction between anticommuting and commuting charge matrices also explains D0/D2 versus D0/D4. Anticommuting matrices give a combined square-root bound. Two independent commuting matrices give an additive bound and typically an eight-dimensional joint eigenspace. The detailed graph calculation is in Exercise 3.

Charge lengths and the existence of states

At zero axion, put the integral charges at the points $(p,q/g_s)$ of a Euclidean plane. Their distance from the origin is $T_{(p,q)}/T_{\rm F1}$. The triangle inequality implies that a noncollinear split costs energy. Positive collinear splits are at threshold.

At $g_s=1/2$, the vertical coordinate is $q/g_s=2q$, so adjacent integer D1 charges are two units apart. The vector $(1,1)$ is primitive, while $(2,2)$ is twice it and has twice its BPS tension. The two-step constituent path is longer than the diagonal. This is a statement about charge norms and possible thresholds; existence of a normalizable quantum bound state requires additional dynamics.

The type IIB primitive-string spectrum has precisely that additional string-theory input, discussed in Witten’s bound-state analysis. The norm alone does not prove it. For a nonprimitive vector, the formula permits separated copies at threshold; it does not classify every quantum state at that threshold. Axion dependence and the full duality action belong to the next page.

A BIon from the nonlinear electric equations

A localized string endpoint on a D3 excites both its electric field and a transverse scalar. Let $Y(\mathbf x)$ be the physical transverse displacement, and define the local dimensionless vectors

$$v_i=\partial_iY,\qquad e_i=fF_{0i},\qquad d_i=\frac{\Pi_i}{fT_3}.$$

For static fields and zero magnetic field, the matrix in the DBI determinant is

$$\begin{pmatrix}-1&e^{\mathsf T}\\-e&\mathbf1+vv^{\mathsf T}\end{pmatrix}.$$

The opposite off-diagonal signs matter. The Schur complement, using $(1+vv^{\mathsf T})^{-1}=1-vv^{\mathsf T}/(1+v^2)$, gives

$$\Delta=(1+v^2)(1-e^2)+(e\cdot v)^2, \qquad \mathcal L=-T_3\sqrt\Delta.$$

Differentiation and a Legendre transform yield

$$\begin{aligned} d&=\frac{(1+v^2)e-(e\cdot v)v}{\sqrt\Delta},\\ \frac{\mathcal H}{T_3} &=\sqrt{1+v^2+d^2+(d\cdot v)^2}. \end{aligned}$$

The inversion and the scalar equation are worked out in Exercise 4. The Hamiltonian admits the square completion

$$\left(\frac{\mathcal H}{T_3}\right)^2 =(1\pm d\cdot v)^2+|d\mp v|^2.$$

On the corresponding BPS branches $d=\pm v$, one obtains $e=\pm v$, $\Delta=1$, and $\mathcal H=T_3(1+v^2)$. The exact displacement becomes

$$\Pi=\pm fT_3\nabla Y.$$

The coefficient is constant. Consequently Gauss’s law implies $\nabla^2Y=0$ away from sources. Merely asserting that three vectors are parallel would not establish this. The full scalar equation reduces to the same harmonic equation on the branch. This is the nonlinear extension of the string-spike calculation in Callan and Maldacena, sections 2–3.

Endpoint orientation, flux and energy

There is a useful sign distinction between outward displacement flux and endpoint source charge. With endpoint action $+q_{\rm end}\int A$, a variation of $A_0$ gives

$$\delta S=\int dt\,d^3x\, \left(\partial_i\Pi^i+q_{\rm end}\delta^3(\mathbf x)\right)\delta A_0.$$

Indeed $\delta F_{0i}=-\partial_i\delta A_0$; its integration by parts produces the plus sign above. Define the signed outward flux by

$$n=\int_{S^2}\Pi\cdot d\mathbf S=-q_{\rm end}.$$

For $n>0$ and an upward spike choose

$$Y=Y_\infty+\frac{c}{r},\qquad d=-\nabla Y, \qquad c=\frac{n}{4\pi fT_3}=n\pi g_s\alpha'.$$

Then $\Pi$ points outward and the endpoint has charge $-n$. Reversing the electric branch produces inward flux and positive endpoint charge at the same upward scalar profile. In either case the coefficient magnitude is $|n|\pi g_s\alpha'$.

Subtract the unexcited D3 rest energy and retain a shell $\varepsilon\le r\le R$. Direct integration gives

$$\begin{aligned} E_{\rm exc} &=4\pi T_3c^2\left(\frac1\varepsilon-\frac1R\right)\\ &=|n|T_{\rm F1}\,[Y(\varepsilon)-Y(R)]. \end{aligned}$$

The energy per unit physical spike length is exactly $|n|T_{\rm F1}$. The geometric and energy cutoffs are the same surfaces; an arbitrary subtraction at one end would obscure this comparison.

The plotted upward solution has $r_0^2=c>0$, $u=r/r_0$, and $(Y-Y_\infty)/r_0=1/u$ on $1/2\le u\le3$. Outward displacement flux $n>0$ corresponds to endpoint charge $q_{\rm end}=-n$ with the stated endpoint action. Finite radial cutoffs regulate the infinite spike. The profile and energy relation are quantitative within Abelian DBI; the drawing does not resolve the string-scale core.

The coordinate field $|e|=|\nabla Y|$ can exceed one. Its local orthonormal value is $|e|/\sqrt{1+v^2}<1$: the induced spatial metric has changed. The homogeneous flat-D1 critical-field bound must not be applied after discarding that metric.

The spike is locally BPS, but its asymptotic D3 and attached string impose two independent compatible conditions. It preserves eight bulk supersymmetries, rather than the sixteen of a homogeneous $(p,q)$ string. For a string along the transverse $x^9$ direction, the D3 graph and $K_F^{(9)}=-\Gamma^{09}\sigma_3$ commute and have an eight-dimensional common eigenspace. The sign of the second eigenvalue follows the oriented attached string; the sign choices in the scalar and electric profiles must follow it.

A magnetic spike uses $b_i=fB_i$, where $B_i=\epsilon_{ijk}F_{jk}/2$, and $b=\pm\nabla Y$. Quantized magnetic flux $\int_{S^2}F=2\pi m$ gives $c_m=|m|\pi\alpha'$ and energy $|m|T_1\Delta Y$. It represents a D-string ending on the D3. The factors of $f$ are essential because $B_i$ has units of inverse length squared, whereas $\partial_iY$ is dimensionless.

The singular limit $r\to0$ is not a proof that a single-brane effective action controls all higher derivatives or gravitational backreaction. The charge and regulated BPS energy are robust diagnostics; identifying a regime in which every correction is small requires additional scale analysis. Large instantons and slowly varying outer portions of a spike are more directly controlled than their shrinking cores.

Exercises

Exercise 1: The line bundle, its minimum energy, and its dual cycle

Construct the degree-$m$ line bundle on the rectangular D2 torus using $A_2=F_{12}x^1$. Derive its flux quantization, show that a uniform field minimizes the Abelian DBI energy at fixed flux, and verify both T-dual boundary conditions and the absolute wrapped-D1 energy.

Solution

At $x^1+L_1$, the potential differs by $d\lambda$ with $\lambda=F_{12}L_1x^2$. A unit-charge section transforms by $e^{i\lambda}$. Periodicity in $x^2$ requires $F_{12}L_1L_2=2\pi m$. Thus the transition function has winding $m$, even though $A$ is not globally one periodic one-form.

Let $\bar b=f(2\pi m)/(L_1L_2)$. For $h(b)=\sqrt{1+b^2}$,

$$h''(b)=(1+b^2)^{-3/2}>0.$$

Jensen’s inequality gives $\int h(b)\,d^2x\ge L_1L_2h(\bar b)$, with equality only for constant $b$ apart from measure-zero exceptions. The determinant therefore yields the minimum energy $\sqrt{(T_2L_1L_2)^2+(mT_0)^2}$ within this Abelian static sector.

The two dual conditions are

$$\partial_\sigma(X^1+bY')=0, \qquad \partial_\tau(Y'-bX^1)=0.$$

The first fixes the tangent derivative condition; the second fixes the transverse location. Over one $X^1$ period the lift changes by $bL_1=mL_2'$, giving the cycle $(1,m)$. Finally

$$T_1'\sqrt{L_1^2+(mL_2')^2} =T_2L_1L_2\sqrt{1+\bar b^2},$$

because $T_1'=T_2L_2$ follows from the transformed coupling. Keeping $g_s$ fixed in this comparison would fail. Negative $m$ reverses the winding and induced D0 charge; the length and energy depend on $m^2$.

Exercise 2: A traced instanton with the D0 mass

Let $i,j=1,\ldots,4$ and $a=1,2,3$. Define the self-dual ‘t Hooft symbols by $\eta^a_{bc}=\epsilon_{abc}$ and $\eta^a_{b4}=\delta_{ab}$. Use the regular-gauge connection

$$A_i^a=\frac{2\eta^a_{ij}x^j}{r^2+\rho^2}, \qquad T^a=\frac{\sigma_a}{2}.$$

Compute its curvature, topological charge and Yang–Mills energy, retaining the trace normalization. Explain the limits $\rho\gg\ell_s$ and $\rho\to0$.

Solution

Since $F=dA-iA\wedge A$, components obey $F_{ij}^a=\partial_iA_j^a-\partial_jA_i^a+\epsilon^{abc}A_i^bA_j^c$. Differentiating the rational connection and using the ‘t Hooft-symbol identities gives

$$F_{ij}^a=-\frac{4\rho^2\eta^a_{ij}}{(r^2+\rho^2)^2}, \qquad F=*_4F.$$

The sign of $F$ does not reverse $F\wedge F$. With $\sum_{a,i,j}(\eta^a_{ij})^2=12$ and $\operatorname{tr}(T^aT^b)=\delta^{ab}/2$,

$$\operatorname{tr}(F\wedge *_4F) =\frac{48\rho^4}{(r^2+\rho^2)^4}\,d^4x.$$

The radial integral is

$$\int_0^\infty\frac{r^3\rho^4\,dr}{(r^2+\rho^2)^4}=\frac1{12}.$$

Multiplication by $48\Omega_3=96\pi^2$ gives $8\pi^2$, so $k=1$. The WZ coefficient is $\mu_0$, and

$$E_{\rm exc}=\frac{8\pi^2}{g_{{\rm YM},4}^2} =\frac1{g_s\sqrt{\alpha'}}=T_0.$$

The instanton must be embedded in a non-Abelian stack. Large $\rho/\ell_s$ suppresses field-strength and derivative corrections to the Yang–Mills calculation. As $\rho\to0$, the same integral remains quantized but its density concentrates and the smooth effective description fails. The D0–D4 Higgs branch meets the branch with a separate D0; this is not the disappearance of the conserved D0 charge.

Exercise 3: Combined charge and simultaneous projectors

Using the shared $M_p=(-1)^p\Gamma^{0\cdots p}$ and $K_p=\left(\begin{smallmatrix}0&M_p\\M_p^{-1}&0\end{smallmatrix}\right)$, compare D0/D2 and D0/D4. Construct the saturated charge projector for each case. Repeat the eigenvalue argument for the F1/D1 matrix, and count the supersymmetries of an F1 ending transversely on a D3.

Solution

In IIA, $M_0=\Gamma^0$ has inverse $-\Gamma^0$, while $M_2=\Gamma^{012}$ has inverse itself. Multiplying the full block matrices gives

$$\{K_0,K_2\}=0,\qquad [K_0,K_4]=0.$$

For signed D0 charge $Z_0=mT_0$ and positive wrapped D2 charge $Z_2=T_2L_1L_2$, the involution

$$K_{02}=\frac{Z_0K_0+Z_2K_2}{\sqrt{Z_0^2+Z_2^2}}$$

has square one and trace zero. Its positive eigenspace has dimension sixteen; $(1+K_{02})/2$ is the saturated projector. Requiring separately $K_0\epsilon=K_2\epsilon=\epsilon$ would instead give a contradiction: their anticommutator would act as two on the same vector. The uniform fluxed D2 obeys the combined condition.

For nonzero positive D0 and D4 charges, the commuting involutions have four joint eigenspaces, each of dimension eight. The norm matrix has eigenvalues $2(E-s_0Z_0-s_4Z_4)$, so $E\ge Z_0+Z_4$ and

$$\mathcal P_{04}=\frac14(1+K_0)(1+K_4)$$

has rank eight. Negative charges replace the appropriate plus sign by a minus sign. This is the threshold algebra associated with a self-dual or anti-self-dual instanton, in addition to the D4 rest energy.

In IIB, $(\Gamma^{01})^2=1$ and $\{\sigma_1,\sigma_3\}=0$ imply the same anticommuting calculation for $K_F=-\Gamma^{01}\sigma_3$ and $K_D=-\Gamma^{01}\sigma_1$. The explicit rest matrix divided by two is

$$E\mathbf1+\Gamma^{01} \begin{pmatrix}Z_F&Z_D\\ Z_D&-Z_F\end{pmatrix}.$$

Its zero eigenspace at $E=\sqrt{Z_F^2+Z_D^2}$ has dimension sixteen. The minus sign in $K_F$ is fixed by the oriented NS charge in the chiral algebra; anticommutation alone would not select it.

For a D3 along $123$ and F1 along $9$, direct multiplication yields $[K_3,K_F^{(9)}]=0$. Their product and each individual involution have trace zero on the allowed thirty-two-dimensional parameter space. Therefore $\tfrac14(1+K_3)(1\pm K_F^{(9)})$ has rank eight. This is the localized BIon count. It must not be inferred from the half-BPS homogeneous F/D string count.

Exercise 4: An exact vector Legendre transform

For independent, not necessarily parallel $e$ and $v$, invert the electric displacement derived from the DBI determinant. Obtain the Hamiltonian, its square bound, and the full static scalar equation. Check precisely when harmonicity follows.

Solution

Write $A=1+v^2$ and $Q=A\mathbf1-vv^{\mathsf T}$. Then $\Delta=A-e^{\mathsf T}Qe$ and $d=Qe/\sqrt\Delta$. The inverse matrix is $Q^{-1}=(\mathbf1+vv^{\mathsf T})/A$. Set

$$h=\sqrt{A+d^2+(d\cdot v)^2}.$$

Substitution into the determinant gives

$$\sqrt\Delta=\frac{A}{h},\qquad e=\frac{d+(d\cdot v)v}{h}.$$

The Legendre transform is $\mathcal H/T_3=d\cdot e+\sqrt\Delta=h$. Expanding $|d\mp v|^2$ verifies $h^2=(1\pm d\cdot v)^2+|d\mp v|^2$. Hence $h\ge1\pm d\cdot v$, with equality on $d=\pm v$, where the right side is positive.

Varying $Y$ in the Lagrangian, holding the electric field fixed, gives

$$\nabla\cdot\left[ \frac{(1-e^2)v+(e\cdot v)e}{\sqrt\Delta} \right]=0.$$

Equivalently, varying the Hamiltonian at fixed displacement gives $\nabla\cdot[(v+(d\cdot v)d)/h]=0$. On either BPS branch both currents reduce to $v$, while $\Pi=\pm fT_3v$. Thus the scalar equation and source-free Gauss equation both reduce to $\nabla^2Y=0$. Alignment $d=a(\mathbf x)v$ without $a=\pm1$ would not have this consequence.

The inverse formula also makes the physical electric domain transparent: $e^{\mathsf T}(1+vv^{\mathsf T})^{-1}e<1$ whenever $\Delta>0$. On the radial branch its square is $v^2/(1+v^2)$, below one even where the coordinate magnitude exceeds one.

Exercise 5: A signed source and a regulated string segment

Derive the electric source equation from $+q_{\rm end}\int A$. For an upward radial spike, determine both electric branches and their exact coefficient. Check the distributional equation and the shell energy. Then repeat the flux and energy calculation for a magnetic spike.

Solution

The variation $\delta F_{0i}=-\partial_i\delta A_0$ yields $\delta S_{\rm DBI}=\int(\partial_i\Pi^i)\delta A_0$ after integration by parts. The endpoint contributes $+q_{\rm end}\delta A_0(0)$. Therefore $\nabla\cdot\Pi=-q_{\rm end}\delta^3(\mathbf x)$, not its sign-reversed version.

For $Y-Y_\infty=c/r$, $c>0$, let $s=\pm1$ label $d=sv$. Since $v=-c\widehat r/r^2$,

$$\Pi=-s fT_3\frac{c}{r^2}\widehat r, \qquad n=-s4\pi fT_3c=-q_{\rm end}.$$

Using $\nabla^2(1/r)=-4\pi\delta^3(\mathbf x)$ verifies the same source equation distributionally. It fixes $c=|n|\pi g_s\alpha'$. The branch $s=-1$ has outward $n>0$ and negative endpoint charge; $s=+1$ reverses those signs. A compact holonomy or unit string endpoint supplies the integer charge, not the classical radial equation alone.

Directly integrating $T_3v^2$ on the shell gives

$$E_{\rm exc}=4\pi T_3c^2(\varepsilon^{-1}-R^{-1}) =|n|T_{\rm F1}\Delta Y.$$

For a purely magnetic field the determinant instead is $1+v^2+b^2+(b\cdot v)^2$. It completes to $(1\pm b\cdot v)^2+|b\mp v|^2$. On $b=sv$ the energy above the brane is again $T_3v^2$. The integer flux gives

$$2\pi m=\int_{S^2}F =\int_{S^2}B\cdot d\mathbf S =-s\frac{4\pi c_m}{f}.$$

Thus $c_m=|m|\pi\alpha'$ and $E_{\rm exc}=|m|T_1\Delta Y$. In particular an upward profile with positive magnetic flux uses $b=-v$. The WZ term identifies that flux with the oriented D1 charge; electric displacement and magnetic flux have different normalization factors.

These are regulated exterior solutions. A boundary force at the attachment accounts for the scalar source; the scalar equation is not being asserted source-free at the excised endpoint. Taking $\varepsilon\to0$ sends the physical string length and its energy to infinity. It does not supply a resolved microscopic cap.

Exercise 6: What the charge norm does and does not prove

For nonzero integral $(p,q)$ at $C_0=0$, characterize equality in the BPS triangle inequality. Explain the primitive/nonprimitive distinction without deriving quantum existence from an energy formula. Obtain the weak-coupling binding energy relative to $|p|$ F1 and $|q|$ D1 constituents.

Solution

Associate $z=(p,q/g_s)$ to each charge. The norm inequality $|z_1+z_2|\le|z_1|+|z_2|$ is saturated exactly when the nonzero vectors are parallel with the same orientation. Because rescaling the second axis is invertible, this is also positive collinearity of the integer pairs.

Write $(p,q)=d(p_0,q_0)$ with $d=\gcd(|p|,|q|)$ and primitive $(p_0,q_0)$. Bezout’s identity shows that any integer vector proportional to $(p_0,q_0)$ has an integer proportionality factor: if $ap_0+bq_0=1$, then the factor equals $ap'+bq'$. A primitive vector therefore has no nontrivial decomposition into smaller nonzero positive collinear integer vectors. A vector with $d>1$ is at threshold for $d$ copies. In general

$$T_{(np,nq)}=|n|T_{(p,q)}.$$

This proves the absence or presence of a particular energy threshold. It does not construct a normalizable bound-state wavefunction. The primitive $(p,q)$ spectrum uses the non-Abelian/string-theory input discussed by Witten; nonprimitive threshold configurations do not by themselves settle the full quantum spectrum.

For fixed $q\ne0$ and $g_s|p|/|q|\ll1$,

$$T_{(p,q)}=T_{\rm F1}\left[ \frac{|q|}{g_s}+\frac{g_sp^2}{2|q|} -\frac{g_s^3p^4}{8|q|^3}+O(g_s^5)\right].$$

The energy gained relative to separated straight constituents is

$$\Delta T=T_{\rm F1}\left[ |p|-\frac{g_sp^2}{2|q|}+\frac{g_s^3p^4}{8|q|^3} +O(g_s^5)\right].$$

The expansion is not uniform as $|p|/|q|$ grows. It also does not prove that an arbitrary classical non-Abelian field ansatz realizes the saturated state. The $q=1$ compact rotor is a direct Abelian construction; general $q$ requires more information.

References

• Curtis G. Callan, Jr., and Juan M. Maldacena, “Brane Dynamics From the Born-Infeld Action,” Nuclear Physics B 513 (1998), 198–212, doi:10.1016/S0550-3213(97)00700-1, arXiv:hep-th/9708147. Sections 2–3 derive the electric and magnetic spikes, their nonlinear Hamiltonian, and the string-energy interpretation.
• Michael R. Douglas, “Branes within Branes,” Rutgers report RU-95-92 (1995), arXiv:hep-th/9512077. RR source couplings and instanton realizations of lower-dimensional branes.
• Joseph Polchinski, “TASI Lectures on D-Branes,” in Fields, Strings and Duality, edited by Costas Efthimiou and Brian Greene (World Scientific, Singapore, 1997), pp. 293–356, arXiv:hep-th/9611050. Sections 4.3–4.5 treat charge bounds and bound states; section 5.4 distinguishes Higgs and Coulomb branches.
• Edward Witten, “Bound States Of Strings And p-Branes,” Nuclear Physics B 460 (1996), 335–350, doi:10.1016/0550-3213(95)00610-9, arXiv:hep-th/9510135. Compact electric-flux quantization and the non-Abelian dynamics underlying the $(p,q)$ string spectrum.