REVIEW 6 minor 1 cited by
On-shell Lagrangians as total derivatives and the generalized Komar charge
T0 review · 0 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A homogeneous Lagrangian is on-shell an exact form, and this identity builds generalized Komar charges.
desk verdict A clean field-theoretic Euler identity that powers a worked Komar-charge construction; minor presentational gaps only, so it deserves a serious referee. 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 identity is the functional Euler theorem (Eq. (2.7)): $L=\frac{\omega_i}{\omega_L}E_i\wedge\phi^i+d\Theta(\phi,\frac{\omega}{\omega_L}\phi)$, where $E_i$ are the Euler–Lagrange forms and $\Theta$ is the pre-symplectic potential, the boundary term generated by an arbitrary field variation. On solutions it becomes $L\doteq dJ_0$ with $J_0=\Theta(\phi,\frac{\omega}{\omega_L}\phi)$. This identity is the engine of the paper: it turns the on-shell Lagrangian into a total derivative without solving the field equations, and when combined with the generalized-Komar requirement $i_k L+B(\Lambda_k,\phi)\doteq d\omega(k,\phi)$, it yields the exact $(d-2)$-form $\omega(k,\phi)$ and hence the closed charge $K[k]$.
What would settle it
Take the proposed generalized Komar charge for Einstein–Maxwell–Dilaton theory (Eq. (4.23)) and evaluate its exterior derivative on a known non-extremal black-hole solution; if $dK[k]$ does not vanish on-shell, or if the horizon integral differs from the integral at infinity, the exactness assumption is false. A simpler algebraic check is to substitute arbitrary field configurations into Eq. (2.7) and verify the identity term by term; any counterexample would falsify the Euler-theorem claim.
Extended reading notes
Core claim
The central claim is that for any Lagrangian $d$-form that transforms homogeneously under a global transformation of the fields, the Lagrangian can be written identically as a sum of the equations of motion contracted with the fields plus an exact piece: $L=\frac{\omega_i}{\omega_L}E_i\wedge\phi^i+d\Theta(\phi,\frac{\omega}{\omega_L}\phi)$. On-shell this reduces to $L\doteq dJ_0$, where $J_0=\Theta(\phi,\frac{\omega}{\omega_L}\phi)$ is solution-independent. The paper shows that $J_0$ is unique only up to conserved currents $J_n$ associated with scaling symmetries of the theory, and that the same Euler-theorem logic works for any global transformation with nonzero weight, not just rescalings. It then plugs this identity into the generalized Komar algorithm: given a Killing vector $k$, the on-shell interior product $i_k L$ becomes an exact $(d-2)$-form, and the resulting closed charge $K[k]$ reproduces and organises the known charges of Einstein–Maxwell–Dilaton theory and minimal $d=5$ supergravity, and gives a potential-times-charge form for the self-interacting scalar.
Load-bearing premise
The load-bearing assumption is that a symmetry that leaves all fields fixed also makes the on-shell Lagrangian pullback exact: there must always exist some $(d-2)$-form $\omega(k,\phi)$ with $i_k L+B(\Lambda_k,\phi)\doteq d\omega(k,\phi)$. The paper takes this exactness from the earlier generalized-Komar framework rather than proving it; if it fails, the constructed charge is not conserved on-shell and the Gauss law behind Smarr formulas is lost.
Editorial extensions
If this is right
- In any theory with a homogeneous rescaling of the fields, the action evaluated on solutions is a pure boundary term, $S_{\mathrm{on-shell}}=\int dJ_0$.
- For every Killing vector $k$, the on-shell interior product $i_k L$ is exact, so the generalized Komar charge $K[k]$ is closed on-shell and satisfies a Gauss law.
- The ambiguity in $J_0$ by conserved currents is physical: in Einstein–Maxwell–Dilaton theory, adding $\alpha J_1$ shifts the Komar charge by a term proportional to the conserved scalar charge $Q_k$, while leaving Smarr formulas unchanged when the scalar-charge Gauss law is used.
- Promoting a dimensionful coupling constant to a constrained scalar field extends the Euler-theorem identity to nonlinear Lagrangians, as demonstrated for a self-interacting scalar; the authors state that the same trick applies to nonlinear electrodynamics coupled to gravity.
Reading between the lines
- The paper does not pursue it, but Eq. (2.7) also gives a shortcut for Euclidean on-shell actions: the boundary term is read off from the pre-symplectic potential before solving equations, which could simplify free-energy computations for stationary black holes.
- Because the identity is algebraic in the fields, it should extend to higher-curvature or Chern–Simons theories; testing it on Lovelock gravity or generalized Proca models would be a direct next step.
- Applying the coupling-promotion trick to a cosmological constant rather than a scalar coupling should yield a Komar charge whose boundary integral is the pressure–volume term of extended black-hole thermodynamics.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a field-theoretic analogue of Euler's homogeneous-function theorem: if a Lagrangian d-form L is homogeneous under a global rescaling of the fields with weights ω_i and transforms with weight ω_L, then L = (ω_i/ω_L) E_i∧φ_i + dΘ(...), so that on-shell L is an exact form with a solution-independent representative (Eq. 2.7). The paper then combines this identity with the generalized Komar charge algorithm of Refs. [12–16] to construct Komar charges in three examples: Einstein–Maxwell–Dilaton theory, the bosonic sector of minimal 5-dimensional supergravity, and a self-interacting scalar field coupled to gravity (using a Lagrange-multiplier extension for the non-linear potential). It also discusses the non-uniqueness of the total-derivative representative coming from additional scaling symmetries.
Significance. The central identity in Section 2 is clean, self-contained, and parameter-free; it follows directly from the variational identity and does not depend on the earlier Komar-charge algorithm. The application sections show that this identity supplies the needed on-shell total-derivative form in three non-trivial theories and reproduce known generalized Komar charges, which is a valuable consistency check. The Lagrange-multiplier trick in Section 6 extends the method to non-linear potentials. If correct, the paper provides a systematic and practical tool for constructing Smarr formulas and generalized Komar charges.
minor comments (6)
- [Section 2, Eq. (2.8)] The sign in Eq. (2.8) appears incorrect: from Eq. (2.6) with ω_L = 0 one obtains dJ_n = -ω^n_i E_i∧φ_i, as used in Eq. (4.11), not dJ_n = +ω^n_i E_i∧φ_i.
- [Section 3, Eq. (3.24b)] The trailing '= 0' in Eq. (3.24b) is inconsistent with the definition of the generalized Komar charge and with the non-trivial results in the subsequent examples; it should be removed, or replaced by a statement that dK[k] ≑ 0.
- [Section 4, Eq. (4.22)] The placement of the parentheses in Eq. (4.22) gives the αQ_k term a factor of 1/2; the derivation via Eq. (4.21a) gives the term +αQ_k outside the factor 1/2, matching Eq. (4.23).
- [Section 5, Eqs. (5.9)–(5.10)] The sign of τ(χ,φ) in Eq. (5.10) appears inconsistent with a direct explicit computation of δχJ0 from J0 = (1/3)⋆G∧V using Eq. (5.3b); please check and correct the sign.
- [Section 6, Eq. (6.3)] The on-shell equivalence of the extended action (6.3) to the original theory is asserted but not proven; a short proof (integrating out C and g, or a brief citation plus explanation) would make the example self-contained.
- [Throughout] There are several small typos: 'generalized generalized Komar charges' before Eq. (4.23), 'a a matter of fact' after Eq. (2.10), 'Let as assume' at the start of Section 3, and 'equtions' in Section 3.1.
Circularity Check
No circularity: the Euler-theorem identity is derived from first principles; earlier Komar-charge work is cited contextually, not as load-bearing input.
full rationale
The central claim, Eq. (2.7), is obtained directly from the variational identity (2.2) by setting the variation to the assumed rescaling δλφi = ωi λ φi and δλL = ωL λ L. No quantity in this derivation is fitted, nor is the conclusion L = dΘ(φ, (ω/ωL)φ) imported from the references; it is an algebraic consequence of the homogeneity assumption. Eq. (2.10) merely parameterizes the freedom to add on-shell-closed currents Jn, and the coefficients αn are explicitly left as free choices, not tuned to match a precomputed answer. The generalized-Komar discussion in Section 3 is a review of the authors' earlier algorithm (Refs. [12-16]) and supplies the standard Noether-Wald construction; the exactness condition (3.17) is posed as the condition defining the desired ω(k, φ), not as a result secretly supplied by the cited papers. The examples reproduce known charges and thus serve as independent consistency checks rather than circular confirmations. Although self-citations are numerous, they are not load-bearing for the paper's main derivation, so there is no circular step.
Assumptions & free parameters
free parameters (1)
- alpha_n (and alpha in Section 4) =
arbitrary, set to 0 in EMD example
assumptions (4)
- standard math The action variation formula (2.2) with Euler-Lagrange forms and pre-symplectic potential
- domain assumption The Lagrangian is homogeneous under a global rescaling with weights omega_i and weight omega_L (Eq. 2.4)
- domain assumption On-shell exactness of the pulled-back Lagrangian for Killing vectors, Eq. (3.17)
- ad hoc to paper The Lagrange-multiplier extended action (6.3) is on-shell equivalent to the original theory, preserving charges
invented entities (1)
-
Auxiliary (d-1)-form Lagrange-multiplier field C
Cite this review
Pith. "Pith review of On-shell Lagrangians as total derivatives and the generalized Komar charge." pith.science (2026). https://pith.science/paper/4ODDPTRZ
@misc{pith2026250614024,
author = {Pith},
title = {Pith review of: On-shell Lagrangians as total derivatives and the generalized Komar charge},
year = {2026},
howpublished = {\url{https://pith.science/paper/4ODDPTRZ}},
note = {Machine review of arXiv:2506.14024}
}
read the original abstract
Lagrangians which transform homogeneously under a global transformation of the fields (a global rescaling, for instance) can be written on-shell as a total derivative which has a universal, solution-independent expression, using a functional version of the Euler theorem for homogeneous functions. We study the uniqueness of this expression and how this result can be used in the construction of generalized Komar charges.
Forward citations
Cited by 1 Pith paper
-
GGI lectures on boundary and asymptotic symmetries
A lecture-note review of boundary and asymptotic symmetries that re-derives the BMS group as the asymptotic symmetry group of Minkowski spacetime alone and constructs an integral Hamiltonian generator for scalar-field...
Reference graph
Works this paper leans on
-
[1]
Stability of Gravity with a Cosmological Constant,
L. F. Abbott and S. Deser, “Stability of Gravity with a Cosmological Constant,” Nucl. Phys. B 195 (1982), 76-96 DOI:10.1016/0550-3213(82)90049-9
-
[2]
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. B 633 (2002), 3-82 DOI:10.1016/S0550-3213(02)00251-1 [hep-th/0111246 [hep-th]]
arXiv 2002
-
[3]
Energy in generic higher curvature gravity theories,
S. Deser and B. Tekin, “Energy in generic higher curvature gravity theories,” Phys. Rev. D 67 (2003), 084009 DOI:10.1103/PhysRevD.67.084009 [hep-th/0212292 [hep-th]]
arXiv 2003
-
[4]
Conserved Charges in Extended Theories of Gravity,
H. Adami, M. R. Setare, T. C. Sisman and B. Tekin, “Conserved Charges in Extended Theories of Gravity,” Phys. Rept. 834 (2019), 1 DOI:10.1016/j.physrep.2019.08.003 [arXiv:1710.07252 [hep-th]]
arXiv 2019
-
[5]
Covariant conservation laws in general relativity,
A. Komar, “Covariant conservation laws in general relativity,” Phys. Rev. 113 (1959), 934-936 DOI:10.1103/PhysRev.113.934
-
[6]
Boundary charges in gauge theories: Using Stokes theorem in the bulk,
G. Barnich, “Boundary charges in gauge theories: Using Stokes theorem in the bulk,” Class. Quant. Grav. 20 (2003), 3685-3698 DOI:10.1088/0264-9381/20/16/310 [hep-th/0301039 [hep-th]]
arXiv 2003
-
[7]
The Four laws of black hole me- chanics,
J. M. Bardeen, B. Carter and S. W. Hawking, “The Four laws of black hole me- chanics,” Commun. Math. Phys. 31 (1973), 161-170 DOI:10.1007/BF01645742
-
[8]
Black holes equilibrium states,
B. Carter, “Black holes equilibrium states,” Contribution to: Les Houches Summer School of Theoretical Physics, 57-214
Show all 31 references
-
[9]
On Komar integrals in asymptotically anti-de Sitter space-times,
A. Magnon, “On Komar integrals in asymptotically anti-de Sitter space-times,” J. Math. Phys. 26 (1985), 3112-3117 DOI:10.1063/1.526690
1985 doi
-
[10]
A Gauss type law for gravity with a cosmological constant,
S. L. Bazanski and P . Zyla, “A Gauss type law for gravity with a cosmological constant,” Gen. Rel. Grav. 22 (1990), 379-387
1990
-
[11]
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. D 93 (2016) no.8, 084044 DOI:10.1103/PhysRevD.93.084044 [arXiv:1511.05446 [gr-qc]]
2016 arXiv
-
[12]
Komar integrals for theories of higher order in the Riemann curvature and black-hole chemistry,
T. Ortín, “Komar integrals for theories of higher order in the Riemann curvature and black-hole chemistry,” JHEP 08 (2021), 023 DOI:10.1007/JHEP08(2021)023 [arXiv:2104.10717 [gr-qc]]. 18
2021 arXiv
-
[13]
Komar integral and Smarr for- mula for axion-dilaton black holes versus S duality,
D. Mitsios, T. Ortín and D. Pereñiguez, “Komar integral and Smarr for- mula for axion-dilaton black holes versus S duality,” JHEP 08 (2021), 019 DOI:10.1007/JHEP08(2021)019 [arXiv:2106.07495 [hep-th]]
2021 arXiv
-
[14]
Black hole chemistry, the cos- mological constant and the embedding tensor,
P . Meessen, D. Mitsios and T. Ortín, “Black hole chemistry, the cos- mological constant and the embedding tensor,” JHEP 12 (2022), 155 DOI:10.1007/JHEP12(2022)155 [arXiv:2203.13588 [hep-th]]
2022 arXiv
-
[15]
Magnetic charges and Wald entropy,
T. Ortín and D. Pereñiguez, “Magnetic charges and Wald entropy,” JHEP11 (2022), 081 DOI:10.1007/JHEP11(2022)081 [arXiv:2207.12008 [hep-th]]
2022 arXiv
-
[16]
A note on the Noether-Wald and generalized Komar charges,
T. Ortín and M. Zatti, “A note on the Noether-Wald and generalized Komar charges,” [arXiv:2411.10420 [gr-qc]]
-
[17]
Hairy black holes, scalar charges and ex- tended thermodynamics,
R. Ballesteros and T. Ortín, “Hairy black holes, scalar charges and ex- tended thermodynamics,” Class. Quant. Grav. 41 (2024) no. 5, 055007 DOI:10.1088/1361-6382/ad210a [arXiv:2308.04994 [gr-qc]]
2024 arXiv
-
[18]
Generalized Komar charges and Smarr for- mulas for black holes and boson stars,
R. Ballesteros and T. Ortín, “Generalized Komar charges and Smarr for- mulas for black holes and boson stars,” SciPost Phys. Core 8 (2025), 038 DOI:10.21468/SciPostPhysCore.8.2.038 [arXiv:2409.08268 [gr-qc]]
2025 arXiv
-
[19]
Noether-Wald charge in supergravity: the fermionic contribution,
I. Bandos and T. Ortín, “Noether-Wald charge in supergravity: the fermionic contribution,” JHEP 12 (2023), 095 DOI:10.1007/JHEP12(2023)095 [arXiv:2305.10617 [hep-th]]
2023 arXiv
-
[20]
Komar charge of N = 2 supergravity and its superspace generalization,
I. Bandos, P . Meessen and T. Ortín, “Komar charge of N = 2 supergravity and its superspace generalization,” JHEP 05 (2025), 231 DOI:10.1007/JHEP05(2025)231 [arXiv:2412.18510 [hep-th]]
2025 arXiv
-
[21]
On the thermodynamics of the black holes of the Cano-Ruipérez 4-dimensional string effective action,
T. Ortín and M. Zatti, “On the thermodynamics of the black holes of the Cano-Ruipérez 4-dimensional string effective action,” JHEP 06 (2025), 026 DOI:10.1007/JHEP06(2025)026 [arXiv:2411.10417 [hep-th]]
2025 arXiv
-
[22]
Gravity and Strings
T. Ortín, “Gravity and Strings”, 2nd edition, Cambridge University Press, 2015
2015
-
[23]
On the generalized Komar charge of Kaluza-Klein theories and higher-form symmetries,
G. Barbagallo, J. L. V . Cerdeira, C. Gómez-Fayrén, P . Meessen and T. Ortín, “On the generalized Komar charge of Kaluza-Klein theories and higher-form symmetries,” [arXiv:2506.15615 [hep-th]]
-
[24]
The first law of black hole me- chanics in the Einstein-Maxwell theory revisited,
Z. Elgood, P . Meessen and T. Ortín, “The first law of black hole me- chanics in the Einstein-Maxwell theory revisited,” JHEP 09 (2020), 026 DOI:10.1007/JHEP09(2020)026 [arXiv:2006.02792 [hep-th]]
2020 arXiv
-
[25]
The first law of het- erotic stringy black hole mechanics at zeroth order in α’,
Z. Elgood, D. Mitsios, T. Ortín and D. Pereñíguez, “The first law of het- erotic stringy black hole mechanics at zeroth order in α’,” JHEP 07 (2021), 007 DOI:10.1007/JHEP07(2021)007 [arXiv:2012.13323 [hep-th]]. 19
2021 arXiv
-
[26]
The first law and Wald entropy for- mula of heterotic stringy black holes at first order in α′,
Z. Elgood, T. Ortín and D. Pereñíguez, “The first law and Wald entropy for- mula of heterotic stringy black holes at first order in α′,” JHEP 05 (2021), 110 DOI:10.1007/JHEP05(2021)110 [arXiv:2012.14892 [hep-th]]
2021 arXiv
-
[27]
The First Law of Black Hole Mechanics for Fields with Internal Gauge Freedom,
K. Prabhu, “The First Law of Black Hole Mechanics for Fields with Internal Gauge Freedom,” Class. Quant. Grav. 34 (2017) no. 3, 035011 DOI:10.1088/1361-6382/aa536b [arXiv:1511.00388 [gr-qc]]
2017 arXiv
-
[28]
On scalar charges and black hole thermodynamics,
R. Ballesteros, C. Gómez-Fayrén, T. Ortín and M. Zatti, “On scalar charges and black hole thermodynamics,” JHEP 05 (2023), 158 DOI:10.1007/JHEP05(2023)158 [arXiv:2302.11630 [hep-th]]
2023 arXiv
-
[29]
Scalar charge of black holes in Einstein-Maxwell-dilaton the- ory,
C. Pacilio, “Scalar charge of black holes in Einstein-Maxwell-dilaton the- ory,” Phys. Rev. D 98 (2018) no. 6, 064055 DOI:10.1103/PhysRevD.98.064055 [arXiv:1806.10238 [gr-qc]]
2018 arXiv
-
[30]
Barbagallo and T
G. Barbagallo and T. Ortín, (in preparation)
-
[31]
Gravitational higher-form sym- metries and the origin of hidden symmetries in Kaluza-Klein compactifica- tions,
C. Gómez-Fayrén, T. Ortín and M. Zatti, “Gravitational higher-form sym- metries and the origin of hidden symmetries in Kaluza-Klein compactifica- tions,” SciPost Phys. Core 8 (2025), 010 DOI:10.21468/SciPostPhysCore.8.1.010 [arXiv:2405.16706 [hep-th]]. 20
2025 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.