In The Local Langlands Correspondence for General Linear Groups we gave the statement of the local Langlands correspondence for the groups for a p-adic field. In this post we will consider a special case of this correspondence in more detail, called the unramified case (we shall define what this is shortly), and we take the opportunity to introduce an important concept in the theory, that of the Satake isomorphism (which we will state, but not prove).
Let us continue to stick with , although what we discuss here also generalizes to other reductive groups. Let be the ring of integers of .
Let us now explain what “unramified” means for both sides of the correspondence. We say that an irreducible admissible representation of is unramified if there exists a nonzero vector that is fixed by . Meanwhile, we say that a Weil-Deligne representation (see also Weil-Deligne Representations) is unramified if it factors as , and the monodromy operator is zero. Let us note that an unramified Weil-Deligne representation is determined by where the Frobenius element (which maps to under the map to gets sent to, up to conjugacy. Hence the unramified Weil-Deligne representations are in bijection with conjugacy classes of diagonalizable elements in .
Then the unramified local Langlands correspondence is the following statement:
There is a bijection between the set of unramified irreducible admissible representations of and set of unramified Weil-Deligne representations.
In this post we will prove this statement, assuming the Satake isomorphism. To explain what the Satake isomorphism is, let us first discuss a generalization of the Hecke algebra (see also Hecke Operators).
The spherical Hecke algebra is the algebra of compactly supported locally constant functions on which are bi-invariant under the action (invariant under the left and right action) of . The “multiplication” on this algebra is given by convolution, i.e., given two elements and of the spherical Hecke algebra, their “product” is given by
There is an action of the spherical Hecke algebra (more generally there is also an action of compactly supported locally constant functions of , without the bi-invariance condition) on a representation of as follows. Let be an element of the spherical Hecke algebra and let be a vector in the vector space on which the representation acts. Then
This action makes the representation into an -module. The importance of the spherical Hecke algebra to the unramified local Langlands correspondence is that there is a bijection between the set of unramified irreducible admissible representations of and set of irreducible -modules.
The spherical Hecke algebra is commutative, and from this it follows that the irreducible -modules are in bijection with maps .
Let be a maximal torus in (see also Reductive Groups Part I: Over Algebraically Closed Fields) and let be the set of all cocharacters of . Let be the ring formed by adjoining the elements of as formal variables to . Recall that the Weyl group is defined as the quotient of the normalizer of in by the centralizer of in (see also Reductive Groups Part I: Over Algebraically Closed Fields). The ring has an action of which comes from the action of on . We denote the invariants of this action by .
Now we can state the Satake isomorphism as follows:
Let us now see how the Satake isomorphism helps us prove the unramified local Langlands correspondence. We define the dual torus to be . Then homomorphisms correspond to -conjugacy classes of elements in . These conjugacy classes, in turn, are in bijection with the conjugacy classes of diagonalizable elements in . But these conjugacy classes are in bijection with the unramified Weil-Deligne representations, as mentioned earlier. At the same time, by the Satake isomorphism corresponds to maps , and therefore to irreducible -modules, and therefore finally to unramified irreducible admissible representations of . This gives us the unramified local Laglands correspondence for .
As mentioned earlier, all of this can also be applied to more general reductive groups, with appropriate generalizations of what it means for an irreducible admissible representation to be unramified. In this case, the conjugacy classes involved will be that of the Langlands dual group.
There is also a “geometric” version of the Satake isomorphism which relates the representations of the Langlands dual group to the category of perverse sheaves on a very special geometric object called the affine Grassmannian. We will discuss more of this in future posts.
Satake isomorphism on Wikipedia
Unramified representations and the Satake isomorphism by James Newton
Topics in automorphic forms (notes by Chao Li from a course by Jack Thorne)
Langlands correspondence and Bezrukavnikov’s equivalence by Anna Romanov and Geordie Williamson