pith. sign in

arxiv: 2604.09974 · v1 · submitted 2026-04-11 · 🧮 math.GR

2-blocks with abelian defect groups and inertial quotient of prime order

Qianhu Zhou , Kun Zhang This is my paper

Pith reviewed 2026-05-10 16:43 UTC · model grok-4.3

classification 🧮 math.GR
keywords 2-blocksabelian defect groupsinertial quotientBroué's abelian defect group conjecturemodular representation theoryfinite groupsdefect groupsBrauer correspondence
0
0 comments X

The pith

All 2-blocks with abelian defect groups and inertial quotient of prime order fall into explicit families, for which Broué's abelian defect group conjecture holds.

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

The paper classifies every 2-block of a finite group algebra whose defect group is abelian and whose inertial quotient has prime order. The classification proceeds by analyzing the possible actions of the inertial quotient on the defect group and invoking prior results on blocks with small inertial quotients to produce a short list of families. For each family in the list the authors establish a derived equivalence between the block algebra and its Brauer correspondent in the normalizer of the defect group. A reader cares because the result confirms a major conjecture in a new, concrete range of cases and supplies explicit descriptions of the blocks that satisfy the given constraints.

Core claim

Every 2-block with abelian defect group D and inertial quotient E of prime order p belongs to one of a finite collection of families determined by the isomorphism type of D and the faithful action of E on D; in each such family the block algebra is derived equivalent to its Brauer correspondent, so Broué's abelian defect group conjecture is true for all blocks under consideration.

What carries the argument

The inertial quotient E of prime order acting faithfully on the abelian defect group D, together with the resulting possible block algebras obtained from known constructions in block theory.

If this is right

  • Every such block arises from one of a short list of explicit group-theoretic constructions.
  • Derived equivalences confirming Broué's conjecture are established case by case for the classified blocks.
  • The possible numbers of irreducible Brauer characters and ordinary characters are determined for each family.
  • The blocks satisfy additional structural properties that follow directly from the classification, such as specific fusion systems.

Where Pith is reading between the lines

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

  • The same case-by-case method may extend to inertial quotients of small composite order.
  • The explicit families supply concrete test cases for other conjectures about blocks with abelian defect groups.
  • The classification narrows the search space for possible exotic blocks in the broader theory of 2-blocks.

Load-bearing premise

There are no 2-blocks with abelian defect groups and prime-order inertial quotients that lie outside the enumerated families.

What would settle it

The construction or discovery of a single 2-block with abelian defect group D and inertial quotient E of prime order p whose algebra is not Morita or derived equivalent to any block in the listed families would disprove the classification.

read the original abstract

In this paper, we classify all $2$-blocks for which the defect groups are abelian and the inertial quotient has prime order. As a consequence, we prove that Brou\'e's abelian defect group conjecture holds for all blocks under consideration here.

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

2 major / 2 minor

Summary. The paper classifies all 2-blocks with abelian defect groups D and inertial quotient E of prime order p by enumerating the possible faithful actions of E on D, showing that all such blocks arise from a finite list of explicit families (such as principal blocks of groups like SL(2,q) or certain wreath products), and proves as a consequence that Broué's abelian defect group conjecture holds for all blocks in this class.

Significance. If the classification is complete, the result provides a concrete verification of Broué's conjecture in the case of 2-blocks with abelian defect groups and prime-order inertial quotient. It reduces the conjecture to a finite list of families for which derived equivalences or known results can be applied, advancing the program of verifying the conjecture for restricted inertial quotients.

major comments (2)
  1. [§3] The central classification (main theorem, presumably in §3 or §4): the claim that every possible faithful E-action on an abelian 2-group D arises from one of the listed families is load-bearing. The case division on semidirect products D ⋊ E must be shown to be exhaustive; any missed faithful action (e.g., for elementary abelian D of rank ≥ 4 or exponent-4 groups with specific p-actions) would produce an unlisted block and falsify both the classification and the subsequent conjecture proof.
  2. [§5] The derivation of Broué's conjecture (in the final section): while it follows from the classification by exhibiting derived equivalences to Brauer correspondents for each family, the argument needs to confirm that the equivalences (or references to prior results for SL(2,q) blocks, etc.) cover every listed family uniformly without additional assumptions on the group order or characteristic.
