Carroll Structures, Null Geometry and Conformal Isometries

We study the concept of Carrollian spacetime starting from its underlying fiber-bundle structure. The latter admits an Ehresmann connection, which enables a natural separation of time and space, preserved by the subset of Carrollian diffeomorphisms. These allow for the definition of Carrollian tensors and the structure at hand provides the designated tools for describing the geometry of null hypersurfaces embedded in Lorentzian manifolds. Using these tools, we investigate the conformal isometries of general Carrollian spacetimes and their relationship with the BMS group.


Introduction
The Carroll group was discovered by Lévy-Leblond in 1965 [1] as a dual contraction of the Poincaré group, operating at vanishing rather than infinite velocity of light. The increasing interest in non-Minkowskian spacetimes possessing nonetheless boost-like isometries, has led to more systematic studies of Carrollian constructions. Besides the intrinsic value of the latter (along with Newton-Cartan), the resurgence in the area has been sustained by the parallel growth of two distinct albeit related fields of application. The first involves codimension-one null hypersurfaces in Lorentzian i.e., hyperbolic pseudo-Riemannian manifolds. The second concerns the development of flat holography.
Carroll structures were introduced in [2][3][4] as alternatives to Riemannian or Newton-Cartan geometries. 1 According to these authors, Carroll structures consist of a d + 1-dimensional manifold C equipped with a degenerate metric g and a vector field E, which defines the kernel of the metric, i.e. g(E, . ) = 0. In this definition, the Carroll group emerges as the isometry group of flat Carrollian structures, whereas general diffeomorphisms are always available. Because of the field E, the Carroll structure defines a natural separation between time and space, and a subset of diffeomorphisms arises, the Carrollian diffeomorphisms, which preserves this separation.
Given their defining properties, Carroll structures are expected to arise systematically as geometries on null hypersurfaces of relativistic spacetimes, because the induced metric inherited from the embedding is degenerate (see e.g. [6]). There are several notable instances of null hypersurfaces. Generally, null hypersurfaces occur as components of the boundary of causal diamonds and related structures, relevant in the study of entanglement. One also finds null hypersurfaces in other important physical situations, such as black-hole horizons and the hypersurfaces appearing at light-like infinity of asymptotically flat spacetimes (commonly designated as I ± ). The latter makes the bridge with asymptotically flat holography, in which the putative dual degrees of freedom are expected to be defined precisely on this null-infinity hypersurface.
In fact, asymptotically flat holography has been probably the first arena of application of Carrollian physics [7,8], not so much because of the geometric structure the boundary is endowed with (its Carrollian nature was identified much later), but for the emergence of the BMS symmetry. The BMS group was discovered in 1962 by Bondi, van der Burg, Metzner and Sachs [9,10] as the asymptotic isometry group of asymptotically flat spacetimes towards light infinity, and became popular lately in relation with null hypersurfaces and flat holography (see e.g. [11,12]). It was in particular proven [3] that the bms(d + 2) algebra is isomorphic to the conformal Carroll algebra ccarr(d + 1) for d = 1, 2. This is yet another sign corroborating the triangle "Carroll-null-BMS".
The aim of the present work is to revisit this web of relationships and provide an alternative perspective to some of its aspects. Our analysis follows two paths. On the one hand, we define a Carrollian spacetime in terms of a fiber bundle accompanied with a Carroll structure. The ingredients are thus an Ehresmann connection, a degenerate metric and a scale factor, 2 all assumed a priori time-and space-dependent. This provides us with a geometric understanding of the appearance of Carrollian diffeomorphisms and the reduction of spacetime tensors to Carrollian tensors. Carrollian spacetimes with the above set of ingredients are also naturally revealed in null embedded hypersurfaces. On the other hand, we discuss the conformal isometry algebra of general Carrollian spacetimes. In the shearless case (properly defined shortly), we generally recover the familiar algebra of transformations. In two and three dimensions, the algebra coincides with BMS, whereas in arbitrary dimension it appears as the semi-direct product of the conformal isometry group of the metric with supertranslations. The strength of our results resides in their wide validity for shearless but otherwise arbitrary Carrollian geometries. In the literature there have been other proposals made for a notion of geometry defined on null embedded hypersurfaces, the "universal structures", (see e.g., [15]). Different such proposals may lead to different algebras that preserve the given structure, with subsequently a potential choice of partial gauge fixing.

