pith. sign in

arxiv: 2510.03082 · v3 · submitted 2025-10-03 · 🌀 gr-qc

Using Gauge Covariant Lie Derivatives in Poincar\'{e} Gauge and Metric Teleparallel Theories of Gravity

R. J. van den Hoogen , H. Forance , L. Taylor , M. Lawton This is my paper

Pith reviewed 2026-05-18 10:33 UTC · model grok-4.3

classification 🌀 gr-qc
keywords gauge covariant Lie derivativeRiemann-Cartan geometryspin connectionco-framecontinuous symmetriesmetric teleparallel gravityzero curvature constraintisotropy subgroup
0
0 comments X p. Extension

The pith

A gauge covariant Lie derivative determines the co-frame and spin connection for Riemann-Cartan geometries respecting given continuous symmetries.

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

The paper outlines a procedure to fix the initial forms of the co-frame and spin connection in a Riemann-Cartan spacetime that respects a chosen group of continuous symmetries. Assuming an orthonormal gauge, the gauge covariant Lie derivative is applied to the metric and co-frame to produce an antisymmetric compensating matrix. Differentiating this matrix then supplies the compatible spin connection. The same symmetry group is used to solve the zero curvature constraint for the spin connection in the corresponding metric teleparallel geometry. Examples include spherically symmetric, plane symmetric, locally rotationally symmetric Bianchi type III, Gödel, de Sitter, and anti-de Sitter cases, plus the Lorentz transformations to proper frames in some teleparallel versions.

Core claim

Given a particular group of symmetries and assuming an orthonormal gauge, the gauge covariant Lie derivative applied to the metric and co-frame determines the values of an antisymmetric compensating matrix whose derivative yields the corresponding spin connection. This produces the initial ansatz for the co-frame and spin connection in any Riemann-Cartan geometry respecting the symmetry group, including those with non-trivial isotropy. The zero curvature constraint is then solved to obtain the spin connection for the metric teleparallel geometry with the same symmetry, and Lorentz transformations to the proper frame are identified for several cases.

What carries the argument

The gauge covariant Lie derivative applied to the metric and co-frame, which produces an antisymmetric compensating matrix whose derivative supplies the symmetry-compatible spin connection.

If this is right

  • The procedure applies to any Riemann-Cartan geometry possessing a group of continuous symmetries, including cases with non-trivial isotropy.
  • Solving the zero curvature constraint produces the spin connection for the metric teleparallel geometry sharing the same symmetry group.
  • Lorentz transformations exist that yield the proper frame for some of the resulting metric teleparallel geometries.

Where Pith is reading between the lines

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

  • The method supplies symmetry-reduced starting points that could simplify exact solution searches in torsion-based gravity theories.
  • The same compensating-matrix construction might extend to symmetry reduction in other gauge formulations of gravity.
  • Direct comparison of the Riemann-Cartan and teleparallel spin connections for identical symmetry groups could clarify their physical equivalence or differences.

Load-bearing premise

An orthonormal gauge exists such that the gauge covariant Lie derivative applied to the metric and co-frame produces a well-defined antisymmetric compensating matrix for the given symmetry group, even when the isotropy subgroup is non-trivial.

What would settle it

Apply the procedure to Minkowski space with translational symmetry and check whether the resulting co-frame is the standard flat frame and the derived spin connection vanishes.

read the original abstract

