The subnormaliser conjecture and unipotent characters
Pith reviewed 2026-06-28 04:17 UTC · model grok-4.3
The pith
Instances of the subnormaliser conjecture hold via generic bijections on unipotent characters of nearly simple groups of Lie type.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove instances of the subnormaliser conjecture on character bijections for finite groups by deriving generic versions of such bijections for unipotent characters of nearly simple groups of Lie type. For this, we formulate an extension of d-Harish-Chandra theory to what we call generic subnormalisers, which are certain, usually disconnected, reductive subgroups of a simple algebraic group. For very good primes the generic bijections give rise to bijections to certain subgroups that should contain subnormalisers and thus be suitable for an eventual inductive approach. If the group in question has abelian Sylow ℓ-subgroups for some prime ℓ then our bijections satisfy the properties predicte
What carries the argument
The extension of d-Harish-Chandra theory to generic subnormalisers, which are certain usually disconnected reductive subgroups of a simple algebraic group.
If this is right
- For very good primes the generic constructions produce subgroups containing subnormalisers that support an inductive strategy.
- When Sylow ℓ-subgroups are abelian the bijections satisfy every property required by the subnormaliser conjecture.
- Character values are preserved up to sign.
- Brauer ℓ-blocks are preserved.
- The bijections are Galois equivariant.
Where Pith is reading between the lines
- The same generic-subnormaliser construction supplies a model that could be tested on other families of characters.
- The method isolates the Lie-type unipotent case as a base step for broader inductive proofs of the conjecture.
Load-bearing premise
The generic bijections obtained for very good primes produce maps onto subgroups that contain the actual subnormalisers.
What would settle it
A concrete nearly simple group of Lie type possessing abelian Sylow ℓ-subgroups together with an explicit unipotent character bijection that fails to preserve Brauer ℓ-blocks or Galois action.
read the original abstract
We prove instances of the subnormaliser conjecture on character bijections for finite groups by deriving generic versions of such bijections for unipotent characters of nearly simple groups of Lie type. For this, we formulate an extension of $d$-Harish-Chandra theory to what we call \emph{generic subnormalisers}, which are certain, usually disconnected, reductive subgroups of a simple algebraic group. For very good primes the generic bijections give rise to bijections to certain subgroups that should contain subnormalisers and thus be suitable for an eventual inductive approach. If the group in question has abelian Sylow $\ell$-subgroups for some prime~$\ell$ then our bijections satisfy the properties predicted by the subnormaliser conjecture, and moreover preserve character values up to sign, Brauer $\ell$-blocks, and are Galois equivariant.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves instances of the subnormaliser conjecture on character bijections for finite groups by deriving generic versions of such bijections for unipotent characters of nearly simple groups of Lie type. It formulates an extension of d-Harish-Chandra theory to generic subnormalisers (certain, usually disconnected, reductive subgroups of a simple algebraic group). For very good primes the generic bijections give rise to bijections to certain subgroups that should contain subnormalisers. When the group has abelian Sylow ℓ-subgroups for some prime ℓ, the bijections satisfy the properties predicted by the conjecture, preserve character values up to sign, preserve Brauer ℓ-blocks, and are Galois equivariant.
Significance. If the central derivations hold, the work supplies concrete, verifiable instances of the subnormaliser conjecture for unipotent characters in groups of Lie type. The extension of d-Harish-Chandra theory to generic subnormalisers offers a new technical tool that may support inductive arguments for broader conjectures on character bijections. The explicit verification in the abelian-Sylow case, including preservation of values, blocks, and Galois action, strengthens the evidence for the conjecture in this setting.
minor comments (1)
- The abstract refers to 'nearly simple groups of Lie type' without a precise definition in the provided summary; a short clarifying sentence or reference to the standard definition would aid readers.
Simulated Author's Rebuttal
We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report.
Circularity Check
No significant circularity detected
full rationale
The paper's central claim is an extension of existing d-Harish-Chandra theory to generic subnormalisers, followed by derivation of generic bijections for unipotent characters and verification of their properties (value preservation, block preservation, Galois equivariance) under the abelian Sylow condition. No step reduces by construction to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests solely on a self-citation chain. The derivation is presented as building on prior independent theory with new definitions and explicit verifications for the stated cases, making the result self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard assumptions in the theory of algebraic groups and their finite points
- ad hoc to paper The extension of d-Harish-Chandra theory to generic subnormalisers is valid
invented entities (1)
-
generic subnormalisers
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Brou\'e, G
M. Brou\'e, G. Malle , Zyklotomische Heckealgebren. Ast\'erisque 212 (1993), 119--189
1993
-
[2]
Brou\'e, G
M. Brou\'e, G. Malle, J. Michel , Generic blocks of finite reductive groups. Ast\'erisque 212 (1993), 7--92
1993
-
[3]
Brou\'e, G
M. Brou\'e, G. Malle, J. Michel , Towards spetses I. Transform. Groups 4 (1999), 157--218
1999
-
[4]
Cabanes and M
M. Cabanes and M. Enguehard , On unipotent blocks and their ordinary characters. Invent. Math. 117 (1994), 149--164
1994
-
[5]
Dudas, G
O. Dudas, G. Malle , Rationality of extended unipotent characters. Arch. Math. (Basel) 123 (2024), 455--466
2024
-
[6]
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
-
[7]
James, A
G. James, A. Kerber , The Representation Theory of the Symmetric Group. Encyclopedia of Mathematics and its Applications, 16. Addison-Wesley Publishing Co., Reading, Mass., 1981
1981
-
[8]
Kessar, G
R. Kessar, G. Malle , Quasi-isolated blocks and Brauer's height zero conjecture. Ann. of Math. (2) 178 (2013), 321--384
2013
-
[9]
Kessar, G
R. Kessar, G. Malle, J. Semeraro , Weight conjectures for -compact groups and spetses. Ann. Sci. École Norm. Sup. (4) 57 (2024), 841--896
2024
-
[10]
Malle , Height 0 characters of finite groups of Lie type
G. Malle , Height 0 characters of finite groups of Lie type. Represent. Theory 11 (2007), 192--220
2007
-
[11]
Malle , Extensions of unipotent characters and the inductive McKay condition
G. Malle , Extensions of unipotent characters and the inductive McKay condition. J. Algebra 320 (2008), 2963--2980
2008
-
[12]
Malle , On the inductive Alperin--McKay and Alperin weight conjecture for groups with abelian Sylow subgroups
G. Malle , On the inductive Alperin--McKay and Alperin weight conjecture for groups with abelian Sylow subgroups. J. Algebra 397 (2014), 190--208
2014
-
[13]
Malle , Picky elements, subnormalisers, and character correspondences
G. Malle , Picky elements, subnormalisers, and character correspondences. Forum Math. Sigma 13 (2025), Paper No. e161
2025
-
[14]
Malle , Subnormalisers of semisimple elements in finite groups of Lie type
G. Malle , Subnormalisers of semisimple elements in finite groups of Lie type. J. Group Theory, to appear. ArXiv: 2511.01557
- [15]
-
[16]
Malle, D
G. Malle, D. Testerman , Linear Algebraic Groups and Finite Groups of Lie Type. Cambridge Stud. Adv. Math., vol. 133 , Cambridge University Press, Cambridge, 2011
2011
-
[17]
Mart \'i nez Madrid , The Moret \'o --Rizo conjectures for symmetric groups
J. Mart \'i nez Madrid , The Moret \'o --Rizo conjectures for symmetric groups. ArXiv: 2508.05180
-
[18]
Alperin's Main Problem of Block Theory
A. Moret\'o , Alperin's main problem of block theory. ArXiv: 2605.11988
work page internal anchor Pith review Pith/arXiv arXiv
-
[19]
Moret\'o, G
A. Moret\'o, G. Navarro, N. Rizo , Character values of p -solvable groups on picky elements. Math. Z. 312 (2026), Paper No. 122, 14 pp
2026
-
[20]
Moret\'o, N
A. Moret\'o, N. Rizo , Local representation theory, picky elements and subnormalizers. Manuscript, 2025
2025
-
[21]
Navarro , The McKay conjecture and Galois automorphisms
G. Navarro , The McKay conjecture and Galois automorphisms. Ann. of Math. (2) 160 (2004), 1129--1140
2004
-
[22]
L. Ruhstorfer, A. A. Schaeffer Fry, B. Späth, J. Taylor , Towards the inductive McKay--Navarro Condition for groups of Lie type. ArXiv: 2506.17123
-
[23]
The GAP Group , GAP -- Groups, Algorithms, and Programming, Version 4.12.2, 2022
2022
-
[24]
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
1992
-
[25]
Cabanes, M
M. Cabanes, M. Enguehard , On blocks of finite reductive groups and twisted induction. Adv. Math. 145 (1999), 189--229
1999
-
[26]
Digne, J
F. Digne, J. Michel , Groupes r\' e ductifs non connexes. Ann. Sci. \' E cole Norm. Sup. (4) 27 (1994), 345--406
1994
-
[27]
Digne, J
F. Digne, J. Michel , Representations of Finite Groups of Lie Type. Second edition. London Mathematical Society Student Texts, 95. Cambridge University Press, Cambridge, 2020
2020
-
[28]
Gorenstein, R
D. Gorenstein, R. Lyons, R. Solomon , The Classification of the Finite Simple Groups, Number 3. Math. Surveys Monogr., vol. 40.3 , American Mathematical Society, Providence, RI, 1998
1998
-
[29]
L\"ubeck , Centralizers and numbers of semisimple classes in exceptional groups of Lie type
F. L\"ubeck , Centralizers and numbers of semisimple classes in exceptional groups of Lie type. Available at www.math.rwth-aachen.de/\ Frank.Luebeck/chev/CentSSClasses/index.html
-
[30]
Malle, B
G. Malle, B. Sp\"ath , Characters of odd degree. Ann. of Math. (2) 184 (2016), 869--908
2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.