Pith. sign in

REVIEW 4 major objections 3 minor 1 cited by

Group schemes and their Lie algebras over a symmetric tensor category

T0 review · 4 major / 3 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 For affine group schemes over the ind-completion of a finite symmetric tensor category, the tangent space at the identity is canonically a restricted Lie algebra, and it coincides with degree-one distributions and with right-invariant…

desk verdict A plausible general framework for Lie algebras of group schemes over symmetric tensor categories, with a real but local error in the Ver_4^+ example tables and a proof gap in the restricted structure theorem. read the letter →

arxiv 2507.02031 v1 pith:YE7DLZTJ submitted 2025-07-02 math.RT math.CTmath.QA

Dave Benson , Julia Pevtsova This is my paper · ORCID
classification math.RTmath.CTmath.QA MSC 18D1014L1517B4518M0518M20
keywords affinegroupschemessymmetrictensorcategoriesrestrictedLiealgebrasdistributionderivationscanonicalalgebraVer_4+category
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 claims that the three classical descriptions of the Lie algebra of an algebraic group—tangent vectors at the identity, degree-one distributions, and right-invariant derivations on the coordinate ring—survive when the ground field is replaced by an arbitrary finite symmetric tensor category. The new content is that the tangent object $\mathrm{Lie}(G)$ is not merely a Lie algebra but a restricted Lie algebra in the strongest categorical sense, carrying a divided-power-style operation on the kernel of the differential. If the claim is right, the Lie algebras of ordinary algebraic groups, of supergroups, and of group schemes over exotic categories such as $\mathsf{Ver}_4^+$ in characteristic two are all instances of a single construction. The paper also works out the $\mathsf{Ver}_4^+$ case explicitly, where the abstract machinery becomes concrete vector-space computations.

What carries the argument

The load-bearing object is the canonical algebra $E_{\mathcal{C}} = E(\mathbf{1})$, obtained by applying the right adjoint of the tensor product functor $\mathcal{C} \boxtimes \mathcal{C}^{\mathrm{op-}\otimes} \to \mathcal{C}$ to the unit object; from it the paper forms the categorical ring of dual numbers $\mathbb{E}_{\mathcal{C}} = \mathbf{1} \oplus E_{\mathcal{C}}$ with square-zero kernel. The tangent space at a point $x$ is defined to be the fibre $S(\mathbb{E}_{\mathcal{C}})_x$, the algebra maps from $O(S)$ to the dual numbers over $x$, and at the identity of a group scheme this is $\mathrm{Lie}(G)$. The Lie bracket is carried by the filtered distribution algebra $\mathrm{Dist}(G)$ together with the commutator map $\beta = \mu(1-s)$, and the restricted square and higher operations are produced by the invariant functor $\Gamma(\mathrm{Lie}, -)$, which substitutes invariants for coinvariants in the free Lie-algebra construction.

What would settle it

Compute the canonical algebra $E_{\mathcal{C}} = E(\mathbf{1})$ for a finite symmetric tensor category where the right adjoint of the tensor product is not visibly compatible with the braiding; if $E(\mathbf{1})$ is not a commutative Hopf algebra, then the fibre $S(\mathbb{E}_{\mathcal{C}})_e$ used to define $\mathrm{Lie}(G)$ is unavailable and Theorem 1.1 fails for that category. Concretely, in the $\mathsf{Ver}_4^+$ case one can check the correspondence of Proposition 17.16 directly: every right-invariant derivation of $O(G)$ should arise from an $\eta$-derivation $f'\colon O(G) \to k$ via $F = (f'\otimes 1)\Delta$, and a right-invariant derivation not of that form would refute the identification.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that for an affine group scheme $G$ over the ind-completion of a finite symmetric tensor category $\mathcal{C}$, the tangent space at the identity—defined as the fibre of the functor $S(E_{\mathcal{C}}) \to S(\mathbf{1})$ over the augmentation—is canonically isomorphic to the degree-one part of the distribution algebra of $G$ and to the object of right-invariant derivations from $O(G)$ to the unit object (Theorem 1.1). In addition, Theorem 12.6 shows that $\mathrm{Lie}(G)$ carries the structure of a restricted Lie algebra, that is, an algebra over the monad built from invariants of the Lie operad; the bracket is the degree lowering of the commutator $\beta = \mu(1-s)$ in the filtered distribution algebra, and the restricted power operations arise from the same filtered structure. The action of $\mathrm{Lie}(G)$ on $O(G)$ by right-invariant derivations is shown to be universal: any object acting on $O(G)$ by right-invariant derivations maps uniquely into $\mathrm{Lie}(G)$.

