Block Degeneracy for Graded Lie Superalgebras of Cartan Type
Pith reviewed 2026-05-24 18:16 UTC · model grok-4.3
The pith
For p>3, graded restricted Cartan-type Lie superalgebras of types W, S and H have their restricted supermodule categories consisting of a single block.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If p>3 and g is a graded restricted Cartan type Lie superalgebra of type W, S or H, then the category of restricted g supermodules is of one block.
What carries the argument
Block degeneracy: the demonstration that the usual partition of the module category into blocks collapses to a single block for the indicated graded restricted superalgebras.
If this is right
- All simple restricted supermodules for these algebras lie in the same block.
- The endomorphism ring of the direct sum of all simple supermodules is the full matrix algebra over the division rings of the simples.
- There are no nontrivial central idempotents in the restricted enveloping algebra that split the category.
- Any two restricted supermodules can be connected by a finite chain of extensions.
Where Pith is reading between the lines
- The result may simplify the computation of extension groups between arbitrary restricted supermodules, since all live inside one block.
- It raises the question whether the same one-block property holds for the remaining Cartan type, type K, under analogous grading and restriction hypotheses.
- If the grading hypothesis can be relaxed, the statement would apply to a wider class of modules in positive characteristic.
Load-bearing premise
The Lie superalgebras must be graded, restricted, and of Cartan types W, S or H in characteristic p greater than 3.
What would settle it
An explicit example of a graded restricted Cartan-type Lie superalgebra of type W, S or H with p>3 whose category of restricted supermodules contains at least two distinct blocks.
read the original abstract
Let $\mathbb{k}$ be an algebraically closed field of characteristic $ p>0. $ In this short note, we illustrate a class of Lie superalgebras over $ \mathbb{k} $ such that the category of restricted supermodules is of one block. As an application, if $ p>3 $ and $ \mathfrak{g} $ is a graded restricted Cartan type Lie superalgebra of type W, S and H, then the category of restricted $ \mathfrak{g} $ supermodules is of one block.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines a class of graded restricted Lie superalgebras over an algebraically closed field of positive characteristic such that the category of restricted supermodules consists of a single block. As an application, it shows that if p>3 and g is a graded restricted Cartan-type Lie superalgebra of type W, S or H, then the category of restricted g-supermodules is of one block.
Significance. If correct, the result supplies a general criterion for block degeneracy in the restricted supermodule categories of graded Lie superalgebras, with explicit consequences for the Cartan-type cases W, S, H when p>3. This adds a concrete tool to the modular representation theory of Lie superalgebras.
minor comments (2)
- [Abstract] The abstract states that the authors 'illustrate a class'; the introduction should explicitly state the precise hypotheses that define the class so that the reader can verify the application to W, S, H without ambiguity.
- Notation for the restricted structure (p-map) and the grading should be introduced once in a preliminary section and used consistently thereafter.
Simulated Author's Rebuttal
We thank the referee for the positive report and the recommendation to accept the manuscript.
Circularity Check
No significant circularity
full rationale
The paper defines a general class of Lie superalgebras such that the restricted supermodule category consists of one block, then verifies that the graded restricted Cartan-type examples (W, S, H for p>3) satisfy the hypotheses of that class. No derivation step reduces a claimed prediction or uniqueness result to a fitted input, self-citation, or definitional tautology; the argument is self-contained once the general class is established and the examples are checked against its stated conditions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption k is an algebraically closed field of characteristic p > 0
- domain assumption The superalgebras are graded restricted of Cartan type
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.