More cancellation theorems for conjectures of Alperin and Dade (Q1599594)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More cancellation theorems for conjectures of Alperin and Dade |
scientific article |
Statements
More cancellation theorems for conjectures of Alperin and Dade (English)
0 references
19 February 2003
0 references
Let \(G\) be a finite group, \(p\) a prime and \(B\) a \(p\)-block of \(G\). Alperin's weight conjecture (AWC) asserts that \[ \ell(B)=\sum_{Q/G}f^{(B)}_0(N_G(Q)/Q), \] where \(\ell(B)\) denotes the number of irreducible Brauer characters in \(B\), \(Q/G\) is a set of representatives for the \(G\)-conjugacy classes of \(p\)-subgroups of \(G\) and \(f^{(B)}_0(N_G(Q)/Q)\) denotes the number of \(p\)-blocks of defect \(0\) of \(N_G(Q)/Q\) contained in the \(B\)-Brauer correspondent blocks of \(N_G(Q)\). This conjecture was reformulated by R. Knörr and the author of this paper. This condition, equivalent to (AWC), was subsequently reformulated by E. C. Dade, Dade's projective conjecture (DPC), which is as follows: Let \(Z\) be a central \(p\)-subgroup of \(G\) and let \(\lambda\) be a linear character of \(Z\). Suppose that the defect group of \(B\) strictly contains \(Z\). Then \[ \sum_{\sigma\in{\mathcal N}(G,Z)/G}(-1)^{|\sigma|}k_d(B_\sigma,\lambda)=0\tag{1} \] for any integer \(d\geq 0\) and any such \(\lambda\) where \({\mathcal N}(G,Z)/G\) denotes a set of representatives for the \(G\)-conjugacy classes of strictly increasing normal chains of \(p\)-subgroups of \(G\) of the form \(\sigma=(Z=Q_0<Q_1<\cdots<Q_n)\) where all \(Q_i\triangleleft Q_n\), \(H_\sigma\) is the \(G\)-stabilizer of \(\sigma\), \(B_\sigma\) denotes the sum of \(B\)-Brauer correspondent blocks of \(H_\sigma\) and \(k_d(B_\sigma,\lambda)\) denotes the number of complex irreducible characters of defect \(d\) in the blocks of \(B_\sigma\) that cover \(\lambda\). To verify DPC, it is no loss to assume that \(Z=O_p(G)\). Moreover in a previous work, the author has shown that (1) is equivalent to \[ \sum_{\sigma\in{\mathcal N}(G,Z)/G}(-1)^{|\sigma|}k_d(B_\sigma)=0\tag{2} \] for all integers \(d\geq 0\) where \(k_d(B_\sigma)\) denotes the number of complex irreducible characters of defect \(d\) in the blocks of \(B_\sigma\). Note that \[ \sum_{\sigma\in{\mathcal N}(G,Z)}(-1)^{|\sigma|}k_d(B_\sigma)=k_d(B)-\sum_{U/G} \sum_{\sigma\in{\mathcal N}(G,U)/N_G(U)}(-1)^{|\sigma|}k_d(B_\sigma),\tag{3} \] where \(U/G\) denotes a set of representatives for the \(G\)-conjugacy orbits of \(p\)-subgroups of \(G\) that strictly contain \(Z\) and \({\mathcal N}(G,U)/N_G(U)\) denotes a set of representatives for the \(N_G(U)\)-conjugacy orbits of normal chains \(\sigma\), as above, whose initial subgroups is \(U\). The main results of this paper present some interesting conditions that ensure that chains in \({\mathcal N}(G,U)/N_G(U)\) make a zero contribution to (3) and some applications to a minimal counterexample to DPC.
0 references
finite groups
0 references
Alperin's weight conjecture
0 references
numbers of irreducible Brauer characters
0 references
numbers of blocks
0 references
Dade's projective conjecture
0 references
linear characters
0 references
defect groups
0 references
chains of \(p\)-subgroups
0 references
numbers of complex irreducible characters
0 references