Counting lifts of irreducible Brauer characters

This follows by Theorem 3.6 and Corollary 3.15 of [I2018] with \pi=\{p\}.

As mentioned above, we see that \beta is p-rational, which clearly implies that \chi is also p-rational. Then \chi lies in B_{p'}(G) by the comments after Theorem 5.2 of [I2018] (with p' in place of \pi). Note that \chi(1)=|G:W|\beta(1), which is a p'-number, and thus \chi is p'-special by Theorem 4.2 of [I2018].

Suppose that \eta_1,\ldots,\eta_n\in\operatorname{IBr}(T) are different irreducible Brauer characters inducing \varphi. Then each \eta_i(1)=\varphi(1)/|G:T| and \varphi_T=a_1\eta_1 +\cdots+a_n\eta_n +\Delta, where a_i are some integers and \Delta is either a Brauer character of T or zero. Now \varphi(1)\geq n(\varphi(1)/|G:T|), and the result follows.

Observe that Q is a Sylow p-subgroup of N\cap H, and so H={\bf N}_H(Q)(N\cap H) by the Frattini argument. This implies that NH=HN={\bf N}_H(Q)N. To show that \delta is NH-stable, we need to prove that \delta(x)=\delta(y) whenever x,y\in Q are conjugate in NH. Now we can write y=x^{hn}=(x^h)^n for some h\in {\bf N}_H(Q) and n\in N, and thus x^h and y are elements of Q that are conjugate in N. It follows by Lemma 2.2 that \delta(x^h)=\delta(y). Furthermore, since x and x^h are conjugate in H, we have \delta(x)=\delta(x^h) because \delta is H-stable. This proves that \delta(x)=\delta(y), and hence \delta is NH-stable.

By Lemma 2.2 again, there is a unique p-special character \hat\delta of N that is an extension of \delta. For any element h\in {\bf N}_H(Q), we see that h fixes \delta if and only if h fixes \hat\delta. Since \delta is {\bf N}_H(Q)-invariant and NH={\bf N}_H(Q)N, it follows that \hat\delta is NH-invariant, as required.

