Carrollian $\mathbb{R}^\times$-bundles: Connections and Beyond

Andrew James Bruce

REVIEW 1 major objections 5 minor 2 cited by

Carrollian $\mathbb{R}^\times$-bundles: Connections and Beyond

T0 review · 1 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Every simple Carrollian manifold can be encoded as a principal $\mathbb{R}^\times$-bundle, and once a connection is chosen the degenerate metric is completed to a non-degenerate one.

desk verdict A clean R^x-principal bundle reformulation of Carrollian geometry, but the proof of the key encoding theorem has a repairable gap and the Thakurta example has a minor sign error. read the letter →

arxiv 2505.21332 v5 pith:VFY3ZT3Y submitted 2025-05-27 math.DG gr-qcmath-phmath.MP

Andrew James Bruce This is my paper

classification math.DGgr-qcmath-phmath.MP MSC 53B0553B1553C5053Z0558A30

keywords Carrolliangeometryprincipalbundlesdegeneratemetricssimplemanifoldsconnectionsnullgeodesicsaffineline

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

Carrollian geometry studies manifolds with a degenerate metric, the structures that emerge when ordinary relativistic spacetime is taken to the ultra-relativistic limit, where light cones collapse to lines. This paper proposes to carry such geometry on principal $\mathbb{R}^\times$-bundles: the bundle's vertical direction is exactly the degenerate direction of the metric. Its central theorem states that every simple Carrollian manifold—one foliated by non-compact real lines—can be non-canonically encoded this way, even when the temporal fibration is a non-trivial bundle. Once a principal connection is chosen, the combination $g \pm \omega^2$ is a non-degenerate metric, giving a canonical torsion-free affine connection and a setting for null geodesics. A reader should care because the construction turns the difficulties of a degenerate metric into ordinary (pseudo-)Riemannian geometry, at the price of a non-canonical choice.

What carries the argument

The central object is a Carrollian $\mathbb{R}^\times$-bundle $(P,g)$: a principal bundle with group $\mathbb{R}^\times$ and a degenerate metric whose kernel is the vertical tangent bundle, so a single globally defined Euler vector field spans the degenerate direction. Two mechanisms carry the argument. First, Lemma 3.16 converts an arbitrary $\mathbb{R}$-fibre bundle into a line bundle by linearising its transition functions at a chosen global section—only the first Taylor coefficient is retained, and this is what makes the encoding non-canonical. Second, an $\mathbb{R}^\times$-connection, encoded in a real one-form $\omega$ of weight zero, supplies a horizontal subbundle; the combination $g\pm\omega^2$ is non-degenerate and behaves like a metric with a non-compact extra dimension.

What would settle it

Take a fibre bundle over the circle with a transition function that has a non-zero quadratic term, such as $\psi(m,r)=r+r^2$; apply the Lemma 3.16 construction and check directly whether the map $\Phi_s$ defined on overlaps is a well-defined fibre-preserving diffeomorphism onto the original bundle. If the overlaps force higher-order terms into the coordinate transformation, the linearised line bundle is not isomorphic to the original bundle and the construction fails.

Watch

Extended reading notes

Core claim

The central claim is that a simple Carrollian manifold can be presented as a Carrollian $\mathbb{R}^\times$-bundle: a principal bundle with fibre $\mathbb{R}^\times = \mathbb{R}\setminus\{0\}$ equipped with a degenerate metric whose kernel is exactly the module of vertical vector fields. The construction is non-canonical: it requires a transversal slice, then a section, and Lemma 3.16 linearises the $\mathbb{R}$-fibre bundle into a line bundle whose first-order transition functions are the derivative of the original ones. Removing the zero section gives a principal $\mathbb{R}^\times$-bundle, and the Carrollian metric pulls back so that its kernel is the vertical bundle. With an $\mathbb{R}^\times$-connection $\omega$ in hand, Proposition 3.21 shows $g\pm\omega^2$ is non-degenerate; Proposition 3.22 then gives a canonical torsion-free affine connection, the Levi-Civita connection of that metric, which is not generally metric-compatible with the original degenerate $g$. The construction supports a reading of null geodesics in which Carrollian photons with zero Carroll charge are frozen while charged Carrollian photons move under a Lorentz-force-like term.

Load-bearing premise

