Character triple conjecture for \(p\)-solvable groups (Q2068170)

In modular representation theory of finite groups, the global-local conjectures are so important and interesting. \textit{E.C. Dade}'s conjecture is one of them [Math. Res. Inst. Publ. 6, 45--59 (1997; Zbl 0904.20004)]. In the paper under review, the author proves \textit{B. Späth}'s character triple conjecture in [J. Eur. Math. Soc. 19, 1071--1126 (2017; Zbl 1459.20005)] with \textit{I. M. Isaacs} and \textit{G. Navarro}'s refinement on the character degrees [Ann. Math. (2) 156, 333--344 (2002; Zbl 1018.20007)], and as a biproduct the author proves Dade's Extended Projective Conjecture 4.10, whenever the finite group \(G\) treated here is \(p\)-solvable. More precisely, let \(p\) be a prime, \(d\) a non-negative integer, \(G\) a finite \(p\)-solvable group with \(O_p(G)\leq Z(G)\), and \(B\) a \(p\)-block of \(G\) with defect group that is non-central. Then consider a \(p\)-chain \(\mathbb{D}\) of \(G\), i.e. \(\mathbb{D}:=\{ O_p(G)=D_0 <D_1<\cdots<D_n\}\) where each \(D_i\) is a \(p\)-subgroup of \(G\) and \(n\) is called the length of \(\mathbb{D}\). Write \(\mathfrak C(G)\) for the set of all \(p\)-chains of \(G\), and write also, for \(\varepsilon\in\{+,-\}\), \(\mathfrak C(G)_{+}\) and \(\mathfrak C(G)_{-}\) for all elements in \(\mathfrak C(G)\) of even length and odd length, respectively. Now, consider a set of pairs \((\mathbb{D},\theta)\) for \(\mathbb{D}\in\mathfrak C(G)\) and \(\theta\in{\mathrm{Irr}^d(G)}\), namely, for \(\varepsilon\in\{+,-\}\) \(\mathcal C^d(B)_\varepsilon:= \{(\mathbb{D},\theta)\mid \mathbb{D}\in\mathfrak C(G)_\varepsilon, \theta\in{\mathrm{Irr}}^d(G_\mathbb{D}), {\mathrm{bl}}(\theta)^G=B\}\) where \({\mathrm{Irr}}^d(G_{\mathbb{D}})\) is the set of all irreducible ordinary characters of \(G_{\mathbb{D}}\) with \(p\)-defect \(d\) (here \(G_{\mathbb{D}}\) is the stabilizer of \(\mathbb{D}\) in \(G\)), bl\((\theta)\) is a \(p\)-block of \(G_\mathbb{D}\) to which \(\theta\) belongs, and \({\mathrm{bl}}(\theta)^G\) is the Brauer correspondent (induction). Further, let \(A\) be a finite group containing \(G\) as a normal subgroup and \(A_B\) the stabilizer of \(B\) in \(A\). Then there is an \(A_B\)-equivariant bijection \(\mathcal C^d(B)_+/G \rightarrow \mathcal C^d(B)_-/G\) that induces a \(G\)-block isomorphism between the character triples \((A_{\mathbb{D},\theta}, \mathcal C_{\mathbb{D}},\theta)\) and \((A_{\mathbb{E},\iota}, \mathcal C_{\mathbb{E}},\iota)\) where \(\mathcal C^d(B)_\varepsilon/G\) is th set of \(G\)-orbit, \(A_{\mathbb{D}, \theta}\) is the stabilizer of the pair \((\mathbb{D}, \theta)\) in \(A_B\). The definition of \(G\)-block isomorphism is too complicated to explain here. The character triple isomorphism goes back to \textit{I. M. Isaacs}, that is defined originally only for \((G,N,\theta)\) for \(N\unlhd G\) and \(G\)-invariant irreducible ordinary character \(\theta\) of \(N\) [Character theory of finite groups. New York-San Francisco-London: Academic Press, a subsidiary of Harcourt Brace Jovanovich, Publishers (1976; Zbl 0337.20005)]. In the main result, the author proves also Issacs-Navarro's [loc. cit.] refinement on the corresponding character degrees as well, namely \(|G_{\mathbb{D}}|_{p'}/\theta(1)_{p'}\equiv\pm\, |G_{\mathbb{E}}|_{p'}/\iota(1)_{p'}\ ({\mathrm{mod}}\ p)\), and as a result Dade's [loc. cit.] extended projective conjecture (the most general and complicated one of the six versions of Dade's conjecture).