pith. the verified trust layer for science. sign in

arxiv: 2510.08686 · v2 · submitted 2025-10-09 · ✦ hep-th · gr-qc

Non-closed scalar charge in four-dimensional Einstein-scalar-Gauss-Bonnet black hole thermodynamics

Pith reviewed 2026-05-18 08:34 UTC · model grok-4.3

classification ✦ hep-th gr-qc
keywords scalar chargeGauss-Bonnet gravityblack hole thermodynamicsspontaneous scalarizationshift symmetrydifferential formsSmarr formulahorizon generator
0
0 comments X p. Extension

The pith

Contracting the scalar equation with the horizon generator produces a non-closed 2-form scalar charge whose obstruction is a bulk 3-form in Einstein-scalar-Gauss-Bonnet gravity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a covariant differential-form definition of scalar charges for stationary asymptotically flat black holes in four-dimensional Einstein-scalar-Gauss-Bonnet gravity with arbitrary scalar coupling. Contracting the scalar field equation of motion with the horizon generator yields a 2-form charge that fails to be closed; the failure is measured by an explicit 3-form bulk term. When the coupling possesses shift symmetry the 3-form vanishes, the charge becomes closed, and it obeys a Gauss law determined entirely by boundary data. The same construction supplies a covariant expression for the Smarr relation at more general couplings and interprets spontaneous scalarization as the point where the bulk term and scalar charge together signal the instability of the scalar-free solution.

Core claim

Contracting the scalar field equation of motion with the horizon generator k yields a non-closed 2-form scalar charge whose exterior derivative is a 3-form that encodes the obstruction to closedness. In the shift-symmetric limit the obstruction vanishes, the 2-form satisfies a Gauss law, and the charge is fixed by boundary data alone. This reproduces known topological results geometrically and supplies a charge-based account of the Smarr formula and of the onset of scalar hair.

What carries the argument

The 2-form scalar charge obtained by contracting the scalar equation of motion with the horizon generator k, whose exterior derivative equals a single 3-form bulk term that quantifies the obstruction to closedness.

If this is right

  • The Smarr formula acquires a covariant charge-based expression for arbitrary scalar couplings.
  • Spontaneous scalarization is captured by the simultaneous behavior of the scalar charge and the bulk 3-form.
  • In the shift-symmetric case the charge depends only on boundary data and reproduces known topological identities.
  • The framework unifies the treatment of scalar charges across different couplings in the same geometric language.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same contraction procedure could be applied to other scalar-tensor theories to isolate analogous bulk obstructions.
  • Numerical evolution of scalar perturbations on Schwarzschild or Kerr backgrounds might directly measure the growth of the bulk 3-form during scalarization.
  • The 3-form term may admit a topological interpretation that survives even when shift symmetry is weakly broken.

Load-bearing premise

The scalar field equation of motion can be contracted with the horizon generator to produce a well-defined 2-form whose exterior derivative is controlled by one 3-form bulk contribution.

What would settle it

For an explicit non-shift-symmetric solution, compute the exterior derivative of the constructed 2-form and verify whether it exactly equals the paper's proposed 3-form bulk term.

read the original abstract

We develop a covariant differential-form framework to define scalar charges for stationary, asymptotically flat black holes in $4$--dimensional Einstein-scalar-Gauss-Bonnet gravity with a general scalar coupling function. Contracting the scalar field equation of motion with the horizon generator $k$ yields a non-closed-form scalar charge, revealing a bulk contribution encoded in a $3$--form, which measures the obstruction to its closedness. In the presence of shift-symmetry, this obstruction vanishes and the $2$--form scalar charge satisfies a Gauss law, depending solely on boundary data. Geometrically, this reproduces known topological results in the shift-symmetric limit. This framework allows us to analyze the role of the non-closed scalar charges in black hole thermodynamics through the Smarr formula for more general couplings and provide a covariant, charge-based interpretation of the spontaneous scalarization mechanism, showing how the behavior of the scalar charge and the bulk term capture the instability of scalar-free black holes and the emergence of scalar hair. Our results offer a unified geometric understanding of the role of scalar charges and the mechanism of spontaneous scalarization in Einstein-scalar-Gauss-Bonnet gravity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper develops a covariant differential-form framework to define scalar charges for stationary, asymptotically flat black holes in 4-dimensional Einstein-scalar-Gauss-Bonnet gravity with a general scalar coupling function. Contracting the scalar field equation of motion with the horizon generator k yields a non-closed scalar charge 2-form, revealing a bulk contribution encoded in a 3-form which measures the obstruction to its closedness. In the presence of shift-symmetry, this obstruction vanishes and the 2-form scalar charge satisfies a Gauss law depending solely on boundary data. The framework is applied to the Smarr formula for more general couplings and provides a covariant, charge-based interpretation of the spontaneous scalarization mechanism.

