Twisted conjugacy classes in Chevalley groups. (Q2356085)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Twisted conjugacy classes in Chevalley groups.
scientific article

    Statements

    Twisted conjugacy classes in Chevalley groups. (English)
    0 references
    28 July 2015
    0 references
    The property that for every automorphism \(\varphi\) of a group \(G\) the Reidemeister number \(R(\varphi)\) (or the number of twisted conjugacy classes) is infinite, also called the \(R_\infty\)-property, has been established for many groups. Notoriously for symplectic groups and certain linear groups. So it is quite natural to study Chevalley groups. This is the goal of the work under review. The author develops several properties of Chevalley groups in terms of the root system and automorphisms, which are used for the main purpose, which is to detect infinitely many Reidemeister classes for automorphisms. Then in section 2 he proves the main results which are: Theorem 1. Let \(G\) be a Chevalley group of type \(\Phi\neq A_1\) over a field \(F\) of characteristic zero, and let the transcendence degree of \(F\) over \(\mathbb Q\) be finite. Then: (1) If \(\Phi\) has one of the types \(A_\ell\), \(\ell\geq 7\), \(B_\ell\), \(l\geq 4\), \(E_8\), \(F_4\), or \(G_2\), then \(G\) possesses the \(R_\infty\)-property. (2) If the equation \(f(T)=a\) is solvable in \(F\) for any \(a\), where \(f\) is a polynomial as defined in Lemma 4, then \(G\) possesses the \(R_\infty\)-property also for root systems of types \(A_\ell\), \(\ell=2,3,4,5,6\), \(B_\ell\), \(\ell=2,3\), \(C_\ell\), \(l\geq 3\), \(D_\ell\), \(\ell\geq 4\), \(E_6\), and \(E_7\). and Theorem 2. Let \(G\) be a Chevally group of type \(\Phi\neq A_1\) over a field \(F\) of characteristic zero. If the automorphism group of \(F\) is periodic, then \(G\) has the \(R_\infty\)-property. He points out that the hypothesis that \(F\) has characteristic zero can not be discarded, once examples are known where the Reidemeister number is finite if the field \(F\) has non-zero characteristic. At the end he proves some result about the conjugacy class of the identity element. This question has been studied recently.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    twisted conjugacy classes
    0 references
    Chevalley groups
    0 references
    Reidemeister numbers
    0 references
    semisimple Lie algebras
    0 references
    field extensions of \(\mathbb Q\)
    0 references
    root systems
    0 references
    0 references
    0 references