Microstate Geometries in String Theory

Known microstate geometries establish that some string-theory states with black-hole charges admit smooth, horizonless, state-dependent gravitational descriptions. They do not yet establish that a typical state in the full entropy-sized sector is well approximated by a smooth classical geometry. Typicality requires a measure and a comparison of counted dimensions; smooth construction requires control of curvature, sources, topology, and moduli. This page evaluates that evidence for information recovery and hands the detailed supergravity and string construction to its dedicated treatment.

Required background. Quantum Information supplies state counting, typicality, and distinguishability; Gauge Theory and String-Theory Preparation supplies branes, charges, supersymmetry, and duality language used by the constructions.

Helpful background. Semiclassical Gravity supplies the horizon and entropy benchmarks; Quantum Fields in Curved Spacetime supplies the exterior observables used to compare a microstate with a coarse black-hole background.

Three claims that must be separated

Let $\mathcal H_{Q}$ be the exact sector with fixed asymptotic charges $Q$. Three increasingly strong statements are possible.

1. Existence: at least one state in $\mathcal H_Q$ has a controlled smooth geometry with the same asymptotic charges as a black hole.
2. Counting: quantizing a geometric family produces a subspace $\mathcal H_{\rm geom}\subseteq\mathcal H_Q$ whose dimension has a stated entropy scaling.
3. Typicality: the dimension ratio $\dim\mathcal H_{\rm geom}/\dim\mathcal H_Q$ approaches one, so a Haar-random vector has nearly unit projection weight on that subspace, and typical observables are captured at the declared accuracy. If geometric representatives are not a linear subspace, their ensemble measure must be defined instead.

Existence does not imply counting, and a large count does not imply typicality. If

$$\log\dim\mathcal H_{\rm geom}=\alpha S_{\rm BH}, \qquad 0\lt\alpha\lt1,$$

while $\log\dim\mathcal H_Q=S_{\rm BH}$, then the geometric fraction is $\exp[-(1-\alpha)S_{\rm BH}]$: exponentially small despite an exponentially large absolute number of states. Exact charges, supersymmetry class, topology, and regulator must match on both sides of this comparison.

What explicit constructions demonstrate

In the two-charge D1–D5 system, families of smooth capped geometries are labeled by profile data and match protected states in the dual theory. Lunin and Mathur develop the state/geometry map and its horizonless caps in Lunin and Mathur 2002, PDF §§ 2–4, printed pp. 6–27; Appendix B, printed p. 38. The fraction counted depends on the compactification and on which profile functions are included. Rychkov quantizes the four noncompact functions of the $T^4$ Lunin–Mathur family and obtains the correct $\sqrt{N_1N_5}$ scaling but only a finite fraction of the full two-charge entropy coefficient Rychkov 2006, PDF § 2.2, printed pp. 3–4, Eqs. (2.12)–(2.15). For $K3$, quantizing the enlarged 24-function phase space recovers the full leading $K3$ coefficient Krishnan and Raju 2015, PDF § 1, printed p. 2, Eqs. (1.1)–(1.2); § 4, printed p. 6, Eqs. (4.1)–(4.2). Neither result by itself establishes full $T^4$ counting, three-charge D1–D5–P counting, or typicality of low-curvature geometries.

More elaborate multicenter and superstratum constructions add momentum and produce long throats with nontrivial caps. They show that horizon-scale structure is compatible with the same asymptotic mass and charges as a black hole, and that classical no-hair data do not uniquely fix the interior. However, many solutions rely on supersymmetry, large charges, special modes, or smooth-supergravity control. The review by Bena and collaborators states the construction regimes, state-counting successes, and typicality limitations in Bena et al. 2022, §§ 2–8.

The direct construction details belong to Smooth Microstate Geometries. That page treats the string and supergravity solutions; this page instead asks what their known sector establishes about black-hole information and typical states.

Results and open questions through 2026-08-19

This discussion reflects results available through 2026-08-19. The strongest permissive position holds that the expanding families and their dual-state matches support horizon-scale structure for typical microstates. The conservative position holds that known smooth solutions predominantly probe protected or otherwise atypical sectors, while typical states may be stringy, quantum, or describable only after coarse graining.

