REVIEW 2 major objections 4 minor 1 cited by
The Isaacs--Navarro Galois conjecture
T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper proves the Isaacs–Navarro Galois conjecture: for every finite group and prime ℓ, an H0-equivariant bijection exists between the ℓ′-degree irreducible characters and the characters of the normalizer of a Sylow ℓ-subgroup.
desk verdict Full proof of the Isaacs–Navarro Galois conjecture for all primes; solid Lie-type machinery, but the D4(q) MAGMA assertion and unrefereed companions need referee scrutiny. 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
The machinery is the H0-equivariant extension map assembled via a structural splitting of the normalizer of a Sylow d-torus centralizer. Lemma 6.1 asserts that for N-hat = N_{GE(G^F)}(L), there is a subgroup V-hat with N-hat = L V-hat and V-hat ∩ L a 2-group contained in Z(L), plus an ℓ′-subgroup E-hat inside V-hat with N-hat = N E-hat. This splitting lets Lemma 3.2 extend characters from L to their inertia groups while preserving their stabilizers under H0 and the relevant automorphisms. Around that core, the proof organizes the Lie-type case through the reduction criteria of [RSST25] and [NSV20], reducing the inductive condition to three manageable requirements: an equivariant extension ma
What would settle it
Exhibit a prime ℓ and a finite reductive group G^F, e.g. a D4(q) case or an exceptional family not covered by the direct argument, for which no subgroup V-hat of N-hat = N_{GE(G^F)}(L) satisfies N-hat = L V-hat with V-hat ∩ L a 2-group contained in Z(L) and an ℓ′-subgroup E-hat ≤ V-hat with N-hat = N E-hat. A computer search using the Steinberg presentation of the group would settle the existence. If such a group exists, Corollary 6.4's extension maps fail, so the inductive Isaacs–Navarro condition for that simple group would not follow.
Extended reading notes
Core claim
The central claim, Theorem A, is that the Isaacs–Navarro Galois conjecture holds for all finite groups and all primes ℓ. Explicitly, if D is a Sylow ℓ-subgroup of G, there is an H0-equivariant bijection Irr_{ℓ′}(G) → Irr_{ℓ′}(N_G(D)), where H0 is the Galois group of automorphisms of Q^ab that act trivially on ℓ′-roots of unity and have ℓ-power order. The proof uses the reduction of the Galois–McKay family to simple groups and verifies the resulting inductive Isaacs–Navarro condition. The bulk of the verification concerns finite groups of Lie type in non-defining characteristic, where the authors construct the required extension maps and stable transversals, treating type A and regular d-valu
Load-bearing premise
The Lie-type part of the proof depends on Lemma 6.1's structural splitting: in every case, the normalizer of the Sylow d-torus centralizer must factor as L times a small group whose intersection with L is a 2-group inside the center, with a complementary ℓ′-piece. If one group family fails that splitting, the extension maps that carry the H0-equivariant bijection cannot be constructed by this proof.
Editorial extensions
If this is right
- If Theorem A is right, then for every finite group G and prime ℓ, the exponent of D/D′ is bounded by ℓ^e exactly when every ℓ′-degree character is fixed by the Galois automorphism σ_e, and this is equivalent to the same fixed-point statement for the principal ℓ-block (Corollary B).
- If Theorem A is right, then ℓ′-degree characters with ℓ-rationality level e ≥ 2 force characters at every intermediate level, and the existence of such characters is invariant under passage to subgroups of ℓ′-index (Corollary C).
- If Theorem A is right, the original Isaacs–Navarro Galois conjecture is settled uniformly for odd primes, not just the prime 2 case that was known via separate arguments.
- If Theorem A is right, the inductive Isaacs–Navarro condition holds for every nonabelian simple group, so the reduction theorem of [NSV20] can be applied in full scope.
Reading between the lines
- The proof does not by itself advance the stronger H_ℓ version of the McKay–Navarro conjecture; H0 cannot see the difference between ℓ-rationality levels 0 and 1, so the ℓ-rationality gap phenomenon remains outside its reach.
- A direct application one could test now is algorithmic: in concrete small groups, use the corollary to recover exp(D/D′) from the character table, which would make the classical character-table detection question computable rather than existential.
- The splitting lemma used here may transfer to other local–global problems: any future equivariant bijection for Lie-type groups at odd primes will likely need a similar decomposition of N-hat into L times a 2-group with an ℓ′-complement, so the lemma is a reusable structural tool.
- One open direction the paper leaves implicit is whether the H0-equivariant bijections constructed here can be upgraded to H_ℓ-equivariant bijections family-by-family; the missing ingredient is control of rationality levels 0 versus 1, not the underlying extension maps.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the Isaacs–Navarro Galois conjecture (Theorem A): for every finite group G and every prime ℓ, with D ∈ Syl_ℓ(G), there is an H_0-equivariant bijection Irr_{ℓ′}(G) → Irr_{ℓ′}(N_G(D)), where H_0 is the Galois group acting trivially on ℓ′-roots of unity. The proof follows the standard reduction of Navarro–Späth–Vallejo to a condition on simple groups, handles the non-Lie-type and defining-characteristic cases via prior results, and then treats groups of Lie type in non-defining characteristic. For Lie-type groups the authors use the criteria of Ruhstorfer–Schaeffer Fry–Späth–Taylor and construct the required extension maps and transversals, with a new extension lemma (Lemma 6.1) and an induction argument for the non-regular case (Theorem 7.4). Corollaries B and C are derived, giving the exponent-of-Sylow-abelianization statement and Hung’s p-rationality-level conjectures.
Significance. If the proof is correct, this settles a central conjecture from 2002 and provides substantial corollaries on Galois actions on character values, extending the completed McKay conjecture. The paper is well-organized, builds on the recent proof of the McKay conjecture by Cabanes–Späth and on the reduction work of Navarro–Späth–Vallejo and Ruhstorfer–Schaeffer Fry–Späth–Taylor, and it isolates the new Lie-type extension problems clearly. The internal logic is consistent: the induction on the order of G/Z(G) is legitimate, and the paper does not assume the target conjecture. The main weakness is that one load-bearing step, the D_4(q) case of Lemma 6.1, relies on an unreproduced MAGMA computation. Because that step supports several later results used for the non-regular inductive step, the manuscript needs to make this computation verifiable before the proof can be considered complete.
major comments (2)
- [Section 6.1, Lemma 6.1, D4(q) case (page 9)] The proof of Lemma 6.1 for G = D4(q) with d ∈ {3,6} contains the sentence: “A calculation in MAGMA shows that V̂3 ≅ C3×C3.” No MAGMA code, input file, or output is supplied. This is not a peripheral remark: the asserted structure is used to choose a Sylow 3-twist v, then to construct V̂0 and Ê0. Corollary 6.2 derives from this the Sylow ℓ-decomposition D = Z(L)_ℓ ⋊ V0 and the equality N_Ĝ(D) = N_G(D)Ê; those consequences are subsequently used in Corollary 6.4, Lemma 6.7, Lemma 6.11, and Proposition 7.2. If the computational assertion is false, the extension maps and transversals for the infinite family D_4(q) with ℓ | q²±q+1 are not established. Please provide the MAGMA code and transcript, or a hand proof of the claim that a Sylow 3-subgroup of V0Γ is C3×C3.
- [Section 7.2, proof of Theorem 7.4] The line “By our assumption and applying [NSV20, Thm. A], the Isaacs–Navarro Galois conjecture holds for the group W~λ” is compressed. The induction hypothesis covers simple groups involved in groups of order smaller than |G/Z(G)|. For the argument to be valid, the relative Weyl group W~λ = N_G~(L, λ~)/L~ must have all its composition factors within that class. Since W~λ is a section of N_G~(L)/L~, which is a subgroup of the Weyl group (up to the regular-embedding center), its order is bounded uniformly in q and is indeed smaller for all but possibly trivial small q. Please spell out this order comparison explicitly, as the induction step is the mechanism that completes the proof for all non-regular d.
minor comments (4)
- [Introduction, Section 1] The Galois group and the finite group are both denoted G: “the Galois group G := Gal(Q^ab/Q) acts naturally on Irr(G).” This is confusing; use a different letter, e.g. 𝒢, for the Galois group.
- [Section 8] Typo: “Isaccas–Navarro” should be “Isaacs–Navarro”.
- [Section 6.1, Lemma 6.1] The notation V̂3 is introduced as “a Sylow 3-subgroup of V0Γ”, but the sentence “A calculation in MAGMA shows that V̂3 ≅ C3×C3” would benefit from stating explicitly which group (V0Γ or W0Γ) the computation concerns.
- [Throughout] Some inline formulas are poorly broken across lines (e.g. “N G(D) = NG(D)Ê” and “L NG(D)”). Please improve typesetting for readability.
Circularity Check
No significant circularity: Theorem A is derived via an external reduction theorem and independent structural lemmas; self-citations are used as prior conditional reductions, not as renamed versions of the target result.
full rationale
The proof of Theorem A is self-contained as a derivation: it starts from the NSV20 reduction (Theorem 2.1), an external theorem reducing the Isaacs–Navarro conjecture to the inductive Galois–McKay condition for simple groups, and then checks that condition. Section 4 dispatches non-Lie-type, defining-characteristic, and ℓ=2 cases using published results including the authors' own [RSF25], which is a separate, stronger theorem for ℓ=2 and is not the same as the present H0-statement. Section 5 imports a conditional reduction from [RSST25, Thm. B] and [RSST25, Cor. 3.5]; that reduction has its own hypotheses (existence of extension maps and transversals) and does not assume Theorem A. The paper then verifies those hypotheses in Sections 6–7. The induction in Theorem 7.4 is legitimate: it applies the induction hypothesis only to groups of smaller order and then invokes [NSV20, Thm. A], a standard reduction, to obtain the Isaacs–Navarro bijection for the smaller relative Weyl group; the size comparison between W~λ and G/Z(G) is implicit but standard, so this is at most an omitted detail, not circularity. The flagged MAGMA assertion in Lemma 6.1 ('A calculation in MAGMA shows that V̂3 ≅ C3×C3') is load-bearing for the D4(q) non-regular case and lacks a supplied certificate, but it is an independent computational check, not a step that assumes the desired bijection; this is a reproducibility concern, not a circularity. There are no fitted parameters, no predictions-from-fit, and no renaming of a known result as a new derivation. The self-citations to [RSST25] and [RSF25] are to separate works with their own hypotheses and are used as reductions or prior cases, so they do not make the main claim equivalent to its inputs.
Assumptions & free parameters
assumptions (9)
- domain assumption The inductive Galois-McKay reduction [NSV20, Thm. A] is valid with H0 in place of Hl.
- domain assumption The structural and equivariant results of [RSST25], especially Theorem B and Corollary 3.5, are correct.
- domain assumption The McKay conjecture and the inductive McKay condition hold for all finite groups, as established in [CS25, Thm. B].
- domain assumption Jordan decomposition of characters of finite reductive groups commutes with automorphisms and with the Galois group as described in [CS13, SV20, Ma07, Prop. 7.3].
- domain assumption The Sylow d-torus and Tits extended Weyl group machinery developed by Spath ([Sp09], [Sp10a], [Sp10b], [Sp23a], [Sp24]) is correct.
- domain assumption Simple groups outside the generic Lie-type case satisfy the inductive conditions: alternating, sporadic, exceptional multiplier, Suzuki/Ree, and l=2 cases, as cited in Lemmas 4.1 and 4.2.
- ad hoc to paper A MAGMA computation asserts that a Sylow 3-subgroup of V0Gamma for D4(q) is C3 x C3.
- standard math Standard character theory results: Gallagher's lemma, Clifford theory, determinantal orders, and extension uniqueness as in [Isa76].
- domain assumption The classification of finite simple groups and the description of universal covering groups as G^F with generic Schur multiplier for the remaining cases.
Cite this review
Pith. "Pith review of The Isaacs--Navarro Galois conjecture." pith.science (2026). https://pith.science/paper/EN2OJTWI
@misc{pith2026250902300,
author = {Pith},
title = {Pith review of: The Isaacs--Navarro Galois conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/EN2OJTWI}},
note = {Machine review of arXiv:2509.02300}
}
read the original abstract
We prove the original Galois refinement of the McKay conjecture, proposed by Isaacs--Navarro in 2002, providing an important subcase of the celebrated McKay--Navarro conjecture with several local-global consequences.
Forward citations
Cited by 1 Pith paper
-
Problems on the conductor of finite group characters
A survey of conductor problems for finite group characters that adds a new equivalence (combined Feit-deficiency conjecture iff Feit + cyclotomic deficiency) and two small p-rationality implications.
Reference graph
Works this paper leans on
-
[1]
O. Brunat and R. Nath , The Navarro conjecture for the alternating groups. Algebra Number Theory 15 (2021), no. 4, 821--862
work page 2021
-
[2]
M. Cabanes and M. Enguehard , On fusion in unipotent blocks. Bull. London Math. Soc. 31 (1999), 143--148
work page 1999
-
[3]
M. Cabanes and M. Enguehard , Representation Theory of Finite Reductive Groups. Cambridge University Press, Cambridge, 2004
work page 2004
-
[4]
M. Cabanes and B. Sp\"ath , Equivariance and extendibility in finite reductive groups with connected center. Math. Z. 275 (2013), 689--713
work page 2013
-
[5]
M. Cabanes and B. Sp\"ath , Equivariant character correspondences and inductive McKay condition for type . J. Reine Angew. Math. 728 (2017), 153--194
work page 2017
-
[6]
M. Cabanes and B. Sp\"ath , Inductive McKay condition for finite simple groups of type . Represent. Theory 21 (2017), 61--81
work page 2017
-
[7]
M. Cabanes and B. Sp\"ath , Descent equalities and the inductive McKay condition for types B and E. Adv. Math. 356 (2019), 106820
work page 2019
-
[8]
M. Cabanes and B. Sp\"ath , The McKay conjecture on character degrees, Ann. of Math., To Appear, Preprint arXiv:2410.20392 (2024)
arXiv 2024
Show all 43 references
-
[9]
Geck and G
M. Geck and G. Malle , The Character Theory of Finite Groups of L ie Type , volume 187 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2020
2020
-
[10]
N. N. Hung , The continuity of p -rationality and a lower bound for p -degree characters of finite groups. Trans. Amer. Math. Soc. 377 (1) (2024), 323--344
2024
-
[11]
N. N. Hung and A. A. Schaeffer Fry , The p -rationality of height-zero characters. Nagoya Math. J. Online First (2025), 1--22, doi:10.1017/nmj.2025.10077
2025
-
[12]
Isaacs , Character Theory of Finite Groups
I.M. Isaacs , Character Theory of Finite Groups. Academic Press, New York, 1976
1976
-
[13]
Isaacs and G
I.M. Isaacs and G. Navarro , New refinements of the McKay conjecture for arbitrary finite groups. Ann. of Math. 156 (2002), 333--344
2002
-
[14]
Johansson , The inductive M c K ay-- N avarro condition for finite groups of L ie type
B. Johansson , The inductive M c K ay-- N avarro condition for finite groups of L ie type . Dissertation, TU Kaiserslautern, 2022
2022
-
[15]
Johansson , On the inductive McKay--Navarro condition for finite groups of Lie type in their defining characteristic
B. Johansson , On the inductive McKay--Navarro condition for finite groups of Lie type in their defining characteristic. J. Algebra 610 (2022), 223--240
2022
-
[16]
Johansson , The inductive McKay--Navarro condition for the Suzuki and Ree groups and for groups with non-generic Sylow normalizers
B. Johansson , The inductive McKay--Navarro condition for the Suzuki and Ree groups and for groups with non-generic Sylow normalizers. J. Pure Appl. Algebra 228 :2 (2024), 107469
2024
-
[17]
L \"u beck , Data for finite groups of Lie type and related algebraic groups
F. L \"u beck , Data for finite groups of Lie type and related algebraic groups. http://www.math.rwth-aachen.de/ Frank.Luebeck/chev/index.html?LANG=de
-
[18]
Malle , Height 0 characters of finite groups of Lie type
G. Malle , Height 0 characters of finite groups of Lie type. Represent. Theory 11 (2007), 192--220
2007
-
[19]
Malle , The Inductive McKay condition for simple groups not of Lie type
G. Malle , The Inductive McKay condition for simple groups not of Lie type. Comm. Algebra 36(2) (2008), 455--463
2008
-
[20]
Malle , The Navarro--Tiep Galois conjecture for p=2
G. Malle , The Navarro--Tiep Galois conjecture for p=2 . Arch. Math. 112 (2019), 449--457
2019
-
[21]
Malle, J
G. Malle, J. M. Mart \'i nez, and C. Vallejo , The continuity of p -rationality of characters and the principal block, to appear in Proc. Amer. Math. Soc., preprint arXiv:2412.16128. (2025)
2025 arXiv
-
[22]
Navarro , The McKay conjecture and Galois automorphisms
G. Navarro , The McKay conjecture and Galois automorphisms. Ann. of Math. (2) 160 (3) (2004), 1129--1140
2004
-
[23]
Navarro , Character Theory and the McKay Conjecture
G. Navarro , Character Theory and the McKay Conjecture. Cambridge University Press, Cambridge 2018
2018
-
[24]
Navarro, B
G. Navarro, B. Sp \"a th, and C. Vallejo , A reduction theorem for the Galois--McKay conjecture. Trans. Amer. Math. Soc. 373 (2020), 6157--6183
2020
-
[25]
Navarro and P.H
G. Navarro and P.H. Tiep , Real groups and Sylow 2 -subgroups. Adv. Math. 299 (2016), 331--360
2016
-
[26]
Navarro and P.H
G. Navarro and P.H. Tiep , Sylow subgroups, exponents and character values. Trans. Amer. Math. Soc. 372 (6) (2019), 4263--91
2019
-
[27]
Navarro and P.H
G. Navarro and P.H. Tiep , The fields of values of characters of degree not divisible by p . Forum Math. Pi 9 :e2 (2021), 1--28
2021
-
[28]
Ruhstorfer , The Navarro refinement of the McKay conjecture for finite groups of Lie type in defining characteristic
L. Ruhstorfer , The Navarro refinement of the McKay conjecture for finite groups of Lie type in defining characteristic. J. Algebra 582 (2021), 177--205
2021
-
[29]
Ruhstorfer and A
L. Ruhstorfer and A. A. Schaeffer Fry , The inductive McKay--Navarro conditions for the prime 2 and some groups of Lie type. Proc. Amer. Math. Soc. Ser. B, 9 (2022), 204--220
2022
-
[30]
Ruhstorfer and A
L. Ruhstorfer and A. A. Schaeffer Fry , The McKay--Navarro conjecture for the prime 2. Adv. Math. 477 (2025), 110369
2025
-
[31]
Ruhstorfer, A
L. Ruhstorfer, A. A. Schaeffer Fry, B. Sp \"a th, and J. Taylor , Towards the inductive Galois-McKay Condition for groups of Lie type. ArXiv:2506.17123
-
[32]
A. A. Schaeffer Fry , Galois-equivariant McKay bijections for primes dividing q-1 . Isr. J. Math. 247 (2022), 269--302
2022
-
[33]
A Schaeffer Fry and J
A. A Schaeffer Fry and J. Taylor , On self-normalising Sylow 2-subgroups in type A. J. Lie Theory 28 (2018), 139--168
2018
-
[34]
a th , Die McKay-Vermutung f\
B. Sp \"a th , Die McKay-Vermutung f\"ur quasi-einfache Gruppen vom Lie-Type. Dissertation, TU Kaiserslautern (2007), https://kluedo.ub.uni-kl.de/files/1844/Spaeth_McKay.pdf
2007
-
[35]
Sp \"a th , The M c K ay conjecture for exceptional groups and odd primes
B. Sp \"a th , The M c K ay conjecture for exceptional groups and odd primes. Math. Z. 261 (2009), 571--595
2009
-
[36]
Sp \"a th , Sylow d -tori of classical groups and the M c K ay conjecture
B. Sp \"a th , Sylow d -tori of classical groups and the M c K ay conjecture. I . J. Algebra 323 (2010), 2469--2493
2010
-
[37]
Sp \"a th , Sylow d -tori of classical groups and the McKay conjecture, II
B. Sp \"a th , Sylow d -tori of classical groups and the McKay conjecture, II. J. Algebra 323 (2010), 2494--2509
2010
-
[38]
Sp \"a th , Extensions of characters in type D and the inductive McKay condition, I
B. Sp \"a th , Extensions of characters in type D and the inductive McKay condition, I. to appear in Nagoya Math. J. , arXiv:2109.08230, 2024
2024 arXiv
-
[39]
Sp \"a th , Extensions of characters in type D and the inductive McKay condition, II
B. Sp \"a th , Extensions of characters in type D and the inductive McKay condition, II. Preprint arXiv:2304.07373, (2023)
2023
-
[40]
Srinivasan and C
B. Srinivasan and C. R. Vinroot , Galois group action and Jordan decomposition of characters of finite reductive groups with connected center. J. Algebra 558, 708--727 (2020)
2020
-
[41]
Taylor , Action of automorphisms on irreducible characters of symplectic groups
J. Taylor , Action of automorphisms on irreducible characters of symplectic groups. J. Algebra 505 (2018), 211--246
2018
-
[42]
Tits , Normalisateurs de tores
J. Tits , Normalisateurs de tores. I. Groupes de Coxeter \'e tendus. J. Algebra 4 (1966), 96--116
1966
-
[43]
Turull , Strengthening the McKay Conjecture to include local fields and local Schur indices
A. Turull , Strengthening the McKay Conjecture to include local fields and local Schur indices. J. Algebra 319:12 (2008), 4853--4868
2008
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.