Pith. sign in

REVIEW 2 major objections 2 minor 2 references

Weyl-type theorems in Galilei and Carroll geometry

T0 review · 2 major / 2 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A torsion-free connection compatible with the conformal structure on Galilei or Carroll geometry is uniquely determined by its projective structure.

desk verdict The paper extends Weyl's 1921 uniqueness result to Galilei and Carroll geometries by defining analogous conformal structures, but the value rests on how canonically those definitions arise from the limits. read the letter →

arxiv 2606.00799 v1 pith:J7OBNQPS submitted 2026-05-30 math-ph gr-qchep-thmath.DGmath.MPphysics.hist-ph

Philip K. Schwartz , James Read , Quentin Vigneron This is my paper · ORCID
classification math-phgr-qchep-thmath.DGmath.MPphysics.hist-ph
keywords WeyltheoremGalileigeometryCarrollconformalstructureprojectivetorsion-freeconnectionnon-relativisticlimitultra-relativistic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper extends Weyl's 1921 theorem, which states that a Weyl metric is fixed by its conformal and projective structures, to Galilei and Carroll geometries. These geometries are the non-relativistic and ultra-relativistic limits of Lorentzian spacetime. The authors introduce suitable notions of conformal structure for each case and prove that a torsion-free linear connection compatible with the conformal structure is fixed by the set of unparametrised geodesics. A reader would care because the result supplies uniqueness statements for connections in physical regimes that arise as limits of ordinary relativity. The work therefore supplies a direct analogue of the relativistic case without invoking a Lorentzian metric.

What carries the argument

The suitably defined conformal structure for Galilei and Carroll geometry, which makes a torsion-free connection compatible with it and thereby lets the projective structure fix the connection uniquely.

What would settle it

A concrete counterexample would be a Galilei (or Carroll) manifold equipped with two distinct torsion-free connections that are both compatible with the same conformal structure yet share the same set of unparametrised geodesics.

Watch

Extended reading notes

Core claim

A classic theorem of Weyl states that a Weyl metric is uniquely determined by its conformal and projective structures. An equivalent formulation is that a torsion-free linear connection compatible with a pseudo-Riemannian conformal structure is uniquely determined by its projective structure. The paper establishes the same uniqueness for suitably defined notions of conformal structure on Galilei and Carroll geometries, which arise as the non-relativistic and ultra-relativistic limits of Lorentzian geometry.

Load-bearing premise

The suitably defined notions of conformal structure for Galilei and Carroll geometry are the mathematically natural and physically relevant analogues of the pseudo-Riemannian conformal structure used in the original Weyl theorem.

Editorial extensions

If this is right

  • The projective structure alone fixes the compatible torsion-free connection once the Galilei conformal structure is given.
  • The same uniqueness holds once the Carroll conformal structure is given.
  • Unparametrised geodesics together with the defined conformal data determine the connection in both the non-relativistic and ultra-relativistic limits.
  • The result supplies a direct parallel to the Lorentzian Weyl theorem without requiring a full Lorentzian metric.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The uniqueness statements could be applied to construct invariants or conserved quantities in Galilean or Carrollian field theories that rely on projective data.
  • One could check whether the same pattern persists for other limits of Lorentzian geometry or for modified connections that retain torsion.
  • The results suggest that projective geometry may serve as a unifying ingredient when comparing conformal properties across different relativistic regimes.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The manuscript extends Weyl's 1921 theorem—that a Weyl metric is uniquely determined by its conformal and projective structures, or equivalently that a torsion-free connection compatible with a pseudo-Riemannian conformal class is fixed by its projective structure—to Galilei and Carroll geometries. It introduces suitably defined notions of conformal structure on the degenerate metrics equipped with Newton-Cartan or Carroll connections (arising as non-relativistic and ultra-relativistic limits of Lorentzian geometry) and claims that the same uniqueness holds: a torsion-free connection compatible with the conformal class is determined by its projective structure.

Significance. If the chosen conformal structures are the canonical ones obtained from the limiting procedure and the uniqueness proofs are complete, the result supplies a precise mathematical statement of how conformal and projective data interact in degenerate geometries. This could serve as a foundation for studying conformal invariants or tractor calculus in non-relativistic and Carrollian settings, with possible relevance to condensed-matter or gravitational models in those limits. The explicit use of limiting constructions from the Lorentzian case is a methodological strength when carried through rigorously.

major comments (2)
  1. [§2] §2 (Definitions of conformal structure): The paper must demonstrate that the chosen weighted degenerate metric (or tractor-like object) for the Galilei case arises canonically from the non-relativistic limit of the Lorentzian conformal class without auxiliary choices; if the definition is selected primarily to make the algebraic uniqueness identity hold, the claimed analogy to Weyl's theorem is weaker than asserted.
  2. [§4] §4 (Uniqueness proof for Carroll geometry): The argument that the torsion-free connection compatible with the Carroll conformal class is fixed by the projective structure must explicitly handle the degeneracy of the metric; the standard Lorentzian counting of degrees of freedom does not apply directly, and any additional assumptions needed to close the proof should be stated and justified as natural.
