The Global Langlands Correspondence for Function Fields over a Finite Field

In The Local Langlands Correspondence for General Linear Groups, we introduced some ideas related to what is known as the Langlands program, and discussed in a little more detail the local Langlands correspondence, at least for general linear groups.

In this post, we will discuss the global Langlands correspondence, but we will focus on the case of function fields over a finite field. This will be somewhat easier to state than the case of number fields, and at the same time perhaps give us a bit more geometric intuition. Let us fix a smooth, projective, and irreducible curve X, defined over a finite field \mathbb{F}_{q}. We let F be its function field. For instance, if X is the projective line \mathbb{P}^{1} over \mathbb{F}_{q}, then F=\mathbb{F}(t).

The case of \mathrm{GL}_{1}: Global class field theory for function fields over a finite field

To motivate the global Langlands correspondence for function fields, let us first think of the \mathrm{GL}_{1} case, which is a restatement of (unramified) global class field theory for function fields. Recall that in Some Basics of Class Field Theory global class field theory tells us that for global field F, its maximal unramified abelian extension H, also called the Hilbert class field of F, has the property that \mathrm{Gal}(H/F) is isomorphic to the ideal class group.

We recall that there is an analogy between the absolute Galois group and the etale fundamental group in the case when there is no ramification. Therefore, in the case of function fields, the corresponding statement of unramified global class field theory may be stated as

\displaystyle \pi_{1}(X,\overline{\eta})^{\mathrm{ab}}\times_{\widehat{\mathbb{Z}}}\mathbb{Z}\xrightarrow{\sim} \mathrm{Pic}(\mathbb{F}_{q})

where \pi_{1}(X,\overline{\eta}) is the etale fundamental group of X, a profinite quotient of \mathrm{Gal}(\overline{F}/F) through which its action factors (\overline{\eta} here serves as the basepoint, which is needed to define the etale fundamental group). The Picard scheme \mathrm{Pic} is the scheme such that for any scheme S its S points \mathrm{Pic}(S) correspond to the isomorphism classes of line bundles on X\times S. This is analogous to the ideal class group. Taking the fiber product with \mathbb{Z} is analogous to taking the Weil group (see also Weil-Deligne Representations and The Local Langlands Correspondence for General Linear Groups).

The global Langlands correspondence, in the case of \mathrm{GL}_{1}, is a restatement of this in terms of maps from each side to some field (we will take this field to be \overline{\mathbb{Q}}_{\ell}). It states that there is a bijection between characters \sigma:\pi_{1}(X,\overline{\eta})\to \overline{\mathbb{Q}}_{\ell}^{\times}, and \chi:\mathrm{Pic}(\mathbb{F}_{q})/a^{\mathbb{Z}}\to \overline{\mathbb{Q}}_{\ell}^{\times} where a is any element of \mathrm{Pic}(\mathbb{F}_{q}) of nonzero degree. Again this is merely a restatement of unramified global class field theory, and nothing has changed in its content. However, this restatement points to us the way in which it may be generalized.

Generalizing to \mathrm{GL}_{n}, and then to more general reductive groups

To generalize this, we may take maps \sigma:\pi_{1}(X,\overline{\eta})\to \mathrm{GL}_{n}(\overline{\mathbb{Q}}_{\ell}) instead of maps \sigma:\pi_{1}(X,\overline{\eta})\to \overline{\mathbb{Q}}_{\ell}^{\times}, since \overline{\mathbb{Q}}_{\ell}^{\times} is just \mathrm{GL}_{1}(\overline{\mathbb{Q}}_{\ell}). To make it look more like the case of number fields, we may also define this same map as a map \sigma:\mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_{n}(\overline{\mathbb{Q}}_{\ell}) which factors through \pi_{1}(U,\overline{\eta}) for some open dense subset U of X. This side we call the “Galois side” (as it involves the Galois group).

