Pith. sign in

REVIEW 4 major objections 4 minor 32 references

Small Lie algebras in the Verlinde category

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

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

Pith's one-line read The paper gives an exhaustive classification of simple based Lie algebras in the Verlinde category $\mathrm{Ver}_p$ for length at most 3 and for subalgebras of principal restrictions, with one subregular exception.

desk verdict A serious, likely correct classification that resolves several conjectures, but the exhaustiveness claims rest on unshipped SageMath computations—treat as conditional until code or certificates appear. read the letter →

arxiv 2608.10585 v1 pith:4I2PS6JI submitted 2026-08-11 math.RT math.CT

Joseph Newton This is my paper · ORCID
classification math.RTmath.CT MSC 17B5018M15
keywords VerlindecategorysimpleLiealgebrabasedtensorclassificationSL2tiltingmodulesRacah-Wigner6j-symbolsuperalgebra
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

The paper aims to classify the small simple Lie algebras that live inside the Verlinde category $\mathrm{Ver}_p$, a semisimple tensor category built from modular representations of $\mathrm{SL}_2$ in characteristic $p$. Its main theorem states that every simple based Lie algebra of length at most three, and every such algebra that appears as a subalgebra of a principal restriction $\mathrm{Lie}_p(G',\varphi')$, is isomorphic to $\mathrm{Lie}_p(G,\varphi)$ for some simple algebraic group $G$ and homomorphism $\varphi:\mathrm{SL}_2\to G$; all of these are listed explicitly. This proves a conjecture on length-two objects and answers a question about surjective tensor functors out of the categories $\mathrm{Ver}_p(G)$. The classification also uncovers exceptions, including one subregular example $\mathrm{Lie}_{29}(E_8,a_1)$ and, in length four, two algebras that come from Lie superalgebras rather than ordinary groups.

What carries the argument

The load-bearing machinery is a complete combinatorial description of the monoidal structure of $\mathrm{Ver}_p$: explicit formulas for the inclusions $L_c\hookrightarrow L_a\otimes L_b$ and projections $L_a\otimes L_b\twoheadrightarrow L_c$, and the scalar $\alpha^{a,b,r}_{c,d,s}$ recording the associativity constraint on triple tensor products, related to Racah-Wigner $6j$-symbols. Using these, the paper rewrites the antisymmetry and Jacobi identities for a Lie algebra $g=\bigoplus_i M_i$ as polynomial equations in scalars $\beta^{i,j}_k$ giving the bracket component $M_i\otimes M_j\to M_k$ (Proposition 4.1). Simplicity is expressed by saying that the resulting variety of solutions is not contained in the variety of solutions admitting a nonzero proper ideal, and the classification proceeds by solving these equations and eliminating all cases with ideals; the remaining small cases are handled by direct computation.

What would settle it

Rerun the reported exhaustive search for simple based Lie algebras of length four in $\mathrm{Ver}_p$ for $5\le p\le67$ using the paper's equations: if any object outside the twenty listed types supports a simple structure, the classification is incomplete. Similarly, checking the reported Gröbner-basis eliminations for the exceptional length-3 cases would settle their completeness.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for $k$ algebraically closed of characteristic $p\ge 5$, any simple based Lie algebra in $\mathrm{Ver}_p$ with length at most 3, or any one that lies inside $\mathrm{Lie}_p(G',\varphi')$ for a simple algebraic group $G'$ and a principal morphism $\varphi':\mathrm{SL}_2\to G'$, is isomorphic to $\mathrm{Lie}_p(G,\varphi)$ for some simple $G$ and morphism $\varphi$. The isomorphism types are enumerated in Theorems 3.7, 4.6, 4.7 and 5.1: the length-2 list has six members and the length-3 list has seven (besides $\mathfrak{sl}_2$), while Theorem 3.7 classifies proper subalgebras of principal restrictions. In every case except $\mathrm{Lie}_{29}(E_8,a_1)$ in $\mathrm{Ver}_{29}^+$, with underlying object $L_2\oplus L_{14}\oplus L_{26}$, the map $\varphi$ is principal; the exception is subregular and, because it embeds in $\mathrm{Lie}_{29}(E_7)$, its representation category is semisimple, refuting a conjecture. The length-4 computational search produces further examples, two of which (from $Q(2)$ and $H(5)$) are not restrictions of ordinary algebraic groups.

