REVIEW 3 major objections 4 minor 16 references
Higher-curvature corrections and near horizon symmetries
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Lovelock gravity's near-horizon supertranslation charge is an explicit sum of nested intrinsic curvature invariants in every dimension and at every curvature order, reducing to Wald entropy at the zero mode and to the Jackiw-Teitelboim…
desk verdict Plausible and useful Lovelock extension of horizon supertranslations, but the central derivation is skipped and the advertised centrally-free algebra is asserted rather than proven. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the near-horizon metric ansatz ds² = −2κρ dv² + 2 dv dρ + 2ρ h_i dx^i dv + ĝ_ij dx^i dx^j together with the asymptotic Killing vector χ = Φ(x)∂v − ρ ĝ^(0)ij ∂_j Φ ∂_i + ... , both taken from the Einstein-gravity analysis and used to define the boundary conditions at the horizon. The charge formula (8) is derived by covariant phase space methods; its nested Kronecker-delta contractions of the intrinsic Riemann tensor on the horizon are precisely the Lagrangian densities of the Lovelock hierarchy, so each higher-curvature term contributes its own topological-invariant density weighted by the supertranslation function.
What would settle it
Compute the Noether charge and its bracket directly in five-dimensional Einstein-Gauss-Bonnet gravity with a full covariant phase-space analysis that includes all boundary terms, and check whether Eq. (8) is reproduced exactly and whether the central term K remains zero; a mismatch would show that the near-horizon ansatz needs modification at higher curvature order.
Extended reading notes
Core claim
The paper's central claim is that in Lovelock gravity the Noether charge associated with the near-horizon supertranslation vector field is exactly a sum over the Lovelock order p of the p-th intrinsic curvature invariant on the horizon cross-section, contracted with the generalized Kronecker delta and multiplied by the supertranslation function. For non-extremal horizons the charge is proportional to the surface gravity, and its Φ=1 mode equals the Wald entropy; for extremal horizons the supertranslation charge vanishes but a superdilation charge remains, whose Φ=1 mode is again the entropy up to a factor. The algebra of these charges is the semidirect product Diff(H) ⋉ C^∞(H) with vanishing central extension, both for extremal and non-extremal cases. In four dimensions, retaining the quadratic Lanczos term, the charge reduces exactly to the Jackiw-Teitelboim action evaluated on the spacelike horizon sections, with the supertranslation function playing the role of the JT dilaton.
Load-bearing premise
The calculation assumes that the near-horizon metric ansatz and the asymptotic Killing vector used in Einstein gravity remain the complete, integrable symmetry structure in Lovelock theory, with no extra boundary terms entering the covariant phase space charges.
Editorial extensions
If this is right
- The zero mode of the near-horizon supertranslation charge reproduces the Wald entropy formula for Lovelock theory, unifying all higher-curvature corrections to black hole entropy in a single charge expression.
- Higher-curvature Lovelock terms do not introduce central extensions in the near-horizon charge algebra; the algebra remains Diff(H) ⋉ C^∞(H) at every curvature order.
- In D=4, retaining the Euler-density term, the supertranslation charge becomes the Jackiw-Teitelboim action on the horizon cross-section, with the Newton constant and cosmological constant determined by the Lovelock couplings.
- Extremal horizons have zero supertranslation charge but a non-vanishing superdilation charge, whose Φ=1 mode is again the black hole entropy, providing a universal near-horizon symmetry description across extremality.
- The D=5 examples, including the Einstein-Gauss-Bonnet black hole and the Nariai horizon, reproduce known entropy formulas, confirming the charge formula in concrete settings.
Reading between the lines
- Since the charge formula is built from intrinsic curvature of the horizon cross-section, a natural test is whether non-Lovelock higher-curvature theories (for example those with R² terms yielding fourth-order equations) spoil the central-extension-free algebra or require additional boundary terms in the charge.
- The appearance of the JT action in D=4 suggests a symmetry-based route from near-horizon supertranslations to the dilaton-gravity sector of the horizon, possibly connecting to low-dimensional holographic models; the authors leave the physical interpretation open.
- The vanishing central extension may depend on the chosen near-horizon falloffs; relaxing the O(ρ) conditions on h_i could produce a central charge, analogous to the Virasoro central charge in three-dimensional anti-de Sitter gravity.
- The extremal superdilation charge might be probed in explicit extremal black hole solutions beyond the Nariai example, and its dependence on higher-curvature couplings could serve as a check of the formula's robustness.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper claims that in Lovelock gravity, the near-horizon supertranslation charge takes the closed-form expression (8) for arbitrary spacetime dimension and arbitrary curvature order, and that the charge algebra is Diff(H)⋉C^∞(H) with zero central extension (12). The Φ=1 case is said to reproduce the Wald entropy formula, and the D=5 Einstein-Gauss-Bonnet and Nariai checks are given. In D=4 the charge is claimed to reduce to the Jackiw-Teitelboim action (20), with similar statements for extremal horizons (Eqs. (15)-(16)). The paper is written as a brief note extending the authors' earlier Einstein-gravity horizon-symmetry analysis to higher-curvature Lovelock theory.
Significance. If the central formula (8) and the centrally-free algebra (12) are correct, this is a valuable extension of near-horizon symmetry methods: it shows that the supertranslation charge is a nested topological invariant built from the intrinsic horizon curvature, thereby generalizing Wald entropy in a very natural way. The paper's consistency checks are meaningful: Φ=1 gives Wald entropy, the D=5 Gauss-Bonnet entropy and the Nariai entropy are reproduced, and the D=4 reduction to JT gravity is structurally appealing. However, the main claims are asserted rather than derived, so the significance is conditional on supplying the missing phase-space calculation.
major comments (3)
- [Section II, Eq. (8)] The central charge formula (8) is stated as 'The result for Lovelock gravity reads' without showing the covariant phase-space computation. To make the claim load-bearing, the authors need to display the Iyer-Wald symplectic current ω(g; δg, L_χ g), the boundary term, and the integrability analysis. In particular, for p≥2 the Killing vector (5) contains terms involving h_i and ∂_i Φ, so the phase-space integrand can a priori contain D_iD_j Φ and h_i contributions that are not captured by (8). The paper gives no argument that such terms vanish or combine into (8), so the advertised formula is not yet established.
- [Section III, Eq. (12)] The vanishing central extension K=0 is asserted with the phrase 'it can be shown explicitly', but no computation is presented. Since the algebra (13)-(14) is one of the two principal results, the authors should exhibit at least the bracket {Q[χ_1],Q[χ_2]} obtained from (11), show how the central term drops out using (8), and state the corresponding argument for the extremal case. Without this, the Diff(H)⋉C^∞(H) algebra is not established.
- [Section IV, Eq. (16)] The extremal charge formula (16) is introduced without derivation, and the same phase-space issues as for (8) apply. The Nariai check (19) is a useful consistency test, but it does not substitute for a derivation of (16) or for an explanation of why the extremal vector (15) does not generate additional terms beyond the displayed integrand.
minor comments (4)
- [Section II, Eq. (7)] Equation (7) states δ_ξ h_i = L_ξ h_i − 2κ ∂_i Φ for pure diffeomorphisms ξ=Y^i ∂_i on H. This cannot be correct, since the transformation of h_i under a diffeomorphism on H should be the Lie derivative only; the term involving Φ belongs to supertranslations and should not appear here.
- [Section II, Eq. (5)] The notation \hat g^{(0)i}_j and \hat g^{(0)ij} in (5) should be clarified: presumably these are the inverse of the leading induced metric \hat g^{(0)}_{ij}. Also, 'with \hat g = det(\hat g^{(0)}_{ij})' should be stated consistently in one place.
- [Section IV, Eq. (17)] The factor ℏ appears for the first time in (17) without explanation. If units with ℏ=1 are used elsewhere, the relation should be stated explicitly so that the coefficient in (17) is unambiguous.
- [Section V, Eq. (20)] In the D=4 JT reduction, the authors define G=1/(64πα_2) and Λ=−α_1/(4α_2), but do not explain how the overall prefactor 2κ in (8) is absorbed. A brief line stating the κ dependence (or whether κ is normalized) would avoid confusion.
Circularity Check
No significant circularity; the central Lovelock charge formula is a direct, if tersely presented, phase-space computation that extends prior Einstein-gravity horizon results.
full rationale
The paper does not fit parameters to data, define its target in terms of its inputs, or invoke a uniqueness theorem. The near-horizon metric ansatz (2)-(4) and asymptotic Killing vector (5) are imported from the authors' earlier Einstein-gravity papers [6,7]; those are prior independent results about Einstein gravity, not about Lovelock charges, so using them as boundary conditions is a legitimate input rather than a circular reduction. The central formulas (8) and (16) are presented as results of the standard covariant phase-space formalism [14,15]; although the derivation is not displayed and Eq. (12), K=0, is only asserted as 'it can be shown explicitly', these are expositional and proof gaps, not equation-for-equation circularity. The Phi=1 reduction to the Wald entropy formula (9) is a consistency check, not the input from which (8) was fitted. The D=4 identification with the JT action (20) is a mathematical rewriting of the 4D Euler-type Lovelock term, not a renaming of the paper's target as its own premise. Self-citations appear in the boundary-condition input, but they are not citations of the paper's own Lovelock conclusion, and the extension to higher-curvature terms is computed rather than assumed. No specific reduction of the conclusion to its inputs can be exhibited; therefore no circular step is identified.
Assumptions & free parameters
assumptions (4)
- standard math Covariant phase space formalism (Barnich-Brandt, Iyer-Wald) supplies well-defined conserved charges and the charge algebra.
- domain assumption The metric ansatz (2) with expansions (3)-(4) describes all relevant isolated horizons, and the Einstein-gravity asymptotic Killing vector (5) remains a symmetry in Lovelock theory.
- domain assumption The relevant asymptotic symmetry group is the full Diff(H) semidirect product with supertranslations, not just the conformal subgroup.
- domain assumption In the extremal case, the superdilation vector (15) is the correct generating symmetry and the charge formula (16) is integrable.
Cite this review
Pith. "Pith review of Higher-curvature corrections and near horizon symmetries." pith.science (2026). https://pith.science/paper/UG77RGVU
@misc{pith2026250621747,
author = {Pith},
title = {Pith review of: Higher-curvature corrections and near horizon symmetries},
year = {2026},
howpublished = {\url{https://pith.science/paper/UG77RGVU}},
note = {Machine review of arXiv:2506.21747}
}
read the original abstract
In the near-horizon region, black holes exhibit an infinite-dimensional symmetry reminiscent of the Bondi-Metzner-Sachs (BMS) supertranslations. The conserved charges associated with this symmetry can be computed in gravitational theories of arbitrary spacetime dimension and involving curvature terms of any order. In Lovelock theory, for instance, these charges take the form of nested Lagrangian densities corresponding to topological invariants, each weighted by the supertranslation function -- thus providing a natural generalization of the Wald entropy formula. In four dimensions, the computation of the supertranslation charge reduces to the evaluation of the Jackiw-Teitelboim (JT) action on the two-dimensional spacelike sections of the event horizon.
Reference graph
Works this paper leans on
-
[12]
Near horizon gravitational charges
H. S. Liu and P. Mao, “Near horizon gravitational charges,” JHEP 05, 123 (2022) [arXiv :2201.10308 [hep-th]]
work page Pith review arXiv 2022
-
[1]
The Information Paradox for Black Holes,
S. W. Hawking, “The Information Paradox for Black Holes,” [arXiv :1509.01147 [hep-th]]
-
[2]
Diffeomorphism on Horizon as an Asymptotic Isometry of Schwarzschild Black Hole
M. Hotta, K. Sasaki and T. Sasaki, “Diffeomorphism on horizon as an asymptotic isometry of Schwarzschild black hole,” Class. Quant. Grav.18, 1823-1834 (2001) [arXiv :gr-qc/0011043 [gr-qc]]
work page Pith review arXiv 2001
-
[3]
Asymptotic symmetries on Killing horizons,
J. i. Koga, “Asymptotic symmetries on Killing horizons,” Phys. Rev. D64, 124012 (2001) [arXiv :gr-qc/0107096 [gr-qc]]
arXiv 2001
-
[4]
Holographic Charge Excitations on Horizontal Boundary
M. Hotta, “Holographic charge excitations on horizontal boundary,” Phys. Rev. D66, 124021 (2002) [arXiv :hep-th/0206222 [hep-th]]
work page Pith review arXiv 2002
-
[5]
S. W. Hawking, M. J. Perry and A. Strominger, “Soft Hair on Black Holes,” Phys. Rev. Lett.116, no.23, 231301 (2016) [arXiv :1601.00921 [hep-th]]
arXiv 2016
-
[6]
Supertranslations and Superrotations at the Black Hole Horizon,
L. Donnay, G. Giribet, H. A. Gonzalez and M. Pino, “Supertranslations and Superrotations at the Black Hole Horizon,” Phys. Rev. Lett.116, no.9, 091101 (2016) [arXiv :1511.08687 [hep-th]]
arXiv 2016
-
[7]
Extended Symmetries at the Black Hole Horizon,
L. Donnay, G. Giribet, H. A. González and M. Pino, “Extended Symmetries at the Black Hole Horizon,” JHEP 09, 100 (2016) [arXiv :1607.05703 [hep-th]]
arXiv 2016
Show all 16 references
-
[8]
Superrotation Charge and Supertranslation Hair on Black Holes,
S. W. Hawking, M. J. Perry and A. Strominger, “Superrotation Charge and Supertranslation Hair on Black Holes,” JHEP05, 161 (2017) [arXiv :1611.09175 [hep-th]]
2017 arXiv
-
[9]
Spacetime structure near generic horizons and soft hair,
D. Grumiller, A. Pérez, M. M. Sheikh-Jabbari, R. Troncoso and C. Zwikel, “Spacetime structure near generic horizons and soft hair,” Phys. Rev. Lett.124, no.4, 041601 (2020) [arXiv :1908.09833 [hep-th]]
2020 arXiv
-
[10]
Black hole entropy is the Noether charge,
R. M. Wald, “Black hole entropy is the Noether charge,” Phys. Rev. D48, no.8, R3427-R3431 (1993) [arXiv :gr-qc/9307038 [gr-qc]]
1993 arXiv
-
[11]
Horizon symmetries and hairy black holes in AdS,
L. Donnay, G. Giribet and J. Oliva, “Horizon symmetries and hairy black holes in AdS,” JHEP09, 120 (2020) [arXiv :2007.08422 [hep-th]]
2020 arXiv
-
[13]
Black hole entropy and higher curvature interactions,
T. Jacobson and R. C. Myers, “Black hole entropy and higher curvature interactions,” Phys. Rev. Lett.70, 3684-3687 (1993) [arXiv :hep-th/9305016 [hep-th]]
1993 arXiv
-
[14]
Covariant theory of asymptotic symmetries, conservation laws and central charges,
G. Barnich and F. Brandt, “Covariant theory of asymptotic symmetries, conservation laws and central charges,” Nucl. Phys. B633, 3-82 (2002) [arXiv :hep-th/0111246 [hep-th]]
2002 arXiv
-
[15]
A Comparison of Noether charge and Euclidean methods for computing the entropy of stationary black holes,
V. Iyer and R. M. Wald, “A Comparison of Noether charge and Euclidean methods for computing the entropy of stationary black holes,” Phys. Rev. D52, 4430-4439 (1995) [arXiv :gr-qc/9503052 [gr-qc]]
1995 arXiv
-
[16]
String Generated Gravity Models,
D. G. Boulware and S. Deser, “String Generated Gravity Models,” Phys. Rev. Lett.55, 2656 (1985)
1985
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.