The argument depends on Lemma 3.16, which claims that any $\mathbb{R}$-fibre bundle can be linearised into an isomorphic line bundle by keeping only the first Taylor coefficient of its transition functions; if that linearisation is not a true bundle isomorphism for nonlinear transition maps, the encoding theorem for simple Carrollian manifolds loses its proof.

Editorial extensions

If this is right

Every simple Carrollian manifold, including physically relevant null hypersurfaces such as black-hole horizons, admits a Carrollian $\mathbb{R}^\times$-bundle presentation even when the underlying temporal fibration is non-trivial.
Choosing an $\mathbb{R}^\times$-connection is always possible, and it yields a canonical torsion-free affine connection on the total space; the connection is generally not metric-compatible with the degenerate metric, resolving the "no canonical connection" issue only up to this choice.
When the Euler vector field is Killing, the degenerate metric descends to a non-degenerate metric on the base and every vertical vector field is Killing, so vertical symmetries are trivial gauge-like symmetries while genuine symmetries project to Killing fields on the base.
Null geodesics of $g-\omega^2$ split into Carrollian photons with zero Carroll charge, which are frozen at a point, and charged Carrollian photons whose spatial motion in the small-gauge limit follows a Lorentz-force equation on the base manifold.
The Levi-Civita connection extends to the associated line bundle for regular vector fields, so principal-bundle constructions can be transported across the zero section.

Reading between the lines

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

If Lemma 3.16 is probed with a nonlinear $\mathbb{R}$-fibre bundle, the claimed linearisation may fail because higher-order Taylor terms are discarded; a concrete counterexample would delimit the true scope of the theorem.
The extra-dimension reading of $g\pm\omega^2$ suggests that the non-compact fibre coordinate can be treated as a conformal factor, defining a connection-independent volume and divergence operator on Carrollian space-times.
The Carrollian-photon analysis could be turned into a probe of horizon geometry: charged null geodesics become helical in the small-gauge limit, so their observed motion would encode the curvature two-form of the principal connection.
Extending the construction to non-simple or compact-leaf foliations would require singular or groupoid versions of the bundle, and the counterexamples in the paper mark that boundary.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Here's my read of Bruce's Carrollian R^x-bundles paper. The core idea is simple and appealing: model Carrollian structures as principal R^x-bundles with a degenerate metric whose kernel is the vertical bundle. This gives a globally defined Euler vector field even when the bundle is non-trivial, and once a principal connection is chosen, you get a non-degenerate metric g ± ω^2 and hence a Levi-Civita connection. That is a nice way to sidestep the usual lack of a canonical affine connection in Carrollian geometry, and the author is upfront that this is essentially Kaluza-Klein.

The paper is clearly written, with good examples. The Schwarzschild horizon example works cleanly, and the null geodesic discussion with the Carroll charge is suggestive without being overclaimed. The local computations in Sections 3.1 and 3.3 checked out for me. The move to non-trivial bundles is a genuine contribution, even if R^x-bundles are just line bundles minus the zero section.

The soft spot is real, and it's the one the stress-test identified. Lemma 3.16 claims to linearize any R-fibre bundle by Taylor expanding the transition functions at the chosen section. The proof defines the map Φ_s from the line bundle to E by r_i = t_i + s_i(x). On a double overlap this requires ψ̃_ij(m, t_j) = a_ij(m) t_j for all t_j, which only holds if the shifted transition functions are linear. They are not, in general, so Φ_s is not well-defined as a bundle map, and the proof of Theorem 3.15 as written does not go through. The lemma itself is probably true: the structure group of an R-fibre bundle can be reduced to GL(1,R) because Diff(R) deformation retracts onto it, but that is a different argument, and the paper doesn't supply it. This is a load-bearing gap, not a typo, but it is repairable.

There is also a small error in the Thakurta example: L_Δ g should be -t U'(t) g, not (1 - U'(t)) g. The conformal conclusion survives, so this is minor.

Overall, the framework is plausible and the paper deserves a serious referee. The author needs to replace Lemma 3.16 with a correct reduction argument and fix the example. I wouldn't cite the main theorem as it stands, but I would be happy to see a corrected version.

Referee Report

1 major / 5 minor