Carrollian Spacetimes as Fiber Bundles
The Intrinsic Definition A d + 1-dimensional Carrollian spacetime C is elegantly described in terms of a fiber bundle, with onedimensional fibers, and a d-dimensional base S thought of as the space, the fiber being the time. As usual, the bundle structure provides a projection π : C → S, which defines in turn a surjective linear map between the corresponding tangent bundles, dπ : T C → T S. It is convenient to choose a local coordinate system x = {t, x} such that the action of the projector simplifies to π : (t, x) → x, that is, t is the fiber coordinate.
One can define a vertical subbundle as V = ker(dπ). The above coordinate set has been chosen such that V is given by all sections of T C proportional to ∂ t (vectors of the vertical tangent subspace V (t,x) are of the form W t ∂ t ). In order to split the tangent space T (t,x) C into a direct sum of vertical and horizontal components, V (t,x) ⊕ H (t,x) , smooth everywhere i.e. valid for the tangent bundle, T C = V ⊕ H, one needs an Ehresmann connection. With this connection, the linear map dπ restricted to H (t,x) sets a one-toone correspondence between H (t,x) and T x S. This allows to lift vertically vectors provide a basis for H (t,x) . The Ehresmann connection is encoded in the one-form field The Ehresmann connection has many facets. On the one hand, it provides a lift of curves in S onto curves in C such that the tangent vectors to the latter are horizontal. On the other hand, it makes it possible to realize the splitting T C = V ⊕ H through the definition of the projector p acting on T C with image V and kernel H: (2) We will call the fiber bundle C a Carrollian spacetime, once endowed with a degenerate metric g whose one-dimensional kernel coincides with the vertical subbundle V : In the local coordinate system this imposes the metric be of the form providing a time-dependent notion of distances. At this point of the presentation, it is worth mentioning that the triple (C, V, g) corresponds to the definition of a weak Carrollian structure given in [2]. Together with this triple, the Ehresmann connection defines a Leibnizian structure [16][17][18]. From the spacetime viewpoint, the fiber-bundle structure and the accompanying Ehresmann connection are the key ingredients for the intrinsic horizontal versus vertical splitting of the tangent bundle, and more generally of any tensor bundle.
The coordinate system {t, x} is adapted to the splitting at hand, as is any new chart obtained through the transformation The motivation for introducing the fiber-bundle structure is, among others, to make these diffeomorphisms natural, being a reparameterization of the fiber coordinate at each spatial point and a change of coordinates on the base, respectively. With this, the Jacobian matrix J µ ν = ∂x ′µ ∂x ν is upper triangular: or equivalently These diffeomorphisms were called Carrollian in [13]. Every spacetime tensor field can be decomposed intrinsically into vertical and horizontal components, the latter transforming tensorially under Carrollian diffeomorphisms. These components are the Carrollian tensors introduced in [13]. An example of Carrollian tensor is the degenerate metric (4), whose components transform as i.e., as a rank-(0, 2) Carrollian tensor field. In order to maintain p in Eq. (2) invariant, the components of the Ehresmann connection must transform as: For reasons that will become clear in the course of the paper, it is convenient to introduce a density Ω(t, x), transforming under Carrollian diffeomorphisms as: 3 With this density, one defines a new basis vector of V (t,x) as Together with the H (t,x) basis vectors E i defined in (1), we obtain a frame E µ , µ = 0, . . . , d, adapted to the split tangent space and transforming canonically under Carrollian diffeomorphisms (E 0 ≡ E): The dual coframe, generically referred to as e e e µ , µ = 0, . . . , d, is (e e e 0 ≡ e e e) e e e = Ω dt − b j dx j and e e e i = dx i , i = 1, . . . , d with e e e i transforming as in (7) and e e e ′ = e e e. Any vector W ∈ T C is decomposed in the above frame as x)e e e i . In this basis, the vertical and horizontal components are reduced, i.e., do not mix under Carrollian diffeomorphisms. The vertical components remain invariant, while the horizontal transform tensorially under Carroll diffeomorphisms: From the horizontal perspective W 0 and ω 0 are scalars, and we refer to them as Carrollian scalars, whereas W i and ω i are components of a Carrollian vector and a Carrollian one-form. The same reduction properties are valid for rank-(r, s) tensor fields in T (r,s) C. Notice that one can use g ij = g(E i , E j ) and its inverse g ij for lowering and raising spatial indices i, j, . . . amongst Carrollian tensors.
In terms of the frame (1), (12), and the coframe (14), the action of the exterior derivative on the generic one form ω ω ω reads: One can define the Ehresmann curvature as de e e = ϕ ϕ ϕ ∧ e e e + ̟ ̟ ̟ = ϕ i e e e i ∧ e e e + 1 2 ̟ ij e e e i ∧ e e e j , which exhibits a pair of genuine Carrollian tensors. The purely horizontal piece ̟ ̟ ̟ is a Carrollian two-form, which we will call the Carrollian torsion. 4 It has components The vertical-horizontal mixed components define a Carrollian one-form ϕ ϕ ϕ, the acceleration. Both appear in the Lie bracket of the basis vectors: which is dual to (17). A natural question to ask is whether H can be thought of as the tangent bundle of codimensionone hypersurfaces in C. If this holds, C is foliated by a family of hypersurfaces modeled on S. This is indeed possible whenever H is an integrable distribution in T C. The corresponding integrability condition originates from Fröbenius' theorem stating that the Lie bracket of horizontal vectors must be horizontal, or equivalently, that the vorticity of the normal (vertical) vector should vanish: ̟ ij = 0. In other words, the Ehresmann curvature should have no horizontal component.
Besides the above Carrollian tensors emanating from the Ehresmann connection, others can be defined using the metric g. Those are of two kinds. 4 The quantity − 1 2 ̟ij is also referred to as the Carrollian vorticity of the vector field E [13].
1. The first is based on first time-derivatives (the metric components are generically functions of both t and x): referred to as expansion and shear (g ij are the components of the inverse of g). They are respectively a Carrollian scalar and a Carrollian symmetric and traceless rank-two tensor. The latter vanishes if and only if the time dependence in the metric is factorized: g ij (t, x) = e 2σ(t,x)g ij (x), in which case the expansion reads θ = d E(σ). This instance will turn out to play a significant role later in the discussion of BMS symmetry (Sec. 3).
2. The second class is second-order in derivatives, and corresponds to the curvature of a generalized Levi-Civita connection. This is a canonical connection, which defines a horizontal parallel transport i.e. a covariant derivative acting on Carrollian tensors and producing new Carrollian tensors. It was introduced in [13] as D = E + γ, dubbed Levi-Civita-Carroll, with γ the Christoffel-Carroll symbols: where Γ i jk are the ordinary Christoffel symbols and This connection, also cast as D = ∇ + c with ∇ the Levi-Civita connection, is metric-compatible (D k g ij = 0), and since γ i [jk] = 0, the torsion is exclusively encoded in the commutator of E i 's, i.e. in ̟ ij . Its curvature tensors can be worked out following [13]. As opposed to the ordinary Levi-Civita connection for Riemannian manifolds, the Levi-Civita-Carroll is not the unique metric-compatible and torsionless connection one can define on T C. This question has been addressed e.g. in [17,18].
In the spirit of [2][3][4], one can introduce the concept of flat Carrollian spacetime given in an adapted coordinate system by For this case, the Ehresmann curvature ̟ ij as well as the acceleration ϕ i , the shear ζ ij and the expansion θ vanish, as do the Christoffel-Carroll symbols written above. Carrollian flatness implies the Ehresmann connection being a pure gauge.

