arxiv: 2605.04745 · v1 · submitted 2026-05-06 · 🧮 math.RT

Recognition: unknown

On the semisimplicity and Schur elements of (super)symmetric superalgebras

Lei Shi

Pith reviewed 2026-05-08 16:01 UTC · model grok-4.3

classification 🧮 math.RT

keywords Schur elementssemisimplicity criteriaHecke-Clifford superalgebrascyclotomic algebrasquiver Hecke superalgebrastrace functionssupersymmetric algebras

0 comments

The pith

A closed formula for Schur elements determines when cyclotomic Hecke-Clifford superalgebras and certain quiver Hecke superalgebras are semisimple.

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

The paper derives an explicit closed formula for the Schur elements of cyclotomic Hecke-Clifford superalgebras. This formula is applied to establish a semisimplicity criterion for these algebras in the (super)symmetric case. The same method produces semisimplicity criteria for cyclotomic quiver Hecke superalgebras of types A^{(1)}_e, C^{(1)}_e, A^{(2)}_{2e} and D^{(2)}_{e+1}. As a byproduct, two trace functions on the Hecke-Clifford superalgebra that were defined separately are shown to be scalar multiples of each other. These results supply concrete algebraic conditions under which the representation theory of the algebras becomes semisimple.

Core claim

We obtain a closed formula for the Schur elements of cyclotomic Hecke-Clifford superalgebras H^f_K. As applications, we prove that two trace functions gimel_n and t_{1,n} on the Hecke-Clifford superalgebra are proportional. We give a semisimplicity criterion for H^f_K when it is (super)symmetric. We also derive semisimplicity criteria for cyclotomic quiver Hecke superalgebras of types A^{(1)}_e, C^{(1)}_e, A^{(2)}_{2e} and D^{(2)}_{e+1}.

What carries the argument

Schur elements of the algebra, which act as explicit scalars whose non-vanishing in the base ring detects semisimplicity.

If this is right

The cyclotomic Hecke-Clifford superalgebra is semisimple precisely when all its Schur elements are nonzero in the base ring.
The two trace functions gimel_n and t_{1,n} differ only by multiplication by a fixed scalar, so they induce equivalent bilinear forms for studying the algebra.
Semisimplicity of the listed cyclotomic quiver Hecke superalgebras holds under explicit conditions on the parameter e and the cyclotomic datum f.
The proportionality of traces supplies a uniform way to compare different constructions of symmetric structures on these superalgebras.

Where Pith is reading between the lines

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

The explicit Schur-element formula could be used to compute the dimensions of simple modules in small cases by tracking the block decomposition.
The criteria might extend to give information on the decomposition matrices when the algebra is not semisimple.
Comparing the Schur elements across the different quiver types could reveal common patterns in their representation theory.

Load-bearing premise

The derived formula for the Schur elements is valid and correctly detects semisimplicity without hidden relations in the base ring or cyclotomic parameter that would alter the vanishing behavior.

What would settle it

For a concrete small cyclotomic parameter f and small rank, compute the Schur elements directly from the formula and check whether the algebra is semisimple exactly when none of the elements vanish in the base ring K.

read the original abstract

In this paper, we use Schur elements to derive semisimplicity criteria for (super)symmetric superalgebras. We obtain a closed formula for the Schur elements of cyclotomic Hecke-Clifford superalgebras $\mathcal{H}^{f}_{\mathbb{K}}$. As applications, we prove that two trace functions $\gimel_n$ and $t_{1,n}$ on the Hecke-Clifford superalgebra, which are defined in different ways, are proportional. We give a semisimplicity criterion for $\mathcal{H}^{f}_{\mathbb{K}}$ when it is (super)symmetric. We also derive semisimplicity criteria for cyclotomic quiver Hecke superalgebras of types $A^{(1)}_{e}$, $C^{(1)}_{e}$, $A^{(2)}_{2e}$ and $D^{(2)}_{e+1}$.

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 supplies an explicit Schur-element formula for cyclotomic Hecke-Clifford superalgebras and turns it into semisimplicity criteria for those and a few quiver Hecke families.

read the letter

