Pith. sign in

REVIEW 6 minor 38 references

Foundations of Noncommutative Carrollian Geometry via Lie-Rinehart Pairs

T0 review · 0 major / 6 minor · reviewed 2026-08-04 · deepseek-v4-flash

Pith's one-line read Carrollian geometry, the geometry of the ultra-relativistic limit, can be formulated over noncommutative algebras by replacing Lie algebroids with rho-Lie-Rinehart pairs; the kernel of a single degenerate metric plays the role of the null d

desk verdict A clean, honest tool-building paper that does what it says—Carrollian geometry in the almost commutative setting—despite some incorrect side remarks about zero divisors that don't affect the main constructions. read the letter →

arxiv 2510.19458 v4 pith:ZO7ZZCGQ submitted 2025-10-22 math-ph gr-qchep-thmath.DGmath.MPmath.QA

classification math-phgr-qchep-thmath.DGmath.MPmath.QA MSC 14A2216W5017B7083C65
keywords CarrolliangeometryalmostcommutativeLie-RinehartpairsdegeneratemetricCarrolldistributionrho-commutativealgebranoncommutativetorusextendedquantumplane
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

This paper argues that the core structure of Carrollian geometry—spacetime geometry for the ultra-relativistic regime where motion is effectively frozen—survives transplantation to the noncommutative world, provided the algebra is almost commutative: elements commute up to a nonzero scalar factor. The main move is to define Carrollian rho-Lie-Rinehart pairs: a degenerate metric on a graded module whose kernel is a free cyclic submodule generated by a degree-zero section. The paper shows that the standard Carrollian properties follow algebraically: the anchor image of the kernel is an involutive distribution, the quotient by the kernel carries a non-degenerate metric, and metric-compatible connections necessarily preserve the kernel. It then constructs two explicit toy examples, on the extended quantum plane and the noncommutative 2-torus, both with flat torsion-free compatible connections. A sympathetic reader would care because this gives a rigorous, intrinsic starting point for noncommutative Carrollian geometry without invoking C*-algebra or spectral-triangle machinery, potentially connecting to holography, quantum horizons, and condensed-matter systems such as fractons.

What carries the argument

The load-bearing object is the Carrollian rho-Lie-Rinehart pair, an algebraic analogue of a Carrollian Lie algebroid. It packages a rho-commutative algebra A, a graded left A-module g carrying a rho-Lie bracket, an anchor map a:g -> rhoDer(A), and a degenerate metric G whose kernel l is a free cyclic submodule generated by a G-degree-zero section. The degree-zero generator plays the role of a nowhere-vanishing Carroll vector field; its image under the anchor defines the Carroll distribution; the quotient g/l plays the role of the spatial directions with a non-degenerate induced metric. The commutation factor rho keeps track of graded signs throughout, allowing the classical proofs to be re-r

What would settle it

Exhibit a rho-commutative algebra with a degenerate metric whose kernel is free cyclic of degree zero but whose associated Carroll distribution does not arise as any ultra-relativistic limit of a Lorentzian metric in the family of interest—or, equivalently, construct a Carrollian rho-Lie-Rinehart pair that cannot be obtained as a contraction limit of an almost commutative Lorentzian geometry. Such an example would show the definition is too broad or aligned with the wrong physics.

Watch

Extended reading notes

Core claim

The central claim is that the foundational tenets of Carrollian geometry have direct analogues in almost commutative geometry. Concretely, a Carrollian rho-Lie-Rinehart pair is a quadruple (A,g,G,l) where A is a rho-commutative algebra, g is a graded module with a compatible rho-Lie bracket and an anchor map into rho-derivations, G is a degenerate metric on g whose kernel is exactly l, and l is a free cyclic submodule generated by a degree-zero section. From this single definition the paper proves the expected structure: the Carroll distribution C = a(l) is involutive, the quotient module g/l inherits a non-degenerate metric, and every Carroll rho-connection restricts to l. The paper explici

Load-bearing premise

The whole framework rests on the premise that the essence of Carrollian geometry is captured by a single degenerate metric whose kernel is generated by one degree-zero section; if the physically relevant noncommutative Carrollian geometry requires instead a limit of deformed spacetimes or a spectral-triple description, this algebraic definition may be aiming at the wrong target.

Editorial extensions

