REVIEW 3 major objections 5 minor 1 cited by
Frozen Motion: Why Single Carrollian Scalars Cannot Propagate
T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read Supertranslations force the on-shell momentum density to vanish, so single minimally coupled Carrollian scalar fields cannot propagate.
desk verdict Neat jet-bundle framework, but the central no-go theorem is spoiled by a symmetry mistake — the paper's own A=0 example propagates, so P=0 is false. 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 Noether one-form for time translations, $J = dx E - \tau P$, where $E = y_t \partial L/\partial y_t + \hat{y}_x \partial L/\partial \hat{y}_x - L$ is the energy density and $P = y_t \partial L/\partial \hat{y}_x$ the momentum density, expressed in the invariant coframe defined by the clock form $\tau = dt - dx A_t^x$. The argument multiplies this current by an arbitrary smooth function $f(x)$ to obtain the supertranslation current; on-shell conservation of $f J$ for every $f$ yields $\tau \wedge df P = 0$, hence $P = 0$ and $\partial_t E = 0$. This mechanism — arbitrary smooth supertranslations forcing the spatial component of the Noether current to vanish — is what carries the no-go theorem.
What would settle it
Check the conservation identity $d(fJ)=0$ for the flat mixed-type Lagrangian $L = 1/2 y_t^2 - 1/2 \hat{y}_x^2$. The Euler–Lagrange equation $\partial_t^2 \phi - \partial_x^2 \phi = 0$ admits the non-static local solution $\phi = \cos(t-x)$, whose momentum density $P = -\partial_t \phi \partial_x \phi = \cos^2(t-x)$ does not vanish. If this solution also satisfies $d(fJ)=0$ for all smooth $f$, the paper's conclusion is falsified; if not, the paper's identification of the supertranslation current is the point to scrutinise.
Extended reading notes
Core claim
On the Carrollian plane ($R^2$ with degenerate metric $dx^2$ and kernel vector $\partial_t$), consider any first-order scalar Lagrangian of the form $L(y, y_t, \hat{y}_x)$ that is independent of spacetime coordinates and minimally coupled via a Carrollian connection. The paper shows that the Noether current for a temporal shift is $J = dx E - \tau P$. Because supertranslations $t' = t - \gamma f(x)$ are symmetries for every smooth $f$, the corresponding current is $f J$, and its on-shell conservation forces $d(f J) = \tau \wedge df P = 0$ for all $f$. Since $f$ is arbitrary, the momentum density $P$ must vanish identically on-shell; the continuity equation then forces the energy density $E$ to be static. Hence every solution is frozen: eithe
Load-bearing premise
The argument assumes that each supertranslation generated by $f(x)\partial_t$ is a genuine symmetry of the action and that its Noether current is exactly $f$ times the temporal-shift current $J$, so that the on-shell conservation $d(f J)=0$ holds for every smooth $f$; if that identification fails, the conclusion $P=0$ does not follow.
Editorial extensions
If this is right
- On-shell, the momentum density vanishes and the energy density is static for every solution of every supertranslation-invariant single-scalar Lagrangian of the form (2.6).
- Propagating (wave-like) solutions are impossible; any attempt to build a hyperbolic-like equation of motion results in solutions that are nevertheless frozen by the symmetry.
- The electric/magnetic dichotomy of Carrollian limits persists in intrinsic theories: either the solutions are static (magnetic-type) or the Lagrangian is independent of the spatial covariant derivative (electric-type).
- The no-go theorem generalises to higher-dimensional Carrollian manifolds with flat spatial metric and to the dual Galilean case, where it implies that a real single-scalar Galilean-invariant first-order theory cannot propagate — providing a geometric rationale for the necessity of complex wavefunctions in the quantum-mechanical wave equation.
- To obtain propagating Carrollian field theories, one must go beyond minimal coupling of a single scalar: consider multiple fields, higher derivatives, or non-minimal couplings.
Reading between the lines
- The obstruction is purely symmetry-driven and does not depend on the interaction potential, so it applies equally to free and interacting theories; a testable extension would be to check whether promoting the Carrollian connection to a dynamical field can evade the vanishing of the momentum density.
- The argument uses the infinite-dimensional freedom in choosing f∈C^∞(R); on a compact spatial circle with only Fourier modes available, the conclusion would still hold by density, but a discrete symmetry group might weaken the obstruction — a possible analogue worth exploring.
- Because supertranslations of this kind are the hallmark of asymptotically flat boundary symmetries, the same Noether-based obstruction may constrain attempts to couple Carrollian matter at null infinity; a non-minimal coupling to the boundary geometry might be required for propagating matter.
- The dual Galilean statement suggests a new way to understand why the standard single-field Galilean-invariant wave equation cannot be real: its complex structure is not a convenience but a necessity forced by boost invariance.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs first-order scalar field theories on the Carrollian plane using jet-bundle geometry, with Lagrangians L(φ, ∂_t φ, ∇_x φ) minimally coupled to a Carrollian connection A. It claims that the extended Carroll group, including supertranslations t' = t − γ f(x), is a symmetry of these theories, and that Noether's theorem then forces the on-shell momentum density to vanish and the energy density to be static, thereby precluding propagation. The paper further states a higher-dimensional no-go theorem for minimally coupled single Carrollian scalars.
Significance. The jet-bundle construction is clearly presented, and the time-translation Noether current (2.9) and its continuity equation (2.10) are correct. If the supertranslation no-go result were valid, it would sharpen the electric/magnetic dichotomy and justify the need for extra structure (multi-fields, higher derivatives, or non-minimal couplings) in propagating Carrollian theories. The paper also provides explicit examples that are instructive. However, the central claim is not established: the supertranslation argument rests on an invalid identification of passive coordinate invariance with active Noether symmetry, and the paper's own mixed-type example contradicts the claimed P = 0 result. As it stands, the advertised conclusion is not supported.
major comments (3)
- [§2.4, Eq. (2.10)] The step d(f (j_A φ)^* J) = τ∧df (j_A φ)^* P = 0 for all f requires f∂_t to be a symmetry of the fixed-background action S_A[φ] with A held fixed. This is false for arbitrary f: from (2.5), A' = A − (β + γ f'), so an active supertranslation changes A unless f' = 0 or A satisfies a special relation. The invariance of the Lagrangian density (2.6) under coordinate changes is a passive statement in which A transforms as well; it does not make the action S_A[φ] invariant. Consequently the 'need only multiply the expression by f' passage does not follow from Noether's theorem, and P = 0 is not established for magnetic/mixed Lagrangians.
- [Example 2.3] The paper's own mixed-type Lagrangian L = ½ y_t² − ½ ŷ_x² − V(y) with A = 0 and V = 0 gives the wave equation ∂_t² φ − ∂_x² φ = 0. The solution φ = sin(t − x) has P = ∂_t φ ∂L/∂ŷ_x |_{j_A φ} = cos²(t − x) ≠ 0. This directly contradicts the §2.4 claim that (j_A φ)^* P = 0 for every solution. Since this example is explicitly presented as a legitimate member of the constructed class, the no-go theorem is false as stated for magnetic/mixed theories.
- [§2.3, Eq. (2.8)] The displayed Euler–Lagrange equation is missing the term −F ∂L/∂(∇_x φ), with F = ∂_t A, which arises when the A∂_t part of ∇_x is integrated by parts. The correct equation is EL = ∂_φ L − ∂_t L_{∂_t φ} − ∇_x L_{∇_x φ} − F L_{∇_x φ} = 0. The examples in §2.4 implicitly use this corrected form (their F terms have the corresponding signs), so the displayed equation should be fixed.
minor comments (5)
- [Title] The title contains a spacing typo: 'PROP AGATE' should be 'PROPAGATE'.
- [§2.2] 'Forbenius condition' should be 'Frobenius condition'.
- [§2.4] 'The continuity equation ... is is the closure' contains a duplicated 'is'.
- [§3, No-Go Theorem] The higher-dimensional no-go theorem is stated without proof. The 2D argument does not automatically generalize: the supertranslation algebra and the connection transformation law in higher dimensions require a separate derivation. As a central advertised result, this should be proved or explicitly labeled as a conjecture.
- [§2.4, Aside] The Aside treating A as dynamical is a different theory from the fixed-background minimal coupling used elsewhere. The condition δS/δA = 0 does not rescue the fixed-background no-go claim; the manuscript should distinguish these two frameworks explicitly.
Circularity Check
No significant circularity: the paper's derivation is self-contained and the supertranslation step, while potentially under-justified, is not circular.
full rationale
The paper builds a class of first-order scalar field theories on the Carrollian plane, writes the general invariant Lagrangian (2.6), computes the Noether current (2.9), and derives the continuity equation (2.10). The subsequent supertranslation argument uses the f-multiplied current and the condition d(fJ)=0 for all f to conclude (jAφ)*P=0. This is a formal derivation from the stated invariance assumption: no parameter is fitted, no prior result by the same author is invoked as load-bearing evidence, and no external ansatz is smuggled in via citation. The only potentially problematic point is whether supertranslations are genuine symmetries of the fixed-background action for a general Carrollian connection; if not, the derivation would be invalid, but that is a correctness or assumption-validity issue, not circularity. The manuscript's conclusion is not equivalent to its input by construction; rather, it is an algebraic consequence of the assumed conservation law. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- standard math Standard background from jet bundles and Noether theory: Thomas bundle, Ehresmann connection, jet prolongation, conservation from symmetries.
- domain assumption Admissible symmetries are extended Carroll transformations t'=t−α−βx−γf(x), x'=x−δ with arbitrary f∈C∞(R).
- domain assumption Fields are single real scalars with first-order Lagrangians minimally coupled to a Carrollian connection, L=τ∧dx L(y,y_t,ŷ_x).
- domain assumption The supertranslation Noether current is f times the temporal Noether current J, so d(f(jAφ)*J)=0 on-shell.
Cite this review
Pith. "Pith review of Frozen Motion: Why Single Carrollian Scalars Cannot Propagate." pith.science (2026). https://pith.science/paper/26HTTT2R
@misc{pith2026260307081,
author = {Pith},
title = {Pith review of: Frozen Motion: Why Single Carrollian Scalars Cannot Propagate},
year = {2026},
howpublished = {\url{https://pith.science/paper/26HTTT2R}},
note = {Machine review of arXiv:2603.07081}
}
read the original abstract
We investigate a class of first-order scalar field theories minimally coupled to a Carrollian connection that are defined intrinsically on the Carrollian plane, i.e., the theories are not defined via limits of Lorentzian theories. The theories built are invariant under the extended Carrollian transformations which include supertranslations. The symmetry allows for a large class of Lagrangians, independence of spacetime coordinates is all that is required. However, invariance under supertranslations (which include boosts as linear supertranslations) forces the energy density to be static and the momentum density to vanish -- this precludes on-shell propagation of fields. Thus, to have propagating theories, one must move beyond single field theories that are minimally coupled to the geometry.
Forward citations
Cited by 1 Pith paper
-
Post-Carroll Algebra, Conformal Extensions, and Field Theories
Introduces the post-Carroll algebra and its conformal extensions, including the Carroll-Schrödinger algebra, and computes two-point functions in post-Carrollian CFTs.
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]
& Longhi, G., Dynamics of Carroll particles,Class
Bergshoeff, E., Gomis, J. & Longhi, G., Dynamics of Carroll particles,Class. Quantum Grav.31, No. 20, Article ID 205009, 16 p. (2014)
2014
-
[3]
& Gomis, J., Two interacting conformal Carroll particles,Phys
Casalbuoni, R., Dominici,D. & Gomis, J., Two interacting conformal Carroll particles,Phys. Rev. D108, 086005 (2023)
2023
-
[4]
Quantum Grav.41, No
Ciambelli, L., Dynamics of Carrollian scalar fields,Class. Quantum Grav.41, No. 16, 165011 (2024)
2024
-
[5]
& 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
-
[6]
& 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
-
[7]
& 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
-
[8]
& Salgado-Rebolledo, P., Carroll-invariant propagating fields, Phys
Ecker, E., Grumiller D., Henneaux, M. & Salgado-Rebolledo, P., Carroll-invariant propagating fields, Phys. Rev. D110, L041901 (2024)
2024
Show all 24 references
-
[9]
Henneaux, M., Zero Hamiltonian signature spacetimes,Bull. Soc. Math. Belg., S´ er. A31, 47–63 (1979)
1979
-
[10]
Phys., B1017, Article ID 116948, 40 p
Kervyn, X., BMS symmetries of gravitational scattering,Nucl. Phys., B1017, Article ID 116948, 40 p. (2025)
2025
-
[11]
& Slov´ ak, J., Natural operations in differential geometry, Berlin: Springer- Verlag
Kol´ aˇ r, I., Michor, P.W. & Slov´ ak, J., Natural operations in differential geometry, Berlin: Springer- Verlag. vi, 434 p. (1993)
1993
-
[12]
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
-
[13]
Marsot, L., Planar Carrollean dynamics, and the Carroll quantum equation,J. Geom. Phys.179, Article ID 104574, 17 p. (2022)
2022
-
[14]
& Horvathy, P.A., Hall effects in Carroll dynamics,Phys
Marsot, L., Zhang, P.M., Chernodub, M. & Horvathy, P.A., Hall effects in Carroll dynamics,Phys. Rept.1028, 1–60 (2023)
2023
-
[15]
& Trincherini, E., Galileon as a local modification of gravity,Phys
Nicolis, A., Rattazzi, R. & Trincherini, E., Galileon as a local modification of gravity,Phys. Rev. D 79, 064036 (2009)
2009
-
[16]
High Energ
Saha, A., Intrinsic approach to 1 +1 D Carrollian Conformal Field Theory,J. High Energ. Phys. 2022, 133 (2022)
2022
-
[17]
Saunders, D.J., The geometry of jet bundles, London Mathematical Society Lecture Note Series,
-
[18]
Fiber bundles, jet manifolds and Lagrangian theory, Saarbrucken, Lambert Academic Publishing, (ISBN 978-3-659-37815-7)
Sardanashvily, G., Advanced Differential Geometry for Theoreticians. Fiber bundles, jet manifolds and Lagrangian theory, Saarbrucken, Lambert Academic Publishing, (ISBN 978-3-659-37815-7). 221 p. (2013)
2013
-
[19]
Sen Gupta, N.D., On an analogue of the Galilei group,Nuovo Cimento A44, 512–517 (1966)
1966
-
[20]
& Kol´ aˇ r, I, Intrinsically-defined higher-derivative Carrollian scalar field theories without Ostrogradsky instability, arXiv:2409.03648 [hep-th]
Tadros, P. & Kol´ aˇ r, I, Intrinsically-defined higher-derivative Carrollian scalar field theories without Ostrogradsky instability, arXiv:2409.03648 [hep-th]
-
[21]
Thomas, T.Y., Announcement of a projective theory of affinely connected manifolds,Proc. Natl. Acad. Sci. U S A.11, 588–589 (1925)
1925
-
[22]
& Horvathy, P.A., Peierls substitution and Hall motion in exotic Carroll dynamics,Phys
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
-
[23]
& Horvathy, P.A., MultiCarroll Dynamics,Int
Zhang, P., Zeng, H. & Horvathy, P.A., MultiCarroll Dynamics,Int. J. Theor. Phys.63, 243 (2024)
2024
-
[142]
Cambridge, Cambridge University Press. 293 p. (1989)
1989
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.