What about the other side (the “automorphic side”)? First we recall that \mathrm{Pic}(\mathbb{F}_{q}) classifies line bundles on X. We shall replace this by \mathrm{Bun}_{n}(\mathbb{F}_{q}), which classifies rank n vector bundles on X. It was figured out by Andre Weil a long time ago that \mathrm{Bun}_{n}(\mathbb{F}_{q}) may also be expressed as the double quotient \mathrm{GL}_{n}(F)\backslash\mathrm{GL}_{n}(\mathbb{A}_{F})/\mathrm{GL}_{n}(\prod_{v}\mathcal{O}_{F_{v}}) (this is known as the Weil parametrization). Now functions on this space will give representations of \mathrm{GL}_{n}(\mathbb{A}_{F}). We will be interested not in all functions on this space, but in particular certain kinds of functions called cuspidal automorphic forms, which gives a representation that decomposes into pieces that we then want to match up with the Galois representations.

In fact we can generalize even further and consider reductive groups (see also Reductive Groups Part I: Over Algebraically Closed Fields and Reductive Groups Part II: Over More General Fields) other than \mathrm{GL}_{n}! Let G be such a reductive group over F. Instead of \mathrm{Bun}_{n}(\mathbb{F}_{q}) we now consider \mathrm{Bun}_{G}(\mathbb{F}_{q}), the moduli stack (see also Algebraic Spaces and Stacks) of G-bundles on X. As above, we consider the space of cuspidal automorphic forms on \mathrm{Bun}_{G}(\mathbb{F}_{q}), which we shall denote by C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\overline{\mathbb{Q}}_{\ell}). Here \Xi is a subgroup of finite index in \mathrm{Bun}_{Z}(\mathbb{F}_{q}), where Z is the center of G.

As we are generalizing to more general reductive groups than just \mathrm{GL}_{n}, we need to modify the other side (the Galois side) as well. Instead of considering Galois representations, which are group homomorphisms \sigma: \mathrm{Gal}(\overline{F}/F)\to \mathrm{GL}_{n}(\overline{\mathbb{Q}}_{\ell}), we must now consider L-parameters, which in this context are group homorphisms \sigma: \mathrm{Gal}(\overline{F}/F)\to \widehat{G}(\overline{\mathbb{Q}}_{\ell}), where \widehat{G} is the dual group of G (which as one may recall from Reductive Groups Part II: Over More General Fields, has the roots and coroots of G interchanged).

We may now state the “automorphic to Galois” direction of the global Langlands correspondence for function fields over a finite field \mathbb{F}_{q}, which has been proven by Vincent Lafforgue. It says that we have a decomposition

\displaystyle C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell})=\bigoplus_{\sigma} \mathfrak{H}_{\sigma}

of the space C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) into subspaces \mathfrak{H}_{\sigma} indexed by L-parameters \sigma. It is perhaps instructive to compare this with the local Langlands correspondence as stated in Reductive Groups Part II: Over More General Fields, to which it should be related by what is known as local-global compatibility.

(The “Galois to automorphic direction” concerns whether an L-parameter is “cuspidal automorphic”, and we will briefly discuss some partial progress by Gebhard Böckle , Michael Harris, Chandrasekhar Khare, and Jack Thorne later at the end of this post.)

Furthermore the decomposition above must respect the action of Hecke operators (analogous to those discussed in Hecke Operators). Let us now discuss these Hecke operators.

Hecke operators

