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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.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.
- [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.
- [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.
- [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)".
- [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.
- [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
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
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].
- 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.
- 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.
- 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.
- standard math The order formula for finite groups of Lie type making pq divide |G| equivalent to e_p ≤ n and e_q ≤ n.
- standard math Clifford theory for A_n contained in S_n and Hölder's description of Aut(A_n).
- standard math Macdonald's theorem on the number of odd-degree partitions of 2^k [Mac71, Corollary 1.3].
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.
Forward citations
Cited by 1 Pith paper
-
Cyclotomic character fields and sets of primes
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
-
[1]
" 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]
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
work page 2016
-
[3]
C. Bessenrodt, G. Malle, and J. B. Olsson. Separating characters by blocks. J. Lond. Math. Soc. (2) , 73(2):493--505, 2006
work page 2006
-
[4]
C. Bessenrodt and J. Zhang. Block separations and inclusions. Adv. Math. , 218(2):485--495, 2008
work page 2008
- [5]
-
[6]
M. Brou\' e , G. Malle, and J. Michel. Generic blocks of finite reductive groups. Ast\' e risque , 212:7--92, 1993
work page 1993
- [7]
-
[8]
M. Cabanes and M. Enguehard. Unipotent blocks of finite reductive groups of a given type. Math. Z. , 213:479--490, 1993
work page 1993
Show all 27 references
-
[9]
Cabanes and M
M. Cabanes and M. Enguehard. On unipotent blocks and their ordinary characters. Invent. Math. , 117:149--164, 1994
1994
-
[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
2004
-
[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
1982
-
[12]
Fong and B
P. Fong and B. Srinivasan. The blocks of finite classical groups. J. Reine Angew. Math. , 396:122--191, 1989
1989
-
[13]
GAP -- Groups, Algorithms, and Programming, Version 4.14.0 , 2024
The GAP Group. GAP -- Groups, Algorithms, and Programming, Version 4.14.0 , 2024
2024
-
[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
2020
-
[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
2019
-
[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
1981
-
[17]
Y. Liu, W. Willems, H. Xiong, and J. Zhang. Trivial intersection of blocks and nilpotent subgroups. J. Algebra , 559:510--528, 2020
2020
-
[18]
G. Lusztig. Irreducible representations of finite classical groups. Invent. Math. , 43(2):125--175, 1977
1977
-
[19]
I. G. Macdonald. On the degrees of the irreducible representations of symmetric groups. Bull. Lond. Math. Soc. , 3:189--192, 1971
1971
-
[20]
G. Malle. Height 0 characters of finite groups of L ie type. Represent. Theory , 11:192--220, 2007
2007
-
[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
2011
-
[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
1984
-
[23]
G. Navarro. Characters and Blocks of Finite Groups , volume 250 of London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 1998
1998
-
[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
2022
-
[25]
Navarro, N
G. Navarro, N. Rizo, and A. A. Schaeffer Fry . Principal blocks for different primes, I . J. Algebra , 610:632--654, 2022
2022
-
[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
1993
-
[27]
B. Sambale. Endliche P ermutationsgruppen . Springer Spektrum, Wiesbaden, 2017
2017
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.