{"id":"eca91a34-37f0-4f88-9b83-14f43d87db34","arxiv_id":"1908.09150","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New infinite-dimensional superalgebras, the deformed and enlarged super-BMS3 algebras for N=1,2,4, are produced by S-expanding super-Virasoro and are related by a flat limit.","lead":"The authors construct new supersymmetric versions of the asymptotic symmetry algebras of three-dimensional Maxwell and AdS-Lorentz gravity by applying the semigroup expansion method to the super-Virasoro algebra. A generalist might read this because these candidate superalgebras could become the boundary symmetry algebra of 3D supergravity, a testbed for flat-space holography.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The algebra construction likely works, but the paper does not verify the super-Jacobi identities and eq. (4.24) gives an inconsistent resonance decomposition; the central claim rests on an unshown hypothesis.","rationale":"The reader's weakest assumption—that the super-Jacobi identities are not explicitly verified—is the same load-bearing concern I found. The S-expansion theorem of [49] would presumably guarantee Jacobi if the hypotheses hold, but the paper does not show this for the concrete semigroups, and eq. (4.24) contains a concrete inconsistency that undermines the written derivation of the enlarged super-BMS3. I found no independent error in the resulting brackets: the closure and the flat-limit relations appear to be consistent, and the finite subalgebra identifications are plausible. Therefore the concern is not that the construction is wrong, but that the paper has not demonstrated its central claim and contains a typo that a careful reader cannot resolve without guessing. This justifies keeping the reader's CONDITIONAL verdict: the paper should either explicitly verify the Jacobi identities (or state that they follow from the theorem with the corrected, disjoint resonance decomposition), and fix eq. (4.24). The abstract's overstatement about 'asymptotic symmetries' is a secondary presentation issue already noted by the reader; it does not change the algebraic core.","tokens_in":35307,"tokens_out":30243,"duration_ms":267361,"concrete_test":"Run a computer-algebra check (e.g., Cadabra or Mathematica) of all graded Jacobi identities for the explicit brackets of the minimal deformed super-BMS3 (4.5), the N=2 deformed (4.12)-(4.14), the N=4 deformed (4.20)-(4.21), the minimal enlarged (4.27)-(4.28), the N=2 enlarged (4.35)-(4.36), and the N=4 enlarged (4.40)-(4.43) algebras. Also verify associativity of the semigroup tables (4.1) and (4.23), and confirm that the resonance decompositions used satisfy (2.5). If all identities pass, the algebraic claim is sound; if any fail, the offending bracket should be identified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the S-expansions of the super-Virasoro algebra with S(4)_E and S(4)_M produce Lie superalgebras. The paper relies on the general S-expansion theorem of [49] to guarantee Jacobi, but it never verifies that the specific semigroup tables and resonance decompositions satisfy the theorem's hypotheses. In particular, the resonance decomposition for S(4)_M in eq. (4.24), S0={λ0,λ2,λ3} and S1={λ1,λ3}, is inconsistent: it is not a partition, and it fails the resonance condition S0·S0⊂S0 because λ2·λ3=λ1∉S0 (using the table (4.23)). If the intended decomposition is S0={λ0,λ2,λ4}, S1={λ1,λ3}, as used implicitly in the brackets (4.27)-(4.28) and explicitly in the N=2 case (4.33), then resonance holds; but the text as written does not support the construction. Moreover, the only internal Jacobi check mentioned is the (P,G,G) identity in §4.1.1; the full set of super-Jacobi identities for the N=1, N=2 and N=4 deformed and enlarged algebras is not demonstrated. For N=2 and N=4, the R-symmetry brackets (e.g., [G^i_r,T_m], [H^i_r,B_m], and the su(2) current extensions in (4.40)-(4.42)) introduce additional Jacobi constraints that are not discussed. Thus the status of eqs. (4.5), (4.12)-(4.14), (4.27)-(4.28) and (4.40)-(4.43) as Lie superalgebras is not independently established within the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper applies the Abelian semigroup expansion (S-expansion) to the N=1, N=2, and N=4 super-Virasoro algebras and obtains both known and new infinite-dimensional Lie superalgebras. The known examples are the super-BMS3, superconformal, and (1,1) superconformal algebras. The new examples are called the deformed and enlarged super-BMS3 algebras; they are presented as infinite-dimensional lifts of the Maxwell and AdS-Lorentz superalgebras, respectively, and are related by a flat limit ℓ→∞. The N=2 and N=4 versions require additional R-symmetry current generators. The paper is primarily an explicit calculation of brackets using the S-expansion framework of [49] and the authors' earlier bosonic constructions [50,51].","tokens_in":35743,"tokens_out":8477,"duration_ms":82986,"significance":"If the construction is valid, the paper provides concrete candidate asymptotic symmetry superalgebras for Maxwell and AdS-Lorentz Chern-Simons supergravities, and it unifies several previously known infinite-dimensional superalgebras within one S-expansion scheme. The paper is commendably explicit: the semigroup tables, generator identifications, and all (anti-)commutation relations are written out, and the finite-subalgebra identifications are clear. The physical interpretation is properly presented as a conjecture, since no boundary-condition analysis is carried out. The principal weaknesses are local but load-bearing: the resonance decomposition in Eq. (4.24) is inconsistent as written, the symbol Z_m is used for two different generators in the N=2 deformed algebra, and the paper does not explicitly state why the general S-expansion theorem covers the resonant, 0S-reduced, and R-symmetry-extended brackets used here. These issues are correctable and do not appear to invalidate the overall approach.","major_comments":[{"comment":"The subset decomposition S0={λ0,λ2,λ3}, S1={λ1,λ3} is not a partition: λ3 appears in both sets and λ4 is omitted. More seriously, it fails the resonance condition S0·S0⊂S0: from the multiplication table (4.23), λ2·λ3=λ1, which lies in S1. The brackets (4.27)-(4.28) are therefore not the output of the resonant subalgebra built from the decomposition stated in (4.24). The consistent choice is S0={λ0,λ2,λ4}, S1={λ1,λ3}, which is exactly the decomposition used implicitly for the minimal enlarged algebra and explicitly for the N=2 case in Eq. (4.33). Please correct Eq. (4.24) and re-derive the minimal enlarged algebra from the corrected decomposition; as written, the central construction of §4.2.1 is not well defined.","section":"§4.2.1, Eq. (4.24)"},{"comment":"The symbol Z_m is assigned to two different generators in Eq. (4.11): one comes from the bosonic sector, ℓ²Z_m=λ4ℓ_m, and another comes from the R-symmetry sector, ℓ²Z_m=λ4R_m. This makes the subsequent brackets (4.12)-(4.14) ambiguous; for instance, [P_m,P_n]=(m−n)Z_{m+n}+⋯ and [P_m,B_n]=−nZ_{m+n} cannot both refer to the same Z_{m+n}. The R-symmetry generator should be renamed, e.g. as Z̃_m or 𝒵_m, and all N=2 deformed brackets should be written with unambiguous notation. The analogous N=4 notation (Z_m vs Z^a_m) is distinguishable, but the N=2 case is not.","section":"§4.1.2, Eq. (4.11)"},{"comment":"The paper does not explicitly verify the super-Jacobi identities for any of the new algebras. The only internal check mentioned is the (P,G,G) identity in §4.1.1. The S-expansion theorem of [49] presumably guarantees that the expanded algebra is a Lie superalgebra, but the paper should state explicitly that (i) the resonant subalgebra (2.6) is a subalgebra under the resonance condition (2.5), (ii) the 0S-reduction is a quotient by an ideal, and (iii) the same theorem applies to the N=2 and N=4 R-symmetry brackets, which involve products of the expanded R_m generators with the expanded supercharges. Without such a statement, the status of Eqs. (4.5), (4.27)-(4.28), and (4.40)-(4.43) as Lie superalgebras rests on an unstated hypothesis. A short proof or a precise citation to the relevant theorem in [49] would close this gap.","section":"§2, §4.1.1, §4.2.1"}],"minor_comments":[{"comment":"There are typographical extra commas in the generator definitions, e.g. after ℓ²Z_m=λ4R_m in Eq. (4.11) and after ℓ²Z^a_m=λ4R^a_m in Eq. (4.19).","section":"§4.1.2, §4.1.3"},{"comment":"The definitions of Q̄_r and Q̄^{i,±}_r contain a power of ℓ that appears inconsistent with the corresponding definitions in Eq. (4.30): the second term should presumably be ℓ^{3/2}H_r rather than ℓH_r.","section":"§4.2.2, Eq. (4.37) and §4.2.3, Eq. (4.46)"},{"comment":"A stray factor 'i' appears before the commutators in Eq. (B.6); the brackets are real Lie algebra brackets and this factor should be removed.","section":"Appendix B, Eq. (B.6)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is constructive and the main algebraic construction appears plausible once the resonance decomposition is corrected. The notation conflict for Z_m is a genuine ambiguity that must be fixed before the N=2 deformed algebra can be considered well defined. I do not see grounds for rejection: the new superalgebras are explicitly different from the earlier results in [50,51], and the paper is honest that the asymptotic-symmetry interpretation is a conjecture. The requested changes are local and should not require a fundamentally new derivation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the new superalgebras are probably correct and worth having. The paper applies S-expansion to super-Virasoro with the semigroups S(4)_E and S(4)_M to get deformed and enlarged super-BMS3 algebras, then extends to N=2 and N=4 with R-symmetry currents. The bracket computations are explicit, the flat limit relating the two families is clearly demonstrated, and the recovery of known super-BMS3 and superconformal algebras as warm-ups is a good sanity check. The identification of the extra spinor charge H_r needed for the (P,G,G) Jacobi identity is a nice touch. This is a legitimate new result within a narrow subfield, not a breakthrough.\n\nThe soft spots are real but not fatal. The worst is eq. (4.24): for S(4)_M the paper declares S0={λ0,λ2,λ3} and S1={λ1,λ3}. That is not a partition, and it fails resonance because λ2·λ3=λ1 (using table 4.23), so S0·S0 is not contained in S0. The N=2 version in eq. (4.33) uses the correct decomposition S0={λ0,λ2,λ4}, S1={λ1,λ3}, and the brackets (4.27)-(4.28) are consistent with that, so I suspect this is a typo rather than a structural error. But as written, the reader cannot verify the central hypothesis of the S-expansion theorem for the main enlarged algebra. The paper also does not spell out Jacobi identities, relying on the general theorem from [49]. That is acceptable if the decomposition is correct; with the typo, the proof is incomplete. The N=2 and N=4 extensions add R-symmetry brackets like [G^i_r,T_m] and [H^i_r,B_m] that deserve at least a statement that they satisfy Jacobi, since the N=1 (P,G,G) check doesn't cover them.\n\nMinor issues: Z_m is used for both the Maxwell generator and the R-symmetry current, which is confusing; eqs. (4.11) and (4.34) have stray commas; the abstract claims to obtain \"supersymmetric extensions of asymptotic symmetries\" when the paper itself is careful to say the physical identification with actual boundary conditions is a conjecture left for future work. These are all easy fixes.\n\nWho needs this paper? People working on 3D supergravity asymptotic symmetries, S-expansion methods, or Maxwell/AdS-Lorentz superalgebras. It deserves a serious referee: the construction is novel, the computations look reproducible, and the issues are patchable. I would send it out and ask the referee to check the resonance decomposition and the Jacobi claim carefully. With those fixed it is publishable.","headline":"A mostly sound S-expansion construction of new 3D super-BMS3-type algebras, with a resonance-decomposition typo and unverified Jacobi identities that are fixable rather than fatal.","tokens_in":36294,"tokens_out":3431,"would_cite":true,"duration_ms":34618,"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":"The paper claims that S-expanding the super-Virasoro algebra with the semigroups S(4)_E and S(4)_M yields new infinite-dimensional Lie superalgebras: the supersymmetric extensions of the deformed BMS3 algebra and the enlarged BMS3 algebra.","keywords":["semigroup expansion","super-Virasoro algebra","BMS3 algebra","Maxwell superalgebra","AdS-Lorentz superalgebra","asymptotic symmetries","Chern-Simons supergravity","R-symmetry"],"falsifier":"Directly compute the graded Jacobi identities for the algebras (4.5) and (4.27), especially mixed triples such as (P, G, G) and (J, G, H); since the paper does not show this check, any non-closure would show that the expanded brackets are not a Lie superalgebra. The finite Maxwell and AdS-Lorentz subalgebras are known to satisfy Jacobi, so the decisive test is in the extra infinite-dimensional directions.","tokens_in":35063,"feed_emoji":"⚛️","tokens_out":6526,"duration_ms":58242,"temperature":0.7,"pith_summary":"The paper's goal is to fill two known gaps in the list of three-dimensional asymptotic supersymmetries. By applying the semigroup-expansion method to the super-Virasoro algebra, the authors construct new infinite-dimensional Lie superalgebras that are the supersymmetric extensions of the deformed BMS3 algebra, which is the asymptotic symmetry of Maxwell Chern-Simons gravity, and of the enlarged BMS3 algebra, which is the asymptotic symmetry of so(2,2)⊕so(2,1) gravity. The new structures are infinite-dimensional lifts of the Maxwell and AdS-Lorentz superalgebras, and a flat limit ℓ→∞ connects the two families. Extending to N=2 and N=4 forces the inclusion of R-symmetry generators, appearing as û(1) or sû(2) current algebras. A sympathetic reader should care because these are the natural candidate asymptotic symmetries for the corresponding three-dimensional supergravity theories, where none were previously known.","feed_headline":"New super-BMS3 algebras arise by expanding super-Virasoro","feed_subtitle":"The results are infinite-dimensional lifts of Maxwell and AdS-Lorentz superalgebras, linked by a flat limit.","key_machinery":"The load-bearing mechanism is the abelian semigroup expansion of a Lie superalgebra, together with resonance and 0S-reduction. The method multiplies each super-Virasoro generator by a semigroup element λ_α and uses the semigroup multiplication law to assemble new structure constants; a resonant decomposition respects the ℤ₂ grading of super-Virasoro into bosonic and fermionic subspaces, and 0S-reduction deletes the zero element. The semigroups S(4)_E = {λ0,...,λ5} (with zero element λ5) for the Maxwell/deformed side and S(4)_M = {λ0,...,λ4} (no zero element) for the AdS-Lorentz/enlarged side carry the construction: they are the same semigroups that produce the Maxwell and AdS-Lorentz superalgebras from the super-Lorentz algebra, so expanding super-Virasoro with them yields the infinite-dimensional lifts.","core_discovery":"The central discovery is that the S-expansion of the super-Virasoro algebra with the semigroup S(4)_E (multiplication table 4.1) produces, after resonant subalgebra extraction and 0S-reduction, the minimal deformed super-BMS3 algebra of equation (4.5), while the same procedure with the zero-free semigroup S(4)_M (table 4.23) gives the minimal enlarged super-BMS3 algebra of equation (4.27). These are the first supersymmetric extensions of the deformed and enlarged BMS3 algebras, and each contains as a finite subalgebra the corresponding known finite superalgebra, Maxwell or AdS-Lorentz, so the new structures are their infinite-dimensional lifts. Applied to the N=2 and N=4 super-Virasoro algebras, the same semigroups yield N-extended versions that require R-symmetry generators, and the enlarged family reduces to the deformed family in the flat limit ℓ→∞.","pith_inferences":["If the authors' conjecture is right, a direct charge-algebra computation with null-boundary conditions on the Maxwell and so(2,2)⊕so(2,1) supergravity actions of [53,73] should reproduce (4.5) and (4.27); that computation is the natural next test.","The same semigroup ladder suggests that every member of the B_k family of Maxwell-like algebras has an infinite-dimensional lift obtainable by expanding super-Virasoro with larger S^{(k)}_E semigroups, even though only k=4 is treated here.","The 'non-standard' contraction (4.55) implies a family of one-spinor asymptotic superalgebras whose finite part is the non-standard Maxwell superalgebra; these could support exotic supergravity actions but, by the paper's own criterion, would not admit a well-defined invariant action without a second spinor charge.","The split into superconformal ⊕ Virasoro factors points toward a supersymmetric Galilean conformal algebra obtained by contraction, a connection the authors flag as work in progress."],"forward_implications":["Equation (4.5) is the natural candidate for the asymptotic symmetry algebra of three-dimensional Maxwell Chern-Simons supergravity, and (4.27) for the so(2,2)⊕so(2,1) supergravity theory.","The enlarged super-BMS3 algebra reduces to the deformed one in the flat limit ℓ→∞, mirroring the known flat limit between AdS-Lorentz and Maxwell superalgebras and extending it to the whole infinite-dimensional structure.","In a suitable basis the minimal enlarged algebra splits into three Virasoro copies, two of which are supersymmetric; the N-extended versions similarly split into superconformal plus Virasoro factors with û(1) or sû(2) currents.","The N=2 and N=4 extensions show that R-symmetry generators are unavoidable in these asymptotic superalgebras; in the N=4 flat limit one of the sû(2) currents degenerates into a central charge.","The same S-expansion method also reproduces the known super-BMS3 and superconformal algebras from smaller semigroups, placing all these asymptotic supersymmetries in one common derivation scheme."],"supporting_citations":[{"why":"Supplies the abelian semigroup expansion theorem used to guarantee that the expanded brackets define Lie superalgebras and that resonance and 0S-reduction produce subalgebras.","marker":"[49]"},{"why":"Establishes at the bosonic level that the same semigroups produce the deformed and enlarged BMS3 algebras from the Virasoro algebra, the targets being supersymmetrized here.","marker":"[50]"},{"why":"Shows that the N-extended super-BMS3 algebras arise by S-expanding the super-Virasoro algebra, the method this paper extends to new cases.","marker":"[51]"},{"why":"Identifies the deformed BMS3 algebra as the asymptotic symmetry of Maxwell Chern-Simons gravity, the bosonic algebra whose supersymmetric extension is (4.5).","marker":"[17]"},{"why":"Identifies the enlarged BMS3 algebra as the asymptotic symmetry of so(2,2)⊕so(2,1) gravity, the bosonic algebra whose supersymmetric extension is (4.27).","marker":"[34]"},{"why":"Constructs the minimal Maxwell and AdS-Lorentz superalgebras via S-expansion; the new infinite-dimensional algebras are their infinite-dimensional lifts.","marker":"[53]"},{"why":"Provides the N-extended Maxwell and AdS-Lorentz superalgebras with R-symmetry generators, underpinning the N=2 and N=4 constructions.","marker":"[73]"}],"fun_headline_variants":["Semigroup expansion produces new super-BMS3 algebras","Super-Virasoro expansion gives infinite-dimensional superalgebras","Flat limit unifies deformed and enlarged super-BMS3","N=2 and N=4 super-BMS3 need R-symmetry generators","First super extensions of deformed and enlarged BMS3"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that the semigroup-expansion theorem guarantees the super-Jacobi identities for the particular semigroups and resonant decompositions used here; the paper writes the new brackets without displaying an explicit super-Jacobi verification.","fun_headline_variants_meta":{"raw":{"variants":["Semigroup expansion produces new super-BMS3 algebras","Super-Virasoro expansion gives infinite-dimensional superalgebras","Flat limit unifies deformed and enlarged super-BMS3","N=2 and N=4 super-BMS3 need R-symmetry generators","First super extensions of deformed and enlarged BMS3"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000879,"raw_usage":{"total_tokens":3761,"prompt_tokens":870,"completion_tokens":2891,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":486,"completion_tokens_details":{"reasoning_tokens":2806}},"tokens_in":486,"tokens_out":2891,"duration_ms":21495,"temperature":1.0,"reasoning_tokens":2806,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:20:16.913096+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Directly compute the graded Jacobi identities for the algebras (4.5) and (4.27), especially mixed triples such as (P, G, G) and (J, G, H); since the paper does not show this check, any non-closure would show that the expanded brackets are not a Lie superalgebra. The finite Maxwell and AdS-Lorentz subalgebras are known to satisfy Jacobi, so the decisive test is in the extra infinite-dimensional directions.","supporting_citations":[{"cited_title":"New N=2 SuperBMS$_3$ algebra and Invariant Dual Theory for 3D Supergravity","cited_arxiv_id":"1905.10239","evidence_quote":"Supplies the abelian semigroup expansion theorem used to guarantee that the expanded brackets define Lie superalgebras and that resonance and 0S-reduction produce subalgebras."},{"cited_title":"Maximally $\\cal{N}$-extended super-BMS$_3$ algebras and Generalized 3D Gravity Solutions","cited_arxiv_id":"1807.06768","evidence_quote":"Shows that the N-extended super-BMS3 algebras arise by S-expanding the super-Virasoro algebra, the method this paper extends to new cases."},{"cited_title":"$D=4$ topological gravity from gauging the Maxwell-special-affine group","cited_arxiv_id":"1810.01635","evidence_quote":"Identifies the enlarged BMS3 algebra as the asymptotic symmetry of so(2,2)⊕so(2,1) gravity, the bosonic algebra whose supersymmetric extension is (4.27)."}],"review_version":1}