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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type. V: Mixed classes in Chevalley and Steinberg groups
scientific article

    Statements

    Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type. V: Mixed classes in Chevalley and Steinberg groups (English)
    0 references
    17 November 2021
    0 references
    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)].
    0 references
    0 references
    Hopf algebra
    0 references
    Chevalley group
    0 references
    Steinberg group
    0 references
    Nichols algebra
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers