Pith. sign in

REVIEW 7 minor 1 cited by

Character degrees in principal blocks for distinct primes

T0 review · 0 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read Every symmetric, alternating, and type A/B/C simple group has a non-trivial character of degree coprime to p and q lying in both principal blocks, so the Navarro–Rizo–Schaeffer Fry conjecture holds for them.

desk verdict A correct and genuinely new existence theorem for the NRS conjecture on symmetric, alternating, and classical simple groups of types A, B, C, but the proof's enormous case analysis makes verification a chore. read the letter →

arxiv 2506.06860 v2 pith:U4BMUQO5 submitted 2025-06-07 math.RT math.GR

classification math.RTmath.GR MSC 20C1520C2020C3020C33
keywords characterdegreesprincipalblocksNRSconjecturesymmetricgroupsalternatingunipotentcharactersclassicalofLietypechoppedp-adicexpansion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves an existence statement at the meeting point of character theory and block theory: whenever two distinct primes p and q divide the order of a symmetric group, an alternating group, or a finite simple classical group of type A, B, or C defined in a characteristic different from p and q, that group has a non-trivial irreducible character of degree divisible by neither p nor q that lies in both the principal p-block and the principal q-block. This is precisely the statement needed to settle, for these groups, the Navarro–Rizo–Schaeffer Fry conjecture, which predicts that the absence of such a character would force the Sylow p- and q-subgroups to commute elementwise. Because the constructed characters always exist, the conjecture's hypothesis is never met, so the conjecture holds for every group in the listed families. The work extends earlier results that handled only the case where one of the two primes is 2, and it is fully constructive: explicit partitions or symbols label the desired character in every case.

What carries the argument

Three mechanisms carry the argument. First, almost hook partitions, partitions of the form $(1^{n-k-\ell-1}, k+1, \ell)$, used for symmetric and alternating groups: their degrees satisfy explicit product formulas derived from the hook formula, and by Nakayama's theorem such a partition labels a character in the principal p-block whenever p divides n − ℓ or n − k. Second, the chopped p-adic expansion of n: writing n in base p and cutting the expansion at the first term exceeding the residue r of n modulo q yields a decomposition n = b + T engineered so that the p-parts of T ± k equal the p-parts of k for all k in range, which makes the p-part of the degree numerator cancel the p-part of the denominator; a second chopped expansion using r' = q + r covers the remaining cases, and the q-part analysis is then bookkeeping of the factors in the degree product. Third, for the classical groups, the same case analysis is rerun in the $e_p$-p-adic expansion, where $e_p$ is the order of $\varepsilon Q$ (type A) or of $Q^2$ (types B and C) modulo p; unipotent characters are labeled by partitions (type A) or by Lusztig symbols of odd defect (types B and C), their degrees are computed from cyclotomic factors $Q^m \pm 1$, and Section 2.2 compares p-parts of those factors through their cyclotomic divisors. Block membership of a symbol is decided by equality of its $e_p$-core (for p linear) or $e_p$-cocore (for p unitary) with that of the trivial symbol of rank n.

What would settle it

A direct computation can settle the claim: take a concrete instance in the odd-versus-odd range, such as $S_{53}$ with p = 5 and q = 7, and verify with the hook formula and the p-core rule that the partition constructed in Table 1 is $\{5,7\}$-principal with degree coprime to 35; likewise, compute with a standard character table library the principal 3- and 13-blocks of the small classical group $\mathrm{Sp}_4(5)$ and check whether some non-trivial character of degree divisible by neither prime lies in both. If any such check returns only the trivial character, Theorem A is false.

Watch

Extended reading notes

Core claim

Theorem A is the paper's central claim: let G be a finite group and p, q distinct primes with pq dividing |G|. Then the set $\mathrm{Irr}_{p'}(B_p(G)) \cap \mathrm{Irr}_{q'}(B_q(G))$ contains a character other than the trivial one whenever G is a symmetric group $S_n$, $n \geq 3$, an alternating group $A_n$, $n \geq 4$, or a finite simple group of Lie type $A_{n-1}$, ${}^2A_{n-1}$ ($n \geq 2$), $B_n$ ($n \geq 2$), or $C_n$ ($n \geq 3$) defined in a characteristic distinct from p and q. The proof constructs the labeling partition or symbol explicitly, in a case-by-case analysis organized by a chopped p-adic expansion of n, and the Navarro–Rizo–Schaeffer Fry conjecture follows for all these groups. As a supporting result, Theorem C characterizes exactly when the symmetric-group intersection collapses to the two linear characters $\{1_{S_n}, \mathrm{sgn}\}$: this happens only for q = 2 with n = 9 and p = 3, with n = p a Fermat prime, or with n − 1 = p a Mersenne prime; in precisely those exceptional cases the alternating group $A_n$ still contributes two non-trivial characters $\psi^+, \psi^-$ lying in both principal blocks.

Load-bearing premise

The type B and C part rests on a cited rule that says exactly which unipotent characters lie in the principal p-block, expressed through the e_p-core or e_p-cocore of the labeling symbol; if that rule has any exception that is not covered, the symbols the proof builds could fall outside the principal block and the existence claim for those families would collapse.

Editorial extensions

If this is right

  • The Navarro–Rizo–Schaeffer Fry conjecture holds for every symmetric group $S_n$ ($n \geq 3$), alternating group $A_n$ ($n \geq 4$), and finite simple group of type $A_{n-1}$, ${}^2A_{n-1}$, $B_n$, or $C_n$ with p and q non-defining: the intersection $\mathrm{Irr}_{p'}(B_p(G)) \cap \mathrm{Irr}_{q'}(B_q(G))$ is never just the trivial character, so the conjecture's hypothesis never occurs.
  • Corollary B extends this to all almost simple groups with socle $A_n$, $n \geq 5$, including the outer automorphism cases checked directly from character tables.
  • Theorem C classifies the exceptional triples: for $S_n$, the intersection equals $\{1_{S_n}, \mathrm{sgn}\}$ only when q = 2 and (n, p) is (9, 3), n = p is a Fermat prime, or n − 1 = p is a Mersenne prime; in each of these cases $A_n$ still contains exactly $\{1_{A_n}, \psi^+, \psi^-\}$.
  • All constructed characters are explicit — partitions for $S_n$, $A_n$, and type $A$; symbols for types $B$ and $C$ — so the existence result can be checked instance by instance rather than by enumeration through the classification.
  • The proof closes the A, B, and C families for odd p and q; the classical families left open for the conjecture are exactly types $D_n$ and ${}^2D_n$ with odd non-defining primes, which the author announces as the next step.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The chopped $e_p$-p-adic machinery is written without any family-specific input beyond degree formulas and block labels, so the same lemmas should transfer to the announced $D_n$ and ${}^2D_n$ treatment once the orthogonal-group labeling of unipotent characters is fixed.
  • Theorem C turns the small-intersection phenomenon into a pure number-theory filter — Fermat and Mersenne primes are the only obstructions for symmetric groups — which suggests that the analogous obstruction for other families could also be characterized by prime configurations of the same kind.
  • Because the NRS premise is never satisfied, Theorem A does not probe the subgroup-theoretic side of the conjecture; combined with the paper's own dihedral-group counterexample to the converse, this indicates that the theorem's real content is constructive control of low-degree characters in principal blocks rather than a statement about Sylow structure.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 7 minor

Summary. The paper proves Theorem A: for distinct primes p and q dividing |G|, the set Irr_{p'}(B_p(G)) ∩ Irr_{q'}(B_q(G)) contains a non-trivial character whenever G is a symmetric group S_n (n ≥ 3), an alternating group A_n (n ≥ 4), or a finite simple group of Lie type A_{n-1}, ^2A_{n-1} (n ≥ 2), B_n (n ≥ 2), or C_n (n ≥ 3) defined in a characteristic other than p and q. The proof is constructive. For S_n the author builds almost hook partitions whose p- and q-cores place them in both principal blocks and whose degrees are made coprime to p and q by a chopped p-adic expansion; for A_n this is combined with Clifford-theoretic restriction; for classical groups the author uses the Lusztig parametrization of unipotent characters, the e-core/e-cocore block parametrization, and a parallel ep-p-adic expansion to analyze the p- and q-parts of unipotent character degrees. The paper also proves Theorem C, characterizing the tuples (n,p,q) for which the symmetric-group intersection consists only of the two linear characters, and Corollary B, settling the NRS conjecture for all almost simple groups with alternating socle.

Significance. If the central claim is correct, the paper resolves the Navarro–Rizo–Schaeffer Fry conjecture for all symmetric, alternating, and the stated classical groups, including the previously open case of odd p and q. The strongest feature is that the proof does not merely invoke existence results: in every case an explicit partition or symbol is produced, so the block condition and the p'- and q'-degree conditions are checked by direct computation. The number-theoretic framework in Sections 1.3 and 2.3 is genuinely reusable, and the reliance on standard external results — Nakayama's theorem, Lusztig's parametrization, Fong–Srinivasan and Cabanes–Enguehard block theory — is clearly signposted. There is no parameter fitting or circularity in the argument. The remaining open D_n and ^2D_n families are honestly stated. The significance is appropriate for a strong research paper in representation theory.

minor comments (7)
  1. [Lemma 1.19] In Lemma 1.19(i), the parenthetical says "a = 2 and p = 2" although p is assumed to be an odd prime; the exceptional case 9 = 3^2 corresponds to p = 3, a = 2.
  2. [§2.4, after Corollary 2.18] The sentence "In conclusion, in Corollary B, we reprove [NRS22b, Proposition 3.7]" refers to Corollary 2.18, not to Corollary B of the introduction; Corollary B concerns alternating groups.
  3. [Proof of Theorem A] The proof of Theorem A cites "Corollary 2.22", which does not exist; the intended references are Proposition 2.22 and Corollary 2.23.
  4. [Table 15] In Case IIIb, the second denominator product contains a factor Ψ_k where the surrounding text and the analogous rows show that Ψ_{2k} is intended; this is a typographical slip in a displayed formula.
  5. [Table 1] The row for Case IIbb does not display a main condition; the proof of Proposition 1.9 shows it should read "r < q ≤ b and q ∤ (m−1)".
  6. [Theorem A and Corollary 2.23] Theorem A(c) requires n ≥ 3 for type C_n, while Corollary 2.23 states "B_n or C_n with n ≥ 2" and Proposition 2.22 treats C_n with n ≥ 2; the covering-group and simple-group statements should be reconciled with an explicit comment about C_2 not being simple.
  7. [Tables 11 and 12] The subcase tables are hard to parse in the printed version because the cell boundaries for α, β, γ, δ are not visually clear; the surrounding prose removes the ambiguity, but reformatting would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: explicit character constructions verified by standard external theorems.

full rationale

The paper proves Theorem A by explicit construction. For Sn and An it chooses almost-hook partitions and verifies p/q-principality via Nakayama's theorem (Lemma 1.5) and degree coprimality via the hook formula together with the chopped p-adic expansion lemmas. For Lie-type groups it chooses partitions or Lusztig symbols and verifies block membership via the standard Fong-Srinivasan/Cabanes-Enguehard parametrization ([FS82], [Bro86], [CE93], [CE94]) and degree coprimality via the Q-analogous hook formula and cyclotomic p-part lemmas. No parameter is fitted to the desired conclusion, and the target equality Irr_{p'}∩Irr_{q'} ≠ {1} is never assumed. Citations to [NRS22b] and [NRS22a] are contextual (framing the conjecture, noting a basic criterion, acknowledging inspiration for case distinctions); the existence arguments re-prove the needed statements with the paper's own lemmas. Remaining concerns about exceptional cases in the cited block parametrizations are correctness risks, not circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no free parameters or invented entities. The chopped p-adic expansion is a derived mathematical tool, not a postulated object. All axioms listed are established results imported from the literature, with the CFSG reduction being the only domain-level assumption used for framing the conjecture.

assumptions (7)
  • domain assumption Classification of finite simple groups (CFSG) and the resulting reduction of the NRS conjecture to almost simple groups [NRS22b, Theorem D].
    Used in the introduction to frame Theorem A as proving Conjecture (NRS) for these groups and in Corollary B for almost simple groups with alternating socle; the proof of Theorem A itself is independent of CFSG.
  • standard math Lusztig's parametrization of irreducible characters of finite groups of Lie type by Lusztig series, and of unipotent characters by partitions or symbols, together with degree formulas.
    Invoked throughout Section 2 via [GM20, Chapter 4] and [Lus77]; the entire character construction for classical groups rests on this parametrization.
  • standard math Block parametrization for classical groups: unipotent characters lie in the principal p-block according to e_p-cores or e_p-cocores determined by Fong-Srinivasan, Broué, and Cabanes-Enguehard.
    Cited in Section 2.5 from [FS89], [BMM93], and [CE94, Theorem 4.4]; this is the most load-bearing external input for types B and C.
  • standard math Nakayama's theorem for symmetric groups: two irreducible characters lie in the same p-block iff the p-cores of their partitions agree.
    Used in Section 1.1 to define p-principal partitions for S_n and A_n.
  • standard math The order formula for finite groups of Lie type making pq divide |G| equivalent to e_p ≤ n and e_q ≤ n.
    Used at the start of Propositions 2.17 and 2.22, citing [MT11, Table 24.1].
  • standard math Clifford theory for A_n contained in S_n and Hölder's description of Aut(A_n).
    Used in Sections 1.5 and in the proof of Corollary B to pass between S_n and A_n and to enumerate almost simple groups with alternating socle.
  • standard math Macdonald's theorem on the number of odd-degree partitions of 2^k [Mac71, Corollary 1.3].
    Used in Lemma 1.21 for Mersenne primes.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Character degrees in principal blocks for distinct primes." pith.science (2026). https://pith.science/paper/U4BMUQO5

@misc{pith2026250606860,
  author       = {Pith},
  title        = {Pith review of: Character degrees in principal blocks for distinct primes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U4BMUQO5}},
  note         = {Machine review of arXiv:2506.06860}
}
abstract

