Smooth Microstate Geometries

A smooth microstate geometry is a horizonless supergravity solution with the same conserved charges and asymptotics as a black-hole sector, but with a cap supported by geometry and flux. “Smooth” is a global condition: solving local BPS equations is not enough. One must also remove brane-source singularities, orbifold defects outside the declared allowance, Dirac–Misner strings, conical defects, and closed timelike curves.

Required background. Gauge Theory and String-Theory Preparation supplies branes, fluxes, dualities, and charge quantization. Quantum Information supplies the distinction between an individual pure state and an ensemble description.

Helpful background. Quantum Gravity frames when a classical geometry can represent a quantum state, while Black-Hole Information supplies the coarse-graining and information questions these solutions address.

Geometry supported by flux and topology

For three-charge BPS solutions reduced to five dimensions, a useful form is

$$ds_5^2=-Z^{-2}(dt+k)^2+Z\,ds_4^2, \qquad Z=(Z_1Z_2Z_3)^{1/3},$$

where $ds_4^2$ is hyper-Kähler. On a Gibbons–Hawking base,

$$ds_4^2=V^{-1}(d\psi+A)^2+V\,d\mathbf x^2, \qquad \nabla\times A=\nabla V,$$

and the BPS system is determined by harmonic functions $V,K^I,L_I,M$. The self-dual magnetic two-forms $\Theta^I$ source the warp factors,

$$\Theta^I=*_{4}\Theta^I, \qquad \nabla_4^2 Z_I=\frac12 C_{IJK}*_{4} \left(\Theta^J\wedge\Theta^K\right).$$

Bena and Warner derive this linear structure and its harmonic-function solution in Bena and Warner 2006, §3.1, pp. 9–11, Eqs. (3.1)–(3.18).

When the $\psi$ fiber degenerates at two centers, the fiber over a path joining them forms a compact two-sphere. Flux through that sphere can carry conserved charges without a localized brane source. The mechanism is a geometric transition: a sourced description is replaced by nontrivial topology plus flux. It does not evade Gauss’s law; it realizes the charge through cohomology.

Bubble equations and causal regularity

The one-form $k$ can generate closed timelike curves even when every harmonic function is regular away from its poles. Absence of Dirac–Misner strings imposes algebraic “bubble equations” relating intercenter distances to flux parameters. In symplectic notation their structure is

$$\sum_{j\ne i}\frac{\langle\Gamma_i,\Gamma_j\rangle}{r_{ij}} =\langle h,\Gamma_i\rangle,$$

with one redundant equation from the total charge constraint. These balance conditions are necessary but not sufficient: the full metric must satisfy positivity inequalities everywhere. In the three-charge Gibbons–Hawking construction, a key combination is

$$\mathcal Q=Z_1Z_2Z_3V-\mu^2V^2\geq0, \qquad VZ_I\geq0.$$

The derivation and the relation to closed timelike curves appear in Bena and Warner 2006, §3.2, pp. 12–13, Eqs. (3.22)–(3.26). Because the base can change signature while the full spacetime remains Lorentzian, testing $V\gt0$ alone is wrong. One must evaluate the completed warped metric and gauge fields across the critical surface.

At each center, expand in locally Cartesian coordinates and check that apparent $1/r_i$ divergences cancel, the shrinking circle has the correct periodicity, and the remaining geometry is $\mathbb R^4$ or an explicitly accepted finite orbifold. Then test $\mathcal Q$, the angular metric, and the norm of periodic Killing directions on a domain that includes axes and intercenter regions.

Two-charge profile geometries

The D1–D5 two-charge family gives a complementary construction. A closed transverse profile $\mathbf F(v)$ sources harmonic integrals; after duality, generic non-self-intersecting profiles yield caps rather than a common horizon. Lunin and Mathur exhibit how Ramond ground-state data controls the end of the throat in Lunin and Mathur 2002, §§2–4, pp. 6–19.

The geometry is reliable when the profile varies on scales large compared with $\ell_s$ and local curvature and coupling remain small. Sharp features or coincident strands can produce orbifold or high-curvature regions. Quantizing profile space reproduces important two-charge protected data, but the two-charge solution has no macroscopic five-dimensional horizon at two derivatives.

Scaling throats and caps

For some multicenter charge assignments, a one-parameter family solves the bubble equations with

$$r_{ij}=\lambda\,\hat r_{ij}+O(\lambda^2), \qquad \lambda\to0,$$

while the asymptotic charges remain fixed. Substituting into the bubble equations shows that the leading shape must satisfy

$$\sum_{j\ne i}\frac{\langle\Gamma_i,\Gamma_j\rangle}{\hat r_{ij}}=0.$$

Subleading changes in the shape can then reproduce the finite $\langle h,\Gamma_i\rangle$ on the right-hand side. An exact rescaling with fixed shape would solve the original equations for all $\lambda$ only when that right-hand side also vanishes. An exterior observer sees an increasingly long throat resembling the corresponding black-hole throat, but each admissible finite-$\lambda$ geometry still caps before a horizon forms. Redshifted excitation gaps decrease with $\lambda$.

The limit requires care. At strictly $\lambda=0$, centers coincide and the classical description can become singular; flux quantization, angular momentum, quantum wavefunctions on moduli space, or higher-derivative corrections may prevent arbitrarily deep throats. “Scaling” therefore describes a controlled finite-$\lambda$ sequence only while all local cycles and curvatures remain within the supergravity regime.

What a geometry represents

An explicit smooth solution is strong evidence that some black-hole charge sectors contain horizonless pure-state geometries. It does not establish that every microstate is geometric, that known solutions dominate the entropy, or that a typical state is well approximated by one classical metric. A classical solution is usually closer to a coherent state than to a basis vector of the exact Hilbert space.

Independent checks include matching asymptotic Page charges and angular momenta, verifying supersymmetry with the global spin structure, confirming no horizon or trapped singular source is hidden in the cap, and comparing normal-mode quantum numbers with the proposed CFT state. Stability is a further question: smoothness and BPS saturation do not by themselves guarantee rapid decay of perturbations.

Exercises

Explain why flux can support a smooth two-cycle without violating charge conservation. Use Stokes’ theorem to identify the topological assumption that prevents the flux from being written globally as the derivative of a single nonsingular potential.

Solution

For a closed two-cycle $\Delta$, a nonzero flux $\Pi=\int_\Delta\Theta$ is compatible with $d\Theta=0$. If $\Theta=dB$ for one globally defined nonsingular one-form $B$, Stokes’ theorem would give $\Pi=\int_\Delta dB=\int_{\partial\Delta}B=0$ because $\partial\Delta=0$. Therefore nonzero flux means the closed form represents a nontrivial cohomology class and no single global potential exists; regular potentials are defined on overlapping patches. Charge conservation remains intact because the asymptotic charge is sourced by flux interactions and topology rather than by an omitted local endpoint.

References

• Bena, Iosif, and Nicholas P. Warner. “Bubbling Supertubes and Foaming Black Holes.” Physical Review D 74 (2006): 066001. DOI. Open manuscript.
• Lunin, Oleg, and Samir D. Mathur. “AdS/CFT Duality and the Black Hole Information Paradox.” Nuclear Physics B 623 (2002): 342–394. DOI. Open manuscript.