The Quill 16 ~ What is Bun_n(\mathbb{F}_q)?

We take a finite field \mathbb{F}_q and define a curve (smooth, projective) over it, X. Now X can also be taken on a Riemann surface when doing geometric Langlands (that is, switching from the curves defined over the finite fields to curves defined over the Riemann surface). Anyway, we define 

Bun_n = \{\text{set of isomorphism classes of $n$ rank (holomorphic) vector bundles on curve } X \}
Bun_n is a moduli space and an algebraic stack, so a moduli stack! The set would be countable, as there are finitely many vector bundles over each finite field extension. One is then interested in studying a restricted (cuspoidal) space of functions on Bun_n.

Well, the Hecke operators (which correspond to modifications at points) from classical Langlands can be geometrized as well. They can be projected to the Bun_n as well. We can define Hecke eigensheaves on Bun_n which correspond to moduli of the rank n local systems on the curve X. This is the geometric Langlands correspondence. There is the Hecke correspondence between the Hecke stack and the moduli stack.
Moreover, these Hecke eigensheaves are D-modules on Bun_n satisfying a certain property set by the vector bundle E.

Now, a very short remark on why Bun_n is an algebraic stack but not a scheme. Because the moduli space has non-trivial automorphisms. Moreover, a general scheme can not track the automorphisms, so if you were to construct a scheme Bun_n, you would fail to account for the automorphism groups. Moreover, the stack structure on Bun_n is important for Langlands correspondence as well, even for defining D-modules on it or for the Hecke correspondence to work. We will look into the Hecke eigenvsheaves and what comes before all of these geometrizations in some later post.

This entry was posted in . Bookmark the post. Print it.

Leave a Reply