If this is right

  • If correct, noncommutative Carrollian geometry can be studied intrinsically through almost commutative algebras, avoiding C*-algebra and spectral-triple machinery.
  • The extended quantum plane and the noncommutative 2-torus become concrete testbeds, each admitting a flat, torsion-free Carroll rho-connection.
  • The classical theorems generalize verbatim: the Carroll distribution is involutive, the quotient metric is non-degenerate, and Carroll connections preserve the null submodule.
  • Existence of rho-connections is not guaranteed in general, so the Levi-Civita and Koszul machinery does not automatically carry over to the degenerate setting.
  • The paper points toward applications in flat-space holography, quantum horizons, and condensate-matter systems modelled by Carrollian physics, such as fractons.

Reading between the lines

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

  • The framework is a proof of concept: the examples are algebraic toy models, and it remains unknown whether physically motivated noncommutative Carrollian spacetimes—for instance those obtained by contracting kappa-deformed spacetimes—fit inside this definition.
  • A cautious reader should not yet read the paper as a phenomenology of quantum gravity; it is better understood as showing that the differential-geometric skeleton of Carrollian geometry has a coherent noncommutative analogue.
  • The quotient-metric structure suggests a possible interpretation of Carrollian geometry as a noncommutative sub-Riemannian geometry, with the degenerate direction playing the role of a foliation; checking whether this viewpoint yields new invariants is a natural next step.
  • Because the construction is derivation-based, it should extend directly to Z_2-graded and Z_2^n-graded settings, where even and odd derivations are already well understood; that would give noncommutative supersymmetric Carrollian geometries as a by-product.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. The paper proposes a noncommutative analogue of Carrollian geometry based on ρ-commutative algebras and ρ-Lie-Rinehart pairs. A Carrollian ρ-Lie-Rinehart pair is a ρ-Lie-Rinehart pair (A,g) equipped with a degenerate metric G whose kernel is a free cyclic submodule generated by a degree-zero section; the anchor image of this kernel plays the role of the Carroll distribution. The main results are Propositions 2.22, 2.24, 2.33 and 2.36, which respectively show that the kernel is an involutive ρ-Lie-Rinehart subpair, that the Carroll distribution is involutive, that the quotient module g/l carries a non-degenerate metric, and that any metric-compatible Carroll ρ-connection preserves the kernel. Two explicit toy models—the extended quantum plane and the noncommutative 2-torus—are equipped with Carrollian structures and explicit Carroll connections.

Significance. The mathematical core is sound and, if accepted, provides a useful initial algebraic framework for noncommutative Carrollian geometry. The definitions are clean, the main statements are proved by direct computation, and the two examples genuinely realize the structure; the noncommutative-torus example in particular is simple and convincing. The paper is honest about its limitations: it does not claim physical applications, and the concluding remarks explicitly flag the need to connect with κ-deformed Carrollian spacetimes and spectral-triple formulations. This is a scope limitation rather than an internal inconsistency. The main caveat, already acknowledged by the author, is that the definition may or may not capture the target physics; judged as an algebraic-geometry foundation, the claim is established. The false 'no zero divisors' statements in §2.4 are not load-bearing; the kernel computations can be verified directly using the units and the section (0,1).

minor comments (6)
  1. [§2.4, Example 2.37] The assertion 'As there are no non-zero divisors' is false when q is a root of unity (the quantum torus then has zero divisors). The kernel computation does not require it: G(aδ_x+bδ_y,δ_x)=a, so ker(G)=Aδ_y directly. Please remove or qualify this justification.
  2. [§2.4, Example 2.38] Similarly, 'no non-zero divisors in A_θ' is false for rational θ. The kernel claim follows without it: G(f,(0,1))=f_v, so ker(G)=A_θ(1,0).
  3. [§2.3, Proof of Prop. 2.27] There are typographical errors: the displayed Killing condition should be G([σ,v],w)+G(v,[σ,w]); in the expansion, the term G(a_v(f)σ,v) should involve w (and similarly for the w-term). These errors do not affect the conclusion because the extra terms are in l=ker(G), but the proof should be rewritten.
  4. [§2.3, Example 2.30] The metric components G(∂_{ξ1},∂_{ξ2}) and G(∂_{θ1},∂_{θ2}) are specified only by their skew-symmetry, not by a non-zero value. Presumably they should be set to 1 (or another fixed value).
  5. [§2.1, Prop. 2.10 proof] The displayed line 'a u+f v = ...' should read a(fu+v)=f a(u)+a(v); as written it is confusing.
  6. [§3, Concluding Remarks] The final paragraph correctly identifies the open connection to κ-deformed Carrollian physics and spectral triples. A one-sentence version of this caveat in the introduction would help set expectations.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: definitions are explicit and propositions are direct consequences, with no fitted prediction or self-citation chain forcing the result.

