Pith. sign in

REVIEW 1 major objections 27 references

The screen bundle geometry generates the full algebra of differential invariants for generic Carrollian spacetimes.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-30 05:02 UTC pith:L4GBIDCJ

load-bearing objection The paper applies screen-bundle reduction and jet-space methods to compute the full algebra of differential invariants, Hilbert/Poincaré functions, and Spencer cohomology for Carrollian spacetimes, with focus on 3D. the 1 major comments →

arxiv 2606.30274 v1 pith:L4GBIDCJ submitted 2026-06-29 math.DG gr-qc

Differential Invariants of Carrollian Spacetimes

Boris Kruglikov , Eivind Schneider , Wijnand Steneker This is my paper
classification math.DG gr-qc
keywords Carrollian spacetimesdifferential invariantsscreen bundleSpencer cohomologyHilbert functionPoincaré functionintrinsic torsionsymmetry analysis
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows how to generate the entire algebra of differential invariants for generic Carrollian structures by working from the screen bundle. Emphasis falls on three-dimensional cases because of their physical relevance. Jet-space methods then supply the Hilbert and Poincaré functions that count the invariants by order. Spencer cohomology is computed next, yielding the spaces of intrinsic torsion and intrinsic curvature that serve as fundamental invariants for equivalence and symmetry questions.

Core claim

For generic Carrollian structures the entire algebra of differential invariants can be generated from the screen bundle geometry. In the jet-space framework the Hilbert and Poincaré functions are computed to govern the numbers of invariants according to order. The Spencer cohomology is computed, containing the spaces of intrinsic torsion and intrinsic curvature, which are fundamental invariants important in the equivalence problem and symmetry analysis of Carrollian spacetimes.

What carries the argument

The screen bundle geometry, used as the source from which the full algebra of differential invariants is generated.

Load-bearing premise

The screen bundle geometry is sufficient to derive all differential invariants of Carrollian spacetimes and that the standard jet-space and Spencer cohomology frameworks apply without additional restrictions to produce the claimed algebra, functions, and cohomology spaces.

What would settle it

A concrete Carrollian spacetime in which at least one differential invariant cannot be produced from the screen bundle, or where the computed Hilbert function fails to match the actual dimension of the invariant space at a given order, would falsify the generation procedure and the numerology.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • All differential invariants become systematically accessible for any generic Carrollian structure.
  • The Hilbert and Poincaré functions give the precise count of independent invariants at each order.
  • Intrinsic torsion and intrinsic curvature appear directly as components of the Spencer cohomology.
  • Symmetry sizes of Carrollian spacetimes can be read off from the cohomology computation.

Where Pith is reading between the lines

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

  • The counting functions allow prediction of invariant numbers at arbitrarily high orders without explicit construction.
  • The cohomology spaces supply a practical tool for deciding local equivalence between two Carrollian structures.

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

1 major / 0 minor

Summary. The paper claims to derive the full algebra of differential invariants for generic Carrollian spacetimes from the geometry of the screen bundle. It specifies the generation procedure with emphasis on dimension 3, computes the Hilbert and Poincaré functions via jet-space methods that count invariants by order, calculates the Spencer cohomology (including spaces of intrinsic torsion and intrinsic curvature), and discusses symmetry sizes of Carrollian spacetimes.

Significance. If the claimed computations hold, the work supplies concrete counting functions and cohomology data for the equivalence problem and symmetry analysis in Carrollian geometry, a setting of physical interest as a degenerate limit of Lorentzian structures. Application of standard jet-space and Spencer-cohomology tools to this case would constitute a useful extension of G-structure methods.

major comments (1)
  1. The manuscript asserts explicit computation of the Hilbert and Poincaré functions and the Spencer cohomology groups (including intrinsic torsion/curvature) but supplies neither the resulting formulas nor the intermediate dimension counts or cocycle calculations. Without these, the central claims cannot be verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and for highlighting the need for explicit verification of the central computations. We address the major comment below.

