pith. sign in

arxiv: 2607.00515 · v1 · pith:7TQ44O2Bnew · submitted 2026-07-01 · 🧮 math.RT

Harish-Chandra theories, Ennola d-ality and Rouquier blocks for spetses

Gunter Malle This is my paper

Pith reviewed 2026-07-02 03:36 UTC · model grok-4.3

classification 🧮 math.RT
keywords spetsesunipotent charactersHarish-Chandra theoryEnnola dualityAlvis-Curtis dualityRouquier blockscomplex reflection groups
0
0 comments X

The pith

Unipotent characters of spetses satisfy all Harish-Chandra theories, Ennola d-alities for every integer d, Alvis-Curtis duality, and Rouquier block compatibility.

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

The paper establishes that the generalization of unipotent characters from finite reductive groups to spetses preserves the main structural properties of the original theory. It proves that Harish-Chandra series work as expected, that dualities including Ennola d-alities for all d and Alvis-Curtis duality are present, and that the characters remain compatible with the blocks arising from relative Hecke algebras. A reader would care because this makes the representation theory of a wider class of complex reflection groups accessible to the same methods used for groups of Lie type.

Core claim

It has been shown that the theory of unipotent characters of finite reductive groups admits a generalisation to objects whose Weyl group is a spetsial complex reflection group, called spetses. In this paper we prove several natural properties satisfied by the unipotent characters of spetses, in particular the validity of all Harish-Chandra theories as well as the existence of Ennola d-alities for all integers d, Alvis-Curtis duality, and compatibility with Rouquier blocks of relative Hecke algebras.

What carries the argument

Spetses, objects whose Weyl group is a spetsial complex reflection group, together with the unipotent characters that generalize those of finite reductive groups.

If this is right

  • All Harish-Chandra theories apply to the unipotent characters of every spets.
  • Ennola d-alities exist for every positive integer d.
  • Alvis-Curtis duality holds for these characters.
  • The unipotent characters are compatible with Rouquier blocks of the associated relative Hecke algebras.

Where Pith is reading between the lines

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

  • The results may permit explicit computation of character tables or series for spetsial groups that lack a reductive-group realization.
  • Compatibility with Rouquier blocks could connect the theory to modular representation questions for complex reflection groups.
  • The dualities might interact with existing classifications of irreducible representations of spetsial Weyl groups.

Load-bearing premise

The definition of spetses and their unipotent characters is constructed so that the structural properties needed for Harish-Chandra series, dualities, and block compatibility carry over without extra conditions.

What would settle it

Computation for a specific spetsial complex reflection group showing that the unipotent characters fail to partition into Harish-Chandra series or that an Ennola d-ality does not preserve character degrees would disprove the claim.

read the original abstract

It has been shown that the theory of unipotent characters of finite reductive groups admits a generalisation to objects whose Weyl group is a spetsial complex reflection group, called spetses. In this paper we prove several natural properties satisfied by the unipotent characters of spetses, in particular the validity of all Harish-Chandra theories as well as the existence of Ennola $d$-alities for all integers $d$, Alvis--Curtis duality, and compatibility with Rouquier blocks of relative Hecke algebras.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript generalizes the theory of unipotent characters from finite reductive groups to spetses whose Weyl groups are spetsial complex reflection groups. It establishes that all Harish-Chandra theories remain valid in this setting, that Ennola d-alities exist for every integer d, that Alvis-Curtis duality holds, and that the structures are compatible with Rouquier blocks of the associated relative Hecke algebras.

Significance. If the stated generalizations and proofs are complete, the work unifies and extends several fundamental structural results (Harish-Chandra series, dualities, and block theory) from the representation theory of finite groups of Lie type to the broader class of spetses. This provides a coherent framework for unipotent characters attached to complex reflection groups and may facilitate further study of their Hecke algebras and categorical properties.

minor comments (2)
  1. The introduction would benefit from an explicit list or table of the main theorems proved, with references to their locations in the text, to help readers navigate the generalizations.
  2. Notation for the spetsial condition and the definition of unipotent characters on spetses should be cross-referenced to the foundational references cited in §1 to ensure self-contained reading.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their positive summary and significance assessment, and for recommending acceptance. We are gratified that the generalizations of Harish-Chandra theories, Ennola d-alities, Alvis-Curtis duality, and Rouquier block compatibility for unipotent characters of spetses are viewed as a coherent extension of the theory from finite reductive groups.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained on prior spetses definition

full rationale

The paper states that a generalization of unipotent character theory to spetses (via spetsial complex reflection groups) has already been shown, then proves that this generalization satisfies Harish-Chandra theories, Ennola d-alities for all d, Alvis-Curtis duality, and Rouquier block compatibility. These are presented as independent verifications of natural properties rather than redefinitions, fitted parameters renamed as predictions, or load-bearing self-citations whose content reduces to the current paper. No equations or steps in the provided abstract reduce the claimed results to the inputs by construction, and the structure is consistent with external mathematical generalization rather than internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities; ledger left empty.

