Supergravity p-Branes, NS5-Branes, and Throat Geometries

A D-brane sources the metric, dilaton and Ramond–Ramond fields simultaneously. Their nonlinear equations have a special family of extremal solutions: several warp factors are determined by one harmonic function in the transverse space. Charge quantization fixes its coefficient. For D3-branes the near region becomes $\mathrm{AdS}_5\times S^5$; for NS5-branes it becomes a constant-radius three-sphere and a linear-dilaton direction. These geometries provide two different connections between branes and spacetime physics.

We will derive the exterior fields and their normalization, then separate a near-region approximation from the conditions under which supergravity or string perturbation theory is reliable. The shared frames and couplings, RR field basis and brane couplings, and orientation and Hodge star are used throughout. The source signs follow D-brane charges and BPS bounds.

Extremal D-branes and transverse harmonic functions

Consider a static stack of $N>0$ equally oriented D$p$-branes in noncompact ten-dimensional spacetime. Here $0\leq p\leq6$, with even $p$ in IIA and odd $p$ in IIB. Let $x^a$, $a=0,\ldots,p$, run along the brane, and let $y^i$ denote the $9-p$ transverse coordinates. Put $r=|\mathbf y|$ and $\omega_\parallel=dx^0\wedge\cdots\wedge dx^p$.

The exterior solution in string frame is

$$\begin{aligned} ds_S^2&=H^{-1/2}\eta_{ab}dx^a dx^b+H^{1/2}\delta_{ij}dy^i dy^j,\\ e^\Phi&=g_s H^{(3-p)/4},\\ C_{p+1}^{\rm WZ}&=g_s^{-1}(H^{-1}-1)\omega_\parallel. \end{aligned}$$

The potential vanishes at infinity. Its sign is the one appropriate to a positive WZ coupling $+\mu_p\int C_{p+1}^{\rm WZ}$. For D3-branes, the derivative of this potential is the electric part of the five-form; its magnetic completion will be essential below. For $p=4,5,6$, the displayed electric potential is a dual description of the usual lower-degree RR field, not an additional independent propagating field.

The flat transverse Laplacian determines $H$:

$$\Delta_\perp H=0\quad(r>0),\qquad H(r)=1+\frac{R_p^{7-p}}{r^{7-p}}.$$