Load-bearing premise

The exhaustive list is only as reliable as the reported computer calculations that rule out all other cases, since the code and output data are not included.

Editorial extensions

If this is right

  • The length-2 classification confirms the conjectured list: $\mathfrak{sl}(L_2)$, $\mathfrak{so}(L_4)$, $\mathfrak{so}(L_0\oplus L_{p-3})$, $\mathrm{Lie}_p(G_2)$, $\mathrm{Lie}_{23}(E_7)$ and $\mathrm{Lie}_{37}(E_8)$ are the only simple based Lie algebras of length two in $\mathrm{Ver}_p$.
  • The length-3 classification gives seven isomorphism types, including $\mathfrak{sl}(L_3)$, $\mathfrak{so}(L_6)$, a $\mathfrak{sp}_6$ type for $p\ge17$, and the exceptional objects $\mathrm{Lie}_{17}(E_6)$, $\mathrm{Lie}_{23}(F_4)$ and $\mathrm{Lie}_{29}(E_8,a_1)$.
  • Theorem 3.7 completely characterizes proper subalgebras of $\mathrm{Lie}_p(G)$ for simple $G$ with $p>h$, which answers the question about surjective tensor functors out of $\mathrm{Ver}_p(G)$; for large enough $p$ the only negative answer is the subalgebra $L_2\oplus L_{p-3}$.
  • The exceptional $\mathrm{Lie}_{29}(E_8,a_1)$ is linearly reductive and has semisimple representation category, so it refutes a conjecture in [CEO2].
  • The length-4 computational search shows that two simple based Lie algebras arise from simple Lie superalgebras $Q(2)$ and $H(5)$ rather than from ordinary algebraic groups, giving a negative answer to [CEO2, Question 4.6].

Reading between the lines

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

  • The same polynomial-elimination strategy is likely to be the practical route for longer lengths: the paper already runs it up to length four for $p\le67$, and the pattern of exceptional primes suggests that additional sporadic cases will appear as $p$ grows.
  • The appearance of subregular nilpotents ($a_1$) among the exceptions suggests that classifying simple based Lie algebras for non-principal $\varphi$ is at least as hard as pinning down nilpotent orbits of exceptional groups; future work might organize the list by nilpotent orbit rather than by length.
  • If the paper's suggested replacement question is right, that all simple based Lie algebras in $\mathrm{Ver}_p$ come from simple Lie superalgebras, then the length-4 superalgebra examples would be symptoms of a general theorem, and one would predict that every future exception has a superalgebra origin.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper develops a combinatorial framework for studying simple based Lie algebras in the Verlinde category Ver_p, using explicit SL_2 tensor-product data. Its main theorem asserts an exhaustive classification of simple based Lie algebras of length at most 3 (outside sVec) and of subalgebras of Lie_p(G, φ) for simple algebraic groups G and principal morphisms φ, with one exceptional subregular case. The paper also reports a computational search for length-4 simple based Lie algebras for p ≤ 67, including examples from the queer and Hamiltonian superalgebras. The results are claimed to prove a conjecture of CEO2, answer a question of EO2, and provide counterexamples to other conjectures in the area.