Let $G$ be a finite group of order divisible by two distinct primes $p$ and $q$. We show that $G$ possesses a non-trivial irreducible character of degree not divisible by $p$ nor $q$ lying in both the principal $p$- and $q$-block whenever $G$ is one of the following: an alternating group $\mathfrak{A}_n$, $n\geq 4$, a symmetric group $\mathfrak{S}_n$, $n\geq 3$, or a finite simple classical group of type A, B, or C, defined in characteristic distinct from $p$ and $q$. This extends earlier results of Navarro-Rizo-Schaeffer Fry for $2\in\{p,q\}$, and in particular completes the proof of an instance of a conjecture of the same authors, e.g., in the case of symmetric and alternating groups.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Cyclotomic character fields and sets of primes

    math.RT 2026-07 conditional novelty 6.0 of 10

    Every finite group with p in {2,q} dividing its order has a non-trivial principal-p-block irreducible character of pi'-degree with values in Q(xi_q).

Reference graph

Works this paper leans on

27 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

  2. [2]

    Beltr\'an, M

    A. Beltr\'an, M. J. Felipe, G. Malle, A. Moret\'o, G. Navarro, L. Sanus, R. Solomon, and P. H. Tiep. Nilpotent and abelian H all subgroups in finite groups. Trans. Amer. Math. Soc. , 368(4):2497--2513, 2016

  3. [3]

    Bessenrodt, G

    C. Bessenrodt, G. Malle, and J. B. Olsson. Separating characters by blocks. J. Lond. Math. Soc. (2) , 73(2):493--505, 2006

  4. [4]

    Bessenrodt and J

    C. Bessenrodt and J. Zhang. Block separations and inclusions. Adv. Math. , 218(2):485--495, 2008

  5. [5]

    Brou\' e

    M. Brou\' e . Les l -blocs des groupes GL (n,q) et U (n,q^2) et leurs structures locales. Ast\' e risque , 133--134:159--188, 1986

  6. [6]

    Brou\' e , G

    M. Brou\' e , G. Malle, and J. Michel. Generic blocks of finite reductive groups. Ast\' e risque , 212:7--92, 1993

  7. [7]

    Brough, Y

    J. Brough, Y. Liu, and A. Paolini. The block graph of a finite group. Israel J. Math. , 244(1):293--317, 2021

  8. [8]

    Cabanes and M

    M. Cabanes and M. Enguehard. Unipotent blocks of finite reductive groups of a given type. Math. Z. , 213:479--490, 1993