Realization on Null Hypersurfaces
We would like now to discuss the appearance of the above structures on null hypersurfaces C of a Lorentzian spacetime M. The pull-back g of the ambient metric on null hypersurfaces is degenerate with onedimensional tangent subbundle kernel V , and from this perspective the Carrollian structure encompassed in the triple (C, V, g) emerges naturally. This feature has been discussed by several authors, the more complete account being in the already quoted Ref. [6]. Our fiber bundle with Ehresmann connection approach, which is designed for separating explicitly Carrollian time and space, emerges naturally in null embeddings. This requires appropriate gauge-fixing in the ambient Lorentzian spacetime. 5 We will illustrate the above in the case of a d + 2-dimensional spacetime M foliated with null hypersurfaces. In this case the ambient metric reads where Ω, Ξ, b i , θ t , θ i and g ij depend on all the coordinates (r, t, x) and t is a retarded time. The constant-r leaves of the foliation C r define d + 1-dimensional null hypersurfaces because the pull-back of the metric, g r = g ij (r, t, x)dx i dx j , is indeed degenerate. The diffeomorphisms that preserve the form of this metric are Defining as usual the various quantities involved transform as Therefore, we see that Ω, b i and g ij transform on every leaf as they do on a Carrollian spacetime, eqs. (11), (10), and (9). Hence, the diffeomorphisms (26) are interpreted as Carroll diffeomorphisms on each leaf C r . The other elements Ξ, θ t and θ i were not present in the intrinsic definition of the previous section. This is not surprising as they account for the non-trivial r-dependence of the residual gauge symmetry (26). For simplicity we will fix locally Ξ = 1 and θ t = θ i = 0. This is achievable using (and therefore fixing) the r-dependence of the diffeomorphism (26). Henceforth the bulk metric simplifies to with the residual gauge freedom (5): Indeed, if we were to describe a single null hypersurface, it would also be natural to set, Ξ = 1, and θ i and θ t to zero in its neighborhood. Under the coordinate change (35), g ij , b i and Ω still transform according to (11), (10), and (9). One can show that C r equipped with these data is a d + 1-dimensional Carrollian spacetime, in the lines we have discussed earlier. For this we need to exhibit the Ehresmann connection. The ambient metric (25) allows to define two independent null vector fields, 6 sections of T M: The corresponding forms in T * M are Hence, the vector field ℓ is normal to C r . Since it is null, it is also tangent to C r and belongs therefore to T C r . Being the kernel of the degenerate metric g r on C r , it spans the vertical subbundle V r . The horizontal subbundle H r is given by the set of vectors X in T C r that are orthogonal to n: X · n = 0; (38) 6 Our choice of gauge fixing differs from other works as [6,20].
but since X ∈ H r , by definition Thus, writing X = X r ∂ r + X t ∂ t + X i ∂ i , Eqs. (38) and (39) lead to X r = 0 and X t − b i X i = 0, so that Consequently, the field b i (r, t, x) plays the role of an Ehresmann connection for each null leave C r , as one could have anticipated. Notice also that the tensor p a b = ℓ a n b has non-zero components p t t and p t i . These define a Carrollian tensor, which is the vertical Ehresmann projector p introduced in (2).
Given the above embedding of null hypersurfaces C r , we can determine their extrinsic geometry. This is generally captured by three quantities: the surface gravity, the deformation tensor and the twist, all built with the projector onto H r ⊂ T C r : Lowering an index we find that the non-zero components are h ij = g ij (r, t, x) and the surface gravity vanishes with our choice of ℓ. The other extrinsic quantities are respectively given by where ∇ a stands for the Levi-Civita connection of g ab . In addition, the deformation tensor is reduced to the expansion and the shear: For the geometry at hand, the non vanishing components of the extrinsic tensors, at every r, coincide with the Carrollian tensors defined on C r (see (19), (21)): The reduced bulk covariance (26), which preserves the form (25), corresponds precisely to the Carrollian diffeomorphisms (5), for which these objects are genuine tensors.
In conclusion, before we turn to the investigation of conformal isometries, the message is that the definition of Carrollian spacetimes as fibre bundles with Ehresmann connection and a degenerate metric is adapted to the description of families of embedded null hypersurfaces where, on any leaf, the induced geometry is Carrollian.