Significance. If the computational assertions are correct, this is a substantial contribution: it proves [CEO2, Conjecture 4.4], answers [EO2, Question 6.5], exhibits the first counterexample to [CEO2, Conjecture 4.1], and gives a negative answer to [CEO2, Question 4.6]. The algebraic framework of Section 4, especially the reduction of the Lie algebra axioms to polynomial equations in the β-scalars, is elegant and likely to be reusable. The paper is also honest in stating which parts are computational and in noting that Theorems 4.7 and 5.1 do not rely on Theorem 3.7. However, the exhaustiveness claims in Theorems 3.7 and 5.1 and in the length-4 search rest on several large SageMath computations that are reported but not shipped; until those computations are independently verifiable, the classification is conditional.

major comments (4)
  1. [Section 3.7, proof of Theorem 3.7] The classification of proper subalgebras of Lie_p(E6), Lie_p(E7), and Lie_p(E8) is the crux of part (b) of Theorem 1, but the only evidence for exhaustiveness is a reported SageMath computation. The text lists bracket restrictions and 'bad primes' but does not provide the program, input data, output, or certificates, and the sentence 'One can quickly see, using these morphisms, that each simple summand generates the minimal subalgebra containing it in every case' is not a verifiable proof. If any of the bad-prime calculations is incomplete, the list in Theorem 3.7 could miss a subalgebra or include a false one. I request the scripts and complete outputs, or a written proof of the generation claims.
  2. [Section 5.7, Eq. (5.3)] The elimination of all x ≥ 12 in the small-y generic case depends on the assertion that the ideal generated by d'(3,5), d'(3,7), d'(7,9), and d'(9,11) has a Gröbner basis containing c·h1 and c·h2, and on the unstated check that every linear factor in those determinants is nonzero modulo p for p > 2x. Neither the Gröbner basis computation nor the factor verification is shown or shipped. If the ideal-membership statement is wrong for some allowed prime, the classification of length-3 simple based Lie algebras in Theorem 5.1 would be incomplete. This is a load-bearing step, not a matter of presentation.
  3. [Section 5.5(5) and Section 5.8] Similar unreproduced computational claims are used in the proof of Theorem 5.1. In Section 5.5(5), the assertion that the ideal of f'_u(x,y,y) for u ∈ {3,5,7} has a Gröbner basis containing h1 and h2 is given without data. In Section 5.8, the statement that d(3,5), d(3,7), and d(3,9) 'are sufficient to eliminate the majority of cases' and that d(3,11) covers a remaining case is likewise asserted without the determinant polynomials or elimination output. These computations are used to exclude infinitely many pairs (x,y,p), so they are essential to the exhaustiveness of Theorem 5.1.
  4. [Section 6] The reported exhaustive search for length-4 simple based Lie algebras for 5 ≤ p ≤ 67 is used to answer [CEO2, Question 4.6], but the paper does not ship the SageMath code or the certificates for the radical ideal membership tests VLie ⊄ Vn.s.. The method is described, but without the actual computations the reader cannot confirm that the list is exhaustive or that the stated non-isomorphisms are correct. I would ask the authors to provide the scripts and outputs as supplementary material, or at least to state precisely which computations were performed and how their correctness can be checked independently.
minor comments (4)
  1. [Section 1.4, property (4)] The condition 'u/2 ≤ x, y' is awkward when u is odd; the intended condition should be stated more precisely (for example, in terms of the appearing odd integers u).
  2. [Theorem 5.1 and Section 5.9(4)] In Theorem 5.1, case (4) is stated for p ≥ 11, but the proof treats p = 11 separately because then L_{p-5} = L_6 and the underlying object is L2 ⊕ L6 ⊕ L6; this is correct but could be pointed out in the statement for readability.
  3. [Section 3.7, table for E7] The table says '22 ⊗ 22 → 10' has bad primes 23, 29, 83, but 83 is larger than any p appearing in the table; this is not an error, but a brief explanation of why primes above the table range are listed would help the reader.
  4. [Throughout] The repeated mention of 'SageMath computations' without code or output is a transparency issue; even if the results are correct, the paper should either provide the code in an appendix or supplementary file or state that the computations are available from the author.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the classification is derived from explicit polynomial equations, with cross-references that are forward and internally independent.