pith-pipeline@v0.9.1-grok · 5613 in / 1032 out tokens · 41378 ms · 2026-07-02T03:36:17.907529+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 1 canonical work pages

  1. [1]

    Brou\'e, S

    M. Brou\'e, S. Kim , Familles de caract\'eres des alg\'ebres de Hecke cyclotomiques. Adv. Math. 172 (2002), 53--136

    2002

  2. [2]

    Brou\'e, G

    M. Brou\'e, G. Malle , Zyklotomische Heckealgebren. Ast\'erisque 212 (1993), 119--189

    1993

  3. [3]

    Brou\'e, G

    M. Brou\'e, G. Malle, J. Michel , Generic blocks of finite reductive groups. Ast\'erisque 212 (1993), 7--92

    1993

  4. [4]

    Brou\'e, G

    M. Brou\'e, G. Malle, J. Michel , Towards spetses I. Transform. Groups 4 (1999), 157--218

    1999

  5. [5]

    Brou\'e, G

    M. Brou\'e, G. Malle, J. Michel , Split spetses for primitive reflection groups. Ast\'erisque No. 359 (2014)

    2014

  6. [6]

    Chavli , The BMR freeness conjecture for the tetrahedral and octahedral families

    E. Chavli , The BMR freeness conjecture for the tetrahedral and octahedral families. Comm. Algebra 46 (2018), 386--464

    2018

  7. [7]

    Chlouveraki , Rouquier blocks of the cyclotomic Ariki--Koike algebras

    M. Chlouveraki , Rouquier blocks of the cyclotomic Ariki--Koike algebras. Algebra Number Theory 2 (2008), 689--720

    2008

  8. [8]

    Chlouveraki , Rouquier blocks of the cyclotomic Hecke algebras of G(de,e,r)

    M. Chlouveraki , Rouquier blocks of the cyclotomic Hecke algebras of G(de,e,r) . Nagoya Math. J. 197 (2010), 175--212

    2010

  9. [9]

    Chlouveraki, G

    M. Chlouveraki, G. Malle , Intersections of blocks of cyclotomic Hecke algebras. Math. Z. 312 (2026), Paper No. 99

    2026

  10. [10]

    M. Geck, L. Iancu, G. Malle , Weights of Markov traces and generic degrees. Indag. Mathem. 11 (2000), 379--397

    2000

  11. [11]

    M. Geck, G. Malle , Fourier transforms and Frobenius eigenvalues for finite Coxeter groups. J. Algebra 260 (2003), 162--193

    2003

  12. [12]

    M. Geck, G. Malle , The Character Theory of Finite Groups of Lie Type. A Guided Tour. Cambridge Stud. Adv. Math., vol. 187 , Cambridge University Press, Cambridge, 2020

    2020

  13. [13]

    Kessar, G

    R. Kessar, G. Malle, J. Semeraro , Partial character tables for _ -spetses. Arxiv:2507.08502

    work page arXiv

  14. [14]

    Lacabanne, J

    A. Lacabanne, J. Michel , Fourier matrices and supercategories for families of primitive spetses. Manuscript in preparation

  15. [15]

    Lusztig , Coxeter orbits and eigenspaces of Frobenius

    G. Lusztig , Coxeter orbits and eigenspaces of Frobenius. Invent. Math. 38 (1976/77), 101--159

    1976

  16. [16]

    Lusztig , Appendix: Coxeter groups and unipotent representations

    G. Lusztig , Appendix: Coxeter groups and unipotent representations. Ast\'erisque 212 (1993), 191--203

    1993

  17. [17]

    Lusztig , Exotic Fourier transform

    G. Lusztig , Exotic Fourier transform. Duke Math. J. 73 (1994), 227--241

    1994

  18. [18]

    Malle , Unipotente Grade imprimitiver komplexer Spiegelungsgruppen

    G. Malle , Unipotente Grade imprimitiver komplexer Spiegelungsgruppen. J. Algebra 177 (1995), 768--826

    1995

  19. [19]

    Malle , Degr\'es relatifs des alg\`ebres cyclotomiques associ\'ees aux groupes de r\'eflexions complexes de dimension deux

    G. Malle , Degr\'es relatifs des alg\`ebres cyclotomiques associ\'ees aux groupes de r\'eflexions complexes de dimension deux. In: Finite Reductive Groups: Related Structures and Representations. Progr. Math. 141, Birkh\"auser, Basel (1997), 311--332

    1997

  20. [20]

    Malle , Spetses

    G. Malle , Spetses. Doc. Math. Extra Vol. ICM II (1998), 87--96

    1998

  21. [21]

    Malle , On the rationality and fake degrees of characters of cyclotomic algebras

    G. Malle , On the rationality and fake degrees of characters of cyclotomic algebras. J. Math. Sci. Univ. Tokyo 6 (1999), 647--677

    1999

  22. [22]

    Malle , On the generic degrees of cyclotomic algebras

    G. Malle , On the generic degrees of cyclotomic algebras. Represent. Theory 4 (2000), 342--369

    2000

  23. [23]

    Malle, R

    G. Malle, R. Rouquier , Familles de caract\`eres de groupes de r\'eflexions complexes. Represent. Theory 7 (2003), 610--640

    2003

  24. [24]

    Marin , Proof of the BMR conjecture for G_ 20 and G_ 21

    I. Marin , Proof of the BMR conjecture for G_ 20 and G_ 21 . J. Symbolic Comput. 92 (2019), 1--14

    2019

  25. [25]

    Michel , The development version of the CHEVIE package of GAP3

    J. Michel , The development version of the CHEVIE package of GAP3. J. Algebra 435 (2015), 308--336

    2015

  26. [26]

    Tsuchioka , BMR freeness for icosahedral family

    S. Tsuchioka , BMR freeness for icosahedral family. Exp. Math. 29 (2020), 234--245

    2020

  27. [27]

    Brou\'e, G

    M. Brou\'e, G. Malle , Th\'eor\`emes de Sylow g\'en\'eriques pour les groupes r\'eductifs sur les corps finis. Math. Ann. 292 (1992), 241--262. proof It was already shown in Theorem thm:fam that (I_ , ^ )^ -1 ( ( ,( , )) ) is a union of Rouquier blocks, so it remains to see that consists of a single block if it is non-empty. Again, for W a Weyl group, or ...

    1992