Gunter Malle,A. A. Schaeffer Fry
Abstract:The Eaton--Moretó conjecture extends the recently-proven Brauer height zero conjecture to blocks with non-abelian defect group, positing equality between the minimal positive heights of a block of a finite group and its defect group. Here we provide further evidence for the inequality in this conjecture that is not implied by Dade's conjecture. Specifically, we consider minimal counter-examples and show that these cannot be found among almost quasi-simple groups for $p\ge5$. Along the way, we observe that most such blocks have minimal positive height equal to~1.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a conjecture in the block theory of finite groups - the Eaton - Moretó conjecture. Specifically, the author attempts to provide further evidence for a certain direction of the Eaton - Moretó conjecture (namely, \( \text{mh}(B) \leq \text{mh}(D) \)), especially for those cases not implied by the Dade conjecture.
### Overview of the Eaton - Moretó Conjecture
In 2014, Eaton and Moretó proposed a conjecture about the p - part of the character degrees of finite groups. This conjecture can be regarded as an extension of Richard Brauer's height - zero conjecture in the case of non - abelian defect groups. Brauer's height - zero conjecture has been recently proven (see reference [30]), which states that for a p - block B of a finite group G, if its defect group D is abelian, then all characters in B have height zero. Symbolically, it is expressed as: \[ \text{mh}(B) = \infty \iff \text{mh}(D) = \infty \]
Eaton and Moretó further conjectured that these invariants are also equal in general:
**Conjecture 1**: Let B be a p - block of a finite group with defect group D, then:
\[ \text{mh}(B) = \text{mh}(D) \]
Here, \(\text{mh}(D)\) represents the minimum positive height of D, defined as:
\[ \text{mh}(D) := \min\{\infty, \log_p(\chi(1)) \mid \chi \in \text{Irr}(D), \chi(1) > 1\} \]
And \(\text{mh}(B)\) represents the character with the minimum positive height in B, defined as:
\[ \text{mh}(B) := \min\{\infty, h \mid \exists \chi \in \text{Irr}(B), \chi(1) > 1, (\chi(1)|D|/|G|)_p = p^h\} \]
### Main Contributions of the Paper
In this paper, the author mainly focuses on a direction of the Eaton - Moretó conjecture, namely \( \text{mh}(B) \leq \text{mh}(D) \), and tries to exclude certain types of minimal counterexamples. Specifically:
1. **Theorem 2**: Let B be a p - block of a finite quasi - simple group, then B is not a minimal counterexample in the direction of \( \text{mh}(B) \leq \text{mh}(D) \).
2. **Theorem 3**: Let \( p \geq 5 \), and let A be a finite group and \( F^*(A) \) be a quasi - simple group, then the p - block B of A is not a minimal counterexample in the direction of \( \text{mh}(B) \leq \text{mh}(D) \).
In addition, the author also studied the p - blocks of almost quasi - simple groups and found that most such blocks have a minimum positive height equal to 1. For example, for alternating groups, sporadic groups and the Tits group \( {}^2F_4(2)' \), when the defect group is non - abelian, usually \(\text{mh}(B) = 1\).
### Conclusion
Through these results, the author provides more evidence for the Eaton - Moretó conjecture and lays the foundation for further research. In particular, they exclude some potential minimal counterexamples, thereby narrowing the scope of verifying this conjecture.