full rationale

The central claims are obtained by reducing the operadic Lie algebra axioms to scalar equations. Proposition 4.1 rewrites antisymmetry and the Jacobi identity as Equations (4.1) and (4.2) in the unknowns beta_{i,j}^k, with the based-Lie-algebra condition imposing the fixed values beta_{0,i}^i = (n_i+2)/4. Theorems 4.6, 4.7 and 5.1 then solve these equations directly; the target list is not assumed as an input. Each candidate object is either eliminated by a non-zero determinant or admissible-value argument, or admitted and shown to carry a unique structure, which is then matched to the Section 3.1 constructions of Lie_p(G, phi). There is no fitted parameter renamed as a prediction, and no quantity is defined in terms of the classification it is supposed to prove. The one potentially suspicious cross-reference is in the proof of Theorem 3.7, where the paper states: 'The isomorphisms in cases (2), (3), (4), (5) may be checked with direct computations. However, for the sake of brevity, we will simply invoke Theorems 4.7 and 5.1 from later in the paper (note that in each case g' has no proper non-trivial subalgebras and contains L2, and is thus simple and based). These do not rely on Theorem 3.7, so this is not circular.' Inspection confirms this: Theorems 4.7 and 5.1 are proved from the Jacobi equations in Sections 4 and 5 without using Theorem 3.7, so Theorem 3.7's use of them is a legitimate forward reference rather than a circular dependence. The classification also relies on [CEN], coauthored by the present author, for subalgebras of sl(L_{n-1}) and for principal-morphism constructions; this is a published theorem with independent standing and is used with stated assumptions, not as an unverified self-citation defining the result. The unshipped SageMath computations, Grobner-basis claims, and bad-prime tables in Sections 3.7, 5.5(5), 5.7, 5.8 and 6 are verification gaps and correctness risks, not circularity: they are auxiliary polynomial or determinant computations within an otherwise self-contained derivation. No reduction of the claimed classification to its own inputs was found.

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

The central classification is derived from the axioms of operadic Lie algebras encoded as polynomial equations in Section 4; the listed axioms are the foundational structural inputs from prior literature (monoidal structure of Ver_p, fundamental group action, Harish-Chandra pairs, PBW criterion, semisimplification of Lie_p(G,φ)) plus the unverified correctness of the reported SageMath computations. There are no fitted parameters or invented entities.

assumptions (6)
  • domain assumption The monoidal structure of Ver_p is completely described by the p-triangle condition and the explicit inclusion/projection and associator formulas from Section 1 (Equations (1.1)-(1.3)).
    The classification in Sections 4 and 5 encodes the Lie bracket in the basis of these decompositions; if these formulas were wrong in characteristic p, the resulting polynomial equations would not describe Lie algebras in Ver_p.
  • domain assumption The fundamental group π(Ver_p) has Harish-Chandra pair (Z/2, sl(L1)) and the canonical action is characterized by Proposition 2.10.
    This identifies based Lie algebras with those whose sl(L1)-subalgebra acts canonically; used throughout to set the values of β0,i_j.
  • standard math The affine group scheme and Harish-Chandra pair correspondence and the PBW criterion from [Et] and [Ve1] apply to Ver_p, so an operadic Lie algebra is a Lie algebra iff γ_p=0.
    Used in Proposition 2.3 and Corollary 2.7 to reduce questions about Lie algebras to operadic data.
  • domain assumption The semisimplification construction (via α_p) produces Lie_p(G, φ) with the properties stated in Proposition 3.2 from [CEN].
    This provides the examples on the right side of Theorem 1; any failure would mean some listed objects are not actually Lie algebras.
  • ad hoc to paper The reported SageMath computations (bracket tables, bad primes, Grobner bases, determinant checks, length-4 search) are correct and exhaustive.
    Code and data are not shipped; the paper asks the reader to accept several computational results that are essential for exhaustiveness in Sections 3.7, 5.5(5), 5.7, 5.8 and 6.
  • standard math The determinant of the normalized Killing form from [GN] has no prime factors above 5 except in type A, where it equals the dual Coxeter number h∨.
    Used in Proposition 3.11 to prove non-isomorphism of the Q(2) and H(5) images from Lie_p(G,φ).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Small Lie algebras in the Verlinde category." pith.science (2026). https://pith.science/paper/4I2PS6JI