(1) By definition, there is a nucleus (W,\gamma) for \chi, such that \gamma\in\operatorname{Irr}(W) is factorable that induces \chi, Q\in\operatorname{Syl}_p(W) and (\gamma_p)_Q=\delta. In particular, \delta extends to W, so it is W-stable. Since \gamma is factorable, we can write \gamma=\alpha\beta, where \alpha=\gamma_p and \beta=\gamma_{p'}.

We claim that \alpha extends to a p-special character of NW. To see this, observe that Q is also a Sylow p-subgroup of NW and \delta is NW-stable by Lemma 3.2. It follows from Lemma 2.2 that \delta has a unique p-special extension to NW, say \tilde\delta. Furthermore, note that \tilde\delta is linear because \delta is, so \tilde\delta_W is the unique p-special extension of \delta to W. This forces \tilde\delta_W=\gamma_p=\alpha by the uniqueness of such an extension, as claimed.

Next we need to show that \beta^{NW} is p'-special. Writing \xi=\gamma^{NW}, we see that \xi^G=\gamma^G=\chi, and thus \xi is irreducible. Note that

so \beta^{NW} is also irreducible. Furthermore, it is clear that \xi is a lift because \chi is, and we deduce that \xi^0=\tilde\delta^0(\beta^{NW})^0=(\beta^{NW})^0. This proves that \beta^{NW} is a lift, and since \beta^{NW}(1)=|NW:W|\beta(1) is a p'-number, it follows by Lemma 2.3 that \beta^{NW} is p'-special.

Now we have proved that \xi=\tilde\delta\beta^{NW} is factorable, and hence an irreducible constituent of \xi_N is also factorable. Recall that \xi^G=\chi, so \chi_N has an irreducible constituent that is factorable. By Clifford’s theorem, we know that each irreducible constituent of \chi_N is factorable.

(2) By Lemma 3.2 again, we see that \delta is T-stable (with \operatorname{N}_G(Q,\delta) in place of H), and hence by Lemma 3.1, each \eta\in I_\varphi(T|Q)\subseteq \operatorname{IBr}(T|Q) has a unique lift \tilde\eta\in\operatorname{Irr}(T|Q,\delta). Observe that

so \tilde\eta^G\in L_\varphi(Q,\delta). It follows that \eta\mapsto\tilde\eta^G is a well defined map from I_\varphi(T|Q) to L_\varphi(Q,\delta).

Let \hat\delta\in\operatorname{Irr}(N) be the unique p-special extension of \delta to N (see Lemma 2.2). We will prove that for any \chi\in L_\varphi(Q,\delta), there exists a p'-special character \alpha of N such that \alpha\hat\delta is a factorable irreducible constituent of \chi_N, and induction defines a bijection \operatorname{Irr}(T|\alpha\hat\delta)\to \operatorname{Irr}(G|\alpha\hat\delta).

Actually, since \chi_N has an irreducible constituent that is factorable by part (1), we can choose a nucleus (W,\gamma) for \chi with N \le W, and such that \gamma is factorable with \gamma^G=\chi, Q\in\operatorname{Syl}_p(W) and (\gamma_p)_Q=\delta (see the construction of nuclei given at Page 2763 of [N2002]). Let \theta be an irreducible constituent of \gamma_N. Then \theta is factorable, and thus \theta_p=\gamma_p because \gamma_p(1)=\delta(1)=1. This proves that \theta_p is a p-special extension of \delta to N, so \hat\delta=\theta_p by Lemma 2.2 again. Writing \alpha=\theta_{p'}, we see that \theta=\alpha\hat\delta, which is factorable lying under \chi. Furthermore, it follows from Lemma 3.2 that \hat\delta is invariant in T=N{\bf N}_G(Q,\delta), and by Lemma 2.1, we conclude that the inertial group I of \alpha\hat\delta in G is contained in T. Applying the Clifford correspondence, we deduce that induction defines two bijections:

which implies that induction also defines a bijection \operatorname{Irr}(T|\alpha\hat\delta)\to \operatorname{Irr}(G|\alpha\hat\delta), as required.

Now we establish the surjectivity of our map. Let \chi\in L_\varphi(Q,\delta) be as above. Then there exists a character \psi\in\operatorname{Irr}(T|\alpha\hat\delta) that induces \chi. Observe that N\vartriangleleft T and \alpha\hat\delta is factorable lying under \psi, so similar reasoning shows that there exists a normal nucleus (U,\mu) for \psi with N\le U, and such that \mu is factorable and induces \psi. Since \psi is a lift and p>2, we know that \mu_p must be a linear character. It follows that (\mu_p)_N=\theta_p=\hat\delta, and hence (\mu_p)_Q=\hat\delta_Q=\delta. Choose a Sylow p-subgroup P of U containing Q, and let \lambda=(\mu_p)_P. Then by definition, (P,\lambda) is a vertex for \psi and \lambda_Q=\delta. Now \psi^G=\chi, and thus (P,\lambda) is also a vertex for \chi. By the uniqueness, we see that (P,\lambda) and (Q,\delta) are conjugate in G. This shows that P=Q and \lambda=\delta, and hence (Q,\delta) is also a vertex for \psi. Furthermore, note that (\psi^0)^G=(\psi^G)^0=\chi^0=\varphi, so \psi^0\in\operatorname{IBr}(T). It is easy to see that Q is a vertex for \psi^0 because \delta is linear (see Theorem 4.6(d) of [C2010] for example), and hence \psi^0\in I_\varphi(T|Q). This proves that our map is surjective.

Finally, we establish the injectivity of the map. Let \zeta,\eta\in I_\varphi(T|Q) induce the same character \chi=\tilde\zeta^G=\tilde\eta^G\in L_\varphi(Q,\delta), where \tilde\zeta and \tilde\eta are the lifts in \operatorname{Irr}(T|Q,\delta) of \zeta and \eta, respectively. Reasoning as before (with T in place of G), there exist p'-special characters \alpha_1 and \alpha_2 of N such that \alpha_1\hat\delta and \alpha_2\hat\delta are factorable irreducible constituents of \tilde\zeta_N and \tilde\eta_N, respectively. Of course both \alpha_1\hat\delta and \alpha_2\hat\delta lie under \chi, and thus they are conjugate in G by Clifford’s theorem. Since G=N\operatorname{N}_G(Q) by the Frattini argument, we can write \alpha_1\hat\delta=(\alpha_2\hat\delta)^x for some x\in \operatorname{N}_G(Q), which forces \alpha_1=(\alpha_2)^x and \hat\delta=\hat\delta^x by Lemma 2.1. In particular, the element x fixes \hat\delta_N=\delta and thus x\in\operatorname{N}_G(Q,\delta)\le T. This shows that \tilde\zeta_N and \tilde\eta_N have a common irreducible constituent \alpha_1\hat\delta, so \tilde\zeta, \tilde\eta\in\operatorname{Irr}(T|\alpha_1\hat\delta). Similar reasoning implies that induction defines a bijection \operatorname{Irr}(T|\alpha_1\hat\delta)\to\operatorname{Irr}(G|\alpha_1\hat\delta), and hence \tilde\zeta=\tilde\eta. Since \zeta=\tilde\zeta^0=\tilde\eta^0=\eta, we conclude that our map is injective. This proves (2).

(3) Note that |I_\varphi(T|Q)|\leq|G:T| by Lemma 2.5. Also, it is easy to see that

By part (2), we deduce that |L_\varphi(Q,\delta)|=|I_\varphi(T|Q)|\leq |{\bf N}_G(Q):{\bf N}_G(Q,\delta)|. The proof is now complete.

We may assume that L_\varphi(Q,\delta) is nonempty. Then \delta is a linear character of Q by Lemma 2.4. Writing N=KQ, we see that Q\in\operatorname{Syl}_p(N) and \delta extends to N. Now Theorem A applies, and the result follows.