Significance. If the proposed construction is shown to yield the physically relevant conserved charge, the work supplies a geometric tool for analyzing non-closed scalar charges and bulk contributions in black hole thermodynamics within ESGB gravity. The reproduction of known topological results in the shift-symmetric limit serves as a useful consistency check. This could aid in understanding spontaneous scalarization beyond shift-symmetric cases.

major comments (1)
  1. [Section on scalar charge definition] The section introducing the scalar charge (around the definition via contraction of the scalar EOM with k): the 2-form is defined directly by this contraction without an explicit derivation or proof of equivalence to the Noether charge obtained from varying the action under the diffeomorphism generated by k. This equivalence is load-bearing for the central claim that the 3-form correctly measures the obstruction in the conserved quantity relevant for the Smarr formula and thermodynamic interpretation.
minor comments (2)
  1. [Notation and definitions] The notation for the 3-form obstruction and its explicit dependence on the coupling function could be expanded with a component expression to aid readability.
  2. [Introduction] Additional comparison to standard references on covariant charges (e.g., Wald's Noether charge formalism) would strengthen the positioning of the new framework.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comment, which has prompted us to strengthen the presentation of the scalar charge construction. We address the point below and have revised the manuscript accordingly.

read point-by-point responses
  1. Referee: [Section on scalar charge definition] The section introducing the scalar charge (around the definition via contraction of the scalar EOM with k): the 2-form is defined directly by this contraction without an explicit derivation or proof of equivalence to the Noether charge obtained from varying the action under the diffeomorphism generated by k. This equivalence is load-bearing for the central claim that the 3-form correctly measures the obstruction in the conserved quantity relevant for the Smarr formula and thermodynamic interpretation.

    Authors: We agree that an explicit link between the contracted equation-of-motion 2-form and the Noether charge associated with the diffeomorphism generated by the horizon Killing vector k would make the construction more transparent. In the revised manuscript we have added a short derivation in the scalar-charge section. Starting from the diffeomorphism variation of the action, the associated Noether current is obtained in the standard way; on-shell, the scalar field equation reduces this current precisely to the 2-form defined by the contraction with k. Consequently the exterior derivative of the 2-form yields the 3-form that measures the obstruction to closedness, which enters the integral identity underlying the Smarr relation. This addition confirms that the thermodynamic interpretation rests on the relevant conserved quantity without altering any of the original results. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained from field equations with no circular reductions

full rationale

The paper defines the scalar charge via direct contraction of the scalar EOM with the horizon generator k, yielding a 2-form whose exterior derivative is controlled by an explicit 3-form bulk term. This construction follows immediately from the field equations of the Einstein-scalar-Gauss-Bonnet action and is used to obtain the Smarr formula and the geometric interpretation of spontaneous scalarization. In the shift-symmetric limit the 3-form vanishes by the symmetry assumption on the coupling, producing a boundary-only Gauss law. No step reduces a claimed prediction or uniqueness result to a fitted input, self-citation chain, or prior ansatz by the same authors; the framework remains independent of external benchmarks and does not rename known results under new coordinates. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the standard Einstein-scalar-Gauss-Bonnet action, the assumption that the spacetime is stationary and asymptotically flat, and the use of differential-form identities that hold in four dimensions. No free parameters are introduced in the abstract; the scalar coupling function is kept general.

axioms (2)
  • domain assumption The spacetime is stationary and asymptotically flat with a Killing horizon generator k.
    Invoked to define the horizon generator and to apply the differential-form construction to black-hole solutions.
  • domain assumption The scalar field equation of motion can be contracted with k to yield a 2-form whose exterior derivative is a single 3-form bulk term.
    This contraction is the central definitional step presented in the abstract.
invented entities (1)
  • Bulk 3-form measuring obstruction to closedness of the scalar charge 2-form no independent evidence
    purpose: Quantifies the failure of the scalar charge to satisfy a pure Gauss law when shift symmetry is absent.
    Introduced as the mathematical object that encodes the non-closed character of the charge; no independent falsifiable prediction is given in the abstract.

pith-pipeline@v0.9.0 · 5744 in / 1603 out tokens · 44995 ms · 2026-05-18T08:34:59.532135+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Derivation of the Smarr formula from the Komar charge in Einstein-nonlinear electrodynamics theories and applications to regular black holes

    gr-qc 2026-05 unverdicted novelty 6.0

    A generalized Komar charge constructed via Lagrange multiplier promotion of the coupling constant yields a Smarr formula including that constant's contribution for asymptotically flat black hole and soliton solutions ...

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · cited by 1 Pith paper · 26 internal anchors

  1. [1]

    Corvilain, T.W

    P. Corvilain, T.W. Grimm and I. Valenzuela,The Swampland Distance Conjecture for K¨ ahler moduli,JHEP08(2019) 075 [1812.07548]

  2. [2]

    The Refined Swampland Distance Conjecture in Calabi-Yau Moduli Spaces

    R. Blumenhagen, D. Kl¨ awer, L. Schlechter and F. Wolf,The Refined Swampland Distance Conjecture in Calabi-Yau Moduli Spaces,JHEP06(2018) 052 [1803.04989]

  3. [3]

    On the Possibility of Large Axion Moduli Spaces

    T. Rudelius,On the Possibility of Large Axion Moduli Spaces,JCAP04(2015) 049 [1409.5793]

  4. [4]

    Flux compactifications in string theory: a comprehensive review

    M. Grana,Flux compactifications in string theory: A Comprehensive review,Phys. Rept.423(2006) 91 [hep-th/0509003]

  5. [5]

    Four-dimensional String Compactifications with D-Branes, Orientifolds and Fluxes

    R. Blumenhagen, B. Kors, D. Lust and S. Stieberger,Four-dimensional String Compactifications with D-Branes, Orientifolds and Fluxes,Phys. Rept.445(2007) 1 [hep-th/0610327]. – 23 –

  6. [6]

    Flux Compactification

    M.R. Douglas and S. Kachru,Flux compactification,Rev. Mod. Phys.79(2007) 733 [hep-th/0610102]

  7. [7]

    Bekenstein,Exact solutions of Einstein conformal scalar equations,Annals Phys.82(1974) 535

    J.D. Bekenstein,Exact solutions of Einstein conformal scalar equations,Annals Phys.82(1974) 535

  8. [8]

    Bekenstein,Black Holes with Scalar Charge,Annals Phys.91(1975) 75

    J.D. Bekenstein,Black Holes with Scalar Charge,Annals Phys.91(1975) 75

  9. [9]

    Volkov and D.V

    M.S. Volkov and D.V. Galtsov,NonAbelian Einstein Yang-Mills black holes,JETP Lett.50(1989) 346

  10. [10]

    Bizon,Colored black holes,Phys

    P. Bizon,Colored black holes,Phys. Rev. Lett.64(1990) 2844

  11. [11]

    S. Droz, M. Heusler and N. Straumann,New black hole solutions with hair,Phys. Lett. B268(1991) 371

  12. [12]

    Eluding the no-hair conjecture: Black holes in spontaneously broken gauge theories

    B.R. Greene, S.D. Mathur and C.M. O’Neill,Eluding the no hair conjecture: Black holes in spontaneously broken gauge theories,Phys. Rev. D47(1993) 2242 [hep-th/9211007]

  13. [13]

    Bekenstein,Novel ‘‘no-scalar-hair’’ theorem for black holes,Phys

    J.D. Bekenstein,Novel ‘‘no-scalar-hair’’ theorem for black holes,Phys. Rev. D51 (1995) R6608

  14. [14]

    Black holes in scalar-tensor gravity

    T.P. Sotiriou and V. Faraoni,Black holes in scalar-tensor gravity,Phys. Rev. Lett. 108(2012) 081103 [1109.6324]

  15. [15]

    A no-hair theorem for the galileon

    L. Hui and A. Nicolis,No-Hair Theorem for the Galileon,Phys. Rev. Lett.110 (2013) 241104 [1202.1296]

  16. [16]

    Dressing a black hole with a time-dependent Galileon

    E. Babichev and C. Charmousis,Dressing a black hole with a time-dependent Galileon,JHEP08(2014) 106 [1312.3204]

  17. [17]

    Black hole hair in generalized scalar-tensor gravity

    T.P. Sotiriou and S.-Y. Zhou,Black hole hair in generalized scalar-tensor gravity, Phys. Rev. Lett.112(2014) 251102 [1312.3622]

  18. [18]

    Black hole hair in generalized scalar-tensor gravity: An explicit example

    T.P. Sotiriou and S.-Y. Zhou,Black hole hair in generalized scalar-tensor gravity: An explicit example,Phys. Rev. D90(2014) 124063 [1408.1698]

  19. [19]

    Asymptotically flat black holes with scalar hair: a review

    C.A.R. Herdeiro and E. Radu,Asymptotically flat black holes with scalar hair: a review,Int. J. Mod. Phys. D24(2015) 1542014 [1504.08209]

  20. [20]

    Black hole hair formation in shift-symmetric generalised scalar-tensor gravity

    R. Benkel, T.P. Sotiriou and H. Witek,Black hole hair formation in shift-symmetric generalised scalar-tensor gravity,Class. Quant. Grav.34(2017) 064001 [1610.09168]

  21. [21]

    Kanti, N.E

    P. Kanti, N.E. Mavromatos, J. Rizos, K. Tamvakis and E. Winstanley,Dilatonic black holes in higher curvature string gravity,Phys. Rev. D54(1996) 5049 [hep-th/9511071]

  22. [22]

    Black hole solutions with dilatonic hair in higher curvature gravity

    S.O. Alexeev and M.V. Pomazanov,Black hole solutions with dilatonic hair in higher curvature gravity,Phys. Rev. D55(1997) 2110 [hep-th/9605106]

  23. [23]

    Silva, A

    H.O. Silva, A. Ghosh and A. Buonanno,Black-hole ringdown as a probe of higher-curvature gravity theories,Phys. Rev. D107(2023) 044030 [2205.05132]. – 24 –

  24. [24]

    Lescano,α’-corrections and their double formulation,J

    E. Lescano,α’-corrections and their double formulation,J. Phys. A55(2022) 053002 [2108.12246]

  25. [25]

    New Gauss-Bonnet black holes with curvature induced scalarization in the extended scalar-tensor theories

    D.D. Doneva and S.S. Yazadjiev,New Gauss-Bonnet Black Holes with Curvature-Induced Scalarization in Extended Scalar-Tensor Theories,Phys. Rev. Lett.120(2018) 131103 [1711.01187]

  26. [26]

    Doneva, F.M

    D.D. Doneva, F.M. Ramazano˘ glu, H.O. Silva, T.P. Sotiriou and S.S. Yazadjiev, Spontaneous scalarization,Rev. Mod. Phys.96(2024) 015004 [2211.01766]

  27. [27]

    Spontaneous scalarization of black holes and compact stars from a Gauss-Bonnet coupling

    H.O. Silva, J. Sakstein, L. Gualtieri, T.P. Sotiriou and E. Berti,Spontaneous scalarization of black holes and compact stars from a Gauss-Bonnet coupling,Phys. Rev. Lett.120(2018) 131104 [1711.02080]

  28. [28]

    On the stability of scalarized black hole solutions in scalar-Gauss-Bonnet gravity

    H.O. Silva, C.F.B. Macedo, T.P. Sotiriou, L. Gualtieri, J. Sakstein and E. Berti, Stability of scalarized black hole solutions in scalar-Gauss-Bonnet gravity,Phys. Rev. D99(2019) 064011 [1812.05590]

  29. [29]

    Juli ´e and E

    F.-L. Juli´ e and E. Berti,Post-Newtonian dynamics and black hole thermodynamics in Einstein-scalar-Gauss-Bonnet gravity,Phys. Rev. D100(2019) 104061 [1909.05258]

  30. [30]

    Evasion of No-Hair Theorems and Novel Black-Hole Solutions in Gauss-Bonnet Theories

    G. Antoniou, A. Bakopoulos and P. Kanti,Evasion of No-Hair Theorems and Novel Black-Hole Solutions in Gauss-Bonnet Theories,Phys. Rev. Lett.120(2018) 131102 [1711.03390]

  31. [31]

    Black-Hole Solutions with Scalar Hair in Einstein-Scalar-Gauss-Bonnet Theories

    G. Antoniou, A. Bakopoulos and P. Kanti,Black-Hole Solutions with Scalar Hair in Einstein-Scalar-Gauss-Bonnet Theories,Phys. Rev. D97(2018) 084037 [1711.07431]

  32. [32]

    Ballesteros, C

    R. Ballesteros, C. G´ omez-Fayr´ en, T. Ort´ ın and M. Zatti,On scalar charges and black hole thermodynamics,JHEP05(2023) 158 [2302.11630]

  33. [33]

    Ballesteros and T

    R. Ballesteros and T. Ort´ ın,Hairy black holes, scalar charges and extended thermodynamics,Class. Quant. Grav.41(2024) 055007 [2308.04994]

  34. [34]

    Ort´ ın and M

    T. Ort´ ın and M. Zatti,On the thermodynamics of the black holes of the Cano-Ruip´ erez 4-dimensional string effective action,JHEP06(2025) 026 [2411.10417]

  35. [35]

    Black hole entropy and Lorentz-diffeomorphism Noether charge

    T. Jacobson and A. Mohd,Black hole entropy and Lorentz-diffeomorphism Noether charge,Phys. Rev. D92(2015) 124010 [1507.01054]

  36. [36]

    Elgood, D

    Z. Elgood, D. Mitsios, T. Ort´ ın and D. Pere˜ n´ ıguez,The first law of heterotic stringy black hole mechanics at zeroth order inα’,JHEP07(2021) 007 [2012.13323]

  37. [37]

    Elgood, T

    Z. Elgood, T. Ort´ ın and D. Pere˜ n´ ıguez,The first law and Wald entropy formula of heterotic stringy black holes at first order inα ′,JHEP05(2021) 110 [2012.14892]

  38. [38]

    Black hole scalar charge from a topological horizon integral in Einstein-dilaton-Gauss-Bonnet gravity

    K. Prabhu and L.C. Stein,Black hole scalar charge from a topological horizon integral in Einstein-dilaton-Gauss-Bonnet gravity,Phys. Rev. D98(2018) 021503 [1805.02668]. – 25 –

  39. [39]

    Smarr,Mass formula for Kerr black holes,Phys

    L. Smarr,Mass formula for Kerr black holes,Phys. Rev. Lett.30(1973) 71

  40. [40]

    Komar,Covariant conservation laws in general relativity,Phys

    A. Komar,Covariant conservation laws in general relativity,Phys. Rev.113(1959) 934

  41. [41]

    Smarr Formula and an Extended First Law for Lovelock Gravity

    D. Kastor, S. Ray and J. Traschen,Smarr Formula and an Extended First Law for Lovelock Gravity,Class. Quant. Grav.27(2010) 235014 [1005.5053]

  42. [42]

    Smarr Formula for Lovelock Black Holes: a Lagrangian approach

    S. Liberati and C. Pacilio,Smarr Formula for Lovelock Black Holes: a Lagrangian approach,Phys. Rev. D93(2016) 084044 [1511.05446]

  43. [43]

    Lee and R.M

    J. Lee and R.M. Wald,Local symmetries and constraints,J. Math. Phys.31(1990) 725

  44. [44]

    Black Hole Entropy is Noether Charge

    R.M. Wald,Black hole entropy is the Noether charge,Phys. Rev. D48(1993) R3427 [gr-qc/9307038]

  45. [45]

    Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy

    V. Iyer and R.M. Wald,Some properties of Noether charge and a proposal for dynamical black hole entropy,Phys. Rev. D50(1994) 846 [gr-qc/9403028]

  46. [46]

    Ort´ ın,Komar integrals for theories of higher order in the Riemann curvature and black-hole chemistry,JHEP08(2021) 023 [2104.10717]

    T. Ort´ ın,Komar integrals for theories of higher order in the Riemann curvature and black-hole chemistry,JHEP08(2021) 023 [2104.10717]

  47. [47]

    Bardeen, B

    J.M. Bardeen, B. Carter and S.W. Hawking,The Four laws of black hole mechanics, Commun. Math. Phys.31(1973) 161

  48. [48]

    Mitsios, T

    D. Mitsios, T. Ort´ ın and D. Pere˜ n´ ıguez,Komar integral and Smarr formula for axion-dilaton black holes versus S duality,JHEP08(2021) 019 [2106.07495]

  49. [49]

    Meessen, D

    P. Meessen, D. Mitsios and T. Ort´ ın,Black hole chemistry, the cosmological constant and the embedding tensor,JHEP12(2022) 155 [2203.13588]

  50. [50]

    Black Hole Solutions in String Theory with Gauss-Bonnet Curvature Correction

    K.-i. Maeda, N. Ohta and Y. Sasagawa,Black Hole Solutions in String Theory with Gauss-Bonnet Curvature Correction,Phys. Rev. D80(2009) 104032 [0908.4151]

  51. [51]

    Ortin,Gravity and Strings, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 2nd ed

    T. Ortin,Gravity and Strings, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 2nd ed. ed. (7, 2015), 10.1017/CBO9781139019750

  52. [52]

    Elgood, P

    Z. Elgood, P. Meessen and T. Ort´ ın,The first law of black hole mechanics in the Einstein-Maxwell theory revisited,JHEP09(2020) 026 [2006.02792]. – 26 –