@misc{pith2026260810585,
  author       = {Pith},
  title        = {Pith review of: Small Lie algebras in the Verlinde category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4I2PS6JI}},
  note         = {Machine review of arXiv:2608.10585}
}
read the original abstract

This paper studies simple Lie algebras in the Verlinde category, with canonical fundamental group action, using combinatorial methods. We give an exhaustive list of such Lie algebras which either have length at most 3, or appear as a subalgebra of the restriction of the Lie algebra of a simple algebraic group along a principal morphism. The results and exceptions answer several questions and conjectures regarding Verlinde categories of algebraic groups and their Lie algebras.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 26 canonical work pages

  1. [1]

    Contragredient Lie algebras in symmetric categories

    I. Angiono, J. Plavnik, G. Sanmarco: Contragredient Lie algebras in symmetric categories. arXiv:2401.02915

    work page Pith review arXiv

  2. [2]

    Brundan, I

    J. Brundan, I. Entova-Aizenbud, P. Etingof, V. Ostrik: Semisimplification of the category of tilting modules for _n . Adv. Math. 375 (2020), Paper No. 107331

    work page 2020

  3. [3]

    Bouillet: Moduli of Lie p -algebras

    A. Bouillet: Moduli of Lie p -algebras. Manuscripta Math. 174 (2024), 381--427

    work page 2024

  4. [4]

    Benson, J

    D. Benson, J. Pevtsova: Group schemes and their Lie algebras over a symmetric tensor category. arXiv:2507.02031

    arXiv

  5. [5]

    Bouarroudj, A

    S. Bouarroudj, A. N. Zubkov: Almost-simple algebraic supergroups. arXiv:2511.16293

    work page arXiv

  6. [6]

    R. W. Carter: Finite groups of Lie type: conjugacy classes and complex characters. Wiley-Interscience, 1985

    work page 1985

  7. [7]

    Cagliero, F

    L. Cagliero, F. Szechtman: The classification of uniserial _2 V(m) -modules and a new interpretation of the Racah-Wigner 6j -symbol. J. Algebra, 386 (2013) 142--175

    work page 2013

  8. [8]

    Coulembier, P

    K. Coulembier, P. Etingof, J. Newton: Finite symmetric algebras in tensor categories and Verlinde categories of algebraic groups. Adv. Math. 483 (2025), Paper No. 110677

    work page 2025