Summary. The paper proposes a principal-bundle formulation of Carrollian geometry. A Carrollian R^×-bundle is a principal R^×-bundle whose total space carries a degenerate metric with kernel exactly the vertical bundle. The paper shows that simple Carrollian manifolds—those whose degenerate-metric kernel foliates the manifold by non-compact real lines—can be non-canonically encoded as such principal bundles (Theorem 3.15). It then introduces R^×-connections on these bundles and shows that, once a connection is chosen, the combination g ± ω² is a non-degenerate metric, so the Levi-Civita connection of that metric supplies a torsion-free affine connection that is generally not metric-compatible with the original degenerate metric. The paper also discusses Killing vector fields, null geodesics, and the examples of Schwarzschild and Thakurta event horizons.

Significance. If the encoding theorem is made rigorous, the framework is a useful new organizing tool: it places Carrollian geometry in the standard principal-bundle setting, permits non-trivial bundles while keeping the vertical bundle trivial, and provides a Kaluza–Klein-type construction of a non-degenerate metric from degenerate data. The paper is careful to separate canonical from non-canonical choices, and the local computations in Sections 3.1 and 3.3 are mostly correct. The manuscript contains explicit coordinate formulas, concrete examples, and no fitted parameters or circular reasoning. The main weakness is a genuine gap in the proof of the central encoding theorem, Lemma 3.16 and Theorem 3.15.

major comments (1)

[Theorem 3.15, proof] The comparison of kernels in the proof of Theorem 3.15 contains an invalid inference. The proof says that if T(Φ_s∘ι)(v) lies in VN, then v lies in ker(g); but from T(Φ_s∘ι)(VP) ⊆ VN and T(Φ_s∘ι)(ker(g)) ⊆ VN one cannot conclude that these two subspaces coincide. One must instead show directly that ker(g) = (T(Φ_s∘ι))^{-1}(VN), using the fact that Φ_s∘ι is an open embedding of P into N so that its tangent image is the full tangent bundle of an open subset of N. This is likely fixable, but the written argument is incomplete and should be replaced by a rigorous computation.

minor comments (5)

[Example 3.18] The claimed conformal factor is incorrect: for g = (2GM)^2 e^{-U(t)} g_{S^2}, one has L_Δ g = -t U'(t) g, not (1 - U'(t)) g. The example should be corrected, since it is used to illustrate a non-Killing but conformal Euler vector field.
[Example 3.18] The notation for the coordinate along the horizon leaves is inconsistent: the text first uses v for the Eddington–Finkelstein coordinate and later uses r for the fibre coordinate, which conflicts with the radial coordinate of the spacetime. Please choose a single symbol, such as t after the linearisation, and use it consistently.
[Abstract] The rendered abstract contains a typo: 'matthbb{R}' should be 'mathbb{R}'.
[References] Reference [16] is listed as 'Heanneaux' but should be 'Henneaux'.
[Proposition 3.4, proof] The sentence 'as g has no dependence on the coordinate ˙t' is imprecise; the essential point is that i_Δ g = 0. The conclusion L_{X^t Δ} g = X^t L_Δ g is correct once this is stated clearly.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central construction is self-contained, and self-citations are only background; a possible gap in Lemma 3.16 would be a correctness issue, not a circularity.

full rationale

The paper's derivation chain does not feed the target result back into its inputs. Theorem 3.15 constructs a Carrollian R^x-bundle from a simple Carrollian manifold using a transversal slice, a global section, and Lemma 3.16, which linearizes an R-fibre bundle into a line bundle via the first-order Taylor coefficient of the transition functions. This is an explicit construction, not a definition of the conclusion in terms of itself. Proposition 3.21 builds the non-degenerate metric g±ω^2 directly from the given degenerate metric g and the chosen connection ω; Proposition 3.22 then takes the Levi-Civita connection of that metric, so no fitted parameter is renamed as a prediction. The Kaluza-Klein nature of the construction is openly acknowledged rather than disguised: the paper says 'underlying the existence of an affine connection from an R^x-connection is a Kaluza–Klein geometry' and later 'Thus, we have a kind of Kaluza–Klein geometry ... We will not pursue this idea further here.' Self-citations to Bruce, Grabowska & Grabowski [4] and to the author's companion papers [5], [6] are used for background motivation and terminology; the technical facts about principal R^x-bundles and connections are restated and proved in Section 2, so the argument does not rest on an unverified self-citation. The noted concern about Lemma 3.16 is a possible gap in the proof of the linearization step, but that is a correctness or completeness issue, not circularity: no equation in the paper defines the conclusion in terms of its inputs. Therefore the appropriate circularity score is 0.

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

