REVIEW 4 major objections 4 minor 5 references
Covariant Constructive Gravity
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Requiring diffeomorphism invariance reduces the perturbative construction of gravitational equations of motion to a linear-algebra problem around Minkowski space, and in the metric case the second-order result coincides with the Einstein…
desk verdict A promising covariant perturbative reformulation of constructive gravity, but the standalone paper defers the load-bearing derivations to an unavailable companion. 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 pair of linear systems (6) and (7), which encode diffeomorphism invariance order by order around Minkowski space. They arise from the PDE system (4) satisfied by any diffeomorphism-equivariant Euler–Lagrange expression, evaluated at an expansion point induced by the flat metric; the only input that depends on the gravitational field is the constant tensor $C^{Bm}_{An}$ describing the Lie-algebra action of vector fields on the bundle. A second piece of machinery is the principal polynomial of a system of PDEs—the polynomial whose vanishing set gives the characteristic cones, hence the admissible initial-data hypersurfaces—which the paper uses to impose causal compatibility between matter and gravitational equations.
What would settle it
Take the second-order metric expansion produced by the paper, substitute it into the exact equivariance condition (1) for a one-parameter family of finite diffeomorphisms, and check whether invariance holds; if it fails, the linear systems (6)/(7) are necessary but not sufficient, and the construction does not actually produce diffeomorphism-invariant dynamics.
Extended reading notes
Core claim
The central claim is that the hard PDE problem of constructing diffeomorphism-invariant gravitational Lagrangians can be solved perturbatively by linear algebra. Starting from the equivariance condition (1), the paper uses the Lie-algebra-level conditions (2) for the Lagrangian and (4) for the equations of motion, then expands around an η-induced point where the flat Minkowski metric lives and derivative coordinates vanish. The expansion coefficients are built from $\eta_{ab}$ and $\epsilon_{abcd}$; substituting into (4) and prolonging yields the linear systems (6) and (7), which constrain the coefficients at linear and quadratic order. Solving these systems for the metric field leaves a single overall constant and produces a second-order expansion of the equations of motion that the paper identifies with the Einstein field equations. For the area metric, the same procedure yields free masses and gravitational constants, and the principal polynomial of the resulting equations is shown to agree, up to a density factor, with the GLED principal polynomial, so the two systems are causally compatible.
Load-bearing premise
The load-bearing premise is that “invariance under all spacetime coordinate changes” is exactly the same as a particular list of differential equations written down in the paper, with the proof of that equivalence left to a reference that is not yet available.
Editorial extensions
If this is right
- For any tensorial background field, the procedure is algorithmic: compute the structure tensor $C$, write the most general expansion coefficients from $\eta$ and $\epsilon$, and solve linear systems at each order.
- In the metric case, the second-order expansion of the equations of motion has a single free overall constant and matches the Einstein field equations, so general relativity is recovered without postulating it.
- For area metric gravity, the constructed equations are automatically causally compatible with general linear electrodynamics to second order: their principal polynomials have the same vanishing set, so matter and gravity can share initial-data hypersurfaces.
- The same derivation can be repeated for other choices of the background tensor field, since the only field-dependent input is the Lie-algebra structure tensor.
- The causality requirement adds no new restriction in the metric example, because the principal polynomial of the gravitational equations has the same vanishing set as the Klein–Gordon polynomial already at second order.
Reading between the lines
- A natural next step, not taken in the paper, is to push the metric construction to third order; if the linear systems continue to reproduce the Einstein–Hilbert expansion, the perturbative reduction is likely complete, whereas new free constants would signal that the method only captures a subset of diffeomorphism-invariant theories.
- The area-metric example suggests that causal compatibility may be a derived rather than an imposed condition: the diffeomorphism-invariant equations already match the matter characteristic variety, at least to second order. Testing a second matter theory on the same background would show whether this is a general pattern.
- Because the ansatz uses only $\eta_{ab}$ and $\epsilon_{abcd}$, the method is tailored to four spacetime dimensions; applying it with a different background expansion point could reveal how the number of gravitational constants depends on dimension and signature.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a perturbative method, called covariant constructive gravity, for completing a given matter action with diffeomorphism-invariant equations of motion for a background tensor field G. It asserts that the diffeomorphism-invariance condition (1) is equivalent to the first-order PDE system (2) for the Lagrangian and to the analogous system (4) for the Euler-Lagrange expressions, and that expanding around Minkowski space reduces these to the linear systems (6) and (7). The metric example claims to reproduce the Einstein equations in quadratic order, and the area-metric example claims that the constructed gravitational dynamics are causally compatible with general linear electrodynamics. The central derivations are deferred to Ref. 2, listed as 'in preparation', and the metric/Einstein comparison is stated without displaying the computation.
Significance. If established, the method would be a useful tool: it would systematically reduce the construction of diffeomorphism-invariant gravitational dynamics to solving linear algebraic systems order by order, and it would allow a direct comparison of characteristic cones with the matter equations. The jet-bundle formulation and the power-series strategy are natural and potentially valuable. However, the paper as submitted does not provide enough support for these claims: the key equivalence is unproved and deferred, one expansion step is based on an incorrect general statement, and the validation examples are not shown. The significance is therefore conditional on the missing derivations.
major comments (4)
- [Section 2, Eqs. (2) and (4)] The foundational claim that diffeomorphism invariance (1) is equivalent to the PDE system (2), and that the Euler-Lagrange expressions consequently satisfy (4), is stated as 'can be shown' with details deferred to Ref. 2, which is unpublished. No derivation, sketch, or reference to a published proof is provided. Since Eqs. (6)-(7) and both examples in Sections 3 and 4 build on this equivalence, the manuscript currently does not contain a verifiable basis for its central claim. A revision must either include the derivation of (2) and (4) or cite a published source.
- [Section 2, Eq. (5)] The statement that 'any linear terms are neglected as they do not contribute to the EOM' is not generally true. A term c_A (v^A - N^A) in the Lagrangian produces a constant contribution c_A in the Euler-Lagrange expression E_A, which vanishes only for c_A = 0 or under additional conditions that are not stated. In the metric example the linear coefficients are later found to vanish after solving (6), but the general assertion before Eq. (5) is incorrect as written. The paper should prove that the equivariance equations force such coefficients to vanish, or treat them explicitly in the expansion.
- [Section 3.1, after Eq. (10)] The claim that the computed quadratic expansion of the equations of motion 'coincides' with the Einstein field equations is made without displaying the expansion of E_A or showing the comparison. This is a load-bearing validation of the method, and the reader cannot check it from the text. The authors should include the explicit second-order EOM and identify the overall constant with the gravitational coupling.
- [Sections 3.2 and 4] The area-metric example is summarized only by counts of constants ('3 masses and 7 gravitational constants in linear order'), and the principal polynomial Parea in Eq. (17) is stated as 'calculated as' without derivation; the details are deferred to Ref. 2. Since the causal-compatibility argument is a second central pillar of the paper, the relevant calculation must appear in the present manuscript.
minor comments (4)
- [Section 2, Eq. (5)] The sentence 'Terms with an odd number of indices are neglected' conflicts with the displayed expansion, which explicitly retains the three-index terms L:A:B:C|x0 and L:Ap:Bq:C|x0. Please clarify what is meant by 'odd number of indices' and reconcile this statement with Eq. (5).
- [Section 3.1, Eq. (8)] The action is written as S_KG[Φ; gab) with a closing parenthesis; the notation should be made consistent, e.g., S_KG[Φ; gab].
- [Abstract and page 1] The phrase 'in variance' in the abstract and on page 1 should be 'invariance'.
- [Section 2, Eq. (6)] The notation 'where ... = (pqm) denotes the total symmetrization in pqm for the whole equation' is confusing; please define the symmetrization operation on the displayed equation explicitly.
Circularity Check
No circular reduction found; the main limitation is that key derivations are deferred to a same-author 'in preparation' companion paper, which is a missing-support concern rather than circularity.
full rationale
I find no circular step in the paper's derivation chain. The construction starts from diffeomorphism equivariance, Eq. (1), and the stated equivalent PDE systems (2) and (4); the linear systems (6) and (7) are derived consequences, not fitted inputs. In the metric example, the expansion coefficients are solved from those linear systems and the resulting EOM are then compared with the Einstein field equations, so the Einstein equations are the target of comparison, not an input. In the area-metric example, the causal-compatibility check uses the free coefficients b1 and b2 in an overall density X in Eq. (15), which does not change the vanishing set of the GLED principal polynomial; these coefficients are not used to adjust the gravitational constants obtained from (6) and (7). If anything, the causal match is a consistency result, not a fitted prediction. The genuine weakness is that the paper repeatedly defers substantial derivation details to Ref. 2, a companion paper by the same authors listed as 'in preparation', e.g. 'Details concerning the derivation of these equations can be found in Ref. 2' and 'Details regarding this particular example can be found in Ref. 2'. This is an omitted-proof or missing-support issue, and the asserted equivalence underlying the whole reduction is load-bearing; but it is anchored in the external Ref. 3 (Gotay et al.) and is not a reduction of the paper's conclusions to its own inputs by construction. Accordingly, I do not flag a circular step; the score of 2 reflects the minor same-author citation used for central derivations, not an established circularity.
Assumptions & free parameters
free parameters (4)
- Linear-order gravitational constants in area metric gravity
- Linear-order mass constants in area metric gravity
- Quadratic-order gravitational constants in area metric gravity
- Quadratic-order mass constants in area metric gravity
assumptions (5)
- domain assumption Diffeomorphism equivariance (1) is equivalent to the PDE system (2) for the Lagrangian and the system (4) for the EOM.
- domain assumption At the eta-induced expansion point, all expansion coefficients of a diffeomorphism-invariant Lagrangian are linear combinations of products of eta_ab and epsilon_abcd.
- domain assumption The expansion point is the flat Minkowski metric and the perturbative expansion around it is physically meaningful.
- domain assumption Matter and gravitational theories are causally compatible if their principal polynomials have the same vanishing set, i.e. the same admissible initial data hypersurfaces.
- standard math The principal polynomial of general linear electrodynamics is as given by Rubilar.
Cite this review
Pith. "Pith review of Covariant Constructive Gravity." pith.science (2026). https://pith.science/paper/3FNGOVOF
@misc{pith2026190900168,
author = {Pith},
title = {Pith review of: Covariant Constructive Gravity},
year = {2026},
howpublished = {\url{https://pith.science/paper/3FNGOVOF}},
note = {Machine review of arXiv:1909.00168}
}
read the original abstract
We present a method of constructing perturbative equations of motion for the geometric background of any given tensorial field theory. Requiring invariance of the gravitational dynamics under spacetime diffeomorphisms leads to a PDE system for the gravitational Lagrangian that can be solved by means of a power series ansatz. Furthermore, in each order we pose conditions on the causality of the gravitational equations, that ensure coevolution of the matter fields and the gravitational background is possible, i.e. gravitational equations and matter equations share the same initial data hypersurfaces.
Reference graph
Works this paper leans on
-
[1]
M. D¨ ull, F.P. Schuller, N. Stritzelberger and F. Wolz, (Phys. Rev. D 97, 084036, 2018), arXiv:1611.08878 [gr-qc]
arXiv 2018
- [2]
- [3]
-
[4]
Seiler and R.W.Tucker, (J.Phys
W.M. Seiler and R.W.Tucker, (J.Phys. A28 4431-4452, 1995), arXiv:hep-th/9506017 [hep-th]
arXiv 1995
-
[5]
G.F. Rubilar, Y.N. Obukov and F.W. Hehl, (Int. J. Mod. Phys. D11, 1 227, 2002), arXiv:gr-qc/0109012 [gr-qc]
work page Pith review arXiv 2002
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.