Load-bearing premise

The argument leans on the assumption that the tensor product on the finite tensor category has a right adjoint $E$ and that applying $E$ to the unit object gives a commutative Hopf algebra, so that a ring of dual numbers exists and represents tangent vectors; if either half fails, the definition of the tangent space and the three-way equivalence collapse.

Editorial extensions

If this is right

  • Ordinary algebraic groups and supergroup schemes become special cases, so their Lie algebras are recovered as $\mathrm{Lie}(G)$ for $\mathcal{C} = \mathsf{Vec}$ and $\mathcal{C} = \mathsf{SVec}$.
  • The three-way identification means $\mathrm{Lie}(G)$ can be computed by whichever presentation—tangent vectors, distributions, or derivations—is most tractable in a given tensor category.
  • Because $\mathrm{Lie}(G)$ is restricted, all the extra identities that the categorical definition of a Lie algebra imposes in degrees divisible by the characteristic hold automatically for group-scheme tangent spaces.
  • In characteristic two over $\mathsf{Ver}_4^+$, the abstract theory yields explicit formulae: the bracket is $[x,y] = xy + yx + dy\,dx$ and the square $x^{[2]} = x \circ x$ is defined on the kernel of $d$, as computed for $\mathrm{Lie}(\widetilde{GL}(m+n|n))$.
  • The universal property of $\mathrm{Lie}(G)$ makes it the initial object acting on $O(G)$ by right-invariant derivations, so every such action factors through it uniquely.

Reading between the lines

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

  • The paper leaves implicit that the restricted Lie algebra should be regarded as the default tangent object for group schemes over tensor categories; if so, the weaker operadic Lie algebra is not the right invariant to use in representation theory, because it lacks the power operations that a restricted enveloping algebra would need.
  • A natural next step, not taken here, would be to compute $\mathrm{Lie}(G)$ for group schemes over the other incompressible tensor categories in positive characteristic; the $\mathsf{Ver}_4^+$ computation suggests the bracket will systematically mix the differential with the commutator, as in $[x,y]=xy+yx+dy\,dx$.
  • The universal property could serve as a working definition of $\mathrm{Lie}(G)$ even when the coordinate ring is not known in advance, since any object acting on $O(G)$ by right-invariant derivations would determine a unique map into $\mathrm{Lie}(G)$.
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.

Referee Report

4 major / 3 minor

Summary. The paper develops a theory of affine group schemes over the ind-completion of a finite symmetric tensor category, introducing a categorical ring of dual numbers via a canonical algebra and using it to define the tangent space Lie(G) at the identity. The main theorem asserts that Lie(G) is canonically isomorphic to the degree-one distributions on G and to the right-invariant derivations from O(G) to 1, and that Lie(G) carries a restricted Lie algebra structure in the sense of Fresse's Γ Lie-algebras. Part 2 specializes the theory to the symmetric tensor category Ver_4^+ in characteristic two, giving explicit elementwise descriptions of algebras, schemes, Lie algebras, and restricted Lie algebras, with worked examples including the additive and multiplicative group schemes and general linear group schemes.

Significance. If the main theorem is correct, the paper provides a substantial and useful unification: it gives a categorical framework that covers ordinary algebraic groups, supergroups, and group schemes over Verlinde categories, and it identifies the correct restricted-Lie-algebra structure on tangent spaces. The explicit computations in Part 2 are a genuine strength; they make the abstract definitions concrete and connect the theory to mod-two K-theory. However, the proof of the central restricted-Lie-algebra statement is incomplete as written, and one worked example contradicts its own axioms. The paper is not ready for publication in its current form, but the underlying ideas are promising and the issues appear fixable within the manuscript's scope.