No numerical parameters are fitted. The central construction depends on standard bundle theory plus the linearization lemma, whose proof has a gap; the encoding theorem therefore rests on an unproved assumption.

assumptions (3)

domain assumption Every R-fibre bundle over a paracompact connected manifold admits a global section
Used in Lemma 3.16 to shift local trivializations by a section; standard but not proved in the paper.
domain assumption Simple Carrollian manifolds are fibre bundles over the leaf space with fibre R and admit global transversal slices
Used in Theorem 3.15 to identify the base manifold and construct an atlas.
ad hoc to paper The first-order Taylor coefficient of the transition functions defines a line bundle and the map Φ_s is a well-defined fibre-preserving diffeomorphism
This is the load-bearing part of Lemma 3.16; the proof as written does not handle higher-order terms, so the claim is effectively assumed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Carrollian $\mathbb{R}^\times$-bundles: Connections and Beyond." pith.science (2026). https://pith.science/paper/VFY3ZT3Y

@misc{pith2026250521332,
  author       = {Pith},
  title        = {Pith review of: Carrollian $\mathbbR^\times$-bundles: Connections and Beyond},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VFY3ZT3Y}},
  note         = {Machine review of arXiv:2505.21332}
}

abstract

We propose an approach to Carrollian geometry using principal $\mathbb{R}^\times$-bundles ($\mathbb{R}^\times := \matthbb{R} \setminus \{0\}$) equipped with a degenerate metric whose kernel is the module of vertical vector fields. The constructions allow for non-trivial bundles, and a large class of Carrollian manifolds can be analysed in this formalism. A key result in this is that once a principal connection has been selected, there is a canonical non-degenerate metric that can be leveraged to circumvent the difficulties associated with a degenerate metric. Within this framework, we examine the Levi-Civita connection and null geodesics.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Carrollian $\mathbb{R}^\times$-bundles III: The Hodge Star and Hodge--de Rham Laplacians
math.DG 2025-07 conditional novelty 6.0 of 10

On Carrollian R^×-bundles, a chosen connection turns the degenerate metric into a Lorentzian metric, defining Hodge star, codifferential, and Hodge-de Rham Laplacian, with a Schwarzschild horizon example and a Carroll...
Carrollian $\mathbb{R}^\times$-bundles II: Sigma Models on Event Horizons
gr-qc 2025-07 conditional novelty 6.0 of 10

A Carrollian sigma model on an R^x-bundle yields a wave equation on a Schwarzschild event horizon with propagation speed 2kappa = 4pi T_H.

Reference graph

Works this paper leans on

22 extracted references · 14 canonical work pages · cited by 2 Pith papers

[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]

arXiv
[2]

& McNut D., Horizons that gyre and gimble: a differential characterization of null hy- persurfaces,Eur

Blitz S. & McNut D., Horizons that gyre and gimble: a differential characterization of null hy- persurfaces,Eur. Phys. J. C84, paper 561 (2024)

work page 2024
[3]

& 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. in Phys.10, 810405 (2022)

work page 2022
[4]

& Grabowski, J., Remarks on contact and Jacobi geometry,SIGMA 13, Paper 059, 22 p

Bruce, A.J., Grabowska, K. & Grabowski, J., Remarks on contact and Jacobi geometry,SIGMA 13, Paper 059, 22 p. (2017)

work page 2017
[5]

Bruce, A.J., CarrollianR ×-bundles II: Sigma Models on Event Horizons, arXiv:2507.00544 [gr-qc] (2025)

arXiv 2025
[6]

Carrollian $\mathbb{R}^\times$-bundles III: The Hodge Star and Hodge--de Rham Laplacians

Bruce, A.J., CarrollianR ×-bundles III: The Hodge Star and Hodge–de Rham Laplacians, arXiv:2507.21906 [math.DG] (2025). 18 CARROLLIANR ×-BUNDLES: CONNECTIONS AND BEYOND

work page Pith review arXiv 2025
[7]

& Pons, J.M., Dynamics of Carroll strings,J

Cardona, B., Gomis, J. & Pons, J.M., Dynamics of Carroll strings,J. High Energy Phys.7, Paper No. 50, 11 p. (2016)

work page 2016
[8]

& Speranza, A.J., Brown-York charges at null boundaries,J

