Pith. Sign in

REVIEW

Black Hole Entropy in M-Theory

High Energy Physics - Theory · Submitted 7 Nov 1997 · 28 references

Pith's verdict: The general-charge M-theory entropy count and the one-loop match are real; the one-loop macroscopic side is a special-case evaluation plus a universality argument, and the authors say so.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9711053 (version 1)
Pith IDHVBCB5RY, Pith's permanent record of this paper and its review
CitationAndrew Strominger, Edward Witten, Juan Maldacena. "Black Hole Entropy in M-Theory." arXiv:hep-th/9711053 (1997). https://pith.science/paper/HVBCB5RY
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

A wrapped fivebrane's left-moving modes account for an extremal black hole's entropy, including its first quantum correction.

The reading

This paper asks whether the entropy of an extremal black hole in M-theory on a Calabi-Yau threefold times a circle can be counted microscopically all the way through the first quantum correction, not just at leading order. The proposed answer is yes: the black hole is a fivebrane wrapped on a four-cycle $P$ inside the Calabi-Yau and on the circle, and the charge-carrying states are the left-moving excitations of a two-dimensional $(0,4)$ $\sigma$ model on that circle. Counting those excitations gives $S=2pi sqrt{c_L hat q_0/6}$ with $c_L = 6D + c_2cdot P$, and expanding in inverse powers of the charge reproduces the classical area law $2pi sqrt{Dhat q_0}$ at leading order and a definite one-loop term at the next order. The reason a sympathetic reader should care is that the one-loop piece is computed independently on the gravity side from a topological curvature-squared term descending from the eleven-dimensional $R^4$ interaction, and the two numbers agree with no adjustable parameter. The paper also shows how membrane charge enters: it shifts the momentum available to the oscillators, $q_0 = hat q_0 - frac{1}{12}D^{AB}q_A q_B$, which is exactly the shift the macroscopic formula requires.

What carries the argument

Three pieces of machinery carry the argument. First, the moduli of the four-cycle are counted by a Riemann-Roch index: for very ample $P$ the higher cohomology vanishes, so $dim H^0(M,L) = int_M (P^3/6 + P c_2(M)/12)$ and the number of real moduli of $P$ is $d_P = int_M (P^3/3 + P c_2(M)/6) - 2$. Second, the reduction of the fivebrane's self-dual three-form field strength on $P$ gives $b^+_2$ right-moving and $b^-_2$ left-moving scalars, with $b^pm_2$ obtained from the Euler characteristic and signature of $P$ via $c_1(P) = -[P]$ and $c_2(P) = c_2(M) + [P]^2$; the Lefschetz hyperplane theorem kills $b_1(P)$ and hence the left-moving fermions. Together these give $c_L = 6D + c_2cdot P$ and $c_R = 6D + frac{1}{2}c_2cdot P$, so the Cardy-like formula $S = 2pi sqrt{c_L tilde q_0/6}$ produces both the area law and the one-loop term. Third, the BPS condition on membrane charge: a nonzero right-moving momentum is allowed provided it is a multiple of $[P]$, because the distinguished right-moving mode from $b sim [P]$ sits with the translational zero modes and goldstinos in a $(0,4)$ multiplet, so the broken linear supersymmetries are replaced by combinations of linear and nonlinear ones, $epsilon_{nlin} = -k_R gamma_4 epsilon_{lin}$.

Extended reading notes

Core claim

The central claim is that the microscopic entropy of an extremal $N=2$, $d=4$ black hole arising from M-theory on $M times S^1$ agrees with the macroscopic Bekenstein-Hawking formula at tree level and at one loop. The microscopic object is a fivebrane wrapping $P times S^1$, with $P$ a very ample divisor of the Calabi-Yau threefold $M$; its low-energy dynamics on the circle is a $(0,4)$ $\sigma$ model whose target includes the moduli of $P$ and the scalars coming from the self-dual two-form on the fivebrane worldvolume. Counting left-moving states gives $S_{micro} = 2pi sqrt{(6D + c_2cdot P)q_0/6}$, which expanded in $1/D$ reads $2pi sqrt{D q_0} + frac{c_2cdot P, pi}{6}sqrt{q_0/D} + dots$. The first term is the classical area law $2pi sqrt{Dhat q_0}$; the second is precisely the correction $Delta S = frac{c_2cdot P, pi}{6}sqrt{hat q_0/D}$ that the authors derive on the gravity side from the four-dimensional term $frac{1}{96pi}int c_{2A}mathrm{Im}Z_A, R wedge *R$, itself a descendant of the $R^4$ term of eleven-dimensional M-theory. Membrane charge $q_A$ is carried by winding modes of the two-form scalars, and its effect on the entropy is entirely through the shift of $q_0$ by $-frac{1}{12}D^{AB}q_A q_B$, matching the macroscopic formula including sign and coefficient.