Show all 32 references
  1. [9]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: On Frobenius exact symmetric tensor categories. With an appendix by A. Kleshchev. Ann. of Math. (2) 197 (2023), no. 3, 1235--1279

    2023

  2. [10]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: Asymptotic properties of tensor powers in symmetric tensor categories. Pure Appl. Math. Q. 20 (2024), no. 3, 1141--1179

    2024

  3. [11]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: Incompressible tensor categories. Adv. Math. 457 (2024), Paper No. 109935

    2024

  4. [12]

    Deligne: Cat\'egories tensorielles

    P. Deligne: Cat\'egories tensorielles. Mosc. Math. J. 2 (2002), no. 2, 227--248

    2002

  5. [13]

    S. Doty, A. Henke: Decomposition of tensor products of modular irreducibles for SL2. Q. J. Math. 56(2) (2005), 189--207

    2005

  6. [14]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik: Tensor categories. Mathematical Surveys and Monographs, 205. American Mathematical Society, Providence, RI, 2015

    2015

  7. [15]

    Etingof, A

    P. Etingof, A. Kannan, V. Ostrik: Lie theory in the Verlinde category and weak Jordan algebras. Appearing in A. Kannan: On Lie Theory in the Verlinde Category (pp. 77--98). MIT, 2024

    2024

  8. [16]

    Etingof: Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic

    P. Etingof: Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic. Adv. Math. 327 (2018), 128--160

    2018

  9. [17]

    Etingof, V

    P. Etingof, V. Ostrik: Finite tensor categories. Moscow Math. J. 4 (2004), no. 3, 627--654

    2004

  10. [18]

    Etingof, V

    P. Etingof, V. Ostrik: On Semisimplification of Tensor Categories. In: Representation Theory and Algebraic Geometry (pp 3--35). Springer, 2022

    2022

  11. [19]

    B. H. Gross, G. Nebe: Globally maximal arithmetic groups. J. Algebra 272(2) (2004), 625--642

    2004

  12. [20]

    Grantcharov, A

    D. Grantcharov, A. Pianzola: Automorphisms and twisted loop algebras of finite dimensional simple Lie superalgebras. International Mathematics Research Notices 2004 (2004), no. 73, 3937--3962

    2004

  13. [21]

    Hague, G

    C. Hague, G. McNinch: Some good-filtration subgroups of simple algebraic groups. J. Pure Appl. Algebra 217 (2013), no. 12, 2400--2413

    2013

  14. [22]

    Hu: Lie algebras in _4^+

    S. Hu: Lie algebras in _4^+ . J. Algebra 689 (2026), 112--158

    2026

  15. [23]

    Jacobson: Basic Algebra I, Second Edition

    N. Jacobson: Basic Algebra I, Second Edition. W. H. Freeman, New York, 1985

    1985

  16. [24]

    A. S. Kannan: New constructions of exceptional simple Lie superalgebras with integer cartan matrix in characteristics 3 and 5 via tensor categories. Transformation Groups 29 (2024), 1065--1103

    2024

  17. [25]

    V. G. Kac: Lie Superalgebras. Advances in Mathematics 26 (1977), no. 1, 8--96

    1977

  18. [26]

    G. J. McNinch: Optimal (2) -homomorphisms. Comment. Math. Helv. 80 (2005), 391--426

    2005

  19. [27]

    Mikosz, A

    M. Mikosz, A. Weber: Triality, characteristic classes, D_4 and G_2 singularities. J. Homotopy Relat. Struct. 10 (2015), 995--1011

    2015

  20. [28]

    Premet, H

    A. Premet, H. Strade: Classification of finite dimensional simple Lie algebras in prime characteristics. Contemporary Math. 413 (2006), 185--214

    2006

  21. [29]

    Stewart: On the minimal modules for exceptional Lie algebras: Jordan blocks and stabilisers

    D. Stewart: On the minimal modules for exceptional Lie algebras: Jordan blocks and stabilisers. LMS J. Comput. Math. 19 (2016) 235--258. (Corrected: arXiv:1508.02918v6)

    2016 arXiv

  22. [30]

    Strade, R

    H. Strade, R. Farnsteiner: Modular Lie Algebras and their Representations. Monographs and Textbooks in Pure and Applied Mathematics, 116, Marcel Dekker, Inc., New York, 1988

    1988

  23. [31]

    Venkatesh: Harish-Chandra Pairs in the Verlinde Category in Positive Characteristic, International Mathematics Research Notices 2023(18) (2023), 15475--15536

    S. Venkatesh: Harish-Chandra Pairs in the Verlinde Category in Positive Characteristic, International Mathematics Research Notices 2023(18) (2023), 15475--15536

    2023

  24. [32]

    Venkatesh: Representations of General Linear Groups in the Verlinde Category

    S. Venkatesh: Representations of General Linear Groups in the Verlinde Category. arXiv:2203.03158

    arXiv

Pith tools

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