I’d like to tell you about my masters thesis problem, given to me by my advisor David Soudry. It is essentially about translating the Descent construction of Ginzburg-Rallis-Soudry to the case of finite fields. Their work, over local and global fields, has had a major impact on the field of Langlands Functoriality. Here’s one of their main results, in its simplest form possible, as they have proved in greater generality:
Theorem (Ginzburg-Rallis-Soudry ’99). Let be an irreducible, supercuspidal, self-dual representation of such that has a pole at . Then there exists an explicit construction of a representation of with the right (according to the Langlands conjectures) gamma factor.
One of the main reasons why descent is so powerful is that it can give us lots of explicit information on endoscopic representations, without using proxies such trace formulas or converse theorems.
It is not hard to figure out what the theorem should be over finite fields. In this post I will explain, and prove a bit of, the smallest case.
Fix an odd prime power . For convenience (mine mostly) we will present everything with matrices. Let
and let . We have the usual parabolic subgroup with Levi subgroup isomorphic to :
We will also need a specific vector, and my advisor’s favourite is . Then it is easy to see that the subgroup of fixing (* I like to multiply from the left) is isomorphic to . Denote by the irreducible self dual representations (well, isomorphism classes) of .
Definition For , extend to , induce to , and take the component of least dimension, which we’ll call . The descent of is the restriction .
The part where we “take the component of least dimension” is analogous to taking the residue of Eisenstein series in the original Ginzburg-Rallis-Soudry construction. With this definition, we have the following result:
Theorem The map is a bijection between the and , that preserves dimension. Moreover, for each such there is a , such that is in the Lusztig family of , and then is in the Lusztig family of , considered as an element of the dual of , which is isomorphic to .
It is easy to compute the descent of the trivial representation. Indeed, the induction to will contain the trivial representation, and so , giving that the descent is the trivial representation of . Great!
Let’s compute one general case, that of “principal series” in general position. These are the representation of the form , where . The comes from the self-dual condition. Note that the existence of such implies that . So we’ll assume that. ( is a Borel subgroup.)
At this point I want to start using Deligne-Lusztig theory. So . The induction, by transitivity of Deligne-Lusztig inductions, is . Here is the obvious torus rationally isomorphic to , in or depending on the context.
The element , which can thought of as in the Weyl group of , fixes , and also . It is to go over the four Weyl elements and see that are the only such elements. So , by a basic result in Deligne-Lusztig theory, Theorem 6.8 in [DL].
We also have the virtual character . By the same argument as above, . Going to a quadratic extension, the two tori become rationally conjugate, and it is a simple computation to show that and are conjugate. By standard results we get that and must share at least one component. Since also , we must have that
for two irreducible proper characters . But we can also calculate the dimension of and , using Theorem 7.1 of [DL]:
Since the dimension of is positive, must have dimension smaller than , and we get
Alright! Let’s finish with a computation of the character at another semi-simple element. This means that there is an such that . Choose such, and let
It is easy to see that is not conjugate to any element of , so by the character formula for Deligne-Lusztig characters, Theorem 4.2 in [DL], we get
Looking at the character table of , for example here, we can see that there is exactly one representation of dimension that can have the above character value. Working with Deligne-Lusztig characters, this representation’s character must be
Which is exactly what one would expect.
My thesis work is to prove the analogue of the above result to the general case, but only for those that descend to cuspidal representations that are associated to the Coxeter torus. The strategy of the proof works for all irreducible self-dual representations that are not unipotent, and I am preparing an article on this.
The computation of descent for unipotent characters is a bit weird, and I’m not sure what the correct result even is. I will sometime soon write a post on computations with , in which I will also define descent in general.
[DL] P. Deligne, G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 103, no. 1, 103?161. (1976).