Intersecting Branes and Harmonic Superposition

Compatible BPS branes can be combined by multiplying characteristic powers of independent harmonic functions. The rule is powerful but conditional: it assumes specific shared and relative transverse directions, commuting supersymmetry projectors, and often smearing that reduces every harmonic function to the same overall transverse space. The D1–D5 system makes those assumptions visible and prepares the later black-hole and microstate constructions.

Required background. Gauge Theory and String-Theory Preparation supplies D-branes and supersymmetry projectors; Differential Forms and Integration supplies fluxes, orientations, and Hodge duality.

Helpful background. Quantum Gravity frames the composite solution; Quantum Information supports later state counting; and Exact Spacetimes provides methods for checking the resulting geometry.

Compatible projectors and intersections

A static D$p$-brane imposes a linear projector $\Pi_p\epsilon=\epsilon$ on the type-II supersymmetry doublet. Two branes preserve their common eigenspace only if their projectors are compatible. For independent commuting half-projectors, the intersection preserves one quarter of the original supercharges. Anticommuting or sign-inconsistent projectors have no common nonzero spinor.

The coordinate array is therefore part of the solution. A D1 along $(t,z)$ and a D5 along $(t,z,y^1,\ldots,y^4)$ share one spatial direction, have four relative D5 directions, and have four overall transverse coordinates $x^i$. The standard intersection rules and harmonic ansatz follow from this projector structure and the field equations; see Peet 2000, §3.2, pp. 29–30.

The D1–D5 harmonic ansatz

When the D1 charge is smeared uniformly over the compact $T^4$ spanned by $y^a$, both harmonic functions depend only on $r^2=x^ix^i$:

$$H_1=1+\frac{Q_1}{r^2}, \qquad H_5=1+\frac{Q_5}{r^2}, \qquad \nabla_{\mathbb R^4}^2H_{1,5}=0$$

away from sources. The string-frame fields are

$$\begin{aligned} ds_s^2={}&(H_1H_5)^{-1/2}(-dt^2+dz^2) +(H_1/H_5)^{1/2}ds_{T^4}^2\\ &+(H_1H_5)^{1/2}(dr^2+r^2d\Omega_3^2),\\ e^{2\Phi}={}&g_s^2\frac{H_1}{H_5}. \end{aligned}$$

The R–R three-form has electric components sourced by the D1 and magnetic flux through $S^3$ sourced by the D5. Each metric block acquires the product of the powers contributed by the branes that wrap or are transverse to it. This is harmonic superposition, not linear superposition of metrics.

Verifying the construction

A reliable check has four parts.

1. Apply both Killing-spinor projectors and verify their common eigenspace.
2. Insert the form fields into the Bianchi identities and equations; these reduce to the two Laplace equations away from sources.
3. Substitute the metric and dilaton into every independent Einstein and dilaton equation; gradients of $\log H_1$ and $\log H_5$ cancel against the corresponding flux stresses.
4. Integrate the electric and magnetic fluxes to recover the quantized D1 and D5 charges, with the declared $T^4$ volume and circle period.

These steps distinguish a genuine solution from a mnemonic. Multi-charge harmonic-function rules and their limitations are derived in Tseytlin 1996, §§2–3, pp. 2–8.

As an adverse check, try placing two branes with incompatible projectors into the same product ansatz. The mixed Einstein equation or a discarded flux equation retains a term proportional to $\nabla\log H_A\cdot\nabla\log H_B$ that has no cancelling stress. A zero residual is not guaranteed by writing two harmonic functions.

Smearing versus localization

The displayed D1–D5 solution assumes the D1 density is uniform on $T^4$. A fully localized D1 harmonic function would depend on both $x^i$ and $y^a$, and the simple block-diagonal powers generally no longer solve all equations. Smearing can be legitimate for low-energy modes insensitive to the compact profile, but it is not evidence that a localized solution exists.

Boundary conditions also matter. The constants in $H_1,H_5$ impose asymptotic flatness. Dropping both constants gives the AdS$_3\times S^3$ throat after the compact factors and coordinates are rescaled; dropping only one does not produce the same decoupled system. Regularity, charge quantization, and absence of closed timelike curves must be checked again after adding momentum, rotation, or nontrivial base topology.

The independent flat-space limit sets both charges to zero and recovers the declared product metric with constant dilaton. The single-charge limits recover an isolated smeared D1 or D5 solution. These three reductions test the harmonic exponents and flux assignments before the more delicate near-horizon limit is attempted.

Exercises

Verify that $H=1+Q/r^2$ is harmonic on four-dimensional Euclidean space away from $r=0$, and explain how the result changes if the source is not smeared over $T^4$.

Solution

For a radial function in four dimensions, $\nabla^2H=r^{-3}\partial_r(r^3\partial_rH)$. With $H=1+Q/r^2$, one has $\partial_rH=-2Q/r^3$, so $r^3\partial_rH=-2Q$ and the second derivative vanishes for $r\ne0$. The origin carries the delta-function charge fixed by the flux integral over $S^3$; integrating over a small ball reproduces that source and checks the sign. If the D1 is localized on $T^4$, its harmonic function depends on eight transverse coordinates before compact images are summed. The common four-dimensional Laplace equation and simple product ansatz no longer follow; therefore every mixed and discarded-mode equation must be rechecked rather than inferred from the smeared solution.

References

• Peet, Amanda W. “TASI Lectures on Black Holes in String Theory.” 2000. arXiv:hep-th/0008241. Open manuscript.
• Tseytlin, Arkady A. “Harmonic Superpositions of M-Branes.” Nuclear Physics B 475 (1996): 149–163. Open manuscript.