Let \mathcal{E},\mathcal{E}' be two G-bundles on X. Let x be a point of X, and let \phi:\mathcal{E}\to\mathcal{E}' be an isomorphism of G bundles over X\setminus x. We say that (\mathcal{E}',\phi) is a modification of \mathcal{E} at x. A modification can be bounded by a cocharacter, i.e. a homomorphism \lambda:\mathbb{G}_{m}\to G. This keeps track and bounds the vector bundles’ relative position.

To get an idea of this, we consider the case G=\mathrm{GL}_{n}. Consider the completion \mathcal{E}_{x}^{\wedge} of stalk of the vector bundle \mathcal{E} at x. It is a free module over the completion \mathcal{O}_{X,x}^{\wedge} of the structure sheaf at x, which happens to be isomorphic to \mathbb{F}_{q}[[t]]. Let (\mathcal{E}',\phi) be a modification of \mathcal{E} at x. There is a basis e_{1},\ldots,e_{n} of \mathcal{E}_{x}^{\wedge} such that t^{k_{1}}e_{1},\ldots,t^{k_{n}}e_{n} is a basis of \mathcal{E}_{x}^{'\wedge}, where k_{1}\geq\ldots\geq k_{n}. But the numbers k_{1},\ldots,k_{n} is the same as a cocharacter \lambda:\mathbb{G}_{m}\to\mathrm{GL}_{n}, given by \mu(t)=\mathrm{diag}(t^{k_{1}},\ldots,t^{k_{n}}).

The Hecke stack \mathrm{Hck}_{v,\lambda} is the stack whose points \mathrm{Hck}_{v,\lambda}(\mathbb{F}_{q}) correspond to modifications (\mathcal{E},\mathcal{E}',\phi) at v whose relative position is bounded by the cocharacter \lambda. It has two maps h^{\leftarrow} and h^{\rightarrow} to \mathrm{Bun}_{G}(\mathbb{F}_{q}), which send the modification (\mathcal{E},\mathcal{E}',\phi) to \mathcal{E} and \mathcal{E}' respectively. The Hecke operator T_{\lambda,v} is the composition h_{*}^{\rightarrow}\circ h^{\leftarrow *}. In essence what it does is it sends a function f in C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) to the function which sends a point in \mathrm{Bun}_{G}(\mathbb{F}_{q}) corresponding to the G-bundle \mathcal{E} to the sum of the values of f(\mathcal{E}') over all modifications of G-bundles \phi:\mathcal{E}'\to\mathcal{E} at v bounded by \lambda. In this last description one can see that it is in fact analogous to the description of Hecke operators for modular forms discussed in Hecke Operators.

More generally given a representation V of \widehat{G}, we can obtain a Hecke operator T_{V}, and these Hecke operators have the property that if V=V'\oplus V'', we must have T_{V,v}=T_{V',v}+T_{V'',v}, and if V=V'\otimes V'' , we must have T_{V,v}=T_{V',v}T_{V'',v}. If V is irreducible, then we can build T_{V,v} as a combination of T_{\lambda,v}, where the \lambda‘s are the weights of V.

Now let us go back to the decomposition

\displaystyle C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell})=\bigoplus_{\sigma} \mathfrak{H}_{\sigma}.

The statement of the global Langlands correspondence for function fields over a finite field \mathbb{F}_{q} additionally requires that the Hecke operators preserve the subspaces \mathfrak{H}_{\sigma}; that is, they act on each of these subspaces, and do not send an element of such a subspace to another outside of it. Additionally, we require that the action of the Hecke operators are “compatible with the Satake isomorphism”. This means that the action of a Hecke operator T_{V,v} is given by multiplication by the scalar \mathrm{Tr}_{V}(\sigma(\mathrm{Frob}_{v})). This is somewhat analogous to the Eichler-Shimura relation relating the Hecke operators and the Frobenius briefly mentioned in Galois Representations Coming From Weight 2 Eigenforms.

Ideas related to the proof of the automorphic to Galois direction: Excursion operators and the cohomology of moduli stacks of shtukas

Let us now discuss some ideas related to Vincent Lafforgue’s proof of “automorphic to Galois direction” of the global Langlands correspondence for function fields over a finite field. An important part of these concerns the algebra of excursion operators, denoted by \mathcal{B}. These are certain endomorphisms of C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) which include the Hecke operators. The idea of the automorphic to Galois direction is that characters \nu:\mathcal{B}\to \overline{\mathbb{Q}}_{\ell}^{\times} correspond uniquely to some L-parameter \sigma.

To understand these excursion operators better, we will look at how they are constructed. The construction of the excursion operators involves the cohomology of moduli stacks of shtukas.

A shtuka is a very special kind of a modification of a vector bundle. Given an indexing set I, a shtuka over a scheme S over \mathbb{F}_{q} consists of the following data:

  • A set of points (x_{i})_{i\in I}:S\to X^{I} (the x_{i} are called the “legs” of the shtuka)
  • A G-bundle \mathcal{E} over X\times S
  • An isomorphism

