{"id":"e5c7e4f4-ce54-490c-8ef5-836813e437a7","arxiv_id":"2507.17457","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A unified definition of Lie superalgebras in characteristic 2 is introduced, with PBW theorems and a mixed-characteristic lifting theory.","lead":"Two competing definitions of Lie superalgebras in characteristic 2 are shown to be special cases of a single unified definition in the Verlinde category Ver_4^+(k), with a Poincare-Birkhoff-Witt theorem proved for the unified notion. The paper also develops a mixed-characteristic lifting theory that connects these structures to ordinary Lie superalgebras over ramified quadratic extensions of the Witt vectors.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main PBW theorem rests on unproved external characterization (Thm 3.6 from [Kau18]/[Hu25]); its correctness should be independently confirmed before full acceptance.","rationale":"The paper's internal argument is coherent: Definition 3.15 genuinely specializes to the classical and pure cases, and Theorem 3.25 follows from Theorem 3.6 by a standard filtered-algebra argument once the freeness over the central subalgebra k[z_1,...,z_s] is accepted. I found no internal contradiction or counterexample in the worked classifications of Sections 3.11 and 3.12. The single most load-bearing assumption is Theorem 3.6, exactly as the reader identified. Because the theorem is quoted from sources with overlapping authorship and is not proved in the paper, the central claim is conditional on its correctness. The reader's ACCEPT verdict is reasonable, but a cautious referee would ask for an independent verification of Theorem 3.6, or at least a detailed proof, before full unconditional acceptance. Hence I recommend CONDITIONAL rather than a stronger rejection: the concern is about verifiability, not a demonstrated flaw.","tokens_in":19456,"tokens_out":45150,"duration_ms":445344,"concrete_test":"Independently verify Theorem 3.6 for the small cases on which the paper's examples rely: for every Lie algebra structure on 1+P and 2·1+P listed in [Hu25, Prop. 4.11 and 4.16] that satisfies [x,x]=0 for all Dx=0, compute the ideal I_L in T(L) explicitly and construct a PBW basis of U(L) by hand, checking that the natural map L -> U(L) is injective. As a spot check, recompute the PBW basis for Example 3.21(i) (1+P with [y,y]=x), including the relation y'^2=x in U(L), and confirm that gr U_super(L) is isomorphic to SL/(L1^2). If any listed structure with [x,x]=0 for Dx=0 fails injectivity, Theorem 3.6 is false and the main theorems collapse.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central result, Theorem 3.25, is the PBW isomorphism SL/(L1^2) -> gr U_super(L) for Lie superalgebras in Ver_4^+(k), and Theorem 3.30 extends it to the restricted setting. Both proofs rely on the assertion that U(L) has a PBW basis, which is supplied by Theorem 3.6: an operadic Lie algebra L in Ver_4^+(k) is genuine (PBW condition holds) if and only if [x,x]=0 for all x with Dx=0. This theorem is cited from [Kau18] and [Hu25], the latter sharing an author with the present paper, and no proof or even a proof sketch is reproduced. If Theorem 3.6 were incomplete, the freeness of U(L) over k[z_1,...,z_s] asserted in Theorem 3.25 would lack its foundation, and Theorem 3.30 would fall as well. The paper's own examples in Section 3.11 are consistent with the theorem, but they do not provide a general verification. This is a genuine dependency on an external, partially self-cited result rather than an internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a unified notion of a Lie superalgebra over a field k of characteristic 2, defined as a Lie algebra in the Verlinde category Ver_4^+(k) equipped with a super-structure and a squaring map. It shows that this notion specializes to the classical definition of Bouarroudj et al. (the m2=0 case) and to Lie algebras in Ver_4^+(k) (the m1=0 case). The main results are the PBW theorem for the super enveloping algebra (Theorem 3.25) and its restricted analogue (Theorem 3.30), together with a mixed-characteristic lift of the theory over a ramified quadratic extension R of W(k), including deformation-theoretic obstruction computations and explicit examples.","tokens_in":19642,"tokens_out":9143,"duration_ms":100991,"significance":"If correct, the paper provides a genuinely unifying framework for the two existing notions of Lie superalgebra in characteristic 2, and it proves the expected PBW theorem in that framework. The mixed-characteristic deformation theory is a new and promising bridge between characteristic 2 and characteristic 0 structures, and the explicit classification of super-structures on small Ver_4^+(k)-modules is a useful concrete addition. The main theorems are clearly stated and the overall strategy is sound, but the PBW theorems rely on an external characterization (Theorem 3.6) quoted from a co-author's preprint, so the independence of the key input is not fully transparent.","major_comments":[{"comment":"The proof of the PBW theorem for Lie superalgebras in Ver_4^+(k) is conditional on Theorem 3.6, which states that an operadic Lie algebra in Ver_4^+(k) is genuine if and only if [x,x]=0 for all x with Dx=0. This theorem is cited from [Kau18] and [Hu25] but is not proved or even sketched in the present paper. Since [Hu25] shares an author with this manuscript and since Theorem 3.6 is the exact PBW criterion used to assert freeness of U(L) in the proofs of both Theorem 3.25 and Theorem 3.30, this is a load-bearing external input. The authors should either include a proof or a detailed proof sketch, or state precisely where in [Kau18] and [Hu25] the theorem is established and whether those sources are refereed. The examples in §3.11 are consistent with the theorem, but they do not constitute a general verification.","section":"§3.9, Theorems 3.25 and 3.30"},{"comment":"The step 'But the PBW theorem for L implies that U(L) is a free module over k[z_1,...,z_s]' is the heart of the argument, yet it is stated without justification. One needs to see why the central elements z_k = c_k^2 - Q(c_k) are polynomial indeterminates over which the stated monomials form a basis; this is plausible from the PBW basis and the central character of z_k, but it deserves an explicit sentence, especially because the same argument is reused in Theorem 3.30.","section":"§3.9, proof of Theorem 3.25"}],"minor_comments":[{"comment":"The abstract and the final sentence of the introduction contain the grammatical fragment 'Finally, discuss mixed characteristic deformation theory'; it should read 'Finally, we discuss mixed characteristic deformation theory'.","section":"Abstract and §1"},{"comment":"There is a notation clash: g0 is used both for the subspace ker d of a mixed Lie superalgebra and for its reduction g0/tg0. Using a bar or a different symbol for the reduced subspaces would make the definition of the induced super-structure easier to follow.","section":"§3.7"},{"comment":"The table for super-structures on 1+P uses λ without stating its range and without explaining which values are equivalent under rescaling; the surrounding text indicates this, but a short sentence before the table would prevent confusion.","section":"§3.11.1, Proposition 3.31"},{"comment":"The obstruction equations (3.34)–(3.37) are introduced very briefly; in particular, the claim that the lift exists iff a certain inhomogeneous linear system in F has a solution is asserted without proof. Since the paper explicitly says the cohomology theory will not be worked out, this is acceptable as a sketch, but a one-sentence derivation of the form of the system would improve readability.","section":"§3.12"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the unproved reliance on Theorem 3.6 from a co-author's arXiv preprint. This is not a circularity in the paper itself, but it makes the central PBW results depend on an input whose independent verification status is unclear. I would recommend asking the authors to provide a proof or a stable published reference for Theorem 3.6, or to state its proof status explicitly. If that dependence is resolved, the paper would be a strong contribution. There is also a broader fit question: parts of §3.11 and §3.12 read like research announcements, and the classification tables are presented without complete derivations; this is acceptable for a journal paper only if the omitted details are routine, which should be confirmed by the authors."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this is a solid, useful paper that gives a common language for the two competing definitions of Lie superalgebra in characteristic 2, and proves the expected PBW theorems in that language. The reader's ACCEPT verdict is right.\n\nThe genuinely new content is the notion of a super-object in Ver_4^+(k) — an H-module with a Z/2-grading on its cohomology, parameterized by (m0,m1,m2) — and the definition of a Lie superalgebra on such an object, together with the super enveloping algebra. The two old definitions fall out as special cases: m2=0 recovers the classical squaring-map approach, m1=0 the Verlinde-category approach. Theorem 3.25 (PBW) and Theorem 3.30 (restricted PBW) are cleanly stated, and the proofs are efficient: once you grant the PBW theorem for the underlying Lie algebra in Ver_4^+ and check centrality of the generators z_k, the freeness argument goes through. The specialization to the known cases is explicit, which is exactly what a unification should do. The mixed characteristic part is more exploratory: they set up a natural lifting problem, give concrete obstruction computations for small examples (Propositions 3.38–3.40), and are upfront that the cohomological obstruction theory is not worked out.\n\nThe soft spot that actually matters: Theorem 3.6 — the characterization of genuine Lie algebras in Ver_4^+ via [x,x]=0 for x with Dx=0 — is imported from [Kau18] and [Hu25], and it is load-bearing for both PBW theorems. [Hu25] shares an author with this paper, and no proof or sketch is given. This is a genuine dependency, and a referee should ask to see the proof of 3.6, or at least confirmation that it is fully proved in the cited sources. I don't think it is fatal: the paper is explicit about the dependency, and the specialization to the pure case shows the new PBW theorem reduces to a known one. But it is the right thing to check.\n\nThe rest is minor. Section 3.11's classification of super-structures relies on bracket tables from [Hu25] and is not fully self-contained, but it is clearly labeled as a computation. The lifting section leaves the cohomology theory to future work, and the authors say so.\n\nFor whom: anyone working on Lie superalgebras in characteristic 2, or on tensor categories of Verlinde type, will want this. My advice: send it to peer review, with a referee instructed to verify Theorem 3.6 and the extent to which the PBW arguments depend on it.","headline":"A clean unify-ing definition of Lie superalgebras in char 2 with a PBW theorem, worth refereeing, though the referee should verify the external Theorem 3.6.","tokens_in":20220,"tokens_out":3001,"would_cite":true,"duration_ms":29597,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B70","17B50","16S30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The two competing definitions of Lie superalgebra in characteristic 2 are special cases of a single object in the Verlinde category $\\mathrm{Ver}_4^+(k)$, and one PBW theorem governs it.","keywords":["Lie superalgebras","characteristic 2","Verlinde category","PBW theorem","squaring map","restricted Lie superalgebras","mixed characteristic","deformation theory"],"falsifier":"Compute the super enveloping algebra for a small candidate, such as the non-weakly-alternating Lie algebra on $1+P$ from Example 3.21(i), and compare $\\mathrm{gr}\\,U_{\\mathrm{super}}(L)$ with $SL/(L_1^2)$; a single dimension mismatch would falsify Theorem 3.25. More fundamentally, an operadic Lie algebra in $\\mathrm{Ver}_4^+(k)$ with $[x,x]=0$ for all $Dx=0$ whose natural map $L\\to U(L)$ is not injective would break the black-box criterion on which both PBW theorems rest.","tokens_in":19195,"feed_emoji":"🧮","tokens_out":11270,"duration_ms":101234,"temperature":0.7,"pith_summary":"In characteristic 2 the two established notions of Lie superalgebra—the classical $\\mathbb{Z}/2$-graded Lie algebra with a squaring map, and a Lie algebra in the Verlinde category $\\mathrm{Ver}_4^+(k)$—look incompatible. This paper defines a wider object, a Lie superalgebra in $\\mathrm{Ver}_4^+(k)$ equipped with a super-structure and a squaring map, whose classical and pure cases reproduce exactly those two notions. The central result is a PBW theorem (Theorem 3.25): for such an $L$, the natural surjection from the symmetric algebra $SL$ modulo $(L_1^2)$ to the associated graded super enveloping algebra is an isomorphism. A restricted version (Theorem 3.30) and a mixed-characteristic lift over a ramified quadratic extension of the Witt vectors are proven as well. The payoff is that basis theorems and enveloping-algebra calculations no longer need to be developed twice.","feed_headline":"One PBW theorem unites both forms of char-2 Lie superalgebras","feed_subtitle":"One enveloping-algebra construction covers both branches, plus restricted and mixed-characteristic lifts.","key_machinery":"The load-bearing object is the category $\\mathrm{Ver}_4^+(k)$ of modules over the dual numbers $H=k[D]/(D^2)$ with the triangular $R$-matrix $1\\otimes 1+D\\otimes D$, together with its refinement to super-objects: an $H$-module whose cohomology $H(L)=H^0(L)\\oplus H^1(L)$ is $\\mathbb{Z}/2$-graded. Finite-dimensional super-objects are classified by the triple $(m_0,m_1,m_2)$ of dimensions of $H^0$, $H^1$, and $\\mathrm{Im}\\,D$; $m_2=0$ is the classical case and $m_1=0$ the pure case. A Lie superalgebra in $\\mathrm{Ver}_4^+(k)$ is a Lie algebra in this category with bracket respecting the super-structure and a quadratic map $Q:L_1\\to L_0$ satisfying $Q(y_1+y_2)-Q(y_1)-Q(y_2)=[y_1,y_2]$ and $[Q(y),x]=[y,[y,x]]$. The PBW theorem is carried by the super enveloping algebra $U_{\\mathrm{super}}(L)=U(L)/(y^2-Q(y):y\\in L_1)$ and by the previously established criterion that an operadic Lie algebra in $\\mathrm{Ver}_4^+(k)$ satisfies PBW exactly when $[x,x]=0$ for every $x$ with $Dx=0$. The same machinery, with the restricted enveloping algebra quotient by $x^2-Q(x)$ for $x\\in\\mathrm{Ker}\\,D$, yields the restricted PBW theorem.","core_discovery":"The paper's central claim is that a single PBW theorem governs Lie superalgebras in characteristic 2 once the object is defined as a Lie algebra in $\\mathrm{Ver}_4^+(k)$ together with a choice of which cohomology classes of the differential $D$ are even and which are odd, plus a quadratic squaring map $Q:L_1\\to L_0$ encoding the half-commutator $[y,y]$. In this setting the natural map $SL/(L_1^2)\\to\\mathrm{gr}\\,U_{\\mathrm{super}}(L)$ is an isomorphism, and the same statement for the restricted enveloping algebra gives $\\mathrm{gr}\\,U_{\\mathrm{res}}(L)\\simeq SL/((\\mathrm{Ker}\\,D)^2)$. When the super-object has only even cohomology ($m_2=0$) this recovers the classical squaring-map superalgebras; when the odd part is precisely $\\mathrm{Im}\\,D$ ($m_1=0$) it recovers pure Lie algebras in $\\mathrm{Ver}_4^+(k)$. For perfect $k$, the paper also shows that reduction of a mixed Lie superalgebra over a ramified quadratic extension $R$ of $W(k)$ yields such an object, making mixed-characteristic deformation theory well posed.","pith_inferences":["Editorial inference: the parameter triple $(m_0,m_1,m_2)$ suggests organizing characteristic-2 Lie superalgebras by how 'classical' versus 'pure' they are, so classification work for simple objects could interpolate between the two known classifications.","Editorial inference: the mixed characteristic lift may define integral forms of characteristic-2 Lie superalgebras; a testable conjecture would be that after a finite extension of the ramified quadratic ring every finite-dimensional Lie superalgebra in $\\mathrm{Ver}_4^+(k)$ satisfying the alternator constraint admits a lift.","Editorial inference: the first-order deformation equations define a cocycle/coboundary complex even though the paper does not develop it; making this explicit could turn the lift problem into a standard cohomology computation."],"forward_implications":["Every Lie superalgebra in $\\mathrm{Ver}_4^+(k)$ acquires a PBW basis: $\\mathrm{gr}\\,U_{\\mathrm{super}}(L)\\simeq SL/(L_1^2)$, so the super enveloping algebra can be described explicitly from a basis of $L$.","The classical squaring-map superalgebras and the pure $\\mathrm{Ver}_4^+$ Lie algebras are genuine special cases, so any statement proved for the unified notion automatically specializes to both existing PBW theorems.","The restricted PBW theorem gives $\\mathrm{gr}\\,U_{\\mathrm{res}}(L)\\simeq SL/((\\mathrm{Ker}\\,D)^2)$, extending restricted enveloping algebra theory to the unified setting.","Reduction from mixed Lie superalgebras over $R$ produces Lie superalgebras in $\\mathrm{Ver}_4^+(k)$, so lifts and their obstructions can be studied through the explicit equations (3.34)--(3.37); the paper's examples show both successful lifts and genuine obstructions.","The classification computations for super-structures on $1+P$ and $2\\cdot 1+P$ yield explicit super enveloping algebras that illustrate the PBW theorem in small cases."],"supporting_citations":[{"why":"Proves the PBW criterion for operadic Lie algebras in $\\mathrm{Ver}_4^+(k)$ that the paper uses as a black box in Theorem 3.6.","marker":"[Kau18]"},{"why":"Supplies the same PBW criterion and the classification tables for Lie algebras on $1+P$ and $2\\cdot 1+P$ that the super-structure examples use; it shares an author with the present paper.","marker":"[Hu25]"},{"why":"Defines operadic Lie algebras, their enveloping algebra, the PBW condition, and the general PBW theorem in symmetric tensor categories that underlie the construction.","marker":"[Eti18]"},{"why":"Gives the classical definition of a Lie superalgebra with a squaring map in characteristic 2, which Theorem 3.25 recovers as the classical case.","marker":"[Bou+20]"},{"why":"Supplies the restricted Lie superalgebra framework in characteristic 2 that the paper generalizes to $\\mathrm{Ver}_4^+(k)$.","marker":"[Bou+23]"},{"why":"Introduces the category $\\mathrm{Ver}_4^+(k)$ as the characteristic-2 analog of supervector spaces and the triangular R-matrix on $H$-modules used throughout.","marker":"[Ven16]"},{"why":"Defines restricted Lie algebras in $\\mathrm{Ver}_4^+(k)$, which the paper's restricted Lie superalgebra notion extends.","marker":"[BP25]"},{"why":"Provides the standard reference for the Verlinde categories, including $\\mathrm{Ver}_4^+(k)$ as modules over $H=k[D]/(D^2)$ with the given braiding.","marker":"[BEO23]"}],"fun_headline_variants":["Single PBW theorem unifies char-2 Lie superalgebras","One PBW theorem ties both char-2 superalgebra definitions","Char-2 Lie superalgebras: one PBW for all branches","Unified PBW lifts char-2 superalgebras to mixed characteristic","One theorem, two definitions: char-2 Lie superalgebras"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction depends on a previously proved criterion, taken as a black box and partly supplied by work of an author of this paper: an operadic Lie algebra in $\\mathrm{Ver}_4^+(k)$ has an injective map into its enveloping algebra exactly when every element killed by $D$ squares to zero.","fun_headline_variants_meta":{"raw":{"variants":["Single PBW theorem unifies char-2 Lie superalgebras","One PBW theorem ties both char-2 superalgebra definitions","Char-2 Lie superalgebras: one PBW for all branches","Unified PBW lifts char-2 superalgebras to mixed characteristic","One theorem, two definitions: char-2 Lie superalgebras"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00053,"raw_usage":{"total_tokens":2545,"prompt_tokens":929,"completion_tokens":1616,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":545,"completion_tokens_details":{"reasoning_tokens":1524}},"tokens_in":545,"tokens_out":1616,"duration_ms":10693,"temperature":1.0,"reasoning_tokens":1524,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T14:48:15.289066+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the super enveloping algebra for a small candidate, such as the non-weakly-alternating Lie algebra on $1+P$ from Example 3.21(i), and compare $\\mathrm{gr}\\,U_{\\mathrm{super}}(L)$ with $SL/(L_1^2)$; a single dimension mismatch would falsify Theorem 3.25. More fundamentally, an operadic Lie algebra in $\\mathrm{Ver}_4^+(k)$ with $[x,x]=0$ for all $Dx=0$ whose natural map $L\\to U(L)$ is not injective would break the black-box criterion on which both PBW theorems rest.","supporting_citations":[],"review_version":1}