major comments (4)
  1. [Section 12, paragraph after Definition 12.2] The claim that the transfer map Tr: (As(n)⊗V^{⊗n})_{Σ_n} → (As(n)⊗V^{⊗n})^{Σ_n} induced by summation over Σ_n is an isomorphism is false in positive characteristic. For example, when char(k)=2, n=2, and V=1, both the coinvariant and invariant spaces are one-dimensional, but the transfer map is multiplication by 2 and hence is zero. The diagram following this claim and the factorization in (12.3) therefore cannot be used as stated. This is load-bearing because the identification of restricted Lie algebras with Γ Lie-algebras in Definition 12.2 relies on it. The authors need to replace this with a correct argument, for example by using Fresse's actual construction of the Γ-operad and divided powers, or by stating and proving the precise characteristic assumptions under which the transfer is an isomorphism.
  2. [Section 12, Theorem 12.6 and Proposition 12.4] The paper's central claim that Lie(G) is a restricted Lie algebra in the sense of Fresse is not proved as written. Theorem 12.6 is introduced by the single word "Dualising" after Lemma 12.5, with no verification that the induced maps (Lie(n)⊗Lie(G)^{⊗n})^{Σ_n} → Lie(G) satisfy the monad compatibility conditions of Definition 12.2, and no argument that the restricted structure on Dist(G) descends to the associated graded piece GrDist_1(G). Proposition 12.4 is likewise asserted rather than proved; the factorization of the forgetful functor in diagram (12.3) and the identification of the kernel of the top horizontal map with Etingof's extra identities require a detailed proof. This is load-bearing for Theorem 1.1 and must be supplied.
  3. [Example 18.6] The bracket table in Example 18.6 contradicts Definition 18.1(iv). Since df=e, axiom (iv) forces [f,f]=(df)^{[2]}=e^{[2]}=e, but the example states that all brackets are zero. The same conclusion follows from Theorem 18.3 applied to the right-invariant derivations: the derivation F_f corresponding to f satisfies F_f(x)=0 and F_f(dx)=x, and dF_f=F_e, so [F_f,F_f]=F_f∘F_f+F_f∘F_f+dF_f∘dF_f=F_e, hence [f,f]=e. The example should be corrected; as printed, the Part 2 verification of the restricted-Lie-algebra structure is unreliable.
  4. [Section 5 and Definition 6.2] The definition of the tangent space depends on the existence of the canonical algebra E_C and on its structure as a commutative Hopf algebra in C⊠C^{op-⊗}, as well as on the isomorphism Hom_{CAlg}(O(G),E_C)_e ≅ (m/m^2)^*. The manuscript cites [17] and [12] for these facts but does not state the precise theorem or the exact assumptions under which it applies. Since these facts are load-bearing for all three interpretations in Theorem 1.1, the authors should either prove them or give a precise statement with a complete reference. This is a completeness issue rather than an identified error, but it needs to be addressed.
minor comments (3)
  1. [Example 13.8] The line "as an ordinary algebra we have k[[x,y]]/(xy)=k[x,x^{-1},w]/(w^2)" should presumably read "k[[x,y]]/(xy+1)=..." or "with xy=1"; as written it is inconsistent with the preceding sentence, which starts from the quotient by xy+1.
  2. [Throughout] The notation for the canonical algebra is inconsistent: the paper uses both EC and E_C, sometimes in the same sentence. Please standardize the notation.
  3. [Definition 6.2] In Definition 6.2, the multiplication formula on (1⊕EC)⊗(1⊕EC) is written cryptically as "l1+lEC+rEC+0"; expanding this with explicit maps would improve readability and make the associativity and commutativity checks easier for the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: main theorems are derived from standard external tensor-category and operad machinery; the flagged Example 18.6 issue is an internal correctness error, not a circular argument.

full rationale

The derivation chain is self-contained relative to standard tensor-category and operad theory. The tangent-space definition (Section 6, Definition 6.2) is built from the right adjoint E of the tensor product and the dualising object E_C, citing Etingof et al. [17] for representability and Deligne [12]/[15] for the Hopf structure; these are external, non-circular inputs. The three descriptions of Lie(G) in Theorem 1.1 are proven formally: Dist_1^+(G) is identified with the tangent space by definition, and the isomorphism with right-invariant derivations is established via the universal property in Theorem 11.3 and concretely in Proposition 17.16. The restricted Lie algebra structure (Theorem 12.6 from Definition 12.2) is obtained by applying Fresse's Gamma-Lie monad to the distribution algebra via Lemma 12.5; no fitted parameters, normalizations, or predicted quantities are involved. Self-citations [6,7] appear only as context for Ver_4^+ and are not load-bearing. The unproved Hopf-structure/representability facts imported from [17], [12] are external support, not circularity. The one substantive flaw found is an internal inconsistency in Example 18.6: since df=e, Definition 18.1(iv) forces [f,f]=(df)[2]=e[2]=e, contradicting the example's assertion that 'all brackets are zero'; Theorem 18.3 gives the same conclusion. This is a correctness error in a worked example, not a circular derivation, so the circularity score remains 0.

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

