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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
47 later papers cite it
2 later papers by other authors are listed below: 2 used its method or tool.
Uses its method or tool 2 of 8 papers with this label
-
To calculate the on-shell action we will use the method of [ref] which we refer to as the BTZ prescription.
Path Integral Factorization and the Gravitational Effective Action (2023) · Constrained states in EFT · 1.00
-
Followed the common procedure of this paper of cutting the manifold near the horizon and evaluating the action of the interior and exterior regions separately as the cut surface approaches the horizon.
Thermodynamic ensembles with cosmological horizons (2022) · 0.92 · paraphrased: the licence does not allow quoting
How the literature uses it
42 arXiv papers cite this in 63 sentences
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
-
In the main text we obtained the on-shell microcanonical action ([ref]) using the Hilbert action surface term method [ref] .
Microcanonical Action and the Entropy of Hawking Radiation · Microcanonical action in the Noether charge formalism · 0.93
-
Fortunately, there is a simple fix [ref] : we just use a form of the action that is well-defined everywhere.
de Sitter Black Holes as Constrained States in the Euclidean Path Integral · SdS as a constrained state · 0.89
-
We use Gauss-Bonnet theorem on the $ρ-τ_E$ surface in order to calculate the contribution from the conical singularity and we have: [equation] where $δ^2(P)$ represents the Dirac delta function on the $ρ-τ_E$ plane, and $R_h$ is the Riemann curvature on the horizon before the replica trick [ref] .
Generalized Rindler Wedge and Holographic Observer Concordance · Entanglement entropy calculation · 1.00
Cites it as support 1 paper
-
Further support for this connection comes from a topological argument in the case of Euclidean black holes [ref] , which relates the Einstein-Hilbert action to the Gauss-Bonnet theorem.
Crossed product algebras and generalized entropy for subregions · Rindler space · 0.99
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.