Lie Superalgebras Generated by Reflections in Weyl Groups of Classical Type

Christopher M. Drupieski; Jonathan R. Kujawa

arxiv: 2509.00945 · v2 · submitted 2025-08-31 · 🧮 math.RT

Lie Superalgebras Generated by Reflections in Weyl Groups of Classical Type

Christopher M. Drupieski , Jonathan R. Kujawa This is my paper

Pith reviewed 2026-05-18 19:12 UTC · model grok-4.3

classification 🧮 math.RT

keywords Lie superalgebrasWeyl groupsreflectionsgraded commutatorderived subalgebraclass sumsclassical typessupergroups

0 comments

The pith

Reflections generate the derived subalgebra plus their class sums inside the Lie superalgebra of each classical Weyl group.

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

The paper equips the complex group algebra of each classical Weyl group with a Lie superalgebra structure by declaring all reflections to have odd superdegree. It then studies the sub-superalgebra generated by those reflections under the graded commutator bracket. The central result is that this generated object coincides exactly with the derived subalgebra of the full group algebra together with the linear span of the class sums of the reflections. The equality is proved uniformly for the infinite families of types A, B/C, and D in the stated rank ranges. This supplies an explicit, concrete description of the generated superalgebras in terms of familiar algebraic objects.

Core claim

We consider the finite Weyl groups of classical type as supergroups in which the reflections are of odd superdegree. Viewing the corresponding complex group algebras as Lie superalgebras via the graded commutator bracket, we determine the structure of the Lie sub-superalgebras generated by the sets of reflections. In each case, this Lie superalgebra is equal to the full derived subalgebra of the group algebra plus the span of the class sums of the reflections.

What carries the argument

The Lie sub-superalgebra generated by the reflections inside the group algebra equipped with the graded commutator bracket after assigning odd superdegree to reflections.

If this is right

The dimension of each generated superalgebra equals the dimension of the derived subalgebra plus the number of distinct reflection conjugacy classes.
The result gives a uniform description that applies simultaneously to all ranks in the families W(A_r), W(B_r)=W(C_r), and W(D_r).
Explicit generators for the superalgebra are now known to be the reflections together with a basis for the derived algebra.
The construction respects the natural action of the Weyl group on the algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same assignment of odd degree to reflections might be tested on exceptional Weyl groups to check whether an analogous equality holds.
The identification supplies a concrete way to study representations of these superalgebras that could connect to known modules over the ordinary group algebra.
One could compute the center or the supertrace form on the generated object using the explicit description in terms of class sums.

Load-bearing premise

Reflections can be assigned odd superdegree so that the complex group algebra becomes a Lie superalgebra under the graded commutator bracket and the generated sub-superalgebra is well-defined for these classical types.

What would settle it

A direct computation for the smallest rank case in any classical type (for example W(A_1) or W(B_2)) that produces an element in the generated superalgebra lying outside the derived subalgebra plus reflection class sums would disprove the claimed equality.

read the original abstract

We consider the finite Weyl groups of classical type -- $W(A_{r})$ for $r \geq 1$, $W(B_{r}) = W(C_{r})$ for $r \geq 2$, and $W(D_{r})$ for $r \geq 4$ -- as supergroups in which the reflections are of odd superdegree. Viewing the corresponding complex group algebras as Lie superalgebras via the graded commutator bracket, we determine the structure of the Lie sub-superalgebras generated by the sets of reflections. In each case, this Lie superalgebra is equal to the full derived subalgebra of the group algebra plus the span of the class sums of the reflections.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper identifies the Lie superalgebra generated by reflections in classical Weyl groups as the derived subalgebra plus the span of reflection class sums.

read the letter