full rationale

The paper is a definition-driven mathematical framework paper. The central objects—Carrollian ρ-Lie-Rinehart pairs (Definition 2.21)—are defined explicitly, and the main propositions (2.22, 2.24, 2.33, 2.36) are proved directly from the ρ-Lie-Rinehart axioms and the condition ker(G)=l. The quotient-metric non-degeneracy (Prop. 2.33) and the preservation of the kernel by Carroll connections (Prop. 2.36) are immediate consequences of ker(G)=l, but this is standard mathematical derivation rather than a disguised input; there are no fitted parameters, numerical predictions, or normalization conditions that force the conclusions. Self-citations to [9], [10], and [11] supply terminology and the classical Carrollian Lie algebroid notion being generalized, but the definitions and proofs in the present paper are self-contained, so these citations are not load-bearing. The false claims that the example algebras have no non-zero divisors are correctness issues, not circularity: the kernel computations in Examples 2.37 and 2.38 follow from evaluating G on a free generator / setting g=(0,1), and do not rely on the absence of zero divisors. The Concluding Remarks explicitly defer connections to κ-Carrollian and spectral-triple approaches, which is an acknowledged scope limitation rather than a circular step.

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

No free parameters are fitted: q and θ appearing in the examples are deformation parameters inherited from the example algebras, not adjusted to make the formalism work. The new mathematical objects (Carrollian ρ-Lie-Rinehart pairs) are the paper's stated content, not hidden assumptions, and no physical entities such as particles, forces, or dimensions are postulated.

assumptions (4)
  • domain assumption The ground field K is R or C (Conventions, Section 1.1).
    This fixes characteristic not 2, which is needed in Proposition 2.22 when [σ,σ]=−[σ,σ] is used to conclude [σ,σ]=0.
  • domain assumption Almost commutative (ρ-commutative) algebras are a suitable arena for noncommutative geometry, and ρDer(A) is a left A-module.
    The entire ρ-Lie-Rinehart framework in Sections 2.1–2.3 depends on the module property of ρ-derivations, which holds for ρ-commutative algebras but fails for general noncommutative algebras.
  • ad hoc to paper A Carrollian structure is a degenerate metric with a free-cyclic kernel generated by a degree-zero section, with the anchor image playing the role of the Carroll distribution.
    Definition 2.21 is the paper's key modeling choice, mimicking the author's Carrollian Lie algebroids [10]. It is plausible but not derived from physics.
  • standard math The Levi-Civita connection and Koszul formula for non-degenerate metrics on almost-commutative algebras are imported from Ngakeu [29].
    Used in Theorem 2.20 and equation (2.6) to justify the existence and uniqueness of metric-compatible connections; the paper does not re-derive these results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Foundations of Noncommutative Carrollian Geometry via Lie-Rinehart Pairs." pith.science (2026). https://pith.science/paper/ZO7ZZCGQ

@misc{pith2026251019458,
  author       = {Pith},
  title        = {Pith review of: Foundations of Noncommutative Carrollian Geometry via Lie-Rinehart Pairs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZO7ZZCGQ}},
  note         = {Machine review of arXiv:2510.19458}
}
abstract