read point-by-point responses

  1. Referee: The manuscript asserts explicit computation of the Hilbert and Poincaré functions and the Spencer cohomology groups (including intrinsic torsion/curvature) but supplies neither the resulting formulas nor the intermediate dimension counts or cocycle calculations. Without these, the central claims cannot be verified.

    Authors: We agree that the current manuscript version asserts the computation of the Hilbert and Poincaré functions via jet-space methods and the Spencer cohomology groups (including intrinsic torsion and curvature) but does not display the explicit resulting formulas, the intermediate dimension counts, or the cocycle calculations. This prevents independent verification of the claims. In the revised manuscript we will add the missing explicit material: the closed-form expressions for the Hilbert and Poincaré functions in dimension 3, the full table of jet-space dimensions used to derive them, and the step-by-step computation of the Spencer cohomology, including the explicit bases or dimension formulas for the intrinsic torsion and intrinsic curvature spaces. These will be presented in dedicated subsections with all intermediate counts shown. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard methods directly

full rationale

The paper derives the algebra of differential invariants, Hilbert/Poincaré functions, and Spencer cohomology spaces for Carrollian structures by applying the established jet-space and G-structure frameworks to the screen bundle geometry. These are direct computations from the given structure without any reduction of outputs to fitted parameters, self-definitions, or load-bearing self-citations. The central claims rest on standard equivalence problem techniques that are independent of the specific Carrollian application, yielding a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper applies existing differential-geometric tools to Carrollian structures and introduces no new free parameters or postulated entities.

axioms (1)
  • standard math Standard results from jet bundle theory and Spencer cohomology in differential geometry
    The numerology of invariants and the cohomology spaces are obtained by invoking these established frameworks.

pith-pipeline@v0.9.1-grok · 5645 in / 1263 out tokens · 55510 ms · 2026-06-30T05:02:59.777176+00:00 · methodology

0 comments
read the original abstract

We compute invariants of Carrollian spacetimes, deriving them from the geometry of the screen bundle. For generic Carrollian structures we specify how to generate the entire algebra of differential invariants, with emphasis on dimension 3, which has special physical relevance. Then, in the framework of jet-spaces, we compute the numerology behind these invariants: the Hilbert and Poincar\'e functions that govern their numbers according to order. Finally, we compute the Spencer cohomology behind the Carrollian geometry that, in particular, contains the spaces of intrinsic torsion and intrinsic curvature, which are fundamental invariants, important in the equivalence problem and symmetry analysis. Thus, we also discuss symmetry sizes of Carrollian spacetimes.

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

