Lie superalgebras in characteristic 2 and mixed characteristic

Pavel Etingof; Serina Hu

REVIEW 2 major objections 4 minor 6 references

Lie superalgebras in characteristic 2 and mixed characteristic

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2507.17457 v1 pith:HUDCAIZV submitted 2025-07-23 math.RT math.CTmath.QAmath.RA

Pavel Etingof , Serina Hu This is my paper · ORCID

classification math.RTmath.CTmath.QAmath.RA MSC 17B7017B5016S30

keywords Liesuperalgebrascharacteristic2VerlindecategoryPBWtheoremsquaringmaprestrictedmixeddeformationtheory

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

The 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.

The 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.

The 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.

For 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.

Referee Report

2 major / 4 minor

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.

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 (2)

[§3.9, Theorems 3.25 and 3.30] 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.
[§3.9, proof of Theorem 3.25] 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.

minor comments (4)

[Abstract and §1] 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'.
[§3.7] 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.
[§3.11.1, Proposition 3.31] 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.
[§3.12] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new PBW theorem is a genuine extension proved from the existing PBW theorem for Ver_4^+, with no reduction-by-construction.

full rationale

The paper's central claim, Theorem 3.25, is the PBW isomorphism SL/(L1^2) -> gr U_super(L) for Lie superalgebras in Ver_4^+(k). The proof does not define the new object in terms of the theorem; Definition 3.15 defines a Lie superalgebra as a genuine Lie algebra L in Ver_4^+ equipped with a super-structure and a quadratic map Q satisfying Q(x')=[x,x] and the identities [Q(y),x]=[y,[y,x]] and Q(y1+y2)-Q(y1)-Q(y2)=[y1,y2]. The theorem is then obtained by citing the PBW theorem for L (Theorem 3.6, from [Kau18]/[Hu25], together with [Eti18]) to get a PBW basis, and by observing that z_k=c_k^2-Q(c_k) are central in U(L), so U_super(L)=U(L)/(z_1,...,z_s) has the stated basis. In the pure case m1=0 and in the classical case m2=0, Theorem 3.25 specializes to the corresponding known PBW theorems; this is an explicitly labeled benchmark, not a circular derivation. The only caveat is that Theorem 3.6 is imported as a black box and one of its two citations ([Hu25]) shares an author with the present paper; this is a verification-dependency concern rather than a circularity, especially since [Kau18] is an independent source. No fitted parameter is renamed as a prediction, and no uniqueness or ansatz is smuggled in via self-citation. Hence no circular step can be exhibited.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on standard background in symmetric tensor categories, on the cited PBW characterization (Theorem 3.6) from [Kau18]/[Hu25], on the cited bracket tables from [Hu25], and on the choice of R as a ramified quadratic extension of W(k). No free parameters are fitted, and no ad hoc entities are introduced; the new objects (super-objects of Ver_4^+, mixed Lie superalgebras) are definitions built from known categories.

assumptions (4)

domain assumption Theorem 3.6 (PBW condition for Lie algebras in Ver_4^+(k)) is taken from [Kau18] and [Hu25] without proof.
The proof of the unified PBW theorem (Theorem 3.25) and the restricted PBW theorem (Theorem 3.30) assume that an operadic Lie algebra in Ver_4^+(k) is a genuine Lie algebra iff [x,x]=0 for x with Dx=0; this supplies the PBW basis of U(L).
domain assumption The classification of Lie algebras on 1+P and 2*1+P from [Hu25] is used in Section 3.11.
Propositions 3.31 and 3.32 classify super-structures by starting from the bracket tables in [Hu25], Propositions 4.11 and 4.16.
standard math The Verlinde category Ver_4^+(k) is the category of H-modules with the R-matrix braiding, with structural properties from [Ven16] and [BEO23].
The paper relies on the symmetric monoidal structure, the Jordan normal form classification of H-modules, and the monoidality of the cohomology functor; these background facts are cited.
domain assumption R is a ramified quadratic extension of W(k) with perfect residue field of characteristic 2 and 2 generating m^2.
This is the setting for the mixed characteristic theory; it is assumed throughout Section 2.5 and Section 3.12.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Lie superalgebras in characteristic 2 and mixed characteristic." pith.science (2026). https://pith.science/paper/HUDCAIZV

@misc{pith2026250717457,
  author       = {Pith},
  title        = {Pith review of: Lie superalgebras in characteristic 2 and mixed characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HUDCAIZV}},
  note         = {Machine review of arXiv:2507.17457}
}

abstract

We define the notion of a Lie superalgebra over a field $k$ of characteristic $2$ which unifies the two pre-existing ones - $\mathbb{Z}/2$-graded Lie algebras with a squaring map and Lie algebras in the Verlinde category ${\rm Ver}_4^+(k)$, and prove the PBW theorem for this notion. We also do the same for the restricted version. Finally, discuss mixed characteristic deformation theory of such Lie superalgebras (for perfect $k$), introducing and studying a natural lift of our notion of Lie superalgebra to characteristic zero - the notion of a mixed Lie superalgebra over a ramified quadratic extension $R$ of the ring of Witt vectors $W(k)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