minor comments (2)
  1. Notation for the weighted bundles or densities used in the Galilei and Carroll conformal classes should be introduced with a short comparison table to the Lorentzian case to improve readability.
  2. A brief remark on whether the results reduce exactly to the classical Weyl theorem in the appropriate limit would strengthen the narrative.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major comment below and have revised the manuscript to strengthen the presentation of the limiting constructions and the uniqueness arguments.

read point-by-point responses

  1. Referee: [§2] §2 (Definitions of conformal structure): The paper must demonstrate that the chosen weighted degenerate metric (or tractor-like object) for the Galilei case arises canonically from the non-relativistic limit of the Lorentzian conformal class without auxiliary choices; if the definition is selected primarily to make the algebraic uniqueness identity hold, the claimed analogy to Weyl's theorem is weaker than asserted.

    Authors: We agree that demonstrating the canonical origin of the definition is essential. In the revised version we add an explicit computation in §2 (new subsection 2.3) showing that the weighted degenerate metric is obtained directly by taking the non-relativistic limit of the Lorentzian conformal class, with no auxiliary choices introduced. This makes the analogy to Weyl’s theorem fully rigorous. revision: yes

  2. Referee: [§4] §4 (Uniqueness proof for Carroll geometry): The argument that the torsion-free connection compatible with the Carroll conformal class is fixed by the projective structure must explicitly handle the degeneracy of the metric; the standard Lorentzian counting of degrees of freedom does not apply directly, and any additional assumptions needed to close the proof should be stated and justified as natural.

    Authors: We accept that the original argument in §4 relied on an implicit non-degenerate counting. The revised proof now works directly with the degenerate Carroll metric, provides an adapted degree-of-freedom count, and states the two natural assumptions (torsion-freeness and compatibility with the Carroll conformal class) explicitly, justifying them as the direct analogues of the Lorentzian conditions. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: definitions motivated by limits, theorem proved independently

full rationale

The paper states it will discuss analogous Weyl-type results for suitably defined conformal structures on Galilei and Carroll geometries (arising as limits of Lorentzian geometry). The abstract and setup present these definitions as the natural analogues that permit the uniqueness statement (torsion-free connection compatible with the conformal class fixed by projective structure). No quoted step reduces the central claim to a self-referential fit, a parameter renamed as prediction, or a load-bearing self-citation whose content is unverified. The derivation chain is an extension of the external 1921 Weyl theorem via explicit constructions for the degenerate cases; the result is not forced by construction from the inputs.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

The paper rests on standard differential-geometric axioms and the modeling assumption that Galilei and Carroll geometries are obtained as limits of Lorentzian geometry; no free parameters or invented entities are mentioned in the abstract.

assumptions (2)
  • standard math Manifolds are smooth and connections are torsion-free linear connections on the tangent bundle
    Invoked implicitly by the statement of Weyl-type theorems for connections.
  • domain assumption Galilei and Carroll geometries arise as the non-relativistic and ultra-relativistic limits of Lorentzian geometry
    Stated in the abstract as the setting for the conformal structures.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Weyl-type theorems in Galilei and Carroll geometry." pith.science (2026). https://pith.science/paper/J7OBNQPS

@misc{pith2026260600799,
  author       = {Pith},
  title        = {Pith review of: Weyl-type theorems in Galilei and Carroll geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J7OBNQPS}},
  note         = {Machine review of arXiv:2606.00799}
}
read the original abstract

A classic theorem of Weyl (1921) states that a Weyl metric -- a natural generalisation of a pseudo-Riemannian metric -- is uniquely determined by its conformal and projective structures (i.e. by its conformal structure and its set of unparametrised geodesics). An equivalent formulation of Weyl's result is that a torsion-free linear connection compatible with a pseudo-Riemannian conformal structure is uniquely determined by its projective structure. We discuss analogous results for suitably defined notions of conformal structure for Galilei and Carroll geometry, i.e. for spacetime geometries arising as the `non-relativistic' and `ultra-relativistic' limits of Lorentzian geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    An Algebra of Observables for de Sitter Space

    English translation available as (Cartan 1986). Cartan, Elie (1986).On Manifolds with an Affine Connection and the Theory of General Relativity. Trans. by Anne Magnon and Abhay Ashtekar. With a forew. by Andrzej Trautman. Monographs and Textbooks in Physical Science. Napoli: Bibliopolis.isbn: 9788870880861.url: https : / / bibliopolis . it / shop / on - m...

    work page Pith review arXiv doi:10.1007/jhep02(2023)082.arxiv: 1986

  2. [2]

    Geburtstag. Ed. by J. Nitsch, J. Pfarr, and E.-W. Stachow. Mannheim, Wien, Zürich: Bibliographisches Institut, pp. 65–84. Republished as (Ehlers 2019). –(2019). ‘On the Newtonian limit of Einstein’s theory of gravitation’.Gen. Relativ. Grav. 51 (12), p. 163.doi:10.1007/s10714-019-2624-0 .url: https://doi.org/10.1007/ s10714-019-2624-0. Republication of or...

    work page Pith review arXiv doi:10.1007/s10714-019-2624-0 2019

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.