pith. sign in

arxiv: 2606.04526 · v1 · pith:A64KKQ23new · submitted 2026-06-03 · 🧮 math.RT · math.GR

The subnormaliser conjecture and unipotent characters

Pith reviewed 2026-06-28 04:17 UTC · model grok-4.3

classification 🧮 math.RT math.GR
keywords subnormaliser conjectureunipotent charactersgroups of Lie typed-Harish-Chandra theorygeneric subnormaliserscharacter bijectionsGalois equivarianceBrauer blocks
0
0 comments X

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.

The paper works to prove specific cases of the subnormaliser conjecture, which posits certain character bijections between a finite group and its subnormalisers. It does so by constructing generic versions of these bijections that apply to unipotent characters in nearly simple groups of Lie type. The construction uses an extended form of d-Harish-Chandra theory that incorporates generic subnormalisers. When the group has abelian Sylow ℓ-subgroups, the resulting maps meet every requirement listed in the conjecture and also preserve extra structure such as character values and blocks.

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

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

  • 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.

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 / 1 minor

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)
  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

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

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

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the new formulation of generic subnormalisers and the extension of d-Harish-Chandra theory, with no free parameters or invented entities having independent evidence mentioned.

axioms (2)
  • standard math Standard assumptions in the theory of algebraic groups and their finite points
    The paper relies on background from algebraic group theory for groups of Lie type.
  • ad hoc to paper The extension of d-Harish-Chandra theory to generic subnormalisers is valid
    Formulated in the paper to enable the generic bijections for unipotent characters.
invented entities (1)
  • generic subnormalisers no independent evidence
    purpose: To extend d-Harish-Chandra theory for deriving character bijections in nearly simple groups of Lie type
    New concept introduced in the paper as certain usually disconnected reductive subgroups.

pith-pipeline@v0.9.1-grok · 5665 in / 1484 out tokens · 45276 ms · 2026-06-28T04:17:48.495057+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

30 extracted references · 5 canonical work pages · 1 internal anchor

  1. [1]

    Brou\'e, G

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

  2. [2]

    Brou\'e, G

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

  3. [3]

    Brou\'e, G

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

  4. [4]

    Cabanes and M

    M. Cabanes and M. Enguehard , On unipotent blocks and their ordinary characters. Invent. Math. 117 (1994), 149--164

  5. [5]

    Dudas, G

    O. Dudas, G. Malle , Rationality of extended unipotent characters. Arch. Math. (Basel) 123 (2024), 455--466

  6. [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

  7. [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

  8. [8]

    Kessar, G

    R. Kessar, G. Malle , Quasi-isolated blocks and Brauer's height zero conjecture. Ann. of Math. (2) 178 (2013), 321--384

  9. [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

  10. [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

  11. [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

  12. [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

  13. [13]

    Malle , Picky elements, subnormalisers, and character correspondences

    G. Malle , Picky elements, subnormalisers, and character correspondences. Forum Math. Sigma 13 (2025), Paper No. e161

  14. [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. [15]

    Malle, A

    G. Malle, A. Schaeffer Fry , The picky conjecture for groups of Lie type in non-defining characteristic. ArXiv: 2510.18397

  16. [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

  17. [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. [18]

    Alperin's Main Problem of Block Theory

    A. Moret\'o , Alperin's main problem of block theory. ArXiv: 2605.11988

  19. [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

  20. [20]

    Moret\'o, N

    A. Moret\'o, N. Rizo , Local representation theory, picky elements and subnormalizers. Manuscript, 2025

  21. [21]

    Navarro , The McKay conjecture and Galois automorphisms

    G. Navarro , The McKay conjecture and Galois automorphisms. Ann. of Math. (2) 160 (2004), 1129--1140

  22. [22]

    Ruhstorfer, A

    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. [23]

    The GAP Group , GAP -- Groups, Algorithms, and Programming, Version 4.12.2, 2022

  24. [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

  25. [25]

    Cabanes, M

    M. Cabanes, M. Enguehard , On blocks of finite reductive groups and twisted induction. Adv. Math. 145 (1999), 189--229

  26. [26]

    Digne, J

    F. Digne, J. Michel , Groupes r\' e ductifs non connexes. Ann. Sci. \' E cole Norm. Sup. (4) 27 (1994), 345--406

  27. [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

  28. [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

  29. [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. [30]

    Malle, B

    G. Malle, B. Sp\"ath , Characters of odd degree. Ann. of Math. (2) 184 (2016), 869--908