pith. sign in

arxiv: 2606.22196 · v1 · pith:JDFWASBHnew · submitted 2026-06-20 · 🌀 gr-qc

Covariant virtual work and the d'Alembert-Lagrange formulation of general relativity

A. Cuevas , C. Ortiz This is my paper

Pith reviewed 2026-06-26 11:29 UTC · model grok-4.3

classification 🌀 gr-qc
keywords covariant virtual workd'Alembert-Lagrange principlegeneral relativityEinstein equationscosmological constantisoperimetric constraintideal reactionsmetric variations
0
0 comments X

The pith

Einstein field equations arise when total covariant virtual work vanishes on admissible metric variations.

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

The paper builds a covariant virtual work structure for spacetime geometry and applies the d'Alembert-Lagrange principle to it. General relativity is recovered as the case in which the total virtual work performed on allowed changes to the metric is zero, producing the Einstein equations without reference to an action integral. The same structure classifies reactions induced by constraints, separating ideal reactions that perform no virtual work from non-ideal ones that do. An isoperimetric constraint on four-volume yields the cosmological term as an ideal reaction whose magnitude is set by global spacetime averages. A reader would care because the cosmological constant then appears as a nonlocal geometric parameter fixed by admissibility rather than inserted by hand into an action.

Core claim

Within the covariant virtual work structure, the Einstein field equations arise when the total covariant virtual work vanishes on admissible metric variations. This constitutes a d'Alembert-Lagrange formulation of general relativity in which the field equations follow from a balance of virtual work rather than from the stationary character of an action. Constraints on the geometry generate reaction contributions that are classified according to whether they perform virtual work. In particular, an isoperimetric constraint produces a cosmological term that acts as an ideal reaction whose value is fixed by spacetime averages.

What carries the argument

The covariant virtual work structure defined on metric variations, which supplies a d'Alembert-Lagrange balance condition and classifies constraint reactions as ideal or non-ideal.

Load-bearing premise

A covariant virtual work can be assigned to metric variations on spacetime such that its total vanishing recovers the Einstein equations exactly.

What would settle it

An explicit calculation showing that the defined covariant virtual work does not vanish for the Schwarzschild metric (or any other known exact solution) when the Einstein equations hold.

read the original abstract

We develop a covariant virtual work structure and a corresponding d'Alembert-Lagrange principle for spacetime geometry. Within this framework, General Relativity arises as a particular realization of the principle, leading to a covariant d'Alembert-Lagrange formulation in which the Einstein field equations arise from the vanishing of total covariant virtual work on admissible metric variations, rather than from action extremality. The covariant virtual work structure provides a covariant classification of constraint-induced contributions, distinguishing ideal reactions, which perform no virtual work, from non-ideal sectors contribute explicitly to it. The structure extends naturally to one-sided admissibility conditions, yielding a covariant inequality structure. Constraints generate reaction terms. In particular, an isoperimetric constraint produces a cosmological term as an ideal reaction fixed by spacetime averages, so that the cosmological constant emerges as a global parameter determined by admissibility, reflecting an intrinsically nonlocal geometric origin.

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

2 major / 2 minor

Summary. The paper develops a covariant virtual work structure and corresponding d'Alembert-Lagrange principle for spacetime geometry. General Relativity is presented as a particular realization in which the Einstein field equations arise from the vanishing of total covariant virtual work on admissible metric variations (rather than action extremality). Constraints are classified covariantly into ideal reactions (performing no virtual work) and non-ideal sectors; an isoperimetric constraint is shown to generate the cosmological term as an ideal reaction fixed by spacetime averages, yielding a nonlocal geometric origin for the cosmological constant. The framework extends to one-sided admissibility conditions and a covariant inequality structure.

