{"id":"084df70d-fd4c-4735-b2db-035ddb37f26f","arxiv_id":"2504.16162","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"New post-Carrollian gravity actions in 2d, 3d, and 4d are constructed by Lie algebra expansion, including the most general 2d dilaton gravity model and a 3d asymptotic symmetry algebra with central extensions.","lead":"Physicists built new 'post-Carroll' gravity models in two, three, and four spacetime dimensions, adding small corrections to Carrollian gravity, the zero-speed-of-light limit of general relativity. The paper derives exact classical solutions, boundary actions, and asymptotic symmetry algebras for these models.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'most general postcarrollian 2d dilaton gravity' claim (Sec. 3.1) rests on an unproven transfer of the BRST deformation result from [67] to the enlarged five-field target space; the 2d-central construction is otherwise coherent.","rationale":"The reader's weakest_assumption exactly matches my reading: the only stressed load-bearing point is the transferred BRST generality claim. The rest of the paper—postcarrollian BF models, explicit JT/CGHS actions, boundary actions, 3d/4d constructions—is explicit algebra that can be checked term-by-term; I do not identify an internal inconsistency there. The 3d asymptotic symmetry algebra (6.48) is presented with mode definitions and the charges; independent verification is heavy but nothing in the text suggests an obvious error. The 4d construction is standard MacDowell-Mansouri machinery. I do not push the weaker points noted by the reader (WLOG XM=-1, non-exhaustive m solution in Sec. 4) because the correctness impact is limited: the WLOG is legitimate by a constant rescaling of the Casimirs, and a particular solution to (4.15) suffices for the solution classification only if one reads the section as constructing solutions rather than classifying all. The central difficulty remains the unproven 'most general' step. The paper itself makes the limitation explicit by citing [67] without reproducing the argument, so my verdict remains CONDITIONAL: accept only if the generality claim is either proven or explicitly downgraded to 'a class of models.' No procedural unfairness is involved; the issue is a missing cohomology computation, not a mistake in the explicit results. A computational check of the deformation cohomology would settle it, and is feasible with standard PSM/BRST deformation algorithms.","tokens_in":32053,"tokens_out":2110,"duration_ms":18756,"concrete_test":"Independently compute the BRST/PSM deformation cohomology for the five-dimensional target space (X, XH, XP, XM, XZ) with Poisson tensor of the form (3.5), i.e., solve the non-linear Jacobi identities (3.2) and the BRST master equation for the most general non-linear deformation compatible with the Carroll boost-invariant condition and the requirement that XM and XZ remain Casimirs. If the result is exactly (3.5)/(3.6), the claim is correct; if additional terms (e.g., XM-dependent or XZ-dependent deformations of the top-left 3x3 block beyond the listed form) appear, then (3.5) is not the most general model and the 'most general' wording in the abstract and Section 3.1 must be weakened.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's headline 2d claim is in Section 3.1: 'Using BRST arguments, it can be shown along the lines of [67] that models with Poisson tensor (3.5) are the most general deformation.' No proof or even a sketch is given. In [67], the most-general-deformation result concerns the three-dimensional target space (X, X_a) of Lorentzian dilaton gravity. Here the target space is five-dimensional (X, XH, XP, XM, XZ) with potential V allowed to depend on X, XM, XZ, and the boost-invariant combination XH^2 - 2 XP XM (eq. 3.6), plus a restricted UV form (3.8). New coordinates XM and XZ are Casimirs and enter the Poisson tensor (3.5) linearly/nonlinearly. The BRST cohomology for the Lorentzian case classifies deformations of the bracket among three coordinates; extending it to five coordinates with a rank-2 Poisson structure is not automatic: one must verify that no additional deformation terms involving the new fields survive the master-equation/BRST-closure conditions. The authors themselves provide no argument in the text or appendix (the appendix is only BCH identities). The 'most general' wording is load-bearing for the abstract's byproduct claim. If the cohomology does not carry over, the presented family (3.5)/(3.8) is still a valid class of postcarrollian dilaton gravity models, but the paper's claim to have constructed the most general one is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs postcarrollian gravity theories in two, three, and four dimensions by expanding the (A)dS Carroll algebra and its gauge/connection fields in powers of the speed of light. In two dimensions it builds BF-type models for postcarrollian JT and CGHS gravity, then proposes a Poisson-Sigma-model formulation with a generic potential of UV type, claims this is the most general postcarrollian 2d dilaton gravity model, solves the classical equations of motion in two sectors, and derives loop-group and Schwarzian-type boundary actions. In three dimensions it writes a Chern-Simons action for the postcarrollian algebra, performs a spherical reduction to the 2d JT model, proposes Brown-Henneaux-like boundary conditions, and derives an asymptotic symmetry algebra with central terms. In four dimensions it gives a MacDowell-Mansouri-type action and discusses the second-order form and torsion constraints. The central technical inputs are a Lie-algebra expansion and a BRST deformation result imported from prior work on Lorentzian 2d dilaton gravity.","tokens_in":32457,"tokens_out":9382,"duration_ms":95068,"significance":"If correct, the paper provides a systematic and useful toolbox: explicit postcarrollian actions in three spacetime dimensions, a complete solution space for a natural 2d family, boundary actions, and a nontrivial asymptotic symmetry algebra in 3d. The derivations are largely self-contained after the algebraic setup, with no fitting of constants to data, and the solution classification is an explicit check of the model's consistency. The main significance is therefore conditional on the 'most general' claim in 2d and on the completeness of the asymptotic symmetry computation; both points need either proof or careful restatement before the headline claims can be taken at face value.","major_comments":[{"comment":"The statement 'Using BRST arguments, it can be shown along the lines of [67] that models with Poisson tensor (3.5) are the most general deformation' is load-bearing for the abstract's claim of presenting the most general postcarrollian 2d dilaton gravity model, yet no argument or proof is given. The BRST deformation result in [67] classifies deformations of the three-dimensional Lorentzian target space (X, X_H, X_P), whereas the present target space is five-dimensional, with X_M and X_Z as extra Casimir coordinates and a potential that may depend on X_M, X_Z, and X_H^2 - 2 X_P X_M. It is not automatic that the cohomology computation carries over to this enlarged, rank-two Poisson structure; additional deformation terms involving the new fields could in principle survive the master-equation/BRST-closure conditions. I request either a proof, or a precise statement of the deformation theorem and its hypotheses, or a softening of the 'most general' claim throughout the abstract and Section 3.1.","section":"Section 3.1, Eq. (3.5)–(3.8)"},{"comment":"The derivation of the asymptotic symmetry algebra is too compressed to verify the central-extension claim. The paper jumps from the charge formula (6.43) and on-shell conditions (6.44) to the mode algebra (6.48) via the relation δ_{ε1} Q[ε2] = {Q[ε1], Q[ε2]}, without showing the Poisson brackets among the modes. Moreover, in (6.48) every central term is proportional to the same generator L, so the statement in Section 7 that the algebra 'features two independent central extensions' is not supported as written; the displayed algebra has at most one central charge. Please provide the explicit bracket computation and clarify the number of independent central extensions.","section":"Section 6.1.2, Eq. (6.48)"}],"minor_comments":[{"comment":"The sentence 'The fields A_I are one-forms on the base manifold and one-forms on the target space' is imprecise: A_I are one-forms on the base manifold and functions of the target-space coordinates X_I, while X_I are coordinates on the target space.","section":"Section 3.1"},{"comment":"The bulk action (3.9) omits the overall normalization k/2π that appears in the BF actions (2.12) and (2.18); please state the convention used in the PSM action.","section":"Section 3.1, Eq. (3.9)"},{"comment":"In the X_M ≠ 0 sector the paper sets X_M = -1 'without loss of generality' but does not explain the field redefinition that achieves this for a general constant Casimir value; please justify or soften this step.","section":"Section 4.2"},{"comment":"The notation in (6.47)–(6.48) uses L both for a zero-mode generator and for the central element appearing in the brackets; please distinguish the central generator from the state-dependent function a_L in the boundary connection.","section":"Section 6.1.2"},{"comment":"The index placement in the definition of V_ab after (6.64) appears inconsistent with the term V^{ab} e_{b\\mu} in (6.64b); please check and correct the index conventions.","section":"Section 6.2, Eq. (6.64)"},{"comment":"The sentence about all possible choices of constraints leading to free-particle actions is stated without details of the investigation; a short description of the 'all such combinations we investigated' would help the reader assess the claim.","section":"Section 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is a proceedings contribution with a clear and mostly self-contained algebraic construction. My main concern is that the 'most general postcarrollian 2d dilaton gravity model' claim is exported from a cited BRST deformation theorem without the necessary cohomological transfer argument to the enlarged five-dimensional target space; if the authors cannot supply that argument, removing 'most general' from the abstract and Section 3.1 would make the verifiable claims accurate. The asymptotic symmetry algebra derivation should also be made explicit, since it is one of the headline results and the current text does not support the 'two independent central extensions' wording."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a systematic postcarrollian expansion of first-order gravity, and the core machinery holds together. The genuinely new pieces are the general 2d postcarrollian dilaton gravity action (3.9) with its two-sector solution space, and the 3d Chern-Simons action with Brown-Henneaux-like boundary conditions leading to the asymptotic symmetry algebra (6.48). The algebra construction is explicitly a Lie algebra expansion in the sense of [55–59], the JT boundary actions are imported from [51,52], and the paper says so; the value added is in the new applications, not in inventing a new algebraic method.\n\nWhat the paper does well: the actions are derived from the stated commutators, the equations of motion are fully written out, and the 2d solution analysis is mostly explicit. The distinction between the XM=0 sector (static, Carroll-like) and XM≠0 sector (cosmological-like) is clean and physically interesting. The 3d asymptotic symmetry computation is detailed enough to be re-derived. The acknowledgements claim the proceedings contain new results; based on the 3d algebra and the 2d classification, that claim is fair.\n\nThe soft spots are real but not damaging. The 'most general postcarrollian 2d dilaton gravity' claim in Section 3.1 is unsupported: 'Using BRST arguments, it can be shown along the lines of [67]' is not an argument. The Lorentzian cohomology result in [67] is for a three-dimensional target space; here the target is five-dimensional with two extra Casimirs entering the potential. The transfer may be true, but it needs a proof or at least a sketch. Without it, (3.5)/(3.8) is a consistent family, not the most general one. That should be fixed before the claim appears in an abstract.\n\nTwo smaller points. Section 4.2 picks XM=-1 'without loss of generality' without explaining the rescaling; it is probably legitimate (XM is constant and can be absorbed into m and XP), but it deserves a sentence. And the solution for m in (4.16) is one solution to (4.15), not the general one (the general solution adds an exact 1-form). The title promises all solutions, so the text should say 'a representative solution' or give the gauge-equivalence argument.\n\nOverall: this is a coherent framework paper, more useful than foundational. It deserves a serious referee. My recommendation: send it to review, and ask the referee to focus on Section 3.1 and Section 4.2.","headline":"A coherent postcarrollian gravity framework with real new 2d solutions and a 3d asymptotic symmetry algebra; the 'most general' 2d claim is the one piece that outruns the evidence.","tokens_in":33019,"tokens_out":2987,"would_cite":true,"duration_ms":29113,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs postcarrollian gravity models in two, three, and four spacetime dimensions by expanding (A)dS Carroll gauge fields in powers of the speed of light, and claims the 2d family is the most general postcarrollian dilaton…","keywords":["postcarrollian gravity","Carroll symmetry","Lie algebra expansion","dilaton gravity","Poisson-sigma model","Chern-Simons gravity","MacDowell-Mansouri action","asymptotic symmetry algebra"],"falsifier":"Compute the deformation cohomology for the five-field Poisson-sigma target space used in section 3.1: any allowed deformation not equivalent to the Poisson tensor (3.5) with potential (3.8) would falsify the 'most general' claim. Separately, take a known 3d AdS Carroll solution, solve the postcarrollian field equations (6.15), and check whether the proposed boundary charges (6.43) are integrable and obey the algebra (6.48); a counterexample would falsify the 3d asymptotic-symmetry proposal.","tokens_in":31836,"feed_emoji":"🌌","tokens_out":9488,"duration_ms":81985,"temperature":0.7,"pith_summary":"The paper tries to establish that Carrollian gravity can be deformed one step away from the strict speed-of-light-zero limit in a controlled, algebraic way, and that the resulting postcarrollian theories are tractable in two, three, and four dimensions. Its central construction expands the (A)dS Carroll connection in powers of $c$, producing new generators that make the Carroll boost change energy ($[H,B_a]=M_a$ rather than zero). The paper claims in two dimensions that the most general postcarrollian dilaton gravity is a five-field Poisson-sigma model, solves it completely, and derives boundary actions of loop-group and Schwarzian type; in three dimensions it proposes Brown-Henneaux-like boundary conditions and derives an asymptotic symmetry algebra with central extensions; in four dimensions it writes a MacDowell-Mansouri-type action. A sympathetic reader would care because these models give a controlled handle on corrections to Carroll gravity, which underlies null boundaries, flat-space holography, and near-horizon physics.","feed_headline":"Algebraic expansion builds postcarrollian gravity in 2D, 3D, 4D","feed_subtitle":"A controlled c-expansion makes boosts change energy, solves the 2D theory, and finds central charges in 3D.","key_machinery":"The load-bearing object is the postcarrollian Lie algebra obtained by expanding the (A)dS Carroll algebra in the parameter $c$: the fields expand as $E^0 = c\\tau + c^3 l$, $E^a = e^a + c^2 m^a$, $\\Omega^{0a} = c\\omega^a + c^3\\sigma^a$, and $\\Omega^{ab} = \\omega^{ab} + c^2\\sigma^{ab}$, with generators split into a Carroll row $(H, P_a, B_a, J_{ab})$ and a postcarrollian row $(L, M_a, K_a, S_{ab})$. The mechanism is to expand the algebra and the connection together, inserting this expansion into BF, Chern-Simons, or MacDowell-Mansouri actions to get a leading magnetic Carroll theory plus subleading postcarrollian corrections. In 2d, the generality claim is carried by a Poisson tensor on a five-dimensional target space, with a potential depending only on Carroll-boost-invariant combinations, whose linear cases reproduce the postcarrollian JT and CGHS models.","core_discovery":"The central discovery is that the (A)dS Carroll algebra and its gauge fields admit an expansion in powers of $c$ whose leading row is the Carroll algebra and whose subleading row is a set of postcarrollian generators $L, M_a, K_a, S_{ab}$. Applying this expansion to BF theory in 2d, Chern-Simons theory in 3d, and a MacDowell-Mansouri action in 4d produces gravitational theories whose defining feature is that Carroll boosts no longer commute with the Hamiltonian. In 2d, the paper identifies the general postcarrollian dilaton gravity action with potential $V = V(X) - (\\tfrac{1}{2}X_H^2 - X_M X_P)\\,U(X)$, solves all equations of motion, and finds two qualitatively different sectors separated by whether $X_M$ vanishes. In 3d, it exhibits Brown-Henneaux-like boundary conditions whose asymptotic symmetry algebra (6.48) has central extensions. In 4d, the action splits into magnetic Carroll gravity plus postcarrollian corrections, and the postcarrollian torsion constraints fix the otherwise undetermined parts of the spin connections.","pith_inferences":["If the 2d generality claim survives, the same deformation-classification logic might organize all higher-order corrections in the $c^2$ expansion, giving a hierarchy of postcarrollian theories rather than an isolated first-order correction.","The $X_M\\neq 0$ cosmological sector suggests postcarrollian corrections can turn a static Carroll dilaton into a time-dependent one; a direct test would be to track these solutions under resummation of the $c^2$ series to see whether they return to known Lorentzian cosmologies.","The 3d asymptotic symmetry algebra with central extensions is a natural candidate for a dual CFT/Carrolian CFT, so a Cardy-type state count of postcarrollian black holes would give a concrete holographic check.","One could repeat the expansion around the electric Carroll theory instead of the magnetic one; comparing the two families would show which postcarrollian features are artifacts of the magnetic starting point."],"forward_implications":["In the strict $c\\to 0$ limit the models reduce to magnetic Carroll gravity, so all postcarrollian results are direct corrections to known Carroll black-hole and Carroll JT/CGHS geometries.","Because $[B_a,H]=M_a\\neq 0$, boosting a postcarrollian state changes its energy, giving a controlled cutoff on the spectrum of soft excitations.","The complete 2d solution space splits into a static sector with $X_M=0$, which reproduces Carroll black-hole-type solutions, and a cosmological sector with $X_M\\neq 0$ where the dilaton is time; both are explicitly gauge-fixed.","Loop-group boundary conditions yield boundary actions for postcarrollian JT and CGHS; the JT boundary action reduces by inverse Higgs to a Schwarzian-type action with twisted warped transformations.","In 3d, Brown-Henneaux-like boundary conditions define integrable charges whose asymptotic algebra (6.48) has central extensions and contains the postcarrollian algebra as its wedge subalgebra."],"supporting_citations":[{"why":"Supplies the Lie algebra expansion method that generates the postcarrollian algebra and the c-expanded gauge connection.","marker":"[55–58]"},{"why":"Provides the BRST deformation argument invoked to claim the 2d Poisson tensor is the most general postcarrollian dilaton gravity deformation.","marker":"[67]"},{"why":"Defines the Poisson-sigma-model framework in which the general 2d action is written.","marker":"[69]"},{"why":"Provides the UV family of 2d dilaton gravity potentials and the Lorentzian parent action used for the limit construction.","marker":"[70]"},{"why":"Gives the Carroll dilaton gravity models, solution-space analysis, and black-hole geometry that the postcarrollian theory corrects and extends.","marker":"[40]"},{"why":"Supplies the Carroll JT model, the central extension M, and the loop-group/Schwarzian boundary actions used in the 2d sections.","marker":"[51]"},{"why":"Gives the 3d Carrollian boundary conditions and the Abelian-extension trick that the paper lifts to postcarrollian boundary conditions.","marker":"[71]"},{"why":"Establishes the Brown-Henneaux model of asymptotic symmetry algebras with central charges that the 3d analysis generalizes.","marker":"[78]"}],"fun_headline_variants":["Boosts now change energy: postcarrollian gravity","Postcarrollian gravity: boosts alter energy in 2D, 3D, 4D","Postcarrollian gravity: dilaton solved, central charges in 3D","From Carroll to postcarrollian gravity in 2D, 3D, 4D","Expanding Carroll algebra yields postcarrollian gravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim that the 2d model is the most general postcarrollian dilaton gravity assumes, without proof, that the deformation-classification theorem proven for ordinary 2d dilaton gravity still applies when the two postcarrollian fields and their extra potential terms are added; if that transfer fails, the model remains consistent but is not the most general.","fun_headline_variants_meta":{"raw":{"variants":["Boosts now change energy: postcarrollian gravity","Postcarrollian gravity: boosts alter energy in 2D, 3D, 4D","Postcarrollian gravity: dilaton solved, central charges in 3D","From Carroll to postcarrollian gravity in 2D, 3D, 4D","Expanding Carroll algebra yields postcarrollian gravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000886,"raw_usage":{"total_tokens":3781,"prompt_tokens":857,"completion_tokens":2924,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":2820}},"tokens_in":473,"tokens_out":2924,"duration_ms":18842,"temperature":1.0,"reasoning_tokens":2820,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:12:17.572756+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the deformation cohomology for the five-field Poisson-sigma target space used in section 3.1: any allowed deformation not equivalent to the Poisson tensor (3.5) with potential (3.8) would falsify the 'most general' claim. Separately, take a known 3d AdS Carroll solution, solve the postcarrollian field equations (6.15), and check whether the proposed boundary charges (6.43) are integrable and obey the algebra (6.48); a counterexample would falsify the 3d asymptotic-symmetry proposal.","supporting_citations":[],"review_version":1}