{"id":"5253141d-221c-4856-a5e4-ebdc85a68574","arxiv_id":"2608.10585","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"All simple based Lie algebras of length at most 3 in Ver_p are classified, along with all subalgebras from simple algebraic groups, resolving several conjectures.","lead":"This paper classifies the small simple Lie algebras living inside the Verlinde category, a structure used to study symmetries in characteristic p. It settles several open conjectures and reveals exceptions linked to exceptional Lie groups and Lie superalgebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Exhaustiveness of Theorem 1 depends on unshipped SageMath Gröbner-basis and bad-prime computations; until these are reproduced, the classification is conditional.","rationale":"The reader's verdict identifies the same load-bearing weakness: the classification is exhaustive only if the unreported SageMath computations are correct. I agree that this is the main obstruction and that the paper is otherwise a coherent, largely self-contained argument. The concrete test above exactly targets the Section 5.7 ideal-membership claim, since that is where the infinite family of potential length-3 objects is eliminated; if it passes, the central length-3 classification is on much firmer ground. I see no internal contradiction or obvious mathematical error in the analytic parts of the proof, and the paper is honest about relying on later theorems and on computational claims. Therefore the reader's CONDITIONAL verdict should remain unchanged; the paper should be required to provide reproducible code, output data, or explicit certificates for the cited Gröbner-basis and determinant computations.","tokens_in":43409,"tokens_out":7564,"duration_ms":70053,"concrete_test":"Independently run the Section 5.7 elimination in SageMath with exact arithmetic: for each prime p ≥ 31 and each integer pair 12 ≤ x < y ≤ 2x with x, y ≤ (p−3)/2, verify that the numerators d'(3,5), d'(3,7), d'(7,9), d'(9,11) generate an ideal containing c·h1 and c·h2 over F_p, and output explicit cofactor certificates for the membership. Also print the factorization of each denominator and each claimed nonvanishing linear component at every allowed (x,y,p); if any denominator vanishes or any listed linear factor is 0 mod p, the paper's elimination fails for that case. A positive result would remove the main obstruction; a counterexample would either produce a missing simple based Lie algebra or pinpoint a repair.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an exhaustive classification, and the proofs of The Theorems 3.7 and 5.1 rely on several black-box computational assertions. The most load-bearing instance is Section 5.7: the elimination of all x ≥ 12 in the small-y case depends on the claim that the ideal generated by d'(3,5), d'(3,7), d'(7,9), d'(9,11) contains c·h1 and c·h2, and on an unstated check that every linear factor in those determinants is nonzero modulo p for p > 2x. No code, certificates, or data are provided; the reader cannot tell whether the ideal membership is correct or whether a denominator/linear-factor condition fails at some allowed prime. Similarly, Section 5.5(5) asserts a Gröbner basis containing h1 and h2 for the f'_u ideal, and Section 5.8 says certain d(u1,u2) eliminate most small cases without giving the elimination output. In Section 3.7, the exceptional-type bracket table with bad primes is the only evidence that no other subalgebras of Lie_p(E6), Lie_p(E7), and Lie_p(E8) exist. If any one of these computations is incomplete, the lists in Theorems 5.1 or 3.7 could miss a simple algebra or include a false one. This is not a dispute with the overall strategy, but the exhaustiveness assertion is exactly as strong as those unverifiable ideal-membership claims.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":43758,"tokens_out":6056,"duration_ms":75338,"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":[{"comment":"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.","section":"Section 3.7, proof of Theorem 3.7"},{"comment":"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.","section":"Section 5.7, Eq. (5.3)"},{"comment":"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.","section":"Section 5.5(5) and Section 5.8"},{"comment":"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.","section":"Section 6"}],"minor_comments":[{"comment":"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).","section":"Section 1.4, property (4)"},{"comment":"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.","section":"Theorem 5.1 and Section 5.9(4)"},{"comment":"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.","section":"Section 3.7, table for E7"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central mathematical framework is solid and the main theorem is a strong result, but the current manuscript is not independently checkable because several load-bearing classification steps are delegated to unshipped computations. If the authors can provide the SageMath code and complete output or certificates, I would be inclined to accept after verification; without those, the exhaustiveness claims remain conditional."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result is real: Theorem 1 proves the length-2 conjecture from [CEO2], answers [EO2, Question 6.5], and gives the first length-3 classification, with genuinely new exceptions (Lie29(E8,a1), Q(2), H(5)) that contradict earlier conjectures. If the classification is right, this is a substantial step for Lie algebras in Verlinde categories. The paper is also honest about its own structure: Theorems 4.7 and 5.1 are not circularly dependent on Theorem 3.7, and the algebraic framework in Section 4 is explicit enough to be checked by hand in the length-2 case.\n\nWhat the paper does well is the combinatorial reduction: rewriting Lie algebra axioms as polynomial equations in the β-scalars, then sorting the possible length-3 objects by size. The case analysis is detailed and the isomorphism statements in Section 5.9 are concrete. The author clearly knows the literature and flags where he relies on later theorems.\n\nThe soft spot is exactly where the reader put the flag: several load-bearing exhaustiveness claims are not independently checkable because the SageMath code and output are not shipped. In Theorem 3.7, the exceptional-type E6/E7/E8 subalgebra classification rests on bracket tables and bad-prime computations plus a “one can quickly see” generation claim. In Sections 5.5(5) and 5.7, the Gröbner-basis ideal membership and the determinant checks d'(u1,u2) are stated without output, and these are the steps that eliminate all x ≥ 12. If any one of those computations is wrong or incomplete, the list in Theorem 5.1 could miss a simple algebra. Section 6’s length-4 search has the same issue, though it is more clearly reported as exploratory.\n\nThis is not a fatal flaw in the strategy; the algebraic core looks coherent, and I did not find a load-bearing mathematical error in the parts that are shown. But the exhaustiveness claim is exactly as strong as those unverified computations. I would not desk-reject this. It deserves a serious referee, and the referee should be asked to verify the computational claims or to require the author to post the code and raw output before acceptance. For my own work, I would cite it only with a note that the exceptional-type and large-x eliminations are computational.","headline":"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.","tokens_in":44285,"tokens_out":1793,"would_cite":true,"duration_ms":33208,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B50","18M15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Verlinde category","simple Lie algebra","based Lie algebra","tensor category","classification","SL2 tilting modules","Racah-Wigner 6j-symbol","Lie superalgebra"],"falsifier":"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.","tokens_in":43214,"feed_emoji":"🧮","tokens_out":8271,"duration_ms":82017,"temperature":0.7,"pith_summary":"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.","feed_headline":"Small Lie algebras in the Verlinde category: full list","feed_subtitle":"Up to length three, every simple based Lie algebra is a group image or a listed exception.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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]."],"supporting_citations":[{"why":"Contains the conjecture and question that the classification answers, as well as the conjecture refuted by the $E_8(a_1)$ exception.","marker":"[CEO2]"},{"why":"Supplies the question about surjective tensor functors and the list of principal pairs used in Theorem 3.7.","marker":"[EO2]"},{"why":"Provides the construction of $\\mathrm{Lie}_p(G)$, the equivalence with $\\mathrm{Ver}_p(G)$, and the classification of subalgebras in type A that the paper extends.","marker":"[CEN]"},{"why":"Gives the explicit formulas for $​​SL2 inclusions and the Racah-Wigner $6j$-symbol relation used to compute the associativity scalars.","marker":"[CS]"},{"why":"Provides the PBW theorem and the criterion for an operadic Lie algebra in $\\mathrm{Ver}_p$ to be a genuine Lie algebra.","marker":"[Et]"},{"why":"Establishes Harish-Chandra pairs in $\\mathrm{Ver}_p$, used to integrate based Lie algebras to affine group schemes and to describe the fundamental group action.","marker":"[Ve1]"},{"why":"Supplies the restricted Lie algebra structure on $\\mathrm{Lie}(G)$ in tensor categories, used in Corollary 2.7.","marker":"[BP]"},{"why":"Used to identify $\\mathrm{Lie}_{29}(E_8,a_1)$ with a subregular nilpotent and to compare the exceptional structure.","marker":"[St]"}],"fun_headline_variants":["Small Lie algebras in Verlinde: the full roster","All small Lie algebras in Verlinde, catalogued","Verlinde's small Lie algebras: complete list","Small Lie algebras: exhaustive Verlinde catalog"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Small Lie algebras in Verlinde: the full roster","All small Lie algebras in Verlinde, catalogued","Verlinde's small Lie algebras: complete list","Small Lie algebras: exhaustive Verlinde catalog"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1388,"prompt_tokens":903,"completion_tokens":485,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":421}},"tokens_in":519,"tokens_out":485,"duration_ms":8163,"temperature":1.0,"reasoning_tokens":421,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:13:22.614756+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":2}