On the classification of \(l\)-blocks of finite groups of Lie type (Q1204560): Difference between revisions

Let \(G\) be a connected reductive group defined over \(\mathbb{F}_ q\) with Frobenius map \(F\) and let \(G^*\) be the dual group of \(G\). For a semisimple \(s\in G^{*F}\) let \({\mathcal E}(G^ F,s)\) denote the set of all \(\chi\in\text{Irr}(G^ F)\) occurring as an irreducible constituent in the generalized Deligne-Lusztig character \(R^ G_{T^*}(s)\). By a result of \textit{M. Broué} and \textit{J. Michel} [J. Reine Angew. Math. 395, 56-67 (1989; Zbl 0654.20048)], \[ {\mathcal E}_ l(G^ F,s):= \bigcup_{t}{\mathcal E}(G^ F,st), \] where \(t\) runs through \(C_{G^*}(s)^ F_ l\) and \(s\) is semisimple of order prime to \(l\), is a union of \(l\)-blocks. In the paper under review the author describes in the case of an abelian Sylow-\(l\)-subgroup blocks of maximal defect which are contained in \({\mathcal E}_ l(G^ F,s)\). Under further arithmetical conditions on \(q\) relative to \(l\) he answers Brauer's height zero conjecture affirmatively for \(l\)-blocks of \(G^ F\). As consequences the author obtains that the regular and semisimple block in \({\mathcal E_ l}(G^ F,s)\) coincide and that for \(l\mid q-1\), the restrictions of the irreducible constituents of \(1^{G^ F}_{B^ F}\) to the \(l'\)-classes form a basic set of the Brauer characters of the principal block.