Twisted Conjugacy in Linear Algebraic Groups II

Abstract

Let $G$ be a linear algebraic group over an algebraically closed field $k$ and ${\mathrm{Aut}}_{\mathrm{alg}}(G)$ the group of all algebraic group automorphisms of $G$. For every $\phi \in {\mathrm{Aut}}_{\mathrm{alg}}(G)$ let $\mathcal{R}(\phi )$ denote the set of all orbits of the $\phi$-twisted conjugacy action of $G$ on itself (given by $(g,x)\mapsto gx\phi (g^{-1})$, for all $g,x\in G$). We say that $G$ has the algebraic $R_{\infty }$-property if $\mathcal{R}(\phi )$ is infinite for every $\phi \in {\mathrm{Aut}}_{\mathrm{alg}}(G)$. In \citep{bb} we have shown that this property is satisfied by every connected non-solvable algebraic group. From a theorem due to Steinberg it follows that if a connected algebraic group $G$ has the algebraic $R_{\infty }$-property, then $G^{\phi }$ (the fixed-point subgroup of $G$ under $\phi$) is infinite for all $\phi \in {\mathrm{Aut}}_{\mathrm{alg}}(G)$. In this article we show that the condition is also sufficient. We also show that a Borel subgroup of any semisimple algebraic group has the algebraic $R_{\infty }$-property and identify certain classes of solvable algebraic groups for which the property fails.

25 pages