The key takeaway is that for the classical Weyl groups, when reflections are assigned odd degree and the group algebra is equipped with the graded commutator, the sub-superalgebra they generate equals the derived subalgebra plus the span of the reflection class sums. The paper works through types A_r, B_r/C_r, and D_r to reach this uniform description. It sets up the supergroup structure cleanly and focuses on the finite classical cases, which lets it deliver an explicit identification rather than a general existence statement. This kind of concrete result can be useful for computing brackets or invariants in related representation-theoretic settings. The main new content is the determination of the generated object for these specific series. Earlier literature may have considered super structures on group algebras or reflections in other contexts, but the equality here is presented as a fresh structural fact for the classical types. One inclusion follows once the right-hand side is shown to be a Lie super-subalgebra containing the generators. The reverse direction, that every element of the derived algebra arises from nested brackets of reflections, requires separate arguments for each type because the conjugacy classes and root lengths differ. The paper presumably supplies the needed relations or dimension checks to close this step. If those verifications are explicit and complete, the claim holds; any gap in one series would affect the overall statement. The abstract does not display sample calculations or basis comparisons, so the strength rests on how thoroughly the full text tracks the generation in each case. This work is for readers already comfortable with Lie superalgebras and Weyl groups who want a precise description of a generated subobject. It is not broad enough to interest a general audience, but specialists could use the identification for further calculations. The result is specific enough and the setting standard enough that it deserves a serious referee to check the case-by-case details.

Referee Report

1 major / 2 minor

Summary. The manuscript considers Weyl groups of classical types A_r (r≥1), B_r/C_r (r≥2), and D_r (r≥4) as supergroups with reflections assigned odd superdegree. It equips the complex group algebra L = ℂ[W] with the graded commutator bracket to obtain a Lie superalgebra and determines the structure of the Lie sub-superalgebra g generated by the set of all reflections. The central claim is that g equals the derived subalgebra [L,L] plus the linear span of the class sums of the reflections, proved separately for each series.

Significance. If the equality holds, the result supplies an explicit description of these generated Lie superalgebras in terms of familiar objects from the group algebra, potentially useful for studying superalgebra structures on Weyl group algebras and their representations. The uniform statement across the three classical series, obtained via case-by-case analysis that accounts for differing root lengths and reflection conjugacy classes, would be a concrete contribution to the interface of Weyl group theory and Lie superalgebras.

major comments (1)

Main theorem (equality g = [L,L] + span{reflection class sums}): the inclusion g ⊆ RHS follows once the right-hand side is verified to be a Lie super-subalgebra containing the reflections. The reverse inclusion, however, requires that every supercommutator in [L,L] lies in the sub-superalgebra generated by nested graded brackets of reflections. Because the conjugacy classes of reflections differ across types A, B/C and D, this generation statement must be established separately; the manuscript should supply explicit spanning sets, dimension formulas, or basis comparisons that confirm the reverse inclusion for each series.

minor comments (2)

Abstract: the statement of the main result is clear, but a parenthetical remark on the dimension of the resulting superalgebra or the key technical tool used for the case-by-case verification would help readers assess the claim at a glance.
Notation: the graded commutator is introduced without an explicit formula; adding the standard expression [x,y] = xy − (−1)^{|x||y|} yx in the opening paragraph would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive suggestion regarding the clarity of the reverse inclusion in the main theorem. We address the point below.

read point-by-point responses

Referee: Main theorem (equality g = [L,L] + span{reflection class sums}): the inclusion g ⊆ RHS follows once the right-hand side is verified to be a Lie super-subalgebra containing the reflections. The reverse inclusion, however, requires that every supercommutator in [L,L] lies in the sub-superalgebra generated by nested graded brackets of reflections. Because the conjugacy classes of reflections differ across types A, B/C and D, this generation statement must be established separately; the manuscript should supply explicit spanning sets, dimension formulas, or basis comparisons that confirm the reverse inclusion for each series.

