2
$\begingroup$

Sorry in advance if this question is trivial or trivially false. I haven't managed to find a satisfactory proof (or reference of one), or a counterexample for it.

Let $k$ be the algebraic closure of the finite field $\newcommand{\dbF}{\mathbb{F}}\dbF_q$, of characteristic $p$. If necessary, assume $p\gg0$. Let $G$ be a simple algebraic group over $k$ and let $\sigma$ be an endmomorphism of $G$ such that the $\sigma$-fixed $G_\sigma$ subgroup of $G$ is finite.

My Question Let $N\subseteq G$ be a unipotent conjugacy class. Does $N$ contain an element $n\in N$ which is fixed under $\sigma$?

Note that, by [1, I, 3.4], it is enough to show that $N$ is stable under the action of $\sigma$.

This question has a positive answer for $G=GL_n$, with the ordinary Frobenius map $(a_{i,j})\mapsto(a_{i,j}^q)$ since conjuagcy classes of matrices over and algebraically closed field are parametrized by the Jordan normal forms, and the Jordan normal form of a unipotent element is clearly $\sigma$-fixed.

More generally, if $G$ is split over $\dbF_q$, I think the question still has a positive answer, since any unipotent element can be conjugated to an element of the form $\prod_{\alpha\in \Phi^+} x_\alpha(\lambda_\alpha)$, where $\Phi^+$ is the set of positive roots with respect to an $\dbF_q$-split maximal torus within a $\sigma$-stable Borel. I haven't checked this thoroughly, but I think that at this point, by acting by conjugation by elements of the maximal torus, we may assume that the $\lambda_\alpha$'s are in $\dbF_q$, and, since $\sigma$-doesn't permute the roots in $\Phi$, this element is $\sigma$-fixed.

I'm not sure how to extend this type of argument to non-split groups ove $\dbF_q$, but checking small cases of the unitary group, it seems like the question continues to be true for these cases.

In any case, I'm not sure where to go on from here, and I'm not sure that the type of argument I'm trying to pursue here is indeed true, so I would appreciate any type of input anyone would be willing to offer.

Thank you!


[1] Springer, T. A.; Steinberg, R., Conjugacy classes, Sem. algebr. Groups related finite Groups Princeton 1968/69, Lect. Notes Math. 131, E1-E100 (1970). ZBL0249.20024.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.