Load-bearing premise

The one-loop agreement rests on the assumption that the entropy correction is dominated by the topological curvature-squared term descending from the eleven-dimensional $R^4$ interaction, while other one-loop terms involving gauge fields that are nonzero in the black hole background are taken not to contribute; the authors acknowledge in section 2.2 that these terms 'in principle might further correct the entropy' and that the topological nature of the term 'suggests' rather than proves its dominance.

Editorial extensions

If this is right

  • The leading Bekenstein-Hawking entropy $2pi sqrt{Dhat q_0}$ of these extremal M-theory black holes is reproduced by state counting, including the correct dependence on all electric and magnetic charges.
  • The one-loop correction $frac{c_2cdot P, pi}{6}sqrt{hat q_0/D}$ has a microscopic origin as a subleading contribution to the left-moving central charge of the two-dimensional sigma model, rather than as a curvature correction with independent status.
  • Membrane charge need not break supersymmetry: BPS states exist for any right-moving momentum that is a multiple of the divisor class $[P]$, which explains why the relevant charge lattice is the sublattice $Gamma_M = H^2(M,mathbb{Z})$ rather than all of $H^2(P,mathbb{Z})$.
  • Because the black hole degrees of freedom map to deformations of a fivebrane 'foam', the counting is geometric and requires no use of string theory itself: eleven-dimensional supergravity, Calabi-Yau compactification and the fivebrane as a soliton suffice.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The agreement is a check of the $(0,4)$ sigma model's central charge against a gravitational effective action, so it can be read as evidence that the fivebrane worldvolume theory is the correct microscopic description even where the eleven-dimensional geometry is strongly curved.
  • Since the one-loop term is topological, one could test the result on a concrete case such as the hyperplane divisor of the quintic, where $D$ and $c_2cdot P$ are explicit integers, and compare the two sides numerically rather than order by order.
  • The paper's own remark that anomaly inflow analyses find an extra shift proportional to $D$ suggests the $alpha'$ sector is where the current accounting is incomplete, and a refined treatment of the chiral boson ground-state energy would be the natural place to look.
  • The technique of extracting a central charge from divisor moduli plus a self-dual tensor generalises to other compactifications, so the same bookkeeping could be applied to black holes whose horizon geometry is not a smooth ample divisor.
Original abstract

Extremal black holes in M-theory compactification on $M\times S^1$ are microscopically represented by fivebranes wrapping $P\times S^1$, where $M$ is a Calabi-Yau threefold and $P$ is a four-cycle in $M$. Additional spacetime charges arise from momentum around the $S^1$ and expectation values for the self-dual three-form field strength in the fivebrane. The microscopic entropy of the fivebrane as a function of all the charges is determined from a two-dimensional $(0,4)$ sigma model whose target space includes the fivebrane moduli space. This entropy is compared to the macroscopic formula. Precise agreement is found for both the tree-level and one-loop expressions.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,295 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.06 · human participants 0.01 · controlled comparison 0.08 · randomized assignment 0.01 · states quantitative result 0.13 · compares with prior results 0.89 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