minor comments (2)
  1. [Introduction] The definition of the inertial quotient E and its action on D should be recalled explicitly in the introduction with a reference to the standard notation in block theory to improve readability for non-specialists.
  2. Table or list of families in the classification statement could include a column indicating the reference or construction used to verify the derived equivalence for each family.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive evaluation of its significance for Broué's abelian defect group conjecture. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [§3] The central classification (main theorem, presumably in §3 or §4): the claim that every possible faithful E-action on an abelian 2-group D arises from one of the listed families is load-bearing. The case division on semidirect products D ⋊ E must be shown to be exhaustive; any missed faithful action (e.g., for elementary abelian D of rank ≥ 4 or exponent-4 groups with specific p-actions) would produce an unlisted block and falsify both the classification and the subsequent conjecture proof.

    Authors: In Section 3 we classify all faithful actions of E ≅ C_p (p odd prime) on an abelian 2-group D by treating D as an F_2[E]-module. Because char(F_2) does not divide |E|, the algebra F_2[E] is semisimple and decomposes according to the irreducible factors of Φ_p(x) over F_2; the degree of each faithful irreducible is the multiplicative order of 2 modulo p. Faithful modules are therefore arbitrary direct sums of these non-trivial irreducibles. We enumerate all possible such sums by the number of summands and the exponent of D (which must be a power of 2), obtaining a finite list of isomorphism types of (D,E) pairs. Each type is realized by one of the explicit families listed in the main theorem (principal blocks of SL(2,q) for cyclic D, wreath products for elementary abelian D of rank a multiple of the irrep degree, etc.). The case analysis is therefore exhaustive by the standard representation theory of cyclic groups in characteristic 2; no further faithful actions exist. revision: no

  2. Referee: [§5] The derivation of Broué's conjecture (in the final section): while it follows from the classification by exhibiting derived equivalences to Brauer correspondents for each family, the argument needs to confirm that the equivalences (or references to prior results for SL(2,q) blocks, etc.) cover every listed family uniformly without additional assumptions on the group order or characteristic.

    Authors: For each family appearing in the classification we either construct the required derived equivalence directly or invoke a cited theorem that applies precisely under the hypotheses already imposed by the classification (e.g., the known derived equivalences for cyclic-defect blocks of SL(2,q) with q odd, or the results on wreath-product blocks with elementary abelian defect groups). These references impose no further restrictions on group order or characteristic beyond those already present. To make the coverage explicit we will insert a short summary table in the revised manuscript listing, for every family, the precise equivalence or reference used. revision: yes

Circularity Check

0 steps flagged

No circularity: classification proceeds by explicit case analysis on group actions, conjecture follows as derived statement.

full rationale

The paper enumerates all possible faithful actions of a prime-order group E on an abelian 2-group D, lists the resulting blocks as coming from known families (principal blocks of SL(2,q), wreath products, etc.), and then verifies Broué's conjecture case-by-case for those families. No equation or step defines the inertial quotient or defect group in terms of the conjecture itself, nor renames a fitted parameter as a prediction, nor relies on a uniqueness theorem imported solely from the authors' prior work. The completeness of the case division is a standard (falsifiable) mathematical claim, not a self-referential construction. The derivation chain is therefore self-contained against external group-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on the established theory of p-blocks, defect groups, inertial quotients, and Broué's conjecture; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and theorems of finite group representation theory (block theory, Brauer correspondence, derived equivalences)
    The classification and conjecture proof presuppose the usual machinery of modular representation theory.

pith-pipeline@v0.9.0 · 5316 in / 1290 out tokens · 51412 ms · 2026-05-10T16:43:19.532695+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