Carrollian manifolds offer an intrinsic geometric framework for the physics in the ultra-relativistic limit. The recently introduced Carrollian Lie algebroids are generalised to the setting of $\rho$-commutative geometry, (also known as almost commutative geometry), where the underlying algebras commute up to a numerical factor. Via $\rho$-Lie-Rinehart pairs, it is shown that the foundational tenets of Carrollian geometry have analogous statements in the almost commutative world. We explicitly build two toy examples: we equip the extended quantum plane and the noncommutative $2$-torus with Carrollian structures. This opens up the rigorous study of noncommutative Carrollian geometry via almost commutative geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 2 linked inside Pith

  1. [1]

    & Shukla, A., The Carrollian Kaleidoscope, arXiv:2506.16164 [hep-th]

    Bagchi, A., Banerjee, A., Dhivakar, P., Mondal, S. & Shukla, A., The Carrollian Kaleidoscope, arXiv:2506.16164 [hep-th]

  2. [2]

    & Herranz, F

    Ballesteros, A., Gubitosi, G. & Herranz, F. J., Lorentzian Snyder spacetimes and their Galilei and Carroll limits from projective geometry,Class. Quantum Grav.37, No. 19, Article ID 195021, 32 p. (2020)

  3. [3]

    & Herranz, F.J., Theκ-Newtonian andκ-Carrollian algebras and their noncommutative spacetimes,Phys

    Ballesteros, A., Gubitosi, G., Gutierrez-Sagredo, I. & Herranz, F.J., Theκ-Newtonian andκ-Carrollian algebras and their noncommutative spacetimes,Phys. Lett., B805, Article ID 135461, 10 p. (2020)

  4. [4]

    & Herranz, F.J.,κ-Galilean andκ-Carrollian noncom- mutative spaces of worldlines,Phys

    Ballesteros, A., Gubitosi, G., Gutierrez-Sagredo, I. & Herranz, F.J.,κ-Galilean andκ-Carrollian noncom- mutative spaces of worldlines,Phys. Lett., B838, Article ID 137735, 9 p. (2023)

  5. [5]

    (ed.), Modesto, L

    Bambi, C. (ed.), Modesto, L. (ed.), Shapiro, I. (ed.), Handbook of quantum gravity, Springer Reference, Singapore: Springer, xxxix, 4328 p. (2024)

  6. [6]

    J., Navarro, R

    Barreiro, E., Calder´ on, A. J., Navarro, R. M. & S´ anchez, J. M., Graded Lie-Rinehart algebras,J. Geom. Phys.191, Article ID 104914, 16 p. (2023)

  7. [7]

    & Pijls, H.G.J., Almost commutative algebra and differential calculus on the quantum hyperplane,J

    Bongaarts, P.J.M. & Pijls, H.G.J., Almost commutative algebra and differential calculus on the quantum hyperplane,J. Math. Phys.35, No. 2, 959–970 (1994)

  8. [8]

    & Chakraborty, B., Fate ofκ-Minkowski space-time in non-relativistic (Galilean) and ultra-relativistic (Carrollian) regimes,J

    Bose, D., Chakraborty, A. & Chakraborty, B., Fate ofκ-Minkowski space-time in non-relativistic (Galilean) and ultra-relativistic (Carrollian) regimes,J. High Energy Phys.2025, No. 2, Paper No. 63, 33 p. (2025)