A procedure to determine the initial ansatz for the co-frame and spin connection characterizing a Riemann-Cartan geometry respecting a given group of continuous symmetries is illustrated. Given a particular group of symmetries and assuming an orthonormal gauge we can determine the co-frame and corresponding spin connection having this symmetry group by employing an gauge covariant Lie derivative. This gauge covariant Lie derivative when applied to the metric and co-frame determines the values of an antisymmetric compensating matrix. The derivative of this matrix then yields the corresponding spin connection. The procedure is straightforward and can be employed for any Riemann-Cartan geometry having symmetries including those with a non-trivial isotropy subgroup. Here we illustrate the procedure with numerous examples, including, spherically symmetric, plane symmetric, locally rotationally symmetric Bianchi type III, G\"{o}del, de Sitter and anti-de Sitter geometries. Further, we have also solved the zero curvature constraint to obtain the resulting spin connection for the corresponding metric teleparallel geometry having this same symmetry group. We complete this investigation by including the Lorentz transformation that yields the proper frame for some of these metric teleparallel geometries.

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 manuscript outlines a procedure for constructing initial ansatze for the co-frame and spin connection in Riemann-Cartan geometries that respect a specified group of continuous symmetries. By assuming an orthonormal gauge and applying a gauge covariant Lie derivative to the metric and co-frame, an antisymmetric compensating matrix is determined, from which the spin connection is obtained via differentiation. The approach is applied to several spacetimes including spherically symmetric, plane symmetric, locally rotationally symmetric Bianchi type III, Gödel, de Sitter, and anti-de Sitter geometries. The zero-curvature constraint is solved to find the spin connection in the metric teleparallel case, and Lorentz transformations to the proper frame are provided for some examples.

Significance. If the central construction is shown to be free of gauge artifacts, the method supplies a systematic, parameter-free route to symmetry-reduced ansatze in Poincaré gauge theory and metric teleparallel gravity. The explicit treatment of multiple examples (including those with non-trivial isotropy) and the direct solution of the zero-curvature constraint for the teleparallel sector constitute concrete strengths that could facilitate exact-solution searches in these frameworks.

major comments (2)
  1. [LRS Bianchi III and Gödel examples] The procedure's central step—application of the gauge covariant Lie derivative to the co-frame and metric in an assumed orthonormal gauge to obtain an antisymmetric compensating matrix—must be shown to remain well-defined and free of gauge-fixing artifacts when the isotropy subgroup is non-trivial. This is load-bearing for the claim that the resulting spin connection respects the full symmetry group in the LRS Bianchi III and Gödel cases.
  2. [Zero-curvature constraint and teleparallel spin connection] The zero-curvature solution for the metric teleparallel spin connection is obtained by direct inheritance of the same compensating matrix; any failure of antisymmetry or invariance under the full symmetry group in the Riemann-Cartan construction would propagate unchanged to the teleparallel connection and the subsequent Lorentz transformation to the proper frame.
minor comments (2)
  1. The notation for the compensating matrix and its relation to the spin connection would benefit from a single, numbered defining equation early in the text.
  2. Explicit comparison of the derived spin connections against known limits (e.g., the torsion-free case for de Sitter) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which help clarify the scope and robustness of the proposed procedure. We address each major comment point by point below. Revisions have been made to strengthen the presentation for cases with non-trivial isotropy while preserving the original results and examples.

read point-by-point responses

  1. Referee: [LRS Bianchi III and Gödel examples] The procedure's central step—application of the gauge covariant Lie derivative to the co-frame and metric in an assumed orthonormal gauge to obtain an antisymmetric compensating matrix—must be shown to remain well-defined and free of gauge-fixing artifacts when the isotropy subgroup is non-trivial. This is load-bearing for the claim that the resulting spin connection respects the full symmetry group in the LRS Bianchi III and Gödel cases.

    Authors: We agree that explicit confirmation of well-definedness for non-trivial isotropy is valuable. The manuscript already constructs explicit co-frames and spin connections for the LRS Bianchi III and Gödel spacetimes by direct application of the gauge covariant Lie derivative in the orthonormal gauge, and these ansatzes satisfy the full symmetry group (including isotropy) by construction, as verified through the Killing vector fields. In the revised manuscript we have added a clarifying paragraph after the general procedure (new Section 2.3) that demonstrates the compensating matrix remains antisymmetric because the Lie derivative of the metric vanishes identically in the orthonormal frame, independent of the isotropy subgroup. The resulting spin connection is then shown to be invariant under the complete symmetry algebra by direct computation on the explicit forms for both the LRS Bianchi III and Gödel cases. This addition removes any ambiguity about gauge artifacts while leaving the original expressions unchanged. revision: yes

  2. Referee: [Zero-curvature constraint and teleparallel spin connection] The zero-curvature solution for the metric teleparallel spin connection is obtained by direct inheritance of the same compensating matrix; any failure of antisymmetry or invariance under the full symmetry group in the Riemann-Cartan construction would propagate unchanged to the teleparallel connection and the subsequent Lorentz transformation to the proper frame.

    Authors: We concur that the teleparallel spin connection inherits the compensating matrix from the Riemann-Cartan construction. Because the revised manuscript now contains the explicit verification that the Riemann-Cartan compensating matrix is antisymmetric and yields a symmetry-respecting connection for the LRS Bianchi III and Gödel examples, the same matrix produces a flat teleparallel connection that inherits these properties. We have added a short paragraph in the teleparallel section confirming that the solved zero-curvature spin connections remain antisymmetric and invariant under the full symmetry group for these two cases, and that the subsequent Lorentz transformations to the proper frame preserve the symmetry. The explicit solutions already provided in the original manuscript therefore continue to satisfy all required conditions. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the geometric procedure

