pith. sign in

arxiv: 2512.15243 · v2 · submitted 2025-12-17 · 🧮 math.GR

A reduction theorem for the blockwise Navarro Alperin weight conjecture via H-triples

Zhicheng Feng , Qulei Fu , Yuanyang Zhou This is my paper

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

classification 🧮 math.GR
keywords Galois Alperin weight conjectureblockwise conjectureH-triplesinductive conditionsfinite simple groupsreduction theoremgroup representations
0
0 comments X

The pith

Assuming the inductive Galois Alperin weight condition holds for simple groups, the full conjecture follows in the stronger form of central isomorphism of H-triples.

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

The authors refine the existing reduction of the Galois Alperin weight conjecture to an inductive condition on finite simple groups. They introduce a blockwise version of the conjecture together with its own inductive condition. Under the assumption that these inductive conditions are satisfied by all simple groups, they prove that the full conjectures hold, with the added strength that the relevant weights correspond via central or block isomorphisms of H-triples. This narrows the problem from arbitrary finite groups to their simple composition factors. A reader following representation theory of finite groups would see the result as a concrete step that replaces numerical equality of weights with a structural isomorphism statement.

Core claim

Assuming the inductive GAW condition for simple groups, we establish a stronger version of the GAW conjecture in terms of central isomorphism of H-triples. We define the blockwise Galois Alperin weight conjecture and its inductive BGAW condition, and under the inductive BGAW assumption for simple groups we prove the stronger blockwise version via block isomorphisms of H-triples.

What carries the argument

H-triples, which encode Galois action on weights and permit comparison of two such structures through central or block-preserving isomorphisms.

If this is right

  • The ordinary GAW conjecture follows from the inductive condition on simple groups.
  • The blockwise BGAW conjecture follows from its own inductive condition on simple groups.
  • The correspondence of weights is upgraded from numerical equality to isomorphism of H-triples.
  • Verification of either conjecture reduces to checking the inductive statements on each simple group.

Where Pith is reading between the lines

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

  • Explicit H-triple constructions for small simple groups would allow direct computational checks of the stronger isomorphism claim.
  • The same reduction technique may apply to other weight-type conjectures that admit inductive formulations.
  • If the inductive conditions are eventually verified for all finite simple groups, both conjectures would hold for every finite group.

Load-bearing premise

The inductive GAW or BGAW conditions hold for all finite simple groups.

What would settle it

A finite group whose composition factors all satisfy the inductive GAW or BGAW conditions, yet whose weights fail to correspond via any central or block isomorphism of H-triples.

read the original abstract

The Galois Alperin weight (GAW) conjecture has been reduced to the inductive GAW condition for simple groups. We proceed in two steps to refine this reduction. First, we propose the blockwise Galois Alperin weight (BGAW) conjecture and define its associated inductive BGAW condition. Second, assuming the inductive GAW (respectively, BGAW) condition for simple groups, we establish a stronger version of the GAW (respectively, BGAW) conjecture in terms of central (respectively, block) isomorphism of H-triples.

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

Summary. The paper proposes the blockwise Galois Alperin weight (BGAW) conjecture and its associated inductive BGAW condition for finite simple groups. Assuming the inductive GAW (resp. BGAW) condition holds for all finite simple groups, it proves a stronger form of the GAW (resp. BGAW) conjecture expressed in terms of central (resp. block) isomorphism of H-triples, refining the known reduction of these conjectures to simple groups via standard inductive techniques in modular representation theory.

Significance. If the inductive hypotheses on simple groups hold, the result strengthens existing reduction theorems for the Galois Alperin weight conjecture and its blockwise variant by replacing the usual weight-counting statements with a more precise isomorphism condition on H-triples. This provides a cleaner invariant for tracking the conjectures across blocks and centralizers, building directly on the inductive framework without introducing new free parameters or ad-hoc axioms.

minor comments (3)
  1. [§1] §1 (Introduction): the statement of the main reduction theorem should explicitly reference the section or theorem number where the H-triple isomorphism is defined and proved, to make the stronger claim immediately locatable.
  2. [§2] §2 (Preliminaries on H-triples): the notation for central versus block isomorphism of H-triples is introduced without a dedicated comparison table or example for a small group; adding one would clarify the distinction between the GAW and BGAW strengthenings.
  3. The inductive BGAW condition is defined by direct analogy with the GAW version; a short remark on whether any new compatibility conditions arise when passing from ordinary to blockwise weights would help readers verify the definition is not merely notational.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and positive report, including the recommendation for minor revision. We are pleased that the referee recognizes the value of the stronger reduction in terms of H-triple isomorphisms.

