Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type. V: Mixed classes in Chevalley and Steinberg groups (Q2664585): Difference between revisions

The paper under review is the fifth of a series of papers where the authors study a set of group-theoretical questions on conjugacy classes of finite simple groups of Lie type because of their consequences on the classification of finite-dimensional Hopf algebras (over an algebraically closed field of characteristic \(0\), say \(\mathbb{C}\)). Let \(\mathbf{G}\) be a finite simple Chevalley or Steinberg group defined over a finite field \(\mathbb{F}_{q}\) where \(q = p^m\), with \(m \in \mathbb{N}\) and \(p\) prime. An element of \(\mathbf{G}\) is semisimple, respectively unipotent, if its order is coprime to \(p\), respectively a power of \(p\). These notions are unambiguous except when \(\mathbf{G}\) is one of the following: \[ \mathrm{PSL}_2(4) \simeq \mathrm{PSL}_2(5), \mathrm{PSL}_3(2) \simeq \mathrm{PSL}_2(7), \mathrm{PSU}_4(2) \simeq \mathrm{PSp}_4(3). \] A class is semisimple or unipotent if any element of it is so. The paper deals with mixed conjugacy classes, i.e., which are neither semisimple nor unipotent. The authors firstly summarize the unipotent conjugacy classes of \(\mathbf{G}\) in the previous four papers of the series. Then they show that \begin{itemize} \item A mixed conjugacy class in a simple Chevalley or Steinberg group collapses. \item Let \(q\) be even and let \(\mathbf{G}\) be a simple group in one of the following families: \[\mathrm{PSL}_{2}(q), \mathrm{PSp}_{2n}(q), \mathrm{P\Omega}_{4n}^+(q), \mathrm{P\Omega}_{4n}^{-}(q), {^3D}_4(q), E_7(q), E_8(q), F_4(q), G_2(q).\] Let \(\mathcal{H}\) be a finite-dimensional pointed Hopf algebra whose group of group-like elements is isomorphic to \(\mathbf{G}\). Then \(\mathcal{H}\simeq \mathbb{C}\mathbf{G}\). \end{itemize} For Part IV see [the authors, Algebr. Represent. Theory 23, No. 3, 621--655 (2020; Zbl 1442.16031)].