LOCAL GEOMETRIC LANGLANDS CORRESPONDENCE AND AFFINE KAC-MOODY ALGEBRAS EDWARD FRENKEL AND DENNIS GAITSGORY Dedicated to Vladimir Drinfeld on his 50th birthday Contents Introduction 2 Part I. Opers and Miura opers 14 1. Opers 14 2. Opers with singularities 20 3. Miura opers 27 4. Groupoids and Lie algebroids associated to opers 37 Part II. Categories of representations 47 5. Definition of categories 47 6. The main conjecture 49 7. Generalities on gcrit-modules 52 8. The case of regular opers 59 9. A manipulationb with equivariant cohomology: proof of Theorem 8.11.1 68 Part III. Wakimoto modules 71 10. Free field realization 71 11. Construction of Wakimoto modules 77 12. Convolution action on Wakimoto modules 80 13. Wakimoto modules at the critical level 84 Part IV. Proof of Main Theorem 6.3.2 89 14. The module Π 89 arXiv:math/0508382v3 [math.RT] 11 Jul 2006 15. The module Πreg via the affine Grassmannian 94 16. Proofs of the main theorems 97 17. Proof of Theorem 15.2.1 100 18. Comparison with semi-infinite cohomology 105 Part V. Appendix 110 19. Miscellanea 110 20. Action of a group on a category 120 21. D-modules on group ind-schemes 129 Date: August 2005; Revised: November 2005. Both authors were supported by the DARPA grant HR0011-04-1-0031 and E.F. was also supported by the NSF grant DMS-0303529. 1 2 EDWARDFRENKELANDDENNISGAITSGORY 22. Convolution 136 23. Categories over topological commutative algebras 148 References 154 Introduction Let g be a simple Lie algebra over C and G a connected algebraic group with Lie algebra g. The affine Kac-Moody algebra g is the universal central extension of the formal loop agebra g((t)). Representations of g have a parameter, an invariant bilinear form on g, which is called the level. Representations correspondingb to the bilinear form which is equal to minus one half of the Killing form are calledb representations of critical level. Such representations can be realized in spaces of global sections of twisted D-modules on the quotient of the loop group G((t)) by its ”open compact” subgroup K, such as G[[t]] or the Iwahori subgroup I. This is the first in a series of papers devoted to the study of the categories of representations of the affine Kac-Moody algebra g of the critical level and D-modules on G((t))/K from the point of view of a geometric version of the local Langlands correspondence. Let us explain what we mean by that. b 0.1. First of all, we recall the classical setting of local Langlands correspondence. Let Kˆ be a local non-archimedian field such as Fq((t)) and G a connected reductive algebraic group over Kˆ . The local Langlands correspondence sets up a relation between two different types of data. Roughly speaking, the first data are the equivalence classes of homomorphisms, denoted by σ, from the Galois group of Kˆ (more precisely, its version, called the Weil-Deligne group) to Gˇ, the Langlands dual group of G. The second data are the isomorphism classes of irreducible smooth representations, denoted by π, of the locally compact group G(Kˆ ) (we refer the reader to [Vog] for a precise formulation of this correspondence). A naive analogue of this correspondence in the geometric situation is as follows. Since the geometric analogue of the Galois group is the fundamental group, the geometric analogue of a homomorphism from the Galois group of Kˆ to Gˇ is a Gˇ-local system on Spec Kˆ . Now we × wish to replace Kˆ = Fq((t)) by C((t)). Then Spec C((t)) is the formal punctured disc D . By a Gˇ-local system on D× we will always understand its de Rham version: a Gˇ-bundle on D× with a meromorphic connection that may have a pole of an arbitrary order at the origin. By analogy with the classical local Langlands correspondence, we would like to attach to such a local system a representation of the formal loop group G((t)) = G(C((t))). However, we will argue in this paper that in contrast to the classical setting, this representation of G((t)) should be defined not on a vector space, but on a category (see Sect. 20.4 where the notion of a group acting on a category is spelled out). Thus, to each Gˇ-local system σ we would like to attach an abelian category Cσ equipped with an action of the ind-group G((t)). This is what we will mean by a geometric local Langlands correspondence for the formal loop group G((t)). This correspondence may be viewed as a ”categorification” of the classical local Langlands correspondence, in the sense that we expect the Grothendieck groups of the categories Cσ to ”look like” irreducible smooth representations of G(Kˆ ). At the moment we cannot characterize Cσ in local terms. Instead, we shall now explain how this local correspondence fits in with the pattern of the global geometric Langlands correspondence. In the global geometric Langlands correspondence we start with a smooth projective con- glob nected curve X over C with distinct marked points x1, ..., xn. Let σ be a Gˇ-local system LOCAL LANGLANDS CORRESPONDENCE AND AFFINE KAC-MOODY ALGEBRAS 3 ◦ on X = X\{x1, ..., xn}, i.e., a Gˇ-bundle on X\{x1, ..., xn} with a connection which may have x1,...,xn poles of arbitrary order at the points x1,...,xn. Let BunG be the moduli stack classifying G-bundles on X with the full level structure at x1, ..., xn (i.e., trivializations on the formal discs D x1,...,xn x1,...,xn xi around xi). Let D(BunG )–mod be the category of D-modules on BunG . One ◦ x1,...,xn x1,...,xn defines, as in [BD1], the Hecke correspondence between BunG and X × BunG and x1,...,xn glob the notion of a Hecke ”eigensheaf” on BunG with the ”eigenvalue” σ . The Hecke correspondence is the following moduli space: ◦ ′ x1,...,xn ∼ ′ Hecke = {(P, P , x, φ) | BunG , x ∈ X, φ : P|◦X\x → P |◦X\x}. It is equipped with the projections Hecke ← → h h ւ ց ◦ x1,...,xn x1,...,xn BunG X × BunG ← → where h(P, P′, x, φ)= P and h(P, P′, x, φ) = (x, P′). The fiber of Hecke over (x, P′) is isomor- P′ ˆ ˆ ˆ phic to Grx , the twist of the affine Grassmannian Grx = G(Kx)/G(Ox) by the G(Ox)–torsor ′ ˆ ˆ of trivializations of P |Dx (here we denote by Ox and Kx the completed local ring of X at x and its field of fractions, respectively). The stratification of Grx by G(Oˆ x)–orbits induces a stratification of Hecke. The strata are parametrized by the set of isomorphism classes of irreducible representations of the Langlands dual group Gˇ. To each such isomorphism class V therefore corresponds an irreducible D-module on Hecke supported on the closure of the orbit glob labeled by V . We denote it by FV . One defines the Hecke functors HV , V ∈ Irr(Rep(Gˇ)) from the derived category of D-modules ◦ x1,...,xn x1,...,xn on BunG to the derived category of D-modules on X × BunG by the formula → ← ∗ glob HV (F)= h !(h (F) ⊗ FV ). x1,...,xn glob A D-module on BunG is called a Hecke eigensheaf with eigenvalue σ if we are given isomorphisms (0.1) HV (F) ≃ Vσglob ⊠ F ◦ x1,...,xn of D-modules on X ×BunG which are compatible with the tensor product structure on the ˇ category of representations of G (here Vσglob is the associated vector bundle with a connection ◦ on X corresponding to σglob and V ). The aim of the global geometric Langlands correspondence is to describe the category x1,...,xn Hecke D(BunG )σglob –mod of such eigensheaves. For example, if there are no marked points, and so σglob is unramified everywhere, it is believed that this category is equivalent to the category of vector spaces, provided that σglob is Hecke sufficiently generic. In particular, in this case D(BunG)σglob –mod should contain a unique, up to an isomorphism, irreducible object, and all other objects should be direct sums of its copies. The irreducible Hecke eigensheaf may be viewed as a geometric analogue of an unramified au- tomorphic function from the classical global Langlands correspondence. This Hecke eigensheaf has been constructed by A. Beilinson and V. Drinfeld in [BD1] in the case when σglob has an additional structure of an ”oper”. x1,...,xn Hecke In order to explain what we expect from the category D(BunG )σglob –mod when the set of marked points is non-empty, let us revisit the classical situation. Denote by A the 4 EDWARDFRENKELANDDENNISGAITSGORY ring of ad`eles of the field of rational functions on X. Let πσglob be an irreducible automorphic representation of the ad`elic group G(A) corresponding to σglob by the classical global Langlands correspondence. Denote by (π glob ) the subspace of π glob spanned by vectors unramified σ x1,...,xn σ away from x , ..., x . Then (π glob ) is a representation of the locally compact group 1 n σ x1,...,xn Π G(Kˆ x ) (here Kˆ x denotes the local field at xi). A basic compatibility between the local i=1,...,n i i and global classical Langlands correspondences is that this representation should be isomorphic to the tensor product of local factors πσi , i=1,...,n O ˆ where πσi is the irreducible representation of G(Ki), attached via the local Langlands corre- glob spondence to the restriction σi of σ to the formal punctured disc around xi.