Abstract
Assuming that the statement of the Alperin–McKay–Navarro conjecture holds for a p-block B with defect group D, we show that the number of generators of D is bounded from below by the number of height-zero characters in B fixed by a specific element of the absolute Galois group of the rational numbers.
Similar content being viewed by others
1 Introduction
One of the main themes in the Representation Theory of Finite Groups is the study of how the values of characters in a p-block B of a finite group G and the structure of a defect group of B influence each other, where p is a prime. The aim of this note is to investigate connections between the values of height-zero characters in a p-block B and generation properties of the defect groups of B.
Given a finite p-group D, recall that the size of a minimal set of generators of D is m if, and only if, |D : Φ(D)| = pm, where Φ(D) is the Frattini subgroup of D. In this note we refer to the number m as the rank of D.
If B is a p-block of a finite group G with defect group D then the height-zero characters of B, here denoted by Irr0(B), are those χ ∈Irr(B) such that χ(1)p = |G : D|p, where np is the maximal power of p dividing the integer n. The group \(\text {Gal}(\overline {\mathbb {Q}} / \mathbb {Q})\) acts naturally on the set Irr(G) preserving degrees by χσ(g) = σ(χ(g)) for every g ∈ G and χ ∈Irr(G). Define \(\sigma \in \text {Gal}(\overline {\mathbb {Q}} / \mathbb {Q})\) as the element that sends p-power roots of unity to their p + 1 power and fixes roots of unity of order prime to p. Then the action of 〈σ〉 permutes the elements of Irr0(B) for every block B. In the following, we will denote by Irr0,σ(B) the set of fixed-points of Irr0(B) under the action of 〈σ〉 and by k0,σ(B) the size of Irr0,σ(B).
Recent advances on the subject [14, 18] suggest the existence of a mutual influence between k0,σ(B) and the rank of D (at least for primes p ≤ 3). We propose the following:
The above conjectural bound is related to Brauer’s k(B)-conjecture [1, Problem 20] and Olsson’s conjecture [16]. The former predicts that k(B) ≤|D|, where k(B) = |Irr(B)| is the number of irreducible characters in the block B, and the latter that \(k_{0}(B)\leq |D:D^{\prime }|\), where k0(B) = |Irr0(B)|. Notice that while Irr0(B) is always non-empty, the existence of some 〈σ〉-fixed character in Irr0(B) is not trivially guaranteed unless D = 1.
In Theorem 2.3 we show that Conjecture (1) holds for any p-block B with normal defect group. In particular, any p-block B satisfying the statement of the so-called Alperin–McKay–Navarro conjecture [13, Conjecture B] also satisfies the statement of Conjecture (1). Since the Alperin–McKay–Navarro conjecture is known to hold for p-solvable, sporadic, symmetric and alternating groups by [4, 5, 13, 20] and for all p-blocks with cyclic defect groups by [13, Theorem 3.4], then Theorem 2.3 implies that Conjecture (1) holds for all p-blocks of these families of groups and for all p-blocks with cyclic defect groups.
A natural problem in this context is to study under which conditions is the upper bound in Conjecture (1) attained. Recall that a character χ ∈Irr(G) is p-rational if all the values of χ lie in the cyclotomic extension \(\mathbb {Q}(\xi )\), where ξ is a root of unity of order \(|G|_{p^{\prime }}\). Here \(n_{p^{\prime }}\) is the \(p^{\prime }\)-part of any natural number n so that \(n=n_{p}n_{p^{\prime }}\). By the definition of σ, every p-rational character of G is 〈σ〉-fixed.
Suppose that B is nilpotent. Then there is some χ ∈Irr0(B) which is p-rational by [3, Proposition 2.6]. Following the notation of [3], ν↦ν ∗ χ yields a 〈σ〉-equivariant bijection Lin(D) →Irr0(B), where \(\text {Lin}(D)\cong D/D^{\prime }\) is the set of linear characters of D. Since the 〈σ〉-fixed elements in Lin(D) are in correspondence with the elements of D/Φ(D), it follows that k0,σ(B) = |D : Φ(D)|. Therefore the bound in Conjecture (1) is attained in nilpotent blocks. However the upper bound in Conjecture (1) is not generally attained, as shown by p-blocks with cyclic defect group (for p ≥ 5).
In the case where p = 2, the relationship between k0,σ(B) and |D : Φ(D)| seems closer. As we have already noticed, if D is cyclic then k0,σ(B) = |D : Φ(D)| = 2 [3, (1.ex.3)]. Moreover, the following was conjectured in [18, Conjecture B]:
If D has maximal class (that is, D is either a dihedral, semidihedral or generalized quaternion 2-group) then by celebrated work of Brauer [2, Theorem 4] and Olsson [15, Proposition 4.5] the 4 elements in Irr0(B) are 2-rational, so k0,σ(B) = |D : Φ(D)| = 4. Dihedral, semidihedral and generalized quaternion groups are examples of 2-groups of rank 2. As suggested by the main result of [14], we believe that the following can be true:
Unfortunately, the statements in Conjectures (2) and (3) do not seem to generalize to higher rank defect groups. If N is an elementary 2-group of rank 4 and H ∈Syl5(Aut(H)), then the group \(G=N\rtimes H\) has a unique 2-block B, namely the principal one, and k0,σ(B) = k(G) = 23.
Conjectures (2) and (3) hold for principal 2-blocks by [18, Theorem A] and [14, Theorem A]. Moreover, Conjecture (2) was proven to be a consequence of the Alperin–McKay–Navarro conjecture in [18, Theorem 1.5]. In Corollary 2.4 we show that Conjecture (3) also follows from the Alperin–McKay–Navarro conjecture.
We care to mention that, for p odd, the 〈σ〉-fixed characters of G are the almost p-rational characters of G defined in [6]. (We note that the definition of almost p-rational characters generalizes at the same time the classical notion of p-rationality and the notion of almost rationality defined in [8].) For p = 2, almost 2-rational characters are just 2-rational characters. In this case, it can be shown that the 〈σ〉-fixed irreducible characters of G of odd degree are 2-rational (see Theorem 2.5).
2 On Conjectures (1) and (3)
For a fixed prime p, consider the set Bl(G) of Brauer p-blocks of G as in [12], so that Bl(G) induces a partition of Irr(G). We write Irr(B) to denote the subset of characters in Irr(G) that belong to B for B ∈Bl(G). Every block B has associated a uniquely defined conjugacy class of p-subgroups of G, namely its defect groups. Given a block B of G with defect group D, we write B ∈Bl(G|D) and we let b ∈Bl(NG(D)|D) denote its Brauer first main correspondent. We write Irr0(B) to denote the subset of height-zero characters in Irr(B), as in Section 1.
The group \(\mathcal G=\text {Gal}(\mathbb {Q}(e^{2\pi i /|G|})/\mathbb {Q})\) acts on Irr(G) permuting the subsets {Irr0(B)|B ∈Bl(G)} by [12, Theorem 3.19]. Define \(\mathcal H \leq \mathcal G\) to be the subgroup consisting of those elements \(\tau \in \mathcal G\) for which there exists some fixed \(f \in \mathbb N\) such that \(\tau (\xi )=\xi ^{p^{f}}\) for every root of unity of order prime to p in \(\mathbb {Q}(e^{2\pi i /|G|})\). We write Irr0,τ(B) to denote the subset of τ-fixed characters in Irr0(B).
The Alperin–McKay–Navarro conjecture
Let B ∈Bl(G|D) and letb ∈Bl(NG(D)|D) be its Brauer first main correspondent. If \(\tau \in \mathcal H\), then
Notice that we can see the Galois automorphism σ defined in Section 1 as an element of \(\mathcal H\) by restricting it to \(\mathbb {Q}(e^{2\pi i /|G|})\). Actually 〈σ〉 acts on each Irr0(B) for B ∈Bl(G) (meaning that 〈σ〉 permutes trivially the set {Irr0(B)|B ∈Bl(G)}) because 〈σ〉 fixes every Brauer character of G.
We will see that the statements of Conjectures (1) and (3) follow from the statement of the Alperin–McKay–Navarro conjecture together with important results which already appeared in the literature. In order to do so, we recall some results on the theory of blocks with a normal defect group. We follow the notation of [12, Chapter 9]. Let B ∈Bl(G|D) and assume that \(D\trianglelefteq G\). Write C = CG(D). We will denote by b ∈Bl(CD|D) a root of B, and we will let 𝜃 ∈Irr(b) be the canonical character associated with B (see [12, Theorem 9.12] and the subsequent discussion). Recall that \(D\subseteq \ker (\theta )\) and 𝜃 has p-defect zero when viewed as a character of CD/D (that is, 𝜃(1)p = |CD : D|p). In this situation, the set Irr(b) is parametrized by the set Irr(D). We may write Irr(b) = {𝜃λ|λ ∈Irr(D)}, where 𝜃λ is defined as in [12, Theorem 9.12] and \(\ker (\lambda )\subseteq \ker (\theta _{\lambda })\). Then
It is not difficult to see that height-zero characters of B lie over characters 𝜃λ parametrized by linear characters λ of D, so that
If \(N \trianglelefteq G\), we will often identify with Irr(G/N) the irreducible characters χ ∈Irr(G) with \(N\subseteq \ker (\chi )\). In the above expression we are using that kind of identifications (as for \(\text {Lin}(D)=\text {Irr}(D/D^{\prime })\)).
An explicit description of the set Irr0,σ(B) when the defect group of B is normal was given in [18]. This is [18, Lemma 1.2] which we restate below.
Lemma 2.1
Let G be a finite group and let p be a prime. Suppose that B is a block of G with a normal defect group D. Let b be a root of B with canonical character 𝜃. Then
Suppose that \(N \trianglelefteq G\). If B and \(\bar B\) are blocks of G and G/N respectively we say that B dominates \(\bar B\) if \(\text {Irr}(B) \cap \text {Irr}({\bar B})\neq \emptyset \), and in such a case \(\text {Irr}({\bar B}) \subseteq \text {Irr}(B)\). Every block of G/N is dominated by a unique block of G. (See [12, pp.198–199] for further details). The following key lemma was shown in [10].
Lemma 2.2
Let B be a p-block of a finite group G with defect group D. Suppose that \(D\trianglelefteq G\), then B dominates a unique block \(\bar B\) of G/Φ(D). In particular,
Proof
The first part follows by [10, Corollary 4]. Indeed if \(\bar B\) is dominated by B, then the canonical character of \(\bar B\) is the canonical character 𝜃 of B seen as a character of DCG(D)/Φ(D) = CG/Φ(D)(D/Φ(D)) (the equality of centralizers follows by coprime action [7, Corollary 3.29]). By Lemma 2.1 we have that Irr0,σ(B) can be identified with a subset of Irr(G/Φ(D)), hence \(\text {Irr}_{0,\sigma }(B)=\text {Irr}_{0,\sigma }(\overline B)\). Again by Lemma 2.1 (applied to \(\bar B\)) we see that \(\text {Irr}_{0,\sigma }(B)=\text {Irr}_{0,\sigma }(\bar B)=\text {Irr}(\bar B)\), yielding \(k_{0, \sigma }(B)=k_{0, \sigma }(\bar B)=k(\bar B)\). □
The following statements show that blocks satisfying the statement of the Alperin–McKay–Navarro conjecture also satisfy Conjectures (1) and (3).
Theorem 2.3
Let B be a p-block of a finite group G with defect group D. Suppose that D is normal in G. Then
Moreover k0,σ(B) = 1 if, and only if, D = 1.
Proof
By Lemma 2.2, then \(k_{0, \sigma }(B)=k(\bar B)\) where \(\bar B\) is the only block of G/Φ(D) dominated by B. In particular, \(k_{0, \sigma }(B)=k(\bar B)=1\) if, and only if, the defect group D/Φ(D) of \(\bar B\) is trivial. This happens if, and only if, D = 1.
By [17, Theorem 6], \(k(\bar B)=k(e)\) where e is a p-block of a p-solvable group H with defect group isomorphic to D/Φ(D). By the solution of the k(GV )-problem [19] we have that 1 ≤ k(e) ≤|D : Φ(D)|. All together, these inequalities show that 1 ≤ k0,σ(B) ≤|D : Φ(D)|. □
Corollary 2.4
Let B be a 2-block of a finite group G with defect group D. Suppose that D is normal in G. Then k0,σ(B) = 4 if, and only if, D has rank 2.
Proof
Assume first that |D : Φ(D)| = 4. By Theorem 2.3 we have that k0,σ(B) ≤ 4. Since D > 1 we have that 2 divides k0,σ(B) by [18, Lemma 1.4]. If k0,σ(B) = 2 then D is cyclic by [18, Theorem 1.5], a contradiction. Hence k0,σ(B) = 4. Assume now that k0,σ(B) = 4. By Lemma 2.2, let \(\bar B\) be the only block of G/Φ(D) dominated by B so that \(k_{0, \sigma }(B)=k(\bar B)=4\). By [11, Corollary 1.3], the defect group of \(\bar B\) has order 4, that is, |D : Φ(D)| = 4. □
In the following, for any \(\tau \in \mathcal {G}\) we denote by \(\text {Irr}_{2^{\prime }, \tau }(G)\) the set of odd-degree irreducible characters of G fixed under the action of 〈τ〉.
Theorem 2.5
Let G be a finite group and let \(\tau \in \text {Gal}(\mathbb {Q}(e^{2 \pi i /|G|})/\mathbb {Q}(e^{2 \pi i/|G|_{2^{\prime }}}))\) be such that the subfield of \(\mathbb {Q}(e^{2\pi i /|G|_{2}})\) fixed by 〈τ〉 is \(\mathbb {Q}(\sqrt {\varepsilon 2})\), with ε ∈{± 1}. Then the set \(\text {Irr}_{2^{\prime }, \tau }(G)\) consists of 2-rational characters.
Proof
Let |G| = 2nm with m odd. Let \(\mathbb {Q}_{m}=\mathbb {Q}(e^{2\pi i /m})\). A character χ is 〈τ〉-fixed if, and only if, \(\mathbb {Q}_{m}(\chi )=\mathbb {Q}_{m}(\chi (g) | g \in G)\subseteq \mathbb {Q}_{m}(\sqrt {\varepsilon 2})\).
Let \(\chi \in \text {Irr}_{2^{\prime }, \tau }(G)\). Assume that χ is not 2-rational. By [9, Theorem C] we have that \(i \in \mathbb {Q}_{m}(\chi ) \subseteq \mathbb {Q}_{m}(\sqrt {\varepsilon 2})\), which is absurd by elementary Galois Theory. □
Let |G| = 2nm with m odd. Let \(\mathbb {Q}_{m}=\mathbb {Q}(e^{2\pi i /m})\). By restriction, we can see σ as an element of \(\text {Gal}(\mathbb {Q}(e^{2\pi i /|G|})/\mathbb {Q}_{m})\cong \text {Gal}(\mathbb {Q}(e^{\pi i /2^{n-1}})/\mathbb {Q})\) of order 2n− 2. Moreover, a character χ is 〈σ〉-fixed if, and only if, \(\mathbb {Q}_{m}(\chi )=\mathbb {Q}_{m}(\chi (g) | g \in G)\subseteq \mathbb {Q}_{m}(\sqrt 2 i)\). By Theorem 2.5, the odd-degree irreducible characters fixed under the action of 〈σ〉 are 2-rational. In particular, for blocks B of maximal defect, the invariant k0,σ(B) counts the number of 2-rational characters of odd-degree in B.
References
Brauer, R.: Representations of finite groups. In: Saaty, T. (ed.) Lectures on Modern Mathematics, Vol. 1, pp. 133–175. Wiley, New York (1963)
Brauer, R.: On 2-blocks with dihedral defect groups. In: Symposia Mathematica, Vol. 13, pp. 367–393. Academic Press, London-New York (1974)
Broué, M., Puig, L.: A Frobenius theorem for blocks. Invent. Math. 56, 117–128 (1980)
Brunat, O., Nath, R.: The Navarro conjecture for the alternating groups. Algebra Number Theory 15, 821–862 (2021)
Giannelli, E.: Mckay bijections for symmetric and alternating groups. Algebra Number Theory 15, 1809–1835 (2021)
Hung, N.N., Malle, G., Maróti, A.: On almost p-rational characters of \(p^{\prime }\)-degree. Forum Mathematicum. arXiv:2104.02994 (2021)
Isaacs, I.M.: Finite Group Theory. Graduate Studies in Mathematics, vol. 92. American Mathematical Society, Providence, RI (2008)
Isaacs, I.M., Navarro, G., Sangroniz, J.: p-groups having few almost-rational irreducible characters. Isr. J. Math. 189, 65–96 (2012)
Isaacs, I.M., Liebeck, M.W., Navarro, G., Tiep, P.H.: Field of values of odd-degree irreducible characters. Adv. Math. 354, 106757 (2019)
Külshammer, B.: A remark on conjectures in modular representation theory. Arch. Math. 49, 396–399 (1987)
Landrock, P.: On the number of irreducible characters in a 2-block. J. Algebra 68, 426–442 (1981)
Navarro, G.: Characters and Blocks of Finite Groups. London Mathematical Society Lecture Note Series, vol. 250. Cambridge University Press, Cambridge (1998)
Navarro, G.: The McKay conjecture and Galois automorphisms. Ann. Math. (2) 160, 1129–1140 (2004)
Navarro, G., Rizo, N., Schaeffer Fry, A.A., Vallejo, C.: Characters and generation of Sylow 2-subgroups. Represent. Theory 25, 142–165 (2021)
Olsson, J.B.: On 2-blocks with quaternion and quasidihedral defect groups. J. Algebra 36, 212–241 (1975)
Olsson, J.B.: On the number of characters in blocks of finite general linear, unitary and symmetric groups. Math. Z. 186, 41–47 (1984)
Reynolds, W.F.: Blocks and normal subgroups of finite groups. Nagoya Math. J. 22, 15–32 (1963)
Rizo, N., Schaeffer Fry, A.A., Vallejo, C.: Galois action on the principal block and cyclic sylow subgroups. Algebra Number Theory 14, 1953–1979 (2020)
Schmid, P.: The Solution of the K(GV ) Problem. ICP Advanced Texts in Mathematics, vol. 4. Imperial College Press, London (2007)
Turull, A.: The strengthened Alperin–McKay conjecture for p-solvable groups. J. Algebra 394, 79–91 (2013)
Acknowledgements
The author acknowledges support by grants PID2020-118193GA-I00 and PID2019-103854GB-I00 funded by MCIN/AEI/10.13039/501100011033 She would like to thank Eugenio Giannelli, Gunter Malle and Gabriel Navarro for useful conversations on the topic of this note. She extends her gratitude to the referees for their valuable corrections.
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
To Pham Huu Tiep on the occasion of his 60th birthday.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rodríguez, C.V. A Lower Bound on the Number of Generators of a Defect Group. Vietnam J. Math. 51, 571–576 (2023). https://doi.org/10.1007/s10013-022-00586-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-022-00586-z