full rationale

The paper presents a direct construction: apply the gauge covariant Lie derivative to the metric and co-frame in an explicitly assumed orthonormal gauge to obtain an antisymmetric compensating matrix, then take its derivative to yield the spin connection. This ansatz is used to solve the zero-curvature constraint for the metric teleparallel case, with the full procedure illustrated on concrete examples (spherical, plane-symmetric, LRS Bianchi III, Gödel, de Sitter, anti-de Sitter). No step reduces by definition to its output, no parameters are fitted to data and then relabeled as predictions, and no load-bearing premise rests solely on a self-citation whose authors overlap with the present work. The listed examples function as independent verification rather than circular inputs, and the zero-curvature solution is obtained by direct substitution of the derived connection. The derivation chain is therefore self-contained within standard operations of differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no free parameters, no new invented entities, and relies only on standard background assumptions from differential geometry and gauge theories of gravity.

axioms (2)
  • domain assumption Existence and well-definedness of a gauge covariant Lie derivative on the co-frame and metric in Poincaré gauge theory
    The procedure begins by applying this operator; the abstract treats it as given for Riemann-Cartan geometries.
  • domain assumption An orthonormal gauge can always be chosen for the geometries under consideration
    The abstract states that the procedure assumes an orthonormal gauge to determine the compensating matrix.