\displaystyle \phi: \mathcal{E}\vert_{(X\times S)\setminus (\bigcup_{i\in I}\Gamma_{x_{i}}}\xrightarrow{\sim}(\mathrm{Id}\times \mathrm{Frob}_{S})^{*}\mathcal{E}\vert _{(X\times S)\setminus (\bigcup_{i\in I}\Gamma_{x_{i}})}

where \Gamma_{x_{i}} is the graph of the x_{i}‘s. Let us denote the moduli stack of such shtukas by \mathrm{Sht}_{I}. We take note of the important fact that the moduli stack of shtukas with no legs, \mathrm{Sht}_{\emptyset}, is a discrete set of points and is in fact the same as \mathrm{Bun}_{G}(\mathbb{F}_{q})!

We now want to define sheaves on \mathrm{Sht}_{I} which will serve as coefficients when we take its etale cohomology, and we want these sheaves to depend on representations W of \widehat{G}^{I}, for the eventual goal of having the cohomology (or appropriate subspaces of it that we want to consider) be functorial in W. This is to be accomplished by considering another moduli stack, the moduli stack of modifications over the formal neighborhood of the legs x_{i}. This parametrizes the following data:

  • The set of points (x_{i})_{i\in I}:S\to X^{I}
  • A pair of G-bundles \mathcal{E} and \mathcal{E}' on the formal completion \widehat{X\times S} of X\times S along the neighborhood of the union of the the graphs \Gamma_{x_{i}}
  • An isomorphism

\displaystyle \phi: \mathcal{E}\vert_{\widehat{X\times S}\setminus (\bigcup_{i\in I}\Gamma_{x_{i}}}\xrightarrow{\sim}\mathcal{E}'\vert _{\widehat{X\times S}\setminus (\bigcup_{i\in I}\Gamma_{x_{i}})}

We denote this moduli stack by \mathcal{M}_{I}. The virtue of this moduli stack \mathcal{M}_{I} is that a very important theorem called the geometric Satake equivalence associates to any representation W of \widehat{G}^{I} a certain object called a perverse sheaf on \mathcal{M}_{I}. Now there is a map from \mathrm{Sht}_{I} to \mathcal{M}_{I}, and pulling back this perverse sheaf associated to W we obtain a perverse sheaf \mathcal{F}_{I,W} on \mathrm{Sht}_{I}. Now we take the intersection cohomology (we just think of this for now as being somewhat similar to \ell-adic etale cohomology) with compact support of the fiber of \mathrm{Sht}_{I} over a geometric generic point of X^{I} with coefficients in \mathcal{F}_{I,W}. We cut down a “Hecke-finite” (this is a technical condition that we leave to the references for now) subspace of it, and call this subspace H_{I,W}. This subspace has an action of \mathrm{Gal}(\overline{F}/F)^{I}.

The above construction is functorial in W – that is, a map u:W\to W' gives rise to a map \mathcal{H}(u):H_{I,W}\to H_{I,W}. Furthermore, there is this very important phenomenon of fusion. Given a map of sets \zeta:I\to J this is an isomorphism H_{I,W}\xrightarrow{\sim}H_{J,W^{\zeta}}, where W^{\zeta} is a representation of \widehat{G}^{J} on the same underlying vector space as W, obtained by composing the map from \widehat{G}^{J} to \widehat{G}^{I} that sends (g_{j})_{j\in J} to (g_{\zeta(i)})_{i\in I} with W.

Now we can define the excursion operators. Let f be a function on \widehat{G}\backslash \widehat{G}^{I}/ \widehat{G}. We can then find a representation W of \widehat{G}^{I} and elements x\in W, \xi\in W^{*}, invariant under the diagonal action of \widehat{G}, such that

\displaystyle f((g_{i})_{i\in I})\langle \xi, (g_{i})_{i\in I}\cdot x\rangle.

Let (\gamma_{i})_{i\in I}\in \mathrm{Gal}(\overline{F}/F)^{I}. The excursion operator S_{I,f,(\gamma_{i})_{i\in I}} is defined to be

\displaystyle H_{\lbrace 0\rbrace,\mathbf{1}} \xrightarrow{\mathcal{H}(x)} H_{\lbrace 0\rbrace,W_{\mathrm{diag}}}\xrightarrow{\mathrm{fusion}} H_{I,W}\xrightarrow{(\gamma_{i})_{i\in I}} H_{I,W}\xrightarrow{\mathrm{fusion}} H_{\lbrace 0\rbrace,W_{\mathrm{diag}}}\xrightarrow{\mathcal{H}(\xi)} H_{ \lbrace 0\rbrace,\mathbf{1}}

where W_{\mathrm{diag}} is the diagonal representation of \widehat{G} on W, i.e. we compose the diagonal embedding \widehat{G}\hookrightarrow \widehat{G}^{I} given by g\mapsto (g,\ldots,g) with the representation W.

The excursion operators give endomorphisms of H_{\lbrace 0\rbrace,\mathbf{1}}. By fusion the subspace H_{\lbrace 0\rbrace,\mathbf{1}} is the same as H_{\emptyset,\mathbf{1}}, which, in turn, is the same as C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) (recall that the moduli stack of shtukas with no legs is the same as \mathrm{Bun}_{G}(\mathbb{F}_{q})). The algebra generated by these endomorphisms as I, f, and (\gamma_{i})_{i\in I} vary is called the algebra of excursion operators, and is denoted by \mathcal{B}. It is commutative and the different excursion operators satisfy certain natural relations amongst each other.

As stated earlier, the Hecke operators are but particular cases of the excursion operators. Namely, the Hecke operator T_{V,v} is just the excursion operator S_{\lbrace 1,2\rbrace, f,(\mathrm{Frob}_{v},1)}, where f sends (g_{1},g_{2}) to \mathrm{Tr}_{V}(g_{1}g_{2}^{-1}).

Now the idea of the decomposition of C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) is as follows. The algebra of excursion operators \mathcal{B} partitions C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) into eigenspaces \mathfrak{H}_{\nu}, where it acts on each eigenspace as a character \nu:\mathcal{B}\to \overline{\mathbb{Q}}_{\ell}. Then as previously mentioned, every character \nu corresponds uniquely to an L-parameter \sigma, satisfying