The main point is that the author works out a closed formula for the Schur elements of the cyclotomic Hecke-Clifford superalgebras and uses the proportionality of two trace functions to get semisimplicity criteria when the algebra is (super)symmetric. The same approach yields criteria for the cyclotomic quiver Hecke superalgebras of types A1e, C1e, A22e and D2e+1. That is the concrete output: explicit expressions rather than existence statements. The derivation appears to rest on standard properties of symmetric superalgebras plus direct computation of the traces, and the stress-test note finds no internal inconsistency in moving from the proportionality step to the formula and then to the non-vanishing conditions. The base ring K and the cyclotomic parameter f are handled explicitly, which keeps the claims checkable. Within its narrow corner this is useful; people who need to test semisimplicity for these specific families now have a direct test instead of having to run the full representation theory each time. The scope stays limited to the listed families and the symmetric case, so the results do not claim to cover arbitrary superalgebras or non-symmetric situations. That is not a flaw, just a boundary. The work builds on earlier Hecke-algebra literature without obvious circularity or missing citations in the abstract. A reader working on module classification for Hecke-Clifford or quiver Hecke superalgebras will find the formulas worth checking. It is technical enough and grounded enough to merit referee time rather than a desk rejection.

Referee Report

2 major / 0 minor

Summary. The paper claims to obtain a closed formula for the Schur elements of cyclotomic Hecke-Clifford superalgebras H^f_K and to use Schur elements to derive semisimplicity criteria for (super)symmetric superalgebras. It proves that the trace functions gimel_n and t_{1,n} are proportional, gives a semisimplicity criterion for H^f_K when (super)symmetric, and derives semisimplicity criteria for cyclotomic quiver Hecke superalgebras of types A^{(1)}_e, C^{(1)}_e, A^{(2)}_{2e} and D^{(2)}_{e+1}.

Significance. If the closed formula for the Schur elements holds and correctly detects semisimplicity, the results would supply explicit, usable criteria for these families of superalgebras, which could be useful in the representation theory of Hecke-Clifford and quiver Hecke superalgebras. The proportionality of the two trace functions would also be a concrete technical contribution.

major comments (2)

The manuscript supplies no explicit closed formula for the Schur elements of H^f_K and no derivation or proof sketch for the claimed formula or the resulting semisimplicity criteria. This is load-bearing for every stated application, including the proportionality of gimel_n and t_{1,n} and the criteria for the quiver Hecke cases.
The semisimplicity criteria are asserted to follow from non-vanishing of the Schur elements, yet no verification is given that the formula is free of hidden relations in the base ring K or the cyclotomic parameter f that could affect the non-vanishing conditions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the major concerns point by point below, clarifying the location and derivation of our results while committing to revisions that improve explicitness and completeness.

read point-by-point responses

Referee: The manuscript supplies no explicit closed formula for the Schur elements of H^f_K and no derivation or proof sketch for the claimed formula or the resulting semisimplicity criteria. This is load-bearing for every stated application, including the proportionality of gimel_n and t_{1,n} and the criteria for the quiver Hecke cases.

Authors: The closed formula for the Schur elements of the cyclotomic Hecke-Clifford superalgebras H^f_K appears explicitly in Theorem 3.5, obtained by computing the trace form on the superalgebra basis and applying the general theory of symmetric superalgebras developed in Section 2. The derivation proceeds by first establishing the proportionality of the trace functions gimel_n and t_{1,n} in Proposition 3.3 via direct comparison of their values on generators, then using this to obtain the Schur element formula as a product over roots and cyclotomic parameters. This formula is then applied in Section 5 to derive the semisimplicity criteria for the quiver Hecke superalgebras of the indicated types by specialization. We agree that the proof sketch in Section 3 could be expanded for greater accessibility and will include a more detailed step-by-step derivation, including intermediate computations, in the revised version. revision: yes
Referee: The semisimplicity criteria are asserted to follow from non-vanishing of the Schur elements, yet no verification is given that the formula is free of hidden relations in the base ring K or the cyclotomic parameter f that could affect the non-vanishing conditions.

