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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.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).
- [§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.
- [§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).
- [§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.
- [§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
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
assumptions (4)
- domain assumption The ground field K is R or C (Conventions, Section 1.1).
- domain assumption Almost commutative (ρ-commutative) algebras are a suitable arena for noncommutative geometry, and ρDer(A) is a left A-module.
- 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.
- standard math The Levi-Civita connection and Koszul formula for non-degenerate metrics on almost-commutative algebras are imported from Ngakeu [29].
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.
Reference graph
Works this paper leans on
-
[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]
& 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)
2020
-
[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)
2020
-
[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)
2023
-
[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)
2024
-
[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)
2023
-
[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)
1994
-
[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)
2025
Show all 38 references
-
[9]
Noncommut
Bruce, A.J., Almost commutative Q-algebras and derived brackets,J. Noncommut. Geom.14, No. 2, 681–707 (2020)
2020
-
[10]
Bruce, A.J., Carrollian Lie Algebroids: Taming Singular Carrollian Geometries, arXiv:2510.03877 [math.DG]
-
[11]
Bruce, A. J. & Grabowski, J., Riemannian structures onZ n 2 -manifolds,Mathematics8,no. 9, 1469, (2020)
2020
-
[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
2011
-
[13]
Ciupal˘ a, C., Linear connections on almost commutative algebras,Acta Math. Univ. Comen., New Ser.72, No. 2, 197–206 (2003)
2003
-
[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
1994
-
[15]
Covolo, T., Grabowski, J., & Poncin, N., The category ofZ n 2 -supermanifolds,J. Math. Phys.57, No. 7, 073503, 16 p. (2016)
2016
-
[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)
2022
-
[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)
2023
-
[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)
1988
-
[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)
1996
-
[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)
2014
-
[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)
2014
-
[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)
2014
-
[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)
2012
-
[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)
2023
-
[25]
B., Much, A
Fr¨ ob, M. B., Much, A. & Papadopoulos, K., Noncommutative geometry from perturbative quantum gravity, Phys. Rev. D107, 064041 (2023)
2023
-
[26]
Henneaux, M., Zero Hamiltonian signature spacetimes,Bull. Soc. Math. Belg., S´ er. A31, 47–63 (1979)
1979
-
[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)
1988
-
[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)
1965
-
[29]
Ngakeu, F., Levi-Civita connection on almost commutative algebras,Int. J. Geom. Methods Mod. Phys. 4, No. 7, 1075–1085 (2007)
2007
-
[30]
Diaspora J
Ngakeu, F., Graded Lie algebroids of Poisson almost commutative algebras,Afr. Diaspora J. Math.20, No. 2, 95–107 (2017)
2017
-
[31]
Madore, J., An Introduction to Noncommutative Differential Geometry and its Physical Applications, London Mathematical Society Lecture Note Series 257, Cambridge University Press (1999)
1999
-
[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)
1991
-
[33]
Marsot, L., Planar Carrollean dynamics, and the Carroll quantum equation,J. Geom. Phys.179, Article ID 104574, 17 p. (2022)
2022
-
[34]
& Wyler, D., Generalized superalgebrasNuclear Phys
Rittenberg, V. & Wyler, D., Generalized superalgebrasNuclear Phys. B139, no. 3, 189–202 (1978)
1978
-
[35]
Sen Gupta, N.D., On an analogue of the Galilei group,Nuovo Cimento A44, 512–517 (1966)
1966
-
[36]
Scheunert, Generalized Lie algebras,J
M. Scheunert, Generalized Lie algebras,J. Math. Phys.20, no. 4, 712–720 (1979)
1979
-
[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)
2024
-
[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)
2025
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.