{"id":"a2b72c99-2acb-474d-8d8d-e928f04267ea","arxiv_id":"2411.14866","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A family of Weyl λ-BMS algebras is realized canonically from a Klein-Gordon field, centrally extended, and shown to have BRST cohomology matching an N=2 superconformal chiral ring, while the conformal BMS W-algebra is shown to admit no BRST complex.","lead":"The authors build a one-parameter family of BMS-like symmetry algebras in three dimensions, show how they arise from a free massless scalar field, and quantize them. They also show that a related W-algebra cannot be given a BRST charge, answering a question about whether such a string exists.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central-extension and BRST results are proven only for integer λ in §3, while §2 and the abstract claim arbitrary real λ; the H^2(w_λ)=3 proof does not cover the advertised real-parameter family.","rationale":"The reader's weakest-assumption section already identifies the integer-λ restriction, and I agree that this is the most load-bearing concern: it affects the advertised 'arbitrary real λ' generalisation and directly underlies the central extension and BRST cohomology claims. The reader also flags the unshipped OPEdefs notebook for the no-BRST theorem; this is a reproducibility concern, but the paper provides an analytic central-charge obstruction (c_L = 82 vs. the critical c_L = 80) that independently supports the no-BRST conclusion, so I do not regard the notebook issue as the primary threat to the central claim. The λ gap is explicitly visible in the manuscript: §3.1.1 restricts to λ ∈ Z and Proposition 2 only claims the integer case, while §2 and the abstract state real λ. A direct cohomology computation for a non-integer λ would settle whether the restriction is an artifact or a genuine limitation. Since the reader's CONDITIONAL verdict already accounts for this gap and asks for it to be addressed, my stress-test does not change the recommended verdict.","tokens_in":27383,"tokens_out":26380,"duration_ms":292285,"concrete_test":"Compute H^2(w_λ) directly from the defining brackets (3.1)–(3.4) for a non-integer real value, e.g. λ = 1/2, by solving the Chevalley–Eilenberg cocycle equations in the grading induced by ad D_0. If the nontrivial cocycle space is still three-dimensional and spanned by (3.8), extend Proposition 2 to all real λ and include the computation. If additional cocycles appear, the central-extension and BRST sections must be explicitly restricted to integer λ.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's headline generalization is to arbitrary real λ, and §2 constructs the canonical realisation for λ ∈ R. However, §3.1.1 explicitly starts with 'Let λ ∈ Z and let I(λ)...' and Proposition 2's proof states only that the three-dimensional H^2 result holds for λ ∈ Z. Consequently, the three-parameter central extension, the OPE formulation, and the BRST construction with the twisted N=2 cohomology are established in the text only for integer λ. This is load-bearing because the central extension classification is the basis for the critical-charge BRST current in §3.2; if H^2(w_λ) were larger or different for a non-integer λ, the existence of exactly three central charges and the subsequent cohomology isomorphism would fail. The no-BRST theorem in §4 concerns λ = -1 and is separately supported by the central-charge obstruction c_L = 82 vs. c_L = 80, so it is not affected by this gap. The computational reproducibility issue for the W-algebra theorem is real but secondary; the λ restriction is a proof gap in the paper's central claimed generality.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines a one-parameter family of BMS-like Lie algebras in 2+1 dimensions, the (Weyl) λ-BMS algebras, recovering standard BMS, extended BMS, and Weyl-BMS for λ=-1. It constructs a canonical realisation of the centreless Weyl λ-BMS algebra from the symplectic structure on the massless Klein-Gordon solution space, using eigenfunctions of the Lorentz Casimir. It then proves that, for integer λ, the Weyl λ-BMS algebra has a three-dimensional space of central extensions, reformulates the centrally extended algebra in terms of operator product expansions, and constructs a BRST complex for critical central charges. The BRST cohomology is shown, via an embedding into a topologically twisted N=2 superconformal algebra, to be isomorphic to the chiral ring of that N=2 algebra. For the conformal BMS W-algebra (λ=-1), the paper constructs the quantum OPE algebra and reports a computational proof that it admits no BRST complex. The central extension, OPE, and BRST results are proved for λ ∈ Z, while the abstract and introduction advertise an arbitrary real parameter λ.","tokens_in":27587,"tokens_out":14226,"duration_ms":129219,"significance":"If the results hold in the stated generality, the paper provides a unified description of BMS-like algebras with a canonical field-theoretic realisation, a complete central extension classification, and a new, non-trivial example of the conjecture that the BRST cohomology of any topological conformal field theory is isomorphic to the chiral ring of a twisted N=2 superconformal theory. The claimed non-existence of a BRST complex for the conformal BMS W-algebra is a striking and potentially influential negative result. The paper is largely self-contained, with explicit OPE computations and clearly stated algebraic constructions; several checks are performed with the OPEdefs package, which increases confidence where the calculations are reproducible.","major_comments":[{"comment":"The three-parameter central extension result, and everything downstream in Section 3 (the OPE formulation (3.12), the critical central charges (3.23), and the BRST current (3.24)), is proved only for λ ∈ Z. The proof begins with \"Let λ ∈ Z and let I(λ)...\" and the assertion \"It is easy to check that this statement holds true for any λ ∈ Z\" does not cover non-integer λ. Since the existence of exactly three central extensions is the foundation for the OPEs and the BRST construction, the advertised generality of an arbitrary real λ (stated in the abstract and in the introduction) is not established. Please either provide a proof of H²(w_λ)=3 for all real λ (or all λ outside a finite exceptional set), or explicitly restrict the claims in the abstract and introduction to λ ∈ Z.","section":"§3.1.1, Proposition 2"},{"comment":"The non-existence of a BRST complex for the conformal BMS W-algebra is a computational result. The text describes the ansatz (179 candidate terms) and the number of equations (3288), but the notebook is not shipped, and the critical values c_L=80 and c_D=-2 are stated without derivation. Because this is a negative existence result, its validity depends on the exhaustiveness of the ansatz and the correctness of the computation. Please make the computational notebook permanently available (e.g., as supplementary material) and provide an explicit derivation of the critical central charges, especially c_D, so that the central-charge obstruction (c_L=82 vs c_L=80) can be verified without rerunning the full calculation.","section":"§4.2"}],"minor_comments":[{"comment":"The phrase \"arbitrary real parameter λ\" should be qualified to \"λ ∈ Z\" for the results of Section 3, or the proofs must be extended to all real λ; this is a direct consequence of Major Comment 1.","section":"Abstract and Introduction"},{"comment":"The statement \"It is easy to check that this statement holds true for any λ ∈ Z\" is too terse for a central step; please provide a reference or a short argument showing that the cohomology of the algebra g in (3.9) is three-dimensional for all integer λ.","section":"§3.1.1"},{"comment":"The claim that the Koszul topological conformal algebra has trivial cohomology except in degree 0 is asserted without a reference; a standard reference for the cohomology of such βγ systems would help the reader.","section":"§3.3"},{"comment":"The statement that no terms with three antighosts appear because the conformal weight of any B³C⁴X term is bounded below by 2 relies implicitly on the vanishing of normal-ordered products of repeated fermionic fields; this should be stated explicitly, since the tables alone do not make the distinctness constraint obvious.","section":"§4.2"},{"comment":"The phrase \"A notebook is available upon request\" should be replaced by a permanent archive link or supplementary material, in line with standard reproducibility practices for computational results.","section":"§4.2"},{"comment":"In (3.12), the central charge in the T(z)D(w) OPE is written c_TD, while in the surrounding text and in (3.20) it is written c_TD; please standardize the notation (e.g., use c_{TD} consistently).","section":"§3.1.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript contains interesting and likely correct results, but the advertised real-λ generalization is not actually proved for the central extension and BRST sections; the integer-λ restriction is a load-bearing gap that the authors should address either by extending the proof or by adjusting the claims. The computational no-BRST theorem would also be considerably more convincing if the code and the derivation of the critical charges were made publicly available. I recommend major revision rather than rejection, as the core mathematical structure seems sound and the issues are localizable and likely fixable within the scope of the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Stan — quick take on arXiv:2411.14866. The paper does two things well. First, it builds a clean one-parameter family of BMS-like algebras (Weyl λ-BMS) from the symplectic structure of the massless KG solution space, with the Lorentz Casimir doing the organizing work. The canonical realization in Section 2 is explicit and self-contained; the Casimir calculation for the λ-BMS algebra (Section 2.1.1) is a nice bonus. Second, for integer λ it proves a three-dimensional universal central extension, constructs the BRST complex, and shows the BRST cohomology is isomorphic to the chiral ring of a twisted N=2 SCFT. The no-BRST theorem for the conformal BMS W-algebra in Section 4 is the most striking result: a W-algebra that just doesn't admit a BRST complex, with a clean structural reason (associativity forces c_L=82 when c_D=-2, but criticality needs c_L=80). That is a genuine addition.\n\nThe soft spot is the λ gap. The abstract promises an arbitrary real λ, and Section 2 constructs the canonical realization for real λ. But Section 3.1.1 starts with 'Let λ ∈ Z', and Proposition 2's proof only establishes H^2(w_λ)=3 for integer λ, citing the planar GCA and W(a,b) cohomology. The OPE reformulation, the three central charges, the critical values, and the BRST/N=2 statement all inherit that restriction. For non-integer λ, the algebra is perfectly well-defined, so the classification is a real open question. This isn't fatal — λ=-1, the physically important case, is covered — but the abstract overclaims, and a referee should ask the authors to either extend the proof or explicitly restrict the claims.\n\nSecond, the no-BRST theorem rests on a 179-term ansatz and 3288 equations solved with OPEdefs. The notebook is 'available upon request', not shipped. The structural argument c_L=82 vs 80 makes the result believable, but for a proof by computation the artifact should really be public. That's a reproducibility issue, not a correctness one.\n\nThe paper is honest about what it doesn't do (e.g., the remark about extra central extensions for λ=-1,0,1 being killed by super-dilatations). Citation practice is fine; the W(a,b) connection is acknowledged.\n\nWho is this for? People working on asymptotic symmetries, BMS-like algebras, W-algebras, and topological strings. It deserves a serious referee. I'd send it out, with the clear request to fix the λ restriction and release the notebook.","headline":"Solid paper with a real overclaim: the central-extension and BRST results are proven for integer λ only, while the abstract sells them for all real λ; still deserves refereeing.","tokens_in":28186,"tokens_out":4341,"would_cite":true,"duration_ms":42608,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B68","17B66","17B56","81T40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Weyl λ-BMS algebra admits exactly three central charges, and at their critical values its BRST cohomology is isomorphic to a twisted N=2 superconformal chiral ring, while the conformal BMS W-algebra admits no BRST complex.","keywords":["BMS algebra","Weyl-BMS algebra","superrotations","superdilatations","central extensions","BRST cohomology","N=2 superconformal algebra","W-algebra"],"falsifier":"Re-run the 179-term search for the conformal BMS W-algebra with an independent symbolic OPE solver over a complete ansatz; any coefficient assignment satisfying $[J,J]_1=0$ would overturn the non-existence claim, and the required critical values $c_L=80$, $c_D=-2$ would then have to satisfy the associativity constraint $c_L=-2(1-8c_D+6c_D^2)/(1+c_D)$, which currently fails by exactly 2.","tokens_in":27159,"feed_emoji":"🧵","tokens_out":16162,"duration_ms":128979,"temperature":0.7,"pith_summary":"Three-dimensional BMS algebras, the asymptotic symmetries of flat spacetime at null infinity, are usually studied one at a time. This paper tries to show that they all sit in a one-parameter family: replacing the ordinary supertranslations by eigenfunctions of the Lorentz Casimir with eigenvalue $\\lambda(\\lambda-1)$ produces the $\\lambda$-BMS, extended $\\lambda$-BMS, and Weyl $\\lambda$-BMS algebras, which reduce to the standard BMS, extended BMS, and Weyl-BMS algebras at $\\lambda=-1$. The same Casimir construction yields an explicit realisation of the centreless Weyl $\\lambda$-BMS algebra from the symplectic structure of massless Klein-Gordon fields in $2+1$ dimensions. The paper then argues that this algebra has exactly a three-parameter family of central extensions, that at critical central charges it admits a BRST complex whose cohomology is isomorphic to the chiral ring of a topologically twisted $N=2$ superconformal field theory, and that the quantum conformal BMS W-algebra -- the closest extension by special-conformal generators -- admits no BRST complex. If these claims hold, the physical-state spaces of putative Weyl-BMS strings are governed by $N=2$ superconformal data, and 'conformal BMS strings' of the usual BRST type do not exist.","feed_headline":"Weyl-BMS strings have N=2 chiral-ring spectra","feed_subtitle":"A one-parameter BMS family has BRST states equal to an N=2 chiral ring; the conformal W-algebra forbids a string.","key_machinery":"The load-bearing object in the canonical construction is the quadratic Casimir of the Lorentz algebra $so(2,1)$, realised on the massless mass shell as the second-order operator $C_2=r^2\\partial_r^2+2r\\partial_r$; its eigenfunctions $\\omega_n=r^{-\\lambda}e^{in\\varphi}$ with eigenvalue $\\lambda(\\lambda-1)$ span the supertranslations, and the first-order differential operators commuting with $C_2$ produce the superrotations $L_n=ie^{in\\varphi}(\\partial_\\varphi-inr\\partial_r)$ and superdilatations $D_n=e^{in\\varphi}(r\\partial_r+\\frac12)$. The cohomological argument is carried by the Lie algebra $w_\\lambda=(W\\ltimes A)\\ltimes I(\\lambda)$: $W$ is the Witt algebra, $A$ the Laurent polynomials, and $I(\\lambda)$ the one-dimensional module spanned by $(dz)^\\lambda$, so that the three families of generators $L_n,D_n,P_n$ form a double semidirect product. The dimension of the central extension is pinned by Lemma 1, an injectivity statement for $H^2$ under an ideal $h$ with $[g,h]=h$, together with the known three-dimensional cohomology of the Heisenberg-Virasoro and planar Galilean conformal algebras. The no-BRST result for the W-algebra rests on a 179-term ansatz for the ghost-number-one current, 3288 equations from $[J,J]_1=0$, and the clash between critical central charges and the OPE associativity constraint.","core_discovery":"The paper's central claim is that the centreless Weyl $\\lambda$-BMS algebra, presented as the double semidirect product $w_\\lambda=(W\\ltimes A)\\ltimes I(\\lambda)$ of the Witt algebra, the Laurent polynomials, and the module of $\\lambda$-densities, admits a three-dimensional universal central extension, with representative two-cocycles $\\gamma_{LL}(L_n,L_m)=\\frac{1}{12}n(n^2-1)\\delta^0_{m+n}$, $\\gamma_{LD}(L_n,D_m)=\\frac12 n(n+1)\\delta^0_{m+n}$, and $\\gamma_{DD}(D_n,D_m)=n\\delta^0_{m+n}$ (Proposition 2). It further claims that, for integer $\\lambda$ and the critical central charges $c_L=6(5-2\\lambda+2\\lambda^2)$, $c_{TD}=2\\lambda-1$, $c_D=-1$, a BRST current exists and the BRST cohomology is isomorphic, as a Batalin-Vilkovisky algebra, to the chiral ring of a topologically twisted $N=2$ superconformal field theory; the proof couples the Weyl-BMS string to a Koszul topological conformal theory and shows the embedding is quasi-isomorphic. On the negative side, the paper claims that the fully quantum conformal BMS W-algebra defined by OPEs with fields $T,D,K,P$ does not admit a BRST complex: a 179-term ansatz for the BRST current produces 3288 inconsistent equations, and the required critical values $c_L=80$, $c_D=-2$ violate the associativity constraint $c_L=-2(1-8c_D+6c_D^2)/(1+c_D)$, which instead forces $c_L=82$ when $c_D=-2$.","pith_inferences":["Editorial extension: the paper leaves implicit that the integer-$\\lambda$ restriction of the central-extension and BRST results is probably an artefact of the module construction, since $I(\\lambda)$ is an $A$-module only for $\\lambda\\in\\mathbb{Z}$; a natural test is to find a formulation valid for non-integer $\\lambda$ and recompute the cocycles there.","Editorial extension: the mismatch $c_L=82$ versus the critical $80$ suggests a near-miss; a modified ansatz with one additional ghost pair or a different normal-ordering convention could plausibly produce a differential, which would turn the no-BRST theorem into a statement about this particular ansatz.","Editorial extension: because the supertranslations are eigenfunctions of the Lorentz Casimir, the $\\lambda$-labelled charges in the Klein-Gordon realisation have a natural interpretation as modes of a conformal field on the lightcone; a testable consequence is that their two-point functions should exhibit the conformal weights read off from the $T(z)P(w)$ OPE, which could be checked in free-field ","Editorial extension: the same Koszul-tensor trick used to prove the $N=2$ quasi-isomorphism could be applied to the near-horizon algebras that realise the same $\\lambda$-BMS structures (with $s=-\\lambda$), offering an independent check of the conjecture that all topological conformal field theories have $N=2$ chiral rings."],"forward_implications":["At $\\lambda=-1$, the construction recovers the ordinary BMS, extended BMS, and Weyl-BMS algebras, so the $\\lambda$-family is a single framework containing all three.","A Weyl-BMS string exists only for the critical central charges $c_L=6(5-2\\lambda+2\\lambda^2)$, $c_{TD}=2\\lambda-1$, $c_D=-1$; for those values the BRST cohomology is a BV algebra isomorphic to the chiral ring of a twisted $N=2$ superconformal theory.","Because the Koszul factor is acyclic, the isomorphism is an isomorphism of BV algebras, not just vector spaces: the Virasoro antighost zero mode provides the BV differential on both sides.","No Lie-algebra extension of Weyl-BMS by super-special-conformal generators exists; the only consistent conformal extension is the W-algebra, and that W-algebra has no BRST complex, so conformal BMS W-strings in the standard sense cannot be defined.","The small mismatch at the critical point (80 vs 82) shows the obstruction is exact and not a matter of tuning: the associativity relation between $c_L$ and $c_D$ is rigid."],"supporting_citations":[{"why":"Supplies the canonical realisation of the BMS algebra from Klein-Gordon Fourier modes that the λ construction generalises.","marker":"[3]"},{"why":"Provides the 2+1 massless Klein-Gordon plane-wave realisation of extended BMS that Section 2 builds on.","marker":"[9]"},{"why":"Introduces the superdilatation operators and the Weyl-BMS Poisson algebra recovered at λ=-1.","marker":"[11]"},{"why":"Defines the conformal BMS W-algebra and the obstruction to a Lie-algebra extension by special-conformal generators; Section 4 quantises this W-algebra.","marker":"[12]"},{"why":"Defines the Weyl-BMS group and its central extension, the λ=-1 case of the centrally extended algebra.","marker":"[13]"},{"why":"Computes the three-dimensional cohomology of the Heisenberg-Virasoro algebra used for the lower bound in Proposition 2.","marker":"[34]"},{"why":"Computes the three-dimensional cohomology of the planar Galilean conformal algebra used for the upper bound in Proposition 2.","marker":"[38]"},{"why":"Gives the criterion that the BRST current is a differential exactly when the total fields satisfy the centreless algebra.","marker":"[43]"},{"why":"Supplies the computational OPE package used for the associativity checks and the no-BRST calculation of Section 4.2.","marker":"[39]"}],"fun_headline_variants":["BRST of Weyl-BMS equals N=2 chiral ring","λ-BMS BRST cohomology is N=2 chiral ring","W-algebra obstruction kills BRST for conformal BMS","Weyl-BMS string: N=2 spectra, W-algebra no BRST"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim that the conformal BMS W-algebra has no BRST complex rests on the exhaustive enumeration of all 179 possible terms in the BRST current and on the 3288 OPE equations being solved without error, because the computation is only described, not shipped; if the ansatz missed a term, the negative result could collapse.","fun_headline_variants_meta":{"raw":{"variants":["BRST of Weyl-BMS equals N=2 chiral ring","λ-BMS BRST cohomology is N=2 chiral ring","W-algebra obstruction kills BRST for conformal BMS","Weyl-BMS string: N=2 spectra, W-algebra no BRST"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000272,"raw_usage":{"total_tokens":1758,"prompt_tokens":1194,"completion_tokens":564,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":810,"completion_tokens_details":{"reasoning_tokens":484}},"tokens_in":810,"tokens_out":564,"duration_ms":5438,"temperature":1.0,"reasoning_tokens":484,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:47:08.627278+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Re-run the 179-term search for the conformal BMS W-algebra with an independent symbolic OPE solver over a complete ansatz; any coefficient assignment satisfying $[J,J]_1=0$ would overturn the non-existence claim, and the required critical values $c_L=80$, $c_D=-2$ would then have to satisfy the associativity constraint $c_L=-2(1-8c_D+6c_D^2)/(1+c_D)$, which currently fails by exactly 2.","supporting_citations":[{"cited_title":"Canonical Realization of (2+1)-dimensional Bondi-Metzner-Sachs symmetry","cited_arxiv_id":"1703.01833","evidence_quote":"Provides the 2+1 massless Klein-Gordon plane-wave realisation of extended BMS that Section 2 builds on."},{"cited_title":"A canonical realization of the Weyl BMS symmetry","cited_arxiv_id":"2008.10290","evidence_quote":"Introduces the superdilatation operators and the Weyl-BMS Poisson algebra recovered at λ=-1."},{"cited_title":"M oduli spaces of curves and representation theory,","cited_arxiv_id":null,"evidence_quote":"Computes the three-dimensional cohomology of the Heisenberg-Virasoro algebra used for the lower bound in Proposition 2."},{"cited_title":"Structure of the planar Galil ean conformal algebra,","cited_arxiv_id":null,"evidence_quote":"Computes the three-dimensional cohomology of the planar Galilean conformal algebra used for the upper bound in Proposition 2."},{"cited_title":"A characterization of the differential in sem i-infinite cohomology,","cited_arxiv_id":null,"evidence_quote":"Gives the criterion that the BRST current is a differential exactly when the total fields satisfy the centreless algebra."},{"cited_title":"A Mathematica package for computing op erator product expansions,","cited_arxiv_id":null,"evidence_quote":"Supplies the computational OPE package used for the associativity checks and the no-BRST calculation of Section 4.2."}],"review_version":1}