Skip to main content
replaced http://front.math.ucdavis.edu/ with https://arxiv.org/abs/
Source Link

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 herehere 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.

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.

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.

added 1065 characters in body; deleted 11 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

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.

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.

added 1257 characters in body
Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

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 alreadyset-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 definitiondefinition; 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. Note 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 notecomment by Carter at the bottom of page 105, concerning the occurrence of regular elements in a given conjugacysemisimple 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.

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 this already 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.

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. Note especially the note by Carter at the bottom of page 105, concerning the occurrence of regular elements in a given conjugacy 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 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. 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.

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.

Source Link
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240
Loading