A counterexample to a conjugacy conjecture of Steinberg

TL;DR

This paper provides a counterexample to Steinberg's conjecture, demonstrating that conjugacy of elements in a semisimple algebraic group cannot always be determined by their images under all rational irreducible representations, especially in characteristic 2.

Contribution

The paper constructs a specific counterexample in characteristic 2 showing the failure of Steinberg's conjugacy conjecture for unipotent elements in type C_5 groups.

Findings

Counterexample in characteristic 2 for type C_5

Existence of non-conjugate unipotent elements with identical representation images

Disproof of the conjecture in certain cases

Abstract

Let $G$ be a semisimple algebraic group over an algebraically closed field of characteristic $p \geq 0$. At the 1966 International Congress of Mathematicians in Moscow, Robert Steinberg conjectured that two elements $a, a' \in G$ are conjugate in $G$ if and only if $f(a)$ and $f(a')$ are conjugate in $\operatorname{GL}(V)$ for every rational irreducible representation $f: G \rightarrow \operatorname{GL}(V)$. Steinberg showed that the conjecture holds if $a$ and $a'$ are semisimple, and also proved the conjecture when $p = 0$. In this paper, we give a counterexample to Steinberg's conjecture. Specifically, we show that when $p = 2$ and $G$ is simple of type $C_5$, there exist two non-conjugate unipotent elements $u, u' \in G$ such that $f(u)$ and $f(u')$ are conjugate in $\operatorname{GL}(V)$ for every rational irreducible representation $f: G \rightarrow \operatorname{GL}(V)$.