Conformal Carrollian Isometries
Carrollian spacetimes C have been introduced in Sec. 2 irrespective of any isometry properties. Carrollian diffeomorphisms are not isometries. They are a subgroup of the full diffeomorphism group, compatible with the intrinsic splitting in vertical versus horizontal components of the tangent bundle T C, made possible thanks to the Ehresmann connection. The Carroll group emerges precisely on the tangent space at a point. Suppose indeed that we trade the H basis vectors E i for a set of vectorsÊî, orthonormal with respect to g: g Êî ,Ê = δî. The tangent space is now everywhere spanned by {E,Êî,î = 1, . . . , d}, whereas for the cotangent space the basis is {e e e,ê e eî,î = 1, . . . , d} withê e eî Ê = δî. Automorphisms of the tangent space preserving the vertical vector field E and the orthonormal nature of the H basis are generally as follows: with Rkî(t, x) the elements of a d-dimensional orthogonal matrix and Bk(t, x), d numbers. The explicit dependence on the coordinates underlines that this transformation needs not be the same at every point of C. These transformations are the d + 1-dimensional Carroll boosts (the full Carroll group also includes spacetime translations). They rotate the horizontal frame and coframe, and produce a rotation plus a shift proportional to B on the Ehresmann connection. This latter statement can be made explicit by writinĝ the transformation (45) thus implies The Carroll boosts play for the tangent bundle of a Carrollian spacetime the same role as the Lorentz group does for the tangent bundle of a pseudo-Riemannian manifold.
The Carroll group appears also as the isometry group of the flat Carroll manifold introduced in Eqs. (24). These isometries are diffeomorphisms generated by vectors ξ such that L ξ g = 0, L ξ E = 0, and shifting the Ehresmann connection by an arbitrary constant. One finds: with all entries constant and ω kj = δ ki ω i j antisymmetric. These are precisely the (d + 2)(d + 1)/2 generators of the Carroll algebra carr(d + 1). We would like to enter now the core of our discussion about conformal Carrollian isometries for generic Carrollian spacetimes. We will first define them, and then solve the associated differential equations under the assumption of the absence of shear. This will enable us to exhibit a rather universal algebra, which gives a generalized version of the infinite-dimensional conformal Carroll algebra ccarr(d + 1).
We define Carrollian conformal Killing vector fields ξ by imposing where λ(t, x) is an a priori arbitrary function.
x)E i we obtain: where D i stands for the Levi-Civita-Carroll connection introduced in (22). Observe that the time dependence of the metric enters these expressions explicitly and one might expect it to alter significantly the structure of the conformal isometry algebra. At the same time one should also stress that in the absence of time dependence, neither the Ehresmann connection nor the scale factor Ω(t, x) play a role in the analysis of conformal properties, which would reduce to the analysis in [2][3][4]. 7 The first term of (51) translates through Eq. (49) into ∂ t ξ i (t, x) = 0.
This imposes that ξ is the generator of a Carrollian diffeomorphism (it ensures the vanishing entry in (6) since it imposes ξ i (t, x) = Y i (x)), and this is assumed systematically here. Hence the core of the definition of conformal Carrollian isometries is in the second term of (51), leading to The trace of this equation determines λ, and substitution back into (53) then gives At the present stage, the equations to be solved for finding the components of the conformal Killing vectors f (t, x) and Y i (x) are Eqs. (55), which are a set of time-dependent partial differential equations sourced by the Carrollian shear.
In the Carrollian case under consideration, as a consequence of the degenerate nature of the metric, this set -in other words Eq. (49) -is not sufficient for defining conformal Killing fields. In order to proceed, we must refine our definition of the latter. We will further impose vanishing shear for the Carrollian spacetime, and with this the full conformal algebra can be unravelled without any further restriction on the Carrollian data g ij , Ω and b i , generalizing thereby the range of validity of the results obtained in [2][3][4].
We note that for ξ = f (t, x)E +Y i (x)E i , the Lie derivative of the vertical vector field E is itself vertical, satisfying where A precise definition of the conformal Carrollian Killing vectors is reached by setting a relation among the a priori independent functions λ(t, x) and µ(t, x). The guideline for this is Weyl covariance, because a desirable feature for conformal Killing fields is their insensitivity to Weyl rescalings of the metric. We define Weyl rescalings as g → g/B(t, x) 2 and b b b invariant (this is required for the spatial vectors E i in (1) to remain well-defined), supplemented with Ω(t, x) → B(t, x) −z Ω(t, x) for some real number z, the dynamical exponent. Under such rescalings, ξ has Weyl weight zero which implies that Y i and f have weights zero and −z. Therefore λ(t, x) and µ(t, x) transform as Thus, the combination 2µ + zλ is Weyl covariant (actually invariant). Setting it to zero is compatible with the basic expected attributes of Killing vectors, as stressed earlier.
Leaving z arbitrary does not support such a geometrical interpretation, but is nonetheless consistent. The demonstrates the earlier statement about the algebra of conformal Carrollian Killing vectors of a shearless Carroll spacetime.
Summarizing, shearless Carrollian spacetimes, i.e. spacetimes equipped with a metric of the form g ij (t, x) = e 2σ(t,x)g ij (x), have a conformal isometry algebra that depends only ong(x), d and z: it is the semi-direct product of the conformal algebra of S equipped withg(x) and supertranslations at level N = 2/z. This conclusion is valid irrespective of Ω(t, x) and b i (t, x). On the one hand, Ω(t, x) can disappear from the expression (72) of the Killings upon an appropriate Carrollian diffeomorphism driven by the invariant local clock. Hence its presence does not affect the algebra. On the other hand, although the Ehresmann connection b i (t, x) cannot be removed with Carrollian diffeomorphisms (unless its field strength ̟ ̟ ̟ and acceleration ϕ ϕ ϕ vanish), it cancels out between the last two terms in (72). This is not insignificant though, and we would like to discuss it in the remaining of the present chapter.
The set of vectors Y = Y i (x)∂ i ∈ T S with {Y i (x)} solving (64) realize the conformal algebra ofg: These vectors act generally on functions φ(x). One may instead contemplate a realization in terms of Carrollian vectorsξ Y ∈ H as in (66) acting on functions Φ(t, x) of C. In this case, The mapping Y → M Y is a representation of the group of conformal Killing vectors ofg, which however is again not faithful as the commutator exhibits an extra term, similar to the one in (75), possibly vanishing in the same circumstances: Using now the map (76) andξ Y ∈ H given in Eq. (66), the conformal Killing field in T C, Eq. (72), is recast as This lift provides a faithful and Carrollian ( i.e., acting on functions of t and x) realization of the conformal isometry algebra (73) ofg on T C, thanks to the cancellation of the extra term appearing in (75) and (77).
Even though the Ehresmann connection does not appear ultimately in the conformal algebra, when nonvanishing, it adjusts for making compatible the realization of the algebra with Carrollian diffeomorphism invariance. This is yet another of its numerous facets. For non-vanishing T (x), we obtain the following commutation relations for the complete conformal Carrollian Killing fields (78): 13 This is the usual pattern for conformal Carrollian and BMS algebras.