Significance. If the central equivalence holds, the work supplies an alternative constrained-dynamics formulation of GR that distinguishes reaction terms covariantly and derives the cosmological constant from an admissibility constraint rather than by hand. This could be useful for analyzing constrained systems, inequality conditions, and nonlocal aspects of geometry. The manuscript does not claim new predictions or falsifiable tests beyond re-expressing the standard equations; its value therefore rests on whether the virtual-work structure simplifies calculations or clarifies conceptual issues in constrained GR.

major comments (2)
  1. The central claim (abstract and §1) is that the Einstein equations are recovered exactly when total covariant virtual work vanishes on admissible variations. Without an explicit derivation showing that the virtual-work condition is equivalent to the Einstein tensor (rather than presupposing the usual variational structure), it is unclear whether the formulation is independent of the standard principle or merely a re-labeling. A concrete check against the contracted Bianchi identities or the standard Einstein-Hilbert variation would be required to establish this.
  2. The isoperimetric constraint (abstract) is asserted to fix the cosmological constant via spacetime averages as an ideal reaction. The manuscript must demonstrate that this average is determined solely by the admissibility condition and is not normalized post hoc to match the observed value; otherwise the emergence is not independent of the usual tuning problem.
minor comments (2)
  1. Notation for the covariant virtual work functional and the admissible variation space should be introduced with explicit definitions (e.g., in §2) to allow direct comparison with the usual tangent space of metrics.
  2. The extension to one-sided conditions and inequalities is mentioned only briefly; a short illustrative example (even in a simple case) would clarify the covariant inequality structure.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive review of our manuscript. We address each major comment below.

read point-by-point responses

  1. Referee: The central claim (abstract and §1) is that the Einstein equations are recovered exactly when total covariant virtual work vanishes on admissible variations. Without an explicit derivation showing that the virtual-work condition is equivalent to the Einstein tensor (rather than presupposing the usual variational structure), it is unclear whether the formulation is independent of the standard principle or merely a re-labeling. A concrete check against the contracted Bianchi identities or the standard Einstein-Hilbert variation would be required to establish this.

    Authors: The derivation in the paper starts from the covariant definition of virtual work for metric variations and imposes the d'Alembert-Lagrange principle directly, leading to the vanishing of the integral involving the Einstein tensor without invoking the Einstein-Hilbert action. We will revise the manuscript to include a dedicated paragraph or subsection that explicitly performs the check against the standard variation and confirms consistency with the contracted Bianchi identities, which are preserved due to the covariant nature of the virtual work. revision: yes

  2. Referee: The isoperimetric constraint (abstract) is asserted to fix the cosmological constant via spacetime averages as an ideal reaction. The manuscript must demonstrate that this average is determined solely by the admissibility condition and is not normalized post hoc to match the observed value; otherwise the emergence is not independent of the usual tuning problem.

    Authors: The isoperimetric constraint is a global admissibility condition on the metric variations, and the resulting reaction term is computed as the spacetime average required to enforce the constraint. This average is uniquely determined by the condition itself through the integral over the manifold, without any post-hoc adjustment to match observations. The emergence is thus independent of tuning. We will add further details in the relevant section to make this explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and description present the work as a reformulation of general relativity via a covariant virtual work structure and d'Alembert-Lagrange principle, where the Einstein equations are recovered when total virtual work vanishes on admissible metric variations. The isoperimetric constraint is described as yielding the cosmological term as an ideal reaction determined by spacetime averages, framed as an intrinsic nonlocal geometric feature rather than a fitted parameter. No equations, self-citations, or derivation steps are quoted that reduce the claimed result to its inputs by construction (e.g., no evidence that the virtual work is defined in terms of the Einstein tensor or that the constraint is normalized to observed values). The framework is self-contained as an alternative constrained-dynamics re-expression, with the central claim independent of load-bearing self-citations or fitted predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No concrete free parameters, axioms, or invented entities can be extracted from the abstract alone; the full manuscript would be required to identify any fitted scales, background assumptions, or new postulated quantities.

pith-pipeline@v0.9.1-grok · 5680 in / 1163 out tokens · 26958 ms · 2026-06-26T11:29:24.934949+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

