Abstract
Let G be a finite solvable or symmetric group, and let B be a 2block of G. We construct a canonical correspondence between the irreducible characters of height zero in B and those in its Brauer first main correspondent. For symmetric groups our bijection is compatible with restriction of characters.
Introduction
Let \(\mathrm{Irr}(G)\) be the set of irreducible characters of a finite group G, and let \({\text {Irr}}_{p'}(G)\) be the subset of characters of \(p'\)degree, for any prime p. The McKay conjecture (recently proved for \(p=2\) in [14]) asserts that \({\text {Irr}}_{p'}(G)={\text {Irr}}_{p'}(\mathbf{N}_{G}(P))\) when P is a Sylow psubgroup of G. In [7] Isaacs defined a natural correspondence of characters for the McKay conjecture in solvable groups at the prime \(p=2\). As one expects for natural correspondences, the bijections of characters in [7] preserve fields of values of characters. Actually, the hypothesis in [7] is more general and applies to oddorder groups at any prime. However, natural McKay bijections do not always exist, even for solvable groups when \(p\ne 2\) (e.g., \(G= {{\mathrm{GL}}}\,(2,3)\) has two nonreal irreducible characters of degree 2, while all irreducible characters of the normalizer of a Sylow 3subgroup of G are rationalvalued, so no bijections preserving fields of values exist in this case).
Next recall that \(\mathrm{Irr}(G)\) is partitioned into pblocks; we let \(\mathrm{Irr}(B)\) be the characters belonging to a given pblock B. The defect of B is the maximum nonnegative integer d such that \(G/p^d\chi (1)\) is an integer, for some \(\chi \in \mathrm{Irr}(B)\). So if \(\chi \in \mathrm{Irr}(B)\), the ppart of \(G/p^d\chi (1)\) is \(p^h\), where \(h\ge 0\) is the height of \(\chi \). We use \(\mathrm {Irr}_{0}(B)\) to denote the characters of height 0 in \(\mathrm {Irr}(B)\). A defect group of B is a certain psubgroup D of G such that \(D=p^d\). The defect groups of B are determined up to Gconjugacy.
The Alperin–McKay conjecture, first stated in [1], asserts that \(\mathrm {Irr}_{0}(B)=\mathrm {Irr}_{0}(b)\), where \(b\in \mathrm{Bl}(\mathbf{N}_{G}(D))\) is the Brauer first main correspondent of B. T. Okuyama and M. Wajima proved the Alperin–McKay conjecture for psolvable groups in [16]. However, as with the McKay conjecture, it is generally not possible to define natural correspondences in the context of the Alperin–McKay conjecture, even for solvable groups.
In this article we take \(p=2\). Our first main theorem extends Isaacs results [7] to establish a natural Alperin–McKay bijection for solvable groups.
Theorem 1.1
Let G be a finite solvable group, let B be a 2block of G which has defect group D, and let b be the 2block of \(\mathbf{N}_{G}(D)\) which is the Brauer correspondent of B. Then there exists a natural correspondence between the heightzero irreducible characters in B and the heightzero irreducible characters in b.
As a consequence of this theorem, if b is the Brauer correspondent of a 2block B of a solvable group G, then the fields of values of the heightzero irreducible characters in B are the same as the fields of values of the heightzero irreducible characters in b.
In general, it is particularly rare to find a natural correspondence that is compatible with restriction of characters, in the context of the Alperin–McKay conjecture. Surprisingly this happens when \(G={\mathfrak {S}}_n\), the symmetric group on n letters. The second main result of the article can be stated as follows.
Theorem 1.2
Let B be a 2block of \({\mathfrak {S}}_n\) with defect group D, and let b be the 2block of \(\mathbf{N}_{{\mathfrak {S}}_n}(D)\) which is the Brauer correspondent of B. Then there exists a natural correspondence between the heightzero irreducible characters in B and the heightzero irreducible characters in b. If \(\alpha \in {\text {Irr}}_0(B)\) corresponds to \(\beta \in {\text {Irr}}_0(b)\), then \([\alpha {\downarrow _{\mathbf{N}_{{\mathfrak {S}}_{n}}(D)}},\beta ]\ne 0\).
Theorem 1.2 is a generalization of [6, Theorem 4.3] where, building on [5], it was possible to explicitly construct a canonical correspondence of characters, compatible with restriction, in the context of the McKay conjecture for \({\mathfrak {S}}_n\).
The last main result of the paper is Theorem 3.8. There we study in more details the restriction to \(\mathbf{N}_{{\mathfrak {S}}_{n}}(D)\) of any \(\chi \in \mathrm {Irr}(B)\). In particular we show that for every \(\gamma \in \mathrm {Irr}(B)\) there exists \(\beta \in \mathrm {Irr}_0(b)\) such that \(\beta \) is a constituent of \(\gamma {{\downarrow _{\mathbf{N}_{{\mathfrak {S}}_{n}}(D)}}}\).
Solvable groups
We first recall the Glauberman correspondence. Suppose that P and G are finite groups such that P acts on G and \((P,G)=1\). In particular we may form the semidirect product \(G\rtimes P\). Glauberman’s Lemma 13.8 of [8] asserts that if X is a \((G\rtimes P)\)set, such that G acts transitively on X, then P fixes an element of X. One useful consequence of this is that if N is a Pinvariant normal subgroup of G, then \(\mathbf{C}_{G/N}(P)=\mathbf{C}_{G}(P)N/N\).
Now suppose that P is solvable. Let \(\mathrm{Irr}_P(G)\) denote the set of Pinvariant irreducible characters of G. The Glauberman correspondence is a uniquely defined bijection
Our notation \(\, ^*\, \) suppresses the dependence of this map on the action of P on G, as it should be clear from the context. In the key case when P is a pgroup, we need the following property of Glauberman’s map:
Lemma 2.1
Let P be a finite pgroup which acts coprimely on a finite group G, and let V be a Pinvariant subgroup of G which contains \(\mathbf{C}_{G}(P)\). If \(\chi \in \mathrm{Irr}_P(G)\), there is a unique \(\psi \in \mathrm{Irr}_P(V)\) such that \(p\not \mid [\chi {\downarrow _V}, \psi ]\). Furthermore, \(\chi ^*=\psi ^*\).
Proof
This is Corollary 3.3 of [21]. \(\square \)
The reader is referred to Chapter 13 of [8] for a more thorough discussion of coprime actions and the Glauberman correspondence.
Now we discuss our plan of attack for the proof of Theorem 1.1, which consists first in reducing the general situation to the maximaldefect case. Let G be a finite solvable group and let B be a 2block of G. We use induction on the order of G, so assume Theorem 1.1 holds for any solvable group of order strictly smaller than G. Write \(M=O_{2'}(G)\), and note that (by the covering theory of blocks) there exists \(\theta \in \mathrm{Irr}(M)\), unique up to Gconjugacy, such that \(\mathrm{Irr}(B)\subseteq \mathrm{Irr}(G\, \, \theta )\). Let \(T=I_G(\theta )\) be the stabilizer of \(\theta \) in G. By Fong–Reynolds Theorem 9.14 of [15], there exists a unique block \(B_0\) of T whose irreducible characters are the Clifford correspondents (with respect to \(\theta \)) of the irreducible characters in B. Furthermore, this correspondence is heightpreserving. So induction from T to G establishes a bijection from \({\text {Irr}}_0(B_0)\) to \({\text {Irr}}_0(B)\), and a defect group of \(B_0\) is a defect group of B. In particular we can assume that \(D\subseteq T\).
Let \(\theta ^*\in \mathrm{Irr}(\mathbf{C}_{M}(D))\) be the Glauberman correspondent of \(\theta \) with respect to the action of D on M. Note that \(\mathbf{C}_{M}(D)=N\cap M\), where \(N=\mathbf{N}_{G}(D)\). By uniqueness in Glauberman’s correspondence, \(N\cap T\) is the stabilizer of \(\theta ^*\) in N. Let \(b_0\in {\text {Bl}}(N\cap T)\) be the Brauer first main correspondent of \(B_0\). Then b lies over \(\theta ^*\), and the irreducible characters lying in \(b_0\) are precisely the Clifford correspondents (over \(\theta ^*\)) of the irreducible characters lying in b (see [20] for details). As before, induction defines a heightpreserving bijection from \(\mathrm{Irr}(b_0)\) into \(\mathrm{Irr}(b)\).
Suppose that \(T<G\). Our inductive hypothesis yields a natural correspondence from the set of heightzero characters in \(B_0\) into the set of heightzero characters in \(b_0\). In this case, induction of characters, respectively, from T into G, and from \(N\cap T\) into N, establishes the desired bijection between the heightzero characters in B and the heightzero characters in b. So we may assume that \(T=G\).
By the previous paragraphs, we may suppose that \(\theta \) is Ginvariant. So \(D\in \mathrm{Syl}_2(G)\) and \(\mathrm{Irr}(B)=\mathrm{Irr}(G\, \, \theta )\), by Fong’s Theorem 10.20 of [15]. Since \(\mathrm{Irr}(b)=\mathrm{Irr}(N\, \, \theta ^*)\) in this case, to complete the proof we need to prove a certain compatibility condition between the correspondence defined by Isaacs in [7] for the McKay conjecture in solvable groups and the prime \(p=2\), and Glauberman correspondence (see Theorem 2.4 below). Working toward this, we begin with a bijection of characters defined by Isaacs in Theorem 10.6(ii) of [7]. What we really need to show is that this bijection has the property stated. We note that this property may also be established using the work of Wolf [21], and that a related question was treated in [12].
Lemma 2.2
Let G be a finite group, let \(P\in \mathrm{Syl}_2(G)\), let \(K,L\unlhd G\) with \(L\subseteq K\) and let \(\xi \in \mathrm{Irr}_P(L)\). Assume in addition that:

1.
K is odd;

2.
K / L is abelian;

3.
\(G=\mathbf{N}_{G}(P) K\) and \(\mathbf{C}_{K}(P)\subseteq L\);
Set \(H=\mathbf{N}_{G}(P) L\). Then there is a choicefree onetoone correspondence:
This character correspondence satisfies the following property: let V be a Pinvariant oddorder subgroup of G which contains K and let \(\varphi \in \mathrm{Irr}_P(V\mid \xi )\). Suppose that \(\nu \in \mathrm{Irr}(V\cap H\, \, \xi )\) is the unique Pfixed character with \(\varphi ^*=\nu ^*\). Then \(f_\xi \) restricts to a onetoone correspondence:
Proof
Our assumptions give \(G=HK\), \(L=H\cap K\) and thus \(G/K\cong H/L\). We use induction on G. We shall denote the map \(f_\xi \) in the statement of Lemma 2.2 by
Step 1. We can assume that \(\xi \) is invariant in G.
Proof of Step 1
Let \(T=I_G(\xi )\) be the inertia subgroup of \(\xi \) in G, and assume that \(T<G\). Now \(P\subseteq T\), by our hypothesis. Thus, the result holds for the group T, its subgroups \(K\cap T\), L and \(H\cap T\), and the character \(\xi \in \mathrm{Irr}(L)\) by induction. So there exists a choicefree correspondence
satisfying the desired property. Let \(\alpha \in \mathrm{Irr}_{2'}(T\, \, \xi )\), and note that \(\chi =\alpha {\uparrow ^G}\in \mathrm{Irr}_{2'}(G\, \, \xi )\) by Clifford’s correspondence. Suppose that \(\beta \in \mathrm{Irr}_{2'}(H\cap T\, \, \xi )\) corresponds to \(\alpha \) under map (1). Then \({\beta }{\uparrow ^{H}}\in \mathrm{Irr}_{2'}(H\, \, \xi )\) by Clifford’s correspondence, and we set \(\hat{\chi }:={\beta }{\uparrow ^{H}}\). By the properties of Clifford’s correspondence, this defines a onetoone map
Next we prove that the map \(\, \hat{}\, \) satisfies the property in the statement.
Let \(K\subseteq V\subseteq G\), \(\varphi \in \mathrm{Irr}(V\, \, \xi )\) and \(\nu \in \mathrm{Irr}(V\cap H\, \, \xi )\) be as in the statement. Let also \(\gamma \in \mathrm{Irr}(V\cap T\, \, \xi )\) be such that \(\gamma {\uparrow ^V}=\varphi \), and let \(\delta \in \mathrm{Irr}(V\cap H\cap T\, \, \xi )\) such that \(\delta {\uparrow ^{V\cap H}}=\nu \). Since both \(\varphi \) and \(\nu \) are Pinvariant, it follows from the uniqueness in Clifford’s correspondence that \(\gamma \) and \(\delta \) are Pfixed as well.
We claim that \(\gamma ^*=\delta ^*\). First, note that \(\mathbf{C}_{V\cap T}(P)\subseteq V\cap H\cap T\). Write \(\mu =\gamma {\uparrow ^{(V\cap T)K}}\in {\text {Irr}}{((V\cap T)K\, \, \xi )}\), and notice that \(\mu \) is Pinvariant. By Lemma 2.1, we have that \(\mu ^*=\gamma ^*\). Now, let \(\eta \) be the unique Pinvariant irreducible constituent of \(\gamma {\downarrow _{V\cap H\cap T}}\) having odd multiplicity, again by Lemma 2.1, so \(\eta ^*=\gamma ^*=\mu ^*\). We shall prove that \(\eta =\delta \). Note that since \(\gamma \) lies over \(\xi \), which is invariant in \(V\cap T\), it is clear that \(\eta \) lies over \(\xi \) as well. Thus \(\omega =\eta {\uparrow ^{V\cap H}}\) is irreducible and Pinvariant, by Clifford’s correspondence. Also, observe that \(\eta \) is the unique Pinvariant irreducible constituent of \(\mu {\downarrow _{V\cap H\cap T}}\) having odd multiplicity, by Lemma 2.1. Let \(\zeta =\zeta _1,\ldots ,\zeta _r\) be a nontrivial Porbit of irreducible constituents of \(\mu {\downarrow _{V\cap H\cap T}}\), and write \(\Delta =\zeta _1+\cdots +\zeta _r\). Suppose that \(\zeta _i=\zeta ^{x_i}\), where \(x_i\in P\). Then, since \(\omega \) is Pinvariant, we have that
which of course is even. It follows that
Since \(\varphi {\downarrow _{V\cap H}}=(\mu {\downarrow _{V\cap H\cap T}})\uparrow ^{V\cap H}\), we deduce by Lemma 2.1 that \(\omega =\nu \). Thus \(\eta =\delta \) by uniqueness in Clifford’s correspondence, and our claim follows.
Now, by induction map (1) restricts to a onetoone correspondence
Let \(\alpha \in \mathrm{Irr}_{2'}(T\, \, \xi )\) and write \(\chi =\alpha {\uparrow ^G}\in \mathrm{Irr}_{2'}(G\, \, \xi )\). Then
where the last equality follows from Clifford correspondence because \(\alpha , \gamma {\uparrow ^T}\in \mathrm{Char}(T\, \, \xi )\). Thus, \(\chi \) lies over \(\varphi \) if and only if \(\alpha \) lies over \(\gamma \). Similarly, for \(\beta \in \mathrm{Irr}_{2'}(H\cap T\, \, \xi )\), we have that \(\beta {\uparrow ^H}\in \mathrm{Irr}_{2'}(H\, \, \xi )\) lies over \(\nu \) if and only if \(\beta \) lies over \(\delta \). We deduce that \(\, \hat{}\, \) restricts to a bijection
as wanted. So we can and do assume from now on that \(\xi \) is invariant in G. \(\square \)
Step 2. We can assume that \(\xi \) is fully ramified in K / L.
Proof of Step 2
Let \(L\subseteq J\subseteq K\) be the largest subgroup of K such that \(\xi \) extends to J and every extension of \(\xi \) to J is fully ramified in K (see Theorem 2.7 of [7]). Since \(\xi \) is Ginvariant, it is clear that \(J\unlhd G\). By Problem 13.5 of [8], there exists a unique extension \(\phi \in \mathrm{Irr}(J)\) of \(\xi \) which is Pinvariant. Since \(PJ\unlhd HJ\), it easily follows from the uniqueness of \(\phi \) that this character is invariant in HJ. Then, by Lemma 10.5 of [7], for any Pinvariant subgroup \(J\subseteq X\subseteq HJ\), restriction of characters defines a bijection
and it is immediate that this bijection maps Pinvariant characters onto Pinvariant characters. By uniqueness of \(\phi \), an easy counting argument on character degrees yields \(\mathrm{Irr}_{2'}(X\, \, \xi )\subseteq \mathrm{Irr}(X\, \, \phi )\), for any X as above. It follows from this and Lemma 2.1 that restriction of characters defines a bijection
satisfying the condition required for the correspondence \(f_\xi \) in the statement. Thus, we may assume that \(L=J\), which is the same to say that \(\xi \) is fully ramified in K / L. \(\square \)
By the previous step, \(\xi {\uparrow ^K}\) has a unique irreducible constituent, which we denote by \(\theta \). We observe that \(\theta \) is Pinvariant, by uniqueness.
Final Step
We are in a situation in which Theorem 9.1 of [7] applies. This theorem gives \(U\subseteq G\) such that \(G=KU\) and \(K\cap U=L\). By Glauberman’s lemma we may assume that U is Pinvariant. Applying the Frattini argument (see the last paragraph of p. 632 in [7]), we can assume that \(U=H\). Let \(\Psi \) be the character of G / L given by Theorem 9.1. In particular the equation \(\chi {\downarrow _U}=(\Psi {\downarrow _U}) \hat{\chi }\), for \(\chi \in \mathrm{Irr}(G\, \, \theta )\) and \(\hat{\chi }\in \mathrm{Irr}(H\, \, \xi )\) defines a choicefree onetoone correspondence between these sets of characters. The uniqueness of \(\theta \) gives \(\mathrm{Irr}(G\, \, \xi )= \mathrm{Irr}(G\, \, \theta )\), and since \(\Psi (1)=\sqrt{K/L}\) is odd, we obtain a bijective correspondence
In order to see that \(\, \hat{}\, \) satisfies the desired property, let \(K\subseteq V\subseteq G\) be a Pinvariant oddorder subgroup of G. Suppose that \(W\subseteq G\) is such that W / L complements K / L in V / L and satisfies the conditions of Theorem 9.1 of [7] for the character five \((V,K,L,\theta , \xi )\). Since K / L acts transitively on the Gconjugacy class of W, Glauberman’s lemma allows us to assume that W is Pinvariant. Since \(PK/K\unlhd G/K\) and \((PK/K, V/K)=1\), it follows that \([W,P]\subseteq K\cap W= L\). Then \(W/L \subseteq \mathbf{C}_{V/L}(P)\subseteq (H\cap V)/L\). Thus \(W=H\cap V\). Arguing as before and using the inductive definition of the character \(\Psi \) (see p. 619 of [7]), we deduce that the equation \(\varphi {\downarrow _W}=(\Psi {\downarrow _W})\nu \), where \(\varphi \in \mathrm{Irr}_{2'}(V\, \, \xi )\) and \(\nu \in \mathrm{Irr}_{2'}(H\cap V\, \, \xi )\), defines a bijection between these sets of characters. Furthermore, it is clear that a Pinvariant \(\varphi \in \mathrm{Irr}_{2'}(V\, \, \xi )\) corresponds to a Pinvariant \(\nu \in \mathrm{Irr}_{2'}(H\cap V)\), and since V is odd, this occurs if and only if \([\varphi {\downarrow _{V\cap H}}, \nu ]\) is odd, by Theorem 9.1 of [7], which in turn is equivalent to \(\varphi ^*=\nu ^*\), by Lemma 2.1. Suppose that \(\chi \in \mathrm{Irr}_{2'}(G\, \, \varphi )\), and write
where \(\Delta \) is either zero, or \(\Delta \in \mathrm{Char}(V\, \, \xi )\) does not contain \(\varphi \) as a constituent. Then
and Theorem 9.1 of [7] implies that \(\hat{\chi }\) lies over \(\nu \), since \(\hat{\chi }{\downarrow _W}\in \mathrm{Char}(W\, \, \xi )\). Similarly, if we assume that \(\hat{\chi }\) lies over \(\nu \), then \(\chi \) lies over \(\varphi \), and it follows that the map \(\, \hat{}\, \) restricts to a bijection
The proof is complete. \(\square \)
We want our correspondences of characters to be invariant under the action of suitable Galois automorphisms and group automorphisms. More precisely, assuming the notation in Lemma 2.2, if \(a\in {{\mathrm{Aut}}}(G)\) stabilizes the subgroups K and L of G, then \(\xi ^a\in \mathrm{Irr}(L)\) is \(P^a\)invariant, and we obtain a bijection
In this situation, we would like to have that
for any \(\chi \in \mathrm{Irr}_{2'}(G\, \, \xi )\). Similarly, if \(\sigma \in {{\mathrm{Gal}}}(\mathbb Q( \omega )/\mathbb Q)\), where \(\omega \in \mathbb C\) is a primitive Gth root of unity, then \(\xi ^\sigma \in \mathrm{Irr}(L)\) is Pinvariant and Lemma 2.2 provides a choicefree bijection
As before, we would like the map \(f_{\xi ^\sigma }\) to satisfy
for any \(\chi \in \mathrm{Irr}_{2'}(G\, \, \xi )\).
A careful analysis of the proof of Lemma 2.2 shows that the bijection \(f_\xi \) in that result is built upon the following three correspondences of characters: Clifford’s correspondence (as in Step 1 of the proof); the correspondence in Lemma \(10.\,5\) of [7], given by character restriction (as in Step 1 of the proof); and finally, the correspondence of Theorem 9.1 in [7]. The two former correspondences are easily seen to be preserved by Galois action and action by automorphisms of G as described above. Thus, in order to see that the correspondence in Lemma 2.2 also satisfies this, we need to prove that the correspondence in Theorem 9.1 of [7] is invariant under the actions described in the previous paragraph. This is the content of the following result.
Proposition 2.3
Let \((G,K,L,\theta , \phi )\) be a character five, and assume that K / L is odd. Let \(U\subseteq G\) be as in the conclusion of Theorem 9.1 of [7].

1.
Suppose that \(\sigma \in {{\mathrm{Gal}}}(\mathbb Q(\omega )/\mathbb Q)\), where \(\omega \in \mathbb C\) has order G. If \(\chi \in \mathrm{Irr}(G\, \, \theta )\) corresponds to \(\xi \in \mathrm{Irr}(U\, \, \phi )\) under the bijection of Theorem 9.1 of [7], then \(\chi ^\sigma \) corresponds to \(\xi ^\sigma \) under this same bijection when defined with respect to the character five \((G,K,L,\theta ^\sigma , \phi ^\sigma )\).

2.
Suppose that \(a\in {{\mathrm{Aut}}}(G)\) stabilizes the subgroups K, L of G. If \(\chi \in \mathrm{Irr}(G\, \, \theta )\) corresponds to \(\xi \in \mathrm{Irr}(U\, \, \phi )\) under the bijection of Theorem 9.1 of [7], then \(\chi ^a\) corresponds to \(\xi ^a\in \mathrm{Irr}(U^a)\) under this same bijection when defined with respect to the character five \((G,K,L,\theta ^a, \phi ^a)\).
Proof
Let \(\Psi \in \mathrm{Char}(G)\) be defined as in Theorem 9.1 of [7], with respect to the form \(\langle \langle ,\, \rangle \rangle _{\phi }\). We first prove (2). It is clear that [7, Theorem 9.1] applies to the character five \((G, K, L, \theta ^a, \phi ^a)\), and we may choose \(U^a\subseteq G\) as a representative of the Gconjugacy class of subgroups of G in the conclusion of that theorem. Suppose that \(\Psi _a\in \mathrm{Char}(G)\) is the character computed with respect to the form \(\langle \langle ,\, \rangle \rangle _{\phi ^a}\) as in [7, Theorem 9.1]. Since
it suffices to prove that \(\Psi _a=\Psi ^a\). By the algorithm given in [7, p. 619 and p. 626] to compute \(\Psi \), this follows immediately from the fact that for any \(s\in U\) and any Sylow psubgroup \((K/L)_p\) of K / L, we have
where the last identity is a consequence of the definition of the form \(\langle \langle ,\, \rangle \rangle _{\phi }\) on [7, p. 596]. In order to prove (1), we argue similarly and notice that for any \(s\in U\), we have
\(\square \)
We remark that the proof of Lemma 2.2 has the same structure that the proof of Theorem 10.6(ii) of [7]. It is thus clear that the correspondence of characters of that theorem is invariant under Galois action and action by group automorphisms as above. Of course, this was already evident from the arguments in [7].
Our next result implies the maximaldefect case of Theorem 1.1. The general case follows from the reduction to this case given by Fong–Reynolds theory, as discussed prior to Lemma 2.2.
Theorem 2.4
Let G be a finite solvable group, \(P\in \mathrm{Syl}_2(G)\) and \(M\unlhd G\) with M odd. Assume that \(\theta \in \mathrm{Irr}(M)\) is Ginvariant, and let \(\theta ^*\in \mathrm{Irr}(\mathbf{C}_{M}(P))\) be its Glauberman correspondent for the action of P on M. Then there exists a choicefree bijection
Proof
We divide the proof of the theorem in several steps. Write \(N=\mathbf{N}_{G}(P)\).
Step 1. We can assume that \(G=NM\).
Proof of Step 1
We shall see that there exists a choicefree bijective correspondence
Assume that \(NM<G\). Let \(M\subseteq S\unlhd G\) be such that \(S/M=O^{2'2}(G/M)\). By the Frattini argument, we have that \(G=NS\). Thus, by assumption \(M<S\). Let \(M\subseteq J\unlhd G\) be such that \(J/M=(S/M)'\), and note that \(J<S\), because G is solvable. Note also that S / J is odd, and thus \(\mathbf{C}_{S/J}(P)=1\). Let \(H=NJ\), and observe that \(G=HS\) and \(H\cap S=J\). We shall define a choicefree correspondence from \(\mathrm{Irr}_{2'}(G\, \, \theta )\) into \(\mathrm{Irr}_{2'}(H\, \, \theta )\), and then repeated applications of the same argument will yield the result.
Let \(\chi \in \mathrm{Irr}_{2'}(G\, \, \theta )\bigcup \mathrm{Irr}_{2'}(H\, \, \theta )\). Of course, all the irreducible constituents of \(\chi {\downarrow _J}\) have odd degree. Since \(\theta \) is Ginvariant, it is also clear that every irreducible constituent of \(\chi {\downarrow _J}\) lies over \(\theta \). Observe that P acts on the irreducible constituents of \(\chi {\downarrow _J}\) by conjugation, and thus since \(\chi (1)\) is odd, an easy counting argument implies that there exists a Pinvariant irreducible constituent of \(\chi {\downarrow _J}\). Now, by Theorem 10.6(ii) of [7], for each Pinvariant \(\varphi \in \mathrm{Irr}_{2'}(J\,\, \theta )\), there exists a natural correspondence
If \(\chi \in \mathrm{Irr}_{2'}(G\, \, \varphi _1)\bigcap \mathrm{Irr}_{2'}(G\, \, \varphi _2)\), where \(\varphi _i\in \mathrm{Irr}_{2'}(J\, \, \theta )\) is Pinvariant for \(i=1,2\), we claim that \(F_{\varphi _1}(\chi )=F_{\varphi _2}(\chi )\). Indeed, if \(\varphi _1=(\varphi _2)^x\) for some x in G and we let I be the inertia subgroup of \(\varphi _1\) in G, then since \(\varphi _1\) is Pfixed, we have that P is contained in I, and since \(\varphi _2\) is Pfixed also \(P^{x}\) is contained in I. Now there exists y in I such that \(n=yx^{1}\) normalizes P, and \((\varphi _1)^n=\varphi _2\). Since the maps \(F_{\varphi _i}\) are invariant under automorphisms of G induced by Nconjugation, we have
as claimed. Thus, the union F of the maps \(F_\varphi \), where \(\varphi \in \mathrm{Irr}_{2'}(J\, \, \theta )\) and \(\varphi \) is Pinvariant, is a welldefined map. By the above observations, it is clear that
and it is easy to check that F is bijective. Finally, note that the map F is choicefree, because the maps \(F_{\varphi }\) are choicefree. This completes the proof of Step 1. \(\square \)
Let \(K=[M,P]\), and note that \(M=\mathbf{C}_{M}(P) K\) by coprime action. In particular \(G=N K\). Let \(L=K'<K\) and note that \(\mathbf{C}_{K/L}(P)=1\), again by coprime action. Write \(H=NL\), and notice that \(H\cap K=L\). Denote by \(\nu \in \mathrm{Irr}(M\cap H)\) the unique Pinvariant character such that \(\nu ^*=\theta ^*\). Let \(y\in N\). Since the Glauberman map is invariant under automorphisms of G stabilizing both P and M, and in this case also stabilizing \(M\cap H\), we have that
It follows that \(\nu ^y=\nu \) by uniqueness in Glauberman correspondence, and thus \(\nu \) is Hinvariant. Then by induction on G we obtain a choicefree bijection
It is now clear that in order to finish the proof it suffices to prove the following:
Final Step There exists a choicefree correspondence
Proof of Final Step
Recall that by Lemma 2.1 we have \([\theta {\downarrow _{M\cap H}}, \nu ]\ne 0\). Since \(\nu \) is Pinvariant of odd degree, let \(\xi \in \mathrm{Irr}(L)\) be a Pinvariant constituent of \(\nu {\downarrow _L}\). By Lemma 2.2, there exists a choicefree bijection \(f_\xi \), depending only on \(\xi \):
such that it restricts to a bijection:
If \(\xi ^y\) is any other Pinvariant contituent of \(\nu {\downarrow _L}\), where \(y\in M\cap H\), then Lemma 2.2 provides a natural correspondence
which again restricts to a bijection
By Proposition 2.3 and the comments before it, for any \(\chi \in \mathrm{Irr}_{2'}(G\, \, \theta )\) we have that
Thus, the restriction of \(f_\xi \) to \(\mathrm{Irr}_{2'}(G\, \, \theta )\) is independent of \(\xi \), and we obtain a choicefree correspondence of characters f as desired. \(\square \)
By Proposition 2.3 and the construction of the bijections leading to Theorem 1.1, it is clear that the correspondence in that theorem is preserved by both Galois action and action by group automorphisms of G stabilizing the block B. More precisely, assuming the notation in Theorem 1.1, if \(\sigma \in {{\mathrm{Gal}}}(\mathbb Q( \omega )/\mathbb Q)\), where \(\omega \in \mathbb C\) is a primitive Gth root of unity, is such that \(B^\sigma =B\), then \(b^\sigma =b\). Now, if \(\, \hat{} \, \) is the bijection in Theorem 1.1, then \(\, \hat{} \, \) commutes with the actions of \(\langle \sigma \rangle \) on \(\mathrm{Irr}(B)\) and \(\mathrm{Irr}(b)\):
for any \(\chi \in \mathrm{Irr}(B)\) of height zero. In particular, this implies that the heightzero irreducible characters in B have the same fields of values as the heightzero irreducible characters in b. Similarly, if \(a\in {{\mathrm{Aut}}}(G)\) is such that \(B^a=B\), then a induces a heightpreserving permutation \(\kappa _a\) on \(\mathrm{Irr}(B)\), and a heightpreserving bijection \(\tau _a:\mathrm{Irr}(b)\longrightarrow \mathrm{Irr}(b^a)\), where \(b^a\in \mathrm{Bl}(\mathbf{N}_{G}(D^a) )\). So we see that the bijection \(\, \hat{} \, \) in Theorem 1.1 makes the following diagram commutative:
Symmetric groups
Let n be a natural number and let \(\mathfrak {S}_n\) be the symmetric group on n letters. The Alperin–McKay conjecture has been verified for symmetric groups with a beautiful argument by Olsson in [17]. The main goal of the first part of the present section is to prove Theorem 1.2.
In particular we determine a natural bijection \(\chi \mapsto \chi ^*\) between \(\mathrm {Irr}_0(B)\) and \(\mathrm {Irr}_0(b)\), where b is the Brauer correspondent of a given 2block B of \({\mathfrak {S}}_n\) with defect group D. This bijection is based on the leglengths of hooks of partitions, and it is shown to be compatible with the restriction functor in the sense that \(\chi ^*\) is a constituent of the restriction \(\chi {\downarrow _{\mathbf{N}_{\mathfrak {S}_n}(D) }}\).
In the second part of the section (see Sect. 3.3) we investigate in more detail the restriction to \(\mathbf{N}_{\mathfrak {S}_n}(D)\) of any irreducible character in \(\mathrm {Irr}(B)\). In Theorem 3.8 we show that given any irreducible character of \(\mathfrak {S}_n\) lying in B, there exists \(\psi \in \mathrm {Irr}_0(b)\) such that \(\psi \) is a constituent of \(\chi {\downarrow _{\mathbf{N}_{{\mathfrak {S}}_{n}}(D)}}\). Moreover, we characterize those irreducible characters lying in B whose restriction to \(\mathbf{N}_{{\mathfrak {S}}_{n}}(D)\) has a unique heightzero constituent.
Notation and background
We start by recalling some basic facts in the representation theory of symmetric groups. We refer the reader to [10, 11] or [18] for a more detailed account. A partition \(\lambda =(\lambda _1\ge \lambda _2\ge \dots \ge \lambda _\ell >0)\) is a finite nonincreasing sequence of positive integers. We refer to \(\lambda _i\) as a part of \(\lambda \). We call \(\ell =\ell (\lambda )\) the length of \(\lambda \) and say that \(\lambda \) is a partition of \(\lambda =\sum \lambda _i\), written \(\lambda \vdash \lambda \). It is useful to regard the empty sequence \((\,)\) as the unique partition of 0. The Young diagram of \(\lambda \) is the set \([\lambda ]=\{(i,j)\in {\mathbb N}\times {\mathbb N}\mid 1\le i\le \ell (\lambda ),1\le j\le \lambda _i\}\). We orient \({\mathbb N}\times {\mathbb N}\) with the xaxis pointing right and the yaxis pointing down, in the AngloAmerican tradition.
The conjugate of \(\lambda \) is the partition \(\lambda '\) such that \([\lambda ']\) is the reflection of \([\lambda ]\) in the line \(y=x\). So \(\lambda '\) has parts \(\lambda _i'=\{j\mid \lambda _j\ge i\}\) and in particular \(\lambda '_1=\ell (\lambda )\). We say that a partition \(\mu \) is contained in \(\lambda \), written \(\mu \subseteq \lambda \), if \(\mu _i\le \lambda _i\), for all \(i\ge 1\). When this occurs, we call the nonnegative sequence \(\lambda \backslash \mu =(\lambda _i\mu _i)_{i=1}^\infty \) a skewpartition, and we call the diagram \([\lambda \backslash \mu ]=\{(i,j)\in {\mathbb N}\times {\mathbb N}\mid 1\le i\le \ell (\lambda ),\mu _i<j\le \lambda _i\}\) a skew Young diagram.
The rim of \([\lambda ]\) is the collection \({\mathcal R}(\lambda )=\{(i,j)\in [\lambda ]\mid (i+1,j+1)\not \in [\lambda ]\}\) of nodes on its southeastern boundary. Given \((r,c)\in [\lambda ]\), the associated rimhook is \(h(r,c)=\{(i,j)\in {\mathcal R}(\lambda )\mid r\le i,c\le j\}\). Then \(h=h(r,c)\) contains \(e:=\lambda _rr+\lambda '_cc+1\) nodes, in \(a(h)=\lambda _rc+1\) columns and \(\lambda '_cr+1\) rows. We call \(\ell (h)=\lambda '_cr\) the leglength of h. We refer to h as an ehook of \(\lambda \). The integer e is sometimes denoted as h. Removing h from \([\lambda ]\) gives the Young diagram of a partition denoted \(\lambda h\). In particular \(\lambda h=\lambda e\) and h is a skew Young diagram.
Let h be an e rimhook which has leglength \(\ell \). The associated hook partition of e is \(\hat{h}=(e\ell ,1^\ell )\). So \((e\ell ,1^\ell )\) coincides with its (1, 1) rimhook. Also there are e hook partitions \({\mathcal H}(e)=\{(e),(e1,1),\dots ,(1^e)\}\) of e, distinguished by their leglengths \(0,1,\dots ,e1\).
Now fix a positive integer e. We call a partition which has no ehooks an ecore. For example the 2cores are the triangular partitions \(\kappa _s=(s,s1,\dots ,2,1)\) for \(s\ge 0\). The ecore of \(\lambda \) is the unique ecore \(\kappa \) which can be obtained from \(\lambda \) by successively removing ehooks. We call the integer \((\lambda \kappa )/e\) the eweight of \(\lambda \). The set \(B(\kappa ,w)\) of partitions of n with ecore \(\kappa \) and weight w is called an eblock of partitions.
Notice that the hooklengths in a single row or column of \(\lambda \) are distinct. Let \((r,c)\in [\lambda ]\). Then \(\{h(i,j)\ :\ (i,j)\in [\lambda ],i\ne r,j\ne c\}\) is a submultiset of the hooklengths of \(\lambda h(r,c)\). So for \(m\ge 1\), a partition of eweight less than 2m can have at most one me rimhook.
Recall that the cycle type of a permutation \(\sigma \in \mathfrak {S}_n\) is the partition whose parts are the sizes of the orbits of \(\sigma \) on \(\{1,2,\dots ,n\}\). Now the complex irreducible characters of \(\mathfrak {S}_n\) are naturally labeled by the partitions of n. Given any partition \(\lambda \) of n we denote by \(\chi ^\lambda \) the corresponding irreducible character of \(\mathfrak {S}_n\). The following classical result can be iterated to find the values of these characters:
Lemma 3.1
(Murnaghan–Nakayama rule) Let \(\lambda \vdash n\) and let \((\sigma ,\tau )\in \mathfrak {S}_e\times \mathfrak {S}_{ne}\) such that \(\sigma \) is an ecycle. Then
where h runs over all ehooks in \(\lambda \).
Let p be a prime integer, and let B be a pblock of \(\mathfrak {S}_n\) with associated defect group D (uniquely defined up to conjugacy in \({\mathfrak {S}}_n\)). According to the famous result of Brauer and Robinson (as conjectured by Nakayama, see [4, 19]), \(B=B(\kappa ,w)\) for some pcore \(\kappa \) and weight \(w\ge 0\). Moreover, we can choose a defect group of B to be a Sylow psubgroup \(P_{pw}\) of \(S_{pw}\). Note that \(\kappa \) is the unique partition in \(B(\kappa ,0)\). Hence an irreducible character \(\chi ^\lambda \) of \({\mathfrak {S}}_n\) is in \(\mathrm {Irr}(B(\kappa , w))\) if and only if the pcore of \(\lambda \) is \(\kappa \). In this case we set \(h(\lambda )\) to be the (p)height of \(\chi ^\lambda \).
The Alperin–McKay bijection for \({\mathfrak {S}}_n\)
From now on \(p=2\), w is a nonnegative integer, \(\kappa \) is a 2core and \(n=\kappa +2w\). Write \(2w=2^{w_1}+\cdots +2^{w_t}\), where \(w_1>w_2>\cdots>w_t>0\). Then the Young subgroup \(\mathfrak {S}_{2^{w_1}}\times \dots \times \mathfrak {S}_{2^{w_t}}\) contains a Sylow 2subgroup \(P_{2w}=P_{2^{w_1}}\times P_{2^{w_2}}\times \dots \times P_{2^{w_t}}\) of \({\mathfrak S}_{2w}\).
Lemma 3.2
Let \(\lambda \vdash n\) have 2core \(\kappa \) and 2weight w. Then \(\lambda \) has heightzero if and only if there is a sequence \(\lambda =\lambda ^{(1)}\supset \lambda ^{(2)}\supset \dots \supset \lambda ^{(t)}\supset \lambda ^{(t+1)}=\kappa \) of partitions such that \(\lambda ^{(i)}\backslash \lambda ^{(i+1)}\) is a \(2^{w_i}\) rimhook, for \(i=1,\dots ,t\). Such a sequence is unique, if it exists.
Equivalently \(\lambda \) has heightzero if and only if \(\lambda \) has a unique removable \(2^{w_1}\) rimhook h and \(\lambda h\) has heightzero.
Proof
It is clear that the last statement follows from the first.
We know that \(\kappa =(s,s1,\dots ,1)\), for some \(s\ge 0\). Then the diagonal hooklengths of \(\kappa \) form a partition \(\mu =(2s1,2s5,2s9,\dots )\) of \(\kappa \). Let \(c\in {\mathfrak S}_{\kappa }\) have cycle type \(\mu \). Then the Murnaghan–Nakayama rule implies that \(\chi ^\kappa (c)=(1)^{\lfloor s^2/4\rfloor }\). Let \(d\in {\mathfrak S}_{2w}\) have cycle type \((2^{w_1},2^{w_2},\dots ,2^{w_t})\). So d is a 2element which commutes with c. Then \(\chi ^\lambda (cd)\) and \(\chi ^\lambda (c)\) have the same parity, by standard character theory.
Character theory implies that \([\mathfrak {S}_n:C_{\mathfrak {S}_n}(c)]\chi ^\lambda (c)/\chi ^\lambda (1)\) is an integer, and the parity of this central character is independent of \(\lambda \in B(\kappa ,w)\), according to block theory. Now the defect group \(P_{2w}\) of \(B(\kappa ,w)\) is a Sylow 2subgroup of \(C_{\mathfrak {S}_n}(c)={\mathfrak S}_{2w}\times \langle c\rangle \). It follows that \(\chi ^\lambda (c)/2^{h(\lambda )}\) is an integer whose parity is independent of \(\lambda \).
Suppose first that the given sequence \(\lambda ^{(i)}\) of partitions exists. Set \(h_i=\lambda ^{(i)}\backslash \lambda ^{(i+1)}\). Then \(\chi ^{\lambda }(cd)=\prod (1)^{\ell (h_i)}\chi ^\kappa (c)\), by the Murnaghan–Nakayama rule. As \(\chi ^\kappa (c)\) is odd, we deduce that \(\chi ^\lambda (cd)\) is odd. But then \(\chi ^\lambda (c)\) is odd. So \(\lambda \) has height 0, by the previous paragraph.
Conversely suppose that \(\chi ^\lambda \) has height zero. Then \(\chi ^\lambda (c)\) is odd, by the previous two paragraphs (consider \(\nu =(2w+s, s1,s2,\ldots , 1)\)). This forces \(\chi ^\lambda (cd)\ne 0\). So we can successively strip hooks of lengths \(2^{w_1},2^{w_2},\dots \) from \(\lambda \), according to the Murnaghan–Nakayama rule. Equivalently, the given sequence \(\lambda ^{(i)}\) of partitions exists. Moreover this sequence is unique, as \(\lambda ^{(i)}\) has 2weight strictly less than \(2^{w_i}\), for \(i=1,\dots t\). \(\square \)
Following the above lemma, let \(\lambda \) be a heightzero partition which has 2weight w and associated sequence \(\lambda =\lambda ^{(1)}\supset \lambda ^{(2)}\supset \dots \supset \lambda ^{(t)}\supset \lambda ^{(t+1)}=\kappa \). We call the ttuple \({\mathcal H}(\lambda )=(\hat{h}_1,\dots ,\hat{h}_t)\) of hook partitions associated with \((h_1,\dots ,h_t)\) the hook sequence of \(\lambda \).
Conversely, let \(\gamma _1,\gamma _2,\dots ,\gamma _t\) be hook partitions of \(2^{w_1},2^{w_2},\dots ,2^{w_t}\), respectively. By [2, Theorem 1.1] there is a unique partition \(\mu ^{(t)}\supset \kappa \) such that \(\mu ^{(t)}\backslash \kappa \) is a \(2^{w_t}\) rimhook associated with \(\gamma _t\). Given \(i>1\), suppose that we have constructed a sequence \(\mu ^{(i+1)}\supset \dots \supset \mu ^{(t)}\supset \mu ^{(t+1)}=\kappa \) of partitions such that \(\mu ^{(j)}\backslash \mu ^{(j+1)}\) is a \(2^{w_j}\) rimhook associated with \(\gamma _j\), for \(j=i+1,\dots ,t\), and shown that this sequence is unique. Then \(\mu ^{(i+1)}\) has 2weight \(\sum _{j=i+1}^t2^{w_j}<2^{w_i}\). So \(\mu ^{(i+1)}\) is a \(2^{w_i}\)core. Again using [2, Theorem 1.1], there is a unique partition \(\mu ^{(i)}\supset \mu ^{(i+1)}\) such that \(\mu ^{(i)}\backslash \mu ^{(i+1)}\) is a \(2^{w_i}\) rimhook associated to \(\gamma _i\). This shows that there is a unique partition \(\mu =\mu ^{(1)}\) which has 2weight w, 2core \(\kappa \) and hook sequence \((\gamma _1,\dots ,\gamma _t)\). In particular \(\mu \) has height zero. Counting the number of hook sequences for w gives:
Corollary 3.3
Let B be a 2block of \(\mathfrak {S}_n\) which has 2weight w. If \(2w=\sum _{i=1}^t 2^{w_i}\) with \(w_1>\dots>w_t>0\) then B has \(2^{w_1+\cdots + w_t}\) heightzero irreducible characters.
Example 3.4
The 8 heightzero partitions of 9 in B((2, 1), 3), their hook sequences and the sequence of leglengths of these hooks:
Recall that \(P_2\) is cyclic of order 2 and \(P_{2^k}\cong P_{2^{k1}}\wr C_2\) for all \(k>1\). It is not hard to show that \(\mathbf{N}_{\mathfrak {S}_{2^k}}(P_{2^k})=P_{2^k}\). Now the odddegree characters of \(\mathfrak {S}_{2^k}\) are precisely those labeled by the hook partitions \(\mathcal {H}(2^k)\) of \(2^k\). Moreover, by [5, Theorem 1.1] there is a bijection between these characters and the linear characters of \(P_{2^k}\); if h is a hook partition of \(2^k\), the corresponding character of \(P_{2^k}\) is the unique linear constituent \(\phi ^{h}\) of \(\chi ^{h}{\downarrow _{P_{2^k}}}\).
As mentioned above, \(P_{2w}\) is a defect group of the 2block \(B(\kappa ,w)\) of \(\mathfrak {S}_{n}\). Now \(P_{2w}\) has normalizer \(N:=P_{2w}\times {\mathfrak {S}}_{\kappa }\) in \(\mathfrak {S}_{n}\). The Brauer correspondent of B is the unique 2block \(b=b_0\times B(\kappa , 0)\) of N such that \(b^{\mathfrak {S}_n}=B\) in the sense of Brauer. Here \(b_0\) is the unique 2block of the 2group \(P_{2w}\) and \(B(\kappa , 0)\) is a defect zero 2block of \(\mathfrak {S}_{\kappa }\). It is easy to check that an irreducible character \(\psi \times \chi ^\kappa \) in b has heightzero if and only if \(\psi (1)=1\). Equivalently we must have
where \(h_j\) is a hook partition of \(2^{w_j}\), for all \(j\in \{1,\ldots , t\}\).
Let \(\chi =\chi ^\lambda \) be a heightzero character in \(B(\kappa , w)\), and suppose that \(\lambda \) has hook sequence \({\mathcal H}(\lambda )=(h_1,\ldots , h_t)\). We denote by \(\chi ^*\) the heightzero character in b defined by
We are now able to prove Theorem 1.2. This follows from the following result.
Theorem 3.5
The map \(\chi \mapsto \chi ^*\) is a bijection between the heightzero characters in \(B(\kappa , w)\) and the heightzero characters in its Brauer correspondent b. Moreover \(\chi ^*\) is a constituent of the restriction of \(\chi \) to N.
Proof
Set \(\mathcal {H}(w)=\mathcal {H}(2^{w_1})\times \cdots \times \mathcal {H}(2^{w_t})\). The first assertion about the bijectivity of the map follows from the discussion above. There we explicitly described two bijections: the first one between the sets \(\mathrm {Irr}_0(B(\kappa , w))\) and \(\mathcal {H}(w)\), and the second one between the sets \(\mathcal {H}(w)\) and \(\mathrm {Irr}_0(b)\). The composition of this two bijections gives the map defined by \(\chi \mapsto \chi ^*\).
Let \(\chi =\chi ^\lambda \) where \(\lambda \) is a partition of n. To prove the second statement we proceed by induction on t, the length of the 2adic expansion of 2w. Suppose then that \(t=1\) and \(2w=2^{w_1}\). Let h be the hook partition of 2w corresponding to the unique 2w rimhook of \(\lambda \). A direct application of the Littlewood–Richardson rule shows that \(\chi ^h\times \chi ^\kappa \) is a constituent of \(\chi ^\lambda {\downarrow _{{\mathfrak {S}}_{2w}\times {\mathfrak {S}}_{n2w}}}\) (see [6, Lemma 4.1] for an explicit proof). It follows that \(\chi ^*=\phi ^h\times \chi ^\kappa \) is a constituent of \(\chi ^\lambda {\downarrow _{P_{2w}\times {\mathfrak {S}}_{n2w}}}\).
Let now \(t\ge 2\) and suppose that \(\lambda \) has hook sequence \({\mathcal H}(\lambda )=(h_1,h_2,\ldots , h_t)\). Let \(\mu \) be the unique heightzero partition of \(n2^{w_1}\) with 2core \(\kappa \) and hook sequence \({\mathcal H}(\mu )=(h_2,\ldots , h_t)\). In particular \(\mu \) belongs to \(B(\kappa ,w2^{w_11})\). Again by [6, Lemma 4.1], \(\chi ^{h_1}\times \chi ^\mu \) is a constituent of \(\chi ^\lambda {\downarrow _{{\mathfrak {S}}_{2^{w_1}}\times {\mathfrak {S}}_{n2^{w_1}}}}\). Clearly \((\chi ^{\mu })^* =\phi ^{h_2}\times \phi ^{h_3}\times \cdots \times \phi ^{h_t}\times \chi ^\kappa \), and by induction we have that
We conclude that \(\chi ^*\) is a constituent of \(\chi ^\lambda {\downarrow _{P_{2w}\times {\mathfrak {S}}_{n2w}}}\). \(\square \)
We end this section by observing that the map described in Theorem 3.5 can be equivalently defined in algebraic terms only, without using combinatorics. This is done via repeated applications of [9, Theorem B]. Keeping the notation introduced above let \(n=2w+\gamma \) where \(2w=2^{w_1}+\cdots +2^{w_t}\), and let \(\chi \in \mathrm {Irr}_{0}(B(\kappa ,w))\). For \(i\in \{1,\ldots ,t\}\) we let \(n_i:=n_{i1}2^{w_i}\), where we set \(n_0=n\). We set \(\chi _0:=\chi \), and we define a sequence of irreducible characters \((\chi _1,\ldots , \chi _t)\) as follows. For \(i\in \{1,\ldots ,t\}\) let \(\chi _{i}\in \mathrm {Irr}({\mathfrak {S}}_{n_i})\) be the unique irreducible constituent of \(\chi _{i1}\downarrow _{{\mathfrak {S}}_{n_i}}\) appearing with odd multiplicity. Notice that \(\chi _1\) is well defined since \(\chi _0\) has height zero and therefore the partition \(\lambda \) of n labeling \(\chi _0\) has a unique removable rim \(2^{w_1}\)hook \(\gamma _1\), by Lemma 3.2. Hence by [9, Theorem B] \(\chi _0\downarrow _{{\mathfrak {S}}_{n_1}}\) has a unique irreducible constituent \(\chi _1\) appearing with odd multiplicity. Again [9, Theorem B] guarantees that the partition of \(n_1\) labeling \(\chi _1\) is obtained by removing \(\gamma _1\) from \(\lambda \); hence, \(\chi _1\) is an irreducible character of height zero in \(B(\kappa ,w2^{w_11})\), by Lemma 3.2. Iterating this same argument i times, we deduce that \(\chi _i\) is well defined and uniquely determined.
A second application of [9, Theorem B] implies that there exists a unique \(\theta _i\in \mathrm {Irr}({\mathfrak {S}}_{n_i}\times {\mathfrak {S}}_{2^{w_i}})\) such that \(\theta _i\) lies above \(\chi _i\) and such that \(\frac{\theta _i(1)}{\chi _i(1)}\) is odd. Therefore \(\theta _i=\chi _i\times \rho _i\) for some uniquely defined \(\rho _i\in \mathrm {Irr}_{2'}({\mathfrak {S}}_{2^{w_i}})\).
We now denote by \(\phi _i\) the unique irreducible odddegree constituent of \(\rho _i\downarrow _{P_{2^{w_i}}}\) (well defined by [5, Theorem 1.1]), and we set
Theorem 3.6
The map \(\chi \mapsto \chi ^{**}\) coincides with the map constructed in Theorem 3.5.
Proof
Repeated applications of [9, Theorem B] and of Lemma 3.2 show that for all \(i\in \{1,\ldots , t\}\) we have that \(\chi _i=\chi ^{\lambda _i}\) where \(\lambda _i\) is the partition of \(n_i\) obtained by removing from \(\lambda _{i1}\) the unique \(2^{w_i}\) rimhook \(\gamma _i\). Moreover \(\rho _i=\chi ^{h_i}\) where \(h_i\) is the hook partition of \(2^{w_i}\) associated with \(\gamma _i\). We conclude that \(\phi _i=\phi ^{h_i}\) and therefore that \(\chi ^{**}=\chi ^*\). \(\square \)
Restriction to the normalizer
We continue with the notation that \(\kappa \) is a 2core of \(n2w\). However we now assume that \(B=B(\kappa ,w)\) is a nonprincipal 2block of \({\mathfrak S}_n\). So \(\kappa =(s,s1,\dots ,1)\) with \(s>1\). Also \(P_{2w}\) is a defect group of B, \(N=P_{2w}\times {\mathfrak S}_{n2w}\) is the normalizer of \(P_{2w}\) in \({\mathfrak S}_n\), and b is the 2block of N that is the Brauer correspondent of \(B(\kappa ,w)\). In Sect. 3.2 we have seen that there exists a bijection \(\chi \mapsto \chi ^*\) between the sets \(\mathrm {Irr}_0(B)\) and \(\mathrm {Irr}_0(b)\). We have also shown that \(\chi ^*\) is a constituent of the restriction of \(\chi \) to N.
Question. Is \(\chi ^*\) the only constituent of \(\chi {\downarrow _N}\) lying in \(\mathrm {Irr}_0(b)\)?
In [5, Theorem 1.2] the first author addressed the above question in the case where B is the principal block of \({\mathfrak {S}}_n\). In particular the following statement holds:
Proposition 3.7
Let \(\chi \in \mathrm {Irr}({\mathfrak {S}}_n)\), and let \(P_n\) be a Sylow 2subgroup of \({\mathfrak {S}}_n\).

(i)
The restriction of \(\chi \) to \(P_n\) has a linear constituent.

(ii)
The restriction of \(\chi \) to \(P_n\) has a unique linear constituent if and only if \(\chi (1)=1\) or \(\chi (1)\) is odd and n is a power of 2.
In particular, if \(\chi (1)\) is even, then its restriction to \(P_n\) has at least two linear constituents.
In this section we will prove the following statement.
Theorem 3.8
For each irreducible character \(\chi \) in B.

(i)
The restriction of \(\chi \) to N has an irreducible constituent in \(\mathrm {Irr}_0(b)\).

(ii)
The restriction of \(\chi \) to N has a unique irreducible constituent in \(\mathrm {Irr}_0(b)\) if and only if \(\chi =\chi ^\lambda \) where \(\lambda \) is either the maximal or the minimal partition in \(B(\kappa ,w)\) (with respect to the dominance order).
In particular, if \(\chi \) has positive height, then its restriction to N has at least two heightzero constituents lying in b.
The proof will be given in a series of results, culminating in Proposition 3.13. First recall the following important definition and rule.
Definition 3.9
Let \({\mathcal A}=a_1,\dots ,a_k\) be a sequence of positive integers. The type of \(\mathcal {A}\) is the sequence of nonnegative integers \(m_1,m_2,\dots \) where \(m_i\) is the number of occurrences of i in \(a_1,\dots ,a_k\). We say that \(\mathcal {A}\) is a reverse lattice sequence if the type of its prefix \(a_1,\dots ,a_j\) is a partition, for all \(j\ge 1\). Equivalently, for each \(j=1,\dots ,k\) and \(i\ge 2\)
Let \(\alpha \vdash n\) and \(\beta \vdash m\) be partitions. The outer tensor product \(\chi ^\alpha \times \chi ^\beta \) is an irreducible character of \({\mathfrak S}_n\times {\mathfrak S}_m\). Inducing this character to \({\mathfrak S}_{n+m}\) we may write
The Littlewood–Richardson rule asserts that \(c_{\alpha ,\beta }^\gamma \) is zero if \(\alpha \not \subseteq \gamma \) and otherwise equals the number of ways to replace the nodes of the diagram \([\gamma \backslash \alpha ]\) by natural numbers such that

1.
The numbers are weakly increasing along rows.

2.
The numbers are strictly increasing down the columns.

3.
The sequence obtained by reading the numbers from right to left and top to bottom is a reverse lattice sequence of type \(\beta \).
We call any such configuration a Littlewood–Richardson filling of \([\gamma \backslash \alpha ]\).
Recall that a partition \(\alpha \) dominates a partition \(\beta \), written \(\beta \preceq \alpha \), if \(\sum _{j=1}^i\beta _j\le \sum _{j=1}^i\alpha _j\), for all \(i\ge 1\). We will use \(\lambda ^0\) and \(\lambda ^1\) to denote the most dominant and least dominant partitions in \(B(\kappa ,w)\), respectively. So \(\lambda ^0\) and \(\lambda ^1\) are obtained by wrapping a horizontal, respectively, a vertical 2w rimhook onto \(\kappa \). In particular \(\lambda ^0\) and \(\lambda ^1\) have height zero.
Lemma 3.10
The following hold:

(i)
\(\chi ^{\lambda ^0}\) is the unique irreducible \(B(\kappa ,w)\)constituent of \((\chi ^{(2w)}\times \chi ^\kappa ){\uparrow ^{{\mathfrak S}_n}}\) and \(\chi ^{\lambda ^1}\) is the unique irreducible \(B(\kappa ,w)\)constituent of \((\chi ^{(1^{2w})}\times \chi ^\kappa ){\uparrow ^{{\mathfrak S}_n}}\).

(ii)
\((\chi ^{\lambda }){\downarrow _N}\) has a unique heightzero irreducible constituent in b, for \(\lambda =\lambda ^0,\lambda ^1\).
Proof
To prove (i), let \(\lambda \in B(\kappa ,w)\) such that \(c_{(2w),\kappa }^\lambda \ne 0\). Then \(\lambda \) has 2core \(\kappa \), and no two nodes in \([\lambda \backslash \kappa ]\) belong to the same column, using the Littlewood–Richardson rule. However \([\lambda \backslash \kappa ]\) is a union of 2hooks. As \(\kappa \) is triangular, this forces \([\lambda \backslash \kappa ]\) to be a single row. So \(\lambda =\lambda ^0\) and \(c_{(2w),\kappa }^\lambda =1\). The proof for \((\chi ^\kappa \times \chi ^{(1^{2w})}){\uparrow ^{{\mathfrak S}_n}}\) is similar, and we omit it.
To prove (ii) let us first assume that \(\lambda =\lambda ^0\). Then \([\lambda \backslash \kappa ]\) is a row. Using the Littlewood–Richardson rule, \(\chi ^\alpha \times \chi ^\kappa \) is an irreducible constituent of the restriction of \(\chi ^\lambda \) to \({\mathfrak S}_{2w}\times {\mathfrak S}_{n2w}\) if and only if \(\alpha =(2w)\). Moreover, \(\chi ^{(2w)}\times \chi ^\kappa \) occurs with multiplicity 1 in the restricted character. It follows that the only constituent of \(\chi ^\lambda {\downarrow _N}\) lying in b is
Moreover, this character appears with multiplicity 1. A completely similar argument (replacing (2w) with \((1^{2w})\)) covers the case \(\lambda =\lambda ^1\). \(\square \)
Now let rows\((\gamma \backslash \alpha )\) be the partition obtained by sorting the row lengths of \(\gamma \backslash \alpha \) into weakly decreasing order, and cols\((\gamma \backslash \alpha )\) the partition obtained from the column lengths.
Lemma 3.11
[13] Replacing the nodes in each column of \([\gamma \backslash \alpha ]\) with \(1,2,\dots \), from top to bottom, produces a Littlewood–Richardson filling of \([\gamma \backslash \alpha ]\) of type cols\((\gamma \backslash \alpha )^t\).
Likewise, replacing the nodes in the rightmost boxes of each nonempty row of \([\gamma \backslash \alpha ]\) with \(1,2,\dots \), from top to bottom, and repeating to exhaustion, produces a Littlewood–Richardson filling of \([\gamma \backslash \alpha ]\) of type rows \((\gamma \backslash \alpha )\) (Fig. 1).
Lemma 3.12
Let \(\lambda \in B(\kappa ,w)\) with \(\lambda \ne \lambda ^0,\lambda ^1\). Then the restriction of \(\chi ^\lambda \) to \({\mathfrak S}_{2w}\times {\mathfrak S}_{n2w}\) has at least two irreducible constituents of the form \(\chi ^\alpha \times \chi ^\kappa \). Moreover \(\alpha \ne (2w),(1^{2w})\).
Proof
Given the hypothesis on \(\lambda \), we have already shown that \(\chi ^{(2w)}\times \chi ^\kappa \) and \(\chi ^{(1^{2w})}\times \chi ^\kappa \) are not constituents of the restriction of \(\chi ^\lambda \) to \({\mathfrak S}_{2w}\times {\mathfrak S}_{n2w}\).
Suppose for the sake of contradiction that the restriction of \(\chi ^\lambda \) to \({\mathfrak S}_{2w}\times {\mathfrak S}_{n2w}\) has only one irreducible constituent of the form \(\chi ^\alpha \times \chi ^\kappa \), where \(\alpha \) is a partition of 2w. [3, Lemma 4.4] implies that \([\lambda \backslash \kappa ]\) has shape \([\alpha ]\), or has shape \([\alpha ]\) rotated by \(\pi \) radians.
Note that \([\lambda \backslash \kappa ]\) is not left justified, as \(\kappa \) is a triangular partition with at least two rows, and \(\lambda \) is neither a row nor a column. So \([\lambda \backslash \kappa ]\) does not have a partition shape.
Suppose then that \([\lambda \backslash \kappa ]\) rotated by \(\pi \)radians has a partition shape. Equivalently, there is a partition \(\mu \subset \kappa \) such that \([\mu ]\) is disjoint from \([\lambda \backslash \kappa ]\) and \([\lambda \backslash \mu ]\) is a rectangle. Then \([\kappa \backslash \mu \ge 3\), as \([\kappa ]\) is triangular, and \([\lambda \backslash \kappa ]\) has at least two rows and two columns. Every rectangular partition has 2core \([\,]\) or [1]. So if we remove all 2hooks from \([\lambda \backslash \mu ]\), we are left with a skew diagram with at most 1 node. In particular we will have removed at least two nodes from \([\kappa ]\). This contradicts our hypothesis that \(\lambda \) has 2core \(\kappa \). So this case is also impossible. \(\square \)
Proposition 3.13
For \(\lambda \in B(\kappa ,w)\), with \(\lambda \ne \lambda ^0,\lambda ^1\), the number of heightzero constituents in the restriction of \(\chi ^\lambda \) to N which belong to b is:

(i)
two, if w is a power of 2 and \([\lambda \backslash \kappa ]\) is the disjoint union of a row and a column.

(ii)
at least three, if w is a power of 2 and \([\lambda \backslash \kappa ]\) is a 2w rimhook of leglength 1 or \(2w2\).

(iii)
at least four, in all other cases.
Proof
By Lemma 3.12, the restriction of \(\chi ^\lambda \) to \({\mathfrak S}_{2w}\times {\mathfrak S}_{n2w}\) has at least two irreducible constituents of the form \(\chi ^\alpha \times \chi ^\kappa \), with \(\alpha \ne (2w),(1^{2w})\).
Assume the hypothesis of (i). Then the Littlewood–Richardson rule gives
where m is the length of the row of \([\lambda \backslash \kappa ]\) and no irreducible constituent of the character \(\psi \) has the form \(\chi ^\alpha \times \chi ^\kappa \). Proposition 3.7(ii) implies that the restriction of \(\chi ^\lambda \) to N has exactly two heightzero irreducible constituents in b.
Suppose next that w is a power of 2 and \(\mathrm{cols}(\lambda \backslash \kappa )^t\) is a hook partition. As \(\lambda \ne \lambda ^0,\lambda ^1\), this means that \([\lambda \backslash \kappa ]\) has a unique column of length \(\ge 2\). We may assume that \([\lambda \backslash \kappa ]\) is not the disjoint union of a row and a column. As \(\kappa \) is a nontrivial triangular partition, the only possibility remaining is that \([\lambda \backslash \kappa ]\) is a 2w rimhook of leglength 1. Then \(\mathrm{rows}(\lambda \backslash \kappa )=(2w2,2)\) is not a hook partition. Proposition 3.7 implies that the restriction of \(\chi ^{(2w2,2)}\) to \(P_{2w}\) has at least two linear constituents. It follows that the restriction of \(\chi ^\lambda \) to N has at least three heightzero irreducible constituents in b.
A similar argument works when w is a power of 2 and \(\mathrm{rows}(\lambda \backslash \kappa )\) is a hook partition. In that case, we may assume that \([\lambda \backslash \kappa ]\) is a 2w rimhook of leglength \(2w2\). Then \(\mathrm{cols}(\lambda \backslash \kappa )^t=(2^2,1^{2w4})\) is not a hook partition, and once again Proposition 3.7 implies that the restriction of \(\chi ^{(2^2,1^{2w4})}\) to \(P_{2w}\) has at least two heightzero irreducible constituents in b. This completes the analysis of the hypothesis of (ii).
To prove (iii), we may suppose that w is not a power of 2, or that neither \(\mathrm{cols}(\lambda \backslash \kappa )^t\) nor \(\mathrm{rows}(\lambda \backslash \kappa )\) are hook partitions. Proposition 3.7 implies that the restriction of each \(\chi ^\alpha \) to \(P_{2w}\) has at least two linear constituents. It follows that the restriction of \(\chi ^\alpha \times \chi ^\kappa \) to N has at least two heightzero irreducible constituents in b. Taking into account that there are at least two such \(\alpha \), we see that the restriction of \(\chi ^\lambda \) to N has at least four heightzero irreducible constituents in b. \(\square \)
We are actually able to characterize when the number of heightzero constituents is 3. As shown in Corollary 3.16 below, this situation occurs extremely rarely.
We first need the following lemma.
Lemma 3.14
Let \(k\ge 2\) be a positive integer. Then the linear character \(\phi ^{(2^k)}\) is an irreducible constituent of the restriction of \(\chi ^{(2^k2,2)}\) to the Sylow 2subgroup \(P_{2^k}\) of \({\mathfrak {S}}_{2^k}\).
Proof
We proceed by induction on k. The statement is true for \(k=2\) by direct computation. Suppose that \(k>2\). For clarity we set \(q=2^{k1}\). Then \(P_q\times P_q\) is a Sylow 2subgroup of the Young subgroup \({\mathfrak {S}}_q\times {\mathfrak {S}}_q\) of \({\mathfrak {S}}_{2^k}\), and we may assume that \(P_q\times P_q\le P_{2^k}\). The Littlewood–Richardson shows that
Taking into consideration Proposition 3.7, we get
where \(c_{k1}\) is the multiplicity of \(\phi ^{(q)}\) as an irreducible constituent of \(\chi ^{(q2,2)}\) and \(\Delta \) is a sum of irreducible characters of \(P_q\times P_q\) all of the form \(\eta \times \rho \) for some \(\eta ,\rho \in \mathrm {Irr}(P_q)\) with \(\eta \ne \rho \). The inductive hypothesis guarantees that \(c_{k1}\ne 0\).
Now [5, Theorem 3.2] shows that \(\phi ^{(2^{k})}\) and \(\phi ^{(2^{k}1,1)}\) are the only linear characters of \(P_{2^k}\) whose restriction to \(P_q\times P_q\) equals \(\phi ^{(q)}\times \phi ^{(q)}\). Likewise \(\phi ^{(2^{k}2,1^2)}\) and \(\phi ^{(2^{k}3,1^3)}\) are the only linear characters of \(P_{2^k}\) whose restriction to \(P_q\times P_q\) equals \(\phi ^{(q1,1)}\times \phi ^{(q1,1)}\). Suppose for the sake of contradiction that \(\phi ^{(2^{k})}\) is not a summand of \(\chi ^{(2^k2,2)}\downarrow _{P_{2^k}}\). Then
where \(a=2\) or 3 and \(\Delta \) is a sum of nonlinear irreducible characters of \(P_{2^k}\).
Now let \(g\in P_{2^k}\) be a \(2^k\)cycle. Then \(\chi ^{(2^k2,2)}(g)=0\) by the Murnaghan–Nakayama rule, as \((2^k2,2)\) has no rimhooks of length \(2^k\). It is shown in [5, Theorem 3.2] that \(\phi ^{(2^{k}b,1^b)}(g)=(1)^b\), for each \(b\ge 1\). Moreover it is easy to show that \(\Delta (g)=0\), as \(\Delta \) has no linear constituents. So (4) becomes
But \(c_{k1}\) is positive. So \((2c_{k1}+1)\pm 1<0\), leading to a contradiction. \(\square \)
Lemma 3.15
Let \(k\ge 3\) be a positive integer. Then the restriction of \(\chi ^{(2^k2,2)}\) to \(P_{2^k}\) has at least four linear constituents.
Proof
We adopt the notation used in Lemma 3.14. Then (3) implies that
where \(\Omega \) is a character of \(P_q\times P_q\). The conclusion now follows from [5, Lemma 2.2]. \(\square \)
Corollary 3.16
For each \(\lambda \in B(\kappa ,w)\) with \(\lambda \ne \lambda ^0,\lambda ^1\) we have that the restriction of \(\chi ^\lambda \) to N has exactly three irreducible constituents in \(\mathrm {Irr}_0(b)\) if and only if \(w=2\) and \(\mathrm{rows}(\lambda \backslash \kappa )=(2,2)\) or \(\mathrm{cols}(\lambda \backslash \kappa )^t=(2,2)\).
Proof
This follows from Lemma 3.15 and the proof of Proposition 3.13. \(\square \)
References
Alperin, J.L.: Remarks on a Conjecture by McKay and a Theorem by Glaubermann. In: Seminar Lecture, Chicago (1974)
Bessenrodt, C.: On hooks of Young diagrams. Ann. Comb. 2, 103–110 (1998)
Bessenrodt, C., Kleshchev, A.: On Kronecker products of complex representations of the symmetric and alternating groups. Pac. J. Math. 190, 201–223 (1999)
Brauer, R.: On a conjecture by Nakayama. Trans. R. Soc. Can. Sect. III. (3) 41, 11–19 (1947)
Giannelli, E.: Characters of odd degree of symmetric groups. J. London Math. Soc. 96(1), 1–14 (2017)
Giannelli, E., Kleshchev, A., Navarro, G., Tiep, P.H.: Restriction of odd degree characters and natural correspondences. Int. Math. Res. Not (to appear)
Isaacs, M.: Characters of solvable and symplectic groups. Am. J. Math. 95, 594–635 (1973)
Isaacs, M.: Character Theory of Finite Groups. AMS Chelsea, Providence (2006)
Isaacs, M., Navarro, G., Olsson, J., Tiep, P.H.: Characters restriction and multiplicities in symmetric groups. J. Algebra (to appear)
James, G.D.: The Representation Theory of the Symmetric Groups. Lecture Notes in Mathematics, vol. 682. Springer, Berlin (1978)
James, G., Kerber, A.: The Representation Theory of the Symmetric Group. Encyclopedia of Mathematics and its Applications, vol. 16. Addison Wesley Publishing Co, Reading (1981)
Lewis, M.L.: Characters, coprime actions, and operator groups. Arch. Math. (Basel) 69(6), 455–460 (1997)
McNamara, P.R.W.: Necessary conditions for Schurpositivity. J. Algebraic Combin. 28(4), 495–507 (2008)
Malle, G., Späth, B.: Characters of odd degree. Ann. Math. (2) 184, 869–908 (2016)
Navarro, G.: Characters and Blocks of Finite Groups. LMS Lecture Note Series, vol. 250. CUP, Cambridge (1998)
Okuyama, T., Wajima, M.: Character correspondence and \(p\)blocks of \(p\)solvable groups. Osaka J. Math. 17(3), 801–806 (1980)
Olsson, J.: McKay numbers and heights of characters. Math. Scand. 38(1), 25–42 (1976)
Olsson, J.: Combinatorics and Representations of Finite Groups, vol. 20. Vorlesungen aus dem Facherbeich Mathematik der Universitat Essen, Heft (1994)
Robinson, G.B.: On a conjecture by Nakayama. Trans. R. Soc. Can. Sect. III 41(3), 20–25 (1947)
Slattery, M.C.: \(\pi \)blocks of \(\pi \)separable groups. II. J. Algebra 124(1), 236–269 (1989)
Wolf, T.R.: Character correspondences in solvable groups. Illinois J. Math. 22(2), 327–340 (1978)
Acknowledgements
We thank Pham Huu Tiep and Gabriel Navarro for several interesting conversations on the topic. Part of this work was done, while the second and third authors were visiting the University of Kaiserslautern. We are grateful to Gunter Malle for supporting these visits.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author’s research was funded by Trinity Hall, University of Cambridge and by Gunter Malle’s ERC Advanced Grant 291512. The third author has been supported by MTM201453810C201 of the Spanish MEyC and by the Prometeo/Generalitat Valenciana.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Giannelli, E., Murray, J. & Tent, J. Alperin–McKay natural correspondences in solvable and symmetric groups for the prime \(p=2\) . Annali di Matematica 197, 999–1016 (2018). https://doi.org/10.1007/s102310170712x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s102310170712x
Keywords
 AlperinMcKay conjecture
 Symmetric groups
 Solvable groups
 Restriction of characters
Mathematics Subject Classification
 20C15