- The paper derives the wedge algebra of w_{1+∞} on arbitrary finite-distance null hypersurfaces by using a Weyl reference frame that restores asymptotic-like Bianchi identities and symplectic dynamics.
- Non-local memory terms arise because the inverse dressing-time derivative does not commute with the evolving corner metric’s Weyl-covariant angular derivative, requiring redefined charges and additional fall-off conditions.
- Renormalized charges reproduce finite-distance soft-graviton actions and memory effects, while the discarded corner symplectic term, strong fall-offs, and unresolved physical meaning of charge redefinitions remain important limitations.
The paper derives the w1+∞ higher spin charge algebra on an arbitrary null hypersurface at finite distance, rather than at future null infinity I+. The central obstacle is that, unlike the asymptotic case where boundary conditions freeze the corner metric, a generic null surface carries genuine dynamical boundary degrees of freedom that complicate both the evolution Bianchi identities and the symplectic structure. The author's strategy is to trade these unfrozen degrees of freedom for a field-dependent coordinate system — the Weyl reference frame (WRF) — in which the asymptotic computational machinery can be reproduced almost verbatim, at the cost of introducing non-local corrections to the charges that are interpreted as memory terms.
Geometry of null hypersurfaces and weighted operators
The setting is a null hypersurface H≃S×R embedded in spacetime via Π, with Carrollian data (qab,ℓ) and null normals (ℓ,n) defined up to boost rescaling. Working in the Newman–Penrose/GHP formalism near a horizon (n=−∂ρ), the geometry is encoded in spin coefficients with definite {p,q,ω} weights under Lorentz class III transformations and Weyl rescalings. The leading orders of the Weyl scalars define spin-weighted charge aspects Qs for s=−2,…,2 (with I+0, I+1, I+2), obeying the recursive Bianchi identities
I+3
where I+4 and I+5 are Weyl-covariantized GHP operators. These identities transform covariantly under the near-horizon symmetry group I+6. The canonical pre-symplectic potential is the null Brown–York potential; its spin-2 sector involves the longitudinal shear I+7 and the expansion I+8.
A key structural point established here: because the corner metric evolves non-trivially in time at finite distance, the operators I+9 and H≃S×R0 do not commute. This is the source of all qualitative differences from the asymptotic treatment.
The Weyl reference frame
Two existing dressing-time proposals are reviewed for comparison: the RZ dressing time defined by H≃S×R1, which absorbs H≃S×R2 and H≃S×R3 into a dynamical coordinate but whose status as a dynamical reference frame in the sense of Goeller–Höhn–Kirklin is left open; and the CFL dressing time, defined by vanishing of the boost connection, which does follow the relational construction.
The paper introduces a new frame combining a class III transformation with a Weyl rescaling (with H≃S×R4, H≃S×R5) chosen so that
H≃S×R6
with dressing time satisfying H≃S×R7, i.e. H≃S×R8. In this frame H≃S×R9, so the Bianchi identities take exactly the asymptotic form. Two consequences deserve emphasis. First, since the null Raychaudhuri equation is not Weyl-covariant, setting Π0 does not force Π1 to vanish — the longitudinal shear survives as the radiative mode. Second, the construction is formulated through embedding fields Π2, so the extended phase space acquires a corner symplectic term encoding edge modes; the paper explicitly retains only the bulk term and defers the edge-mode analysis.
Under the assumptions Π3 and Π4, the bulk symplectic form becomes
Π5
the finite-distance analogue of the Ashtekar–Streubel form, with fundamental bracket Π6.
Non-local charges and memory
Integration of the Bianchi identities requires fall-off conditions on Π7, Π8, Π9, (qab,ℓ)0:
| Quantity |
Fall-off |
| (qab,ℓ)1 |
(qab,ℓ)2 |
| (qab,ℓ)3 |
(qab,ℓ)4, (qab,ℓ)5 |
| (qab,ℓ)6 |
(qab,ℓ)7 |
| (qab,ℓ)8 |
(qab,ℓ)9 |
These additional conditions on (ℓ,n)0, (ℓ,n)1, (ℓ,n)2 are necessary — not merely convenient — for recovering the algebra, and constitute an assumption beyond what is imposed asymptotically. Because (ℓ,n)3, direct integration produces non-local terms of the form (ℓ,n)4, where (ℓ,n)5 encodes the history of the corner metric. The author absorbs these into redefined ("dressed") charges (ℓ,n)6, with the memories (ℓ,n)7 given by a closed recursion involving commutators (ℓ,n)8. With this redefinition the integrated charges recover precisely the asymptotic-flat structure, with linear part (ℓ,n)9 and quadratic part involving powers of n=−∂ρ0. The paper concedes that absorbing the non-locality into the charges was motivated by mathematical convenience, and states that the physical implications of this procedure remain to be understood.
In the WRF the non-radiative condition n=−∂ρ1 becomes simply n=−∂ρ2, and the linear n=−∂ρ3 action reproduces a finite-distance version of the near-horizon memory effect, with the asymptotic transversal shear replaced by n=−∂ρ4. This offers a new perspective on memory at finite distance, distinct from the black hole memory tensor of Rahman–Wald, whose relation to near-horizon supertranslations remains unestablished.
Charge actions and renormalization
The actions of n=−∂ρ5, n=−∂ρ6, n=−∂ρ7 on n=−∂ρ8 are computed explicitly using pseudo-differential calculus (Leibniz rules for fractional derivatives, Vandermonde-type identities). A notable feature is that the unrenormalized brackets diverge as n=−∂ρ9 for {p,q,ω}0, requiring counter-term subtractions:
{p,q,ω}1
The general renormalized linear charge satisfies {p,q,ω}2, where {p,q,ω}3 is the finite-distance analogue of the (sub){p,q,ω}4-leading soft graviton operator. The quadratic action on the opposite-spin soft modes takes the compact form
{p,q,ω}5
structurally identical to the result at null infinity after the substitutions {p,q,ω}6, {p,q,ω}7.
The {p,q,ω}8 bracket
Since the quadratic action is independent of {p,q,ω}9, the linear-level bracket computation reduces exactly to the asymptotic one, yielding
Qs0
i.e., the wedge algebra of Qs1 holds on any null hypersurface once expressed in the WRF. The author argues that this method should transfer to asymptotically (A)dSQs2: there, Qs3 behaves as a weakly isolated horizon with time-dependent boundary metric, so the same mechanism for handling unfrozen degrees of freedom applies — though the definition of an appropriate news tensor in the presence of Qs4 is acknowledged to be less straightforward and deserving of separate treatment.
Limitations and open questions
Several caveats qualify the results. The corner contribution to the extended symplectic form, which encodes the edge modes exchanged between physical and reference manifolds, is discarded throughout; a complete phase-space treatment requires it. The fall-off conditions on Qs5, Qs6, Qs7 are assumptions strong enough to guarantee stabilization of the geometry to a spherical configuration at late dressing time, and their relaxation may alter the bracket. The physical meaning of the non-local charge redefinition is unresolved. Whether the RZ dressing time can be derived from field-dependent diffeomorphisms, and how it relates to the CFL and Weyl frames, is left open. Finally, the relation between the finite-distance memory terms identified here and the horizon memory tensor of Rahman–Wald, as well as extensions to Einstein–Maxwell theory and to the algebroid/twistor formulations of the celestial Qs8 symmetry, remain future work.
Conclusion
This work establishes that the Qs9 higher spin symmetry, previously understood at null infinity, persists on arbitrary null hypersurfaces provided one works in a suitably dressed dynamical frame. The price of retaining genuine finite-distance degrees of freedom is twofold: non-local (memory-like) corrections to the charges arising from the non-commutativity of the Weyl covariant derivative with time integration, and additional fall-off conditions on the transversal shear and expansion. The result sharpens the distinction between asymptotic and finite-distance gravitational phase spaces and provides a concrete framework — the Weyl reference frame — likely applicable to cosmological settings where the boundary metric is inherently dynamical.