Construction or adverse evidence	Result	Scope or limitation
Two-charge profile geometries in Lunin and Mathur 2002, PDF §§ 2–4, pp. 6–27; Appendix B, p. 38	Smooth horizonless caps realize state-dependent geometries with the correct asymptotic D1–D5 charges.	The displayed rotating metrics are a small subclass, and the protected two-charge system has no macroscopic classical horizon of the generic three-charge type.
Four-profile moduli-space quantization in Rychkov 2006, PDF § 2.2, pp. 3–4, Eqs. (2.12)–(2.15)	Four chiral bosons recover the $\sqrt{N_1N_5}$ entropy scaling.	The coefficient is only a finite fraction of the full $T^4$ two-charge result because compact-direction and fermionic excitations are absent.
Complete bosonic $K3$ phase space in Krishnan and Raju 2015, PDF § 1, p. 2, Eqs. (1.1)–(1.2); § 4, p. 6, Eqs. (4.1)–(4.2)	Quantizing 24 profile functions reproduces the full leading $K3$ two-charge entropy coefficient.	This compactification-specific count does not establish the full $T^4$ or D1–D5–P sector, nor that typical states have low-curvature representatives.
Multicenter and superstratum evidence summarized in Bena et al. 2022, §§ 4–7	Large families with deep throats and nontrivial caps extend controlled horizonless structure toward three-charge sectors.	Known families, mode restrictions, and smoothness conditions have not been shown to sample the full typical sector.
Sampling and coarse-probe comparison in Bena et al. 2022, §§ 5.4 and 7	Coarse observables may reproduce black-hole behavior even when individual caps differ.	Agreement of selected correlators is not a measure-theoretic proof that smooth geometries dominate the microcanonical ensemble.

These rows establish nonuniqueness of the classical-looking interior and controlled microscopic matches in special sectors. It remains unresolved whether known geometric microstates sample a typical sector, a protected atypical subset, or only a useful basis of coherent states whose superpositions represent typical quantum states.

Adverse checks for a typicality claim

First compare entropy scalings rather than raw parameter counts. Continuous classical moduli can overcount until the symplectic form is quantized, while regularity and flux quantization can reduce the state space. Second sample observables under the proposed measure. If typical members develop Planck-scale curvature or leave the supergravity regime, the smooth geometric description fails exactly where typicality is claimed.

Third compare simple and resolving probes. A long throat can reproduce coarse thermal correlators while a cap-sensitive probe reveals recurrences or state-dependent structure. That is not a contradiction; it specifies the observable boundary of the effective black-hole geometry. A claimed recovery mechanism must further explain how correlations emerge in radiation, not only show that a horizon is absent in a stationary construction.

Generic quantum-information theory and stable thermodynamics remain outside this page. The seam to string theory is explicit because charge conventions, brane quantization, dual CFT states, and smoothness equations require a full construction course. Here the defensible conclusion is narrower: explicit microstate geometries are strong existence evidence and partial counting evidence, but not yet a universal typicality theorem.

The conclusions could change after a quantized family reproduces the leading entropy of a generic macroscopic sector, or a controlled sampling calculation shows that typical states remain smooth at weak curvature, or an adverse single-theory observable demonstrates that the known geometric sector cannot reproduce the claimed information-recovery behavior.

Exercises

Suppose a geometric family has entropy $S_{\rm geom}=0.8S_{\rm BH}$. Estimate its fraction of a sector with entropy $S_{\rm BH}$ when $S_{\rm BH}=1000$. Does the family remain large in absolute terms?

Solution

The fraction is $\exp(S_{\rm geom}-S_{\rm BH})=\exp(-0.2\times1000)=e^{-200}$, so it is exponentially atypical under the uniform state-counting measure. Its absolute dimension is still $e^{800}$, enormously large. This illustrates why producing many explicit solutions is not enough: typicality requires the leading entropy coefficient and the measure, not merely an exponential family.

References

• Bena, Iosif, Emil J. Martinec, Samir D. Mathur, and Nicholas P. Warner. 2022. “Fuzzballs and Microstate Geometries: Black-Hole Structure in String Theory.” arXiv:2204.13113.
• Krishnan, Chethan, and Avinash Raju. 2015. “A Note on D1–D5 Entropy and Geometric Quantization.” Journal of High Energy Physics 06, 054. DOI; arXiv:1504.04330v3.
• Lunin, Oleg, and Samir D. Mathur. 2002. “AdS/CFT Duality and the Black Hole Information Paradox.” Nuclear Physics B 623, 342–394. DOI; arXiv:hep-th/0109154v1.
• Rychkov, Vyacheslav S. 2006. “D1–D5 Black Hole Microstate Counting from Supergravity.” Journal of High Energy Physics 01, 063. DOI; arXiv:hep-th/0512053v2.