REVIEW 2 major objections 5 minor
Ultra-relativistic expansion of NS-NS and heterotic supergravity yields finite Carrollian actions whose leading Riem-squared correction stays finite after a string-parameter rescaling.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-14 15:03 UTC pith:YPZ6CCRZ
load-bearing objection Useful first construction of Carrollian NS-NS/heterotic actions, but the measure power-counting looks off and the EOM matching is unfinished. the 2 major comments →
Carrollian limit of NS-NS and Heterotic Supergravity
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A systematic ultra-relativistic expansion of the fields of NS-NS and heterotic supergravity, together with a dilaton scaling that renders the measure finite, produces finite, covariant Carrollian actions (2.40) and (3.17). In the heterotic theory the Green-Schwarz transformation of the inherited 1-form can be trivialized by a field redefinition while the 2-form retains a non-trivial transformation, and the leading Riem-squared alpha-prime correction stays finite under alpha-prime to alpha-prime_c over w squared when the three-form vanishes.
What carries the argument
The ultra-relativistic (large-w) field expansions, especially the dilaton ansatz phi-hat equals (3/2) ln w plus phi, which makes the measure produce a compensating 1/w-squared factor and isolates a finite O(w-squared) Lagrangian written entirely in Carrollian geometric variables (clock form, degenerate metric, Carrollian 1-form, spatial 2-form and non-Abelian gauge fields).
Load-bearing premise
That the equations obtained by expanding the relativistic field equations will match those obtained by varying the finite Carrollian action once the Lagrange-multiplier constraints are solved—an equivalence the paper states but leaves unproven.
What would settle it
Explicitly solve the Lagrange-multiplier constraints for the pure dilaton-gravity truncation and check whether the resulting Euler-Lagrange equations coincide with the truncated expansion of the relativistic Einstein-dilaton equations; any mismatch would falsify the claimed dynamical equivalence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs ultra-relativistic (Carrollian) limits of bosonic NS–NS and heterotic supergravity by expanding the metric, Kalb–Ramond field, dilaton and (for heterotic) Yang–Mills fields in powers of w=1/c. With a dilaton scaling ˆφ=α ln w+φ and α=3/2, the measure is claimed to behave as w^{-2} Ω_c e^{-2φ}, so that the O(w^{2}) pieces of the relativistic Lagrangian yield finite Carrollian actions (2.40) and (3.17). The Green–Schwarz transformation of the inherited Carrollian 1-form is trivialized by a field redefinition, while that of the spatial 2-form is not. Equations of motion are obtained both by expanding the relativistic EOMs and (for dilaton gravity) by varying the finite action with Lagrange multipliers; leading Riem^{2} α'-corrections are argued to remain finite after α'→α'_c/w^{2} when H=0. A possible link to worldsheet Carrollian strings is discussed.
Significance. If the power counting and the resulting finite actions are correct, the work would supply the first systematic spacetime effective actions for Carrollian NS–NS and heterotic strings, including a controlled Green–Schwarz sector and a first check of four-derivative finiteness. That would complement existing non-relativistic constructions and give a target-space counterpart to recent Carrollian worldsheet models, with potential applications to near-horizon string dynamics. The explicit expansions of connections, non-metricities and Riem^{2} terms are concrete and reusable even if the overall scaling must be revised.
major comments (2)
- §2, eqs. (2.1)–(2.2) and (2.8): for the stated Carrollian ansatz ĝ_μν=h_μν−w^{-2}τ_μτ_ν (with h degenerate of rank 9), one has det ĝ∼w^{-2} det h_spatial, hence √−ĝ∼w^{-1} Ω_c. Combined with e^{-2ˆφ}=w^{-2α}e^{-2φ} the measure scales as w^{-2α−1}, not w^{-2α+1}. With the paper’s choice α=3/2 the measure is therefore ∼w^{-4}, so the O(w^{2}) Lagrangian pieces retained in (2.40) and (3.17) are not the finite contributions. Either the actions diverge or the finite sector sits at O(w^4) of the curvature (and of H^{2}, F^{2}). The same incorrect power propagates into the α' finiteness argument of §5.2. This must be corrected and the expansions recomputed before the central claims can stand.
- §4 (and end of §4 / ref. [84]): the paper presents two routes to the equations of motion—expansion of the relativistic EOMs (4.5)–(4.22) versus variation of the finite action with Lagrange multipliers enforcing (2.3)–(2.5)—but explicitly leaves their equivalence unproven, even for the truncated dilaton-gravity sector whose variations are written in Appendix A. Because the constitutive relations are nonlinear, equivalence is not automatic; without it the dynamical content of the finite actions remains incompletely established.
minor comments (5)
- §3.2, after (3.16): the text says “taking the limit w→0”; the rest of the paper uses w→∞. Correct the typo.
- Throughout: the hat/bar conventions for relativistic versus Carrollian quantities are mostly clear, but ¯H is introduced only in a footnote; a short notation paragraph would help.
- §5.3: the conjectural link to the worldsheet Carrollian string of [83] is interesting but rests on field-content matching and critical dimension alone; a sentence clarifying that no beta-function computation is yet available would avoid overstatement.
- Appendix A: the variations are lengthy; a brief statement of which terms survive after the Lagrange multipliers are eliminated (or a pointer that this is deferred to [84]) would improve readability.
- References: a few recent Carrollian supergravity and near-horizon string papers already cited in the introduction could be cross-linked more explicitly when the black-hole applications of §3.3 are discussed.
Circularity Check
No significant circularity: finite Carrollian actions arise by direct ultra-relativistic power-series expansion of the known relativistic NS-NS/heterotic Lagrangians under a standard field ansatz, with no fitted parameters, no load-bearing self-citation uniqueness claims, and no result forced by definition of its own inputs.
full rationale
The paper’s central claims (finite actions (2.40) and (3.17), covariant geometry from the O(1) Levi-Civita piece, trivialization of the Carrollian 1-form GS transformation via redefinition (3.11), vanishing of the highest Riem^{2} powers after α'→α'_c/w^{2} when H=0) are obtained by substituting the stated large-w expansions of ĝ, B̂, φ̂ and  into the relativistic supergravity Lagrangians and retaining the finite pieces. The dilaton scaling α=3/2 is fixed by the authors’ own measure calculation (2.8) so that √-ĝ e^{-2φ̂} supplies the compensating 1/w^{2} factor; this is an explicit choice of ansatz, not a prediction derived from an independent principle that already assumes the answer. Comparisons with non-relativistic limits cite the authors’ prior works only for contrast (different cancellation patterns, different GS trivializations), never as a uniqueness theorem that forces the present Carrollian result. The two routes to the equations of motion are presented as complementary and their equivalence is explicitly deferred to future work; nothing is claimed to follow by construction from that matching. No parameters are fitted to data, no empirical pattern is merely renamed, and the world-sheet connection remains a conjecture. The derivation chain is therefore self-contained against its relativistic starting point; any power-counting error in the measure (a correctness issue) does not convert the expansion into a circular argument.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Ultra-relativistic (Carrollian) contraction of the Poincaré algebra and the associated constitutive relations τ_μ h^{μν}=0, τ_μ τ^μ=1, etc.
- domain assumption The bosonic NS-NS and heterotic supergravity actions (including Green-Schwarz Chern-Simons terms) are the correct low-energy starting points.
- ad hoc to paper Dilaton scaling φ̂ = (3/2) ln w + φ makes the measure finite and cancels all divergences of the Lagrangian.
- domain assumption Fermions can be consistently neglected while still obtaining the correct bosonic Carrollian geometry.
invented entities (2)
-
Carrollian one-form A_μ and spatial two-form b_μν inherited from the Kalb-Ramond field
no independent evidence
-
Gauge-invariant redefinition Ā_μ = A_μ - (1/2) a_μ^i χ_i
no independent evidence
read the original abstract
We construct the Carrollian limit of NS--NS and heterotic supergravity through an ultra-relativistic expansion of the fields. An appropriate scaling of the dilaton renders the measure finite and compensates the divergences arising from the NS-NS supergravity Lagrangian, giving a finite action as $w\rightarrow\infty$. We then extend the construction to heterotic supergravity (neglecting fermions) by incorporating the non-Abelian gauge field together with the Green--Schwarz (GS) mechanism. The resulting theory contains a finite gauge sector consistently coupled to gravity, and the GS mechanism for the Carrollian 1-form field can be trivialized imposing field redefinitions. Then, we investigate the Carrollian equations of motion by both expanding the relativistic equations and deriving them from a variational principle. We also show that the leading $\alpha'$-corrected $\hat{\rm Riem}^2$ contribution remains finite under a rescaling of the string parameter $\alpha'\rightarrow \frac{\alpha'_c}{w^2}$, opening further research towards the full four-derivative effective action. Finally, we discuss the potential connection with the worldsheet formalism of the Carrollian string theory.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.