Conclusions
In this work, we have considered Carrollian geometries from various perspectives: their defining properties, their emergence on embedded null hypersurfaces and their conformal symmetries. We have emphasized the interpretation of Carrollian spacetime as a fiber bundle endowed with an Ehresmann connection. Realized by a one-form field, this connection defines the splitting of the tangent bundle into vertical and horizontal components. The vertical component coincides precisely with the kernel of a degenerate metric, which is the last piece of equipment for a Carroll structure. It is worth stressing that all defining fields (Ehresmann connection, metric and scale factor) have been assumed space and time-dependent throughout the paper. The vertical versus horizontal canonical separation is preserved by the subset of Carrollian diffeomorphisms. These enable the reduction of spacetime tensors into purely spatial components, the paradigm being Carrollian torsion and acceleration, emerging as reduced components of the Ehresmann curvature. Other geometric objects can be introduced using the degenerate metric, such as shear and expansion, and even further based on a horizontal connection, which we only alluded to when discussing the Christoffel-Carroll symbols. Investigating the types of connections that can be defined on the full tangent bundle T C is an interesting subject that has been discussed in the literature, but remains incomplete and worth pursuing.
The above ingredients (Ehresmann connection, vertical and horizontal subbundles) arise naturally on null hypersurfaces embedded in Lorentzian spacetimes, and specific tensors such as Carrollian shear, acceleration and expansion are inherited from the ambient geometry. Our analysis was here confined to the instance of genuine null foliations, but can be adapted to the case of boundary null hypersurfaces, such as black-hole horizons or null infinities.
The last element of our investigation concerns symmetries, and more specifically conformal isometries of Carrollian spacetimes. Contrary to pseudo-Riemannian geometries, the definition of (conformal) isometries cannot rely solely on the Killing equation for the metric, because the latter is degenerate. Here we complied with the standard definition of the conformal Carrollian Killing vectors, and additionally restricted our analysis to the case of shearless Carrollian structures. Although seemingly innocuous, as time dependence remains general both in the scale factor and in the Ehresmann connection, this limitation is quite severe. Indeed time dependence of the metric is factorized and this ultimately drives us to the standard semi-direct product of the conformal isometry algebra of the metric with supertranslations. This is infinite-dimensional and coincides with ccarr N (d+ 1), for conformally flat spatial metrics. One thus recovers bms(d+ 2) in d = 1 and 2, and possibly in higher dimension with some appropriate definition of the BMS algebra. Our study has the virtue of sustaining the robustness of the format already known to emerge in static Carrollian spacetimes without scale factor or Ehresmann connection. It stresses the role of the shear, but leaves open the probe of the conformal Carrollian isometries, when the latter is non-zero. It also illustrates another subtle role of the Ehresmann connection, which allows to lift without alteration the conformal isometry algebra of the metric from the basis tangent bundle T S to the Carrollian tangent bundle T C.
Although relatively confined, our investigation touches upon several timely and perhaps deep issues. Conformal symmetries and in particular the BMS algebra are known to appear as the backbone of conserved charges in asymptotically flat spacetimes. Alongside, the role of null hypersurfaces has been appreciated in flat holography, where they are expected to replace the time-like foliations relevant in anti-de Sitter holography. In particular, their symplectic structure should play a significant role in giving an alternative reading of the gravitational degrees of freedom. Clearly, Carrollian spacetimes and their symmetries are the central concepts in all these developments, which deserve further analysis, possibly in the lines of our current work.