Extremal black holes in M-theory compactification on $M\times S^1$ are microscopically represented by fivebranes wrapping $P\times S^1$, where $M$ is a Calabi-Yau threefold and $P$ is a four-cycle in $M$. Additional spacetime charges arise from momentum around the $S^1$ and expectation values for the self-dual three-form field strength in the fivebrane. The microscopic entropy of the fivebrane as a function of all the charges is determined from a two-dimensional $(0,4)$ sigma model whose target space includes the fivebrane moduli space. This entropy is compared to the macroscopic formula. Precise agreement is found for both the tree-level and one-loop expressions.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Extremal black holes in M-theory compactification on $M\times S^1$ are microscopically represented by fivebranes wrapping $P\times S^1$, where $M$ is a Calabi-Yau threefold and $P$ is a four-cycle in $M$. background 0.59 0.20 0.05 asserted 1.00
s1 Additional spacetime charges arise from momentum around the $S^1$ and expectation values for the self-dual three-form field strength in the fivebrane. background 0.61 0.28 0.03 asserted 1.00
s2 The microscopic entropy of the fivebrane as a function of all the charges is determined from a two-dimensional $(0,4)$ sigma model whose target space includes the fivebrane moduli space. method 0.97 0.80 0.08 asserted 1.00
s3 This entropy is compared to the macroscopic formula. contribution 0.45 0.83 0.07 asserted 0.81
s4 Precise agreement is found for both the tree-level and one-loop expressions. result 1.00 0.90 0.79 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

250 later papers cite it

Evidence: substantial. 248 of the citing papers share no author with it, and 25 of those carry a confident label from Pith's citation classifier.

Pith read 40 of the 482 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 of 3 papers with this label
Uses its method or tool 1 of 9 papers with this label
Compares with it 2 of 14 papers with this label
Cites it as support 1 of 4 papers with this label
  • Said that the index equaling the CFT-index at the attractor point is consistent with this paper's account of black hole entropy.

    Stability and duality in N=2 supergravity (2009) · 0.95 · paraphrased: the licence does not allow quoting

How the literature uses it

239 arXiv papers cite this in 469 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 307 sentences without a confident label

Builds on it 3 papers
Uses its method or tool 9 papers
Uses its data or values 1 paper
Compares with it 14 papers
  • This result, as noted in [ref] , matches the original field theory computation in [ref] and [ref] .

    F-theory and AdS_3/CFT_2 · Leading Order Central Charges · 0.95

  • We will now show that ([ref]) is in perfect agreement with the microscopic M5-brane computation of the black hole entropy in the two-dimensional $(4,0)$ superconformal field theory derived by [ref] ; it also agrees with the macroscopic supergravity result [ref] .

    Quantum Black Holes, Elliptic Genera and Spectral Partition Functions · Microscopic black hole entropy · 0.99

  • This formula should be contrasted with the result [equation] first obtained in [ref] for an ample four-cycle $P$ in a generic Calabi-Yau and extended to $K3×T^3$ and $T^6$ in [ref] .

    The M5-brane on K3 x T^2 · Counting Moduli · 0.98

Cites it as support 2 papers
  • The $2π$ pre-factor was justified in [ref] to agree with charge quantization and also in [ref] to reproduce the correct energy density for M2-branes ending on M5-branes.

    M2-Branes And The (2,0) Superalgebra · Conserved Currents · 0.96

  • One expects that this entropy represents the logarithm of the underlying degrees of freedom in the true theory of quantum gravity; this expectation has been successfully borne out in certain stringy models of black holes [ref] .

    What is the Entropy in Entropic Gravity? · Motivation · 0.99

Cites it as background 110 papers
  • The dual spacetime, commonly referred to by the Maldacena, Strominger, Witten (MSW) geometry, arises from M5-branes wrapping Kähler four-cycles in a Calabi-Yau three-fold $CY_3$ [ref] :

    3D gauged supergravity from wrapped M5-branes with AdS/CMT applications · Introduction · 0.81

  • Restricting our attention to the supersymmetric case, the first-order $α'$ corrections to the heterotic version of the “Strominger–Vafa” and “Maldacena–Strominger–Witten” black holes were obtained in [ref] , more than two decades after the corresponding two-derivative solutions had been constructed [ref] and their entropy successfully reproduced microscopically [ref] .[The $α'$ corrections to the finite-temperature black holes with three and four charges were later studied in [ref] .] Subsequently, the two-charge case —namely, the so-called small black holes— was investigated in [ref] .

    BMPV black hole at first order in $\alpha'$ · Introduction · 0.89

  • We start with a brief review of the calculation in [ref] .

    The M5-brane on K3 x T^2 · Counting Moduli · 0.80

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.