27 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Ashtekar, C

    A. Ashtekar, C. Beetle, J. Lewandowski,Geometry of generic isolated horizons, Class. Quantum Grav. 19, 1195 (2002)

    2002

  2. [2]

    Bagchi, R

    A. Bagchi, R. Basu, A. Mehra, P. Nandi,Field theories on null manifolds, J. High Energ. Phys.2020, 141 (2020)

    2020

  3. [3]

    Bekaert, K

    X. Bekaert, K. Morand,Connections and dynamical trajectories in generalised Newton-Cartan gravity. II. An ambient perspective, J. Math. Phys.59, 072503 (2018)

    2018

  4. [4]

    Blitz, D

    S. Blitz, D. McNutt,Horizons that gyre and gimble: a differential characterization of null hypersur- faces, Eur. Phys. J. C84, 561 (2024)

    2024

  5. [5]

    Blitz, D

    S. Blitz, D. McNutt, P. Nurowski,Unique Carrollian manifolds emerging from Einstein spacetimes, Class. Quantum Grav.42, 075006 (2025)

    2025

  6. [6]

    P. T. Chrusciel, S. J. Szybka, P. Tod,Towards a classification of vacuum near-horizons geometries, Class. Quantum Grav.35, 015002 (2018). 22

    2018

  7. [7]

    Ciambelli, R

    L. Ciambelli, R. G. Leigh, C. Marteau, P. Marios Petropoulos,Carroll Structures, Null Geometry and Conformal Isometries, Phys. Rev. D100, 046010 (2019)

    2019

  8. [8]

    Ciambelli, P

    L. Ciambelli, P. Jai-aksonc,Foundations of Carrollian geometry, Physics Reports1188, 1–51 (2026)

    2026

  9. [9]

    Curry, A

    S. Curry, A. R. Gover,An Introduction to Conformal Geometry and Tractor Calculus, with a view to Applications in General Relativity, Asymptotic Analysis in General Relativity, 86–170, Cambridge Univ. Press (2017)

    2017

  10. [10]

    Duval, G.W

    C. Duval, G.W. Gibbons, P.A. Horvathy, P.M. Zhang,Carroll versus Newton and Galilei: two dual non-Einsteinian concepts of time, Class. Quantum Grav.31, 085016 (2014)

    2014

  11. [11]

    Duval, G.W

    C. Duval, G.W. Gibbons, P.A. Horvathy,Conformal Carroll groups and BMS symmetry, Class. Quan- tum Grav.31, 092001 (2014)

    2014

  12. [12]

    On the intrinsic torsion of spacetime structures

    J. Figueroa-O’Farrill,On the intrinsic torsion of spacetime structures, arXiv:2009.01948 (2020)

    work page Pith review arXiv 2009

  13. [13]

    Figueroa-O’Farrill,Non-Lorentzian spacetimes, Diff

    J. Figueroa-O’Farrill,Non-Lorentzian spacetimes, Diff. Geom. Appl.82, 101894 (2022)

    2022

  14. [14]

    Figueroa-O’Farrill, E

    J. Figueroa-O’Farrill, E. Have, S. Prohazka, J. Salzer,Carrollian and celestial spaces at infinity, J. High Energ. Phys.2022, 7 (2022)

    2022

  15. [15]

    A. Fino, T. Leistner, A. Taghavi-Chabert,Optical geometries, Ann. Sc. Norm. Super. Pisa Cl. Sci. 26, no. 1, 341–396 (2025)

    2025

  16. [16]

    G. W. Gibbons,The Ashtekar-Hansen universal structure at spatial infinity is weakly pseudo- Carrollian, arXiv:1902.09170 (2019)

    work page internal anchor Pith review Pith/arXiv arXiv 1902

  17. [17]

    Herfray,Carrollian manifolds and null infinity: a view from Cartan geometry, Class

    Y. Herfray,Carrollian manifolds and null infinity: a view from Cartan geometry, Class. Quantum Grav.39, 215005 (2022)

    2022

  18. [18]

    Kruglikov,Poincare function for moduli of differential-geometric structures, Moscow Math

    B. Kruglikov,Poincare function for moduli of differential-geometric structures, Moscow Math. Journ. 19, no.4, 761–788 (2019)

    2019

  19. [19]

    Kruglikov, V

    B. Kruglikov, V. Lychagin,Geometry of differential equations, in D. Krupka, D. Saunders (eds.), Handbook of Global Analysis, 725–771, Elsevier (2008)

    2008

  20. [20]

    Kruglikov, V

    B. Kruglikov, V. Lychagin,The global Lie-Tresse theorem, Selecta Math.22, 1357–411, (2016)

    2016

  21. [21]

    Kruglikov, D

    B. Kruglikov, D. McNutt, E. Schneider,Differential invariants of Kundt waves, Class. Quantum Grav. 36, 155011 (2019)

    2019

  22. [22]

    McNutt, E

    D. McNutt, E. Schneider,Detecting horizons of symmetric black holes using relative differential in- variants, Class. Quantum Grav.42, 105011 (2025)

    2025

  23. [23]

    Morand,Embedding Galilean and Carrollian geometries

    K. Morand,Embedding Galilean and Carrollian geometries. I. Gravitational waves, J. Math. Phys. 61, 082502 (2020)

    2020

  24. [24]

    Nurowski, D

    P. Nurowski, D. C. Robinson,Intrinsic geometry of a null hypersurface, Class. Quantum Grav.17, 4065–4084 (2000)

    2000

  25. [25]

    Olver,Equivalence, Invariants, and Symmetry, Cambridge University Press (1995)

    P. Olver,Equivalence, Invariants, and Symmetry, Cambridge University Press (1995). 23

    1995

  26. [26]

    Pawlowski, J

    T. Pawlowski, J. Lewandowski, J. Jezierski,Spacetimes foliated by Killing horizons, Class. Quantum Grav.21, 1237 (2004)

    2004

  27. [27]

    Sternberg,Lectures on differential geometry, N.J., Prentice-Hall (1964)

    S. Sternberg,Lectures on differential geometry, N.J., Prentice-Hall (1964). Department of Mathematics and Statistics, UiT the Arctic University of Norway, Tromsø 9037, Norway. E-mails: boris.kruglikov@uit.no, eivind.schneider@uit.no, wijnand.s.steneker@uit.no 24

    1964