\displaystyle \nu(S_{I,f,(\gamma_{i})_{i\in I}})=f(\sigma(\gamma_{i})_{i\in I}).

This says therefore that the decomposition of C_{c}^{\mathrm{cusp}}(\mathrm{Bun}_{G}(\mathbb{F}_{q})/\Xi,\mathbb{Q}_{\ell}) is indexed by L-parameters. Everything we have discussed so far may also be applied with a level structure included, encoded in the form of a finite subscheme N of X. Then our L-parameters will be maps \pi_{1}(X\setminus N,\overline{\eta})\to \widehat{G}(\overline{\mathbb{Q}}_{\ell}) and we also replace \mathrm{Bun}_{G} by \mathrm{Bun}_{G,N}, which if G is split has a Weil parametrization given by G(F)\backslash G(\mathbb{A}_{F})/K, where K is the kernel of the map G( \prod_{v}\mathcal{O}_{F_{v}} )\to G(\mathcal{O}_{N}).

Other directions: The Galois to automorphic direction, and the geometric Langlands program

We have so far discussed the “automorphic to Galois direction” of the global Langlands correspondence for function fields over finite fields, and some ideas related to its proof by Vincent Lafforgue. We now briefly discuss the “Galois to automorphic direction” and related work by Gebhard Böckle, Michael Harris, Chandrasekhar Khare, and Jack A. Thorne. This concerns the question of whether a given L-parameter is “cuspidal automorphic”, i.e. it can be obtained from a character of the algebra of excursion operators as stated above.

What Böckle, Harris, Khare, and Thorne do not quite prove this “Galois to automorphic direction” in full. Instead what they prove is that given an everywhere unramified L-parameter \sigma:\mathrm{Gal}(\overline{F}/F)\to\widehat{G}(\mathbb{Q}_{\ell}) with dense Zariski image, then one can find an extension E of F such that the restriction \sigma\vert_{\mathrm{Gal}(\overline{E}/E)}:\mathrm{Gal}(\overline{E}/E)\to\widehat{G}(\mathbb{Q}_{\ell}) is cuspidal automorphic. We say that the L-parameter \sigma is potentially automorphic.