23 extracted references · 23 canonical work pages · 1 internal anchor

  1. [1]

    An and C

    J. An and C. W. Eaton,Morita equivalence classes of blocks with extraspecial defect groupsp 1+2 + , Math. Z.311(1) (2025), 1-26

    work page 2025

  2. [2]

    C. G. Ardito,Morita equivalence classes of blocks with elementary abelian defect groups of order 32, J. Algebra573(2021), 297-335

    work page 2021

  3. [3]

    Brou´ e,Isom´ etries parfaits, types de blocs, cat´ egories d´ eriv´ ees, Ast´ erisque181-182 (1990), 61-92

    M. Brou´ e,Isom´ etries parfaits, types de blocs, cat´ egories d´ eriv´ ees, Ast´ erisque181-182 (1990), 61-92. 7

    work page 1990

  4. [4]

    Craven and R

    D. Craven and R. Rouquier,Perverse equivalences and Brou´ e’s conjecture, Adv. Math. 248(2013), 1-58

    work page 2013

  5. [5]

    C. W. Eaton, R. Kessar, B. K¨ ulshammer and B. Sambale,2-blocks with abelian defect groups, Adv. Math.254(2014), 706-735

    work page 2014

  6. [6]

    C. W. Eaton,Morita equivalence classes of 2-blocks of defect three, Proc. American Math. Soc.144(2016), 1961-1970

    work page 2016

  7. [7]

    C. W. Eaton and M. Livesey,Morita equivalence classes of 2-blocks with abelian defect groups of rank 4, J. London Math. Soc.109(6) (2024), e12943

    work page 2024

  8. [8]

    Gorenstein, R

    D. Gorenstein, R. Lyons and R. Solomon, in:The Classification of the Finite Simple Groups. Number 3, in: Mathematical Surveys and Monographs, vol. 40, American Math- ematical Society, Providence, RI, 1998, Part I, Chapter A: Almost Simple K-Groups

    work page 1998

  9. [9]

    Hu and Y

    X. Hu and Y. Zhou,The blockwise Alperin weight conjecture and inertial blocks, J. Algebra672(2025), 379-399

    work page 2025

  10. [10]

    X. Hu, K. Zhang and Y. Zhou,Hyperfocal subalgebras of hyperfocal abelian Frobenius blocks, arXiv:2602.20613

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    I. M. Isaacs,Character theory of finite groups, Pure Appl. Math. 69, Academic Press, New York 1976

    work page 1976

  12. [12]

    Jiang, K

    F. Jiang, K. Zhang and Y. Zhou,Blocks with only one irreducible Brauer character orbit, preprint

    work page

  13. [13]

    K¨ ulshammer,Morita equivalent blocks in Clifford theory of finite groups, Ast´ erisque (1990), 209-215

    B. K¨ ulshammer,Morita equivalent blocks in Clifford theory of finite groups, Ast´ erisque (1990), 209-215

    work page 1990

  14. [14]

    Linckelmann,The block theory of finite group algebras II, London Math

    M. Linckelmann,The block theory of finite group algebras II, London Math. Soc. Student Texts, vol. 92, Cambridge University Press, Cambridge, 2018

    work page 2018

  15. [15]

    Malle, G

    G. Malle, G. Navarro, A. A. Schaeffer Fry and P. H. Tiep,Brauer’s height zero conjecture, Ann. Math.200(2024), 557-608

    work page 2024

  16. [16]

    McKernon,2-Blocks whose defect group is homocyclic and whose inertial quotient contains a Singer cycle, J

    E. McKernon,2-Blocks whose defect group is homocyclic and whose inertial quotient contains a Singer cycle, J. Algebra563(2020) 30-48

    work page 2020

  17. [17]

    Navarro,Characters and blocks of finite groups, Cambridge University Press, 1998

    G. Navarro,Characters and blocks of finite groups, Cambridge University Press, 1998

    work page 1998

  18. [18]

    Puig,On the local structure of Morita and Rickard equivalences between Brauer blocks, Progress in Mathematics, vol

    L. Puig,On the local structure of Morita and Rickard equivalences between Brauer blocks, Progress in Mathematics, vol. 178, Birkh¨ auser Verlag, 1999

    work page 1999

  19. [19]

    Puig,The hyperfocal subalgebra of a block, Invent

    L. Puig,The hyperfocal subalgebra of a block, Invent. Math.141(2) (2000), 365-397

    work page 2000

  20. [20]

    Puig,Nilpotent extensions of blocks, Math

    L. Puig,Nilpotent extensions of blocks, Math. Z.269(2011), 115-136

    work page 2011

  21. [21]

    Tasaka,The number of simple modules in a block with Klein four hyperfocal subgroup, Math

    F. Tasaka,The number of simple modules in a block with Klein four hyperfocal subgroup, Math. J. Okayama Univ.61(2019), 159-166

    work page 2019

  22. [22]

    C. Wu, K. Zhang and Y. Zhou,Blocks with defect groupZ 2n ×Z 2n ×Z 2m, J. Algebra 510(2018), 469-498

    work page 2018

  23. [23]

    Zhang and Y

    K. Zhang and Y. Zhou,Inertial 2-blocks with abelian defect groups, preprint. 8

    work page