read point-by-point responses

  1. Referee: The paper proposes the blockwise Galois Alperin weight (BGAW) conjecture and its associated inductive BGAW condition for finite simple groups. Assuming the inductive GAW (resp. BGAW) condition holds for all finite simple groups, it proves a stronger form of the GAW (resp. BGAW) conjecture expressed in terms of central (resp. block) isomorphism of H-triples, refining the known reduction of these conjectures to simple groups via standard inductive techniques in modular representation theory.

    Authors: We thank the referee for this accurate summary of the manuscript's contributions. The introduction of the BGAW conjecture and the proof of the refined reduction theorem under the inductive hypotheses are indeed the core results, and we believe the use of block/central isomorphisms of H-triples provides a cleaner and more precise formulation than previous weight-counting statements. revision: no

Circularity Check

0 steps flagged

No significant circularity in the reduction theorem

full rationale

The paper's derivation proceeds by first defining the BGAW conjecture and its inductive condition, then proving (under the explicit external assumption that the inductive GAW/BGAW conditions hold for all finite simple groups) a stronger statement phrased via central/block isomorphism of H-triples. This is a standard conditional reduction to simple-group cases with no self-definitional steps, no fitted parameters renamed as predictions, and no load-bearing self-citations that collapse the argument to unverified internal content. The inductive hypotheses remain independent external inputs, so the central claim does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the inductive conditions for simple groups and the definition of H-triples and blockwise conjecture; no free parameters or invented entities are visible from the abstract.

axioms (1)
  • domain assumption Inductive GAW and BGAW conditions hold for all finite simple groups
    The reduction theorem is conditioned on these inductive statements being true for simple groups.