The way the above “potential automorphy” result is proved is by using techniques similar to that used in modularity (see also Galois Deformation Rings). We recall from our brief discussion in Galois Deformation Rings that the usual approach to modularity has two parts – residual modularity, and modularity lifting. The same is true in potential automorphy. The automorphy lifting part makes use of the same ideas as in the “R=T” theorems in modularity lifting, although in this context, they are called “R=B” theorems instead, since we are considering excursion operators instead of just the Hecke operators.

To obtain an analogue of the residual modularity part, Böckle, Harris, Khare, and Thorne make use of results of Alexander Braverman and Dennis Gaitsgory from what is known as the geometric Langlands correspondence (for function fields over a finite field). Although we will not discuss the work of Braverman and Gaitsgory here, we will end this post with a rough idea of what the geometric Langlands correspondence is about.

The geometric Langlands correspondence replaces the cuspidal automorphic forms (which as we recall are \overline{\mathbb{Q}}_{\ell}-valued functions on \mathrm{Bun}_{G}(\mathbb{F}_{q})) with \overline{\mathbb{Q}}_{\ell}-valued sheaves (actually a complex of \overline{\mathbb{Q}}_{\ell}-valued sheaves, or more precisely an object of the category D^{b}(\mathrm{Bun}_{G}) the “derived category of \overline{\mathbb{Q}}_{\ell}-valued sheaves with constructible cohomologies”) via Grothendieck’s sheaves to functions dictionary.

Suppose we have some scheme Y over \mathbb{F}_{q}. First let us suppose that Y=\mathrm{Spec}(\mathbb{F}_{q}). Then since Y is just a point, a complex \mathcal{F} of sheaves on Y is just a complex of vector spaces (we shall take the sheaves to be \overline{\mathbb{Q}}_{\ell}-valued, so this complex is a complex of \overline{\mathbb{Q}}_{\ell}-vector spaces). This complex has an action of \mathrm{Gal}(\overline{\mathbb{F}}_{q}/\mathbb{F}_{q}). Now we take the alternating sum of the traces of Frobenius acting on this complex, and this gives us an element of \overline{\mathbb{Q}}_{\ell}. For more general Y, for every point y:\mathrm{Spec}(\mathbb{F}_{q})\to Y we apply this same construction to the sheaf \mathcal{F}_{y} which is the pullback of the sheaf \mathcal{F} on Y to \mathrm{Spec}(\mathbb{F}_{q}) via the morphism y:\mathrm{Spec}(\mathbb{F}_{q})\to Y. This provides us with a \overline{\mathbb{Q}}_{\ell}-valued function on Y(\mathbb{F}_{q}).

One can also go in the other direction constructing complexes of sheaves given certain functions. Suppose we have a commutative connected algebraic group A and suppose we have a character \chi of A(\mathbb{F}_{q}). Then we can associate to this character an element of D^{b}(A) as follows. We have the Lang isogeny L:A(\mathbb{F}_{q})\to A(\mathbb{F}_{q}) given by \mathrm{Frob}(a)/a for some element a of A(\mathbb{F}_{q}). The Lang isogeny defines a covering map of A whose group of deck transformations is the group \mathrm{ker(L)}=A(\mathbb{F}_{q}). But because we have a character \chi (a \overline{\mathbb{Q}}_{\ell}^{\times}-valued function on A(\mathbb{F}_{q})), we can take the composition

\displaystyle \pi_{1}(Y,\overline{\eta})\to \mathrm{ker}(L)=A\xrightarrow{\chi}\overline{\mathbb{Q}}_{\ell}^{\times}

This gives us a 1-dimensional representation of \pi_{1}(Y,\overline{\eta}). This in turn gives us a 1-dimensional local system, which is known by the theory of constructible sheaves to be an object of D^{b}(A). This resulting sheaf is also called a character sheaf. In the case when A=\mathbb{G}_{m} it is called the Kummer sheaf, and when A=\mathbb{G}_{a} it is called the Artin-Schreier sheaf.