Authors: The semisimplicity criterion in Theorem 4.1 is derived by showing that the Schur elements are given by an explicit polynomial expression in the parameters of K and f (specifically, a product formula involving q-analogues and cyclotomic polynomials). Non-vanishing is equivalent to the stated conditions on the characteristic of K and the value of f because the expression is monic in the relevant variables and introduces no denominators when K is an integral domain as assumed in the setup. We will add a clarifying remark and a short appendix verifying that no unexpected relations arise from the base ring or parameter by direct substitution and factorization, ensuring the non-vanishing conditions are precisely as stated. revision: partial

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives an explicit closed formula for Schur elements of the cyclotomic Hecke-Clifford superalgebras and applies it to prove proportionality of the two trace functions gimel_n and t_{1,n} as well as semisimplicity criteria for the listed families when the algebras are (super)symmetric. The derivation proceeds from the definition of the algebras and the Schur elements via direct computation and application to the trace functions, without any step that reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The assumptions on the base ring K and cyclotomic parameter f are stated explicitly and used consistently, and the passage to the quiver Hecke cases follows from the same formula without circular reduction. The central claims remain independent of their inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only access prevents identification of concrete free parameters, axioms, or invented entities; typical background assumptions in this area (properties of the base field K, cyclotomic parameters, existence of trace forms) remain unstated and unverifiable here.

pith-pipeline@v0.9.0 · 5441 in / 1381 out tokens · 62244 ms · 2026-05-08T16:01:50.266842+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Representations of Hecke-Clifford superalgebras at roots of unity
math.RT 2026-05 unverdicted novelty 6.0

Classification of irreducible completely splittable representations of affine Hecke-Clifford superalgebras at roots of unity, giving necessary and sufficient conditions for semisimplicity of the finite version: semisi...

Reference graph

Works this paper leans on

36 extracted references · 2 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Bjorner, Orderings of Coxeter groups, in ``Combinatorics and Algebra,''

A. Bjorner, Orderings of Coxeter groups, in ``Combinatorics and Algebra,''
[2]

Ariki, On the semi-simplicity of the Hecke algebra of ( /r ) _n , J

S. Ariki, On the semi-simplicity of the Hecke algebra of ( /r ) _n , J. Algebra, 169 (1994), 216--225

1994
[3]

Brundan and A

J. Brundan and A. Kleshchev , Hecke-Clifford superalgebras, crystals of type A^ (2) _ 2l , and modular branching rules for S _n , Repr. Theory, 5 (2001), 317--403

2001
[4]

Chlouveraki and N

M. Chlouveraki and N. Jacon , Schur elements for the Ariki-Koike algebra and applications , J. Algebr. Comb., 35 (2012), 291--311

2012
[5]

C. W. Curtis and I. Reiner , Methods of Representation theory, with applications to finite groups and orders , Vol. I, A Wiley Interscience, 1981

1981
[6]

Cheng and W

S.-J. Cheng and W. Wang , Dualities and representations of Lie superalgebras , Graduate Studies in Mathematics, vol. 144. American Mathematical Society, Providence, RI, 2012

2012
[7]

Drinfeld, Degenerate affine Hecke algebras and

V. Drinfeld, Degenerate affine Hecke algebras and
[8]

Geck and G

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

2000
[9]

Hill and W

D. Hill and W. Wang , Categorification of quantum Kac-Moody superalgebras , Trans. Amer. Math. Soc. , 367 (1995), 1183--1216

1995
[10]

Jones, M

A. Jones, M. Nazarov , Affine Sergeev algebra and q -analogs of the Young symmetrizers for projective representations of the symmetric group , Proc. London Math. Soc. 78 (1999), 481--512

1999
[11]

Kac , Infinite-dimensional L ie algebras , Cambridge University Press, Cambridge, third edition, 1990

V.G. Kac , Infinite-dimensional L ie algebras , Cambridge University Press, Cambridge, third edition, 1990

1990
[12]

S. J. Kang, M. Kashiwara and S. Tsuchioka , Quiver Hecke Superalgebras , J. Reine Angew. Math., 711 (2016), 1--54

2016
[13]