New incompressible symmetric tensor categories in positive characteristic

[BEO23] Dave Benson, Pavel Etingof, and Victor Ostrik. “New incompressible symmetric tensor categories in positive characteristic”. In: Duke mathematical journal 172.1 (2023). issn: 0012-7094. doi: 10.1215/00127094-2022-0030. arXiv: 2003.10499 [math.RT]. [BP25] Dave Benson and Julia Pevtsova. “Group Schemes and Their Lie Algebras over a Symmetric Tensor C...

work page Pith review arXiv 2023
[89]

Classification of simple Lie superalgebras in characteristic $2$

arXiv: 1510 . 07255 [math.RT]. [Bou+23] Sofiane Bouarroudj, Alexei Lebedev, Dimitry Leites, and Irina Shchepochkina. “Classification of Simple Lie Superalgebras in Characteristic 2”. In: International mathematics research notices 2023.1 (2023), pp. 54–94. doi: 10 . 1093 / imrn / rnab265. arXiv: 1407.1695 [math.RT]. [Eti18] Pavel Etingof. “Koszul duality a...

work page Pith review arXiv 2023
[1965]

327 (2018), pp. 128–160. issn: 0001-8708. doi: 10.1016/j.aim.2017.06.014 . arXiv: 1603.08133 [math.QA]. [Hu25] Serina Hu. Lie algebras in Ver+ 4

work page Pith review arXiv 2018
[2018]

Superalgebra in Characteristic 2

arXiv: 1804.00824 [math.RT]. [Ven16] Siddharth Venkatesh. “Hilbert Basis Theorem and Finite Generation of Invariants in Symmetric Tensor Categories in Positive Characteristic”. In: International mathematics research notices 2016.16 (2016), pp. 5106–5133. doi: 10 . 1093 / imrn/rnv305. arXiv: 1507.05142 [math.RT]. Department of Mathematics, Massachusetts In...

work page Pith review arXiv 2016
[2024]

[Kau18] Aaron Kaufer

arXiv: 2406.10201 [math.RT]. [Kau18] Aaron Kaufer. Superalgebra in Characteristic 2 . Apr

work page arXiv
[2025]

Lie algebras in $\text{Ver}_4^+$

arXiv: arXiv:2504.01146 [math.RT]. [Hu24] Serina Hu. Representation Theory of General Linear Supergroups in Character- istic

work page Pith review arXiv

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [1]

New incompressible symmetric tensor categories in positive characteristic

[BEO23] Dave Benson, Pavel Etingof, and Victor Ostrik. “New incompressible symmetric tensor categories in positive characteristic”. In: Duke mathematical journal 172.1 (2023). issn: 0012-7094. doi: 10.1215/00127094-2022-0030. arXiv: 2003.10499 [math.RT]. [BP25] Dave Benson and Julia Pevtsova. “Group Schemes and Their Lie Algebras over a Symmetric Tensor C...

work page Pith review arXiv 2023

[2] [89]

Classification of simple Lie superalgebras in characteristic $2$

arXiv: 1510 . 07255 [math.RT]. [Bou+23] Sofiane Bouarroudj, Alexei Lebedev, Dimitry Leites, and Irina Shchepochkina. “Classification of Simple Lie Superalgebras in Characteristic 2”. In: International mathematics research notices 2023.1 (2023), pp. 54–94. doi: 10 . 1093 / imrn / rnab265. arXiv: 1407.1695 [math.RT]. [Eti18] Pavel Etingof. “Koszul duality a...

work page Pith review arXiv 2023

[3] [1965]

327 (2018), pp. 128–160. issn: 0001-8708. doi: 10.1016/j.aim.2017.06.014 . arXiv: 1603.08133 [math.QA]. [Hu25] Serina Hu. Lie algebras in Ver+ 4

work page Pith review arXiv 2018

[4] [2018]

Superalgebra in Characteristic 2

arXiv: 1804.00824 [math.RT]. [Ven16] Siddharth Venkatesh. “Hilbert Basis Theorem and Finite Generation of Invariants in Symmetric Tensor Categories in Positive Characteristic”. In: International mathematics research notices 2016.16 (2016), pp. 5106–5133. doi: 10 . 1093 / imrn/rnv305. arXiv: 1507.05142 [math.RT]. Department of Mathematics, Massachusetts In...

work page Pith review arXiv 2016

[5] [2024]

[Kau18] Aaron Kaufer

arXiv: 2406.10201 [math.RT]. [Kau18] Aaron Kaufer. Superalgebra in Characteristic 2 . Apr

work page arXiv

[6] [2025]

Lie algebras in $\text{Ver}_4^+$

arXiv: arXiv:2504.01146 [math.RT]. [Hu24] Serina Hu. Representation Theory of General Linear Supergroups in Character- istic

work page Pith review arXiv