On a minimal counterexample to Dade's projective conjecture
type: Item
instance of: scholarly article
title: On a minimal counterexample to Dade's projective conjecture
zbMATH Open document ID: 1005.20013
author: Charles W. Eaton
author: Geoffrey R. Robinson
published in: Journal of Algebra
publication date: 2003-02-19T00:00:00Z
review text: Dade's projective conjecture (DPC) can be formulated as: Let \(Z\) be a central \(p\)-subgroup of the finite group \(H\), let \(\lambda\) be a linear character of \(Z\) and let \(B\) be a \(p\)-block of \(H\) whose defect group strictly contains \(Z\), then \[ \sum_{\sigma\in{\mathcal N}(H,Z)/H}(-1)^{|\sigma|}k_d(B_\sigma,\lambda)=0.\tag{1} \] Here \({\mathcal N}(H,Z)\) consists of the strictly increasing chains of \(p\)-subgroups of \(H\) of the form \(\sigma=(Q_0=Z<Q_1<\cdots<Q_n)\) where each \(Q_i\trianglelefteq Q_n\) and \({\mathcal N}(H,Z)/H\) is any set of representatives of the \(H\)-conjugation orbits on \({\mathcal N}(H,Z)\). Also \(H_\sigma\) denotes the stabilizer of the chain \(\sigma\in{\mathcal N}(H,Z)\), \(B_\sigma\) denotes the sum of the Brauer correspondent blocks of \(B\) for the subgroup \(H_\sigma\) and \(k_d(B_\sigma,\lambda)\) denotes the number of irreducible complex characters of defect \(d\) in \(B_\sigma\) which lie over \(\lambda\). It is no loss of generality to assume that \(Z=O_p(H)\). Let the ring \(R\) be a complete discrete valuation ring of characteristic \(0\) whose residue field \(F=R/J(R)\) is algebraically closed of characteristic \(p\) that contains sufficiently many \(p\)-power roots of 1. The main result of this paper is: Theorem 1. Suppose that the formula (1) in DPC fails to hold for some defect \(d\) and some linear character \(\lambda\) of the central subgroup \(Z=O_p(G)\) for the block \(B\) of \(RG\) and that first \(|G:Z(G)|\) and then \(|G|\) have been minimalized subject to such a failure. Then for any subgroup \(M\) of \(G\) such that \(Z(G)<M\trianglelefteq G\), we have \(C_G(M)=Z(G)\) and \(F^*(M)>F(M)\). Remarks: 1. The conclusion of Theorem 1 is equivalent to asserting that \(F(G)=Z(G)\) and that \(G\) has a unique conjugacy class of components; and 2. The choice of \(G\) forces \(\lambda\) to be faithful.
Mathematics Subject Classification ID: 20C20
zbMATH DE Number: 1750363
zbMATH Keywords: Dade's projective conjecture
zbMATH Keywords: central \(p\)-subgroups
zbMATH Keywords: finite groups
zbMATH Keywords: linear characters
zbMATH Keywords: blocks
zbMATH Keywords: defect groups
zbMATH Keywords: chains of \(p\)-subgroups
zbMATH Keywords: Brauer correspondence
zbMATH Keywords: numbers of irreducible complex characters
reviewed by: Morton E. Harris
MaRDI profile type: Publication
full work available at URL: jabr.2001.8989
OpenAlex ID: W1971495689
Wikidata QID: Q123015796
cites work: Counting characters in blocks, II.
cites work: Characters of Relatively Projective Modules II
cites work: Dade's projective conjecture for \(p\)-solvable groups
cites work: Cancellation theorems related to conjectures of Alperin and Dade
DOI: 10.1006/JABR.2001.8989
description: scientific article; zbMATH DE number 1750363