Authors: We agree that the reverse inclusion is the more substantial part of the argument and that the differing conjugacy classes of reflections across the three series require separate treatment. In the current manuscript this is carried out in Sections 3 (type A), 4 (types B/C) and 5 (type D) by explicit computation of the graded brackets among reflections and their class sums, followed by a dimension comparison showing that the resulting span equals dim([L,L]) plus the number of reflection classes. To address the referee’s request for greater explicitness, we will add a short summary subsection (new Section 2.4) that tabulates, for each series, the spanning sets of the generated superalgebra together with the dimension formulas used to confirm equality. This will make the basis comparisons more immediately visible without altering the existing proofs. revision: yes

Circularity Check

0 steps flagged

No circularity: equality proved by direct structural arguments on graded commutators

full rationale

The paper equips the complex group algebra of each classical Weyl group with the graded commutator bracket after declaring reflections odd, then proves that the Lie super-subalgebra generated by the reflections equals the derived subalgebra plus the span of reflection class sums. This is established via explicit verification of the two inclusions for each series (A, B/C, D), using the concrete conjugacy classes and root-length distinctions of the groups rather than any self-referential definition, fitted parameter renamed as prediction, or load-bearing self-citation. The derivation therefore remains self-contained against the external combinatorial data of the Weyl groups.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard definition of Lie superalgebras via graded commutators and the assignment of odd degree to reflections; no free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (1)

domain assumption The complex group algebra of a finite Weyl group admits a Lie superalgebra structure via the graded commutator when reflections are declared odd.
Invoked to view the group algebra as a superalgebra in which the generated object is defined.

pith-pipeline@v0.9.0 · 5647 in / 1144 out tokens · 27801 ms · 2026-05-18T19:12:39.904104+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

In each case, this Lie superalgebra is equal to the full derived subalgebra of the group algebra plus the span of the class sums of the reflections.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

Bourbaki, Lie groups and Lie algebras

N. Bourbaki, Lie groups and Lie algebras. Chapters 1–3 , Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 1998, Translated from the French, Reprint of the 1989 English translation

work page 1998
[2]

Brundan and A

J. Brundan and A. Kleshchev, Projective representations of symmetric groups via Sergeev duality , Math. Z. 239 (2002), no. 1, 27–68

work page 2002
[3]

C. M. Drupieski and J. R. Kujawa, Lie algebras generated by reflections in types BCD , preprint, 2025

work page 2025
[4]

Represent

, The Lie superalgebra of transpositions , Algebr. Represent. Theory (2025)

work page 2025
[5]

Fulton and J

W. Fulton and J. Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics

work page 1991
[6]

The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.12.1 , 2022

work page 2022
[7]

Geck and G

M. Geck and G. Pfeiffer, Characters of finite Coxeter groups and Iwahori-Hecke algebras , London Mathematical Society Monographs. New Series, vol. 21, The Clarendon Press, Oxford University Press, New York, 2000

work page 2000
[8]

Geetha and A

T. Geetha and A. Prasad, Comparison of Gelfand-Tsetlin bases for alternating and symmetric groups , Algebr. Represent. Theory 21 (2018), no. 1, 131–143

work page 2018
[9]

Headley, On Young’s orthogonal form and the characters of the alternating group , J

P. Headley, On Young’s orthogonal form and the characters of the alternating group , J. Algebraic Combin. 5 (1996), no. 2, 127–134

work page 1996
[10]

Jacobson, Lie algebras, Dover Publications, Inc., New York, 1979, Republication of the 1962 original

N. Jacobson, Lie algebras, Dover Publications, Inc., New York, 1979, Republication of the 1962 original

work page 1979
[11]

James and A

G. James and A. Kerber, The representation theory of the symmetric group , Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, Mass., 1981, With a foreword by P. M. Cohn, With an introduction by Gilbert de B. Robinson

work page 1981
[12]

Marin, L’alg` ebre de Lie des transpositions, J

I. Marin, L’alg` ebre de Lie des transpositions, J. Algebra 310 (2007), no. 2, 742–774

work page 2007
[13]

Mishra and M

A. Mishra and M. K. Srinivasan, The Okounkov-Vershik approach to the representation theory of G ∼ Sn, J. Algebraic Combin. 44 (2016), no. 3, 519–560

