{"id":"f223ab7e-c40a-418c-9161-8cb76d7fc735","arxiv_id":"2412.00918","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A 2d chiral action on the momentum-space celestial sphere is shown to reproduce BMS and w1+∞ symmetries, stress tensors, and soft dressing of 4d self-dual gravity.","lead":"Bu and Seet write down a chiral two-dimensional field theory on a celestial sphere and show that its operator products reproduce the known infrared symmetries of four-dimensional self-dual Einstein gravity, including the BMS group and the w1+∞ algebra. The paper is a step toward a Lagrangian description of celestial holography, where gravitational scattering is recast as a two-dimensional conformal field theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The action's defining data are inconsistent: main-text Eqs. (8)-(9) and Appendix Eqs. (A8)-(A9) give different structure constants and c(a), so the claimed OPEs (4)-(6) are not anchored to a single well-defined action.","rationale":"The reader's weakest assumption focused on the external derivation in [24], the lambda-w identification, and cutoff independence. My concern is more basic and internal: the defining data of the action are not uniquely specified because the main text and the appendix give different structure constants and c(a). If the OPEs (4)-(6) do not follow from the equations as stated, then the BMS, stress tensor, and dressing conclusions all lose their foundation, independently of whether [24] is correct. This is checkable from within the paper, using only the free-field OPEs and the published formulas, so it is a more load-bearing concern than the external-dependency issue. The appropriate verdict is UNVERDICTED: the manuscript as written does not establish that its own action produces the claimed current algebra, so the central claim cannot be assessed until the discrepancy is resolved. I do not call into question the authors' intent or the companion paper; the concern is purely about the internal consistency of the presented definitions.","tokens_in":17955,"tokens_out":15297,"duration_ms":140598,"concrete_test":"Compute the J J OPE directly from the free-field OPEs (3) using the definition (2) with the main-text structure constants and c(a) of Eqs. (8)-(9), and check whether it closes to (4) with the stated f^{a1 a2}_{a3}. Repeat the computation with the appendix definitions (A8)-(A9). If neither (or only one) set reproduces (4)-(6), then the action used in Sections III-V is not the action actually defined in the paper, and the central claim fails.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The central OPEs (4)-(6) are the foundation for every derived result: the BMS charges (27), the stress tensor OPEs (42), (55), (56), and the dressing construction in Section V. These OPEs are claimed to follow from the action (1) with the data (7)-(9). But the data are specified inconsistently. The main text defines c(a) := -Delta - s/2 (Eq. 9), while the derivation sketch in Appendix A defines c(a) := Delta - s/2 (Eq. A9). The structure constants also differ between the two presentations: Eq. (8) has delta(s1+s2+s3-1) and a factor (s3 + Delta3/2), whereas Eq. (A8) has delta(s1+s2+s3+1) and (s3 - Delta3/2). Since J^a in (2) and the closure of the current algebra depend directly on these data, the paper does not actually specify a unique Lagrangian. If the main-text data are used, the OPE computations in Sections III-V may fail to produce (4)-(6); if the appendix data are used, the action and the currents differ from those stated in the main text. In either case, the claimed BMS charges, stress tensor actions, and dressing necessity are not supported by one consistent action.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an explicit two-dimensional chiral action on the momentum-space celestial sphere, with fields labeled by mode numbers (Δ, s, k), and claims that this action exactly reproduces the infrared sector of 4d self-dual Einstein gravity. The main results are: the currents of the action generate BMS supertranslation and superrotation charges (Section III); the current algebra contains the w_{1+∞} algebra and the holomorphic and anti-holomorphic stress tensors act on primaries with the expected OPEs (Sections II and IV); and demanding a U(1) invariance forces hard particles to be dressed with a soft graviton cloud (Section V). The action and its interpretation are summarized in Section II, with a derivation sketch in Appendix A and the full derivation deferred to the companion paper [24].","tokens_in":18253,"tokens_out":3862,"duration_ms":39864,"significance":"If the central claims hold, the paper provides a rare and valuable object in celestial holography: an explicit action principle for the asymptotic soft sector of self-dual gravity, from which standard 2d CFT techniques recover BMS charges, w_{1+∞}, stress tensors, and soft dressing. The proposed mode decomposition on the momentum-space celestial sphere and the dictionary to Bondi coordinates are concrete and checkable, and the dressing argument in Section V is a compact derivation of a physically expected effect. The paper is also honest about several subtleties, including the divergent central charge, the need for a regulator, and the non-local definition of the anti-holomorphic stress tensor. However, in its current form the central claims are not fully anchored: the defining data of the action are given inconsistently in the main text and the appendix, and several load-bearing OPEs are asserted rather than derived in the manuscript.","major_comments":[{"comment":"The action is not uniquely defined. The main text defines c(a) := −Δ − s/2 and structure constants with δ(s1+s2+s3−1) and a factor (s3 + Δ3/2), while Appendix A defines c(a) := Δ − s/2 and structure constants with δ(s1+s2+s3+1) and (s3 − Δ3/2). Since the currents J^a in Eq. (2) and the OPEs (4)–(6) depend directly on these data, the two presentations give different Lagrangians. The paper must either state which data are correct, prove that the two sets are equivalent after a relabeling/redefinition, or recompute all subsequent OPEs with a single consistent choice. As it stands, the results of Sections III–V are not supported by one well-defined action.","section":"Section II, Eqs. (8)-(9) and Appendix A, Eqs. (A8)-(A9)"},{"comment":"The central OPEs are asserted to follow from the action, but the derivation is deferred to [24,25] and the action's own data are inconsistent, as noted above. Moreover, the double pole in the JJ OPE has coefficient κ² ∝ vol(M), which diverges, and the text states that this divergence is removed by a cutoff without showing that the OPEs or the derived BMS charges are regulator-independent. Because the subsequent claims—BMS charges, stress tensor OPEs, and dressing—are all built on these OPEs, the paper needs either a self-contained derivation of (4)–(6) from the action or a precise statement of which data and regulator are used and why the infrared results are independent of the cutoff.","section":"Section II, after Eq. (9); Section IV, Eq. (56)"},{"comment":"The anti-holomorphic stress tensor is defined through a non-local integral transform, and the paper admits that the ¯T¯T self-OPE is 'slightly subtle' because the two integrated variables must be made to coincide. The claimed result, including central charge ¯c = 0, is not demonstrated in the manuscript; the text refers to section 4.1 of [46] and to a heuristic 'open up the definition' argument. Since the abstract explicitly claims that both chiral and anti-chiral stress tensors act with the expected conformal OPEs, this is a load-bearing point. A complete derivation, or at least a precise statement of the regularization used for the coincident-point limit, is required.","section":"Section IV, Eqs. (55)-(56)"},{"comment":"The identification of the momentum-space celestial sphere with the Bondi sphere is used to translate 2d current results into BMS transformations. The localization argument in Eqs. (23)–(25) and Appendix D is given for Re(Δ) > 1/2, but the supertranslation and superrotation currents in Eq. (27) involve Δ values outside the normalizability range 1 + iR, as the paper itself notes. The manuscript should explain how the large-r localization and the identification λ ∼ w extend to these non-normalizable modes, since otherwise the extraction of the BMS algebra from those currents is not justified.","section":"Section III, after Eq. (27); Section II, Eqs. (23)-(25)"}],"minor_comments":[{"comment":"The first two sentences of Section III are duplicated almost verbatim; one of them should be removed.","section":"Section III, first paragraph"},{"comment":"The ordering of the mode numbers is inconsistent: the main text writes a = (Δ, s, k) ∈ (1+iR, Z, Z), while Appendix A writes a = (k, Δ, s) ∈ (Z, 1+iR, Z+). This makes the sign conventions in the structure constants harder to follow and should be aligned.","section":"Section II, Eq. (7) and Appendix A, Eq. (A5)"},{"comment":"The pairing rule for the k-modes appears different in the main text (δ_{k1,k2}) and in the appendix (δ_{k1+k2,k3}). If these are meant to be the same rule expressed in different conventions, the relation should be stated explicitly.","section":"Section II, Eq. (15) and Appendix A, Eq. (A6)"},{"comment":"The shadow transform is introduced via references, but the conventions for the conformal weight and the integration measure are not spelled out; a short definition would make the claimed OPE coefficients in Eq. (55) directly checkable.","section":"Section IV, Eq. (53)"},{"comment":"The dressing operator depends on a reference spinor ι^α, and the text notes that this amounts to a choice of endpoint of the dressing line. The physical consequence of this choice is not discussed; at minimum the authors should state whether physical correlators are independent of ι^α.","section":"Section V, Eq. (61)"}],"recommendation":"major_revision","confidential_remarks":"The inconsistency between the main-text and appendix definitions is the single most serious issue in the manuscript. If the corrected definitions happen to match one of the two presentations and all OPEs are recomputed consistently, the paper's central claims may well go through. The companion paper [24] presumably contains the correct data, so the authors should be able to resolve this in revision. It would also strengthen the paper to make the regulator dependence explicit, since the central charge and the double-pole anomaly are divergent without it. If the authors can do this, the paper could be acceptable for publication; in its current form the Lagrangian is not uniquely specified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on arXiv:2412.00918. It's a follow-up to the authors' own twistor-space paper [24], and it works out the 2d CFT consequences of a PCM-like action for the asymptotic sector of self-dual gravity. The genuinely new material is in Sections IV and V: the explicit stress-tensor OPEs for this free-field realization, and the derivation of soft dressing from U(1) invariance of the 2d action. Those are concrete, checkable computations, and the large-r localization argument in Appendix D is a nice piece of work.\n\nBut there's a real problem in the foundation. The action (1) is specified by the data (7)-(9), yet the derivation sketch in Appendix A gives different data. Main text Eq. (8) has δ(s1+s2+s3−1) and a factor (s3+Δ3/2); Appendix A Eq. (A8) has δ(s1+s2+s3+1) and (s3−Δ3/2). And c(a) is −Δ−s/2 in the main text but Δ−s/2 in the appendix. Since c(a) enters the currents (2) and the structure constants determine the algebra, these two sets of data describe different actions. The OPEs (4)-(6) are not anchored to a single well-defined Lagrangian as the paper stands. This is exactly the kind of thing a referee would catch, and the authors need to reconcile it.\n\nOther soft spots are less severe. The derivation of the action is deferred to [24], so the central claim is not self-contained; the κ² divergence is handled by a referenced cutoff; and the anti-holomorphic stress tensor self-OPE is admitted to be subtle. The BMS and w1+∞ results are engineered consistency checks rather than independent derivations, which the paper more or less acknowledges. These are caveats, not fatal flaws, provided [24] holds up and a consistent set of data is chosen. The paper is honest about much of this.\n\nWho is this for? People working on celestial holography and asymptotic symmetries who want a concrete 2d Lagrangian framework. It deserves a serious referee, but the referee should be told to focus on the data inconsistency first. My recommendation: send it out, but with the expectation of major revision.","headline":"A workmanlike companion paper with genuinely new OPE and dressing computations, but the action's defining data are inconsistent between the main text and Appendix A, so the OPEs are not anchored to one Lagrangian as written.","tokens_in":18820,"tokens_out":2871,"would_cite":false,"duration_ms":24922,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A chiral 2d action on the momentum-space celestial sphere exactly produces the infrared dynamics of 4d self-dual Einstein gravity: BMS charges, the w1+∞ algebra, both stress tensors, and soft-graviton dressing.","keywords":["celestial holography","self-dual gravity","asymptotic symmetries","BMS algebra","w1+∞ algebra","soft graviton dressing","twistor theory","2d chiral theory"],"falsifier":"Compute the commutator of two superrotation charges built from the current $Y_{SR}$ in (27), using the OPE (4) with the mode-number cutoff that regulates $\\kappa^2\\propto\\mathrm{vol}(M)$. If the result is not the Virasoro commutator (33) after the cutoff is removed, the claimed BMS algebra is an artifact of the regularization rather than a property of the 2d theory.","tokens_in":17660,"feed_emoji":"🌌","tokens_out":13977,"duration_ms":111782,"temperature":0.7,"pith_summary":"The paper tries to establish that one explicit chiral two-dimensional action, defined on the momentum-space celestial sphere $CP^1_\\lambda$, reproduces the infrared dynamics of four-dimensional self-dual Einstein gravity. If true, the asymptotic sector of gravity in flat spacetime becomes accessible to ordinary 2d conformal-field-theory computations: the action's currents generate the BMS supertranslation and superrotation charges, its current algebra contains the $w_{1+\\infty}$ algebra, its holomorphic and anti-holomorphic stress tensors act on primaries with the standard conformal OPEs, and a $U(1)$ invariance forces gravitationally coupled states to carry soft-graviton clouds. The action itself is not derived in this paper; it is taken from a companion twistor-space derivation, and the present work works out its consequences.","feed_headline":"Celestial-sphere action encodes 4d self-dual gravity's infrared sector","feed_subtitle":"From one chiral action, BMS charges, w1+∞ algebra, and soft-graviton dressing all follow from 2d OPEs.","key_machinery":"The load-bearing object is the action (1), $S=\\int_{CP^1} dz\\wedge\\left(\\Phi^a\\bar\\partial\\alpha_a+\\Lambda^a\\bar\\partial\\beta_a+h^a J_a+\\tilde h^a\\tilde J_a\\right)$, built from free fields obeying the OPEs (3), with the metric, structure constants, and shift function fixed by (7)--(9). The index $a=(\\Delta,s,k)$ packages a continuous dilatation mode, an integer $U(1)$ mode, and an integer singularity degree; this mode data is what carries the 4d spacetime dependence into the 2d theory. The mechanism works by Wick-contracting the bilinear currents into the algebra (4)--(6), then using the large-$r$ localisation (23) to identify the momentum-space sphere coordinate $\\lambda^\\alpha$ with the Bondi angle on null infinity, so that gauge transformations of the 2d currents act as BMS diffeomorphisms on asymptotic gravitational data.","core_discovery":"On its own terms, the central discovery is that the principal-chiral-model-like action (1), with fields labelled by mode numbers $a=(\\Delta,s,k)$ on $CP^1_\\lambda$, is a Lagrangian description of the asymptotic sector of 4d self-dual gravity. Using only the free-field OPEs (3), the paper derives the current algebra (4)--(6), whose $JJ$ OPE contains the $w_{1+\\infty}$ algebra and whose linear combinations $f_{ST}$ and $Y_{SR}$ generate supertranslations and superrotations on on-shell data. It identifies the holomorphic stress tensor (41) as the response to a Beltrami differential, constructs the anti-holomorphic stress tensor (52) through a shadow transform of the subleading soft graviton, and verifies that both act on currents with the standard conformal OPEs. Finally, the diagonal current $J^{1,1,-1}$ defines a $U(1)$ charge whose invariance is restored only when every gravitationally coupled operator is dressed with the exponentiated soft mode (61), recovering the necessity of soft-graviton dressing.","pith_inferences":["The paper leaves the identification $\\lambda\\sim w$ at leading order in $1/r$; checking the first subleading $O(1/r^{3/2})$ corrections from Appendix D would test whether the 2d theory can compute celestial OPE coefficients beyond leading order.","The divergent double-pole coefficient $\\kappa^2\\propto\\mathrm{vol}(M)$ is handled by a mode-number cutoff; a natural extension is to verify that BMS charge commutators, conformal weights, and the dressing phase are independent of the cutoff, turning the Green-Schwarz-style cancellation into a genuine renormalisation condition.","The quotient of partition functions between Minkowski space and self-dual Taub-NUT, floated in the discussion, would give a concrete vacuum-subtraction formula for radiation entropy; this is a computation the 2d action makes possible, not a result established here.","Because the action is chiral and encodes gravitons as $(0,1)$-forms, the anti-holomorphic stress tensor is non-local (a shadow transform); this suggests the full celestial CFT is not a local 2d theory and that the action is best viewed as its chiral half."],"forward_implications":["If the action is correct, BMS charges are ordinary 2d current-algebra charges: supertranslations and superrotations follow from linear combinations of the $J^a$ currents without solving the 4d Einstein equations.","The $w_{1+\\infty}$ algebra appears as the closed subsector of the $JJ$ OPE (4) obtained by restricting mode numbers to $\\mathrm{Im}(\\Delta)=0$, giving the celestial symmetry algebra a Lagrangian origin.","The holomorphic and anti-holomorphic stress tensors satisfy the expected conformal OPEs, so conformal weights and central charges are 2d data: $c=2\\kappa^2$ (to be regulated) and $\\bar c=0$.","Requiring $U(1)$ invariance under the charge (58) forces each gravitationally coupled operator to be dressed by the soft mode $h_0$ as in (61), so soft-graviton dressing follows from a symmetry principle.","The same PCM construction with different structure constants covers self-dual Yang-Mills, making the action a common template for asymptotic-symmetry Lagrangians in gauge theory and gravity."],"supporting_citations":[{"why":"Supplies the twistor-space derivation of the action (1) from 4d self-dual Einstein gravity; the paper relies on it for the action's status.","marker":"[24]"},{"why":"Establishes the same principal-chiral-model construction and OPE form for self-dual Yang-Mills, supporting the general framework and the cutoff that regulates the divergent double pole.","marker":"[25]"},{"why":"Provides the twistor action on the product of Minkowski space and the celestial sphere whose classical equivalence to spacetime self-dual gravity underlies the reduction to the 2d action.","marker":"[33]"},{"why":"Defines the supertranslation sector of the asymptotic symmetry group that the current f_ST is claimed to reproduce.","marker":"[2]"},{"why":"Defines the superrotation sector of the asymptotic symmetry group that the current Y_SR is claimed to generate.","marker":"[3]"},{"why":"Establishes the soft-graviton dressing of asymptotic states that section V recovers from U(1) invariance.","marker":"[13]"},{"why":"Identifies the w1+∞ algebra in celestial holography, matching the closed subsector of the JJ OPE (4).","marker":"[16]"}],"fun_headline_variants":["Chiral 2d action reproduces 4d self-dual gravity's IR dynamics","Momentum-space celestial sphere action yields IR gravity","2d CFT on celestial sphere encodes self-dual gravity IR","Chiral action on celestial sphere gives BMS and w1+∞"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The action (1) is taken, not derived here, to be a faithful and cutoff-regulatable encoding of the asymptotic phase space of 4d self-dual gravity; if that encoding, or the large-r identification of the momentum-space sphere with the sphere at null infinity, fails, the OPEs and the BMS, stress-tensor, and dressing conclusions do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Chiral 2d action reproduces 4d self-dual gravity's IR dynamics","Momentum-space celestial sphere action yields IR gravity","2d CFT on celestial sphere encodes self-dual gravity IR","Chiral action on celestial sphere gives BMS and w1+∞"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000494,"raw_usage":{"total_tokens":2403,"prompt_tokens":898,"completion_tokens":1505,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":514,"completion_tokens_details":{"reasoning_tokens":1427}},"tokens_in":514,"tokens_out":1505,"duration_ms":10750,"temperature":1.0,"reasoning_tokens":1427,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:52:30.386813+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the commutator of two superrotation charges built from the current $Y_{SR}$ in (27), using the OPE (4) with the mode-number cutoff that regulates $\\kappa^2\\propto\\mathrm{vol}(M)$. If the result is not the Virasoro commutator (33) after the cutoff is removed, the claimed BMS algebra is an artifact of the regularization rather than a property of the 2d theory.","supporting_citations":[{"cited_title":"A systematic approach to celestial holography: a case study in Einstein gravity","cited_arxiv_id":"2404.04637","evidence_quote":"Supplies the twistor-space derivation of the action (1) from 4d self-dual Einstein gravity; the paper relies on it for the action's status."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the twistor action on the product of Minkowski space and the celestial sphere whose classical equivalence to spacetime self-dual gravity underlies the reduction to the 2d action."},{"cited_title":"Bondi, M","cited_arxiv_id":null,"evidence_quote":"Defines the supertranslation sector of the asymptotic symmetry group that the current f_ST is claimed to reproduce."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the superrotation sector of the asymptotic symmetry group that the current Y_SR is claimed to generate."}],"review_version":1}