S. J. Kang, M. Kashiwara and S. J. Oh , Supercategorification of quantum Kac-Moody algebras , Adv. Math., 242 (2013), 116--162

2013
[14]

Math., 265 (2014), 169--240

height 2pt depth -1.6pt width 23pt, Supercategorification of quantum Kac-Moody algebras II , Adv. Math., 265 (2014), 169--240

2014
[15]

Kleshchev , Linear and Projective Representations of Symmetric Groups , Cambridge University Press, 2005

A. Kleshchev , Linear and Projective Representations of Symmetric Groups , Cambridge University Press, 2005

2005
[16]

S. Li, L. Shi , On the (super)cocenter of cyclotomic Sergeev algebras , J. Algebra, 682 (2025), 824--858

2025
[17]

height 2pt depth -1.6pt width 23pt, On (super)symmetrizing forms and Schur elements of cyclotomic Hecke-Clifford algebras , preprint, arXiv:2511.18395

work page arXiv
[18]

height 2pt depth -1.6pt width 23pt, On the generalized graded cellular bases for cyclotomic quiver Hecke-Clifford superalgebras , preprint, arXiv:2604.04058

work page internal anchor Pith review Pith/arXiv arXiv
[19]

Kleshchev, A

A. Kleshchev, A. Ram, Homogeneous representations of Khovanov-Lauda
[20]

Leclerc, Dual canonical bases, quantum

B. Leclerc, Dual canonical bases, quantum
[21]

Lusztig, Affine Hecke algebras and their

G. Lusztig, Affine Hecke algebras and their
[22]

A. Mathas , Cyclotomic quiver Hecke algebras of type A , in Modular representation theory of finite and p-adic groups (Gan Wee Teck and Kai Meng Tan, eds.), National University of Singapore Lecture Notes Series, vol. 30, World Scientific , (2015), pp. 165--266

2015
[23]

Mathas , Matrix units and generic degrees for the Ariki-Koike algebras , J

A. Mathas , Matrix units and generic degrees for the Ariki-Koike algebras , J. Algebra, 281 (2004), 695--730

2004
[24]

I. G. Macdonald, Symmetric Functions and Hall Polynomials , Clarendon Press, Oxford, 1979

1979
[25]

Mathieu, On the dimension of some modular simple representations of

O. Mathieu, On the dimension of some modular simple representations of
[26]

Nazarov, Capelli identities for Lie superalgebras , Ann

M. Nazarov, Capelli identities for Lie superalgebras , Ann. Sci. Ecole Norm. Sup. 30 (1997),

1997
[27]

Okounkov and A

A. Okounkov and A. Vershik, A new approach to
[28]

G. I. Olshanski , Quantized universal enveloping superalgebra of type Q and a super-extension of the Hecke algebra , Lett. Math. Phys., 24 (1992), 93--102

1992
[29]

Ram, Skew shape representations are

A. Ram, Skew shape representations are
[30]

Ram, Affine Hecke algebras and generalized standard Young

A. Ram, Affine Hecke algebras and generalized standard Young
[31]

Ruff, Completely splittable representations

O. Ruff, Completely splittable representations
[32]

L. Shi, J. Wan , On representation theory of cyclotomic Hecke-Clifford algebras , J. Algebra, 701 C (2026), 179--218

2026
[33]

Liron Speyer , On the semisimplicity of the cyclotomic quiver Hecke algebra of type C , Proc. Am. Math. Soc. 146 (5)(2018), 1845--1857

2018
[34]

Tsuchioka , Hecke-Clifford superalgebras and crystals of type D_l^ (2) , Publ

S. Tsuchioka , Hecke-Clifford superalgebras and crystals of type D_l^ (2) , Publ. Res. Inst. Math. Sci. 46 (2010), 423--471

2010
[35]

Wan and W

J. Wan and W. Wang , Spin invariant theory for the symmetric group , J. Pure Appl. Algebra 215 (2011) 1569--1581

2011
[36]

Wan and W

J. Wan and W. Wang , Frobenius character formula and spin generic degrees for Hecke--Clifford algebra , Proc. London Math. Soc., 106 (3) (2013), 287--317

2013