REVIEW 2 major objections 5 minor 1 cited by
Carrollian Lie Algebroids: Taming Singular Carrollian Geometries
T0 review · 2 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read By encoding singular Carrollian geometries as Lie algebroids, the paper proves that compatible connections always exist on them, so every weak Carrollian manifold can be made strong.
desk verdict Carrollian Lie algebroids are a genuine, well-motivated framework for singular Carroll geometries; the headline existence theorem for Carrollian connections has a fixable proof gap but the framework itself is sound and worth engaging. 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 central object is the Carrollian Lie algebroid (A,[-,-],rho,g,L): a Lie algebroid whose degenerate metric g has the sections of a trivial line subbundle L as its kernel. The anchor map is the mechanism that creates singularities, because the Carroll distribution C = rho(L) can have rank 1 or 0 depending on whether the anchor annihilates L at a point. The existence proofs for connections work by taking any Lie algebroid connection and adding a correction (1,2)-tensor Gamma; metric compatibility becomes a linear equation in Gamma that the paper argues is underdetermined, since components of Gamma lying in the kernel of g are unconstrained. The quotient bundle A/L with its induced non-degen
What would settle it
Take a concrete Carrollian Lie algebroid with a rank drop, such as the action example in Example 2.35, choose an arbitrary connection, and try to solve g(Gamma(u,v),w) + g(v,Gamma(u,w)) = (nabla^0_u g)(v,w). If at some point the right-hand side fails to satisfy the kernel and symmetry identities that the left-hand side satisfies automatically, no solution exists and the claimed existence result is false.
Extended reading notes
Core claim
A Carrollian Lie algebroid is a quintuple (A,[-,-],rho,g,L) in which A is a Lie algebroid over M, g is a degenerate metric whose kernel is exactly the sections of a trivial line bundle L, and the anchor map rho sends L to the Carroll distribution C = rho(L) subset TM. The paper's claim is that this is the right home for singular Carrollian geometry: the singular behaviour lives in the anchor, so C can be a Stefan-Sussmann distribution jumping between rank 1 and rank 0, while ker(g) stays a line bundle and the quotient A/L inherits a non-degenerate metric. The main theorems assert that (i) every Carrollian Lie algebroid admits a Carrollian connection, meaning a Lie algebroid connection that i
Load-bearing premise
The existence theorems rest on the assertion in Section 2.5 that the linear equations for the correction tensor are underdetermined and therefore always solvable; the paper does not verify the consistency conditions that such solvability requires.
Editorial extensions
If this is right
- Singular Carrollian geometries, where the Carroll vector field vanishes on a locus, fit in the same formalism as ordinary Carrollian manifolds, so the singular points do not need to be treated as exceptions.
- Every Carrollian Lie algebroid carries Carrollian connections, so parallel transport, geodesics, and matter couplings that respect both the degenerate metric and the null line bundle are always available.
- Any weak Carrollian manifold can be made strong: a compatible affine connection always exists, and one can arrange for the Carroll vector field to be parallel.
- Torsion-free Carrollian connections exist exactly on stationary Carrollian Lie algebroids; on non-stationary ones, one must choose between compatibility and torsion-freeness.
- The framework covers concrete singular examples, including Carrollian Atiyah algebroids built from invariant structures on principal bundles and models constructed from mixed null-spacelike hypersurfaces.
Reading between the lines
- If the linear-algebra step in the proof of Proposition 2.49 can be made fully rigorous, the same underdetermination mechanism would likely apply to other degenerate-metric settings, including Galilean analogues obtained by Carroll/Galilei duality.
- The large freedom in Carrollian connections is a resource: additional physical principles, such as minimal torsion or prescribed parallel transport, could select preferred connections on Carrollian Lie algebroids in the way the Levi-Civita condition selects one on a Riemannian manifold.
- A direct test of the main theorem would be to solve the compatibility equations explicitly for one of the paper's own examples, such as the gl2(R) action Lie algebroid, at points where the Carroll distribution has rank 0; a single inconsistent system would falsify the existence claim.
- The singular-foliation picture suggests that Carrollian singularities are rank-drops of the anchor rather than defects of the metric, which may give a geometric way to define and study Carrollian black-hole-type horizons.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Carrollian Lie algebroids as a framework for handling singular Carrollian geometries. A Carrollian Lie algebroid is a Lie algebroid (A,[−,−],ρ) over M with a degenerate metric g and a trivial line subbundle L such that ker(g)=Sec(L); the Carroll distribution C=ρ(L)⊂TM is allowed to be a singular Stefan–Sussmann distribution. The paper develops basic properties (L is a Lie subalgebroid; E=A/L carries a non-degenerate induced metric), gives examples including Carrollian tangent algebroids, action Lie algebroids, Atiyah algebroids, and a minimal model for mixed null-spacelike hypersurfaces, and then studies compatible connections. The main results are Theorem 2.52 (every Carrollian Lie algebroid admits a Carrollian connection) and Corollary 2.58 (every weak Carrollian manifold can be made strong); Theorem 2.57 characterizes torsion-free Carrollian connections by stationarity.
Significance. If the results hold, the paper provides a natural mathematical home for singular Carroll vector fields that arise in Carrollian gravity and holography, and it establishes the foundational connection theory for such geometries. The framework is firmly anchored to standard Carrollian geometry via Example 2.30, and the connection statements are consistent with independent manifold-level results in [8,29,43]. The paper is clearly structured and contains many worked examples, including the physically motivated Atiyah algebroid and mixed-hypersurface constructions. The central existence theorem is plausible and, as far as the referee can determine, actually true; however, its proof as written omits a nontrivial consistency check, and one of the general examples (Example 2.36) is not a Lie algebroid as stated. Both issues are fixable but require substantive revision.
major comments (2)
- [§2.5, Prop 2.49 and Thm 2.52] The proof of Prop 2.49 asserts that the metric-compatibility equations are solvable because the linear system is 'underdetermined'. This is not a valid inference by itself: one must verify that the right-hand side B_u(v,w)=(∇0_u g)(v,w) lies in the image of the map Γ↦g(Γ(v),w)+g(v,Γ(w)) for each u. Equivalently, B_u must vanish when both arguments are in Sec(L). The paper does not show this. The check is true — if σ,τ∈Sec(L), then g(σ,τ)=0 and all pairings with elements of ker(g) vanish, so B_u(σ,τ)=0 — but it must be stated. Since Thm 2.52 and Cor 2.58 rest on Prop 2.49, the proof of the paper's headline result is incomplete as written. I recommend adding the consistency check explicitly, or replacing the argument with an explicit construction using a splitting A≅E⊕L (for example, πΓ(u,σ)=−π∇0_uσ and πΓ(u,e)=½B_u^#e for e∈E). Prop 2.56 has the same kind of compressed solvability asserti
- [§2.3, Example 2.36 (and Ex. 2.38)] The direct sum bracket defined in Example 2.36, with cross-brackets set to zero, is not a Lie algebroid bracket for a general Riemannian Lie algebroid A0. Indeed, for u∈Sec(A0), ψ∈Sec(L), and f∈C∞(M), the Leibniz rule requires [u, fψ]=ρ_u(f)ψ+f[u,ψ]; with [u,ψ]=0 this reduces to ρ_u(f)ψ=0, which is false unless the anchor of A0 is zero on L. Thus the structure is invalid for A0=TM in Example 2.38 (spacetimes). The construction in §2.4 avoids the issue because A0 is given zero anchor and zero bracket, but the general claim in Example 2.36 needs either a zero-anchor assumption or a genuine semidirect product with a representation of A0 on L. This is load-bearing for the paper's catalogue of examples, though not for Theorem 2.52.
minor comments (5)
- [§2.2, Prop 2.28 proof] The text 'C:=A/L' should read 'C:=ρ(L)'; the Carroll distribution is defined in Definition 2.24 as ρ(L).
- [§2.1, Def 2.3] The kernel ker(g) is defined as a set of sections of E, but the bundle E has not been introduced at that point; it should be Sec(A).
- [§2.4] The phrase 'κ∈Sec(L)' is imprecise: κ is a vector field on Σ that defines the anchor of L (via ρ_ψ=ψκ), not literally a section of the abstract trivial line bundle L→Σ.
- [§2.5, Definition 2.42] The sentence 'An A-path can be considered as a section of A' is misleading; an A-path is a curve in the total space A, not a section over M. Rephrase for clarity.
- [§2.4, filtration (2.7)] For a null hypersurface, L_null^⊥=TΣ|Σ_null because the null generator lies in the kernel of the induced metric; the notation L_null⊂L_null^⊥⊂TΣ may suggest a proper filtration. This is harmless but could be clarified.
Circularity Check
No significant circularity: the flagged existence-proof gaps in §2.5 are incompleteness, not circular reductions; the framework is definitional and externally anchored.
full rationale
The derivation chain is not circular. Definition 2.15 fixes what a Carrollian Lie algebroid is, and Definition 2.24 then defines the Carroll distribution as C = ρ(L), so the occurrence of singular Stefan–Sussmann distributions is a design consequence rather than a predicted output. Example 2.30 verifies that weak Carrollian manifolds embed by taking A = TM and L = ker(g), matching Definition 2.14; this is an instance check, not a self-referential proof. The principal result, Theorem 2.52, is a substantive mathematical claim. Its proof via Proposition 2.49 does contain a genuine gap: 'The system of linear equations is underdetermined, and so a solution can always be found' is not a valid inference, since an inhomogeneous system must also satisfy consistency conditions. A consistent solution does exist (e.g. by splitting A ≅ E⊕L and solving on the nondegenerate quotient), but §2.5 does not show it; this is a correctness/completeness defect, not a reduction of the conclusion to the premise. The same holds for the compressed solvability claim in Proposition 2.56. The corollary for weak Carrollian manifolds is obtained by specializing the algebroid statement to A = TM, not by assuming the manifold-level result. Self-citations are not load-bearing: [7] appears only in an illustrative list of Lie algebroid applications, and the cited uniqueness/connection facts [6,29] are external. No fitted parameters, no renaming of an external result as a new prediction. Score 0.
Assumptions & free parameters
assumptions (5)
- standard math Background Lie algebroid theory (Mackenzie [35]): anchor images of Lie algebroids are integrable Stefan–Sussmann distributions; Lie algebroid connections always exist (Křížka [30]).
- standard math Every Lie algebroid admits a Lie algebroid connection.
- ad hoc to paper L is a globally trivial line bundle with ker(g) of constant rank 1 (Definition 2.15).
- domain assumption In the Atiyah example (2.39): the Carrollian structure (ĝ, κ) on the principal bundle P is G-invariant, including G-invariance of κ.
- ad hoc to paper In §2.4: existence of a characteristic vector field κ on Σ that vanishes identically on Σ_space and is nowhere vanishing on Σ_null, plus triviality of the screen bundle S and of its smooth extension A_0.
invented entities (3)
-
Carrollian Lie algebroid
-
Carroll distribution C := ρ(L)
-
Carrollian Lie groupoid
Cite this review
Pith. "Pith review of Carrollian Lie Algebroids: Taming Singular Carrollian Geometries." pith.science (2026). https://pith.science/paper/SMJ5BL6V
@misc{pith2026251003877,
author = {Pith},
title = {Pith review of: Carrollian Lie Algebroids: Taming Singular Carrollian Geometries},
year = {2026},
howpublished = {\url{https://pith.science/paper/SMJ5BL6V}},
note = {Machine review of arXiv:2510.03877}
}
read the original abstract
Developments in Carrollian gravity and holography necessitate the use of singular Carroll vector fields, a feature that cannot be accommodated within standard Carrollian geometry. We introduce Carrollian Lie algebroids as a framework to study such singular Carrollian geometries. In this approach, we define the Carroll distribution as the image of the kernel of the degenerate metric under the anchor map. The Carroll distribution is, in general, a singular Stefan--Sussmann distribution that will fluctuate between rank-1 and rank-0, and so captures the notion of a singular Carroll vector field. As an example, we show that an invariant Carrollian structure on a principal bundle leads to a Carrollian structure on the associated Atiyah algebroid that will, in general, have a singular Carroll distribution. Mixed null-spacelike hypersurfaces, under some simplifying assumptions, also lead to examples of Carrollian Lie algebroids. Furthermore, we establish the existence of compatible connections on Carrollian Lie algebroids, and as a direct consequence, we conclude that Carrollian manifolds can always be equipped with compatible affine connections.
Forward citations
Cited by 1 Pith paper
-
Foundations of Noncommutative Carrollian Geometry via Lie-Rinehart Pairs
Carrollian geometric structures are generalized to almost-commutative algebras via ρ-Lie-Rinehart pairs, with explicit examples on the extended quantum plane and noncommutative 2-torus.
Reference graph
Works this paper leans on
-
[1]
F., Nocchi, M., Ruzziconi, R., & Srikant, A
Alday, L. F., Nocchi, M., Ruzziconi, R., & Srikant, A. Y., Carrollian amplitudes from holographic corre- lators,J. High Energy Phys.2025, No. 3, Paper No. 158, 43 p. (2025)
2025
-
[2]
& G ˆ ırt ¸u, M., Einstein equations in Lie algebroids,Sci
Anastasiei, M. & G ˆ ırt ¸u, M., Einstein equations in Lie algebroids,Sci. Stud. Res., Ser. Math. Inform.24, No. 1, 5–16 (2014)
2014
-
[3]
& 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]
-
[4]
High Energy Phys.2017, No
Barnich, G., Centrally extended BMS4 Lie algebroid,J. High Energy Phys.2017, No. 6, Paper No. 7, 14 p. (2017)
2017
-
[5]
Blohmann, C., Barbosa F. M. C. & Weinstein, A., Groupoid symmetry and constraints in general relativity, Commun. Contemp. Math.15, No. 1, Paper No. 1250061, 25 p. (2013)
2013
-
[6]
Boucetta, M., Riemannian geometry of Lie algebroids,J. Egypt. Math. Soc.19, No. 1-2, 57-70 (2011)
2011
-
[7]
J., Killing sections and sigma models with Lie algebroid targets,Rep
Bruce, A. J., Killing sections and sigma models with Lie algebroid targets,Rep. Math. Phys.78, No. 1, 1–18 (2016)
2016
-
[8]
Quantum Grav.41, No
Ciambelli, L., Dynamics of Carrollian scalar fields,Class. Quantum Grav.41, No. 16, Article ID 165011, 17 p. (2024)
2024
Show all 44 references
-
[9]
& Jai-akson P., Foundations of Carrollian Geometry, arXiv:2510.21651 [hep-th]
Ciambelli, L. & Jai-akson P., Foundations of Carrollian Geometry, arXiv:2510.21651 [hep-th]
-
[10]
C., Petropoulos, P
Ciambelli, L., Marteau, C., Petkou, A. C., Petropoulos, P. M. & Siampos, K., Covariant Galilean versus Carrollian hydrodynamics from relativistic fluids,Class. Quantum Grav.35, No. 16, Article ID 165001, 44 p. (2018)
2018
-
[11]
& Fernandes, R
Crainic, M. & Fernandes, R. L., Integrability of Lie brackets,Ann. Math.157, No. 2, 575–620 (2003)
2003
-
[12]
& Vandoren, S., Carroll Symmetry, Dark Energy and Inflation,Front
de Boer, J., Hartong, J., Obers, N.A., Sybesma, W. & Vandoren, S., Carroll Symmetry, Dark Energy and Inflation,Front. Phys.10, 810405 (2022)
2022
-
[13]
& 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
-
[14]
& 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
-
[15]
& 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). 22 CARROLLIAN LIE ALGEBROIDS: TAMING SINGULAR CARROLLIAN GEOMETRIES
2014
-
[16]
& 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
-
[17]
& 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
-
[18]
& Troncoso, R., Carroll black holes,SciPost Phys.15, No
Ecker, F., Grumiller, D., Hartong, J., Perez, A., Prohazka, S. & Troncoso, R., Carroll black holes,SciPost Phys.15, No. 6, Paper No. 245, 59 p. (2023)
2023
-
[19]
& Salgado-Rebolledo, P., Carroll-invariant propagating fields, Phys.Rev.D110, L041901 (2024)
Ecker, F., Grumiller, D., Henneaux, M. & Salgado-Rebolledo, P., Carroll-invariant propagating fields, Phys.Rev.D110, L041901 (2024)
2024
-
[20]
& Hou, S., On the gauge features of gravity on a Lie algebroid structure,J
Fabi, S., Harms, B. & Hou, S., On the gauge features of gravity on a Lie algebroid structure,J. Math. Phys.55, No. 3, 032502, 9 p. (2014)
2014
-
[21]
Figueroa-O’Farrill, J., Non-lorentzian spacetimes,Differ. Geom. Appl.82, Article ID 101894, 24 p. (2022)
2022
-
[22]
Figueroa-O’Farrill, J., Lie algebraic Carroll/Galilei duality,J. Math. Phys.64, No. 1, Article ID 013503, 15 p. (2023)
2023
-
[23]
& 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
-
[24]
& Payne O., A Carroll Limit of AdS/CFT: A Triality with Flat Space Holography?, arXiv:2508.10085 [hep-th]
Fontanella A. & Payne O., A Carroll Limit of AdS/CFT: A Triality with Flat Space Holography?, arXiv:2508.10085 [hep-th]
-
[25]
Gibbons, G.W., The Ashtekar-Hansen universal structure at spatial infinity is weakly pseudo-Carrollian, arXiv:1902.09170 [gr-qc]
1902 arXiv
-
[26]
& Marmo, G., Information geometry on groupoids: the case of singular metrics,Open Syst
Grabowska, K., Grabowski, J., Ku´ s, M. & Marmo, G., Information geometry on groupoids: the case of singular metrics,Open Syst. Inf. Dyn.27, No. 3, Article ID 2050015, 19 p. (2020)
2020
-
[27]
Henneaux, M., Zero Hamiltonian signature spacetimes,Bull. Soc. Math. Belg., S´ er. A31, 47–63 (1979)
1979
-
[28]
& Watamura, S., Contravariant gravity on Poisson manifolds and Einstein gravity, Class
Kaneko, Y., Muraki, H. & Watamura, S., Contravariant gravity on Poisson manifolds and Einstein gravity, Class. Quantum Grav.34, No. 11, Article ID 115002, 18 p. (2017)
2017
-
[29]
E., Levi-Civita connections on degenerate pseudo-Riemannian manifolds,J
Kozlov, S. E., Levi-Civita connections on degenerate pseudo-Riemannian manifolds,J. Math. Sci.104, No. 4, 1338-1342 (2001)
2001
-
[30]
Math., Brno44, No
Kˇ riˇ zka, L., Moduli spaces of Lie algebroid connections,Arch. Math., Brno44, No. 5, 403–418 (2008)
2008
-
[31]
& Ryvkin L., An invitation to singular foliations, arXiv:2407.14932 [math.DG]
Laurent-Gengoux, C., Louis, R. & Ryvkin L., An invitation to singular foliations, arXiv:2407.14932 [math.DG]
-
[32]
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
-
[33]
Proc.14, 006 (2023)
L´ evy-Leblond, J.M., On the unexpected fate of scientific ideas: An archeology of the Carroll group,SciPost Phys. Proc.14, 006 (2023)
2023
-
[34]
& Srikant, A
Lipstein, A., Ruzziconi, R. & Srikant, A. Y., Towards a flat space Carrollian hologram from AdS4/CFT3, J. High Energy Phys.2025, No. 6, Paper No. 73, 45 p. (2025)
2025
-
[35]
xxxviii+501 pp
Mackenzie, K.C.H., General theory of Lie groupoids and Lie algebroids, London Mathematical Society Lecture Note Series, 213,Cambridge University Press, Cambridge, 2005. xxxviii+501 pp
2005
-
[36]
& Senovilla, J
Mars, M. & Senovilla, J. M. M., Geometry of general hypersurfaces in spacetime: junction conditions, Class.Quant.Grav.10, No. 9, 1865–1897 (1993)
1993
-
[37]
Pradines, J., Repr´ esentation des jets non holonomes par des morphismes vectoriels doubles soud´ es,C. R. Acad. Sci. Paris S´ er. A278(1974), 1523–1526
1974
-
[38]
(ed.) et al., The ninth Marcel Grossmann meeting
Rovelli, C., Notes for a brief history of quantum gravity, Gurzadyan, Vahe G. (ed.) et al., The ninth Marcel Grossmann meeting. On recent developments in theoretical and experimental general relativity, gravitation, and relativistic field theories. Proceedings of the MGIX MM m...
-
[39]
Sen Gupta, N.D., On an analogue of the Galilei group,Nuovo Cimento A44, 512–517 (1966)
1966
-
[40]
Strobl, T., Gravity from Lie algebroid morphisms,Commun. Math. Phys.246, No. 3, 475–502 (2004)
2004
-
[41]
I., Nonholonomic algebroids, Finsler geometry, and Lagrange-Hamilton spaces,Math
Vacaru, S. I., Nonholonomic algebroids, Finsler geometry, and Lagrange-Hamilton spaces,Math. Sci., Springer6, Paper No. 18, 33 p. (2012)
2012
-
[42]
S., Lie groups, Lie algebras, and their representations, Reprint of the 1974 edition, Grad- uate Texts in Mathematics
Varadarajan, V. S., Lie groups, Lie algebras, and their representations, Reprint of the 1974 edition, Grad- uate Texts in Mathematics. 102. New York, NY: Springer. xiii, 430 p. (1984)
1974
-
[43]
& Read, J., Affine connections for Galilean and Carrollian structures: a unified perspective,Class
Vigneron, Q., Barzegar, H. & Read, J., Affine connections for Galilean and Carrollian structures: a unified perspective,Class. Quantum Grav.42, No. 17, Article ID 175018, 20 p. (2025)
2025
-
[2000]
Singapore: World Scientific
In 3 vols. Singapore: World Scientific. 742-768 (2002). Also avaliable as arXiv:gr-qc/0006061
2002 arXiv
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.