work page 2016
[14]

Okada, Wreath products by the symmetric groups and product posets of Young’s lattices , J

S. Okada, Wreath products by the symmetric groups and product posets of Young’s lattices , J. Combin. Theory Ser. A 55 (1990), no. 1, 14–32

work page 1990
[15]

user269218 (https://math.stackexchange.com/users/269218/user269218), finite subgroups of PGL (2, C), Mathe- matics Stack Exchange, URL:https://math.stackexchange.com/q/1470267 (version: 2015-10-08). Department of Mathematical Sciences, DePaul University, Chicago, IL 60614, USA Email address: c.drupieski@depaul.edu Department of Mathematics, Oregon State U...

work page arXiv 2015

[1] [1]

Bourbaki, Lie groups and Lie algebras

N. Bourbaki, Lie groups and Lie algebras. Chapters 1–3 , Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 1998, Translated from the French, Reprint of the 1989 English translation

work page 1998

[2] [2]

Brundan and A

J. Brundan and A. Kleshchev, Projective representations of symmetric groups via Sergeev duality , Math. Z. 239 (2002), no. 1, 27–68

work page 2002

[3] [3]

C. M. Drupieski and J. R. Kujawa, Lie algebras generated by reflections in types BCD , preprint, 2025

work page 2025

[4] [4]

Represent

, The Lie superalgebra of transpositions , Algebr. Represent. Theory (2025)

work page 2025

[5] [5]

Fulton and J

W. Fulton and J. Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics

work page 1991

[6] [6]

The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.12.1 , 2022

work page 2022

[7] [7]

Geck and G

M. Geck and G. Pfeiffer, Characters of finite Coxeter groups and Iwahori-Hecke algebras , London Mathematical Society Monographs. New Series, vol. 21, The Clarendon Press, Oxford University Press, New York, 2000

work page 2000

[8] [8]

Geetha and A

T. Geetha and A. Prasad, Comparison of Gelfand-Tsetlin bases for alternating and symmetric groups , Algebr. Represent. Theory 21 (2018), no. 1, 131–143

work page 2018

[9] [9]

Headley, On Young’s orthogonal form and the characters of the alternating group , J

P. Headley, On Young’s orthogonal form and the characters of the alternating group , J. Algebraic Combin. 5 (1996), no. 2, 127–134

work page 1996

[10] [10]

Jacobson, Lie algebras, Dover Publications, Inc., New York, 1979, Republication of the 1962 original

N. Jacobson, Lie algebras, Dover Publications, Inc., New York, 1979, Republication of the 1962 original

work page 1979

[11] [11]

James and A

G. James and A. Kerber, The representation theory of the symmetric group , Encyclopedia of Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, Mass., 1981, With a foreword by P. M. Cohn, With an introduction by Gilbert de B. Robinson

work page 1981

[12] [12]

Marin, L’alg` ebre de Lie des transpositions, J

I. Marin, L’alg` ebre de Lie des transpositions, J. Algebra 310 (2007), no. 2, 742–774

work page 2007

[13] [13]

Mishra and M

A. Mishra and M. K. Srinivasan, The Okounkov-Vershik approach to the representation theory of G ∼ Sn, J. Algebraic Combin. 44 (2016), no. 3, 519–560

work page 2016

[14] [14]

Okada, Wreath products by the symmetric groups and product posets of Young’s lattices , J

S. Okada, Wreath products by the symmetric groups and product posets of Young’s lattices , J. Combin. Theory Ser. A 55 (1990), no. 1, 14–32

work page 1990

[15] [15]

user269218 (https://math.stackexchange.com/users/269218/user269218), finite subgroups of PGL (2, C), Mathe- matics Stack Exchange, URL:https://math.stackexchange.com/q/1470267 (version: 2015-10-08). Department of Mathematical Sciences, DePaul University, Chicago, IL 60614, USA Email address: c.drupieski@depaul.edu Department of Mathematics, Oregon State U...

work page arXiv 2015