Grothendieck’s sheaves to functions dictionary is the inspiration for the geometric Langlands correspondence, which is stated entirely in terms of sheaves. We consider the same setting as before, but we now define a slightly modified version of the Hecke stack \mathrm{Hck} where aside from parametrizing modifications we also include in the data being parametrized the point being removed to make the modification. Let s:\mathrm{Hck}\to X be the map that gives us this point on X. Given a representation V of \widehat{G} we let \mathcal{S}_{V} be the perverse sheaf on D^{b}(\mathrm{Bun}_{G}) given by geometric Satake as discussed earlier, and we define the Hecke functor T_{V} that sends an object \mathfrak{F} of D^{b}(\mathrm{Bun}_{G}) to an object T(\mathfrak{F}) of D^{b}(X\times \mathrm{Bun}_{G}) follows

T_{V}(\mathfrak{F})=(s\times h_{\rightarrow})_{!}\circ((h^{\leftarrow})^{*}(\mathfrak{F})\otimes S_{V})

Then the geometric Langlands correspondence (for function fields over a finite field) states that given an L-parameter \sigma, one can find a Hecke eigensheaf, i.e. a sheaf \mathfrak{F}_{\sigma} such that applying the Hecke functor T to it we have T_{V}(\mathfrak{F}_{\sigma})=E_{V\circ\sigma})\boxtimes\mathfrak{F}_{\sigma} where E_{V\circ\sigma} is the local system associated to the representation V\circ\sigma.

A version of the geometric Langlands correspondence has also been formulated for function fields over \mathbb{C} instead of \mathbb{F}_{q}. Many things have to be modified, since in this case there is no Frobenius, and instead the theory of “D-modules” takes its place. This version of the geometric Langlands correspondence has found some fascinating connections to mathematical physics as well.

More recently, a very general and abstract formulation of the geometric Langlands correspondence has been formulated by replacing L-parameters by coherent sheaves on the moduli stack of L-parameters (a single L-parameter corresponding instead to a skyscraper sheaf on the corresponding point). This allows one to have the entire formulation be stated as an equivalence of categories between derived categories of constructible sheaves on \mathrm{Bun}_{G} on one side, and coherent sheaves on the moduli stack of L-parameters. This conjectural statement, appropriately modified to be made more precise (i.e. the moduli stack on the Galois side needs to be modified to parametrize “local systems with restricted variation” while the sheaves on both sides need to be ind-constructible, resp. ind-coherent, with nilpotent singular support), is also known as the categorical geometric Langlands correspondence.

We have given a rough overview of the ideas involved in the global Langlands correspondence for function fields over a finite field. Hopefully we will be able to dive deeper into the finer aspects of the theory, as well as discuss other closely related aspects of the Langlands program (for example the global Langlands correspondence for number fields) in future posts on this blog.


Shtukas for reductive groups and Langlands correspondence for function fields by Vincent Lafforgue

Global Langlands parameterization and shtukas for reductive groups by Vincent Lafforgue (plenary lecture at the 2018 International Congress of Mathematicians)

Chtoucas pour les groupes réductifs et paramétrisation de Langlands globale by Vincent Lafforgue

Potential automorphy of \widehat{G}-local systems by Jack A. Thorne

Potential automorphy of \widehat{G}-local systems by Jack A. Thorne (invited lecture at the 2018 International Congress of Mathematicians)

\widehat{G}-local systems are potentially automorphic by Gebhard Böckle, Michael Harris, Chandrasekhar Khare, and Jack A. Thorne

Geometrization of the local Langlands program (notes by Tony Feng from a workshop at McGill University)

The geometric Langlands conjecture (notes from Oberwolfach Arbeitsgemeinschaft)

Recent progress in geometric Langlands theory by Dennis Gaitsgory

The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support by Dima Arinkin, Dennis Gaitsgory, David Kazhdan, Sam Raskin, Nick Rozenblyum, and Yakov Varshavsky

An Introduction to the Langlands Program by Daniel Bump, James W. Cogdell, Ehud de Shalit, Dennis Gaitsgory, Emmanuel Kowalski, and Stephen S. Kudla (edited by Joseph Bernstein and Stephen Gelbart)