REVIEW 3 major objections 4 minor 18 references
Henneaux-Teitelboim Form of the Generalized Unimodular Gravity Action
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper derives an alternative action for generalized unimodular gravity, equivalent to the original one, that makes a hidden spatial nonlocality explicit and shows the metric-sector gauge symmetry is not full diffeomorphism invariance.
desk verdict A plausible but thinly supported extension of Henneaux-Teitelboim to GUMG, with the load-bearing constraint-algebra step deferred to a companion paper. 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 mechanism has three cooperating parts. The first is a homogeneous time parameterization that introduces the auxiliary clock $\tau_0$, its momentum $\pi_0$, and the multiplier $\lambda_0$, preserving the constraint rank. The second is the spatially nonlocal operator $\hat E$, whose kernel is a delta function plus rank-one corrections built from the barotropic index $W$ and the background spatial volume; it reshapes the functionally incomplete Hamiltonian constraint into a functionally complete one, and its inverse (10) is used to pass to the simpler action (9). The third is the first-class combination $P_I=\pi_0+F H_\perp+U_0^n H_n$, formed with an on-shell shift $U_0^n$, which generates the canonical gauge algebra together with the transverse spatial diffeomorphisms.
What would settle it
For a nonconstant $W$ model such as $F(\sqrt\gamma)=\sqrt\gamma^{1/2}$, compute the full Poisson-bracket matrix of the constraints in the parameterized action (20), including $\int\epsilon(\pi_0+F H_\perp+U_0^n H_n)$. If the rank of that matrix is larger than the original set $(H_n,(WFH_\perp)_{,m})$, or if closure forces new on-shell conditions, the claimed equivalence to the original GUMG action fails.
Extended reading notes
Core claim
On its own terms, the paper's central claim is that the action $S_{\mathrm{alt}}[g,\Lambda,V]=\int dt\,dx\,\sqrt{|g|}({}^dR(g)-\Lambda)+\int dt\,dx\,\partial_\mu V^\mu \hat E(F\sqrt{\gamma}\,\Lambda)$, with the nonlocal kernel (7), is an equivalent alternative description of GUMG. The derivation passes through a homogeneous time parameterization in which the new first-class constraint $\int\epsilon P_I$ with $P_I=\pi_0+F H_\perp+U_0^n H_n$ generates the canonical gauge algebra; in this basis the Hamiltonian constraint becomes $\pi_0+\hat E F H_\perp=0$. The operator $\hat E$ is needed because the secondary constraint freezes only the average-free part of the weighted Hamiltonian density, so rebuilding a functionally complete constraint spreads it over the spatial volume. On shell the redefined field $\Lambda_0=\hat E F\sqrt{\gamma}\,\Lambda$ is an unfixed spacetime constant, while $\Lambda$ itself behaves as a spatially nonlocal constant, $\Lambda\sim\sqrt{\gamma}^{-1}F^{-1}(W^{-1}/\overline{W^{-1}})c$. The field equations acquire a perfect-fluid source with energy density $\Lambda$ and pressure $W\Lambda$, recovering $p=W\rho$; in contrast to unimodular gravity, the resulting action is not fully diffeomorphism-invariant.
Load-bearing premise
The equivalence rests on the assumption that the homogeneous time parameterization preserves the number of independent gauge symmetries and that the proposed combination $P_I=\pi_0+F H_\perp+U_0^n H_n$ is first-class; the detailed proof is deferred to a companion paper.
Editorial extensions
If this is right
- For nonconstant $W$, the on-shell cosmological-constant field $\Lambda$ is genuinely spatially nonlocal, so the energy density and pressure of the effective perfect fluid vary across a spatial slice even though the integration constant $c$ is fixed.
- The metric-sector gauge symmetry of GUMG is only a homogeneous time reparameterization; the average-free part of the new symmetry acts in the auxiliary sector, so the alternative action is not invariant under the full diffeomorphism group.
- For the w-GUMG subfamily ($W\equiv w$), $\hat E$ becomes the identity and the nonlocality disappears; in the unimodular limit $W=-1$, full diffeomorphism invariance is restored.
- The action places the cosmological constant on the same footing as a dynamical field with a free integration constant, the property that makes the covariant unimodular formulation attractive for studying quantum properties.
- The construction is presented as extendable to other restricted gravity theories whose secondary constraints have the same gradient form.
Reading between the lines
- Extension: for a nonconstant $W$, cosmological perturbations in this formulation should inherit nonlocal integral terms, and computing the scalar power spectrum for a specific $F(\sqrt\gamma)$ would show whether such terms are observable.
- Extension: the averages and volume $V$ that define $\hat E$ and its inverse presuppose a compact spatial slice; on noncompact slices an infrared prescription is needed, and the physical content may depend on that choice.
- Extension: the same operator construction should apply to any field theory whose secondary constraints are gradients of a weighted Hamiltonian density; building the analogous nonlocal action for another restricted system would be a direct test of the method's generality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proposes an alternative, Henneaux-Teitelboim-type action for generalized unimodular gravity (GUMG), given in Eq. (6) as S_alt = ∫dt dx sqrt(|g|)(R - Λ) + ∫dt dx ∂_μ V^μ Ê F √γ Λ, with Ê a spatially nonlocal operator defined by the kernel (7). The derivation starts from the canonical action (16), introduces a homogeneous time parameterization, then adds average-free auxiliary fields to arrive at the parameterized action (20). After a constraint-basis rearrangement and Legendre reduction, the paper obtains the covariant action (6) and its equivalent form (9). The paper shows that the dynamics reproduce the GUMG perfect-fluid equation of state p = Wρ, that the cosmological-constant field becomes an on-shell spacetime constant via the nonlocal operator, and that the gauge symmetry in the gravitational sector is a homogeneous time reparameterization, not full diffeomorphism invariance. The exceptional cases W = 0, W = -1 and the GR branch H⊥ = 0 are mentioned but not analyzed in detail, with reference to the companion paper [13].
Significance. If the equivalence claim is correct, the paper provides a new covariant formulation of GUMG that makes an implicit spatial nonlocality explicit and clarifies the gauge structure of the theory. This is potentially useful for further studies of restricted gravity theories and for quantum considerations. The paper has the merit of presenting the nonlocal operator Ê and its inverse explicitly, and of deriving the equation of state and the on-shell behavior of Λ without fitting any parameters. However, the central derivation is not fully self-contained: the rank-preservation and gauge-accessibility properties of the parameterized action (20) are asserted rather than proven, and the key simplifications in the constraint-basis rearrangement are delegated to the companion paper [13]. The strong reliance on [13] makes the letter difficult to evaluate on its own.
major comments (3)
- [Section III, Eq. (20) and Eqs. (18)-(19)] The rank-preservation claim for the constraint set of the parameterized action (20) is not established in the manuscript. For nonconstant W, the Poisson bracket {∫ε(π0+F H⊥), ∫η^n H_n} in Eq. (19) contains the term -∫ ε,n η^n W^{-1} T, which does not vanish on the constraint surface unless the smearing ε is homogeneous. The action (20) is written with local auxiliary fields τ0(t,x), π0(t,x), λ0(t,x), so the Hamiltonian constraint is naturally smeared by the local multiplier λ0(x). Footnote 9 asserts that the rank may be checked after substituting ε → ε̄, ε′ → ε̄′, but this is not a demonstration and does not address the status of the local constraint in the action as printed. Since the subsequent Legendre transformation to the nonlocal action (6) relies on this constraint structure, the equivalence claim is not yet supported.
- [Section III, between Eq. (20) and Eq. (21)] The reduction of the secondary constraint to π0,m = 0 is stated without proof: 'The latter looks awkward but simplifies to π0,m = 0 [13].' This step is essential for the inversion π0 = -Ê F H⊥ and for the final form of the action (6). Without a derivation or a precise statement of the conditions under which it holds, the reader cannot verify the equivalence of (20) and (21). Please provide the computation or at least a self-contained appendix.
- [Section III and footnote 5] The paper explicitly excludes the GR branch H⊥ = 0 and the cases W = 0 and W = -1 from the main analysis, yet claims that the new parameterized description correctly describes the GR branch (footnote 5). No argument is given for this claim, and the reduction to the original GUMG action on the GR branch is not demonstrated. In the exceptional case W = -1 (UMG), the paper appeals to the Henneaux-Teitelboim result, but the behavior of the new action for W = 0 is only sketched. Since these branches are part of the GUMG family, the equivalence claim should either cover them or explicitly state the conditions under which it applies.
minor comments (4)
- [Abstract and Section I] The term 'functionally incomplete symmetry' is used without definition; it should be defined in the introduction or in a footnote where it first appears.
- [Eq. (7) and Eq. (10)] The notation V = ∫1 for the background spatial volume is terse; spell it out as V = ∫_{t=const} dx 1, or define it explicitly in the text.
- [Section III, after Eq. (20)] The phrase 'universally valid homogeneous time parameterization' and the subsequent addition of 'average-free parts' is not clearly delineated; a step-by-step outline of the two-step construction would improve readability.
- [Throughout] The references to [13] are frequent and not specific; for example, 'The rank property may be checked using (19)' and 'simplifies to π0,m = 0 [13]'. Provide section or equation numbers in [13] for these claims so that the reader can locate the supporting arguments.
Circularity Check
No definitional circularity in the operator construction, but the central equivalence claim relies on an unproven constraint-algebra step deferred to the authors' companion paper [13].
-
self citation load bearing
[Section III, around Eq. (20) and the following paragraph; also Section V and Eqs. (18)-(19)]
"For the general GUMG model, this parameterization yields the equivalent parameterized action in the form ... (20) ... It can be verified that the rank of the matrix of Poisson brackets of constraints does not change, the gauge τ0−t=0 is accessible, and the reduction with respect to (π0+F H⊥, τ0−t) reproduce (16). ... The form of the new first-class constraint ... can be guessed from general principles. This is P_I = π0+F H⊥+ U^n_0 H_n ... The new first-class constraint ∫ ε P_I and the transverse diffeomorphisms ... generate the canonical gauge algebra of the model."
The claimed equivalence of the proposed action to GUMG rests on two load-bearing facts: (i) that the homogeneous time parameterization (20) preserves the constraint-bracket rank, and (ii) that ∫ ε P_I is a first-class generator of the gauge algebra with U^n_0 an on-shell multiplier solution. Neither is demonstrated in the letter for general nonconstant W. The letter says the rank can be 'verified' using (19), but (19) itself shows that the local constraint π0+F H⊥ has non-vanishing brackets with H_n for W≠const unless the smearing ε is homogeneous, while the printed action (20) contains local λ0(t,x); the resolution is not shown. The Conclusions defer all 'detailed discussion' and 'complete analysis of the gauge structure' to the companion paper [13], by the same author.
full rationale
The construction of the nonlocal operator (7) is not circular in the definitional sense: the paper defines E so that the constraint set π0+E F H⊥=0, π0,m=0 is equivalent to the original GUMG constraints, and the Legendre transformation from (20) to (21) and then to (6) is an explicit invertible rearrangement. The equation-of-state result p=Wρ is a reproduction of the known GUMG relation, not a prediction obtained from fitted parameters. The main circularity burden is the load-bearing self-citation: the rank-preservation and first-class property of P_I, which are essential for the equivalence of (20) to (16) and hence for the whole alternative action, are asserted rather than proven and are deferred to the same-author companion paper [13]. Because the explicit action and several consistency checks are given in the letter, the central claim still has independent content, but the derivation is not fully self-contained at its pivotal step.
Assumptions & free parameters
free parameters (1)
- Background spatial volume V =
Not fitted; arbitrary normalization scale (V = integral 1)
assumptions (4)
- domain assumption Spatial sections are compact, or the noncompact case is handled by the extension in [13], so averages over t = const hypersurfaces are well-defined.
- domain assumption F(sqrt(gamma)) is monotonic and W(sqrt(gamma)) is sign-definite; exceptional cases W = 0, W = -1, and Omega = 0 are excluded or treated separately.
- domain assumption The system is outside the GR branch H_perp = 0, where all constraints become first-class and the classification changes.
- domain assumption The original GUMG constraint structure from [11], including the secondary constraints (W F H_perp),m = 0, is correct.
Cite this review
Pith. "Pith review of Henneaux-Teitelboim Form of the Generalized Unimodular Gravity Action." pith.science (2026). https://pith.science/paper/3IP6IE7C
@misc{pith2026241216139,
author = {Pith},
title = {Pith review of: Henneaux-Teitelboim Form of the Generalized Unimodular Gravity Action},
year = {2026},
howpublished = {\url{https://pith.science/paper/3IP6IE7C}},
note = {Machine review of arXiv:2412.16139}
}
read the original abstract
We propose an alternative description of generalized unimodular gravity (GUMG), extending the Henneaux-Teitelboim approach to unimodular gravity (UMG). The central feature of this formulation is the consistent incorporation of time reparameterization, which enhances the gauge structure and reveals a spatial nonlocality hidden in the dynamics of the original formulation. We examine the resulting dynamics, emphasizing the effects of spatial nonlocality, and outline the constraint structure. We show that the gauge symmetry in the gravitational sector is extended by a functionally incomplete symmetry, as occurs in the unimodular gravity. However, in contrast to the latter, the resulting action is not fully diffeomorphism-invariant.
Reference graph
Works this paper leans on
-
[13]
C. W. Misner, K. S. Thorne, and J. A. Wheeler, Gravi- tation. San Francisco: W. H. Freeman, 1973
1973
-
[1]
with respect to the λ⊥, N ⊥, then introduce conjugate momenta πmn only for the spatial metric γmn. This yields a canonical theory on the phase space ( γmn , πmn) with a Hamiltonian density F (√γ )H⊥(γ, π) and primary constraints Hn(γ, π) = 0, cor- responding to spatial diffeomorphisms. The structures H⊥ and Hn are identical to the Hamiltonian and momen- tu...
-
[2]
The Cosmological Constant Problem,
S. Weinberg, “The Cosmological Constant Problem,” Rev. Mod. Phys. , vol. 61, pp. 1–23, 1989
work page 1989
-
[3]
A Unimodular Theory of Canonical Quantum Gravity,
W. G. Unruh, “A Unimodular Theory of Canonical Quantum Gravity,” Phys. Rev. D , vol. 40, p. 1048, 1989
work page 1989
-
[4]
A. Einstein, “Do gravitational fields play an essential part in the structure of the elementary particles of matter?,” Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys.) , vol. 1919, pp. 349–356, 1919
work page 1919
-
[5]
TASI Lectures on the Cosmological Con- stant,
R. Bousso, “TASI Lectures on the Cosmological Con- stant,” Gen. Rel. Grav. , vol. 40, pp. 607–637, 2008
work page 2008
-
[6]
How unimodu- lar gravity theories differ from general relativity at quan- tum level,
R. Bufalo, M. Oksanen, and A. Tureanu, “How unimodu- lar gravity theories differ from general relativity at quan- tum level,” Eur. Phys. J. C , vol. 75, no. 10, p. 477, 2015
work page 2015
-
[7]
Unimodular Theory of Grav- ity and the Cosmological Constant,
Y. J. Ng and H. van Dam, “Unimodular Theory of Grav- ity and the Cosmological Constant,” J. Math. Phys. , vol. 32, pp. 1337–1340, 1991
work page 1991
Show all 18 references
-
[8]
Darkness without dark matter and energy – generalized unimod- ular gravity,
A. O. Barvinsky and A. Y. Kamenshchik, “Darkness without dark matter and energy – generalized unimod- ular gravity,” Phys. Lett. B , vol. 774, pp. 59–63, 2017, arXiv: 1705.09470 [gr-qc]
2017 arXiv
-
[9]
Dynamical Structure and Definition of Energy in General Relativ- ity,
R. L. Arnowitt, S. Deser, and C. W. Misner, “Dynamical Structure and Definition of Energy in General Relativ- ity,” Phys. Rev. , vol. 116, pp. 1322–1330, 1959
1959
-
[10]
The Cosmologi- cal Constant and General Covariance,
M. Henneaux and C. Teitelboim, “The Cosmologi- cal Constant and General Covariance,” Phys. Lett. B , vol. 222, pp. 195–199, 1989
1989
-
[11]
Dynamics of the generalized unimodular gravity theory,
A. O. Barvinsky, N. Kolganov, A. Kurov, and D. Nes- terov, “Dynamics of the generalized unimodular gravity theory,” Phys. Rev. D , vol. 100, no. 2, p. 023542, 2019, arXiv: 1903.09897 [hep-th]
2019 arXiv
-
[12]
is not a constraint, but a factor in the nontrivial Hamiltonian density F (√γ )H⊥(γ, π). Dynamics do not preserve primary constraints Hn= 0 (for W ⁄= 0, 3) and the Dirac consistency procedure re- veals secondary constraints ( W (√γ )F (√γ )H⊥(γ, π) ) ,m = 0 , (14) which have a...
-
[14]
Henneaux and C
M. Henneaux and C. Teitelboim, Quantization of gauge systems. 1992
1992
-
[15]
Inflation in general- ized unimodular gravity,
A. O. Barvinsky and N. Kolganov, “Inflation in general- ized unimodular gravity,” Phys. Rev. D , vol. 100, no. 12, p. 123510, 2019, arXiv: 1908.05697 [gr-qc]
2019 arXiv
-
[16]
Alternative action for generalized uni- modular gravity
D. Nesterov, “Alternative action for generalized uni- modular gravity.” submitted for publication, 2025, arXiv: 2505.13548 [gr-qc]
2025 arXiv
-
[17]
unfortunate
is valid because the average-free part of the Hamiltonian density was constrained ( 14) prior to parameterization 6. In the general field theory, particularly for GUMG with nonconstant W (√γ ), a mechanical-like parametrization similar to ( 17) does not yield an equivalent theo...
-
[18]
Restricted gauge theory formalism and unimodular gravity,
A. O. Barvinsky and D. V. Nesterov, “Restricted gauge theory formalism and unimodular gravity,” Phys. Rev. D, vol. 108, no. 6, p. 065004, 2023, arXiv: 2212.13539 [hep- th]
2023 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.