Table of Contents
Fetching ...

A height-zero type result for blocks of solvable groups

James P. Cossey

Abstract

Let $B$ be a $p$-block of a finite group $G$ with defect group $D$. The more difficult direction of the recently proven height zero conjecture says that $D$ is abelian if every character in Irr$(B)$ has height zero. We consider a smaller set than Irr$(B)$. In particular, if $\varphi \in {\rm IBr}_p(B)$, we let Irr$(\varphi)$ be the set of characters $χ\in {\rm Irr}(G)$ such that $\varphi$ is a constituent of $χ^o$. Now suppose $G$ is solvable and $\varphi$ is a height zero Brauer character in some block $B$ of $G$ with defect group $D$. Here we show that if every character in Irr$(\varphi)$ has height zero, then the defect group $D$ of the block containing $\varphi$ is abelian for $p \geq 5$ and almost abelian for $p = 2$ or $3$. This has a nice consequence for primitive characters of $p$-complements in solvable groups.

A height-zero type result for blocks of solvable groups

Abstract

Let be a -block of a finite group with defect group . The more difficult direction of the recently proven height zero conjecture says that is abelian if every character in Irr has height zero. We consider a smaller set than Irr. In particular, if , we let Irr be the set of characters such that is a constituent of . Now suppose is solvable and is a height zero Brauer character in some block of with defect group . Here we show that if every character in Irr has height zero, then the defect group of the block containing is abelian for and almost abelian for or . This has a nice consequence for primitive characters of -complements in solvable groups.
Paper Structure (4 sections, 7 theorems, 15 equations)

This paper contains 4 sections, 7 theorems, 15 equations.

Key Result

Theorem 1.2

Let $B$ be a $p$-block of a solvable group $G$ with defect group $D$. Suppose that $\varphi \in {\textup{IBr}}_p(B)$ has height zero and that $k_+(\varphi) = 0$. If $p \geq 5$, then $D$ is abelian. If $p = 2$, then $\mathrm {dl}(D) \leq 2$, and if $p = 3$, then $\mathrm {dl}(D) \leq 3$.

Theorems & Definitions (13)

  • Definition 1.1
  • Theorem 1.2
  • Corollary 1.3
  • Theorem 1.4
  • Lemma 2.1
  • proof
  • proof
  • Lemma 3.1
  • proof
  • Theorem 3.2
  • ...and 3 more