Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type. V: Mixed classes in Chevalley and Steinberg groups

From MaRDI portal
Publication:2664585



Abstract: We show that all classes that are neither semisimple nor unipotent in finite simple Chevalley or Steinberg groups different from PSLn(q) collapse (i.e. are never the support of a finite-dimensional Nichols algebra). As a consequence, we prove that the only finite-dimensional pointed Hopf algebra whose group of group-like elements is PSp2n(q), POmega4n+(q), POmega4n−(q), 3D4(q), E7(q), E8(q), F4(q), or G2(q) with q even is the group algebra.


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)].



Cites work



Describes a project that uses

Uses Software






This page was built for publication: Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type. V: Mixed classes in Chevalley and Steinberg groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2664585)