Regular elements in the torus of a group of Lie type

This line of auestioning is natural but needs more careful formulations to deal with the subtle things that go on for finite groups of Lie type. Presumably "maximal tori" of the finite group are meant to be the groups of rational points of maximal tori of the ambient algebraic group stable under $F$. But working in this set-up gets tricky, depending for instance on how big the field is and how close the tori are to being split over the field of definition; working with twisted groups or groups of Suzuki/Ree type usually requires further refinements.

It's probably easiest to answer affirmatively the broad question of whether such finite "tori" contain regular elements (in the algebraic group sense) when $q$ is large enough; but getting an optimal lower bound on $q$ might depend on the isogeny type, etc. The picture is fairly clear from the work of Cartter's student Derizotis explained briefly in Carter's section 3.8 at the end of Chapter 3. But here the algebraic group is simply connected and "simple" in the sense of algebraic groups, so the simple adjoint groups might need extra discussion. For example, in the simply connected case one has Steinberg's uniform count of semisimple classes in the finite group (recovered by Deriziotis): $q^\ell$ with $\ell$ the rank of $G$.

Consider the case of a simply connected group split over $\mathbb{F}_p$. Here the conjugacy classes under $G^F$ of $F$-stable maximal tori of $G$ are parametrized by classes of the Weyl group $W$. These correspond in the alcove pictures of Deriziotis to small alcoves surrounding various "special" points: a square in type $B_2$ (where $W$ has five classes and types of tori ranging from split to anisotropic have multiplicities 1, 1, 2, 2, 2). Each small alcove corresponds to a semisimple class in $G^F$, with regular ones corresponding to interior fixed points under $F$. To ensure regular elements occur in all types of finite tori, you want $q$ big enough so at least one special point lies far inside the big alcove and its small alcoves all have neighboring alcoves inside the big alcove. Easy to visualize, harder to compute in general.

Note especially the comment by Carter at the bottom of page 105, concerning the occurrence of regular elements in a given semisimple class of the finite group. For example, in the picture of the Brauer complex for $B_2(5)$ on the next page, you can see 13 (out of 25) interior fixed points of $F$ which correspond to classes containing regular elements. But the corresponding tables in Srinivasan's 1968 Trans. Amer. Math. Soc. paper on characters of that finite group illustrate the fact that some of the maximal tori fail to have regular elements over such a small field even though 5 exceeds the Coxeter number here. (Regular elements are detected indirectly from centralizers.) The paper does have minor errors, but is mostly reliable.

[If I read this example correctly, it gives a negative answer to your question about nondegenerate tori of the algebraic group. But I haven't looked closely at that material.]

In any case, it's worth exploring a number of small rank groups to pinpoint what information is of most interest to you. The subject becomes quite intricate for arbitrary groups of Lie type, but the papers by Carter and Deriziotis are well worth looking at. Groups of type $G_2$ (for which an old paper by Chang and Ree computes characters and classes) are especially nice because there is only one isogeny class of groups to consider.

SUMMARY: The qualitative question (existence of regular elements in all finite tori for sufficiently large $q$) is probably best understood, without case-by-case study, in terms of the geometry of alcoves; but I don't think Deriziotis or others formalized this. The quantitative question (computing actual numbers of regular elements) requires case-by-case work. This comes in two flavors: (1) counting the total number of regular semisimple elements in $G^F$, as in the new preprint by Fulman-Guralnick here and papers they cite; (2) counting the number of regular semisimple elements in each type of finite torus (these being parametrized by $F$-conjugacy classes in $W$), as in older work of Fleischmann-Janiszczak in J. Algebra 155 (1993). In each case one looks for answers in the form of polynomials in $q$, which might be zero for some $q$ depending on $G^F$ and in (2) also on the type of torus. Apparently approach (1) leads to nicer and more applicable results.


This question is interesting as it forces one to look closely at rational points of $F$-stable tori in $G$.

If $T$ is such torus then $F$ acts the lattice of cocharacters $X_*(T)$ thus inducing an automorphism of the set of coroots. Let $\sigma$ be this automorphism and suppose it has order $m$ (this is all we need to know about it). Let $\epsilon$ be a generator of the multiplicative group of the field in $q^m$ elements. Then for every coroot $\gamma^\vee$ we have that $\gamma^\vee(\epsilon)^F=(\sigma\gamma^\vee)(\epsilon^q)$. Now set $H_\gamma:=\prod_{i=0}^{m-1}(\sigma^i\gamma^\vee)(\epsilon^{q^i})$. Then $H_\gamma^F=H_\gamma$ by construction. Let $\alpha_1,\ldots, \alpha_l$ be a basis of simple roots in $X(T)$ and $a_1,\ldots, a_l\in\mathbb{Z}$. Define $H(a_1,\ldots, a_l):=H_{\alpha_1}^{a_1}\cdots H_{\alpha_l}^{a_l}$, an $F$-stable element of $T$.

We want fo find $a_i$ such that $H(a_1,\ldots, a_l)$ is regular (subject to some condition on $q$ to be determined). Let $a=\sum_{i-1}^la_i\alpha_i^\vee$, an element of $X_*(T)$, and let $e_\gamma\in g_\gamma$, a root vector in $g=Lie(G)$. Set $\tau=\sigma^{-1}$. Then $(Ad\ H(a_1,\ldots, a_l))\cdot e_\gamma= \epsilon^{M(a)}e_\gamma$ where $M(a)=\langle\gamma,\sum_{i=0}^{m-1}q^i\sigma^i(a)\rangle= \sum_{i=0}^{m-1}q^i\langle\tau^i\gamma,a\rangle$. Now $\epsilon$ is a primitive root of $1$ of order $q^m-1$. Suppose we found $a$ such that $\langle\beta,a\rangle\ne 0$ and $-(q-1)< \langle\beta,a\rangle< q-1$ for all roots $\beta$. Then it follows from the uniqueness of $q$-adic expansions that $-(q^m-1)< M(a)< q^m-1$ and $M(a)\ne 0$, so that $H(a_1,\ldots, a_l)$ is regular as wanted. The condition on $a$ will depend on $q$, of course, but NOT on the choice of $T$, and it is quite easy to make it explicit.

Perhaps I should also mention that in the notation of Prop. 3.6.6 in Carter's book the condition $q\ge|\alpha|+1$ for all $\alpha$ is not always tha same as $q-1>ht(\alpha)$ for all positive roots $\alpha$ (especially when there are roots of different lengths).