Alperin's Main Problem of Block Theory

Alexander Moret\'o

Pith reviewed 2026-05-13 04:16 UTC · model grok-4.3

classification 🧮 math.RT math.GR

keywords Alperin conjectureblock theorycharacter theorynonvanishing characterssubnormalizerSylow subgroupsMcKay conjecturefinite groups

0 comments

The pith

The sets of irreducible characters nonvanishing at an element x, together with the subnormalizer of x, are the right local objects for governing character values in finite groups.

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

The paper proposes a conjectural framework for Alperin's main problem in block theory by replacing the usual focus on p'-degree characters and Sylow normalizers with sets of characters that do not vanish at specific elements. This matters to a sympathetic reader because it suggests a more precise way to link local and global information in the character theory of finite groups. If the idea holds, McKay's conjecture emerges naturally as a low-degree special case, and the same perspective applies to other classical questions. The author verifies the new conjectures in several families, including all simple groups whose Sylow p-subgroups are TI. The approach therefore offers a possible reorganization of how local control is understood in representation theory.

Core claim

This paper proposes a conjectural framework for Alperin's Main Problem of Block Theory from 1976. The character sets considered here are defined by nonvanishing at given elements, not only by degree conditions. From this point of view, McKay's conjecture is usually recovered as a first degree-level consequence. The guiding idea is that the right local objects governing character values are not, in general, the sets Irr_{p'}(G) and the normalizers of Sylow p-subgroups, but rather the sets Irr^x(G) of irreducible characters not vanishing at a given element x, together with the subnormalizer subgroup Sub_G(x). The paper states the basic conjectures, proposes stronger versions, and verifies the主

What carries the argument

The sets Irr^x(G) of irreducible characters not vanishing at a fixed element x, together with the associated subnormalizer subgroup Sub_G(x).

Load-bearing premise

The newly defined sets Irr^x(G) and subgroups Sub_G(x) control character values in the manner required by the stated conjectures.

What would settle it

A concrete finite group G, prime p, and element x in G such that the conjectured bijection or equality between Irr^x(G) and Irr^x(Sub_G(x)) fails to hold or the associated block correspondence does not match observed character values.

read the original abstract

This paper proposes a conjectural framework for Alperin's Main Problem of Block Theory from 1976. The character sets considered here are defined by nonvanishing at given elements, not only by degree conditions. From this point of view, McKay's conjecture is usually recovered as a first degree-level consequence. The guiding idea is that the right local objects governing character values are not, in general, the sets ${\rm Irr}_{p'}(G)$ and the normalizers of Sylow $p$-subgroups, but rather the sets ${\rm Irr}^x(G)$ of irreducible characters not vanishing at a given element $x$, together with the subnormalizer subgroup ${\rm Sub}_G(x)$. I state the basic conjectures of this theory, propose stronger versions, and verify the main conjectures in several families, including the simple groups with TI Sylow $p$-subgroups. I also show how this perspective reorganizes several classical questions in character theory.

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

This paper reframes Alperin's problem with non-vanishing character sets and subnormalizers but stays conjectural with checks only in selected families.

read the letter

The punchline is that this paper reframes Alperin's main problem around non-vanishing characters and subnormalizers instead of the standard p' sets and Sylow normalizers. It states some conjectures in this language and checks them in a few families. The new part is the guiding idea that Irr^x(G) and Sub_G(x) are the better local objects for controlling character values. This is not in the usual literature on these conjectures. It does reorganize some older questions in character theory and shows how McKay's conjecture drops out as a special case at the degree level. The verifications for simple groups with TI Sylow p-subgroups and similar cases look careful. Those are the right test cases to start with. The soft spot is that the whole thing is conjectural. The paper does not derive the conjectures from prior theorems or give a general argument why these objects should control the values. It just proposes them and verifies in selected groups. That keeps the soundness moderate. This paper is for people already working on block theory and the Alperin-McKay type problems. Someone outside that niche won't get much from it. A reader who cares about new ways to state these old questions could get some value. It deserves peer review. The conjectures are well-formed and the checks are explicit, so referees can assess whether the framework is worth pursuing.

Referee Report

0 major / 3 minor

Summary. The manuscript proposes a conjectural reorganization of Alperin's Main Problem in block theory. It argues that the appropriate local objects controlling character values are the sets Irr^x(G) of irreducible characters non-vanishing at a given element x, together with the subnormalizer Sub_G(x), rather than the conventional Irr_{p'}(G) and normalizers of Sylow p-subgroups. The paper states basic conjectures, proposes stronger versions, verifies the main conjectures in several families (including simple groups with TI Sylow p-subgroups), and shows how the perspective reorganizes classical questions in character theory.

Significance. If the conjectures hold, the framework could provide a useful new lens on the control of character values and block theory, potentially unifying or clarifying several classical problems. The explicit verification in concrete families (such as simple groups with TI Sylow p-subgroups) and the honest framing as conjectures rather than theorems constitute a positive contribution; the reorganization of existing questions is also a clear strength.

minor comments (3)

[Abstract] The abstract states that the conjectures are verified 'in several families' but the text focuses primarily on simple groups with TI Sylow p-subgroups; a brief enumeration of the families considered would improve clarity.
[Introduction] The definition and basic properties of the subnormalizer Sub_G(x) are central to the new objects; an explicit comparison with the ordinary normalizer N_G(<x>) in the introductory section would help readers follow the shift from classical local objects.
[Section 2 (definitions)] Notation for the sets Irr^x(G) is introduced without an immediate example; adding a small concrete illustration (e.g., for a small group and a p-element x) would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We are grateful to the referee for the careful reading and positive assessment of the manuscript, including the recommendation for minor revision. Since the report contains no specific major comments or criticisms, we have no point-by-point responses to individual referee remarks.

Circularity Check

0 steps flagged

No significant circularity; conjectural reorganization is self-contained

full rationale

The paper proposes new conjectures for Alperin's Main Problem by redefining local objects as Irr^x(G) (irreducible characters nonvanishing at x) and Sub_G(x) (subnormalizer), without deriving predictions from fitted parameters or prior results that reduce to the inputs by construction. It explicitly states the conjectures, offers stronger versions, and verifies them only in selected families (e.g., simple groups with TI Sylow p-subgroups), framing the work as a reorganization rather than a deductive chain. No self-definitional loops, fitted-input predictions, or load-bearing self-citations appear in the described structure; the central claims remain independent conjectural statements.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard axioms of finite group theory and ordinary character theory. It introduces no free parameters, no fitted constants, and no new postulated entities beyond the definitional sets Irr^x(G) and Sub_G(x).

axioms (1)

standard math Standard axioms of finite groups, their subgroups, and ordinary irreducible characters over the complex numbers.
Invoked throughout as the background for defining Irr^x(G) and Sub_G(x).

pith-pipeline@v0.9.0 · 5457 in / 1460 out tokens · 103204 ms · 2026-05-13T04:16:17.184820+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

[1]

J. L. Alperin,The main problem of block theory, inProceedings of the Conference on Finite Groups, Univ. Utah, Park City, Utah, 1975, Aca- demic Press, New York, 1976, 341–356

work page 1975
[2]

J. L. Alperin,Local representation theory, inThe Santa Cruz Confer- ence on Finite Groups, Proc. Sympos. Pure Math.37, Amer. Math. Soc., Providence, RI, 1980, 369–375. 52

work page 1980
[3]

Baumeister, T

B. Baumeister, T. C. Burness, R. M. Guralnick, and H. P. Tong-Viet, On the maximal overgroups of Sylow subgroups of finite groups, Adv. Math.444(2024), Paper No. 109632

work page 2024
[4]

H. I. Blau and G. O. Michler,Modular representation theory of fi- nite groups with T.I. Sylowp-subgroups, Trans. Amer. Math. Soc.319 (1990), 417–468

work page 1990
[5]

J. N. Bray, D. F. Holt, and C. M. Roney-Dougal,The Maximal Sub- groups of the Low-Dimensional Finite Classical Groups, London Math- ematical Society Lecture Note Series, vol. 407, Cambridge University Press, Cambridge, 2013

work page 2013
[6]

Breuer, private communication, 2025

T. Breuer, private communication, 2025

work page 2025
[7]

Casolo,Finite groups in which subnormalizers are subgroups, Rend

C. Casolo,Finite groups in which subnormalizers are subgroups, Rend. Sem. Mat. Univ. Padova82(1989), 25–53

work page 1989
[8]

Casolo,On the subnormalizer of ap-subgroup, J

C. Casolo,On the subnormalizer of ap-subgroup, J. Pure Appl. Algebra 77(1992), 231–238

work page 1992
[9]

D. A. Craven,The Theory of Fusion Systems: An Algebraic Approach, Cambridge Studies in Advanced Mathematics, vol. 131, Cambridge Uni- versity Press, Cambridge, 2011

work page 2011
[10]

E. C. Dade,Carter subgroups and Fitting heights of finite solvable groups, Illinois J. Math.13(1969), 449–514

work page 1969
[11]

L. L. Dornhoff,Group Representation Theory. Part A: Ordinary Rep- resentation Theory, Pure and Applied Mathematics, vol. 7, Marcel Dekker, New York, 1971

work page 1971
[12]

C. W. Eaton,Perfect generalized characters inducing the Alperin– McKay conjecture, J. Algebra320(2008), 2301–2327

work page 2008
[13]

C. W. Eaton and A. Moret´ o,Extending Brauer’s height zero conjecture to blocks with nonabelian defect groups, Int. Math. Res. Not. IMRN 2014(2014), no. 20, 5581–5601

work page 2014
[14]

Evseev,The McKay conjecture and Brauer’s induction theorem, Proc

A. Evseev,The McKay conjecture and Brauer’s induction theorem, Proc. Lond. Math. Soc. (3)106(2013), 1248–1290

work page 2013
[15]

G. A. Fern´ andez-Alcober and A. Moret´ o,Groups with two extreme char- acter degrees and their normal subgroups, Trans. Amer. Math. Soc.353 (2001), 2171–2192. 53

work page 2001
[16]

The GAP Group,GAP – Groups, Algorithms, and Programming, Ver- sion 4.14.0, 2024,https://www.gap-system.org

work page 2024
[17]

R. M. Guralnick and G. Tracey,Elements of finite groups contained in a unique maximal subgroup, in preparation

work page
[18]

Hartley,Sylowp-subgroups and localp-solubility, J

B. Hartley,Sylowp-subgroups and localp-solubility, J. Algebra23 (1972), 347–369

work page 1972
[19]

Huppert,Endliche Gruppen I, Grundlehren der mathematischen Wissenschaften, vol

B. Huppert,Endliche Gruppen I, Grundlehren der mathematischen Wissenschaften, vol. 134, Springer-Verlag, Berlin–New York, 1967

work page 1967
[20]

I. M. Isaacs,Character Theory of Finite Groups, Pure and Applied Mathematics, vol. 69, Academic Press, New York–London, 1976

work page 1976
[21]

Kessar and G

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

work page 2013
[22]

Knapp and P

W. Knapp and P. Schmid,Sylow intersections and Frobenius ratios, Arch. Math.123(2024), 9–17

work page 2024
[23]

Malle, private communication, 2024

G. Malle, private communication, 2024

work page 2024
[24]

Malle,Picky elements, subnormalisers, and character correspon- dences, Forum Math

G. Malle,Picky elements, subnormalisers, and character correspon- dences, Forum Math. Sigma13(2025), Paper No. e161, 21 pp

work page 2025
[25]

Malle,Subnormalisers of semisimple elements in finite groups of Lie type, arXiv:2511.01557

G. Malle,Subnormalisers of semisimple elements in finite groups of Lie type, arXiv:2511.01557

work page arXiv
[26]

Malle and A

G. Malle and A. A. Schaeffer Fry,The Picky Conjecture for groups of Lie type, arXiv:2510.18397

work page arXiv
[27]

Mar´ oti, J

A. Mar´ oti, J. Mart´ ınez, and A. Moret´ o,Covering the set ofp-elements in finite groups by Sylowp-subgroups, J. Algebra638(2024), 840–861

work page 2024
[28]

Mart´ ınez Madrid,The Picky and Subnormalizer Conjectures for sym- metric groups, arXiv:2508.05180

J. Mart´ ınez Madrid,The Picky and Subnormalizer Conjectures for sym- metric groups, arXiv:2508.05180

work page arXiv
[29]

Moret´ o, G

A. Moret´ o, G. Navarro, and N. Rizo,Character values ofp-solvable groups on picky elements, Math. Z.312(2026), Paper No. 122

work page 2026
[30]

Moret´ o and N

A. Moret´ o and N. Rizo,Local representation theory, picky elements and subnormalizers, unpublished manuscript. 54

work page
[31]

Navarro,Characters and Blocks of Finite Groups, London Math- ematical Society Lecture Note Series, vol

G. Navarro,Characters and Blocks of Finite Groups, London Math- ematical Society Lecture Note Series, vol. 250, Cambridge University Press, Cambridge, 1998

work page 1998
[32]

Navarro,Fusion in the character table, Proc

G. Navarro,Fusion in the character table, Proc. Amer. Math. Soc.126 (1998), 65–66

work page 1998
[33]

Navarro,Character Theory and the McKay Conjecture, Cambridge Studies in Advanced Mathematics, vol

G. Navarro,Character Theory and the McKay Conjecture, Cambridge Studies in Advanced Mathematics, vol. 175, Cambridge University Press, Cambridge, 2018

work page 2018
[34]

Navarro and B

G. Navarro and B. Sambale,Weights and nilpotent subgroups, Int. Math. Res. Not. IMRN 2021, 2526–2538

work page 2021
[35]

Navarro and P

G. Navarro and P. H. Tiep,The fields of values of characters of degree not divisible byp, Forum Math. Pi9(2021), Paper No. e2, 28 pp

work page 2021
[36]

Rae,Sylowp-subgroups of finitep-soluble groups, J

A. Rae,Sylowp-subgroups of finitep-soluble groups, J. London Math. Soc. (2)7(1973), 117–123

work page 1973
[37]

G. R. Robinson,A note on perfect isometries, J. Algebra226(2000), 71–73

work page 2000
[38]

Sambale,On redundant Sylow subgroups, J

B. Sambale,On redundant Sylow subgroups, J. Algebra650(2024), 1–9

work page 2024
[39]

C. W. Simpson and J. S. Frame,The character tables forSL(3, q), SU(3, q 2),P SL(3, q),P SU(3, q 2), Canad. J. Math.25(1973), 486– 494

work page 1973
[40]

Suzuki,On a class of doubly transitive groups, Ann

M. Suzuki,On a class of doubly transitive groups, Ann. of Math. (2) 75(1962), 105–145

work page 1962
[41]

R. W. van der Waall,On the structure of the groups related to the3- local subgroups of the finite simple groups of Ree type, J. Reine Angew. Math.309(1979), 156–175

work page 1979
[42]

H. N. Ward,On Ree’s series of simple groups, Trans. Amer. Math. Soc. 121(1966), 62–89. 55

work page 1966