Chandrasekaran, V., Flanagan, ´E.´E., Shehzad,I. & Speranza, A.J., Brown-York charges at null boundaries,J. High Energy Phys.No. 1, Paper No. 29, 29 p. (2022)

work page 2022

Show all 22 references

[9]

& Petropoulos, P.M., Carroll structures, null geometry, and conformal isometries,Phys

Ciambelli, L., Leigh, R.G., Marteau, C. & Petropoulos, P.M., Carroll structures, null geometry, and conformal isometries,Phys. Rev. D100, 046010 (2019)

2019
[10]

& Marteau, C., Carrollian physics at the black hole horizon,Class

Donnay, L. & Marteau, C., Carrollian physics at the black hole horizon,Class. Quantum Grav.36, No. 16, Article ID 165002, 19 p. (2019)

2019
[11]

& 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
[12]

& 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. Quantum Grav.31, 092001 (2014)

2014
[13]

& 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
[14]

& 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
[15]

Grabowski, J., Graded contact manifolds and contact Courant algebroids,J. Geom. Phys.68, 27–58 (2013)

2013
[16]

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

1979
[17]

& van Holten J-W., Geodesic deviation in Kaluza-Klein theories, Phys

Kerner, R., Martin, J., Mignemi, S. & van Holten J-W., Geodesic deviation in Kaluza-Klein theories, Phys. Rev. D63, 027502 (2001)

2001
[18]

& Slov´ ak, J., Natural operations in differential geometry,Springer-Verlag, Berlin, 1993, vi+434 pp

Kol´ aˇ r, I., Michor, P.W. & Slov´ ak, J., Natural operations in differential geometry,Springer-Verlag, Berlin, 1993, vi+434 pp. ISBN: 3-540-56235-4

1993
[19]

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
[20]

of Pure and Appl

Mars, M., Abstract null geometry, energy-momentum map and applications to the constraint tensor, Beijing J. of Pure and Appl. Math.1, Number 2, 797–852 (2024)

2024
[21]

& Mrˇ cun, J., Introduction to foliations and Lie groupoids, Cambridge Studies in Advanced Mathematics, 91,Cambridge: Cambridge University Press

Moerdijk, I. & Mrˇ cun, J., Introduction to foliations and Lie groupoids, Cambridge Studies in Advanced Mathematics, 91,Cambridge: Cambridge University Press. ix, 173 p. (2003)

2003
[22]

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

1966

Pith tools

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

[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]

arXiv

[2] [2]

& McNut D., Horizons that gyre and gimble: a differential characterization of null hy- persurfaces,Eur

Blitz S. & McNut D., Horizons that gyre and gimble: a differential characterization of null hy- persurfaces,Eur. Phys. J. C84, paper 561 (2024)

work page 2024

[3] [3]

& 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. in Phys.10, 810405 (2022)

work page 2022

[4] [4]

& Grabowski, J., Remarks on contact and Jacobi geometry,SIGMA 13, Paper 059, 22 p

Bruce, A.J., Grabowska, K. & Grabowski, J., Remarks on contact and Jacobi geometry,SIGMA 13, Paper 059, 22 p. (2017)

work page 2017

[5] [5]

Bruce, A.J., CarrollianR ×-bundles II: Sigma Models on Event Horizons, arXiv:2507.00544 [gr-qc] (2025)

arXiv 2025

[6] [6]

Carrollian $\mathbb{R}^\times$-bundles III: The Hodge Star and Hodge--de Rham Laplacians

Bruce, A.J., CarrollianR ×-bundles III: The Hodge Star and Hodge–de Rham Laplacians, arXiv:2507.21906 [math.DG] (2025). 18 CARROLLIANR ×-BUNDLES: CONNECTIONS AND BEYOND

work page Pith review arXiv 2025

[7] [7]

& Pons, J.M., Dynamics of Carroll strings,J

Cardona, B., Gomis, J. & Pons, J.M., Dynamics of Carroll strings,J. High Energy Phys.7, Paper No. 50, 11 p. (2016)

work page 2016

[8] [8]

& Speranza, A.J., Brown-York charges at null boundaries,J

Chandrasekaran, V., Flanagan, ´E.´E., Shehzad,I. & Speranza, A.J., Brown-York charges at null boundaries,J. High Energy Phys.No. 1, Paper No. 29, 29 p. (2022)

work page 2022