pith-pipeline@v0.9.0 · 5394 in / 1099 out tokens · 30637 ms · 2026-05-16T21:43:39.632363+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    J. L. Alperin, Weights for finite groups. In:The Arcata Conference on Representations of Finite Groups, Arcata, Calif. (1986), Part I. Proc. Sympos. Pure Math., vol.47, pp. 369–379, Am. Math. Soc., Providence, 1987

    work page 1986

  2. [2]

    E. C. Dade, A correspondence of characters. In:The Santa Cruz Conference on Finite Groups, Univ. California, Santa Cruz, CA, 1979, in: Proc. Sympos. Pure Math., vol.37, Amer. Math. Soc., Providence, RI, 1980, pp. 401–403

    work page 1979

  3. [3]

    Y. Du, X. Huang, The blockwise Galois Alperin weight conjecture for symmetric and alter- nating groups.Math. Z.311(2025), no. 1, Paper No. 3, 19 pp

    work page 2025

  4. [4]

    Feng, Character triples and weights.J

    Z. Feng, Character triples and weights.J. Algebra684(2025), 690–725

    work page 2025

  5. [5]

    Z. Feng, Q. Fu, Y. Zhou, A reduction theorem for the Galois Alperin wight conjecture. arXiv:2312.02594

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    Z. Feng, J. Zhang, Alperin weight conjecture and related developments.Bull. Math. Sci. 12(2022), 2230005

    work page 2022

  7. [7]

    Fu, An equivariant bijection of irreducible Brauer characters above the Dade– Glauberman–Nagao correspondence.J

    Q. Fu, An equivariant bijection of irreducible Brauer characters above the Dade– Glauberman–Nagao correspondence.J. Algebra689(2026), 710–738. 37

    work page 2026

  8. [8]

    Gorenstein, R

    D. Gorenstein, R. Lyons, R. Solomon,The Classification of the Finite Simple Groups, Number 3. Math. Surveys Monogr., vol.40, American Mathematical Society, Providence, RI, 1998

    work page 1998

  9. [9]

    I. M. Issacs, G. Malle, G. Navarro, A reduction theorem for the McKay conjecture.Invent. Math.170(2007), 33–101

    work page 2007

  10. [10]

    Koshitani, B

    S. Koshitani, B. Sp¨ ath, Clifford theory of characters in induced blocks.Proc. Amer. Math. Soc.143(2015), 3687–3702

    work page 2015

  11. [11]

    Linckelmann,The Block Theory of Finite Group Algebras, volume II

    M. Linckelmann,The Block Theory of Finite Group Algebras, volume II. London Math. Soc. Stud. Texts, vol.92, Cambridge University Press, Cambridge, 2018

    work page 2018

  12. [12]

    J. M. Mart´ ınez, N. Rizo, D. Rossi, The Alperin weight conjecture and the Glauberman correspondence via character triples. arXiv:2311.05536. To appearAlgebra Number Theory

    work page arXiv

  13. [13]

    McKay, A new invariant for simple groups.Notices

    J. McKay, A new invariant for simple groups.Notices. Amer. Math. Soc.18(1971), 397

    work page 1971

  14. [14]

    McKay, Irreducible representations of odd degree.J

    J. McKay, Irreducible representations of odd degree.J. Algebra20(1972), 416–418

    work page 1972

  15. [15]

    Nagao, Y

    H. Nagao, Y. Tsushima,Representations of Finite Groups. Academic Press, Boston, 1989

    work page 1989

  16. [16]

    Navarro,Characters and Blocks of Finite Groups

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

    work page 1998

  17. [17]

    Navarro, The Mckay conjecture and Galois automorphisms.Ann

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

    work page 2004

  18. [18]

    Navarro,Character Theory and the McKay Conjecture

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

    work page 2018

  19. [19]

    Navarro, B

    G. Navarro, B. Sp¨ ath, On Brauer’s height zero conjecture.J. Eur. Math. Soc.16(2014), 695–747

    work page 2014

  20. [20]

    Navarro, B

    G. Navarro, B. Sp¨ ath, C. Vallejo, A reduction theorem for the Galois–Mckay conjecture. Trans. Amer. Math. Soc.373(2020), 6157–6183

    work page 2020

  21. [21]

    Navarro, P

    G. Navarro, P. H. Tiep, A reduction theorem for the Alperin weight conjecture.Invent. Math.184(2011), 529–565

    work page 2011

  22. [22]

    Rossi, The McKay conjecture and central isomorphic character triples.J

    D. Rossi, The McKay conjecture and central isomorphic character triples.J. Algebra618 (2023), 42–55

    work page 2023

  23. [23]

    Rossi, A reduction theorem for the Character Triple Conjecture.Proc

    D. Rossi, A reduction theorem for the Character Triple Conjecture.Proc. Lond. Math. Soc. (3)131(2025), No. e70090

    work page 2025

  24. [24]

    Sp¨ ath, A reduction theorem for the blockwise Alperin weight conjecture.J

    B. Sp¨ ath, A reduction theorem for the blockwise Alperin weight conjecture.J. Group Theory 16(2013), 159–220

    work page 2013

  25. [25]

    Sp¨ ath, A reduction theorem for Dade’s projective conjecture.J

    B. Sp¨ ath, A reduction theorem for Dade’s projective conjecture.J. Eur. Math. Soc.19 (2017), 1071–1126. 38

    work page 2017

  26. [26]

    Sp¨ ath, Inductive conditions for counting conjectures via character triples

    B. Sp¨ ath, Inductive conditions for counting conjectures via character triples. In:Represen- tation Theory – Current Trends and Perspectives. EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2017, pp. 665–680

    work page 2017

  27. [27]

    Sp¨ ath, C

    B. Sp¨ ath, C. Vallejo, Brauer characters and coprime action.J. Algebra457(2016), 276–311

    work page 2016

  28. [28]

    Th´ evenaz,G-algebras and Modular Representation Theory

    J. Th´ evenaz,G-algebras and Modular Representation Theory. The Clarendon Press, Oxford University Press, New York, 1995

    work page 1995

  29. [29]

    Turull, Clifford theory with Schur indices.J

    A. Turull, Clifford theory with Schur indices.J. Algebra170(1994), 661–677

    work page 1994

  30. [30]

    Turull, Above the Glauberman correspondence.Adv

    A. Turull, Above the Glauberman correspondence.Adv. Math.217(2008), 2170–2205

    work page 2008

  31. [31]

    Turull, The Brauer–Clifford group.J

    A. Turull, The Brauer–Clifford group.J. Algebra321(2009), 3620–3642

    work page 2009

  32. [32]

    Turull, Brauer–Clifford equivalence of full matrix algebras.J

    A. Turull, Brauer–Clifford equivalence of full matrix algebras.J. Algebra321(2009), 3643– 3658

    work page 2009

  33. [33]

    Turull, The strengthened Alperin weight conjecture forp-solvable groups.J

    A. Turull, The strengthened Alperin weight conjecture forp-solvable groups.J. Algebra 398(2014), 469–480. 39

    work page 2014