Show all 27 references
  1. [9]

    Cabanes and M

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

  2. [10]

    Cabanes and M

    M. Cabanes and M. Enguehard. Representation Theory of Finite Reductive Groups , volume 1 of New Math. Monogr. Cambridge Univ. Press, Cambridge, 2004

  3. [11]

    Fong and B

    P. Fong and B. Srinivasan. The blocks of finite general linear and unitary groups. Invent. Math. , 69(1):109--153, 1982

  4. [12]

    Fong and B

    P. Fong and B. Srinivasan. The blocks of finite classical groups. J. Reine Angew. Math. , 396:122--191, 1989

  5. [13]

    GAP -- Groups, Algorithms, and Programming, Version 4.14.0 , 2024

    The GAP Group. GAP -- Groups, Algorithms, and Programming, Version 4.14.0 , 2024

  6. [14]

    Geck and G

    M. Geck and G. Malle. The Character Theory of Finite Groups of Lie Type: A Guided Tour , volume 187 of Cambridge Stud. Adv. Math . Cambridge Univ. Press, Cambridge, 2020

  7. [15]

    Giannelli, A

    E. Giannelli, A. A. Schaeffer Fry , and C. Vallejo Rodr\'iguez . Characters of ' -degree. Proc. Amer. Math. Soc. , 147(11):4697--4712, 2019

  8. [16]

    James and A

    G. James and A. Kerber. The Representation Theory of the Symmetric Group , volume 16 of Encyclopedia Math. Appl. Addison-Wesley Publishing Co., Reading, MA, 1981

  9. [17]

    Y. Liu, W. Willems, H. Xiong, and J. Zhang. Trivial intersection of blocks and nilpotent subgroups. J. Algebra , 559:510--528, 2020

  10. [18]

    G. Lusztig. Irreducible representations of finite classical groups. Invent. Math. , 43(2):125--175, 1977

  11. [19]

    I. G. Macdonald. On the degrees of the irreducible representations of symmetric groups. Bull. Lond. Math. Soc. , 3:189--192, 1971

  12. [20]

    G. Malle. Height 0 characters of finite groups of L ie type. Represent. Theory , 11:192--220, 2007

  13. [21]

    Malle and D

    G. Malle and D. Testerman. Linear Algebraic Groups and Finite Groups of Lie Type , volume 133 of Cambridge Stud. Adv. Math . Cambridge Univ. Press, Cambridge, 2011

  14. [22]

    G. O. Michler. Brauer's conjectures and the classification of finite simple groups. In Representation Theory II ( O ttawa, O nt., 1984) , volume 1178 of Lecture Notes in Math. , pages 129--142. Springer, Berlin, Heidelberg, 1986

  15. [23]

    G. Navarro. Characters and Blocks of Finite Groups , volume 250 of London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 1998

  16. [24]

    P rincipal blocks for different primes, I

    G. Navarro, N. Rizo, and A. A. Schaeffer Fry . Addendum to " P rincipal blocks for different primes, I ". https://sites.msudenver.edu/aschaef6/wp-content/uploads/sites/418/2022/10/NRS21Addendum.pdf, 2022

  17. [25]

    Navarro, N

    G. Navarro, N. Rizo, and A. A. Schaeffer Fry . Principal blocks for different primes, I . J. Algebra , 610:632--654, 2022

  18. [26]

    J. B. Olsson. Combinatorics and Representations of Finite Groups , volume 20 of Vorlesungen Fachbereich Math. Univ. Essen . Universit\" a t Essen, Fachbereich Mathematik, Essen, 1993

  19. [27]

    B. Sambale. Endliche P ermutationsgruppen . Springer Spektrum, Wiesbaden, 2017

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.