Indeed, rotational symmetry gives $(r^{8-p}H')'=0$. The constant is fixed by the asymptotic metric and dilaton; the remaining coefficient is fixed by charge. The positive, aligned multi-center generalization is

$$H(\mathbf y)=1+\sum_A\frac{R_{p,A}^{7-p}}{|\mathbf y-\mathbf y_A|^{7-p}}.$$

The metric itself is not a linear superposition. The special relation among its warp factors allows the harmonic function to superpose. Negative terms in this sum do not describe arbitrary antibranes in equilibrium: an antibrane changes the charge relative to the tension and generally breaks this construction.

D7-branes have a logarithmic transverse Green function, D8-branes require the massive-IIA domain-wall treatment, and D9 charge involves a nondynamical top form. They are outside this asymptotically flat radial family. The explicit D$p$ backgrounds and their radial regimes are also developed by Itzhaki, Maldacena, Sonnenschein and Yankielowicz, section 2; their gauge-field normalization must be translated before comparing gauge couplings.

Warped Gauss law fixes the charge radius

It is tempting to integrate the electric field as if the metric were flat. The Hodge star contains exactly the warp factors needed to simplify the answer. Write

$$\mathcal F_{p+2}^{\rm el}=dC_{p+1}^{\rm WZ} =g_s^{-1}d(H^{-1})\wedge\omega_\parallel.$$

In Cartesian coordinates $\sqrt{-\det G_S}=H^{(4-p)/2}$. Raising the $p+1$ parallel indices and one transverse index contributes $H^{p/2}$, including the Lorentzian sign. The total power is $H^2$, which cancels $d(H^{-1})=-H^{-2}dH$. Keeping the order of the forms gives

$$*_S\mathcal F_{p+2}^{\rm el} =\frac{(-1)^{p+1}}{g_s}*_{\perp,\mathrm{flat}}dH.$$

The transverse orientation is induced by $\omega_\parallel\wedge\mathrm{vol}_\perp=\mathrm{vol}_{10}$; the sphere has its outward orientation. Consequently,

$$\int_{S^{8-p}} *_S\mathcal F_{p+2}^{\rm el} =\frac{(-1)^p}{g_s}(7-p)\Omega_{8-p}R_p^{7-p}, \qquad \Omega_k=\frac{2\pi^{(k+1)/2}}{\Gamma((k+1)/2)}.$$

A negative signed integral for odd $p$ is consistent with positive brane charge in the shared orientation. The source equation, including that sign, is

$$d(*_S\mathcal F_{p+2})=(-1)^p2\kappa_{10,0}^2\mu_pN\,\delta_\perp\mathrm{vol}_\perp.$$

For D3 this equation uses the self-dual/string source normalization explained on page 21, rather than a second unconstrained five-form action. The electric Gauss law and the magnetic Bianchi identity encode the same charge.

Combining the two equations gives the distributional harmonic equation and its coefficient:

$$\Delta_\perp H=-2\kappa_{10,0}^2g_s\mu_pN\,\delta_\perp,$$ $$\begin{aligned} R_p^{7-p} &=\frac{2\kappa_{10,0}^2g_s\mu_pN}{(7-p)\Omega_{8-p}}\\ &=(2\sqrt\pi)^{5-p}\Gamma\!\left(\frac{7-p}{2}\right) g_sN\alpha'^{(7-p)/2}. \end{aligned}$$

Both sides have length dimension $7-p$. Three useful special cases are

$$R_1^6=32\pi^2g_sN\alpha'^3,\qquad R_3^4=4\pi g_sN\alpha'^2,\qquad R_5^2=g_sN\alpha'.$$

A schematic two-dimensional section of the six-dimensional normal fiber of a D3 stack. The linking surfaces are five-spheres, not brane worldvolumes. Their outward flux is $\int_{S^5}\mathcal F_5=-2\kappa_{10,0}^2\mu_3N$ in the fixed spacetime orientation, independent of the radius. The full field is self-dual; the signed flux does not indicate an antibrane.

Checking all the coupled field equations

A harmonic function alone is not a proof that the spacetime solves supergravity. We now check the form, scalar and Einstein equations. In the asymptotically matched Einstein metric the fields become

$$ds_E^2=H^{-(7-p)/8}dx_\parallel^2+H^{(p+1)/8}dy^i dy^i, \qquad \phi=\frac{3-p}{4}\ln H.$$

For this calculation abbreviate the rescaled electric form by $\mathcal G_n=g_s\mathcal F_n$, with $n=p+2$. For $p\neq3$, the appropriate ordinary electric action is

$$S_{\rm el}=\frac1{2\kappa_{10}^2}\int d^{10}x\sqrt{-g} \left[R-\frac12(\partial\phi)^2-\frac{e^{a\phi}}{2n!}\mathcal G_n^2\right], \qquad a=\frac{3-p}{2}.$$

This is a consistent single-charge truncation; for the high-degree electric fields it follows after dualization. It must not be read as an action for every democratic RR field independently. Bergshoeff and collaborators, section 2.1, explain the doubled-field pseudo-action and the constraints imposed after variation. The present signs and field basis are those of the shared overview.

Variation gives

$$d(e^{a\phi}*_E\mathcal G_n)=0, \qquad \nabla^2\phi=\frac{a e^{a\phi}}{2n!}\mathcal G_n^2,$$ $$R_{MN}=\frac12\partial_M\phi\partial_N\phi +\frac{e^{a\phi}}{2(n-1)!} \left[\mathcal G_{M A_2\cdots A_n}\mathcal G_N{}^{A_2\cdots A_n} -\frac{n-1}{8n}g_{MN}\mathcal G_n^2\right].$$

The factor $1/8$ comes from trace reversal in ten dimensions. The electric form has a negative scalar square because one index is timelike.

The cancellation of the nonlinear terms

Let $d=p+1$, $m=9-p$ and $k=m-2=7-p$. Use $U=\ln H$, $u_i=\partial_iU$, and write the metric as $e^{2A}\eta_d+e^{2B}\delta_m$, where

$$A=A_0U,\quad B=B_0U,\quad \phi=cU, \qquad A_0=-\frac{k}{16},\quad B_0=\frac d{16},\quad c=\frac{4-d}{4}.$$

All derivatives in the following formulas are flat transverse derivatives. Direct contraction of the Christoffel symbols gives

$$R_{ab}=-e^{2A-2B}\eta_{ab} \left[\Delta A+d(\partial A)^2+k\partial A\cdot\partial B\right],$$ $$\begin{aligned} R_{ij}={}&-d(A_{ij}+A_iA_j-A_iB_j-A_jB_i)\\ &-k(B_{ij}-B_iB_j) -\delta_{ij}\left[\Delta B+d\partial A\cdot\partial B+k(\partial B)^2\right]. \end{aligned}$$

The relation $dA_0+kB_0=0$ cancels both the quadratic bracket in $R_{ab}$ and the uncontracted Hessian $U_{ij}$ in $R_{ij}$. If $\Delta H=0$, then $\Delta U=-u^2$, so

$$R_{ab}=A_0e^{2A-2B}\eta_{ab}u^2, \qquad R_{ij}=B_0\delta_{ij}u^2-\frac{dk}{32}u_i u_j.$$

These are nonzero curvature components. They must equal the scalar and form sources. For $\mathcal G_n=d(H^{-1})\wedge\omega_\parallel$, the second identity $ac-2dA_0=2$ gives

$$\frac{e^{a\phi}}{n!}\mathcal G_n^2=-e^{-2B}u^2,$$ $$\begin{aligned} \frac{e^{a\phi}}{(n-1)!}\mathcal G_{a A_2\cdots A_n} \mathcal G_b{}^{A_2\cdots A_n} &=-e^{2A-2B}\eta_{ab}u^2,\\ \frac{e^{a\phi}}{(n-1)!}\mathcal G_{i A_2\cdots A_n} \mathcal G_j{}^{A_2\cdots A_n} &=-u_i u_j. \end{aligned}$$

Substitution reproduces both Ricci blocks: the transverse coefficient is $(c^2-1)/2=-dk/32$. Meanwhile,

$$\nabla^2\phi=-c e^{-2B}u^2 =-\frac a2e^{-2B}u^2, \qquad \sqrt{-g}\,e^{a\phi}\mathcal G^{i0\cdots p}=\partial_iH.$$

The last expression proves that the form equation is precisely $\Delta H=0$. This calculation works for a nonspherical harmonic function as well, so it establishes the multi-center exterior equations. It does not replace the source matching at the singular centers. Exercise 2 derives the exponents rather than starting with their values.

The D3 five-form and the AdS limit

For D3-branes the dilaton is constant and the matched Einstein metric equals the string metric. The unshifted invariant metric $\widehat g$ differs by its prescribed constant factor; these distinctions matter under the S-duality transformation of the asymptotic coupling on page 25.

The full D3 field is

$$\mathcal F_5=(1+*)\left[g_s^{-1}d(H^{-1})\wedge\omega_\parallel\right], \qquad *\mathcal F_5=\mathcal F_5.$$

The five-form term in the IIB pseudo-action is $-g_s^2\mathcal F_5^2/(4\cdot5!)$, inside the overall factor $1/(2\kappa_{10}^2)$. Vary first and impose self-duality afterwards. With $\mathcal G_5=g_s\mathcal F_5$, its Einstein equation is

$$R_{MN}=\frac1{96}\mathcal G_{MABCD}\mathcal G_N{}^{ABCD}.$$

Although $\mathcal G_5^2=0$, its tensor contraction is nonzero. A vanishing scalar Lagrangian after imposing a constraint does not imply vanishing stress. Exercise 4 checks both curvature blocks and explains how the factor $1/96$ avoids double counting.

For $r\ll R_3$, neglecting the constant in $H$ gives

$$ds^2\simeq\frac{r^2}{R_3^2}dx_{1,3}^2 +\frac{R_3^2}{r^2}dr^2+R_3^2d\Omega_5^2.$$

With $z=R_3^2/r$, this is the Poincaré metric on $\mathrm{AdS}_5$ times a round $S^5$, both of radius $R_3$. The asymptotically flat exterior has been removed by the approximation; the full solution still connects it to the near region.

For $x=r/R_3$, the exact function is $H=1+x^{-4}$ and the near expression is $x^{-4}$. The relative error from dropping 1 is $x^4/(1+x^4)$. The logarithmic axes cover $0.2\leq x\leq5$. This measures approximation error; it does not by itself test curvature or string loops.

There are two independent expansion parameters. String-scale curvature is small when $\alpha'/R_3^2\ll1$, or $g_sN\gg1$; string loops are suppressed when $g_s\ll1$. Large $N$ allows both. “Curvature” here means a scale extracted from Riemann components or invariants, not just the Ricci scalar: the latter vanishes on $\mathrm{AdS}_5\times S^5$, whereas $R_{MNPQ}R^{MNPQ}=80/R_3^4$.

Fundamental strings and NS5-branes

The S-duality discussion becomes quantitative once the harmonic coefficients are fixed. The NSNS string-frame action needed for these backgrounds is

$$S_{\rm NS}=\frac1{2\kappa_{10,0}^2}\int d^{10}x\sqrt{-G_S}\,e^{-2\Phi} \left[R_S+4(\partial\Phi)^2-\frac1{12}H_{MNP}H^{MNP}\right].$$

Here $H_3=dB_2$ is distinguished by its form degree from the scalar harmonic functions. Its exterior equations are

$$\begin{aligned} R_{MN}+2\nabla_M\nabla_N\Phi-\frac14H_{MPQ}H_N{}^{PQ}&=0,\\ R+4\nabla^2\Phi-4(\partial\Phi)^2-\frac1{12}H_3^2&=0,\\ d(e^{-2\Phi}*_S H_3)&=0. \end{aligned}$$

The electric fundamental string

For $N$ positive fundamental strings along $x^1$,

$$\begin{aligned} ds_S^2&=H_F^{-1}dx_{1,1}^2+d\mathbf y_8^2,\\ e^{2\Phi}&=g_s^2H_F^{-1},\qquad B_2=(H_F^{-1}-1)dx^0\wedge dx^1,\\ H_F&=1+\frac{32\pi^2g_s^2N\alpha'^3}{r^6}. \end{aligned}$$

To recover the coefficient, compute the weighted electric flux:

$$e^{-2\Phi}*_S H_3=g_s^{-2}*_{8,\mathrm{flat}}dH_F, \qquad \int_{S^7}e^{-2\Phi}*_S H_3=-2\kappa_{10,0}^2T_{\rm F1}N.$$

Thus $6\Omega_7Q_F=2\kappa_{10,0}^2g_s^2T_{\rm F1}N$, giving the displayed $Q_F$. The factor $g_s^2$ is different from the D1 coefficient $g_s$: the NSNS kinetic term carries $e^{-2\Phi}$.

One can also check the metric equation directly. With $U=\ln H_F$, its parallel block reduces to $\eta_{ab}\Delta H_F/(2H_F^2)$; the transverse block and dilaton equation vanish identically for this ansatz. The weighted form equation supplies the remaining $\Delta H_F=0$ condition. This verifies the coupled equations, rather than only their asymptotic flux.

The magnetic NS5-brane

For a positive magnetic charge in the outward transverse orientation,

$$\begin{aligned} ds_S^2&=dx_{1,5}^2+H_5\,d\mathbf y_4^2,\\ e^{2\Phi}&=g_s^2H_5,\qquad H_5=1+\frac{N\alpha'}{r^2},\\ H_3&=-*_{4,\mathrm{flat}}dH_5=2N\alpha'\omega_3. \end{aligned}$$

The last equality is for a spherical center, with $\omega_3$ the volume form of the unit three-sphere. It holds throughout the exterior. In particular,

$$\frac1{4\pi^2\alpha'}\int_{S^3}H_3=N.$$

The same coefficient follows from the positive D5 solution by the properly oriented S-duality transformation and coordinate rescaling in Exercise 3.

The NS5 field equations make the role of the flat star precise. Set $U=\ln H_5$. The nontrivial transverse metric equation reduces to

$$R_{ij}+2\nabla_i\nabla_j\Phi-\frac14H_{iPQ}H_j{}^{PQ} =-\frac{\delta_{ij}}{2H_5}\Delta H_5,$$

and the scalar equation is $-\Delta H_5/H_5^2=0$. The weighted form equation is automatic away from sources; its magnetic Bianchi identity $dH_3=-\Delta H_5\,d^4y$ fixes the localized charge. These statements can hold for a multi-center harmonic function. They do not assign a weakly coupled description to every center.

The NS5 throat and its worldsheet theory

Put $R_5^{\rm NS}=\sqrt{N\alpha'}$ and define a logarithmic radial coordinate

$$\rho=R_5^{\rm NS}\ln\!\left(\frac r{R_5^{\rm NS}}\right).$$

In the near region $r\ll R_5^{\rm NS}$,

$$ds_S^2\simeq dx_{1,5}^2+d\rho^2+N\alpha' d\Omega_3^2, \qquad \Phi\simeq\ln g_s-\frac{\rho}{\sqrt{N\alpha'}}.$$

The three-sphere has constant radius, while $\rho\to-\infty$ is an infinite proper-distance end. The additive dilaton constant shown here follows from the chosen origin of $\rho$. Shifting that origin changes the constant as well.

The worldsheet description is six free coordinate supermultiplets, a supersymmetric $SU(2)$ Wess–Zumino–Witten model and a radial linear-dilaton supermultiplet. Its normalization is particularly instructive. The supersymmetric $SU(2)$ level is $N$; separating three adjoint fermions leaves a bosonic level $N-2$. Therefore

$$c_{S^3}=\frac{3(N-2)}{N}+\frac32 =\frac92-\frac6N.$$

The radial field has improvement coefficient $V_\rho=-1/\sqrt{N\alpha'}$ in

$$T_\rho=-\frac1{\alpha'}:(\partial\rho)^2:+V_\rho\partial^2\rho, \qquad \rho(z)\rho(w)\sim-\frac{\alpha'}2\ln(z-w).$$

Its central charge, including its fermion, is

$$c_{\rm lin}=\frac32+6\alpha'V_\rho^2 =\frac32+\frac6N.$$

The transverse theory has $c=6$, and the six flat supermultiplets add $9$, giving the critical matter value $15$. Exercise 5 derives the central pole and the fermionic level shift. This ordinary unitary construction uses $N\geq2$; at $N=2$ the bosonic level is zero and a large-radius geometric interpretation is unavailable. A negative bosonic level at $N=1$ is not a justification for extending this description unchanged. The level shift and linear-dilaton construction are explained by Callan, Harvey and Strominger, section 8.

The cylinder is schematic, and $\rho$ is a proper radial coordinate only in the throat approximation. The full-profile comparison uses the same logarithmic coordinate. The graph uses $s=\rho/\sqrt{N\alpha'}$, $N=100$ and $g_s=10^{-2}$, with exact coupling $g_s\sqrt{1+e^{-2s}}$ and throat estimate $g_se^{-s}$. The latter reaches unity at $s=\ln g_s$; the exact crossing is $s=\ln g_s-\tfrac12\ln(1-g_s^2)$, too close to separate at this scale. Small curvature at large $N$ does not prevent strong string coupling toward the left.

Independent limits of the description

For large $N$, the throat curvature is of order $1/(N\alpha')$, so the derivative expansion is useful. The exact worldsheet construction supplies more information about $\alpha'$ effects, but it does not suppress higher genera where $e^\Phi$ is large. A simple simultaneous supergravity window is

$$g_s\sqrt{N\alpha'}\ll r\ll\sqrt{N\alpha'}, \qquad N\gg1,\quad g_s\ll1.$$

The two inequalities have different meanings: the right one selects the throat; the left one suppresses string loops. The asymptotic coupling can be weak while the far end of the throat is strongly coupled.

The conventional little-string decoupling limit takes $g_s\to0$ at fixed $\alpha'$ and focuses on the fivebrane sector. It is more than the replacement $H_5\mapsto N\alpha'/r^2$. Aharony’s review, sections 1 and 3, explains this limit and the resulting nongravitational theory. IIB S-duality and the IIA eleven-dimensional description provide other regimes, but simply lifting a smeared solution does not prove a localized, resolved core. The latter issue leads to M-branes and the eleven-dimensional limit.

Exercises

Exercise 1: Local charges and a moving probe

Take two positive D$p$ centers with $0\leq p\leq6$. Compute the signed flux around either center and around both. Then evaluate the full DBI plus WZ Lagrangian of a parallel probe moving with transverse coordinate velocity $\mathbf v$. Derive its static energy and quadratic kinetic term, and compare with an antibrane. Explain the obstruction to the same asymptotic harmonic boundary condition for $p=7$.

Solution

The distributional identity in $m=9-p>2$ transverse dimensions is

$$\Delta\frac1{|\mathbf y-\mathbf y_A|^{m-2}} =-(m-2)\Omega_{m-1}\delta^{(m)}(\mathbf y-\mathbf y_A).$$

The smooth contribution of the other center has zero flux through a small sphere. The warped Hodge identity therefore gives $(-1)^p2\kappa_{10,0}^2\mu_pN_A$ around center $A$ and the same coefficient times $N_1+N_2$ around both. The charges add even though the metric components do not.

In static gauge the induced time component is $-H^{-1/2}(1-Hv^2)$ and each parallel spatial component is $H^{-1/2}$. Hence

$$e^{-\phi}\sqrt{-\det P[G_S]}=H^{-1}\sqrt{1-Hv^2}.$$

For a positively oriented probe, $\mu_p/g_s=T_p$, so

$$\begin{aligned} \mathcal L_+&=-T_pH^{-1}\sqrt{1-Hv^2}+T_p(H^{-1}-1)\\ &=-T_p+\frac{T_p}{2}v^2+\frac{T_p}{8}Hv^4+O(v^6). \end{aligned}$$

Its static energy is constant, and its leading translational kinetic coefficient is independent of position. The expansion requires $Hv^2\ll1$, not merely a small coordinate velocity in arbitrary units. This probe result is consistent with, but does not replace, the coupled field-equation calculation.

The antibrane has the same DBI term and opposite WZ term. In the gauge where the potential vanishes at infinity,

$$E_-(r)=T_p(2H^{-1}-1),\qquad \partial_iE_-=-2T_pH^{-2}\partial_iH.$$

The force points toward a positive center. A constant shift of the potential changes the reference energy, not this force. Backreaction, open-string instabilities at short separation and a final annihilation state are outside this probe calculation.

For $p=7$ a nonzero point source in two dimensions gives $H=A+B\ln r$. It cannot both carry that charge and approach a finite constant at arbitrarily large $r$ in the same noncompact ansatz. Global sevenbrane constructions require additional information.

Exercise 2: Determine the warp exponents

For the ordinary electric action, keep $d+m=10$, $k=m-2>0$ and a general coupling $a$. Seek a branch with harmonic $H$, metric exponents $A=A_0\ln H$, $B=B_0\ln H$, scalar $\phi=c\ln H$ and $\mathcal G_{d+1}=\lambda\,d(H^{-1})\wedge\omega_\parallel$. Require the equations to hold for a generic multi-center harmonic function. Determine $A_0,B_0,c,\lambda^2$, and specialize to D-branes.

Solution

For a generic harmonic function, $U_{ij}$ and $u_i u_j$ are independent tensors. The form stress has no uncontracted Hessian, so its coefficient in the Ricci tensor must vanish:

$$dA_0+kB_0=0.$$

Matching the powers of $H$ in the gradient stress and curvature requires $ac-2dA_0=2$. With these conditions, the scalar equation and the parallel Einstein equation respectively give

$$c=\frac{a\lambda^2}{2},\qquad A_0=-\frac{k\lambda^2}{16},\qquad B_0=\frac{d\lambda^2}{16}.$$

The transverse $u_i u_j$ coefficient is a further check:

$$\lambda^2=c^2+2dA_0^2+2kB_0^2.$$

Define $\Delta_a=a^2+dk/4$. Combining the preceding relations yields

$$\lambda^2=\frac4{\Delta_a},\quad A_0=-\frac{k}{4\Delta_a},\quad B_0=\frac d{4\Delta_a},\quad c=\frac{2a}{\Delta_a}.$$

The sign of $\lambda$ selects the charge orientation; its square enters the metric equations. The Maxwell density is proportional to $\partial_iH$ because its remaining power is

$$-dA_0+kB_0+ac-2=0.$$

For $a=(4-d)/2$, one finds $\Delta_a=4$ for every D$p$ in the stated range. Choosing positive $\lambda=1$ gives precisely the main-text exponents. Both the scalar and transverse Einstein equations would detect an arbitrary change of one exponent; solving only Maxwell’s equation would not fix them.

For $p=4,5,6$ this derivation uses the dualized ordinary electric action. At $p=3$ it algebraically produces the correct metric exponents, but does not establish the physical IIB field content. The full constrained five-form must still be supplied, as in Exercise 4.

Exercise 3: Duality, coordinates and absolute NS charges

Apply the positive-to-positive transformation $S^{-1}$ to a D1 and a D5 at zero axion. Restore a unit asymptotic string metric without changing $\alpha'$. Derive the F1 and NS5 harmonic coefficients and their fluxes. Track which Einstein metric is invariant.

Solution

Initially $\tau=i e^{-\Phi}$, so $S^{-1}$ gives $\Phi'=-\Phi$ and $G_S'=e^{-\Phi}G_S$. At infinity $G_S'=g_s^{-1}\eta$. The physical coordinates with a unit asymptotic metric are therefore $x'=x/\sqrt{g_s}$, including the transverse radius $r'=r/\sqrt{g_s}$, and $g_s'=1/g_s$.

For D1, $e^\Phi=g_sH^{1/2}$. Multiplication of the string metric by $g_s^{-1}H^{-1/2}$ gives, after the coordinate rescaling,

$$ds_S'^2=H^{-1}dx_{1,1}'^2+d\mathbf y_8'^2, \qquad H=1+\frac{R_1^6/g_s^3}{r'^6}.$$

Consequently $R_1^6/g_s^3=32\pi^2(g_s')^2N\alpha'^3$. In the shared WZ doublet, $S^{-1}$ maps the positive D1 potential to $B_2'$. Its original factor $g_s^{-1}$ is canceled by $dx^0\wedge dx^1=g_s\,dx'^0\wedge dx'^1$, giving $B_2'=(H^{-1}-1)dx'^0\wedge dx'^1$. The weighted flux is $-2\kappa_{10,0}^2T_{\rm F1}N$.

For D5, $e^\Phi=g_sH^{-1/2}$ and $H=1+g_sN\alpha'/r^2$. The transformed metric becomes

$$ds_S'^2=dx_{1,5}'^2+H\,d\mathbf y_4'^2, \qquad H=1+\frac{N\alpha'}{r'^2}.$$

The shared democratic relation is $\mathcal F_3^{\rm WZ}=-*_S\mathcal F_7^{\rm WZ}$. The warped star calculation gives $\mathcal F_3^{\rm WZ}=-g_s^{-1}*_{4,\mathrm{flat}}dH$. The $S^{-1}$ map sends this magnetic RR flux to $H_3'$, and the constant coordinate rescaling gives

$$H_3'=-*_{4,\mathrm{flat}}'dH=2N\alpha'\omega_3, \qquad \int_{S^3}H_3'=4\pi^2N\alpha'.$$

The displayed $S$ matrix on page 25 gives the opposite NS charge orientations; its metric and dilaton profiles are the same. A profile alone cannot settle the charge sign.

Finally $\widehat g'=\widehat g$ as a tensor under the duality, whereas $g=(g_s)^{1/2}\widehat g$ changes to $g'=(g_s')^{1/2}\widehat g$. A coordinate rescaling is then used to express each asymptotic string metric in its own normalized coordinates. Holding both numerical coordinates and the normalized metric fixed would lose the required powers of $g_s$ in the charge radius.

Exercise 4: A vanishing Ricci scalar in a curved geometry

Construct the near-region D3 five-form in an orthonormal frame, compute its two Einstein-source blocks, and evaluate the Ricci and Kretschmann scalars. Recover the charge radius. Compare the complete IIB calculation with omitting the magnetic field while retaining the pseudo-action coefficient.

Solution

Let $\omega_A=e^0\wedge\cdots\wedge e^4$ and $\omega_S=e^5\wedge\cdots\wedge e^9$, with their product the ten-dimensional orientation. Lorentzian signature gives $*\omega_A=-\omega_S$ and $*\omega_S=-\omega_A$. The positive electric potential yields

$$\mathcal G_5=\frac4{R_3}(\omega_A-\omega_S), \qquad *\mathcal G_5=\mathcal G_5.$$

The parallel and spherical contractions are respectively $-4!(4/R_3)^2\eta_{ab}$ and $+4!(4/R_3)^2\delta_{mn}$. Dividing by $96$ gives

$$R_{ab}=-\frac4{R_3^2}\eta_{ab},\qquad R_{mn}=+\frac4{R_3^2}\delta_{mn},\qquad R_{10}=0.$$

For a constant-curvature space of dimension $n$, $R_{abcd}R^{abcd}=2n(n-1)K^2$. Each five-dimensional factor contributes $40/R_3^4$, so the product has $80/R_3^4$. It is curved despite its vanishing Ricci scalar. Similarly, $\mathcal G_5^2=5!(4/R_3)^2(-1+1)=0$ does not make either source block vanish.

The magnetic flux is $-4\Omega_5R_3^4/g_s$, with $\Omega_5=\pi^3$. Equating it to $-2\kappa_{10,0}^2\mu_3N$ gives $R_3^4=4\pi g_sN\alpha'^2$. Electric and magnetic integrals describe the same charge; they are not added to double $N$.

There is a useful diagnostic subtlety. Before self-duality, an ordinary electric five-form with kinetic coefficient $-1/(2\cdot5!)$ has trace-reversed stress

$$R_{MN}^{\rm el}=\frac1{48}\mathcal G^{\rm el}_{MABCD} \mathcal G_N^{{\rm el}\,ABCD}-\frac1{480}g_{MN}(\mathcal G_5^{\rm el})^2.$$

For this ansatz it reproduces the same metric source as the complete self-dual IIB field: its trace term supplies the spherical block. Thus agreement of a metric calculation alone does not establish the IIB field content. If instead the IIB pseudo-action’s half coefficient is kept and the magnetic completion is omitted, this entire source is halved and fails the Einstein equation. Conversely, inserting both halves into the ordinary full-coefficient action doubles the correct source. The physical IIB prescription is variation of the half-coefficient pseudo-action followed by the self-duality constraint.

Exercise 5: Compute the throat central charge

Derive the central pole of the radial stress tensor without fixing $\alpha'$. Show that three adjoint Majorana fermions supply level 2 to an $SU(2)$ current, and use the Sugawara central charge of the residual bosonic algebra to recover the critical NS5 worldsheet theory. Explain what this says about $N=1$, $N=2$ and string loops.

Solution

The elementary derivative contractions are

$$\partial\rho(z)\partial\rho(w)\sim-\frac{\alpha'}{2(z-w)^2}, \qquad \partial^2\rho(z)\partial^2\rho(w)\sim\frac{3\alpha'}{(z-w)^4}.$$

Double contraction of the two quadratic terms in $T_\rho T_\rho$ contributes $1/[2(z-w)^4]$. The two improvement terms add $3\alpha'V_\rho^2/(z-w)^4$. A mixed contraction leaves an uncontracted field and cannot add a central constant. Since the central coefficient is $c/2$, the boson gives $1+6\alpha'V_\rho^2$; its fermion adds $1/2$.

For $\psi^a(z)\psi^b(w)\sim\delta^{ab}/(z-w)$, define the adjoint bilinear $j_f^a=-\tfrac i2\epsilon^{abc}:\psi^b\psi^c:$. For example $j_f^3=-i:\psi^1\psi^2:$, whose double contraction is $+1/(z-w)^2$. Thus

$$j_f^a(z)j_f^b(w)\sim\frac{\delta^{ab}}{(z-w)^2} +\frac{i\epsilon^{abc}j_f^c(w)}{z-w}.$$

In the $SU(2)$ convention with central term $k\delta^{ab}/2$, these fermions carry level 2. Subtracting their current from the supersymmetric total leaves a commuting bosonic current of level $k=N-2$. Its Sugawara stress has $c=3k/(k+2)$. Adding the three fermions and the radial supermultiplet gives

$$c_\perp=\frac{3(N-2)}N+\frac32+\frac32+\frac6N=6, \qquad c_{\rm matter}=6+6\left(1+\frac12\right)=15.$$

The cancellation uses both the level shift and the dimensional improvement coefficient. Omitting the shift would give a different central charge. The usual nonnegative-level bosonic construction allows $N\geq2$; the $N=2$ model has a trivial level-zero bosonic factor and is not a weakly curved sphere. Naively setting $N=1$ would require a negative bosonic level. None of this controls the genus weight $e^\Phi$, which diverges at the strong-coupling end of the throat.

Exercise 6: Proper distances and radial control

Determine which D$p$ near regions are at infinite string-frame proper radial distance. Compare the local sphere radius and coupling for $p<3$, $p=3$ and $p>3$. For NS5-branes derive an exact weak-coupling bound and the relative errors of the throat metric and coupling, then distinguish that approximation from the little-string decoupling limit.

Solution

In the D$p$ near region, the radial proper-distance element is

$$d\ell\simeq R_p^{(7-p)/4}r^{-(7-p)/4}dr.$$

Its integral to $r=0$ diverges for $p\leq3$, logarithmically at $p=3$, and converges for $p=4,5,6$. Finite distance does not imply a regular endpoint. The transverse sphere radius is

$$L_\Omega^2=H^{1/2}r^2 \simeq R_p^{(7-p)/2}r^{(p-3)/2}.$$

For $p<3$ the sphere grows toward the core while $e^\Phi=g_sH^{(3-p)/4}$ also grows, eventually invalidating weakly coupled string perturbation theory. At $p=3$ both scales are constant in the near region. For $p>3$ the sphere shrinks and curvature corrections eventually become important even though the local coupling decreases. Dimensionless coefficients in actual Riemann components matter; a radius estimate is a scaling test, not a complete invariant calculation. At the asymptotically flat end $H\to1$, the coupling approaches $g_s$ and the curvature vanishes.

For NS5-branes, put $s=\ln(r/R_5^{\rm NS})$. The exact transverse metric in these coordinates is

$$ds_\perp^2=(1+e^{2s})\left[d\rho^2+N\alpha'd\Omega_3^2\right], \qquad e^\Phi=g_s\sqrt{1+e^{-2s}}.$$

The error of replacing the metric coefficient by 1, relative to the exact coefficient, is $e^{2s}/(1+e^{2s})$. The ratio of throat to exact coupling is $(1+e^{2s})^{-1/2}$. Both are controlled by $r/R_5^{\rm NS}\ll1$.

If $g_s<1$, the exact condition $e^\Phi<1$ is

$$r>\frac{g_sR_5^{\rm NS}}{\sqrt{1-g_s^2}}.$$

Strong separation from this lower bound and from the near-region upper bound gives the window in the main text. At $N=100$ and $g_s=10^{-2}$ it spans approximately $0.1\sqrt{\alpha'}\ll r\ll10\sqrt{\alpha'}$, with strict inequalities interpreted parametrically rather than as sharp reliability thresholds.

Finally, a near-region approximation holds the theory’s parameters fixed and drops the constant in a spatial profile. The little-string limit changes $g_s$ while holding $\alpha'$ fixed and isolates a sector of the theory. Weak curvature, weak coupling and decoupling are distinct questions. An exact worldsheet throat treats $\alpha'$ effects even when geometric curvature is not small. It neither ensures weak string loops nor establishes decoupling.

References

• Aharony, Ofer. “A Brief Review of ‘Little String Theories’.” Classical and Quantum Gravity 17 (2000), 929–938. arXiv:hep-th/9911147; doi:10.1088/0264-9381/17/5/302. Sections 1 and 3 discuss decoupling and the throat description.
• Bergshoeff, Eric, Renata Kallosh, Tomás Ortín, Diederik Roest, and Antoine Van Proeyen. “New Formulations of D=10 Supersymmetry and D8–O8 Domain Walls.” Classical and Quantum Gravity 18 (2001), 3359–3382. arXiv:hep-th/0103233; doi:10.1088/0264-9381/18/17/303. Section 2.1 gives the democratic pseudo-action and the constraints imposed after variation.
• Callan, Curtis G., Jr., Jeffrey A. Harvey, and Andrew Strominger. “Supersymmetric String Solitons.” Lectures at the 1991 Trieste Spring School on String Theory and Quantum Gravity. arXiv:hep-th/9112030. Section 8 develops the supersymmetric WZW and linear-dilaton description.
• Itzhaki, Nissan, Juan M. Maldacena, Jacob Sonnenschein, and Shimon Yankielowicz. “Supergravity and the Large N Limit of Theories With Sixteen Supercharges.” Physical Review D 58 (1998), 046004. arXiv:hep-th/9802042; doi:10.1103/PhysRevD.58.046004. Sections 2 and 7 discuss D-brane geometries, dual regimes and fivebranes.