Show all 38 references
  1. [9]

    Noncommut

    Bruce, A.J., Almost commutative Q-algebras and derived brackets,J. Noncommut. Geom.14, No. 2, 681–707 (2020)

  2. [10]

    Bruce, A.J., Carrollian Lie Algebroids: Taming Singular Carrollian Geometries, arXiv:2510.03877 [math.DG]

  3. [11]

    Bruce, A. J. & Grabowski, J., Riemannian structures onZ n 2 -manifolds,Mathematics8,no. 9, 1469, (2020)

  4. [12]

    & Fioresi, R., Mathematical foundations of supersymmetry, EMS Series of Lectures in Mathematics,European Mathematical Society(EMS), Z¨ urich, 2011

    Carmeli, C., Caston L. & Fioresi, R., Mathematical foundations of supersymmetry, EMS Series of Lectures in Mathematics,European Mathematical Society(EMS), Z¨ urich, 2011. xiv+287 pp. ISBN: 978-3-03719- 097-5

  5. [13]

    Ciupal˘ a, C., Linear connections on almost commutative algebras,Acta Math. Univ. Comen., New Ser.72, No. 2, 197–206 (2003)

  6. [14]

    xiii, 661 p

    Connes, A., Noncommutative geometry, San Diego, CA: Academic Press. xiii, 661 p. (1994). 16 FOUNDATIONS OF NONCOMMUTATIVE CARROLLIAN GEOMETRY VIA LIE-RINEHART PAIRS

  7. [15]

    Covolo, T., Grabowski, J., & Poncin, N., The category ofZ n 2 -supermanifolds,J. Math. Phys.57, No. 7, 073503, 16 p. (2016)

  8. [16]

    & Ruzziconi, R.,, Carrollian, Perspective on Celestial Holography, Phys

    Donnay, L., Fiorucci, A., Herfray, Y. & Ruzziconi, R.,, Carrollian, Perspective on Celestial Holography, Phys. Rev. Lett.129, no. 7, 071602 (2022)

  9. [17]

    & Ruzziconi, R., Bridging Carrollian and celestial holography,Phys

    Donnay, L., Fiorucci, A., Herfray, Y. & Ruzziconi, R., Bridging Carrollian and celestial holography,Phys. Rev. D107, 126027 (2023)

  10. [18]

    Dubois-Violette, M., D´ erivations et calcul diff´ erentiel non commutatif,C. R. Acad. Sci., Paris, S´ er. I307, No. 8, 403–408 (1988)

  11. [19]

    & Michor, P

    Dubois-Violette, M. & Michor, P. W., Connections on central bimodules in noncommutative differential geometry,J. Geom. Phys.20, No. 2-3, 218–232 (1996)

  12. [20]

    & Horvathy, P.A., Conformal Carroll groups,J

    Duval, C., Gibbons, G.W. & Horvathy, P.A., Conformal Carroll groups,J. Phys. A, Math. Theor.47, No. 33, Article ID 335204, 23 p. (2014)

  13. [21]

    & Horvathy, P.A., Conformal Carroll groups and BMS symmetry,Class

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

  14. [22]

    & Zhang, P.M., Carroll versus Newton and Galilei: Two Dual Non-Einsteinian Concepts of Time,Class

    Duval, C., Gibbons, G.W., Horvathy, P.A. & Zhang, P.M., Carroll versus Newton and Galilei: Two Dual Non-Einsteinian Concepts of Time,Class. Quantum Grav.31, 085016 (2014)

  15. [23]

    & Wallet, J.-C., Noncommutativeϵ-graded connections,J

    de Goursac, A., Masson, T. & Wallet, J.-C., Noncommutativeϵ-graded connections,J. Noncommut. Geom. 6, No. 2, 343–387 (2012)

  16. [24]

    & Prohazka, S., Carroll/fracton particles and their correspondence,J

    Figueroa-O’Farrill, J., P´ erez, A. & Prohazka, S., Carroll/fracton particles and their correspondence,J. High Energy Phys.2023, No. 6, Paper No. 207, 51 p. (2023)

  17. [25]

    B., Much, A

    Fr¨ ob, M. B., Much, A. & Papadopoulos, K., Noncommutative geometry from perturbative quantum gravity, Phys. Rev. D107, 064041 (2023)

  18. [26]

    Henneaux, M., Zero Hamiltonian signature spacetimes,Bull. Soc. Math. Belg., S´ er. A31, 47–63 (1979)

  19. [27]

    & Kastler, D., Graded Lie-Cartan pairs

    Jadczyk, A. & Kastler, D., Graded Lie-Cartan pairs. I,Rep. Math. Phys.25, No. 1, 1–51 (1988)

  20. [28]

    L´ evy-Leblond, J.M., Une nouvelle limite non-relativistic du groupe de Poincar´ e,Ann. Inst. Henri Poincar´ e, Nouv. S´ er., Sect. A3, 1–12 (1965)

  21. [29]

    Ngakeu, F., Levi-Civita connection on almost commutative algebras,Int. J. Geom. Methods Mod. Phys. 4, No. 7, 1075–1085 (2007)

  22. [30]

    Diaspora J

    Ngakeu, F., Graded Lie algebroids of Poisson almost commutative algebras,Afr. Diaspora J. Math.20, No. 2, 95–107 (2017)

  23. [31]

    Madore, J., An Introduction to Noncommutative Differential Geometry and its Physical Applications, London Mathematical Society Lecture Note Series 257, Cambridge University Press (1999)

  24. [32]

    I., Topics in noncommutative geometry, M

    Manin, Y. I., Topics in noncommutative geometry, M. B. Porter Lectures. Princeton etc.: Princeton University Press. 164 p.$35.00 (1991)

  25. [33]

    Marsot, L., Planar Carrollean dynamics, and the Carroll quantum equation,J. Geom. Phys.179, Article ID 104574, 17 p. (2022)

  26. [34]

    & Wyler, D., Generalized superalgebrasNuclear Phys

    Rittenberg, V. & Wyler, D., Generalized superalgebrasNuclear Phys. B139, no. 3, 189–202 (1978)

  27. [35]

    Sen Gupta, N.D., On an analogue of the Galilei group,Nuovo Cimento A44, 512–517 (1966)

  28. [36]

    Scheunert, Generalized Lie algebras,J

    M. Scheunert, Generalized Lie algebras,J. Math. Phys.20, no. 4, 712–720 (1979)

  29. [37]

    High Energy Phys.2024, No

    Trze´ sniewski, T., Quantum symmetries in 2+1 dimensions: Carroll, (a)dS-Carroll, Galilei and (a)dS- Galilei,J. High Energy Phys.2024, No. 2, Paper No. 200, 32 p. (2024)

  30. [38]

    X., Zhao, Q

    Zeng, H. X., Zhao, Q. L., Zhang, P. M. & Horvathy, P. A., Peierls substitution and Hall motion in exotic Carroll dynamics,Phys. Rev. D111, 044025 (2025)

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.