The central claim rests on standard tensor-category tools (representability of the right adjoint, Deligne's tensor product, operad theory) and on the prior classification of Ver_4^+ by the same authors. None of these are free parameters or fitted values; they are structural assumptions. The paper introduces no unexplained entities.

assumptions (5)
  • domain assumption C is a finite rigid symmetric tensor category over an algebraically closed field, and ⃗C is its ind-completion generated by C.
    Section 2 states this as the standing setting; the theory only applies to such categories.
  • domain assumption The tensor product functor on C admits a right adjoint E: C → C⊠C^{op-⊗}, and E(1) is a commutative Hopf algebra (the canonical algebra).
    Section 5, Definition 5.2 and Proposition 5.3 invoke representability from [17] and Hopf structure from [12]; the tangent space definition in Section 6 depends on this.
  • standard math Affine group schemes over ⃗C are represented by commutative Hopf algebras, with the usual Yoneda correspondence.
    Section 7, Definition 7.1; this is the categorical version of the standard group scheme formalism.
  • standard math The definition of Lie algebra over ⃗C uses Etingof's extra identities, and restricted Lie algebras use Fresse's Γ_Lie monad.
    Sections 8 and 12 rely on [16] and [18] for the axiomatics and the transfer argument; Proposition 8.6 cites [16, Prop 4.7].
  • domain assumption The structure of Ver_4^+ in characteristic two: one simple object k, one projective cover P, differential d with d^2=0 and symmetric braiding s(v⊗v') = v'⊗v + dv'⊗dv.
    Section 13, first paragraph, taken from the authors' prior work [6,7]; all Part 2 computations rest on this description.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Group schemes and their Lie algebras over a symmetric tensor category." pith.science (2026). https://pith.science/paper/YE7DLZTJ

@misc{pith2026250702031,
  author       = {Pith},
  title        = {Pith review of: Group schemes and their Lie algebras over a symmetric tensor category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YE7DLZTJ}},
  note         = {Machine review of arXiv:2507.02031}
}
abstract

We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as the degree one distributions on the group scheme, or as the right invariant derivations on the coordinate ring. In the second half of the paper, we illustrate the theory in the particular case of the symmetric tensor category $\mathsf{Ver}_4^+$ in characteristic two.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Composition algebras in symmetric tensor categories

    math.RA 2026-08 conditional novelty 7.0 of 10

    Unital composition algebras in Ver_4^+ are exactly the classical Hurwitz algebras or one of two new families U(λ), U(λ,ν) of dimensions 2 and 4.

Reference graph

Works this paper leans on

35 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [2]

    Araki and H

    S. Araki and H. Toda, Multiplicative structures in mod q cohomology theories I, Osaka J. Math. 2 (1965), 71–115

    work page 1965

  2. [17]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor categories, Math. Surveys and Monographs, vol. 205, American Math. Society, 2015

    work page 2015

  3. [12]

    Deligne, Cat´ egories tannakiennes, The Grothendieck Festschrift II (P

    P. Deligne, Cat´ egories tannakiennes, The Grothendieck Festschrift II (P. Cartier, ed.), Progr. in Math., vol. 87, Birkh¨ auser Verlag, Basel, 1990, pp. 111–195

    work page 1990

  4. [1]

    Araki, Hopf structures attached to K-theory: Hodgkin ’s theorem, Ann

    S. Araki, Hopf structures attached to K-theory: Hodgkin ’s theorem, Ann. of Math. 85 (1967), 508–525

    work page 1967

  5. [3]

    , Multiplicative structures in mod q cohomology theories II, Osaka J. Math. 3 (1966), 81–120

    work page 1966

  6. [4]

    Araki and Z

    S. Araki and Z. Yosimura, On a certain type of differential Hopf algebras , Proc. Japan. Acad. 46 (1970), 332–336

    work page 1970

  7. [5]

    , Differential Hopf algebras modelled on K-theory mod p, I , Osaka J. Math. 8 (1971), 151–206

    work page 1971

  8. [6]

    D. J. Benson and P. Etingof, Symmetric tensor categories in characteristic 2, Adv. in Math. 351 (2019), 967–999

    work page 2019

Show all 35 references
  1. [7]

    24 (2022), no

    , On cohomology in symmetric tensor categories in prime characteristic , Homology, Homotopy & Appl. 24 (2022), no. 2, 163–193

    2022

  2. [8]

    D. J. Benson, P. Etingof, and V. Ostrik, New incompressible symmetric tensor categories in positive characteristic, Duke Math. J. 172 (2023), no. 1, 105–200

    2023

  3. [9]

    Coulembier, Monoidal abelian envelopes , Compositio Math

    K. Coulembier, Monoidal abelian envelopes , Compositio Math. 157 (2021), no. 7, 1584–1609

    2021

  4. [10]

    , Commutative algebra in tensor categories , arXiv:2306.09727, Preprint, 2023

    2023

  5. [11]

    Coulembier and A

    K. Coulembier and A. Sherman, Homogeneous spaces in tensor categories, arXiv:2505.04848v2, Preprint, 2025

    2025 arXiv

  6. [13]

    , Cat´ egories tensorielles, Moscow Math. J. 2 (2002), no. 2, 227–248

    2002

  7. [14]

    Demazure and P

    M. Demazure and P. Gabriel, Groupes alg´ ebriques, Tome I, North Holland, Amsterdam, 1970

    1970

  8. [15]

    Entova-Aizenbud, V

    I. Entova-Aizenbud, V. Hinich, and V. Serganova, Deligne categories and the limit of categories Rep(GL(m|n)), Preprint, 2019

    2019

  9. [16]

    Etingof, Koszul duality and the PBW theorem in symmetric tensor categories in positive character- istic, Adv

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

    2018

  10. [18]

    Fresse, On the homotopy of simplicial algebras over an operad , Trans

    B. Fresse, On the homotopy of simplicial algebras over an operad , Trans. Amer. Math. Soc. 352 (1999), no. 9, 4113–4141

    1999

  11. [19]

    Ginzburg and M

    V. Ginzburg and M. Kapranov, Koszul duality for operads , Duke Math. J. 76 (1994), no. 1, 203–272, correction, Duke 80 (1995), no 1, 293. 30

    1994

  12. [20]

    Hu, Representation theory of general linear supergroups in characteristic 2, arXiv:2406.10201, Preprint, 2024

    S. Hu, Representation theory of general linear supergroups in characteristic 2, arXiv:2406.10201, Preprint, 2024

    2024

  13. [21]

    , Lie algebras in Ver+ 4 , arXiv:2504.01146, Preprint, 2025

    2025 arXiv

  14. [22]

    J. C. Jantzen, Representations of algebraic groups , American Math. Society, 2003, 2nd ed

    2003

  15. [23]

    R. M. Kane, The homology of Hopf spaces , North Holland, Amsterdam, 1988

    1988

  16. [24]

    Kassel, Quantum groups , Graduate Texts in Mathematics, vol

    C. Kassel, Quantum groups , Graduate Texts in Mathematics, vol. 155, Springer-Verlag, Berlin/New York, 1995

    1995

  17. [25]

    Kaufer, Superalgebra in characteristic 2, arXiv:1804.00824, Preprint, 2018

    A. Kaufer, Superalgebra in characteristic 2, arXiv:1804.00824, Preprint, 2018

    2018 arXiv

  18. [26]

    Kultze and U

    R. Kultze and U. W¨ urgler,A note on the algebra P (n)∗(P (n)) for the prime 2, Manuscripta Math. 57 (1987), no. 2, 195–203

    1987

  19. [27]

    , The algebra k(n)∗(k(n)) for the prime 2, Arch. Math. (Basel) 51 (1988), 141–146

    1988

  20. [28]

    O. K. Mironov, Multiplications in cobordism theories with singularities, and Steenrod–tom Dieck opera- tions, Math. USSR Izvestija 13 (1979), no. 1, 89–106

    1979

  21. [29]

    Nassau, On the structure of P (n)∗(P (n)) for p = 2, Trans

    C. Nassau, On the structure of P (n)∗(P (n)) for p = 2, Trans. Amer. Math. Soc. 354 (2002), no. 5, 1749–1757

    2002

  22. [30]

    N. P. Strickland, Products on M U-modules, Trans. Amer. Math. Soc. 351 (1999), no. 7, 2569–2606

    1999

  23. [31]

    Venkatesh, Hilbert basis theorem and finite generation of invariants in symmetric tensor categories in positive characteristic , Int

    S. Venkatesh, Hilbert basis theorem and finite generation of invariants in symmetric tensor categories in positive characteristic , Int. Math. Res. Not. (2016), no. 16, 5106–5133

    2016

  24. [32]

    , Harish-Chandra pairs in the Verlinde category in positive characteristic , Int. Math. Res. Not. (2023), no. 18, 15475–15536

    2023

  25. [33]

    W. C. Waterhouse, Introduction to affine group schemes , Graduate Texts in Mathematics, vol. 66, Springer-Verlag, Berlin/New York, 1979

    1979

  26. [34]

    W¨ urgler,On products in a family of cohomology theories associated to the invariant prime ideals in π∗(BP ), Comment

    U. W¨ urgler,On products in a family of cohomology theories associated to the invariant prime ideals in π∗(BP ), Comment. Math. Helvetici 52 (1977), 457–481

    1977

  27. [35]

    , Commutative ring spectra in characteristic 2, Comment. Math. Helvetici 61 (1986), 33–45. 31

    1986

Pith tools

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