{"id":"c8ae12ef-daf5-4fc2-b274-e77b6e186100","arxiv_id":"2607.09847","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A finite Carrollian limit of NS-NS and heterotic supergravity is constructed by field expansion, including a gauge sector, a Green-Schwarz mechanism analysis, and a finite leading α' correction.","lead":"This paper constructs a mathematically consistent ultra-relativistic (Carrollian) limit of the low-energy string-theory actions for gravity, the Kalb–Ramond field, the dilaton, and heterotic gauge fields. Such limits are candidates for describing strings at black-hole horizons and in tensionless regimes, so the work supplies a target-space framework for that physics.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The finite-action computation is plausible, but the paper's dynamics are not yet established: the two EOM derivations are admitted to be only 'expected' to agree, with comparison deferred to future work.","rationale":"The reader's weakest-assumption list contains two items. I find the first — the tensor transformation of the w^±2 connection pieces — to be a non-issue, because diffeomorphisms do not scale with w and the inhomogeneous term in the connection transformation is O(1). The second item, the unproven equivalence of the two EOM derivations, is the genuinely load-bearing concern. The paper itself flags this as deferred to [92], which is an explicit admission of missing support. The finite-action result is likely correct, but the dynamical content of the theory — the field equations and their interpretation as the Carrollian limit of string dynamics — is not yet established. This does not force a change from the reader's CONDITIONAL verdict: the core algebraic construction is explicit and checkable, and the EOM gap is a known condition on acceptance. I therefore recommend keeping CONDITIONAL rather than moving to ACCEPT or REJECT.","tokens_in":25702,"tokens_out":20636,"duration_ms":236372,"concrete_test":"Work in the dilaton-gravity truncation (A=b=0) of §4.2. Perform the full constrained variation of S_CG + S_LM, algebraically solve the Lagrange-multiplier equations for λ, λ_μ and λ_μ^ν, and substitute the result into the variations (A.1)-(A.5). Compare the resulting independent equations, order by order, with the Carrollian limit of the relativistic EOMs quoted in (A.10)-(A.16). If they match, the equivalence is established; if they differ, the variational principle or the expansion prescription (or both) must be revised before the field equations can be trusted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central finite-action construction is credible as far as the displayed algebra goes: the measure scaling (2.8) and the explicit w^2 expressions (2.38), (3.15)-(3.16) support the existence of a finite limit. The assertion in §2.1.2 that the w^±2 connection pieces transform as tensors is not actually fragile, since coordinate changes are w-independent and the inhomogeneous term in the connection transformation law is O(1); this part is acceptable.\n\nThe load-bearing gap lies in §4. The equations of motion are approached in two ways: direct expansion of the relativistic equations (4.5)-(4.22), and a constrained variational principle with Lagrange multipliers (§4.2). The paper explicitly states these are only 'expected' to coincide and defers the comparison to future work [92] (see §4.2 and Conclusions). Until this equivalence is demonstrated, the paper has not established that the finite Carrollian actions (2.40) and (3.17) correctly capture the ultra-relativistic dynamics of string theory. The expanded equations are raw expansions that still require 'geometric constraints' (§4.1), while the variational equations are derived only in the A=b=0 truncation. If the two routes disagree, the claimed covariant field equations are not the correct ones, and the worldsheet/effective-field-theory correspondence built on them is unsupported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs the ultra-relativistic (Carrollian, w→∞) limit of the bosonic NS-NS and heterotic supergravity actions. Using the metric ansatz (2.1)-(2.2), the Kalb-Ramond decomposition (2.6), the dilaton scaling (2.7), and the gauge-field ansatz (3.1), it argues that the w^{-2} scaling of the measure compensates the positive powers of w in the Lagrangian, yielding the finite actions (2.40) and (3.17). The paper rewrites these actions in terms of a Carrollian affine connection and non-metricities, constructs the heterotic gauge sector with a partially trivialized Green-Schwarz mechanism, analyzes equations of motion by both expanding the relativistic equations and using a constrained variational principle, checks (in §5.2) the finiteness of the leading \\hat{Riem}^2 α'-correction under α'→α'_c/w², and discusses possible worldsheet and near-horizon applications. The central technical claim is the existence of finite, covariant Carrollian NS-NS and heterotic actions.","tokens_in":25999,"tokens_out":14713,"duration_ms":160551,"significance":"If the construction is correct, it provides the first systematic Carrollian effective actions for string-theoretic NS-NS and heterotic sectors, thereby extending Carrollian gravity to include the Kalb-Ramond field, the dilaton, and non-Abelian gauge fields. The derivation is anchored to the known relativistic supergravity action: no parameters are fitted, and the displayed finite Lagrangians are explicitly traceable to the parent theory. The heterotic Green-Schwarz analysis, including the field redefinition (3.11), is a concrete and checkable contribution. The proposal to rescale α' as α'_c/w² is also a promising route toward higher-derivative Carrollian corrections. However, the paper's dynamical claims are currently tempered by the explicitly deferred equivalence between its two equations-of-motion derivations and by partially asserted α' computations; these gaps need to be closed before the theory can be regarded as a fully established dynamical system.","major_comments":[{"comment":"The equivalence between the expanded relativistic equations (4.5)–(4.22) and the variational principle of §4.2 is not established. The text explicitly states that the two approaches are 'expected to provide equivalent descriptions' and defers the comparison to future work [92]. Moreover, the variational derivation is restricted to the truncation A_μ=b_μν=a_μ^i=χ^i=0, and the Lagrange multipliers in (4.25) are never eliminated; Appendix A stops at the unconstrained variations. The 'geometric constraints' mentioned at the end of §4.1 are not specified. Thus the paper does not currently provide a demonstrated set of Carrollian field equations for the full NS-NS/heterotic actions. This is a load-bearing gap for the dynamical interpretation of the finite actions; please either prove the equivalence at least in the dilaton-gravity truncation or explicitly restrict the claims to the action-leve","section":"§4.2, Conclusions"},{"comment":"The α'-finiteness statement rests on an unshown calculation: the text says 'After a long but straightforward computation we verify' that the w^10, w^8 and w^6 components of \\hat{Riem}^2 vanish, but no intermediate cancellations are provided. Moreover, the conclusion that 'the bosonic supergravity is finite up to four-derivative terms' is stronger than checking the single invariant \\hat{Riem}^2 with \\hat H=0; other four-derivative structures and the standard field redefinitions are not discussed. Please supply the actual verification (or a supplementary file) and align the claims with what is actually checked.","section":"§5.2, Eqs. (5.1)–(5.3)"},{"comment":"The claim that the action is finite requires controlling all positive powers of w in the parent Lagrangian, not only the O(w²) terms that become the finite action. The displayed results (2.35)–(2.40) and (3.15)–(3.17) give the finite pieces, but the paper does not show that the potential w^4 (and higher) contributions—for example the Γ^{(2)}Γ^{(2)} part of the Ricci scalar coming from (2.26)—vanish or cancel before the measure scaling. Please display the leading divergent-order cancellation explicitly or state the identities used.","section":"§2.2 and §3.2"}],"minor_comments":[{"comment":"After Eq. (3.16), the text reads 'taking the limit w→0'; this should be w→∞.","section":"§3.2"},{"comment":"The notation '∂[μλ^i]' with a single free index is not well-formed; it should presumably be ∂_μλ^i or clarified with the correct antisymmetrization.","section":"Eq. (3.10)"},{"comment":"The index structure in the connection formula is ambiguous as printed (e.g., 'τ ρσ' should likely be τ^ρ τ_σ or a similar contraction). Please clarify.","section":"Eq. (2.17)"},{"comment":"The assertion that the w^{±2} pieces of the Levi-Civita connection transform as tensors is stated without proof or reference. Although the claim is plausible, a one-line argument or a precise reference would make the covariance of the construction fully explicit.","section":"§2.1.2"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the §4 equations-of-motion gap, which the authors themselves acknowledge and defer to future work. I do not see grounds for rejection: the finite-action construction is checkable and, as far as the displayed algebra goes, credible. A revision that either proves the equivalence in the dilaton-gravity truncation or explicitly removes the dynamical claims from the abstract and conclusions would be acceptable. The α' verification in §5.2 should be made available, and the finiteness proof for all positive powers of w should be shown at least schematically."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is the first Carrollian limit of NS-NS and heterotic supergravity that keeps the full bosonic content — metric, dilaton, Kalb-Ramond, non-Abelian gauge field, Green-Schwarz — and the central computation is credible. The w-expansion is explicit: the dilaton scaling φ̂ = ½ ln w + φ makes the measure go like w^{-2}, and the displayed O(w²) pieces in (2.38), (3.15)-(3.16) cancel against that. This is a real gap in the literature, and the paper fills it. The comparison with the two non-relativistic heterotic formulations is also useful: the Carrollian limit sits between them regarding whether the Green-Schwarz transformation of the b-field can be trivialized.\n\nThe weak spot is the dynamics. Section 4 gives two routes to equations of motion — expanding the relativistic EOMs on one hand, a constrained variational principle on the other — and then explicitly leaves the equivalence to future work. That is load-bearing: the paper wants to give covariant field equations, but until the two routes are shown to agree, those equations are only candidates. The variational derivation is also carried out only in the dilaton-gravity truncation, not the full theory. I'm not claiming the construction is wrong, just that the dynamical claim is not yet established. The paper is honest about this, which counts in its favor.\n\nThe earlier worry about the w^{±2} pieces of the connection not transforming as tensors dissolves on inspection: coordinate changes are w-independent, so those pieces do transform as tensors, and the O(1) connection is well-defined. The paper also notes higher-order α' divergences beyond Riem² under Ĥ=0 remain unclear; that's a limitation, not a fatal flaw, and it's stated plainly.\n\nI would send this to referees. It deserves a serious referee because the construction is novel, explicit, and checkable. The referee's main job is to close the EOM gap or at least sharpen what would need to be checked. I'd bring it to reading group for the discussion of how much an action principle is worth without proven equivalence to the expansion.","headline":"First full Carrollian limit of NS-NS/heterotic supergravity actions, with the dynamics section the main gap; worth serious refereeing.","tokens_in":26565,"tokens_out":2682,"would_cite":true,"duration_ms":29060,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.65.+e","11.25.-w"],"model":"deepseek-v4-flash","headline":"The bosonic NS–NS and heterotic supergravity actions admit a finite Carrollian limit once the dilaton is scaled to cancel divergences, yielding a covariant spacetime effective theory for string backgrounds at zero speed of light.","keywords":["Carrollian geometry","ultra-relativistic limit","NS-NS supergravity","heterotic supergravity","Green-Schwarz mechanism","dilaton scaling","alpha-prime corrections","string effective action"],"falsifier":"Explicitly compute, for a non-trivial Carrollian geometry with non-constant τ and h, the diffeomorphism transformation of the O(w²) and O(w^(−2)) parts of the expanded Levi–Civita connection; if either piece contains non-tensorial terms, the O(1) connection is not intrinsic and the covariant actions are not well-defined.","tokens_in":25515,"feed_emoji":"⚡","tokens_out":7371,"duration_ms":71732,"temperature":0.7,"pith_summary":"The paper tries to establish that string theory's low-energy field equations—not just pure gravity—survive the ultra-relativistic limit in which the speed of light goes to zero. The key move is to scale the dilaton as half the logarithm of the contraction parameter, so that the path-integral measure cancels the quadratic divergences that would otherwise kill the action. With this scaling, the bosonic NS–NS sector and, after adding non-Abelian gauge fields, the heterotic sector each have a finite, diffeomorphism-covariant Carrollian action, written in terms of a clock 1-form, a degenerate spatial metric, a Carrollian 1-form, and a spatial 2-form. The paper also shows the leading four-derivative (α′) correction is finite under a correlated rescaling, and it argues the resulting theory is a natural spacetime counterpart to Carrollian string theory.","feed_headline":"String supergravity survives the Carrollian limit","feed_subtitle":"The dilaton's half-log scaling cancels every divergence, yielding covariant NS-NS and heterotic actions.","key_machinery":"The load-bearing device is the dilaton's large-w scaling, φ̂ = ½ ln w + φ, which makes the string-frame measure √(−ĝ)e^(−2φ̂) fall as w^(−2), exactly matching the w² growth of the Ricci scalar, the dilaton kinetic term, the Kalb–Ramond strength squared, and, in heterotic theory, the Yang–Mills curvature squared. Equally central is the Carrollian ansatz for the metric and B-field, which decomposes the relativistic fields into Carrollian data, and the affine connection defined as the O(1) part of the Levi–Civita connection, with the subleading w² and w^(−2) terms claimed to transform as tensors. These ingredients together convert the limiting action into the covariant expressions (2.40) and (3","core_discovery":"The paper's central discovery is that the Carrollian limit of the bosonic NS–NS and heterotic supergravity actions is finite, not divergent, provided the dilaton is expanded as φ̂ = ½ ln w + φ. In this limit the measure √(−ĝ)e^(−2φ̂) scales as w^(−2)e^(−2φ), exactly canceling the w² terms in R̂, (∂φ̂)², Ĥ², and the heterotic F̂² contributions, leaving the explicit finite actions (2.40) and (3.17) built from Carrollian curvatures and non-metricities. The resulting geometry is Carrollian, with a clock 1-form, a degenerate spatial metric, a 1-form A_μ inherited from the Kalb–Ramond field, and a spatial 2-form b_μν. In the heterotic case the Green–Schwarz transformation of A_μ can be absorbed by","pith_inferences":["One consequence the authors leave implicit: if the correspondence with the critical Carrollian bosonic string holds, then the worldsheet beta-function equations should reproduce the equations of motion obtained from the Carrollian action; checking this would tie the two formalisms together.","The trivialization of the 1-form Green–Schwarz transformation resembles what happens in some non-relativistic heterotic constructions; a natural test is whether this trivialization survives once fermions are included, since anomaly cancellation might force the unredefined A_μ to reappear.","The finiteness of Riem² at leading order suggests that higher-order α′ invariants, such as (H²)² and R³ terms, might also be rendered finite by the same measure factor; these are open cases flagged by the paper.","Because the near-horizon expansion of string worldsheets is Carrollian, the actions derived here could serve as a target-space framework for horizon-scale string physics; a direct application would be to compute the Carrollian field equations for a Schwarzschild-like background and compare with worldsheet results."],"forward_implications":["The bosonic NS–NS sector of string theory has a well-defined Carrollian effective action, so backreacted target-space geometries for Carrollian strings can be studied from a spacetime action rather than only from worldsheet models.","A consistent Carrollian heterotic sector exists with a non-Abelian gauge field; the Green–Schwarz mechanism splits, with the 1-form's transformation trivializable and the 2-form's fixed.","The leading α′ Riem² correction is finite under α′ ~ 1/w² (at least when H = 0), opening the way toward a full four-derivative Carrollian effective action.","The field content of the Carrollian limit coincides with the natural decomposition of the bosonic string multiplet, making the action a candidate low-energy description of the critical Carrollian string in D = 26."],"fun_headline_variants":["Dilaton log scaling tames Carrollian supergravity","Finite Carrollian actions from NS-NS and heterotic supergravity","Carrollian limit yields finite gravity and gauge sector","Supergravity divergences canceled in ultra-relativistic limit"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The covariant form of everything depends on an assertion made without proof in §2.1.2: that the O(w²) and O(w^(−2)) pieces of the expanded Levi–Civita connection transform as tensors, so the O(1) piece alone defines the Carrollian connection; if that decoupling fails, the covariant actions (2.40) and (3.17) do not exist as stated.","fun_headline_variants_meta":{"raw":{"variants":["Dilaton log scaling tames Carrollian supergravity","Finite Carrollian actions from NS-NS and heterotic supergravity","Carrollian limit yields finite gravity and gauge sector","Supergravity divergences canceled in ultra-relativistic limit"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000277,"raw_usage":{"total_tokens":1512,"prompt_tokens":791,"completion_tokens":721,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":535,"completion_tokens_details":{"reasoning_tokens":652}},"tokens_in":535,"tokens_out":721,"duration_ms":7020,"temperature":1.0,"reasoning_tokens":652,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T07:27:55.270935+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Explicitly compute, for a non-trivial Carrollian geometry with non-constant τ and h, the diffeomorphism transformation of the O(w²) and O(w^(−2)) parts of the expanded Levi–Civita connection; if either piece contains non-tensorial terms, the O(1) connection is not intrinsic and the covariant actions are not well-defined.","supporting_citations":[],"review_version":2}