Pith. Sign in

REVIEW

Black Hole Entropy and the Dimensional Continuation of the Gauss-Bonnet Theorem

General Relativity and Quantum Cosmology · Submitted 25 Sep 1993 · 8 references

Pith's verdict: A short, honest letter that pins the 1/4 in the area law to the Euler class of a disk, with the Lovelock generalization quoted rather than claimed as new.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 13, 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 →

· 1 major objection · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/9309026 (version 1)
Pith IDPAFSQ2JD, Pith's permanent record of this paper and its review
CitationClaudio Teitelboim, Jorge Zanelli, M\'aximo Ba\~nados. "Black Hole Entropy and the Dimensional Continuation of the Gauss-Bonnet Theorem." arXiv:gr-qc/9309026 (1993). https://pith.science/paper/PAFSQ2JD
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

Black hole entropy is the Euler class of a small disk at the horizon, times the horizon sphere's area.

The reading

The paper asks where the black hole entropy formula comes from, and answers that it is not a dynamical coincidence but a leftover of a topological theorem. The authors work in Euclidean signature, where a black hole has the shape of a two-dimensional plane (or cone) with a sphere of dimension $d-2$ attached at every point. They show that the deficit angle of a conical cusp at any point of that plane is canonically conjugate to the area of the sphere sitting there, in the same sense that a position and its conjugate momentum are paired. Turning the crank on the Gauss-Bonnet theorem then makes the entropy equal to $2π$ times the horizon area, with the $2π$ identified as the Euler class of the two-dimensional disk around the horizon rather than as an independent coefficient. The same bookkeeping is extended to the most general metric action that keeps the field equations second order, where the entropy becomes a sum of continued Euler classes over the horizon sphere.

What carries the argument

The Gauss-Bonnet theorem in two dimensions: the integral of the scalar curvature over a manifold plus the integral of the trace of the extrinsic curvature over its boundary equals $2π$ times the Euler number. The paper's move is to read the Hilbert action as this same expression continued to $d$ dimensions, where it stops being a topological invariant but keeps the same structure, and then to apply it to a small disk around the horizon times the transverse sphere. The load-bearing step is the factorization in Eq. (7), that the limit of the Hilbert action on the small triangle times the sphere equals the Euler class of the triangle times the area of the sphere at the origin. The same factorization, applied to the Lovelock action, yields the entropy as a sum of dimensionally continued Euler classes of all even dimensions below $d-2$, reproducing the earlier Jacobson-Myers expression.

Extended reading notes

Core claim

The central claim is that in Einstein's theory the black hole entropy is the Euler class of a small disk centered at the horizon multiplied by the area of the $S^{d-2}$ at that point, so that $S = 2π × (area of S^{d-2})_{horizon}$. The route is dimensional continuation: the Hilbert action in $d$ dimensions has the same algebraic shape as the two-dimensional Euler class, so one may continue the Gauss-Bonnet theorem upward in dimension, at the price of losing its topological invariance. Applied to the region near the horizon, the Hilbert action on a small triangle of the $ℜ^2$ factor times the sphere tends to the Euler class of the triangle, which is $2π$ because a triangle is topologically a disk, times the area of the sphere at the origin. Combined with the canonical action, which vanishes on the black hole because the constraints hold and the spatial metric is time independent, this leaves the disk contribution as the whole value of the action on the extremum, and hence as the entropy. The authors also show that allowing a cusp of deficit angle $α$ at the origin makes the action change by $δI = α δ(area of S^{d-2} at cusp)$, which is the statement that deficit angle and sphere area are canonically conjugate. Extremizing the covariant action then forces $α = 0$, the condition for the Euclidean manifold to be metrically smooth, whereas extremizing the canonical action alone would force $α = 2π$ and introduce a source at the origin.

Load-bearing premise

The argument rests on the claim that the Hilbert action on a small disk around the horizon times the transverse sphere factorizes cleanly into the Euler class of the disk times the sphere's area, a step the paper asserts with the single remark that a short analysis reveals it and does not derive.

Editorial extensions

If this is right

  • The overall coefficient in front of the horizon area is fixed by topology rather than by matching to a dynamical calculation, so the quarter-area law acquires a geometric origin.
  • The black hole temperature is determined semiclassically by extremizing the action with respect to the horizon sphere's area, since the deficit angle is the conjugate variable to that area.
  • In Lovelock gravity the entropy is not simply proportional to area but is a sum of continued Euler classes over the horizon sphere, Eq. (15), with the cosmological constant term contributing nothing.
  • Covariance of the action requires adding the small-disk Hilbert term to the canonical action, which relocates the fixed point of the Euclidean time circle without introducing a source.