pith-pipeline@v0.9.0 · 5743 in / 1561 out tokens · 41248 ms · 2026-05-18T10:33:10.747498+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.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · 5 internal anchors

  1. [1]

    Stephani, D

    H. Stephani, D. Kramer, M.A.H. MacCallum, C. Hoenselaers and E. Herlt,Exact solutions of Einstein’s field equations, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, UK (2003), 10.1017/CBO9780511535185

    work page doi:10.1017/cbo9780511535185 2003

  2. [2]

    Chinea,Symmetries in tetrad theories,Classical and Quantum Gravity5(1988) 135

    F.J. Chinea,Symmetries in tetrad theories,Classical and Quantum Gravity5(1988) 135

    work page 1988

  3. [3]

    Fonseca-Neto, M.J

    J.B. Fonseca-Neto, M.J. Rebou¸ cas and A.F.F. Teixeira,The equivalence problem in torsion theories of gravitation,J. Math. Phys.33(1992) 2574

    work page 1992

  4. [4]

    Fonseca,The equivalence problem in parallel gravity,International Journal of Modern Physics17(2002) 4161

    J. Fonseca,The equivalence problem in parallel gravity,International Journal of Modern Physics17(2002) 4161

    work page 2002

  5. [5]

    Hohmann,Metric-affine Geometries With Spherical Symmetry,Symmetry12(2020) 453 [1912.12906]

    M. Hohmann,Metric-affine Geometries With Spherical Symmetry,Symmetry12(2020) 453 [1912.12906]

    work page arXiv 2020

  6. [6]

    Hohmann, L

    M. Hohmann, L. J¨ arv, M. Krˇ sˇ s´ ak and C. Pfeifer,Modified teleparallel theories of gravity in symmetric spacetimes,Phys. Rev. D100(2019) 084002 [1901.05472]

    work page arXiv 2019

  7. [7]

    McNutt, A.A

    D.D. McNutt, A.A. Coley and R.J. van den Hoogen,A frame based approach to computing symmetries with non-trivial isotropy groups,J. Math. Phys.64(2023) 032503 [2302.11493]

    work page arXiv 2023

  8. [8]

    McNutt, A.A

    D.D. McNutt, A.A. Coley and R.J. van den Hoogen,Symmetries in Riemann-Cartan Geometries,SIGMA20(2024) 078 [2401.00780]

    work page arXiv 2024

  9. [9]

    Hohmann and V

    M. Hohmann and V. Karanasou,Symmetric teleparallel connection and spherical solutions in symmetric teleparallel gravity,Phys. Rev. D111(2025) 064057 [2412.11730]

    work page arXiv 2025

  10. [10]

    Metric-Affine Gauge Theory of Gravity: Field Equations, Noether Identities, World Spinors, and Breaking of Dilation Invariance

    F.W. Hehl, J.D. McCrea, E.W. Mielke and Y. Ne’eman,Metric affine gauge theory of gravity: Field equations, Noether identities, world spinors, and breaking of dilation invariance,Physics Reports258(1995) 1 [gr-qc/9402012]

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  11. [11]

    Obukhov and D

    Y.N. Obukhov and D. Puetzfeld,Multipolar test body equations of motion in generalized gravity theories,Fund. Theor. Phys.179(2015) 67 [1505.01680]

    work page arXiv 2015

  12. [12]

    Bahamonde, K

    S. Bahamonde, K.F. Dialektopoulos, C. Escamilla-Rivera, G. Farrugia, V. Gakis, M. Hendry et al.,Teleparallel gravity: from theory to cosmology,Rept. Prog. Phys.86(2023) 026901 [2106.13793]

    work page arXiv 2023

  13. [13]

    Coley, R.J

    A.A. Coley, R.J. van den Hoogen and D.D. McNutt,Symmetry and Equivalence in Teleparallel Gravity,J. Math. Phys.61(2020) 072503 [1911.03893]. – 23 –

    work page arXiv 2020

  14. [14]

    Coley, R.J

    A.A. Coley, R.J. van den Hoogen and D.D. McNutt,Symmetric teleparallel geometries,Class. Quant. Grav.39(2022) 22LT01 [2205.10719]

    work page arXiv 2022

  15. [15]

    Coley, A

    A.A. Coley, A. Landry, R.J. van den Hoogen and D.D. McNutt,Generalized teleparallel de Sitter geometries,Eur. Phys. J. C83(2023) 977 [2307.12930]

    work page arXiv 2023

  16. [16]

    Lichnerowicz,Spineurs Harmoniques,Comptes Rendus de l’Acad´ emie des Sciences257 (1963) 7

    A. Lichnerowicz,Spineurs Harmoniques,Comptes Rendus de l’Acad´ emie des Sciences257 (1963) 7

    work page 1963

  17. [17]

    Kosmann,D´ eriv´ ees de Lie des spineurs,Comptes Rendus de l’Acad´ emie des Sciences, Series A262(1966) 289

    Y. Kosmann,D´ eriv´ ees de Lie des spineurs,Comptes Rendus de l’Acad´ emie des Sciences, Series A262(1966) 289

    work page 1966

  18. [18]

    Kosmann,D´ eriv´ ees de Lie des spineurs,Annali Mat

    Y. Kosmann,D´ eriv´ ees de Lie des spineurs,Annali Mat. Pura Appl.91(1971) 317

    work page 1971

  19. [19]

    Vandyck,On the problem of space-time symmetries in the theory of supergravity,Gen

    M.A.J. Vandyck,On the problem of space-time symmetries in the theory of supergravity,Gen. Rel. Grav.20(1988) 261

    work page 1988

  20. [20]

    Vandyck,On the problem of space-time symmetries in the theory of supergravity

    M.A. Vandyck,On the problem of space-time symmetries in the theory of supergravity. Part II: N= 2supergravity and spinorial Lie derivatives,Gen. Rel. Grav.20(1988) 905

    work page 1988

  21. [21]

    Hurley and M.A

    D.J. Hurley and M.A. Vandyck,On the concepts of Lie and covariant derivatives of spinors. Part 1,J. Phys. A27(1994) 4569

    work page 1994

  22. [22]

    A Note on Lie-Lorentz Derivatives

    T. Ort´ ın,A Note on Lie-Lorentz derivatives,Class. Quant. Grav.19(2002) L143 [hep-th/0206159]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  23. [23]

    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]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  24. [24]

    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]

    work page arXiv 2020

  25. [25]

    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]

    work page arXiv 2021

  26. [26]

    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]

    work page arXiv 2021

  27. [27]

    On the supersymmetries of anti de Sitter vacua

    J.M. Figueroa-O’Farrill,On the supersymmetries of Anti-de Sitter vacua,Class. Quant. Grav. 16(1999) 2043 [hep-th/9902066]

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  28. [28]

    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) 035011 [1511.00388]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  29. [29]

    Bandos and T

    I. Bandos and T. Ortin,Noether-Wald charge in supergravity: the fermionic contribution, JHEP12(2023) 095 [2305.10617]

    work page arXiv 2023

  30. [30]

    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]

    work page arXiv 2025

  31. [31]

    Ortin,Gravity and strings, Cambridge Monographs on Mathematical Physics, Cambridge Univ

    T. Ortin,Gravity and strings, Cambridge Monographs on Mathematical Physics, Cambridge Univ. Press (2004), 10.1017/CBO9780511616563

    work page doi:10.1017/cbo9780511616563 2004

  32. [32]

    van den Hoogen and H.X

    R.J. van den Hoogen and H.X. Forance,Teleparallel geometry with spherical symmetry: the diagonal and proper frames,JCAP11(2024) 033 [2408.13342]

    work page arXiv 2024

  33. [33]

    Stephani, D

    H. Stephani, D. Kramer, M. MacCallum, C. Hoenselaers and E. Herlt,Exact solutions of Einstein’s field equations, Cambridge University Press (2009)

    work page 2009

  34. [34]

    Coley, A

    A.A. Coley, A. Landry, R.J. van den Hoogen and D.D. McNutt,Spherically symmetric teleparallel geometries,Eur. Phys. J. C84(2024) 334 [2402.07238]

    work page arXiv 2024

  35. [35]

    Bahamonde et al

    S. Bahamonde, J. Gigante Valcarcel, L. J¨ arv and C. Pfeifer,Exploring Axial Symmetry in Modified Teleparallel Gravity,Phys. Rev. D103(2021) 044058 [2012.09193]. – 24 – A Appendix A: Proper frame in metric teleparallel geometries A.1 Proper frames In metric teleparallel geometries, it is always possible to do all computations in the proper co- frame, ˜ha,...

    work page arXiv 2021

  36. [36]

    0 sin(W 8y+ t√ 2) sinh(W4y) 0 cosh(W 4y) 0 0−sin(W 8y+ t√

    work page

  37. [37]

    0 cos(W 8y+ t√ 2)   .(A.30) The Lorentz transformation (A.30) is easily seen to be the product of a local boost and a local rotation Λ(t, y) =B y(W4y)Ry(W8y+ t√ 2).(A.31) Multiplying the matrix in equation (A.30) by the co-frame in equation (3.21) will yield a proper frame for metric teleparallel G¨ odel geometries. A.5.2 Case 2 In the case of a met...

    work page