68 extracted references · 2 canonical work pages

  1. [1]

    Einstein, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften , 844 (1915)

    A. Einstein, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften , 844 (1915)

    1915

  2. [2]

    Hilbert, Nachrichten von der Gesellschaft der Wis- senschaften zu Göttingen , 395 (1915)

    D. Hilbert, Nachrichten von der Gesellschaft der Wis- senschaften zu Göttingen , 395 (1915)

    1915

  3. [3]

    R. M. Wald,General Relativity(University of Chicago Press, 1984)

    1984

  4. [5]

    Chakraborty, Fundam

    S. Chakraborty, Fundam. Theor. Phys.187, 43 (2017), arXiv:1607.05986 [gr-qc]

    Pith/arXiv arXiv 2017

  5. [6]

    Parattu, S

    K. Parattu, S. Chakraborty, B. R. Majhi, and T. Padmanabhan, Gen. Rel. Grav.48, 94 (2016), arXiv:1501.01053 [gr-qc]

    Pith/arXiv arXiv 2016

  6. [7]

    Parattu, S

    K. Parattu, S. Chakraborty, and T. Padmanabhan, Eur. Phys. J. C76, 129 (2016), arXiv:1602.07546 [gr-qc]

    Pith/arXiv arXiv 2016

  7. [8]

    J. G. Papastavridis,Analytical Mechanics: A Compre- hensive Treatise on the Dynamics of Constrained Systems (Oxford University Press, Oxford, 2002)

    2002

  8. [9]

    Goldstein, C

    H. Goldstein, C. P. Poole, and J. L. Safko,Classical Me- chanics, 3rd ed. (Addison Wesley, Boston, 2002)

    2002

  9. [10]

    A. M. Bloch,Nonholonomic Mechanics and Control, 2nd ed. (Springer, 2015)

    2015

  10. [11]

    Zampieri, Journal of Differential Equations163, 335 (2000)

    G. Zampieri, Journal of Differential Equations163, 335 (2000)

    2000

  11. [12]

    M. R. Flannery, American Journal of Physics79, 931 (2011)

    2011

  12. [13]

    Lanczos,The Variational Principles of Mechanics, 4th ed

    C. Lanczos,The Variational Principles of Mechanics, 4th ed. (University of Toronto Press, Toronto, 1970)

    1970

  13. [14]

    F. R. Gantmakher,Lectures in Analytical Mechanics (Mir Publishers, Moscow, 1970)

    1970

  14. [15]

    D. B. Cline,Variational Principles in Classical Mechan- ics(University of Rochester, 2018) available online

    2018

  15. [16]

    Bernoulli, Principia calculi exponentialium (1717), cited via Lanczos (1970) or Truesdell and Toupin (1960)

    J. Bernoulli, Principia calculi exponentialium (1717), cited via Lanczos (1970) or Truesdell and Toupin (1960)

    1970

  16. [17]

    le Rond d’Alembert,Traité de dynamique(David l’Aîné, Paris, 1743)

    J. le Rond d’Alembert,Traité de dynamique(David l’Aîné, Paris, 1743)

  17. [18]

    Lagrange,Mécanique Analytique(Desaint, Paris, 1788)

    J.-L. Lagrange,Mécanique Analytique(Desaint, Paris, 1788)

  18. [19]

    Abraham, J

    R. Abraham, J. E. Marsden, and T. S. Ratiu,Mani- folds, Tensor Analysis, and Applications, 2nd ed., Ap- plied Mathematical Sciences, Vol. 75 (Springer, New York, 1988)

    1988

  19. [20]

    Bullo and A

    F. Bullo and A. D. Lewis,Geometric Control of Mechan- ical Systems: Modeling, Analysis, and Design for Simple Mechanical Control Systems, Texts in Applied Mathe- matics, Vol. 49 (Springer, New York, 2005)

    2005

  20. [21]

    Romano, Continuum Mechanics and Thermodynam- ics21, 369 (2009)

    G. Romano, Continuum Mechanics and Thermodynam- ics21, 369 (2009)

    2009

  21. [22]

    Zubelevich, Journal of Geometry and Physics150, 103600 (2020)

    O. Zubelevich, Journal of Geometry and Physics150, 103600 (2020)

    2020

  22. [23]

    Leok and T

    M. Leok and T. Ohsawa, Foundations of Computational Mathematics11, 529 (2011). 8

    2011

  23. [24]

    Yoshimura and J

    H. Yoshimura and J. E. Marsden, Journal of Geometry and Physics57, 133 (2006)

    2006

  24. [25]

    V. I. Arnold,Mathematical Methods of Classical Mechan- ics, 2nd ed. (Springer-Verlag, New York, 1989)

    1989

  25. [26]

    N. G. Chetayev,Theoretical Mechanics(Mir Publishers, Moscow, 1989) p. 407

    1989

  26. [27]

    Courant and D

    R. Courant and D. Hilbert,Methods of Mathematical Physics, Volume I(Interscience Publishers, 1953)

    1953

  27. [28]

    I. M. Gelfand and S. V. Fomin,Calculus of Variations (Prentice-Hall, Englewood Cliffs, NJ, 1963)

    1963

  28. [29]

    Khavkine, Journal of Mathematical Physics54, 10.1063/1.4828666 (2013)

    I. Khavkine, Journal of Mathematical Physics54, 10.1063/1.4828666 (2013)

    work page doi:10.1063/1.4828666 2013

  29. [30]

    Barnich, P

    G. Barnich, P. Mao, and R. Ruzziconi, PoS CORFU2019, 171 (2020), arXiv:2004.15002 [gr-qc]

    arXiv 2020

  30. [31]

    Ðorđe Ðukić, Publications de l’Institut Mathématique 91, 49 (2012)

    2012

  31. [32]

    J. James W. York, Journal of Mathematical Physics14, 456 (1973)

    1973

  32. [33]

    Lee and R

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

    1990

  33. [34]

    Fassò and N

    F. Fassò and N. Sansonetto, Regular and Chaotic Dy- namics15, 449 (2010)

    2010

  34. [35]

    F. E. Udwadia and R. E. Kalaba, Journal of Aerospace Engineering13, 17 (2000)

    2000

  35. [36]

    F. E. Udwadia, Journal of Applied Mechanics69, 335 (2002)

    2002

  36. [37]

    F. E. Udwadia and H. Hee-Chang, Journal of Applied Mechanics72, 607 (2005)

    2005

  37. [38]

    J. E. Solomin and M. Zuccalli, Quarterly of Applied Mathematics63, 191 (2005)

    2005

  38. [39]

    Lovelock, Journal of Mathematical Physics12, 498 (1971)

    D. Lovelock, Journal of Mathematical Physics12, 498 (1971)

    1971

  39. [40]

    J. L. Anderson and D. Finkelstein, American Journal of Physics39, 901 (1971)

    1971

  40. [41]

    Buchmüller and N

    W. Buchmüller and N. Dragon, Physics Letters B207, 292 (1988)

    1988

  41. [42]

    Capozziello, J

    S. Capozziello, J. Matsumoto, S. Nojiri, and S. D. Odintsov, Physics Letters B693, 198 (2010)

    2010

  42. [43]

    C. Gao, Y. Gong, X. Wang, and X. Chen, Physics Letters B702, 107 (2011)

    2011

  43. [44]

    A. Y. Kamenshchik, A. Tronconi, and G. Venturi, JETP Letters111, 416 (2020)

    2020

  44. [45]

    Kichenassamy, Annals of Physics168, 404 (1986)

    S. Kichenassamy, Annals of Physics168, 404 (1986)

    1986

  45. [46]

    J. L. Safko and F. Elston, Journal of Mathematical Physics17, 1531 (1976)

    1976

  46. [47]

    Grøn and S

    Ø. Grøn and S. Hervik,Einstein ’s General Theory of Relativity: With Modern Applications in Cosmology (Springer, 2007)

    2007

  47. [48]

    J. M. Lee,Introduction to Smooth Manifolds, 2nd ed., Graduate Texts in Mathematics, Vol. 218 (Springer, 2013)

    2013

  48. [50]

    Gay-Balmaz and H

    F. Gay-Balmaz and H. Yoshimura, Journal of Geometry and Physics111, 169 (2017), arXiv:1602.02894 [math- ph]

    Pith/arXiv arXiv 2017

  49. [51]

    Segrè, Memorie della Reale Accademia dei Lincei19, 127 (1884)

    C. Segrè, Memorie della Reale Accademia dei Lincei19, 127 (1884)

  50. [52]

    Plebanski, Acta Phys

    J. Plebanski, Acta Phys. Polon.V ol: 26(1964)

    1964

  51. [53]

    S. W. Hawking and G. F. R. Ellis,The Large Scale Struc- ture of Space-Time, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 2023)

    2023

  52. [54]

    Martin-Moruno and M

    P. Martin-Moruno and M. Visser, Phys. Rev. D103, 124003 (2021), arXiv:2102.13551 [gr-qc]

    arXiv 2021

  53. [55]

    York, Found

    J. York, Found. Phys.16, 249 (1986)

    1986

  54. [56]

    G. W. Gibbons and S. W. Hawking, Phys. Rev. D15, 2752 (1977)

    1977

  55. [57]

    Iyer and R

    V. Iyer and R. M. Wald, Phys. Rev. D50, 846 (1994), arXiv:gr-qc/9403028

    Pith/arXiv arXiv 1994

  56. [58]

    R. M. Wald, Phys. Rev. D48, R3427 (1993), arXiv:gr- qc/9307038

    arXiv 1993

  57. [59]

    Donnelly and L

    W. Donnelly and L. Freidel, JHEP09, 102, arXiv:1601.04744 [hep-th]

    Pith/arXiv arXiv

  58. [60]

    I. Jubb, J. Samuel, R. Sorkin, and S. Surya, Classical and Quantum Gravity34, 065006 (2017), arXiv:1612.00149 [gr-qc]

    Pith/arXiv arXiv 2017

  59. [61]

    Hopfmüller and L

    F. Hopfmüller and L. Freidel, Physical Review D95, 104006 (2017), arXiv:1611.03096 [gr-qc]

    Pith/arXiv arXiv 2017

  60. [62]

    Rumyantsev, Pmm Journal of Applied Mathematics and Mechanics - PMM J APPL MATH MECH-ENGL TR70, 808 (2006)

    V. Rumyantsev, Pmm Journal of Applied Mathematics and Mechanics - PMM J APPL MATH MECH-ENGL TR70, 808 (2006)

    2006

  61. [63]

    R. I. Leine, U. Aeberhard, and C. Glocker, Multibody System Dynamics 10.1007/s11044-009-9048-z (2009)

    work page doi:10.1007/s11044-009-9048-z 2009

  62. [64]

    Kaloper and A

    N. Kaloper and A. Padilla, Physical Review Letters112, 091304 (2014)

    2014

  63. [65]

    S. M. Carroll and G. N. Remmen, Physical Review D95, 123504 (2017)

    2017

  64. [66]

    Arkani-Hamed, S

    N. Arkani-Hamed, S. Dimopoulos, N. Kaloper, and R. Sundrum, Physics Letters B480, 193 (2000)

    2000

  65. [67]

    R. P. Woodard, Foundations of Physics44, 213 (2014)

    2014

  66. [68]

    Einstein, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften (Berlin) , 142 (1917)

    A. Einstein, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften (Berlin) , 142 (1917)

    1917

  67. [69]

    W. G. Unruh, Physical Review D40, 1048 (1989)

    1989

  68. [70]

    Henneaux and C

    M. Henneaux and C. Teitelboim, Physics Letters B222, 195 (1989)

    1989