Reading between the lines

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

  • If the entropy is a topological quantity in this sense, one might expect it to be robust under smooth deformations of the horizon geometry that preserve the disk's Euler class, which suggests a check: deform the horizon sphere non-uniformly and see whether the semiclassical entropy is unchanged to leading order.
  • The conjugation statement pairs a purely two-dimensional intrinsic quantity (deficit angle) with an extrinsic one (sphere area), which reads like a hint that the $ℜ^2$ and $S^{d-2}$ factors of the Euclidean solution play complementary roles rather than being independent spectators.
  • The Lovelock sum in Eq. (15) suggests a diagnostic for candidate higher-curvature theories: any entropy formula that cannot be written as a sum of continued Euler classes over the horizon sphere sits outside this scheme, whether or not it satisfies the second-order field equation condition.
  • The paper's insistence that the partition function needs the small-disk term because it is the trace of a transition amplitude hints at a relation between the Euclidean topology of the time circle and the counting of states that is not spelled out here.
Original abstract

The Euclidean black hole has topology $\Re^2 \times {\cal S}^{d-2}$. It is shown that -in Einstein's theory- the deficit angle of a cusp at any point in $\Re^2$ and the area of the ${\cal S}^{d-2}$ are canonical conjugates. The black hole entropy emerges as the Euler class of a small disk centered at the horizon multiplied by the area of the ${\cal S}^{d-2}$ there.These results are obtained through dimensional continuation of the Gauss-Bonnet theorem. The extension to the most general action yielding second order field equations for the metric in any spacetime dimension is given.

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, 3,669 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.12 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.07 · compares with prior results 0.11 · mentions code or data availability 0.02.

The abstract, sentence by sentence

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

The Euclidean black hole has topology $\Re^2 \times {\cal S}^{d-2}$. It is shown that -in Einstein's theory- the deficit angle of a cusp at any point in $\Re^2$ and the area of the ${\cal S}^{d-2}$ are canonical conjugates. The black hole entropy emerges as the Euler class of a small disk centered at the horizon multiplied by the area of the ${\cal S}^{d-2}$ there.These results are obtained through dimensional continuation of the Gauss-Bonnet theorem. The extension to the most general action yielding second order field equations for the metric in any spacetime dimension is given.

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 The Euclidean black hole has topology $\Re^2 \times {\cal S}^{d-2}$. background 0.99 0.16 0.03 asserted 1.00
s1 It is shown that -in Einstein's theory- the deficit angle of a cusp at any point in $\Re^2$ and the area of the ${\cal S}^{d-2}$ are canonical conjugates. result 0.99 0.77 0.18 asserted 1.00
s2 The black hole entropy emerges as the Euler class of a small disk centered at the horizon multiplied by the area of the ${\cal S}^{d-2}$ there.These results are obtained through dimensional continuation of the Gauss-Bonnet theorem. result 0.99 0.89 0.67 asserted 1.00
s3 The extension to the most general action yielding second order field equations for the metric in any spacetime dimension is given. contribution 0.96 0.86 0.14 asserted 0.98

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

47 later papers cite it

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

Pith read 17 of the 71 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

Uses its method or tool 2 of 8 papers with this label
How the literature uses it

42 arXiv papers cite this in 63 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 · 46 sentences without a confident label

Builds on it 1 paper
  • This is a semiclassical extension of the microcanonical action formula $I_E^mc=-S_BH$ obtained by [ref] , and may be interpreted as a path integral derivation of the generalized entropy of causal diamonds.

    Microcanonical Action and the Entropy of Hawking Radiation · Microcanonical action and generalized entropy · 0.98

Uses its method or tool 8 papers
Cites it as support 1 paper
Cites it as background 4 papers
  • (Closely related formulas had been proposed earlier for the entropy of a black hole [ref] .) The can be written in terms of the response of the quantum effective action to a conical singularity at the entangling surface: CWintro S_ent = -lim_→0 ( 2π/ + 1 ) W_E,, where $$ is the deficit angle associated with the conical singularity, and $W_E,$ is the Euclidean quantum effective action in the presence of the conical singularity.

    Renormalization of Entanglement Entropy and the Gravitational Effective Action · Introduction · 0.83

  • Historically, such a conical geometry is called a `squashed cone' [ref] since it has a discrete group of transformations $τ→τ+2πk$ for integer $k$, opposed to spacetimes with conical singularities such that $𝒞$ is a fixed point set of a global $U(1)$ isometry (as in the case of stationary black holes, e.g., [ref] ).[A simple physical example distinguishing a squashed cone from a $U(1)$ symmetric cone is spherical versus planar Rindler space.

    Cornering gravitational entropy · Replicated manifolds and squashed cones: a brief history · 0.95

  • Historically, corner terms have been used to compute entropy of stationary black holes [ref] . i.e., solutions whose Euclideanization have a $U(1)$ Killing symmetry with the bifurcate Killing horizon being a fixed point of the $U(1)$ isometry.

    Gravitational R\'enyi entropy from corner terms · Introduction · 0.81

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.