CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS SAM RASKIN Contents 1. Introduction 2. Review of Zastava spaces 3. Limiting case of the Casselman-Shalika formula 4. Identification of the Chevalley complex 5. Hecke functors: Zastava calculation over a point 6. Around factorizable Satake 7. Hecke functors: Zastava with moving points Appendix A. Proof of Lemma 6.18.1 Appendix B. Universal local acyclicity References 1 14 22 27 31 38 52 64 67 70 1. Introduction 1.1. Semi-infinite flag variety. This paper begins a series concerning π·-modules on the semiinfinite flag variety of Feigin-Frenkel. Let πΊ be a split reductive group over π a field of characteristic zero. Let π΅ be a Borel with radical π and reductive quotient π΅{π “ π . Let π be a smooth curve. We let π₯ P π be a fixed π-point. Let ππ₯ “ πrrπ‘π₯ ss and πΎπ₯ “ πppπ‘π₯ qq be π the rings Taylor and Laurent series based at π₯. Let ππ₯ and ππ₯ denote the spectra of these rings. 8 Informally, the semi-infinite flag variety should be a quotient Flπ₯2 :“ πΊpπΎπ₯ q{π pπΎπ₯ qπ pππ₯ q, but this quotient is by an infinite-dimensional group and therefore leaves the realm of usual algebraic geometry. 8 Still, we will explain in future work [Ras2] how to make precise sense of π·-modules on Flπ₯2 , but we ask the reader to take on faith for this introduction that such a category makes sense.1 This category will not play any explicit role in the present paper, and will be carefully discussed in [Ras2]; however, it plays an important motivational role in this introduction. 1.2. Why semi-infinite flags? The desire for a theory of sheaves on the semi-infinite flag variety stretches back to the early days of geometric representation theory: see [FF], [FM], [FFKM], [BFGM], and [ABB` ] for example. Among these works, there are diverse goals and perspectives, 8 showing the rich representation theoretic nature of Flπ₯2 . Date: March 28, 2015. 1For the overly curious reader: one takes the category π· ! pπΊpπΎ qq from [Ber] (c.f. also [Ras4]) and imposes the π₯ coinvariant condition with respect to the group indscheme π pπΎπ₯ qπ pππ₯ q. 1 2 SAM RASKIN ‚ [FF] explains that the analogy between Wakimoto modules for an affine Kac-Moody algebra gΜπ ,π₯ and Verma modules for the finite-dimensional algebra g should be understood 8 through the Beilinson-Bernstein localization picture, with Flπ₯2 playing the role of the finitedimensional πΊ{π΅. ‚ [FM], [FFKM] and [ABB` ] relate the semi-infinite flag variety to representations of Lusztig’s small quantum group, following Finkelberg, Feigin-Frenkel and Lusztig. 8 ‚ As noted in [ABB` ], π·pFlπ₯2 q “ π·pπΊpπΎπ₯ q{π pπΎπ₯ qπ pππ₯ qq plays the role of the universal unramified principal series representation of πΊpπΎπ₯ q in the categorical setting of local geometric Langlands (see [FG2] and [Ber] for some modern discussion of this framework and its ambitions). However, these references (except [FF], which is not rigorous on these points) uses ad hoc finitedimensional models for the semi-infinite flag variety. Remark 1.2.1. One of our principal motivations in this work and its sequels [Ras2] and [Ras3] is to 8 study π·pFlπ₯2 q from the perspective of the geometric Langlands program, and then to use local to global methods to apply this to the study of geometric Eisenstein series in the global unramified geometric Langlands program. But this present work is also closely2 connected to the above, earlier work, as we hope to explore further in the future. 8 1.3. The present series of papers will introduce the whole category π·pFlπ₯2 q and study some interesting parts of its representation theory: e.g., we will explain how to compute Exts between certain objects in terms of the Langlands dual group. 8 Studying the whole of π·pFlπ₯2 q was neglected by previous works (presumably) due to the technical and highly infinite-dimensional nature of its construction. 8 1.4. The role of the present paper. Whatever the definition of π·pFlπ₯2 q is, it is not obvious how to compute directly with it. The primary problem is that we do not have such a good theory of perverse sheaves in the infinite type setting: the usual theory [BBD] of middle extensions, so crucial in connecting combinatorics (e.g., Langlands duality) and geometry, does not exist for embeddings of infinite codimension. 8 Therefore, to study π·pFlπ₯2 q, it is necessary to reduce our computations to finite-dimensional 8 ones. This paper performs those computations, and this is the reason why the category π·pFlπ₯2 q does not explicitly appear here.3 However, the author finds these computations to be interesting in their own right, and hopes the reader will agree. 1.5. In the remainder of the introduction, we will discuss problems close to those to be considered in [Ras2], and discuss the contents of the present paper and their connection to the above problems. 8 8 1.6. π·pFlπ₯2 q is boring. One can show4 that π·pFlπ₯2 q is equivalent to the category π·pFlaff πΊ,π₯ q of π·-modules on the affine flag variety πΊpπΎπ₯ q{πΌ (where πΌ is the Iwahori subgroup) in a πΊpπΎπ₯ qequivariant way.5 2But non-trivially, due to the ad hoc definitions in earlier works. 3We hope the reader will benefit from this separation, and not merely suffer through an introduction some much of whose contents has little to do with the paper at hand. 4This result will appear in [Ras2]. 5This is compatible with the analogy with π-adic representation theory: c.f. [Cas]. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 3 At first pass, this means that essentially6 every question in local geometric Langlands about 8 π·pFlπ₯2 q has either been answered in the exhaustive works of Bezrukavnikov and collaborators (especially [AB], [ABG], and [Bez]), or else is completely out of reach at the moment. 8 Thus, it would appear that there is nothing new to say about π·pFlπ₯2 q. 8 1.7. π·pFlπ₯2 q is not boring (or: factorization). However, there is a significant difference between the affine and semi-infinite flag varieties: the latter factorizes in the sense of Beilinson-Drinfeld [BD]. We refer to the introduction to [Ras1] for an introduction to factorization. Modulo the non8 existence of Flπ₯2 , let us recall that this essentially means that for each finite set πΌ, we have a “semi8 8 Ε infinite flag variety” Flπ2 πΌ over π πΌ whose fiber at a point pπ₯π qπPπΌ P π πΌ is the product π₯Ptπ₯π uπPπΌ Flπ₯2π . Here tπ₯π uπPπΌ is the unordered set in which we have forgotten the multiplicities with which points appear. However, it is well-known that the Iwahori subgroup (unlike πΊpππ₯ q) does not factorize.7 8 Remark 1.7.1. The methods of the Bezrukavnikov school do not readily adapt to studying Flπ₯2 factorizably: they heavily rely on the ind-finite type and ind-proper nature of Flaff πΊ , which are not manifested in the factorization setting. 1.8. But why is it not boring (or: why factorization)? As discussed in the introduction to 8 [Ras1], there are several reasons to care about the factorization structure on Flπ₯2 . ‚ Most imminently (from the perspective of Remark 1.2.1), the theory of chiral homology (c.f. [BD]) provides a way of constructing global invariants from factorizable local ones. Therefore, identifying spectral and geometric factorization categories allows us to compare globally defined invariants as well. ‚ Factorization structures also play a key, if sometimes subtle, role in the purely local theory. Let us mention one manifestation of this: the localization theory [FG3] (at critical level) for Flaff gππππ‘ as a bare Lie algebra. πΊ has to do with the structure of the Kac-Moody algebra p 8 A factorizable localization theory for Flπ₯2 would connect to the vertex algebra structure on its vacuum representation. 8 ‚ In [FM], [FFKM], [ABB` ], and [BFS], sheaves on Flπ₯2 are defined using factorization struc8 tures. We anticipate the eventual comparison between our category π·pFlπ₯2 q and the previous 8 ones to pass through the factorization structure of Flπ₯2 . 1.9. Main conjecture. Our main conjecture is about Langlands duality for certain factorization categories: the geometric side concerns some π·-modules on the semi-infinite flag variety, and the spectral side concerns coherent sheaves on certain spaces of local systems. See below for a more evocative description of the two sides. 6 This is not completely true: for the study of Kac-Moody algebras, the semi-infinite flag variety has an interesting global sections functor. It differs from the global sections functor of the affine flag variety in as much as Wakimoto modules differ from Verma modules. 7It is instructive to try and fail to define a factorization version of the Iwahori subgroup that lives over π 2 : a point should be a pair of points π₯1 , π₯2 in π, πΊ-bundle on π with a trivialization away from π₯1 and π₯2 , and with a reduction to the Borel π΅ at the points π₯1 and π₯2 . However, to formulate this scheme-theoretically, we need to ask for a reduction to π΅ at the scheme-theoretic union of the points π₯1 and π₯2 . Therefore, over a point π₯ in the diagonal π Δ π 2 , we are asking for a reduction to π΅ on the first infinitesimal neighborhood of π₯, which defines a rather smaller subgroup of πΊpππ₯ q than the Iwahori group. 4 SAM RASKIN 1.10. Let π΅ ´ be a Borel opposite to π΅, and let π ´ denote its unipotent radical. Recall that for any category C acted on by πΊpπΎπ₯ q in the sense of [Ber], we can form its Whittaker subcategory, WhitpCq Δ C consisting of objects equivariant against a non-degenerate character of π ´ pπΎq. Moreover, up to certain twists (which we ignore in this introduction: see S2.8 for their definitions), this makes sense factorizably. 8 For each finite set πΌ, there is therefore a category Whitπ2 πΌ to be the of Whittaker equivariant 8 8 π·-modules on Flπ2 πΌ , and the assignment πΌ ÞÑ Whitπ2 πΌ defines a factorization category in the sense of [Ras1]. This forms the geometric side of our conjecture. π 1.11. For a point π₯ P π and an affine algebraic group π€ , let LocSysπ€ pππ₯ q denote the prestack of π de Rham local systems with structure group π€ on ππ₯ . Formally: we have the indscheme Connπ€ of Liepπ€ q-valued 1-forms (i.e., connection forms) on the punctured disc, which is equipped with the usual gauge action of π€ pπΎπ₯ q. We form the quotient and π stackify for the eΜtale topology on AffSch and denote this by LocSysπ€ pππ₯ q. π Remark 1.11.1. LocSysπ€ pππ₯ q is not an algebraic stack of any kind because we quotient by the loop group π€ pπΎπ₯ q, an indscheme of ind-infinite type. It might be considered as a kind of semi-infinite Artin stack, the theory of which has unfortunately not been developed. π The assignment π₯ ÞÑ LocSysπ€ pππ₯ q factorizes in an obvious way. 1.12. Recall that for a finite type (derived) scheme (or stack) π, [GR] has defined a DG category IndCohpπq of ind-coherent sheaves on π.8 We would like to take as the spectral side of our equivalence the factorization category: π ` π₯ ÞÑ IndCoh LocSysπ΅Λ pππ₯ q ˆ π Λ LocSysπΛ pππ₯ q . LocSysπΛ pππ₯ q Λ to refer to the reductive group Langlands dual to πΊ, and π΅ ΛΔπΊ Λ Here and everywhere, we use e.g. πΊ to refer to the corresponding Borel subgroup, etc. (c.f. S1.40). However, note that IndCoh has not been defined in this setting: the spaces of local systems on the punctured disc are defined as the quotient of an indscheme of ind-infinite type by a group of ind-infinite type. We ignore this problem in what follows, describing a substitute in S1.15 below. 1.13. We now formulate the following conjecture: Conjecture 1. There is an equivalence of factorization categories: ´ π ` Λ¯ 8 » Whit 2 Ý Ñ π₯ ÞÑ IndCoh LocSysπ΅Λ pππ₯ q ˆ LocSysπΛ pππ₯ q . (1.13.1) π LocSysπΛ pππ₯ q Remark 1.13.1. Identifying π·-modules on the affine flag variety and on the semi-infinite flag variety, one can show that fiberwise, this conjecture recovers the main result of [AB]. However, as noted in Remark 1.7.1, the methods of loc. cit. are not amenable to the factorizable setting. 8For the reader unfamiliar with the theory of loc. cit., we recall that this sheaf theoretic framework is very close to the more familiar QCoh, but is the natural setting for Grothendieck’s functor π ! of exceptional inverse image (as opposed to the functor π Λ , which is adapted to QCoh). CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 5 1.14. What is contained in this paper? In [FM], Finkelberg and Mirkovic argue that their Zastava spaces provide finite-dimensional models for the geometry of the semi-infinite flag variety. We essentially use this model in the present paper: we compute some twisted cohomology groups of Zastava spaces, and these computations will provide the main input for our later study [Ras2] of semi-infinite flag varieties. In S1.15-1.21, we describe a certain factorization algebra ΥnΜ and its role in Conjecture 1. In S1.22-1.27, we recall some tactile aspects of the geometry of Zastava spaces. Finally, in S1.28-1.37, we formulate the main results of this text: these realize ΥnΜ (and its modules) as twisted cohomology groups on Zastava space. Remark 1.14.1. Some of the descriptions below may go a bit quickly for a reader who is a nonexpert in this area. We hope that for such a reader, the material that follows helps to supplement what it is written more slowly in the body of the text, and that it is not wholly a wash. 1.15. The factorization algebra ΥnΜ . To describe the main results of this paper, we need to describe how we model the spectral side of Conjecture 1, i.e., the category of ind-coherent sheaves on the appropriate space of local systems. We will do this using the graded factorization algebra ΥnΜ , introduced in [BG2]. After preliminary remarks about what graded factorization algebras are in S1.16, we introduce ΥnΜ in S1.17. Finally, in S1.20-1.21, we explain why factorization modules for ΥnΜ are related to the spectral side of Conjecture 1. 1.16. Let ΛΜπππ Δ ΛΜ :“ tcocharacters of πΊu denote the ZΔ0 -span of the simple coroots (relative to π΅). πππ Let DivΛΜ denote the space of ΛΜπππ -valued divisors on π. I.e., its π-points are written: eff ÿ Λ π ¨ π₯π π (1.16.1) tπ₯π uΔπ finite Λ π P ΛΜπππ , and for πΊ of semi-simple rank 1, this space is the union of the symmetric powers of for π π (for general πΊ, connected components are products of symmetric powers of π). Λ P ΛΜπππ , we let DivπΛ denote the connected component of DivΛΜπππ of divisors of total degree For π eff eff Λ (i.e., in the above we have Ε π Λ π “ π). Λ π A (ΛΜπππ )-graded factorization algebra is the datum of π·-modules: Λ Λ Aπ P π·pDivπeff q, Λ P ΛΜπππ π plus symmetric and associative isomorphisms: Λ Aπ`Λπ |rDivπΛ eff Λ Λ ˆ Divπ eff sπππ π » Aπ b AπΛ |rDivπΛ eff Λ ˆ Divπ eff sπππ π . Here: Λ Λ Λ Λ rDivπeff ˆ Divπeff sπππ π Δ Divπeff ˆ Divπeff denotes the open locus of pairs of (colored) divisors with disjoint supports, which we consider Λ π mapping to Divπ`Λ through the map of addition of divisors (which is eΜtale on this locus). eff Remark 1.16.1. The theory of graded factorization algebras closely imitates the theory of factorπππ ization algebras from [BD], with the above DivΛΜ replacing the Ran space from loc. cit. eff 6 1.17. SAM RASKIN The ΛΜπππ -graded Lie algebra nΜ defines a Lie-Λ algebra:9 πππ Λ nΜπ :“ ‘πΌΛ a coroot of πΊ nΜπΌΛ b βπΌΛ,ππ pππ q P π·pDivΛΜ eff q. In this notation, for a finite type scheme π, ππ denotes its (π·-module version of the) constant sheaf; Λ nΜπΌΛ denotes the corresponding graded component of nΜ; and βπΌΛ : π Ñ DivπΌeff denotes the diagonal embedding. As in [BD], we may form the chiral enveloping algebra of nΜπ : we let ΥnΜ denote the corresponding factorization algebra. For the reader unfamiliar with [BD], we remind that ΥnΜ is associated to nΜπ as a sort of Chevalley complex; in particular, the Λ-fiber of ΥnΜ at a point (1.16.1) is: Λ b πΆ‚ pnΜqππ π where πΆ‚ denotes the (homological) Chevalley complex of a Lie algebra (i.e., the complex computing Lie algebra homology). 1.18. Next, we recall that in the general setup of S1.16, to a graded factorization algebra A and a closed point π₯ P π, we can associate a DG category A–modfact of its (ΛΜ-graded) factorization π₯ modules “at π₯ P π.” ΛΜπππ ,8¨π₯ denote the indscheme of ΛΜ-valued divisors on π which are ΛΜπππ -valued on First, let Diveff πzπ₯. So π-points of this space are sums: ÿ π Λ¨π₯` Λ π ¨ π₯π π tπ₯π uΔπzπ₯ finite Λπ P where π Λ P ΛΜ and π (to see the indscheme structure, bound how small π Λ can be). ΛΜπππ ,8¨π₯ q equipped with an isomorThen a factorization module for A is a π·-module π P π·pDiveff phism: ΛΜπππ add! pπ q|rDivΛΜπππ ˆ DivΛΜπππ ,8¨π₯ » A b π |rDivΛΜπππ ˆ DivΛΜπππ ,8¨π₯ eff eff eff eff which is associative with respect to the factorization structure on A, where add is the map: πππ ΛΜ Diveff πππ ,8¨π₯ ˆ DivΛΜ eff πππ ,8¨π₯ Ñ DivΛΜ eff of addition of divisors. Factorization modules form a DG category in the obvious way. Remark 1.18.1. In what follows, we will need unital versions of the above, i.e., unital factorization algebras and unital modules. This is a technical requirement, and for the sake of brevity we do not spell it out here, referring to [BD] or [Ras1] for details. However, this is the reason that notations fact of the form A–modfact π’π,π₯ appear below instead of ΥnΜ –modπ’π,π₯ . However, we remark that whatever these unital structures are, chiral envelopes always carry them, and in particular ΥnΜ does. Remark 1.18.2. Note that the affine Grassmannian Grπ,π₯ “ π pπΎπ₯ q{π pππ₯ q with structure group πππ ΛΜ ,8¨π₯ π embeds into Diveff as the locus of divisors supported at the point π₯. We remind that the reduced scheme underlying Grπ,π₯ is the discrete scheme ΛΜ. 9Here the structure of Lie-Λ algebra is defined in [BD] (see also [FG1], [Ras1] for derived versions). For the reader’s sake, we simply note that this datum encodes the natural structure on nΜπ inherited from the Lie bracket on nΜ. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 1.19. 7 The following provides the connection between ΥnΜ and Conjecture 1. Principle. (1) There is a canonical equivalence: π ` ^ ΥnΜ –modfact Λ pπ π₯ q π’π,π₯ » IndCoh LocSysπ΅ ˆ π LocSysπΛ pππ₯ q Λ (1.19.1) LocSysπΛ pππ₯ q π where LocSysπ΅Λ pππ₯ q^ is the formal completion at the trivial local system. (2) Under this equivalence, the functor:10 Oblv πππ ,8¨π₯ ΛΜ ΥnΜ –modfact ÝÝÑ π·pDiveff π’π,π₯ Ý !´restriction q ÝÝÝÝÝÝÝÝÑ π·pGrπ,π₯ q » ReppπΛq » QCohpLocSysπΛ pππ₯ qq corresponds to the functor of !-restriction along the map: π LocSysπΛ pππ₯ q Ñ LocSysπ΅Λ pππ₯ q^ ˆ π LocSysπΛ pππ₯ q. LocSysπΛ pππ₯ q (3) The above two facts generalize to the factorization setting, where π₯ is replaced by several points allowed to move and collide. Remark 1.19.1. This is a principle and not a theorem because the right hand side of (1.19.1) is not defined (we remind that this is because IndCoh is only defined in finite type situations, while LocSys leaves this world). Therefore, the reader might take it simply as a definition. For the reader familiar with derived deformation theory (as in [Lur2], [GR]) and [BD], we will explain heuristically in S1.20-1.21 why we take this principle as given. However, the reader who is not familiar with these subjects may safely skip this material, as it plays only a motivational role for us. Remark 1.19.2. We note that (heuristically) ind-coherent sheaves on (1.19.1) should be a full subπ Λ ` ˆ category of IndCoh LocSysπ΅Λ pππ₯ q LocSysπΛ pππ₯ q .11 π LocSysπΛ pππ₯ q In [Ras2], we will use the computations of the present paper to construct a functor ¯ ´ π Λ ` 8 » ˆ Whit 2 Ý Ñ π₯ ÞÑ IndCoh LocSysπ΅Λ pππ₯ q^ LocSysπΛ pππ₯ q :“ ΥnΜ –modfact π’π,π₯ π LocSysπΛ pππ₯ q 8 and identify a full subcategory of Whit 2 on which this functor is an equivalence. 1.20. As stated above, the reader may safely skip S1.20-1.21, which are included to justify the principle of S1.19. We briefly recall Lurie’s approach to deformation theory [Lur2]. Suppose that X is a “nice enough” stack and π₯ P X is a π-point, with the formal completion of X at π₯ denoted by X^ π₯ . Then the fiber πX,π₯ r´1s of the shifted tangent complex of X at π₯ identifies with the Lie algebra of the (derived) automorphism group (alias: inertia) Autπ₯ pXq :“ π₯ ˆX π₯ of X at π₯, and there is an identification of the DG category IndCohpX^ π₯ q of ind-coherent sheaves on the formal completion of X at π₯ with πX,π₯ r´1s-modules. 10Here and throughout the text, for an algebraic group π€ , Reppπ€ q denotes the derived (i.e., DG) category of its representations, i.e., QCohpBπΊq. 11This combines the facts that ind-coherent sheaves on a formal completion are a full subcategory of ind-coherent sheaves of the whole space, and the fact that ind-coherent sheaves on the classifying stack of the formal group of a unipotent group are a full subcategory of ind-coherent sheaves on the classifying stack of the group. 8 SAM RASKIN π 1.21. At the trivial local system, the fiber of the shifted tangent complex of LocSysπΛ pππ₯ q is the π Λ pπ , nΜ b πq. The philosophy of [BD] indicates that modules for this Lie (derived) Lie algebra π»ππ π₯ algebra should be equivalent to factorization modules for the chiral envelope of the Lie-Λ algebra nΜ b ππ on π. The ΛΜ-graded variant of this—that is, the version in the setting of S1.16 in which symmetric powers of the curve replace the Ran space from [BD]—provides the principle of S1.19. 1.22. Zastava spaces. Next, we describe the most salient features of Zastava spaces. We remark that this geometry is reviewed in detail in S2. π 1.23. π πππ There are two Zastava spaces, π΅ and π΅, each fibered over DivΛΜ eff : the relationship is that π π΅ embeds into π΅ as an open, and for this reason, we sometimes refer to π΅ as Zastava space and π΅ as open Zastava space. For the purposes of this introduction, we content ourselves with a description of the fibers of the maps: π π΅ /π΅ " π π π πππ DivΛΜ eff . To give this description, we will first recall the so-called central fibers of the Zastava spaces. 1.24. Recall that e.g. GrπΊ,π₯ denotes the affine Grassmannian πΊpπΎπ₯ q{πΊpππ₯ q of πΊ at π₯. π Λ P ΛΜπππ , define the central fiber ZπΛ as the intersection: For π₯ P π a geometric point and π π₯ ´ ¯ Δ Λ Λ π₯ qπΊpππ₯ q {πΊpππ₯ q Δ πΊpπΎπ₯ q{πΊpππ₯ q “ GrπΊ,π₯ Grπ ´ ,π₯ X Grππ΅,π₯ “ π ´ pπΎπ₯ qπΊpππ₯ q π pπΎπ₯ qπpπ‘ Λ where π‘π₯ is any uniformizer at π₯. Here we recall that Grπ ´ ,π₯ and Grππ΅,π₯ embed into GrπΊ,π₯ as ind-locally closed subschemes (of infinite dimension and codimension).12 πΛ Λ A small miracle: the intersections Zπ are finite type, and equidimensional of dimension pπ, πq. π₯ π Λ“πΌ Example 1.24.1. For π Λ a simple coroot, one has ZπΌπ₯Λ » A1 zt0u. 1.25. Λ π Λ π Let Grπ΅,π₯ denote the closure of Grπ΅,π₯ in GrπΊ,π₯ .13 We remind that Grπ΅,π₯ has an (infinite) Λ π stratification by the ind-locally closed subschemes Grπ´Λ Λ P ΛΜπππ . π΅,π₯ for π Λ We then define Zππ₯ as the corresponding intersection: Λ π Grπ ´ ,π₯ XGrπ΅,π₯ Δ GrπΊ,π₯ . Λ Again, this intersection is finite-dimensional, and equidimensional of dimension pπ, πq. Λ“πΌ Example 1.25.1. For π Λ a simple coroot, one has ZπΌπ₯Λ » A1 . 12The requirement that π Λ P ΛΜπππ is included so that this intersection is non-empty. Λ Λ π 13As a moduli problem, Grπ π΅,π₯ can be defined analogously to Drinfeld’s compactification of Bunπ΅ . CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 1.26. is: 9 π Λ Λ :“ Ε π Λ π ), the corresponding fiber of π΅ πΛ along ππ Now, for a π-point (1.16.1) of Divπeff (for π ΕΊ πΛ Zππ₯ππ (1.26.1) and similarly for π΅. π π Λ Λ Λ and moreover, π΅ πΛ is actually smooth. Again, π΅ π and π΅ π are equidimensional of dimension p2π, πq, 1.27. Finally, there is a canonical map can : π΅ Ñ Gπ , which is constructed (fiberwise) as follows. First, define the map π ´ pπΎπ₯ q Ñ Gπ by: sum over coordinates ΕΊ π ´ pπΎπ₯ q Ñ pπ ´ {rπ ´ , π ´ sqpπΎπ₯ q » π ÞÑRespπ ¨ππ‘π₯ q πΎπ₯ ÝÝÝÝÝÝÝÝÝÝÝÝÝÑ πΎπ₯ ÝÝÝÝÝÝÝÝÑ Gπ simple roots where Res denotes the residue map and π‘π₯ is a coordinate in πΎπ₯ . Remark 1.27.1. The twists we mentioned in S1.10 are included so that we do not have to choose a coordinate π‘π₯ , but rather have a canonical residue map to Gπ . But we continue to ignore these twists, reminding simply that they are spelled out in S2.8. It is clear that this map factors uniquely through the projection π ´ pπΎπ₯ q Ñ Grπ ´ . We now map (1.26.1) by embedding into the product of Grπ ´ ,π₯π and summing the corresponding maps to Gπ over the points π₯π . π In what follows, we let ππ΅ P π·pπ΅q (resp. π π P π·pπ΅q) denote the !-pullback of the Artin-Shreier π΅ (i.e., exponential) π·-module on Gπ (normalized to be in the same cohomological degree as the dualizing π·-module of Gπ ). Remark 1.27.2. The above map π ´ pπΎπ₯ q Ñ Gπ is referred to as the Whittaker character, and we refer to sheaves constructed out of it the Artin-Shreier sheaf (e.g., π π , ππ΅ ) as Whittaker sheaves. π΅ 1.28. Formulation of the main results of this paper. Here is a rough overview of the main results of this paper, to be expanded upon below: Roughly, the first main result of this paper, Theorem 4.6.1, identifies ΥnΜ with certain Whittaker cohomology groups on Zastava space; see loc. cit. for more details. This theorem, following [BG2] Λ (via ΥnΜ ) which is different and [FFKM], provides passage from the group πΊ to the dual group πΊ from geometric Satake. The second main result, Theorem 7.8.1 (see also Theorem 5.14.1) compares Theorem 4.6.1 with the geometric Satake equivalence. 1.29. We now give a more precise description of the above theorems. Our first main result is the following. ! π πππ Theorem (c.f. Theorem 4.6.1). π Λ,ππ pπ π b IC π q P π·pDivΛΜ eff q is concentrated in cohomological π΅ π΅ degree zero, and identifies canonically with ΥnΜ . Here IC indicates the intersection cohomology sheaf14 πΛ π (by smoothness of the π΅ π , this just effects cohomological shifts on the connected component of π΅). Moreover, the factorization structure on Zastava spaces induces a factorization algebra structure ! π on π Λ,ππ pπ π b IC π q, and the above equivalence upgrades to an equivalence of factorization algebras. π΅ π π΅ π Λ 14Since π΅ is a union of the varieties π΅ π , we define this IC sheaf as the direct sum of the IC sheaves of the connected components. 10 SAM RASKIN πππ In words: the (DivΛΜ eff -parametrized) cohomology of Zastava spaces twisted by the Whittaker sheaf is ΥnΜ . π 1.30. Polar Zastava space. To formulate Theorem 5.14.1, we introduce a certain indscheme π΅ 8¨π₯ π π πππ ,8¨π₯ ΛΜ with a map π 8¨π₯ : π΅ 8¨π₯ Ñ Diveff π π π , where the geometry is certainly analogous to π : π΅ Ñ DivΛΜ eff . π As with π΅, for this introduction we only describe the fibers of the map π 8¨π₯ . Namely, at a point15 Ε Λ π ¨ π₯π of DivΛΜπππ ,8¨π₯ , the fiber is: π Λ ¨ π₯ ` tπ₯π uΔπzπ₯ finite π eff Λ Grππ΅,π₯ ˆ ΕΊ πΛ Zππ₯ππ . π We refer the reader to S5 for more details on the definition. π Λ Ñ π·pπ΅ 8¨π₯ q. 1.31. We will explain in S5 how geometric Satake produces a functor ReppπΊq Though this functor is not so complicated, giving its definition here would require further digressions, so we ask the reader to take this point on faith. Instead, for the purposes of an overview, we refer to S1.33, where we explain what is going on when we restrict to divisors supported at the point π₯, and certainly we refer to S5 where a detailed construction of this functor is given. Example 1.31.1. The above functor sends the trivial representation to the Λ-extension of π π under π the natural embedding π΅ ãÑ π΅ π π΅ 8¨π₯ . We now obtain a functor: π π π 8¨π₯ Λ,ππ πππ Λ Ñ π·pπ΅ 8¨π₯ q ÝÝÝÑ π·pDivΛΜ ,8¨π₯ q. ReppπΊq eff For geometric reasons explained in S5, Theorem 4.6.1 allows us to upgrade this construction to a functor: fact Λ Chevgeom nΜ,π₯ : ReppπΊq Ñ ΥnΜ –modπ’π,π₯ . We now have the following compatibility between geometric Satake and Theorem 4.6.1. Theorem (c.f. Theorem 5.14.1). The functor Chevgeom is canonically identified with the functor nΜ,π₯ Chevspec , which by definition is the functor: nΜ,π₯ Res Res Indπβ Λ ÝÝÑ Reppπ΅q Λ ÝÝÑ nΜ–modpReppπΛqq ÝÝÝÑ ΥnΜ –modfact ReppπΊq π’π,π₯ . Here Indπβ is the chiral induction functor from Lie-* modules for nΜ b ππ to factorization modules for ΥnΜ . Remark 1.31.2. Here we remind the reader that chiral induction is introduced (abelian categorically) in [BD] S3.7.15. Like the chiral enveloping algebra operation used to define ΥnΜ , chiral induction is again a kind of homological Chevalley complex. Example 1.31.3. For the trivial representation, Example 1.31.1 reduces Theorem 5.14.1 to Theorem 4.6.1. Here, the claim is that Chevgeom of the trivial representation is the π·-module on nΜ,π₯ πππ πππ ,8¨π₯ π·pDivΛΜ q obtained by pushforward from ΥnΜ along DivΛΜ eff eff vacuum representation of ΥnΜ (at π₯). 15We remind that this means that π Λ π P ΛΜπππ . Λ P ΛΜ and π πππ ,8¨π₯ ãÑ DivΛΜ eff , i.e., the so-called CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 1.32. 11 Our last main result is the following, which we leave vague here. Theorem (c.f. Theorem 7.8.1). A generalization of Theorem 7.8.1 holds when we work factorizably in the variable π₯, i.e., working at several points at once, allowing them to move and to collide. Λ π πΌ “over π πΌ ” (i.e., with a Somewhat more precisely, we define in S6 a DG category ReppπΊq ππ πΌ Λ π πΌ .16 π·pπ q-module category structure) encoding the symmetric monoidal structure on ReppπΊq Most of S6 is devoted to giving preliminary technical constructions that allow us to formulate Theorem 7.8.1. 8 1.33. Interpretation in terms of Flπ₯2 . We now indicate briefly what e.g. Theorem 5.14.1 has to 8 do with Flπ₯2 . This section has nothing to do with the contents of the paper, and therefore can be skipped; we include it only to make contact with our earlier motivation. Fix a closed point π₯ P π, and consider the spherical Whittaker category Whitπ πβ Δ π·pGrπΊ,π₯ q, π₯ which by definition is the Whittaker category (in the sense of S1.10) of π·pGrπΊ,π₯ q. There is a canonical object in this category (supported on Grπ ´ ,π₯ Δ GrπΊ,π₯ ), and one can show (c.f. Theorem 6.36.1) that the resulting functor: geometric Satake Λ ÝÝÝÝÝÝÝÝÝÝÑ SphπΊ,π₯ Ñ Whitπ πβ ReppπΊq π₯ is an equivalence, where SphπΊ,π₯ :“ π·pGrπΊ,π₯ qπΊpπqπ₯ is the spherical Hecke category, and the latter functor is convolution with this preferred object of Whitπ πβ π₯ . 8 8 Let π 2 ,! : π·pFlπ₯2 q Ñ π·pGrπ,π₯ q denote the functor encoding !-restriction along: 8 8 π 2 : Grπ,π₯ “ π΅pπΎπ₯ q{π pπΎπ₯ qπ pππ₯ q ãÑ πΊpπΎπ₯ q{π pπΎπ₯ qπ pππ₯ q “ Flπ₯2 . Consider the problem of computing the composite functor: 8 8 ,! pullback pushforward π2 Λ » Whitπ πβ ReppπΊq ÝÝÝÝÑ WhitpπΊpπΎπ₯ q{π΅pππ₯ qq ÝÝÝÝÝÝÝÑ Whitπ₯2 ÝÝÑ π·pGrπ,π₯ q » ReppπΛq. π₯ Ý By base-change, this amounts to computing pullback-pushforward of Whittaker17 sheaves along the correspondence: πΊpπΎπ₯ q{π΅pππ₯ q ˆ Grπ,π₯ 8 Grπ΅,π₯ Flπ₯2 GrπΊ,π₯ " w Grπ,π₯ . One can see this is exactly the picture obtained by restricting the problem of Theorem 5.14.1 ΛΜπππ ,8¨π₯ to Grπ,π₯ Δ Diveff , and therefore we obtain an answer in terms of factorization ΥnΜ -modules. Namely, this result says that the resulting functor: Λ Ñ ReppπΛq ReppπΊq is computed as Lie algebra homology along nΜ. 16More precisely, the construction of ReppπΊq Λ π πΌ is a categorification of the construction of [BD] that associated a factorization algebra with a usual commutative algebra. 17It is crucial here that our character be with respect to π ´ , not π . 12 SAM RASKIN Remark 1.33.1. The point of upgrading Theorem 5.14.1 to Theorem 7.8.1 is to allow a picture of this sort which is factorizable in terms of the point π₯, i.e., in which we replace the point π₯ P π by a variable point in π πΌ for some finite set πΌ. 1.34. Methods. We now remark one what goes into the proofs of the above theorems. 1.35. Our key computational tool is the following result. Theorem (Limiting case of the Casselman-Shalika formula, c.f. Theorem 3.4.1). The pushforward Λ ! πππ π πΛ,ππ pππ΅ b ICπ΅ q P π·pDivΛΜ eff q is the (one-dimensional) skyscraper sheaf at the zero divisor (concentrated in cohomological degree zero). Λ Λ P ΛΜπππ vanishes. In particular, the restriction of this pushforward to each Divπeff with 0 ‰ π We prove this using reasonably standard methods from the sheaf theory of Zastava spaces. 1.36. Our other major tool is the study of ΥnΜ given in [BG2], where ΥnΜ is connected to the untwisted cohomologies of Zastava spaces (in a less derived framework than in Theorem 4.6.1). 1.37. Finally, we remark that the proofs of Theorems 3.4.1, 4.6.1, and 5.14.1 are elementary: they use only standard perverse sheaf theory, and do not require the use of DG categories or non-holonomic π·-modules. (In particular, these theorems work in the β-adic setting, with the usual Artin-Shreier sheaf replacing the exponential sheaf). The reader uncomfortable with higher category theory should run into no difficulties here by replacing the words “DG category” by “triangulated category” essentially everywhere (one exception: it is important that the definition of ΥnΜ –modfact π’π,π₯ be understood higher categorically). However, Theorem 7.8.1 is not elementary in this sense. This is the essential reason for the length of S6: we are trying to construct an isomorphism of combinatorial nature in a higher categorical setting, and this is essentially impossible except in particularly fortuitous circumstances. We show in S6, S7 and Appendix B that the theory of ULA sheaves provides a usable method for this particular problem. 1.38. Conventions. For the remainder of this introduction, we establish the conventions for the remainder of the text. 1.39. We fix a field π of characteristic zero throughout the paper. All schemes, etc, are understood to be defined over π. 1.40. Lie theory. We fix the following notations from Lie theory. Let πΊ be a split reductive group over π, let π΅ be a Borel subgroup of πΊ with unipotent radical » π and let π be the Cartan π΅{π . Let π΅ ´ be a Borel opposite to π΅, i.e., π΅ ´ X π΅ Ý Ñ π . Let π ´ denote the unipotent radical of π΅ ´ . Λ denote the corresponding Langlands dual group with corresponding Borel π΅, Λ who in turn Let πΊ ´ ´ Λ and torus πΛ “ π΅{ Λ π Λ , and similarly for π΅ Λ and π Λ . has unipotent radical π ´ ´ ´ ´ Let g, b, n, t, b , n , gΜ, bΜ, nΜ, tΜ, bΜ and nΜ denote the corresponding Lie algebras. Let Λ denote the lattice of weights of π and let ΛΜ denote the lattice of coweights. We let Λ and ΛΜ denote the weights and coweights of πΊ. We let Λ` (resp. ΛΜ` ) denote the dominant weights (resp. coweights), and let ΛΜπππ denote the ZΔ0 -span of the simple coroots. Let βπΊ be the set of vertices in the Dynkin diagram of πΊ. We recall that βπΊ is canonically identified with the set of simple positive roots and coroots of πΊ. For π P βπΊ , we let πΌπ P Λ (resp. πΌ Λ π P ΛΜ) denote the corresponding root (resp. coroot). Moreover, we fix a choice of Chevalley generators tππ uπPIπΊ of n´ . CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 13 Finally, we use the notation π P Λ for the half-sum of the positive roots of g, and similarly for πΛ P ΛΜ. 1.41. For an algebraic group π€ , let let Bπ€ denote the classifying stack Specpπq{π€ for π€ . 1.42. Let π be a smooth projective curve. We let BunπΊ denote the moduli stack of πΊ-bundles on π. Recall that BunπΊ is a smooth Artin stack locally of finite type (though not quasi-compact). Similarly, we let Bunπ΅ , Bunπ , and Bunπ denote the corresponding moduli stacks of bundles on π. However, we note that we will abuse notation in dealing specifically with bundles of structure group π ´ : we will systematically incorporate a twist discussed in detail in S2.8. 1.43. Categorical remarks. The ultimate result in this paper, Theorem 7.8.1, is about computing a certain factorization functor between factorization (DG) categories. This means that we need to work in a higher categorical framework (c.f. [Lur1], [Lur3]) at this point. We will impose some notations and conventions below regarding this framework. With that said, the reader may read up to S5 essentially without ever worrying about higher categories. 1.44. We impose the convention that essentially everything is assumed derived. We will make this more clear below, but first, we note the only exception: schemes can be understood as classical schemes throughout the body of the paper, since we deal only with π·-modules on them. 1.45. We find it convenient to assume higher category theory as the basic assumption in our language. That is, we will understand “category” and “1-category” to mean “p8, 1q-category,” “colimit” to (necessarily) mean “homotopy colimit,” “groupoid” to mean “8-groupoid” (aliases: homotopy type, space, etc.), and so on. We use the phrase “set” interchangeably with “discrete groupoid,” i.e., a groupoid whose higher homotopy groups at any basepoint vanish. When we need to refer to the more traditional notion of category, we use the term p1, 1q-category. As an example: we let Gpd denote the category (i.e., 8-category) of groupoids (i.e., 8-groupoids). Remark 1.45.1. Unlike [Lur1] and [Lur3], our use of higher category theory is model independent. 1.46. DG categories. By DG category, we mean an (accessible) stable (8-)category enriched over π-vector spaces. We denote the category of DG categories under π-linear exact functors by DGCat and the category of cocomplete18 DG categories under continuous19 π-linear functors by DGCatππππ‘ . We consider DGCatππππ‘ as equipped with the symmetric monoidal structure b from [Lur3] S6.3. For C, D P DGCatππππ‘ and for F P C and G P D, we let F b G denote the induced object of C b D, since this notation is compatible with geometric settings. For C a DG category equipped with a π‘-structure, we let CΔ0 denote the subcategory of coconnective objects, and CΔ0 the subcategory of connective objects (i.e., the notation is the standard notation for the convention of cohomological grading). We let Cβ‘ denote the heart of the π‘-structure. We let Vect denote the DG category of π-vector spaces: this DG category has a π‘-structure with heart Vectβ‘ the abelian category of π-vector spaces. We use the material of the short note [Gai3] freely, taking for granted the reader’s comfort with the ideas of loc. cit. 18We actually mean presentable, which differs from cocomplete by a set-theoretic condition that will always be satisfied for us throughout this text. 19There is some disagreement in the literature of the meaning of this word. By continuous functor, we mean a functor commuting with filtered colimits. Similarly, by a cocomplete category, we mean one admitting all colimits. 14 SAM RASKIN 1.47. For a scheme π locally of finite type, we let π·pπq denote its DG category of π·-modules. For a map π : π Ñ π , we let π ! : π·pπ q Ñ π·pπq and πΛ,ππ : π·pπq Ñ π·pπ q denote the corresponding functors. We always equip π·pπq with the perverse π‘-structure,20 i.e., the one for which ICπ lies in the heart of the π‘-structure. In particular, if π is smooth of dimension π, then the dualizing sheaf ππ lies in degree ´π and the constant sheaf ππ lies in degree π. We sometimes refer to objects in the heart of this π‘-structure as perverse sheaves (especially if the object is holonomic), hoping this will not cause any confusion (since we do not assume π “ C, we are in no position to apply the Riemann-Hilbert correspondence). 1.48. Finally, we use the notation Oblv throughout for various forgetful functors. 1.49. Acknowledgements. We warmly thank Dennis Gaitsgory for suggesting this project to us, and for his continuous support throughout its development. I have tried to acknowledge his specific ideas throughout the paper, but in truth, his influence on me and on this project runs more deeply than that. We further thank Dima Arinkin, Sasha Beilinson, David Ben-Zvi, Dario Beraldo, Roman Bezrukavnikov, Sasha Braverman, Vladimir Drinfeld, Sergey Lysenko, Ivan Mirkovic, Nick Rozenblyum, and Simon Schieder for their interest in this work and their influence upon it. Within our gratitude, we especially single out our thanks to Dario Beraldo for conversations that significantly shaped S6. We thank MSRI for hosting us while this paper was in preparation. This material is based upon work supported by the National Science Foundation under Award No. 1402003. 2. Review of Zastava spaces 2.1. In this section, we review the geometry of Zastava spaces, introduced in [FM] and [BFGM]. Note that this section plays a purely expository role; our only hope is that by emphasizing the role of local Zastava stacks, some of the basic geometry becomes more transparent than other treatments. 2.2. Remarks on πΊ. For simplicity, we assume throughout this section that πΊ has a simplyconnected derived group. However, [ABB` ] S4.1 (c.f. also [Sch] S7) explains how to remove this hypothesis, and the basic geometry of Zastava spaces and Drinfeld compactifications remains exactly the same. The reader may therefore either assume πΊ has simply-connected derived group for the rest of this text, or may refer to [Sch] for how to remove this hypothesis (we note that this applies just as well for citations to [BG1], [BG2], and [BFGM]). 2.3. The basic affine space. Recall that the map: πΊ{π Ñ πΊ{π :“ Specpπ» 0 pΓpπΊ{π, OπΊ{π qqq “ SpecpFunpπΊqπ q is an open embedding. We call πΊ{π the basic affine space πΊ{π the affine closure of the basic affine space. The following result is direct from the Peter-Weyl theorem. 20Alias: the right (as opposed to left) π‘-structure. C.f. [BD] and [GR]. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 15 Lemma 2.3.1. For π an affine test scheme,21 a map π : π Ñ πΊ{π with π´1 pπΊ{π q dense in π is equivalent to a “Drinfeld structure” on the trivial πΊ-bundle πΊ ˆ π Ñ π, i.e., a sequence of maps for π P Λ` . π π : βπ b Oπ Ñ π π b Oπ π π are monomorphisms of quasi-coherent sheaves and satisfy the PluΜcker relations. Remark 2.3.2. By dense, we mean scheme-theoretically, not topologically (e.g., for Noetherian π, the difference here is only apparent in the presence of associated points). Example 2.3.3. For πΊ “ SL2 , πΊ{π identifies equivariantly with A2 . The corresponding map SL2 Ñ A2 here is given by: ˆ Λ π π ÞÑ pπ, πq P A2 . π π 2.4. Let π be the closure of π “ π΅{π Δ πΊ{π in πΊ{π . Lemma 2.4.1. (1) π is the toric variety SpecpπrΛ` sq (here πrΛ` s is the monoid algebra defined by the monoid Λ` ). Here the map π “ SpecpπrΛsq Ñ π corresponds to the embedding Λ` Ñ Λ and the map FunpπΊqπ Ñ πrΛ` s realizes the latter as π -coinvariants of the former. (2) The action of π on πΊ{π extends to an action of the monoid π on πΊ{π (where the coalgebra structure on Funpπ q “ πrΛ` s is the canonical one, that is, defined by the diagonal map for the monoid Λ` ). Here (1) follows again from the Peter-Weyl theorem and (2) follows similarly, noting that π π b Δ FunpπΊqπ “ FunpπΊ{π q has Λ-grading (relative to the right action of π on πΊ{π ) equal to π P Λ` . βπ,_ 2.5. Note that (after the choice of opposite Borel) π is canonically a retract of πΊ{π , i.e., the embedding π ãÑ πΊ{π admits a canonical splitting: πΊ{π Ñ π . (2.5.1) ` π Indeed, the retract corresponds to the map πrΛ s Ñ FunpπΊq sending π to the canonical element in: βπ b βπ,_ Δ π π b π π,_ Δ FunpπΊq (note that the embedding βπ,_ ãÑ π π,_ uses the opposite Borel). By construction, this map factors as πΊ{π Ñ π ´ zpπΊ{π q Ñ π . Let π act on πΊ{π through the action induced by the adjoint action of π on πΊ. Choosing a regular dominant coweight π0 P ΛΜ` we obtain a Gπ -action on πΊ{π that contracts22 onto π . The induced map πΊ{π Ñ π coincides with the one constructed above. Warning 2.5.1. The induced map πΊ{π Ñ π does not factor through π . The inverse image in πΊ{π of π Δ π is the open Bruhat cell π΅ ´ π {π . 21It is important here that π is a classical scheme, i.e., not DG. 22We recall that a contracting G -action on an algebraic stack π΄ is an action of the multiplicative monoid A1 on π΄. π For schemes, this is a property of the underlying Gπ action, but for stacks it is not. Therefore, by the phrase “that contracts,” we rather mean that it canonically admits the structure of contracting Gπ -action. See [DG] for further discussion of these points. 16 SAM RASKIN 2.6. Define the stack Bπ΅ as πΊzπΊ{π {π . Note that Bπ΅ has canonical maps to BπΊ and Bπ . π 2.7. Local Zastava stacks. Let π denote the stack π΅ ´ zπΊ{π΅ “ Bπ΅ ´ ˆBπΊ Bπ΅ and and let π denote the stack π΅ ´ zpπΊ{π q{π “ Bπ΅ ´ ˆBπΊ Bπ΅. We have the sequence of open embeddings: π Bπ ãÑ π ãÑ π where Bπ embeds as the open Bruhat cell. The map Bπ ãÑ π factors as: Bπ “ π zpπ {π q ãÑ π zpπ {π q “ Bπ ˆ π {π ãÑ π. (2.7.1) π΅´ ˆ π -equivariant, where One immediately verifies that the retraction πΊ{π Ñ π of (2.5.1) is acts on the left on πΊ{π and π acts on the right, and the action on π is similar but is induced by the π ˆ π -action and the homomorphism π΅ ´ ˆ π Ñ π ˆ π . Therefore, we obtain a canonical map: π΅´ π “ π΅ ´ zπΊ{π {π Ñ π΅ ´ zπ {π Ñ π zπ {π. Moreover, up to the choice of π0 from loc. cit. this retraction realizes Bπ ˆ π {π as a “deformation retract” of π. We will identify π zπ {π with Bπ ˆ π {π in what follows by writing the former as π zpπ {π q and noting that π acts trivially here on π {π . In particular, we obtain a canonical map: π Ñ π {π. (2.7.2) π By Lemma 2.4.1 (2) we have an action of the monoid stack π {π on π. The morphism π Ñ Ý π2 Bπ ˆ π {π ÝÑ π {π is π {π -equivariant. Lemma 2.7.1. A map π : π Ñ π {π with π´1 pSpecpπqq dense (where Specpπq is realized as the open point π {π ) is canonically equivalent to a ΛΜπππ :“ ´ΛΜπππ -valued Cartier divisor on π. First, we recall the following standard result. Lemma 2.7.2. A map π Ñ Gπ zA1 with inverse image of the open point dense is equivalent to the data of an effective Cartier divisor on π. Proof. Tautologically, a map π Ñ Gπ zA1 is equivalent to a line bundle L on π with a section π P Γpπ, Lq. π We need to check that the morphism Oπ Ñ Ý L is a monomorphism of quasi-coherent sheaves under the density hypothesis. This is a local statement, so we can trivialize L. Now π is a function π whose locus of non-vanishing is dense, and it is easy to see that this is equivalent to π being a non-zero divisor. Proof of Lemma 2.7.1. Let πΊ1 Δ πΊ denote the derived subgroup rπΊ, πΊs of πΊ and let π 1 “ π X πΊ1 1 and π 1 “ π X πΊ1 . Then with π defined as the closure of π 1 in the affine closure of πΊ1 {π 1 , the induced map: 1 π {π 1 Ñ π {π is an isomorphism, reducing to the case πΊ “ πΊ1 . CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 17 Because the derived group (assumed to be equal to πΊ now) is assumed we Ε simply-connected, Ε ` have have canonical fundamental weights tππ uπPβπΊ , ππ P Λ . The map πPβπΊ ππ : π Ñ πPβπΊ Gπ Ε extends to a map π Ñ πPβπΊ A1 inducing an isomorphism: » π {π Ý Ñ pA1 {Gπ qβπΊ . Because we use the right action of π on π , the functions on π are graded negatively, and therefore we obtain the desired result. 2.8. Twists. Fix an irreducible smooth projective curve π. We digress for a minute to normalize certain twists. Let β¦π denote the sheaf of differentials on π. For an integer π, we will sometimes use the notation β¦ππ for β¦bπ π , there being no risk for confusion with π-forms because π is a curve. 1 2 a square root of β¦π . This choice extends the definition of β¦ππ to π P 12 Z. We obtain We fix β¦π the π -bundle: ´1 π«ππππ :“ πΛpβ¦´1 πpβ¦π 2 q. π q :“ 2Λ (2.8.1) We use the following notation: Bunπ ´ :“ Bunπ΅ ´ ˆ tπ«ππππ u Bunπ :“ BunGπ ΛGπ BunG´ π ´1 ˆ tβ¦π 2 u. BunGπ Here Gπ Λ Gπ is the “negative” Borel of PGL2 . 1 ´1 2 and therefore there is a canonical map: Note that BunG´ classifies extensions of β¦π 2 by β¦π π canG´ : BunG´ Ñ π» 1 pπ, β¦π q “ Gπ . π π The choice of Chevalley generators tππ uπPβπΊ of n´ defines a map: π΅ ´ {rπ ´ , π ´ s Ñ ΕΊ pGπ Λ Gπ q. πPβπΊ By definition of π«ππππ , this induces a map: ΕΊ rπ : Bunπ ´ Ñ πPβπΊ ΕΊ BunG´ . π πPβπΊ We form the sequence: Ε Bunπ ´ Ñ ΕΊ πPβπΊ canG´ π BunG´ ÝÝÝÝÝÝÝÝÑ π πPβπΊ ΕΊ Gπ Ñ Gπ πPβπΊ and denote the composition by: can : Bunπ ´ Ñ Gπ . (2.8.2) 18 SAM RASKIN 2.9. For a pointed stack pπ΄, π¦ P π΄pπqq and a test scheme π, we say that π ˆ π Ñ π΄ is nondegenerate if there exists π Δ π ˆ π universally schematically dense relative to π in the sense of [GAB` ] Exp. XVIII, and such that the induced map π Ñ π΄ admits a factorization as π Ñ π¦ Specpπq Ý Ñ π΄ (so this is a property for a map, not a structure). We let Mapsπππ´πππππ. pπ, π΄q denote the open substack of Mapspπ, π΄q consisting of non-degenerate maps π Ñ π΄. π We consider π, π, and π {π as openly pointed stacks in the obvious ways. 2.10. Zastava spaces. Observe that there is a canonical map: π Ñ Bπ (2.10.1) given as the composition: π “ Bπ΅ ´ ˆ Bπ΅ Ñ Bπ΅ ´ Ñ Bπ. BπΊ Let π΅ be the stack of π«ππππ -twisted non-degenerate maps π Ñ π, i.e., the fiber product: Mapsπππ´πππππ. pπ, πq ˆ tπ«ππππ u Bunπ where the map Mapsπππ´πππππ. pπ, πq Ñ Bunπ is given by (2.10.1). π π π Let π΅ Δ π΅ be the open substack of π«ππππ -twisted non-degenerate maps π Ñ π. Note that π΅ and π π π΅ lie in Sch Δ PreStk. We call π΅ the Zastava space and π΅ the open Zastava space. We let π₯ : π΅ Ñ π΅ denote the corresponding open embedding. We have a Cartesian square where all maps are open embeddings: π΅ π /π΅ / Bun ´ ˆ Bunπ΅ π Bunπ ´ ˆ Bunπ΅ BunπΊ BunπΊ The horizontal arrows realize the source as the subscheme of the target where the two reductions are generically transverse. πππ “ Mapsπππ´πππππ. pπ, π {π q denote the scheme of ΛΜπππ -divisors on π (we include 2.11. Let DivΛΜ eff the subscript “eff” for emphasis that we are not taking ΛΜ-valued divisors). We have the canonical map: πππ πππ deg : π0 pDivΛΜ . eff q Ñ ΛΜ Λ P ΛΜπππ let DivπΛ denote the corresponding connected component of DivΛΜπππ . For π eff eff Ε Λ Λ“ Remark 2.11.1. Writing π Λ π as a sum of simple coroots, we see that Divπeff is a product πPβπΊ ππ πΌ Ε ππ πPβπΊ Sym π of the corresponding symmetric powers of the curve. Recall that we have the canonical map π : π Ñ Bπ ˆ π {π . For any non-degenerate map π ˆ π Ñ π, Warning 2.5.1 implies that the induced map to π {π (given by composing π with the second projection) is non-degenerate as well. Therefore we obtain the map: CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS πππ π : π΅ Ñ DivΛΜ eff 19 . π π We let π denote the restriction of π to π΅. It is well-known that the morphism π is affine. πΛ Λ π Λ Λ πΛ Let π΅ π (resp. π΅ π ) denote the fiber of π΅ (resp. π΅) over Divπeff . We let π π (resp. π π ) denote the Λ πΛ Λ πΛ Λ restriction of π to π΅ π (resp. π΅ π ). We let π₯π : π΅ π Ñ π΅ π denote the restriction of the open embedding π₯. πππ Λ Ñ π΅, whose restriction to each Divπeff we Note that π admits a canonical section s : DivΛΜ eff Λ denote by sπ . Note that up to a choice of regular dominant coweight, the situation is given by contraction. πΛ Λ Each π΅ π is of finite type (and therefore the same holds for π΅ π ). It is known (c.f. [BFGM] Corollary πΛ 3.8) that π΅ π is a smooth variety. π Λ “ 0, we have π΅ 0 “ π΅ 0 “ Div0 “ Specpπq. For π eff We have a canonical (up to choice of Chevalley generators) map π΅ Ñ Gπ defined as the compocan sition π΅ Ñ Bunπ ´ ÝÝÑ Gπ . For πΌ Λ π a positive simple coroot the induced map: Λπ ˆGπ “ π ˆ Gπ π΅ πΌΛ π Ñ DivπΌeff (2.11.1) π is an isomorphism that identifies π΅ πΌΛ π with π ˆ Gπ . πΛ Λ Λ Λ “ pπ, πq`dim Λ The dimension of π΅ π and π΅ π is p2π, πq Divπeff (this follows e.g. from the factorization property discussed in S2.12 below and then by the realization discussed in S2.13 of the central fiber as an intersection of semi-infinite orbits in the Grassmannian, that are known by [BFGM] S6 to be Λ equidimensional with dimension pπ, πq). Example 2.11.2. Let us explain in more detail the case of πΊ “ SL2 . In this case, tensoring with the 1 2 bundle β¦π identifies π΅ with the moduli of commutative diagrams: L π ! /E 1 0 / β¦2 π π_ 1 / β¦´ 2 π /0 L_ π in which the composition L Ñ L_ is zero and the morphism π is non-zero. The open subscheme π΅ is the locus where the induced map CokerpL Ñ Eq Ñ L_ is an isomorphism. The associated divisor ´1 of such a datum is defined by the injection L ãÑ β¦π 2 . π π Over a point π₯ P π, we have an identification of the fiber π΅ 1π₯ of π΅ 1 over π₯ P π (considering 1 P Z “ ΛΜSL2 as the unique positive simple coroot) with Gπ . Up to the twist by our square root 1 2 β¦π , the point 1 P Gπ corresponds to a canonical extension of Oπ by β¦π associated to the point π₯, that can be constructed explicitly using the Atiyah sequence of the line bundle Oπ pπ₯q. Recall that for a vector bundle E, the Atiyah sequence (c.f. [Ati]) is a canonical short exact sequence: 20 SAM RASKIN 0 Ñ EndpEq Ñ AtpEq Ñ ππ Ñ 0 whose splittings correspond to connections on E. For a line bundle L, we obtain a canonical extension AtpLq b β¦1π of Oπ by β¦1π . Taking L “ Oπ pπ₯q, we obtain the extension underlying the canonical π point of π΅ 1π₯ . Note that we have a canonical map L “ Oπ pπ₯q Ñ AtpOπ pπ₯qq b β¦1π that may be thought of as a splitting of the Atiyah sequence with a pole of order 1, and this splitting corresponds to the π obvious connection on Oπ pπ₯q with a pole of order 1. This defines the corresponding point of π΅ 1 completely. 2.12. Factorization. Now we recall the crucial factorization property of π΅. πππ ΛΜπππ ΛΜπππ ˆ Diveff Ñ DivΛΜ denote the addition map for the commutative monoid Let add : Diveff eff Λ Λ and π structure defined by addition of divisors. For π Λ fixed, we let addπ,Λπ denote the induced map Λ Λ Λ π Ñ Divπ`Λ Divπeff ˆ Divπeff eff . Define: πππ ΛΜ rDiveff πππ πππ ΛΜ ˆ DivΛΜ eff sπππ π Δ Diveff πππ ˆ DivΛΜ eff as the moduli of pairs of disjoint ΛΜπππ -divisors. Note that the restriction of add to this locus is eΜtale. Then we have canonical “factorization” isomorphisms: π΅ πππ ˆ πππ DivΛΜ eff rDivΛΜ eff πππ » ΛΜ Ñ pπ΅ ˆ π΅q ˆ Diveff sπππ π Ý πππ DivΛΜ eff πππ ˆ πππ ˆ DivΛΜ eff rDivΛΜ eff πππ ˆ DivΛΜ eff sπππ π that are associative in the natural sense. The morphisms π and s are compatible with the factorization structure. Λ Λ 2.13. The central fiber. By definition, the central fiber Zπ of the Zastava space π΅ π is the fiber product: Λ Λ Zπ :“ π΅ π ˆ π Λ Divπ eff Λ where π Ñ Divπeff is the closed “diagonal” embedding, i.e., it is the closed subscheme where the πΛ πΛ Λ Λ divisor is concentrated at a single point. We let Zπ denote the open in Zπ corresponding to π΅ π ãÑ π΅ π . Λ Similarly, we let Z Δ π΅ be the closed corresponding to the union of the Zπ . Λ Λ Λ Λ πΛ πΛ We let π½ π (resp. 7π ) denote the closed embedding Zπ ãÑ π΅ π (resp. Zπ ãÑ π΅ π ). πππ , π« πππ and π« πππ be the torsors induced by the 2.14. Twisted affine Grassmannian. Let π«πΊ π΅ π΅´ πππ π -torsor π«π under the embeddings of π into each of these groups. πππ -twisted Beilinson-Drinfeld affine Grassmannian” classifying a We let GrπΊ,π denote the “π«πΊ πππ | point π₯ P π, a πΊ-bundle π«πΊ on π, and an isomorphism π«πΊ πzπ₯ » π«πΊ |πzπ₯ . More precisely, the π-points are: # + π₯ : π Ñ π, π«πΊ a πΊ-bundle on π ˆ π, . π ÞÑ πππ | πΌ an isomorphism π«πΊ |πˆπzΓπ₯ » π«πΊ πˆπzΓπ₯ Similarly for Grπ΅,π , etc. We define Grπ ´ ,π :“ Grπ΅ ´ ,π ˆGrπ,π π, where the map π Ñ Grπ,π being the tautological section. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 21 Let Grπ΅,π denote the “union of closures of semi-infinite orbits,” i.e., the indscheme: # Grπ΅,π : π ÞÑ π₯ : π Ñ π, π : π ˆ π Ñ πΊzpπΊ{π q{π , πΌ a factorization of π|pπˆπqzΓπ₯ through the canonical map Specpπq Ñ πΊzpπΊ{π q{π . + . Here Γπ₯ denotes the graph of the map π₯. 2.15. In the above notation, we have a canonical isomorphism: » ZÝ Ñ Grπ ´ ,π ˆ Grπ΅,π . GrπΊ,π Indeed, this is immediate from the definitions. š Λ Λ π π Note that Grπ΅,π has a canonical map to Grπ,π “ πP Λ ΛΜ Grπ,π . Letting Grπ΅,π be the fiber over the corresponding connected component of Grπ,π , we obtain: Λ » Zπ Ý Ñ Grπ ´ ,π Λ π ˆ Grπ΅,π . GrπΊ,π πππ πππ 2.16. By S2.7, we have an action of DivΛΜ on π΅ so that the morphism π is DivΛΜ eff eff -equivariant. πππ ΛΜ We let actπ΅ denote the action map Diveff ˆπ΅ Ñ π΅. We abuse notation in denoting the induced πππ map DivΛΜ eff π π ˆπ΅ Ñ π΅ by act π (that does not define an action on π΅, i.e., this map does not factor π΅ π through π΅). Λ P ΛΜ acting on π΅ πΛ defines the map: For π Λ πππ actππ΅ : DivΛΜ eff Λ ˆπ΅ π Ñ π΅. Λ Λ,π For πΛ P ΛΜπππ we use the notation actππ΅ for the induced map: Λ Λ Λ Λ Λ,π ˆπ΅ π Ñ π΅ π`Λπ . : Divπeff actππ΅ Λ Λ π΅ π΅ π Similarly, we have the maps actππ and actπ,Λ π . The following lemma is well-known (see e.g. [BFGM]). Λπ Λπ π,Λ Λ πΛ P ΛΜπππ , the actπ,Λ Lemma 2.16.1. For every π, π΅ is finite morphism and the map act π is a locally Λ the set of locally closed subschemes of π΅ πΛ : closed embedding. For fixed π π΅ π Λ tactπΛπ,Λπ pDivπeff ˆπ΅ πΛ qu πΛ`Λπ“πΛ π΅ π,Λ Λ π PΛΜπππ forms a stratification. Λ P ΛΜπππ we now review the description from 2.17. Intersection cohomology of Zastava. For π [BFGM] of the fibers of the intersection cohomology π·-module ICπ΅ πΛ along the strata described above, i.e., the π·-modules: π Λ Λ actπΛπ,Λπ,! pICπ΅ πΛ q P π·pDivπeff ˆπ΅ πΛ q, πΛ, π Λ P ΛΜπππ , π Λ ` πΛ “ π. π΅ 22 SAM RASKIN Theorem 2.17.1. (1) With notation as above, the regular holonomic π·-module: π Λ actπΛπ,Λπ,! pICπ΅ πΛ q P π·pDivπeff ˆπ΅ πΛ q (2.17.1) π΅ π is concentrated in constructible cohomological degree ´ dim π΅ πΛ . π (2) For π₯ P π a point, the further Λ-restriction of (2.17.1) to Zππ₯Λ is a lisse sheaf in constructible π degree ´ dim π΅ πΛ isomorphic to: π π pnΜqpΛ π q b π π πΛ rdim π΅ πΛ s Zπ₯ where π pnΜqpΛ π q indicates the πΛ-weight space. π (3) The !-restriction of (2.17.1) to π΅ πΛ is a sum of sheaves: π ‘ partitions πΛ“ Επ π“1 πΌ Λπ π π πΛ r´π ` dim π΅ πΛ s (2.17.2) Zπ₯ πΌ Λ π a positive coroot π Remark 2.17.2. Recall from the above that, π΅ πΛ is equidimensional with dim π΅ πΛ “ 2pπ, π Λq. Remark 2.17.3. For clarity, in (2.17.2) we sum over all partitions of πΛ as a sum of positive coroots (where two partitions are the same if the multiplicity of each coroot is the same). We emphasize that the πΌ Λ π are not assumed to be simple coroots, so the total number of summands is given by the Kostant partition function. Remark 2.17.4. This theorem is a combination of Theorem 4.5 and Lemma 4.3 of [BFGM] using the inductive procedure of loc. cit. 1 2 , we obtain an iden2.18. Locality. For π a smooth (possibly affine) curve with choice of β¦π tical geometric picture. One can either realize this by restriction from a compactification, or by reinterpreting e.g. the map π΅ Ñ Gπ through residues instead of through global cohomology. 3. Limiting case of the Casselman-Shalika formula 3.1. The goal for this section is to prove Theorem 3.4.1, on the vanishing of the IC-Whittaker cohomology groups of Zastava spaces. This vanishing will play a central role in the remainder of the paper. Remark 3.1.1. The method of proof is essentially by a reduction to the geometric Casselman-Shalika formula of [FGV]. Remark 3.1.2. We are grateful to Dennis Gaitsgory for suggesting this result to us. 3.2. Artin-Schreier sheaves. We define the !-Artin-Schreier π·-module π P π·pGπ q to be the exponential local system normalized cohomologically so that πr´1s P π·pGπ qβ‘ . Note that π is multiplicative with respect to !-pullback. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 23 Λ P ΛΜπππ , let π πΛ P π·pπ΅ πΛ q denote the !-pullback of the Artin-Schreier π·-module π along 3.3. For π π΅ the composition: Λ can π΅ π Ñ Bunπ ´ ÝÝÑ Gπ . ! Λ Note that ππ΅ πΛ b ICπ΅ πΛ P π·pπ΅ π qβ‘ . We then also define: Λ π π πΛ “ π₯π,! pππ΅ πΛ q. π΅ 3.4. The main result of this section is the following: Λ ‰ 0, then: Theorem 3.4.1. If π ! Λ π πΛ,ππ pICπ΅ πΛ bππ΅ πΛ q “ 0. The proof will be given in S3.6 below. This theorem is eΜtale local on π, and therefore we may assume that we have π “ A1 . In 1 2 particular, we have a fixed trivialization of β¦π . 3.5. Central fibers via affine Schubert varieties. In the proof of Theorem 3.4.1 we will use Proposition 3.5.1 below. We note that it is well-known, though we do not know a published reference. Throughout S3.5, we work only with reduced schemes and indschemes, so all symbols refer to the reduced indscheme underlying the corresponding indscheme. Note that this restriction does not affect π·-modules on the corresponding spaces. Let π pπΎqπ denote the group indscheme over π of meromorphic jets into π (so the fiber of π pπΎqπ at π₯ P π is the loop group π pπΎπ₯ q). Because we have chosen an identification π » A1 , we have a canonical homomorphism: Grπ,π » A1 ˆ ΛΜ Ñ π pπΎqπ » A1 ˆ π pπΎq Λ ÞÑ pπ₯, πpπ‘qq Λ pπ₯, πq where π‘ is the uniformizer of A1 (of course, the formula Grπ,π » A1 ˆ ΛΜ is only valid at the reduced level). This induces an action of the π-group indscheme Grπ,π on Grπ΅,π , GrπΊ,π and Grπ ´ ,π “ Gr0π΅ ´ ,π . Using this action, we obtain a canonical isomorphism: Λ Zπ “ Gr0π΅ ´ ,π Λ π Λ Ñ Grππ΅ ˆ Grπ΅,π Ý ´ ,π Λ π π`Λ » GrπΊ,π ˆ Grπ΅,π GrπΊ,π of π-schemes for every πΛ P ΛΜ. Proposition 3.5.1. For πΛ deep enough23 in the dominant chamber we have: Λ Grππ΅ ´ ,π Λ π π`Λ Λ ˆ Grπ΅,π “ Grππ΅ ´ ,π GrπΊ,π Λ π ˆ Grπ`Λ πΊ,π . GrπΊ,π This equality also identifies: Λ Grππ΅ ´ ,π Λ π πΛ ˆ Grπ`Λ π΅,π “ Grπ΅ ´ ,π GrπΊ,π 23This should be understood in a way depending on π. Λ Λ π ˆ Grπ`Λ πΊ,π . GrπΊ,π 24 SAM RASKIN Proof. It suffices to verify the result fiberwise and therefore we fix π₯ “ 0 P π “ A1 (this is really πΛ Λ Λ πΛ just a notational convenience here). We let Zππ₯ (resp. Zππ₯ ) denote the fiber of Zπ (resp. Zπ ) at π₯. Let π‘ P πΎπ₯ be a coordinate at π₯. π Λ and because each Zππ₯Λ is finite type, for πΛ deep Because there are only finitely many 0 Δ π ΛΔπ enough in the dominant chamber we have: π Zππ₯Λ “ Grπ ´ ,π₯ X Ad´Λπpπ‘q pπ pππ₯ qq ¨ π Λpπ‘q (Λ πpπ‘q being regarded as a point in GrπΊ,π₯ here and the intersection symbol is short-hand for fiber Λ Choosing πΛ possibly larger, we can also assume that πΛ ` π product over GrπΊ,π₯ ) for all 0 Δ π Λ Δ π. Λ Λ is dominant for all 0 Δ π Λ Δ π. Then we claim that such a choice πΛ suffices for the purposes of the proposition. Λ we have: Observe that for each 0 Δ π ΛΔπ ˆ Λ π Λ π Λ`Λ π πΛ πΛ π Λ`Λ π π Λ π ` πΛqpπ‘q Δ Grππ΅ Grπ΅ ´ ,π₯ X Grπ΅,π₯ “ πΛpπ‘q ¨ Zπ₯ Δ Grπ΅ ´ ,π₯ X π pππ₯ q ¨ pΛ ´ ,π₯ X GrπΊ,π₯ . Λ π π`Λ Recall (c.f. [MV]) that Grπ΅,π₯ is a union of strata: π Λ`Λ π Λ ΛΔπ Grπ΅,π₯ , π while for π Λ: Λ π Λ`Λ π Grππ΅ ´ ,π₯ X Grπ΅,π₯ “ H π Λ Λ π Λ`Λ π Λ unless π Λ Δ 0. Therefore, Grππ΅ Λ Δ π. ´ ,π₯ intersects Grπ΅,π₯ only in the strata Grπ΅,π₯ for 0 Δ π The above analysis therefore shows that: Λ π π`Λ Λ Λ πΛ π`Λ π Grππ΅ ´ ,π₯ XGrπ΅,π₯ Δ Grπ΅ ´ ,π₯ XGrπΊ,π₯ . Λ ` πΛqpπ‘q is open in GrπΛ . Therefore, we have: Now observe that π΅pππ₯ q ¨ pπ Λ π π`Λ Λ π Grπ`Λ πΊ,π₯ Δ Grπ΅ giving the opposite inclusion above. πΛ It remains to show that the equality identifies Zππ₯ in the desired way. We have already shown that: Λ Λ Λ π`Λ π πΛ π`Λ π Grππ΅ ´ ,π₯ X Grπ΅,π₯ Δ Grπ΅ ´ ,π₯ X GrπΊ,π₯ . so it remains to prove the opposite inclusion. Suppose that π¦ is a geometric point of the right hand Λ`Λ π side. Then, by the Iwasawa decomposition, π¦ P Grππ΅,π₯ for some (unique) π Λ P ΛΜ and we wish to show Λ that π Λ “ π. Because: Λ Λ`Λ π π π¦ P Grππ΅,π₯ XGrπ`Λ πΊ,π₯ ‰ H Λ We also have: we have π Λ Δ π. Λ`Λ π Λ π¦ P Grππ΅,π₯ X Grππ΅ ´ ,π₯ ‰ H CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 25 which implies π Λ Δ 0. Therefore, by construction of π we have: Λ π Λ`Λ π πΛ π Λ`Λ π π Λ`Λ π π¦ P Grππ΅ ´ ,π₯ X Grπ΅,π₯ Δ Grπ΅ ´ ,π₯ X GrπΊ,π₯ Δ GrπΊ,π₯ Λ π Λ`Λ π Λ (because π Λ ` πΛ are assumed dominant) and therefore but GrππΊ,π₯ X Grπ`Λ Λ‰π Λ ` πΛ and π πΊ,π₯ “ H if π Λ as desired. we must have π Λ“π We continue to use the notation introduced in the proof of Proposition 3.5.1. Λ Λ Λ πΛ Λ πΛ Recall that π½ π (resp. 7π ) denotes the closed embedding Zπ ãÑ π΅ π (resp. Zπ ãÑ π΅ π ). For π₯ P π, Λ πΛ Λ Λ Λ πΛ let π½π₯π (resp. 7ππ₯ ) denote the closed embedding Zππ₯ ãÑ π΅ π (resp. Zππ₯ ãÑ π΅ π ). Corollary 3.5.2. For every π₯ P π, the cohomology: ´ ¯ ! Λ Λ Λ π»ππ Zππ₯ , π½π₯π,! pICπ΅ πΛ bππ΅ πΛ q (3.5.1) Λ it is concentrated in strictly is concentrated in non-negative cohomological degrees, for for 0 ‰ π, positive cohomological degrees. Remark 3.5.3. It follows a posteriori from Theorem 3.4.1 that the whole cohomology vanishes for Λ 0 ‰ π. Proof. First, we claim that when either: ‚ π Δ 0, or: Λ‰0 ‚ π “ 0 and π we have: ´π ¯ ! Λ Λ π π π π»ππ Zππ₯ , 7π,! pIC bπ q “0 π₯ Λ Λ π π π΅ πΛ (3.5.2) π΅ ! Λ Indeed, from the smoothness of π΅ π , we see that IC π πΛ b7π,! q is a rank one local system π₯ pπ π π π΅ π΅Λ concentrated in perverse cohomological degree: πΛ πΛ πΛ dimpπ΅ π q ´ dimpZππ₯ q “ dimpZππ₯ q. This gives the desired vanishing in negative degrees. Moreover, from Proposition 3.5.1 and the Casselman-Shalika formula ([FGV] Theorem 1), we Λ ‰ 0, the restriction of our rank one local system to every irreducible component deduce that, for π πΛ of Zππ₯ is moreover non-constant. This gives (3.5.2). Λ the !-restriction of To complete the argument, note that by Theorem 2.17.1 (3), for 0 Δ π Λ Δ π, π Λ IC πΛ to Zππ₯Λ lies in perverse cohomological degrees Δ pπ, π Λq, with strict inequality for π Λ ‰ π. π΅ ! π Λ Λ π½π₯π,! By lisseness of ππ΅ πΛ , we deduce that for 0 Δ π Λ Δ π, pICπ΅ πΛ bππ΅ πΛ q has !-restriction to Zππ₯Λ in Λ perverse cohomological degrees strictly greater than pπ, π Λq “ dimpπ΅ π q. Therefore, the non-positive cohomologies of these restrictions vanish. We find that the cohomology is the open stratum can contribute to the non-positive cohomology, but this vanishes by (3.5.2). 26 SAM RASKIN Λ P ΛΜπππ then we have the vanishing Euler characteristic: Corollary 3.5.4. If 0 ‰ π ˆ ´ ¯Λ ! Λ Λ π π,! Λ “ 0. π π»ππ Zπ₯ , π½π₯ pICπ΅ πΛ bππ΅ πΛ q Proof. The key point is to establish the following equality: Λ rπ½π₯π,! pICπ΅ πΛ qs “ rπ! pIC Λ Λ π Grπ`Λ πΊ,π₯ π qs P πΎ0 pπ·βππ pZππ₯ qq (3.5.3) Λ in the Grothendieck group of complexes of (coherent and) holonomic π·-modules on Zππ₯ . Here the map π is defined as: Λ Λ Λ π`Λ π π`Λ π Zπ₯ Ý Ñ Grππ΅ ´ ,π₯ XGrπΊ,π₯ Ñ GrπΊ,π₯ . » Λ the !-restrictions of these classes coincide in the It suffices to show that for each 0 Δ π Λ Δ π, Grothendieck group of: Λ π Λ`Λ π Grππ΅ ´ ,π₯ X GrπΊ,π₯ . Indeed, these locally closed subvarieties form a stratification. Λ π π`Λ First, note that the !-restriction of IC π`Λ Λ π to GrπΊ,π₯ has constant cohomologies (by πΊpπqGrπΊ,π₯ equivariance). Moreover, by [Lus] the corresponding class in the Grothendieck group is the dimension of the weight component: ` Λ Λ dim π ´π€0 pπ`Λπq p´Λ π ´ πΛq ¨ rIC Λ π Λ Grπ` πΊ,π₯ s. Λ π Λ`Λ π Further !-restricting to Grππ΅ ´ ,π₯ X GrπΊ,π₯ , we obtain that the right hand side of our equation is given by: Λ dim π ´π€0 pπ`Λπq p´Λ π ´ πΛq ¨ rICGrπΛ π΅ ´ ,π₯ Λ π s. X Grπ`Λ πΊ,π₯ Λ By having π pnΜq act on a lowest weight vector of π π`Λπ , we observe that for πΛ large enough, we have: Λ Λ´π π ´π€0 pπ`Λπq p´Λ π ´ πΛq » π pnΜqpπ Λq. Λ π Λ`Λ π The similar identification for the left hand side follows from the choice of πΛ (so that Grππ΅ ´ ,π₯ X GrπΊ,π₯ π identifies with Zππ₯Λ ) and Theorem 2.17.1 (3). Appealing to (3.5.3), we see that in order to deduce the corollary, it suffices to prove that: ˆ ´ Λ Λ π π»ππ Zππ₯ , π! pIC ! Λ π Grπ`Λ πΊ,π₯ qb Λ π½π₯π,! pππ΅ πΛ q ¯Λ “ 0. Even better: by the geometric Casselman-Shalika formula [FGV], this cohomology itself vanishes. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 3.6. 27 Now we give the proof of Theorem 3.4.1. Λ so we assume the result holds for all Proof of Theorem 3.4.1. We proceed by induction on pπ, πq, ! Λ By factorization and induction, we see that F :“ π πΛ pIC πΛ bπ πΛ q is concentrated on 0Δπ Λ Δ π. Λ,ππ π΅ π΅ Λ the main diagonal π Δ Divπeff . Λ Λ ! The (Λ “!-)restriction of F to π is the Λ-pushforward along Zπ Ñ π of π½ π,! pICπ΅ πΛ bππ΅ πΛ q. MoreΛ over, since Zπ Ñ π is a Zariski-locally trivial fibration, the cohomologies of F on π are lisse and the fiber at π₯ P π is: ´ ¯ ! Λ Λ Λ Zππ₯ , π½π₯π,! pICπ΅ πΛ bππ΅ πΛ q . π»ππ ! Λ Because π π is affine and ICπ΅ πΛ bππ΅ πΛ is a perverse sheaf, F lies in perverse degrees Δ 0. Moreover, by Corollary 3.5.2, its !-fibers are concentrated in strictly positive degrees. Since F is lisse along π, this implies that F is actually perverse. Now Corollary 3.5.4 provides the vanishing of the Euler characteristics of the fibers of F, giving the result. 4. Identification of the Chevalley complex 4.1. The goal for this section is to identify the Chevalley complex in the cohomology of Zastava space with coefficients in the Whittaker sheaf: this is the content of Theorem 4.6.1. The argument combines Theorem 3.4.1 with results from [BG2]. Remark 4.1.1. Theorem 4.6.1 is one of the central results of this text: as explained in the introduction, it provides a connection between Whittaker sheaves on the semi-infinite flag variety and the factorization algebra ΥnΜ , and therefore relates to Conjecture 1. 4.2. We will use the language of graded factorization algebras. The definition should encode the following: a ZΔ0 -graded factorization algebra is a system Aπ P π·pSymπ πq such that we have, for every pair π, π we have isomorphisms: ´ ¯ ´ ¯ » Aπ b Aπ |rSymπ πˆSymπ πsπππ π Ý Ñ Aπ`π |rSymπ πˆSymπ πsπππ π satisfying (higher) associativity and commutativity. Note that the addition map Symπ πˆSymπ π Ñ Symπ`π π is eΜtale when restricted to the disjoint locus, and therefore the restriction notation above is unambiguous. š Formally, the scheme Sym π “ π Symπ π is naturally a commutative algebra under correspondences, where the multiplication is induced by the maps: rSymπ π ˆ Symπ πsπππ π t Symπ π ˆ Symπ π ) Symπ`π π. Therefore, as in [Ras1] S6, we can apply the formalism of loc. cit. S5 to obtain the desired theory. Remark 4.2.1. We will only be working with graded factorization algebras in the heart of the π‘structure, and therefore the language may be worked out “by hand” as in [BD], i.e., without needing to appeal to [Ras1]. 28 SAM RASKIN Similarly, we have the notion of ΛΜπππ -graded factorization algebra: it is a collection of π·-modules Λ on the schemes Divπeff with similar identifications as above. 4.3. Recall that [BG2] has introduced a certain ΛΜπππ -graded commutative factorization algebra, πππ i.e., a commutative factorization π·-module on DivΛΜ eff . This algebra incarnates the homological Chevalley complex of nΜ. In loc. cit., this algebra is denoted by ΥpnΜπ q: we use the notation ΥnΜ Λ Λ Λ instead. We denote the component of ΥnΜ on Divπeff by ΥπnΜ . Recall from loc. cit. that each ΥπnΜ lies in Λ π·pDivπeff qβ‘ .24 Remark 4.3.1. To remind the reader of the relation between ΥnΜ and the homological Επ Λ Chevalley πππ complex πΆ‚ pnΜq of nΜ, we recall that the Λ-fiber of ΥnΜ at a ΛΜ -colored divisor π“1 ππ ¨ π₯π (here Λ π P ΛΜπππ and the π₯π P π are distinct closed points) is canonically identified with: π π Λ b πΆ‚ pnΜqππ π“1 where πΆ‚ Λ pnΜqππ Λ π -graded piece of the complex. denotes the π Remark 4.3.2. The ΛΜπππ -graded vector space: nΜ “ nΜπΌΛ ‘ πΌ Λ a positive coroot gives rise to the π·-module: Λ pnΜπΌΛ b ππ q P π·pDivΛΜ ‘ βπΌΛ,ππ eff q πΌ Λ a positive coroot Λ Divπeff is the diagonal embedding. The Lie algebra nΜπ :“ Λ P ΛΜ, βπΛ : π Ñ where for π structure on nΜ gives a Lie-Λ structure on nΜπ . Then ΥnΜ is tautologically given as the factorization algebra associated to the chiral enveloping algebra of this Lie-Λ algebra. Remark 4.3.3. We emphasize the miracle mentioned above and crucially exploited in [BG2] (and below): although πΆ‚ pnΜq is a cocommutative (DG) coalgebra that is very much non-classical, its π·-module avatar does lie in the heart of the π‘-structure. Of course, this is no contradiction, since the Λ-fibers of a perverse sheaf need only live in degrees Δ 0. 4.4. Observe that π₯Λ,ππ pIC π q naturally factorizes on π΅. Therefore, sΛ,ππ π₯Λ,ππ pIC π q is naturally a π΅ π΅ πππ π·pDivΛΜ eff q. factorization π·-module in The following key identification is essentially proved in [BG2], but we include a proof with detailed references to loc. cit. for completeness. Theorem 4.4.1. There is a canonical identification: » π» 0 psΛ,ππ π₯Λ,ππ pIC π qq Ý Ñ ΥnΜ π΅ of ΛΜπππ -graded factorization algebras. Λ P ΛΜπππ fixed, IC π Remark 4.4.2. To orient the reader on cohomological shifts, we note that for π Λ π π΅ is concentrated in degree 0 and therefore the above π» 0 is the maximal cohomology group of the complex sΛ,ππ π₯Λ,ππ pIC π πΛ q. π΅ 24We explicitly note that in this section we exclusively use the usual (perverse) π‘-structure. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS πππ 29 πππ ,simple Proof of Theorem 4.4.1. Let π : DivΛΜ ãÑ DivΛΜ effΕ denote the open consisting of simple eff divisors, i.e., its geometric points are divisors of the form ππ“1 πΌ Λ π ¨ π₯π for πΌ Λ π a positive simple coroot Λ Λ Λ π,simple π πππ Λ P ΛΜ , we let π : Div Ñ Divπeff denote the and the points tπ₯π u pairwise distinct. For each π eff Λ corresponding open embedding. Note that π and each embedding π π is affine. πππ ,simple Observe that DivΛΜ has a factorization structure induced by that of Diveff . The restriceff πππ ,simple tion of ΥnΜ to DivΛΜ identifies canonically with the exterior product over π P βπΊ of the eff corresponding “sign” (rank 1) local systems under the identification: Λ Divπ,simple » eff ΕΊ Symππ ,simple π πPβπΊ Λ“ where π Λ π and on the right the subscript simple means “simple effective divisor” in the πPβπΊ ππ πΌ same sense as above. Moreover, these identifications are compatible with the factorization structure in the natural sense. π πΛ π πΛ Let π΅ simple and π΅ π,simple denote the corresponding opens in π΅ and π΅ π obtained by fiber product. Λ Λ Let ssimple and sπ,simple denote the corresponding restrictions of s and sπ . Ε πΛ Λ Λ pπ,πq Λ -scheme by (2.11.1), and these identifications ˆGπ as a Divπ,simple Then π΅ π,simple Ý Ñ Divπ,simple eff eff are compatible with factorization. Therefore, we deduce an isomorphism: » » π» 0 pssimple,Λ,ππ π₯Λ,ππ pIC π simple qq Ý Ñ π ! pΥnΜ q π΅ πππ ,simple of factorization π·-modules on DivΛΜ eff the Koszul rule of signs). Therefore, we obtain a diagram: (note that the sign local system appears on the left by π! π» 0 pssimple,Λ,ππ π₯Λ pIC π simple qq » π΅ / π! π ! pΥnΜ q (4.4.1) π» 0 psΛ,ππ π₯Λ,ππ pIC π qq ΥnΜ π΅ πππ Note that the top horizontal arrow is a map of factorization algebras on DivΛΜ eff . By (the Verdier duals to) [BG2] Lemma 4.8 and Proposition 4.9, the vertical maps in (4.4.1) πππ β‘ are epimorphisms in the abelian category π·pDivΛΜ eff q . Moreover, by the analysis in loc. cit. S4.10, there is a (necessarily unique) isomorphism: » π» 0 psΛ,ππ π₯Λ,ππ pIC π qq Ý Ñ ΥnΜ π΅ completing the square (4.4.1). By uniqueness, this isomorphism is necessarily an isomorphism of factorizable π·-modules. π 4.5. Observe that the π·-module π π canonically factorizes on π΅. Therefore, π₯Λ,ππ pπ π q factorizes π΅ π΅ in π·pπ΅q. Λ P ΛΜπππ we have a map: By Theorem 4.4.1, we have for each π 30 SAM RASKIN ´ ¯ Λ Λ Λ Λ Λ π₯πΛ,ππ pIC π πΛ q Ñ sπΛ,ππ π» 0 sπ,Λ,ππ π₯πΛ,ππ pIC π πΛ q “ sΛ,ππ pΥπnΜ q. (4.5.1) π΅ π΅ Λ These maps are compatible with factorization as we vary π. Λ Lemma 4.5.1. The map (4.5.1) is an epimorphism in the abelian category π·pπ΅ π qβ‘ . Λ Proof. Let F P π·pπ΅ π qΔ0 . Then the canonical map: Λ Λ F Ñ sπΛ,ππ sπ,Λ,ππ pFq (4.5.2) Λ has kernel given by restricting to and then !-extending from the complement to the image of sπ . Since this is an open embedding, the kernel of (4.5.2) is concentrated in cohomological degrees Δ 0. Taking the long exact sequence on cohomology, we see that the map: Λ Λ Λ Λ Λ F Ñ π» 0 psπΛ,ππ sπ,Λ,ππ pFqq “ sπΛ,ππ π» 0 psπ,Λ,ππ pFqq P π·pπ΅ π qβ‘ is an epimorphism. Λ Applying this to F “ π₯πΛ,ππ pIC π πΛ q gives the claim. π΅ ! Λ » 4.6. Applying ππ΅ b ´ to (4.5.1) and using the canonical identifications sπ,!,ππ pππ΅ πΛ q Ý Ñ πDivπΛ , we eff obtain maps: Λ ! Λ Λ π π : π₯πΛ,ππ pπ π πΛ b IC π πΛ q Ñ sΛ,ππ pΥπnΜ q. π΅ π΅ Λ the maps π πΛ are as well. Because everything above is compatible with factorization as we vary π, ! We let π : π₯Λ,ππ pπ π b IC π q Ñ sΛ,ππ pΥnΜ q denote the induced map of factorizable π·-modules on π΅. π΅ π΅ Theorem 4.6.1. The map: ! π ! πΛ,ππ pπq π Λ,ππ pπ π b IC π q “ πΛ,ππ π₯Λ,ππ pπ π b IC π q ÝÝÝÝÝÑ πΛ,ππ sΛ,ππ pΥnΜ q “ ΥnΜ π΅ π΅ π΅ π΅ (4.6.1) πππ is an equivalence of factorizable π·-modules on DivΛΜ eff . π ! Remark 4.6.2. In particular, the theorem asserts that π Λ,ππ pπ π b IC π q is concentrated in cohomoπ΅ π΅ logical degree 0. Λ P ΛΜπππ that π πΛ pπ πΛ q is an equivalence. Proof of Theorem 4.6.1. It suffices to show for fixed π Λ,ππ Recall from [BG2] Corollary 4.5 that we have an equality: ÿ Λ Λ Λ,Λ π π rπ₯πΛ,ππ pIC π πΛ qs “ ractππ΅,Λ,ππ pΥπnΜΛ b ICπ΅ πΛ qs P πΎ0 pπ·βππ pπ΅ π qq. (4.6.2) π΅ π Λ,Λ π PΛΜπππ Λ π Λ`Λ π “π in the Grothendieck group of (coherent and) holonomic π·-modules. Therefore, because ππ΅ is lisse, we obtain a similar equality: ! Λ rπ₯πΛ,ππ pπ π πΛ b IC π πΛ qs “ π΅ π΅ ÿ π Λ,Λ π PΛΜπππ Λ π Λ`Λ π “π ´ ¯ ! Λ,Λ π ractππ΅,Λ,ππ ΥπnΜΛ b pπ π πΛ b ICπ΅ πΛ q s π΅ (4.6.3) CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 31 by the projection formula. Λ we have: For every decomposition π Λ ` πΛ “ π, ¯ ¯ ´ ´ ! ! Λ π Λ Λ,Λ π Λ,Λ π π pπ π πΛ b ICπ΅ πΛ q . ΥπnΜΛ b πΛ,ππ πΛ,ππ actππ΅,Λ,ππ ΥπnΜΛ b pπ π πΛ b ICπ΅ πΛ q “ addπΛ,ππ π΅ π΅ By Theorem 3.4.1, this term vanishes for π Λ ‰ 0. Therefore, we see that the left hand side of (4.6.1) is concentrated in degree 0, and that it agrees in the Grothendieck group with the right hand side. Λ Λ π Moreover, by affineness of π π , the functor πΛ,ππ is right exact. Therefore, by Lemma 4.5.1, the Λ Λ π pπ π q is an epimorphism in the heart of the π‘-structure; since the source and target agree map πΛ,ππ in the Grothendieck group, we obtain that our map is an isomorphism. 5. Hecke functors: Zastava calculation over a point 5.1. Next, we compare Theorem 4.6.1 with the geometric Satake equivalence. Λ there are two ways to associate a More precisely, given a representation π of the dual group πΊ, factorization ΥnΜ -module: one is through its Chevalley complex πΆ‚ pnΜ, π q, and the other is through a geometric procedure explained below, relying on geometric Satake and Theorem 4.6.1. In what follows, we refer to these two operations as the spectral and geometric Chevalley functors respectively. The main result of this section, Theorem 5.14.1, identifies the two functors. Notation 5.1.1. We fix a π-point π₯ P π in what follows. 5.2. Polar Drinfeld structures. Suppose π is proper for the moment. 8¨π₯ Recall the ind-algebraic stack Bunπ ´ from [FGV]: it parametrizes π«πΊ a πΊ-bundle on π and non-zero maps:25 bpΛ π,πq Ñ ππ«ππΊ p8 ¨ π₯q β¦π defined for each dominant weight π and satisfying the Plucker relations. 8¨π₯ Example 5.2.1. Let πΊ “ ππΏ2 . Then Bunπ ´ classifies the datum of an ππΏ2 -bundle E and a non-zero 1 2 map β¦π Ñ Ep8 ¨ π₯q.26 8¨π₯ Example 5.2.2. For πΊ “ Gπ , Bunπ ´ is the affine Grassmannian for π at π₯. 8¨π₯ 8¨π₯ 5.3. Hecke action. The key feature of Bunπ ´ is that Hecke functors at π₯ act on π·pBunπ ´ q. More precisely, the action of the Hecke groupoid on BunπΊ lifts in the obvious way to an action on 8¨π₯ Bunπ ´ . π₯ denote the Hecke stack at π₯, For definiteness, we introduce the following notation. Let HπΊ parametrizing pairs of πΊ-bundles on π identified away from π₯. Let β1 and β2 denote the two π₯ Ñ Bun . projections HπΊ πΊ π₯ Define the Drinfeld-Hecke stack HπΊ,Drin as the fiber product: 8¨π₯ π₯ HπΊ ˆ Bunπ ´ BunπΊ 1 25Here if pΛ 2 π, πq is half integral, we appeal to our choice of Ωπ . 26Here we are slightly abusing notation in letting E denote the rank two vector bundle underlying our ππΏ -bundle. 2 32 SAM RASKIN π₯ Ñ Bun in order to form this fiber product. We abuse notation in where we use the map β1 : HπΊ πΊ 8¨π₯ π₯ using the same notation for the two projections HπΊ,Drin Ñ Bunπ ´ . π₯ Example 5.3.1. Let πΊ “ ππΏ2 . Then HπΊ,Drin parametrizes a pair of ππΏ2 -bundles E1 and E2 identified 1 2 Ñ E1 p8 ¨ π₯q. The two projections β1 and β2 correspond to away from π₯ and a non-zero map β¦π 8¨π₯ the maps to Bunπ ´ sending a datum as above to: ` 1 2 E1 , β¦ π Ñ E1 p8 ¨ π₯q Λ 1 Λ ` » 2 Ñ E1 p8 ¨ π₯q Ý Ñ E2 p8 ¨ π₯q E 2 , β¦π respectively. π₯ from objects of Sph πΊpπqπ₯ . We have the usual procedure for producing objects of HπΊ πΊ,π₯ :“ π·pGrπΊ,π₯ q π₯ from π·pBun q to itThese give Hecke functors acting on π·pBunπΊ q using the correspondence HπΊ πΊ self and the kernel induced by this object of SphπΊ,π₯ . We normalize our Hecke functors so that we 8¨π₯ !-pullback along β1 and Λ-pushforward along β2 . The same discussion applies for π·pBunπ ´ q. We use Λ to denote the action by convolution of SphπΊ,π₯ on these categories. π 5.4. Polar Zastava space. We let π΅ 8¨π₯ denote the indscheme defined by the ind-open embedding: 8¨π₯ π΅ 8¨π₯ Δ Bunπ΅ ˆ Bunπ ´ BunπΊ given by the usual generic transversality condition. π π π 8¨π₯ Note that π΅ Δ π΅ 8¨π₯ is the fiber of π΅ 8¨π₯ along Bunπ ´ Δ Bunπ ´ . π Remark 5.4.1. As in the case of usual Zastava, note that π΅ 8¨π₯ is of local nature with respect to π: i.e., the definition makes sense for any smooth curve, and is eΜtale local on the curve. Therefore, we typically remove our requirement that π is proper in what follows. πππ ΛΜ ,8¨π₯ be the indscheme parametrizing ΛΜ-valued divisors on π that are ΛΜπππ -valued 5.5. Let Diveff away from π₯. As for usual Zastava space, we have the map: π π π 8¨π₯ πππ ,8¨π₯ π΅ 8¨π₯ ÝÝÝÑ DivΛΜ eff πππ ,8¨π₯ Remark 5.5.1. There is a canonical map deg : DivΛΜ eff π-scheme) of taking the total degree of a divisor. . Ñ ΛΜ (considering the target as a discrete πππ ,8¨π₯ 5.6. Factorization patterns. Note that DivΛΜ is a unital factorization module space for eff ΛΜπππ Diveff . This means that e.g. we have a correspondence: β w ΛΜπππ Diveff πππ ,8¨π₯ ˆ DivΛΜ eff $ πππ ,8¨π₯ DivΛΜ eff . For this action, the left leg of the correspondence is the open embedding encoding disjointness of pairs of divisors, while the right leg is given by addition. (For the sake of clarity, let us note that CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 33 πππ ,8¨π₯ the only reasonable notion of the support of a divisor in DivΛΜ requires that π₯ always lie in eff the support). πππ ,8¨π₯ Therefore, as in S4.2, we can talk about unital factorization modules in DivΛΜ for a unital eff fact ΛΜπππ graded factorization algebra A P π·pDiveff q. We denote this category by A–modπ’π,π₯ . πππ Remark 5.6.1. The factorization action of DivΛΜ eff πππ ,8¨π₯ on DivΛΜ eff is commutative in the sense of πππ [Ras1] S7. Indeed, it comes from the obvious action of the monoid DivΛΜ eff πππ ,8¨π₯ on DivΛΜ eff . Remark 5.6.2. We emphasize that there is no Ran space appearing here: all the geometry occurs on finite-dimensional spaces of divisors. π 5.7. There is a similar picture to the above for Zastava. More precisely, π΅ 8¨π₯ is a unital factorπ ization module space for π΅ in a way compatible with the structure maps to and from the spaces of divisors. π π 8¨π₯ q. Therefore, for a unital factorization algebra B on π΅, we can form the category B–modfact π’π pπ΅ π π π fact 8¨π₯ q, π 8¨π₯ pβ³q is tautologically an object of π Moreover, for β³ P B–modfact Λ,ππ pBq–modπ’π,π₯ . π’π pπ΅ Λ,ππ We denote the corresponding functor by: π π π fact 8¨π₯ π 8¨π₯ q Ñ π Λ,ππ pBq–modfact π’π,π₯ . Λ,ππ : B–modπ’π pπ΅ 5.8. Construction of the geometric Chevalley functor. We now define a functor: fact Λ Chevgeom nΜ,π₯ : ReppπΊq Ñ ΥnΜ –modπ’π,π₯ using the factorization pattern for Zastava space. Λ denotes the DG category of representations of Remark 5.8.1. Following our conventions, ReppπΊq Λ πΊ. πππ ,8¨π₯ Remark 5.8.2. We will give a global interpretation of the induced functor to π·pDivΛΜ eff S5.12; this phrasing may be easier to understand at first pass. q in π 5.9. First, observe that there is a natural “compactification” π΅ 8¨π₯ of π΅ 8¨π₯ : for π proper, it is the appropriate ind-open locus in: 8¨π₯ π΅ 8¨π₯ Δ Bunπ΅ 8¨π₯ 8¨π₯ 8¨π₯ ˆ Bunπ ´ . BunπΊ Here Bunπ΅ is defined analogously to Bunπ ´ ; we remark that it has a structure map to Bunπ 8¨π₯ with fibers the variants of Bunπ ´ for other bundles. Again, π΅ 8¨π₯ is of local nature on the curve π. The advantage of π΅ 8¨π₯ is that there is a Hecke action here, so SphπΊ,π₯ acts on π·pπ΅ 8¨π₯ q. Note 8¨π₯ that !-pullback from Bunπ ´ commutes with Hecke functors. πππ ,8¨π₯ There is again a canonical map to DivΛΜ , and the factorization pattern of S5.7 carries over eff in this setting as well, that is, π΅ 8¨π₯ is a unital factorization module space for π΅. Moreover, this factorization schema is compatible with the Hecke action. 34 SAM RASKIN 8¨π₯ 5.10. Define Y Δ π΅ 8¨π₯ as the preimage of Bunπ ´ Δ Bunπ ´ in π΅ 8¨π₯ : again, Y is of local nature on π. π Remark 5.10.1. The notation π΅ 8¨π₯ would be just as appropriate for Y as for the space we have π π denoted in this way: both are polar versions of π΅, but for π΅ 8¨π₯ we allow poles for the π ´ -bundle, while for Y we allow poles for the π΅-bundle. There is a canonical map Y Ñ Gπ which e.g. for π proper comes from the canonical map Bunπ ´ Ñ Gπ . We can !-pullback the exponential π·-module π on Gπ (normalized as always to be in perverse degree -1): we denote the resulting π·-module by πY P π·pYq. We then cohomologically renormalize: define πYIC by: πYIC :“ πY r´p2π, degqs. Here we recall that we have a degree map Y Δ π΅ 8¨π₯ Ñ ΛΜ, so pairing with 2π, we obtain an integer valued function on Y: we are shifting accordingly. Remark 5.10.2. The reason for this shift is the normalization of Theorem 4.6.1: this shift is implicit ! there in the notation b IC π . This is also the reason for our notation πYIC . π΅ π π 5.11. Recall that π₯ denotes the embedding π΅ ãÑ π΅. We let π₯8¨π₯ denote the map π΅ 8¨π₯ ãÑ π΅ 8¨π₯ . Let: » Λ β‘ Ñ Satβ‘ Sphβ‘ π₯ : ReppπΊq Ý πΊ,π₯ denote the geometric Satake equivalence. Then let: Λ Ñ SphπΊ,π₯ Satππππ£π : ReppπΊq π₯ denote the induced monoidal functor. We then define Chevgeom as the following composition: nΜ,π₯ ´Λπ IC Satππππ£π Λ ÝÝÝπ₯ÝÝÑ SphπΊ,π₯ ÝÝÝÝYÑ ReppπΊq ! π₯Λ,ππ pπ π b π΅ 8¨π₯,! 8¨π₯ π₯ IC π q–modfact q ÝÝÝÑ π’π pπ΅ π΅ (5.11.1) π ! pπ π b π΅ π π 8¨π₯ Λ,ππ 8¨π₯ IC π q–modfact q ÝÝÝÑ π’π pπ΅ π΅ ΥnΜ –modfact π’π,π₯ . Here in the last step, we have appealed to the identification: ! π π Λ,ππ pπ π b IC π qq “ ΥnΜ π΅ π΅ of Theorem 4.6.1. We also abuse notation in not distinguishing between πYIC and its Λ-pushforward to π΅ 8¨π₯ . 5.12. Global interpretation. As promised in Remark 5.8.2, we will now give a description of the functor Chevgeom in the case π is proper. nΜ,π₯ Since π is proper, we can speak about Bunπ ´ and its relatives. Let Wβππ‘ P π·pBunπ ´ q denote the canonical Whittaker sheaf, i.e., the !-pullback of the exponential sheaf on Gπ (normalized as always to be in perverse degree ´1). We then have the functor: πππ ,8¨π₯ Λ Ñ π·pDivΛΜ ReppπΊq eff q CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 35 8¨π₯ given by applying geometric Satake, convolving with the pΛ “!q-pushforward of Wβππ‘ to π·pBunπ ´ q, π π and then !-pulling back to π΅ 8¨π₯ and Λ-pushing forward along π 8¨π₯ . 8¨π₯ Since !-pullback from Bunπ ´ to π΅ 8¨π₯ commutes with Hecke functors, up to the cohomological πππ ,8¨π₯ shifts by degrees, this functor computes the object of π·pDivΛΜ q underlying the factorization eff geom ΥnΜ -module coming from ChevnΜ,π₯ . 5.13. Spectral Chevalley functor. We need some remarks on factorization modules for ΥnΜ : Recall from Remark 4.3.2 that ΥnΜ is defined as the chiral enveloping algebra of the graded Lie-Λ πππ ΛΜπππ ,8¨π₯ algebra nΜπ P π·pDivΛΜ : eff q. By Remark 5.6.1, we may speak of Lie-Λ modules for nΜπ on Diveff the definition follows [Ras1] S7.19. Let nΜπ –modπ₯ denote the DG category of Lie-Λ modules for ΛΜπππ ,8¨π₯ nΜπ supported on Grπ,π₯ Δ Diveff (this embedding is as divisors supported at π₯). We have a tautological equivalence: nΜπ –modπ₯ » nΜ–modpReppπΛqq (5.13.1) coming from identifying ReppπΛq with the DG category of ΛΜ-graded vector spaces. Note that the right hand side of this equation is just the category of ΛΜ-graded nΜ-representations. Moreover, by [Ras1] S7.19, we have an induction functor Indπβ : nΜπ –modπ₯ Ñ ΥnΜ –modfact π’π,π₯ . spec fact Λ We then define ChevnΜ,π₯ : ReppπΊq Ñ ΥnΜ –modπ’π,π₯ as the composition: (5.13.1) Oblv Oblv Ind Λ Ý Λ Ý ReppπΊq ÝÝÑ Reppπ΅q ÝÝÑ nΜ–modpReppπΛqq » nΜπ –modπ₯ ÝÝÝÑ ΥnΜ –modfact π’π,π₯ . πβ (5.13.2) 5.14. Formulation of the main result. We can now give the main result of this section. geom Theorem 5.14.1. There exists a canonical isomorphism between the functors Chevspec nΜ,π₯ and ChevnΜ,π₯ . The proof will be given in S5.16 below after some preliminary remarks. Remark 5.14.2. As stated, the result is a bit flimsy: we only claim that there is an identification of functors. The purpose of S7 is essentially to strengthen this identification so that it preserves Λ structure encoding something about the symmetric monoidal structure of ReppπΊq. 5.15. Equalizing the Hecke action. Suppose temporarily that π is a smooth proper curve. One 8¨π₯ then has the following relationship between Hecke functors acting on Bunπ΅ and Hecke functors 8¨π₯ acting on Bunπ ´ . 8¨π₯ 8¨π₯ Let πΌ (resp. π½) denote the projection π΅ 8¨π₯ Ñ Bunπ ´ (resp. π΅ 8¨π₯ Ñ Bunπ΅ ). Recall that πΌ! and π½ ! commute with the actions of SphπΊ,π₯ . πππ ,8¨π₯ Let π 8¨π₯ denote the canonical map π΅ 8¨π₯ Ñ DivΛΜ eff 8¨π₯ π·pBunπ ´ q, Lemma 5.15.1. For F P fication: GP 8¨π₯ π·pBunπ΅ q, . and S P SphπΊ,π₯ , there is a canonical identi- ´ ¯ ´ ¯ ! ! 8¨π₯ 8¨π₯ πΛ,ππ πΌ! pS Λ Fq b π½ ! pGq q » πΛ,ππ πΌ! pFq b π½ ! pS Λ Gq . More precisely, we have a canonical functor: 8¨π₯ π·pBunπ ´ q computed using the above. b SphπΊ,π₯ 8¨π₯ πππ ,8¨π₯ ΛΜ π·pBunπ΅ q Ñ π·pDiveff q 36 SAM RASKIN Proof. By base-change, each of these functors is constructed by pullback-pushforward along some 8¨π₯ 8¨π₯ correspondence between Bunπ ´ ˆ πΊpππ₯ qz GrπΊ,π₯ ˆBunπ΅ and Div8¨π₯ eff . In both cases, one finds that this correspondence is just the Hecke groupoid (at π₯) for Zastava, 8¨π₯ 8¨π₯ mapping via β1 to Bunπ ´ and via β2 to Bunπ΅ . 5.16. We now give the proof of Theorem 5.14.1. Λ is semi-simple, we reduce to showing this for π “ π πΛ an Proof of Theorem 5.14.1. As ReppπΊq Λ P ΛΜ` . irreducible highest weight representation with highest weight π Our technique follows that of Theorem 4.4.1. πππ ,8¨π₯ ΛΜ Step 1. Let π : π ãÑ Diveff be the locally closed subscheme parametrizing divisors of the form: Λ ¨π₯` π€0 pπq ÿ πΌ Λ π ¨ π₯π πππ ,simple where π₯π P π are pairwise disjoint and distinct from π₯ (this is the analogue of the open DivΛΜ eff πππ DivΛΜ which appeared in the proof of Theorem 4.4.1). eff We have an easy commutative diagram: Λ π π! π ! Chevgeom nΜ,π₯ pπ q Λ π Chevgeom nΜ,π₯ pπ q » Δ Λ / π! π ! Chevspec pπ πΛ q “ π‘π€0 pπq pΥnΜ q nΜ,π₯ Λ,ππ (5.16.1) Λ π Chevspec nΜ,π₯ pπ q. One easily sees that the right vertical map is an epimorphism (this is [BG2] Lemma 9.2). It suffices to show that the left vertical map in (5.16.1) is an epimorphism, and that there exists a (necessarily unique) isomorphism in the bottom row of the diagram (5.16.1). This statement is local on π, and therefore we can (and do) assume that π is proper in what follows. Step 2. Next, we show that Λ we have: By Lemma 5.15.1, for every representation π of πΊ ! ! πΌ! pSatπ₯ pπ q Λ Wβππ‘q b π½ ! pICBunπ΅ q » πΌ! pWβππ‘q b π½ ! pSatπ₯ pπ q Λ ICBunπ΅ q. (5.16.2) 8¨π₯ Of course, here ICBunπ΅ indicates the Λ-extension of this π·-module to Bunπ΅ . 8¨π₯ Then by definition, Chevgeom nΜ,π₯ pπ q is obtained by applying πΛ,ππ to the left hand side of (5.16.2). Comparing this to the right hand side, we then obtain the result from Theorem 3.4.1 and from S9 of [BG2]. As in the proof of Theorem 3.3.2 from [BG1], the Mirkovic-Vilonen [MV] realization of weight 8¨π₯ Λ spaces of π π as semi-infinite integrals, and the fact that ICBunπ΅ P π·pBunπ΅ q is equivariant for the Hecke action for π΅ (not πΊ!), imply the claim (c.f. the discussion of [BG2] preceding the statement of Theorem 8.8). Step 3. We will use (a slight variant of) the following construction.27 27As Dennis Gaitsgory pointed out to us, one can argue somewhat more directly, by combining Lemma 5.15.1 with Theorem 8.11 from [BG2] (and the limiting case of the Casselman-Shalika formula, Theorem 3.4.1). CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 37 Suppose that π is a variety and F P π·pπ ˆ A1 qGπ is Gπ -equivariant for the action of Gπ by homotheties on the second factor, and that F is concentrated in negative (perverse) cohomological degrees. For π P π, let ππ denote the embedding π ˆ tπu ãÑ π ˆ A1 . Then, for each π P Z, the theory of vanishing cycles furnishes specialization maps: π» π pπ!1 pFqq Ñ π» π pπ!0 pFqq P π·pπ qβ‘ (5.16.3) that are functorial in F, and which is an epimorphism for π “ 0. Indeed, these maps arise from the boundary map in the triangle:28 var `1 π!0 pFq Ñ Φπ’π pFq ÝÝÑ Ψπ’π pFq ÝÝÑ when we use Gπ -equivariance to identify Ψπ’π pFq with F1 r1s. The π‘-exactness of Φπ’π and the assumption that F is in degrees Δ 0 shows that (5.16.3) is an epimorphism for π “ 0: . . . Ñ π» ´1 pΨπ’π pFqq “ π» 0 pπ!1 pFqq Ñ π» 0 pπ!0 pF0 qq Ñ π» 0 pΦπ’π pFqq “ 0 Step 4. We now apply the previous discussion to see that: spec Chevgeom nΜ,π₯ pπ q » ChevnΜ,π₯ pπ q ΛΜπππ ,8¨π₯ Λ β‘ finite-dimensional. q for π P ReppπΊq as objects of π·pDiveff Forget for the moment that we chose Chevalley generators tππ u and let π denote the vector π space pn´ {rn´ , n´ sqΛ . Note that π acts on π through its adjoint action on n´ . Let π Δ π denote the open subscheme corresponding to non-degenerate characters. Then we have a canonical map: Y ˆ π Ñ Gπ by imitating the construction of the map can : π΅ Ñ Gπ of (2.8.2). Note that this map is π equivariant for the diagonal action on the source and the trivial action on the target.29 Let W P π·pπ΅ 8¨π₯ ˆ π qπ denote the result of !-pulling back of the exponential π·-module on Gπ to Y ˆ π and then Λ-extending. We then define: ´ ¯ r :“ pππ 8¨π₯ ˆ idπ qΛ,ππ pπ₯8¨π₯ ˆ idπ q! Satππππ£π pπ q Λ Wr´p2π, degqs P π·pDivΛΜπππ ,8¨π₯ ˆπ qπ . W π₯ eff πππ ΛΜ ,8¨π₯ Here the π -equivariance now refers to the π -action coming from the trivial action on Diveff . The notation for the cohomological shift is as in S5.10. π r are constant along the open stratum DivΛΜπππ ,8¨π₯ ˆπ . By π -equivariance, the cohomologies of our W eff r is concentrated in cohomological degrees Δ ´ rankpπΊq “ ´ dimpπ q: as Moreover, note that W in Step 2, Satππππ£π pπ q Λ Wr´p2π, degqs has a filtration by translates of W, which then gives the π₯ π claim by ind-affineness of π 8¨π₯ . Therefore, !-restricting to the line through our given non-degenerate character, Step 3 gives us the specialization map: 28Our nearby and vanishing cycles functors are normalized to preserve perversity. 29We use the canonical π -action on π΅, coming from the action of π on Bun ´ induced by its adjoint action on π ´ . π 38 SAM RASKIN ` π 8¨π₯ 8¨π₯,! Λ ΛΜπππ ,8¨π₯ β‘ q . π» 0 π Λ,ππ π₯ pSatππππ£π pπ q Λ πY r´p2π, degqsqq Ñ π» 0 pChevgeom π₯ nΜ,π₯ pπ qq P π·pDiveff By Step 3, this specialization map is an epimorphism. However, the Zastava space version of Theorem 8.8 from [BG2] (which is implicit in loc. cit. and easy to deduce from there) implies that the left hand term coincides with Chevspec nΜ,π₯ pπ q, and therefore this map is an isomorphism by the computation in the Grothendieck group. Moreover, one immediately sees that this picture is compatible with the diagram (5.16.1), and therefore we actually do obtain an isomorphism of factorization modules, as desired. 6. Around factorizable Satake 6.1. Our goal in S7 is to prove a generalization of Theorem 5.14.1 in which we treat several points tπ₯1 , . . . , π₯π u Δ π, allowing these points to move and collide (in the sense of the Ran space formalism). This section plays a supplementary and technical role for this purpose. 6.2. Generalizing the geometric side of Theorem 5.14.1 is an old idea: one should use the BeilinsonDrinfeld affine Grassmannian GrπΊ,π πΌ and the corresponding factorizable version of the Satake category. Therefore, we need a geometric Satake theorem over powers of the curve. This has been treated in [Gai1], but the treatment of loc. cit. is inconvenient for us, relying too much on specific aspects of perverse sheaves that do not generalize to non-holonomic π·-modules. 6.3. The goal for this section is to give a treatment of factorizable geometric Satake for π·-modules. However, most of the work here actually goes into treating formal properties of the spectral side Λ π πΌ which provide factorizable versions of of this equivalence. Here we have DG categories ReppπΊq Λ the category ReppπΊq appearing in the Satake theory. These categories arise from a general construction, taking C a symmetric monoidal object of DGCatππππ‘ (so we assume the tensor product commutes with colimits in each variable), and producing Cπ πΌ P π·pπ πΌ q–modpDGCatππππ‘ q. As we will see, this construction is especially well-behaved Λ for C rigid monoidal (as for C “ ReppπΊq). 6.4. Structure of this section. We treat the construction and general properties of the categories Cπ πΌ in S6.5-6.18, especially treating the case where C is rigid. We specialize to the case where C is representations of an affine algebraic group in S6.19. We then discuss the (naive) factorizable Satake theorem from S6.28 until the end of this section. 6.5. Let C P ComAlgpDGCatππππ‘ q be a symmetric monoidal DG category. We denote the monoidal operation in C by b. 6.6. Factorization. Recall from [Ras1] S7 that we have an operation attaching to each finite set πΌ a π·pπ πΌ q-module category Cπ πΌ .30 We will give an essentially self-contained treatment of this construction below, but first give examples to give the reader a feeling for the construction. Example 6.6.1. For πΌ “ Λ, we have Cπ “ C b π·pπq. 30In [Ras1], we use the notation Γpπ πΌ , Loc πΌ pCqq in place of C πΌ . ππ π π ππ CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 39 Example 6.6.2. Let πΌ “ t1, 2u. Let π denote the open embedding π “ π ˆ πzπ ãÑ π ˆ π. Then we have a fiber square: / C b π·pπ 2 q Cπ 2 ` idC bπ ! Λ C b C b π·pπ q / C b π·pπ q. p´b´qbidπ·pπ 2 q We emphasize that p´ b ´q indicates the tensor product morphism C b C Ñ C. Example 6.6.3. If π€ is an affine algebraic group and we take C “ Reppπ€ q, then the above says that 2 with the structure of a π€ ˆπ€ -representation Reppπ€ qπ 2 parametrizes a representation of π€ over πππ on the complement to the diagonal, compatible under the diagonal embedding π€ ãÑ π€ ˆ π€ . 6.7. For the general construction of Cπ πΌ , we need the following combinatorics. First, for any surjection π : πΌ π½ of finite sets, let π pπq denote the open subscheme of points pπ₯π qπPπΌ with π₯π ‰ π₯π1 whenever πpπq ‰ πpπ1 q. id πΌ of Example 6.7.1. For π : πΌ Ñ Λ, we have π pπq “ π πΌ . For π : πΌ Ý Ñ πΌ, π pπq is the locus ππππ π πΌ pairwise disjoint points in π . π π We let SπΌ denote the p1, 1q-category indexing data πΌ π½ πΎ, where we allow morphisms of diagrams that are contravariant in π½ and covariant in πΎ, and surjective termwise. 6.8. π π For every Σ “ pπΌ π½ πΎq in SπΌ , define CΣ P π·pπ πΌ q–modpDGCatππππ‘ q as: CΣ “ π·pπ pπqq b CbπΎ . For Σ1 Ñ Σ2 P SπΌ , we have a canonical map CΣ1 Ñ CΣ2 P π·pπ πΌ q–modpDGCatππππ‘ q constructed as follows. If the morphism Σ1 Ñ Σ2 is induced by the diagram: πΌ πΌ π1 π2 / / π½1 OO π1 / / π½2 π2 / / πΎ1 πΌ / / πΎ2 then our functor is given as the tensor product of: CbπΎ1 Ñ CbπΎ2 b Fπ ÞÑ b p πPπΎ1 b Fπ2 q π1 PπΎ2 π2 PπΌ´1 pπ1 q and the π·-module restriction along the map π pπ2 q Ñ π pπ1 q. It is easy to upgrade this description to the homotopical level to define a functor: SπΌ Ñ π·pπ πΌ q–modpDGCatππππ‘ q. We define Cπ πΌ as the limit of this functor. Example 6.8.1. It is immediate to see that this description recovers our earlier formulae for πΌ “ Λ and πΌ “ t1, 2u. 40 SAM RASKIN Remark 6.8.2. This construction unwinds to say the following: we have an object F P C b π·pπ πΌ q such that for every π : πΌ π½, its restriction to C b π·pπ pπqq has been lifted to an object of Cbπ½ b π·pπ pπqq. Example 6.8.3. For C “ Reppπ€ q with π€ an affine algebraic group, this construction is a derived version of the construction of [Gai1] S2.5. Remark 6.8.4. Obviously each Cπ πΌ is a commutative algebra in π·pπ πΌ q–modpDGCatππππ‘ q. Indeed, each CΣ “ π·pπ pπqq b CbπΎ , is and the structure functors are symmetric monoidal. We have an obvious symmetric monoidal functor: Loc “ Locπ πΌ : CbπΌ Ñ Cπ πΌ for each πΌ, with these functors being compatible under diagonal maps. 6.9. Factorization. It follows from [Ras1] S7 that the assignment πΌ ÞÑ Cπ πΌ defines a commutative unital chiral category on πππ . For the sake of completeness, the salient pieces of structure here are twofold: (1) For every pair of finite sets πΌ1 and πΌ2 , we have a symmetric monoidal map: Cπ πΌ1 b Cπ πΌ2 Ñ Cπ πΌ1 š πΌ2 š of π·pπ πΌ1 πΌ2 q-module categories that is an equivalence after tensoring with π·prπ πΌ1 ˆ π πΌ2 sπππ π q. (2) For every πΌ1 πΌ2 , an identification: C π πΌ1 b π·pπ πΌ1 q π·pπ πΌ2 q » Cπ πΌ2 . These should satisfy the obvious compatibilities, which we do not spell out here because in the homotopical setting they are a bit difficult to say: we refer to [Ras1] S7 for a precise formulation. We will construct these maps in S6.10 and 6.11. š 6.10. First, suppose πΌ “ πΌ1 πΌ2 . π π Define a functor SπΌ Ñ SπΌ1 as follows. We send πΌ π½ πΎ to πΌ1 Imagepπ|πΌ1 q Imagepπ Λπ|πΌ1 q. It is easy to see that this actually defines a functor. We have a similar functor SπΌ Ñ SπΌ2 , so we obtain SπΌ Ñ SπΌ1 ˆ SπΌ2 . π π π1 π1 Given πΌ π½ πΎ as above, let e.g. πΌ1 π½1 πΎ1 denote the corresponding object of SπΌ1 . We have a canonical map: π pπq ãÑ π pπ1 q ˆ π pπ1 q Δ π πΌ1 ˆ π πΌ2 “ π πΌ . We also š have a canonical map CbπΎ1 b CbπΎ2 Ñ CbπΎ induced by tensor product and the obvious map πΎ1 πΎ2 Ñ πΎ. Together, we obtain maps: pπ·pπ pπ1 qq b CbπΎ1 q b pπ·pπ pπ2 qq b CbπΎ2 q Ñ π·pπ pπqq b CπΎ that in passage to the limit define C π πΌ1 b C π πΌ2 Ñ C π πΌ . That this map is an equivalence over the disjoint locus follows from a cofinality argument. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 6.11. 41 Next, suppose for π : πΌ1 πΌ2 is given. We obtain SπΌ2 Ñ SπΌ1 by restriction. π π Moreover, for any given πΌ2 π½ πΎ P SπΌ2 , we have the functorial identifications: π·pπ pπqq b CbπΎ » pπ·pπ pπ Λ π qq b π·pπ πΌ1 q π·pπ πΌ2 qq b CbπΎ q that give a map: C π πΌ1 b π·pπ πΌ1 q π·pπ πΌ2 q Ñ Cπ πΌ2 . An easy cofinality argument shows that this map is an equivalence. 6.12. A variant. We now discuss a variant of the preceding material a categorical level down. 6.13. First, if π΄ is a commutative algebra in Vect, then there is an assignment πΌ ÞÑ π΄π πΌ P π·pπ πΌ q defining a commutative factorization algebra. Indeed, it is given by the same procedure as before—we have: π΄π πΌ :“ π lim π ππ,Λ,ππ pπ΄bπΎ b ππ pπq q P π·pπ πΌ q. (6.13.1) pπΌ π½ πΎqPSπΌ The structure maps are as before. 6.14. More generally, when C is as before and π΄ P C is a commutative algebra, we can attach a (commutative) factorization algebra πΌ ÞÑ π΄π πΌ P Cπ πΌ . We will need this construction in this generality below. However, the above formula does not make sense, since there is no way to make sense of ππ,Λ,ππ pππ pπq q b π΄bπΎ as an object of Cπ πΌ . So we need the following additional remarks: We do have π΄π πΌ defined as an object of π·pπ πΌ q b C by the above formula. Moreover, as in S6.10, for every π : πΌ π½ we have canonical “multiplication” maps: b π΄π πΌπ Ñ π΄π πΌ P π·pπ πΌ q b C πPπ½ where πΌπ is the fiber of πΌ at π P π½, and where our exterior product should be understood as a mix of the tensor product for C and the exterior product of π·-modules. This map is an equivalence over π pπq. This says that for every π as above, the restriction of π΄π πΌ to π pπq has a canonical structure as an object of π·pπ pπqq b Cbπ½ , lifting its structure of an object of π·pπ pπqq b C. Moreover, this is compatible with further restrictions in the natural sense. This is exactly the data needed to upgrade π΄π πΌ to an object of Cπ πΌ (which we denote by the same name). 6.15. ULA objects. For the remainder of the section, assume that C is compactly generated and rigid : recall that rigidity means that this means that the unit 1C is compact and every π P C compact admits a dual. Under this rigidity assumption, we discuss ULA aspects of the categories Cπ πΌ : we refer the reader to Appendix B for the terminology here, which we assume for the remainder of this section. 42 SAM RASKIN 6.16. Recall that QCohpπ πΌ , Cπ πΌ q denotes the object of QCohpπ πΌ q–modpDGCatππππ‘ q obtained from Cπ πΌ P π·pπ πΌ q–modpDGCatππππ‘ q by induction along the (symmetric monoidal) forgetful functor π·pπ πΌ q Ñ QCohpπ πΌ q. Proposition 6.16.1. For F P CbπΌ compact, Locπ πΌ pFq P Cπ πΌ is ULA. We will deduce this from the following lemma. Let 1Cπ π “ Locπ πΌ p1C q denote the unit for the (π·pπ πΌ q-linear) symmetric monoidal structure on Cπ π . Lemma 6.16.2. 1Cπ π is ULA. Proof. By 1-affineness (see [Gai4]) of πππ and π, the induction functor: π·pπq–modpDGCatππππ‘ q Ñ QCohpπq–modpDGCatππππ‘ q commutes with limits. It follows that QCohpπ πΌ , Cπ πΌ q is computed by a similar limit as defines Cπ πΌ , but with QCohpπ pπqq replacing π·pπ pπqq everywhere. Since this limit is finite and since each of the terms corresponding to Oblvp1Cπ π q P QCohpπ πΌ , Cπ πΌ q is compact, we obtain the claim. Proof of Proposition 6.16.1. Since the functor CbπΌ Ñ Cπ πΌ is symmetric monoidal and since each compact object in CbπΌ admits a dual by assumption, we immediately obtain the result from Lemma 6.16.2. Remark 6.16.3. Proposition 6.16.1 fails for more general C: the tensor product C b C Ñ C typically fails to preserve compact objects, which implies that Locπ 2 does not preserve compacts. 6.17. We now deduce the following result about the categories Cπ πΌ (for the terminology, see Definition B.6.1). Theorem 6.17.1. Cπ πΌ is ULA over π πΌ . We will use the following lemma, which is implicit but not quite stated in [Gai4]. Lemma 6.17.2. Let π be a (possibly DG) scheme (almost) of finite type, and let π : π ãÑ π be a closed subscheme with complement π : π ãÑ π. For D P QCohpπq–modpDGCatππππ‘ q, the composite functor: Kerpπ Λ : D Ñ Dπ q ãÑ D Ñ D b QCohpπq QCohpππ^ q (6.17.1) is an equivalence, where ππ^ is the formal completion of π along π . Proof. By [Gai4] Proposition 4.1.5, the restriction functor: QCohpππ^ q–modpDGCatππππ‘ q Ñ QCohpπq–modpDGCatππππ‘ q is fully-faithful with essential image being those module categories on which objects of QCohpπ q Δ QCohpπq act by zero. But the endofunctor Kerpπ Λ q of QCohpπq–modpDGCatππππ‘ q is a localization functor for the same subcategory, giving the claim. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 43 Proof of Theorem 6.17.1. Suppose G P QCohpπ πΌ , Cπ πΌ q is some object with: HomQCohpπ πΌ ,C ππΌ q pP b Oblv Locπ πΌ pFq, Gq “ 0 for all P P QCohpπ πΌ q perfect and all F P CbπΌ compact. Then by Proposition 6.16.1, it suffices to show that G “ 0. Fix π : πΌ π½. We will show by decreasing induction on |π½| that the restriction of G to π pπq is zero. π½ We have the closed embedding ππππ π ãÑ π pπq with complement being the union: Δ π½ π pπqzpππππ π q“ π pπq. π1 π πΌ π½ 1 π½,π 1 π“π ‰ In particular, the inductive hypothesis implies that the restriction of G to this complement is zero. π½ in π pπq and let ππ : X ãÑ π pπq denote the embedding. Let X denote the formal completion of ππππ π By Lemma 6.17.2, it suffices to show that: πΛπ pGq “ 0 P QCohpX, Cπ πΌ q :“ QCohpπ πΌ , Cπ πΌ q b QCohpXq. QCohpπ πΌ q πΌ factors through π π½ The map X Ñ πππ πππ π,ππ (embedded via π), so by factorization we have: QCohpπ πΌ , Cπ πΌ q b QCohpπ πΌ q QCohpXq “ Cπ πΌ b π·pπ πΌ q QCohpXq » Cbπ½ b QCohpXq. π This identification is compatible with the functors Loc in the following way. Let b : CbπΌ Ñ Cbπ½ denote the map induced by the tensor structure on C. We then have a commutative diagram: CbπΌ Locπ πΌ /C πΌ π / QCohpπ πΌ , C πΌ q π π πΛ π b Cbπ½ id bOX / Cbπ½ b QCohpXq. by construction. Since QCohpXq is compactly generated by objects of the form πΛπ pPq with P P QCohpπ pπqq perfect π½ ), we reduce to the following: (and with set-theoretic support in ππππ π Each F P Cbπ½ compact then defines a continuous functor πΉF : Cbπ½ b QCohpXq Ñ QCohpXq, and our claim amounts to showing that an object in Cbπ½ b QCohpXq is zero if and only if each functor πΉF annihilates it, but this is obvious e.g. from the theory of dualizable categories. 6.18. Dualizability. Next, we record the following technical result. Lemma 6.18.1. For every D P π·pπ πΌ q–modpDGCatππππ‘ q, the canonical map: Cπ πΌ b π·pπ πΌ q ´ D“ π lim π pπΌ π½ πΎqPSπΌ is an equivalence. CbπΎ b π·pπ pπqq ¯ b π·pπ πΌ q DÑ π lim π pπΌ π½ πΎqPSπΌ ´ CbπΎ b π·pπ pπqq b π·pπ πΌ q ¯ D 44 SAM RASKIN This proof is digressive, so we postpone the proof to Appendix A, assuming it for the remainder of this section. We obtain the following consequence.31 Corollary 6.18.2. Cπ πΌ is dualizable and self-dual as a π·pπ πΌ q-module category. Remark 6.18.3. In fact, one can avoid the full strength of Lemma 6.18.1 for our purposes: we include it because it gives an aesthetically nicer treatment, and because it appears to be an important technical result that should be included for the sake of completeness. With that said, we apply it below only for D “ SphπΊ,π πΌ , and here it is easier: it follows from the dualizability of SphπΊ,π πΌ as a π·pπ πΌ q-module category, which is much more straightforward. 6.19. Let π€ be an affine algebraic group. We now specialize the above to the case C “ Reppπ€ q. 6.20. Induction. Our main tool in treating Reppπ€ qπ πΌ is the good behavior of the induction functor πΌ Avπ€ π πΌ ,Λ : π·pπ q Ñ Reppπ€ qπ πΌ introduced below. 6.21. The symmetric monoidal forgetful functor Oblv : Reppπ€ q Ñ Vect induces a conservative functor Oblvπ πΌ : Reppπ€ qπ πΌ Ñ π·pπ πΌ q compatible with π·pπ πΌ q-linear symmetric monoidal structures. We abuse notation in also letting Oblvπ πΌ denote the QCohpπ πΌ q-linear functor: Oblvπ πΌ : QCohpπ πΌ , Reppπ€ qπ πΌ q Ñ QCohpπ πΌ q promising the reader to always take caution to make clear which functor we mean in the sequel. 6.22. Applying the discussion of S6.14, we obtain Oπ€,π πΌ P Reppπ€ qπ πΌ factorizable corresponding to the regular representation Oπ€ P Reppπ€ q of π€ (so we are not distinguishing between the sheaf Oπ€ and its global sections in this notation).32 Proposition 6.22.1. (1) The functor Oblvπ πΌ : Reppπ€ qπ πΌ Ñ π·pπ πΌ q admits a π·pπ πΌ q-linear π€ 33 right adjoint Avπ πΌ ,Λ : π·pπ πΌ q Ñ Reppπ€ qπ πΌ compatible with factorization.34 (2) The functor Avπ€ π πΌ ,Λ maps ππ πΌ to the factorization algebra Oπ€,π πΌ introduced above. Proof. By Proposition B.7.1 and Theorem 6.17.1, it suffices to show that Oblvπ πΌ maps the ULA generators Locπ πΌ pπ q of Reppπ€ qπ πΌ to ULA objects of π·pπ πΌ q, which is obvious. For the second part, note that the counit map Oπ€ Ñ π P ComAlgpVectq induces a map Oblvπ πΌ Oπ€,π πΌ Ñ ππ πΌ P π·pπ πΌ q factorizably, and therefore induces factorizable maps: Oπ€,π πΌ Ñ Avπ€ π πΌ ,Λ pππ πΌ q. By factorization, it is enough to show that this map is an equivalence for πΌ “ Λ, where it is clear. 31We remark that this result is strictly weaker than the above, and more direct to prove. πΌ 32The π·-module Oblv πΌ pO π π€,π πΌ q P π·pπ q (or its shift cohomologically up by |πΌ|, depending on one’s conventions) appears in [BD] as factorization algebra associated with the the constant π·π -scheme π€ ˆ π πΌ Ñ π πΌ . 33The superscript π€ stands for “weak,” and is included for compatibility with [FG2] S20. 34More generally, the proof below shows that the analogous statement holds more generally for any symmetric monoidal functor πΉ : C Ñ D P DGCatππππ‘ with C rigid, where this is generalizing the forgetful functor Oblv : Reppπ€ q Ñ Vect. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 45 6.23. Coalgebras. We now realize the categories Reppπ€ qπ πΌ in more explicit terms. Lemma 6.23.1. The functor Oblvπ πΌ is comonadic, i.e., satisfies the conditions of the comonadic Barr-Beck theorem. In fact, we will prove the following strengthening: Lemma 6.23.2. For any D P π·pπ πΌ q–modpDGCatππππ‘ q, the forgetful functor: Oblvπ πΌ b idD : Reppπ€ qπ πΌ b π·pπ πΌ q DÑD is comonadic. Proof. Using Lemma 6.18.1, we deduce that Oblvπ πΌ b idD arises by passage to the limit over SπΌ from the compatible system of functors: Reppπ€ qbπΎ b π·pπ pπqq b π·pπ πΌ q D Ñ π·pπ pπqq b π·pπ πΌ q D. Therefore, it suffices to show that each of these functors is conservative and commutes with Oblvsplit totalizations. But by [Gai4] Theorem 2.2.2 and Lemma 5.5.4, the functor Reppπ€ π q b E Ñ E is comonadic for any E P DGCatππππ‘ . This obviously gives the claim. 6.24. π‘-structures. It turns out that the categories Reppπ€ qπ πΌ admit particularly favorable π‘structures. Proposition 6.24.1. There is a unique π‘-structure on Reppπ€ qπ πΌ (resp. QCohpπ πΌ , Reppπ€ qπ πΌ q) such that Oblvπ πΌ is π‘-exact. This π‘-structure is left and right complete. Proof. We first treat the quasi-coherent case. π π For every pπΌ π½ πΎq P SπΌ , the category: Reppπ€ qbπ½ b QCohpπ pπqq “ QCohpBπ€ π½ ˆ π pπqq admits a canonical π‘-structure, since it is quasi-coherent sheaves on an algebraic stack. This π‘structure is left and right exact, and the forgetful functor to QCohpπ pπqq is obviously π‘-exact. Moreover, the structure functors corresponding to maps in SπΌ are π‘-exact, and therefore we obtain a π‘-structure with the desired properties on the limit, which is QCohpπ πΌ , Reppπ€ qπ πΌ q. We now deduce the π·-module version. We have the adjoint functors:35 QCohpπ πΌ , Reppπ€ qπ πΌ q o Ind Oblv / Reppπ€ q πΌ . π Since the monad Oblv Ind is π‘-exact on QCohpπ πΌ , Reppπ€ qπ πΌ q and since Oblv is conservative, it follows that Reppπ€ qπ πΌ admits a unique π‘-structure such that the functor36 Oblvrdimpπ πΌ qs “ Oblvr|πΌ|s : Reppπ€ qπ πΌ Ñ QCohpπ πΌ , Reppπ€ qπ πΌ q is π‘-exact. Since this functor is continuous and commutes with limits (being a right adjoint), this π‘-structure on Reppπ€ qπ πΌ is left and right complete. 35Apologies are due to the reader for using the different functors Oblv and Oblv πΌ in almost the same breath. π 36We use a cohomological shift here since for π smooth, Oblv : π·pπq Ñ QCohpπq only π‘-exact up to shift by the dimension, since Oblvpππ q “ Oπ . This is because we are working with the so-called left forgetful functor, not the right one. 46 SAM RASKIN It remains to see that Oblvπ πΌ : Reppπ€ qπ πΌ Ñ π·pπ πΌ q is π‘-exact. This is immediate: we see that Oblvr|πΌ|s the π‘-structure we have constructed is the unique one for which the composition Reppπ€ qπ πΌ ÝÝÝÝÝÑ Oblv Oblv πΌ πΌ QCohpReppπ€ qπ πΌ q ÝÝÝÝπÝÑ QCohpπ πΌ q is π‘-exact, and this composition coincides with Reppπ€ qπ πΌ ÝÝÝÝπÝÑ Oblvr|πΌ|s π·pπ πΌ q ÝÝÝÝÝÑ QCohpπ πΌ q. We obtain the claim, since the standard π‘-structure on π·pπ πΌ q is the unique one for which Oblvπ πΌ r|πΌ|s : π·pπ πΌ q Ñ QCohpπ πΌ q is π‘-exact. πΌ Proposition 6.24.2. The functor Avπ€ π πΌ ,Λ : π·pπ q Ñ Reppπ€ qπ πΌ is π‘-exact for the π‘-structure of Proposition 6.24.1, and similarly for the corresponding quasi-coherent functor QCohpπ πΌ q Ñ QCohpπ πΌ , Reppπ€ qπ πΌ q. We will use the following result of [BD]. We include a proof for completeness. Lemma 6.24.3. Let π΄ P Vectβ‘ be a classical (unital) commutative algebra and let πΌ ÞÑ π΄π πΌ P π·pπ πΌ q be the corresponding factorization algebra. Then π΄π πΌ r´|πΌ|s P π·pπ πΌ qβ‘ . Proof. We can assume |πΌ| Δ 1, since otherwise the result is clear. Choose π, π P πΌ distinct. Let πΌ πΌ be the set obtained by contracting π and π onto a single element (so |πΌ| “ |πΌ| ´ 1). The map πΌ πΌ defines a diagonal closed embedding β : π πΌ Ñ π πΌ . Let π : π ãÑ π πΌ denote the complement, which here is affine. Since β! pπ΄π πΌ q “ π΄π πΌ , the result follows inductively if we show that the map πΛ,ππ π ! pπ΄π πΌ q Ñ βΛ,ππ β! pπ΄π πΌ qr1s is surjective after taking cohomology in degree ´|πΌ|. š Writing πΌ “ tπu πΌ using the evident splitting, we obtain the following commutative diagram from unitality of π΄ and from the commutative factorization structure: ππ b π΄ π πΌ / πΛ,ππ π ! pππ b π΄ πΌ q π π΄π b π΄π πΌ πΛ,ππ π ! pπ΄π b π΄π πΌ q / πΛ,ππ π ! pπ΄ πΌ q π π΄π πΌ / βΛ,ππ pπ΄ πΌ qr1s π » / βΛ,ππ β! pπ΄ πΌ qr1s π The top line is obviously (by induction) a short exact sequence in the |πΌ|-shifted heart of the π‘-structure. Since the right vertical map is an isomorphism, this implies the claim. Proof of Proposition 6.24.2. E.g., in the quasi-coherent setting: it suffices to show that Avπ€ π πΌ ,Λ Λ Oblvπ πΌ πΌ is π‘-exact. This composition is given by tensoring with Oπ€,π πΌ P π·pπ q by construction, which we have just seen is in the heart of the π‘-structure (since Oblv : π·pπ πΌ q Ñ QCohpπ πΌ q is π‘-exact only after a shift by |πΌ|). It follows that this functor is right π‘-exact, since it is given by tensoring with something in the heart. But it is also left π‘-exact, since it is right adjoint to the π‘-exact functor Oblvπ πΌ . Corollary 6.24.4. Reppπ€ qπ πΌ is the derived category of the heart of this π‘-structure. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 47 Proof. At the level of bounded below derived categories, this is a formal consequence of the corresponding fact for π·pπ πΌ q and the fact that Oblvπ πΌ and Avπ€ π πΌ ,Λ are π‘-exact. To treat unbounded derived categories, it suffices to show that the derived category of Reppπ€ qβ‘ ππΌ is left complete, but this is clear: the category has finite homological dimension. 6.25. Constructibility. We now show how to recover Reppπ€ qπ πΌ from a holonomic version. This material is not necessary for our purposes, but we include it for completeness. The reader may safely skip straight to S6.28. 6.26. Let π·βππ pπ πΌ q Δ π·pπ πΌ q denote the ind-completion of the subcategory of π·pπ πΌ q formed by compact objects (i.e., coherent π·-modules) that are holonomic in the usual sense. We emphasize that we allow infinite direct sums of holonomic objects to be counted as such. Definition 6.26.1. Define the holonomic subcategory Reppπ€ qπ πΌ ,βππ of Reppπ€ qπ πΌ to consist of those objects that map into π·βππ pπ πΌ q under the forgetful functor. Remark 6.26.2. We have: Reppπ€ qπ πΌ ,βππ » limπ π Reppπ€ qbπΎ b π·βππ pπ pπqq Δ pπΌ π½ πΎq limπ π Reppπ€ qbπΎ b π·pπ pπqq “: Reppπ€ qπ πΌ . (6.26.1) pπΌ π½ πΎq Indeed, the key point is that Reppπ€ qbπΎ b π·βππ pπ pπqq Ñ Reppπ€ qbπΎ b π·pπ pπqq is actually fullyfaithful, and this follows from the general fact that tensoring a fully-faithful functor (here π·βππ pπ pπqq ãÑ π·pπ pπqq with a dualizable category (here Reppπ€ qbπΎ ) gives a fully-faithful functor. Since e.g. for each π : πΌ π½, π·βππ pπ π½ q is dualizable as a π·βππ pπ πΌ q-module category (for the same reason as for the non-holonomic categories), we deduce that Reppπ€ qπ πΌ ,βππ satisfies the same factorization patterns at Reppπ€ qπ πΌ , but with holonomic π·-module categories being used everywhere. Indeed, the arguments we gave were basically formal cofinality arguments, and therefore apply verbatim. 6.27. We have the following technical result. Proposition 6.27.1. The functor: Reppπ€ qπ πΌ ,βππ b π·βππ pπ πΌ q π·pπ πΌ q Ñ Reppπ€ qπ πΌ is an equivalence. Remark 6.27.2. In light of (6.26.1), this amounts to commuting a limit with a tensor product. However, we are not sure how to use this perspective to give a direct argument, since π·pπ πΌ q is (almost surely) not dualizable as a π·βππ pπ πΌ q-module category. Proof of Proposition 6.27.1. The idea is to appeal to use Proposition B.8.1. Step 1. Let π P Reppπ€ qbπΌ be given. We claim that Locπ πΌ pπ q lies in Reppπ€ qπ πΌ ,βππ and that induced object of Reppπ€ qπ πΌ ,βππ b π·pπ πΌ q is ULA in this category (considered as a π·pπ πΌ q-module π·βππ pπ πΌ q category in the obvious way) if π is compact. Indeed, that Locπ πΌ pπ q is holonomic follows since Oblvπ πΌ pπ q is lisse. The ULA condition then follows from Proposition B.5.1 and Remark B.5.2. 48 SAM RASKIN Step 2. Next, we claim that Reppπ€ qπ πΌ ,βππ is generated as a π·βππ pπ πΌ q-module category by the objects Locπ πΌ pπ q, π P Reppπ€ qbπΌ , i.e., the minimal π·βππ pπ πΌ q-module subcategory of Reppπ€ qπ πΌ ,βππ containing the Locπ πΌ pπ q is the whole category. Indeed, this follows as in the proof of Theorem 6.17.1. Step 3. We now claim that Reppπ€ qπ πΌ ,βππ We have to show that Reppπ€ qπ πΌ b b π·βππ pπ πΌ q π·βππ pπ πΌ q π·pπ πΌ q is ULA as a π·pπ πΌ q-module category. QCohpπ πΌ q is generated as a QCohpπ πΌ q-module category by objects coming from Locπ πΌ pπ q. But this is clear from Step 2. Step 4. Finally, we apply Proposition B.8.1 to obtain the result: Our functor sends a set of ULA generators to ULA objects. And moreover, by Remark 6.26.2, π½ q for each π : πΌ π½, giving the result. this functor is an equivalence after tensoring with π·pππππ π Remark 6.27.3. Taking (6.26.1) as a definition of Cπ πΌ ,βππ for general rigid C, the above argument shows that the analogue of Proposition 6.27.1 is true in this generality. Λ 6.28. The naive Satake functor. We now specialize the above to π€ “ πΊ. 6.29. Digression: more on twists. We will work with Grassmannians and loop groups twisted by π«ππππ as in S2.14. To define Grπ€,π πΌ for π€ P tπ, π΅, π ´ , πΊu, one exactly follows S2.14. Similarly, we have a group scheme (resp. group indscheme) π€ pπqπ πΌ (resp. π€ pπΎqπ πΌ ) over π πΌ for π€ as above, where π€ pπΎqπ πΌ acts on GrπΊ,π πΌ . Trivializing π«ππππ locally on π πΌ , the picture becomes the usual picture for factorizable versions of the arc and loop groups: c.f. [BD] and [KV] for example. 6.30. Let SphπΊ,π πΌ denote the spherical Hecke category π·pGrπΊ,π πΌ qπΊpπqπ πΌ . The assignment πΌ ÞÑ SphπΊ,π πΌ defines a factorization monoidal category. Our goal for the remainder of this section is to construct and study certain monoidal functors: Λ π πΌ Ñ SphπΊ,π πΌ : ReppπΊq Satππππ£π ππΌ compatible with factorization. Remark 6.30.1. We follow Gaitsgory in calling this functor naive because it is an equivalence only on the hearts of the π‘-structures (indeed, it is not an equivalence on Exts between unit objects, since equivariant cohomology appears in the right hand side but not the left). 6.31. The following results provide toy models for constructing the functors Satππππ£π ππΌ . Lemma 6.31.1. For D P DGCatππππ‘ , the map: tπΉ : Reppπ€ q Ñ D P DGCatππππ‘ u Ñ Oπ€ –comodpDq πΉ ÞÑ πΉ pOπ€ q is an equivalence. Oblv Proof. Since Reppπ€ q is self-dual and since Reppπ€ q b D ÝÝÝÑ Vect b D “ D is comonadic (c.f. the proof of Lemma 6.23.1), we obtain the claim. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 49 Lemma 6.31.2. For D P AlgpDGCatππππ‘ q a monoidal (in the cocomplete sense) DG category, the map: tπΉ : Reppπ€ q Ñ D continuous and lax monoidalu Ñ AlgpOπ€ –comodpDqq πΉ ÞÑ πΉ pOπ€ q is an equivalence. Here Oπ€ –comodpDq is equipped with the obvious monoidal structure, induced from that of D. Remark 6.31.3. Here is a heuristic for Lemma 6.31.2: Given π΄ P Oπ€ –comodpDq, the corresponding functor Reppπ€ q Ñ D is given by the formula π ÞÑ pπ b π΄qπ€ (where the invariants here are of course derived). If π΄ is moreover equipped with a π€ -equivariant algebra structure, we obtain the canonical maps: pπ b π΄qπ€ b pπ b π΄qπ€ Ñ pπ b π΄ b π b π΄qπ€ “ pπ b π b π΄ b π΄qπ€ Ñ pπ b π b π΄qπ€ as desired, where the last map comes from the multiplication on π΄. Proof of Lemma 6.31.2. This follows e.g. from the identification of the monoidal structure of Reppπ€ qb D with the Day convolution structure on the functor category HomDGCatππππ‘ pReppπ€ q, Dq, identifying the two via self-duality of Reppπ€ q. 6.32. We will use the following more sophisticated version of the above lemmas. Lemma 6.32.1. For D P π·pπ πΌ q–modpDGCatππππ‘ q, the functor: tπΉ : Reppπ€ qπ πΌ Ñ D P π·pπ πΌ q–modpDGCatππππ‘ qu Ñ Reppπ€ qπ πΌ b π·pπ πΌ q D Lem. 6.23.2 “ Oπ€,π πΌ –comodpDq πΉ ÞÑ πΉ pOπ€,π πΌ q is an equivalence. Giving a lax monoidal structure in the left hand side amounts to giving an algebra structure on the right hand side. Proof. By Lemma 6.18.1, π·pπ πΌ q-linear functors Reppπ€ qπ πΌ Ñ D are equivalent to objects of Reppπ€ qπ πΌ bπ·pπ πΌ q D. The result then follows from Lemma 6.23.2 and Lemma 6.31.2. as a lax monoidal 6.33. Construction of the functor. By Lemma 6.32.1, to construct Satππππ£π ππΌ Λ functor, we need to specify an object of ReppπΊqπ πΌ with an algebra structure. Λ π πΌ bπ·pπ πΌ q SphπΊ,π πΌ are defined in a factorizable way in Appendix Such objects βπβπΌ P ReppπΊq π B of [Gai1] (they go by the name chiral Hecke algebra and were probably first constructed by πβ is concentrated in cohomological degree ´|πΌ|. Beilinson).37 For each πΌ, βπ πΌ πβ comes from the regular representation of πΊ Λ under geometric Satake. Example 6.33.1. For πΌ “ Λ, βπ Remark 6.33.2. We emphasize that the general construction (and the data required to define the output) is purely abelian categorical, and comes from the usual construction of the geometric Satake equivalence. Lemma 6.33.3. The lax monoidal functors Satππππ£π are actually monoidal. ππΌ 37In the notation of [Gai1], we have βπβ “ Rπ rπs “ π Rπ rπs. π π ππ 50 SAM RASKIN Proof. We need to check that some maps between some objects of SphπΊ,π πΌ are isomorphisms. It suffices to do this after restriction to strata on π πΌ , and by factorization, we reduce to the case πΌ “ Λ where it follows from usual geometric Satake and the construction of the chiral Hecke algebra. 6.34. We have the following important fact: Proposition 6.34.1. Satππππ£π is π‘-exact. ππΌ We begin with the following. πβ is π‘-exact. Lemma 6.34.2. The functor SphπΊ,π πΌ Ñ SphπΊ,π πΌ defined by convolution with βπ πΌ Proof. Recall that for each πΌ and π½, there is the exterior convolution functor: SphπΊ,π πΌ b SphπΊ,π π½ Ñ SphπΊ,π πΌ š π½ š which is a morphism of π·pπ πΌ π½ q-module categories.38 The relation to usual convolution is that for π½ “ πΌ, convolution is obtained by applying exterior convolution and then !-restricting to the diagonal. The usual semi-smallness argument shows that exterior convolution is π‘-exact. Therefore, since πβ lies in degree ´|πΌ|, we deduce from the above that convolution with βπβ has cohomological βπ πΌ ππΌ amplitude r´|πΌ|, 0s: in particular, it is right π‘-exact. It remains to see that this convolution functor is left π‘-exact. For a given partition π : πΌ π½, π½ Ñ π πΌ denote the embedding of the corresponding stratum of π πΌ . The !-restriction let ππ : ππππ π πβ to π π½ of βπ πΌ πππ π is concentrated in cohomological degree ´|π½|, and is the object corresponding to the regular representation under geometric Satake. It follows that the functor of convolution with πβ q is left π‘-exact from the exactness of convolution in the Satake category for a point. ππ,Λ,ππ π!π pβπ πΌ We now obtain the claim by deΜvissage. Proof of Proposition 6.34.1. First, we claim that our functor is left π‘-exact. We can write Satππππ£π as a composition of tensoring F with the delta π·-module on the unit of ππΌ πβ , and then taking invariants with respect to the “diagonal” actions GrπΊ,π πΌ , convolving with βπ πΌ Λ π½ . The first step is obviously π‘-exact, and the second step is π‘-exact by Lemma 6.34.2; the for the πΊ third step is obviously left π‘-exact. It remains to show that it is right π‘-exact. Λ πΌ qβ‘ “ ReppπΊq Λ bπΌ,β‘ . We claim that convolution with Satππππ£π First, let π P ReppπΊ π πΌ pLocπ πΌ pπ qq is π‘-exact (as an endofunctor of SphπΊ,π πΌ ). It suffices to show this for π finite-dimensional, and then duality of π and monoidality of Satππππ£π ππΌ reduces us to showing exactness in either direction: we show that this convolution functor is left π‘-exact. This then follows by the same stratification argument as in the proof of Lemma 6.34.2. In particular, convolving with the unit, we see that Satππππ£π π πΌ pLocπ πΌ pπ qq is concentrated in cohoππππ£π mological degree ´|πΌ|, and more generally, Satπ πΌ Λ Locπ πΌ is π‘-exact up to this same cohomological shift. Λ Δ0πΌ is For simplicity, we localize on π to assume π is affine. Then by Theorem 6.17.1, ReppπΊq π generated under colimits by objects of the form Ind OblvpLocπ πΌ pπ qq for π P Reppπ€ πΌ qΔ|πΌ| : indeed, this follows from the observation that Ind Oblv is π‘-exact, which is true since after applying Oblv 38We emphasize that πΌ and π½ play an asymmetric role in the definition, i.e., the definition depends on an ordered pair of finite sets, not just a pair of finite sets. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 51 again, it is given by tensoring with the ind-vector bundle of differential operators on π πΌ . The same reasoning shows that Ind Oblv is π‘-exact on SphπΊ,π πΌ , giving the result. 6.35. The naive Satake theorem. We will not need the following result, but include a proof for completeness. Since we are not going to use it, we permit ourselves to provide substandard detail. Theorem 6.35.1. The functor Satππππ£π induces an equivalence between the hearts of the π‘-structures: ππΌ » Λ β‘πΌ Ý Satβ‘ : ReppπΊq Ñ Sphβ‘ . ππΌ π πΊ,π πΌ We will give an argument in S6.37. Remark 6.35.2. In the setting of perverse sheaves, Theorem 6.35.1 is proved in [Gai1] Appendix B. We provide a different argument from loc. cit. that more easily deals with the problem of nonholonomic π·-modules. 6.36. Spherical Whittaker sheaves. Our argument for Satake will appeal to the following. Let Whitπ πβ denote the category of Whittaker π·-modules on GrπΊ,π πΌ , i.e., π·-modules equivariant against ππΌ π ´ pπΎqπ πΌ equipped with its standard character (we use the πΛpππ q-twist here). given by convolution with the unit object We have a canonical functor SphπΊ,π πΌ Ñ Whitπ πβ ππΌ π πβ unitWhitπ πβ P Whitπ πΌ , i.e., the canonical object cleanly extended from Grπ ´ ,π πΌ (i.e., the Λ and ππΌ !-extensions coincide here). Theorem 6.36.1 (Frenkel-Gaitsgory-Vilonen, Gaitsgory, Beraldo). The composite functor: Satππππ£π πΌ Λ π πΌ ÝÝÝπÝÝÑ SphπΊ,π πΌ Ñ Whitπ πβ ReppπΊq ππΌ is an equivalence. Proof. We will appeal to Proposition B.8.1. It is easy to see that the unit object of Whitπ πβ is ULA: this follows from the usual cleanness ππΌ Λ π πΌ and monoidality argument. We then formally deduce from dualizability of ULA objects in ReppπΊq ππππ£π of Satπ πΌ that the above functor sends ULA objects to ULA objects. Then since these sheaves of categories are locally constant along strata (by factorizability), we obtain the claim by noting that this functor is an equivalence over a point, as follows from [FGV] and the comparison of local and global39 definitions of spherical Whittaker categories, as has been done e.g. in the unpublished work [Gai2]. We also use the following fact about Whittaker categories. Lemma 6.36.2. The object AvπΊpπqπ πΌ ,Λ punitWhitπ πβ q P SphπΊ,π πΌ lies in cohomological degrees Δ ´|πΌ|. ππΌ The adjunction map: unitSphπΊ,π πΌ Ñ AvπΊpπqπ πΌ ,Λ punitWhitπ πβ q ππΌ is an equivalence on cohomology in degree ´|πΌ|. (Here unitSphπΊ,π πΌ is the delta π·-module on π πΌ Λ-pushed forward to GrπΊ,π πΌ using the tautological section). 39I.e., using Drinfeld’s compactifications as in [FGV]. 52 SAM RASKIN Proof. The corresponding fact over a point is obvious: the fact that SphπΊ,π₯ Ñ Whitπ πβ is π‘-exact π₯ on hearts of π‘-structures implies that its right adjoint left π‘-exact, so applying the above averaging to the unit, one obtains an object in degrees Δ 0. The adjunction map is an equivalence on 0th cohomology because SphπΊ,π₯ Ñ Whitπ πβ is an equivalence on hearts of π‘-structures. π₯ We then deduce that from factorization that for each π : πΌ π½, the !-restriction of: CokerpunitSphπΊ,π πΌ Ñ AvπΊpπqπ πΌ ,Λ punitWhitπ πβ qq ππΌ π½ to the corresponding stratum ππππ π defined by π is concentrated in cohomological degrees Δ ´|π½|, which immediately gives the claim. 6.37. We now deduce factorizable Satake. Proof of Theorem 6.35.1. We have an adjunction SphπΊ,π πΌ o / Whitπ πβ where the left adjoint is ππΌ convolution with the unit and the right adjoint is Λ-averaging with respect to πΊpπqπ πΌ . From Theorem 6.36.1, we obtain the adjunction: SphπΊ,π πΌ o Satππππ£π πΌ / ReppπΊq Λ ππΌ . π Satππππ£π ππΌ Since is π‘-exact, we obtain a corresponding adjunction between the hearts of the π‘-structure. Lemma 6.36.2 implies that the left adjoint is fully-faithful at the abelian categorical level, and the right adjoint Satππππ£π,β‘ is conservative by Theorem 6.36.1, so we obtain the claim. ππΌ 7. Hecke functors: Zastava with moving points 7.1. As in S5, the main result of this section, Theorem 7.8.1, will compare geometrically and spectrally defined Chevalley functors. However, in this section, we work over powers of the curve: we are giving a compatibility now between Theorem 4.6.1 and the factorizable Satake theorem of S6. 7.2. Structure of this section. In S7.3-7.8, we give “moving points” analogues of the constructions of S5 and formulate our main theorem. The remainder of the section is dedicated to deducing this theorem from Theorem 7.8.1. There are two main difficulties in proving the main theorem: working over powers of the curve presents difficulties, and the fact that we are giving a combinatorial (i.e., involving Langlands duality) comparison functors in the derived setting. The former we treat by exploiting ULA objects: c.f. Appendix B and S6. These at once exhibit good functoriality properties and provide a method for passing from information the disjoint locus πΌ ππππ π to the whole of π πΌ . We treat the homotopical difficulties by exploiting a useful π‘-structure on factorization ΥnΜ modules, c.f. Proposition 7.10.1. 7.3. πππ ΛΜ ,8¨π₯ Define the indscheme Diveff,π over π πΌ as parametrizing an πΌ-tuple π₯ “ pπ₯π q of points of πΌ π and a ΛΜ-valued divisor on π that is ΛΜπππ -valued on πztπ₯π u. Warning 7.3.1. The notation 8 ¨ π₯ in the superscript belies that π₯ is a dynamic variable: it is used to denote our πΌ-tuple of points in π. We maintain this convention in what follows, keeping the subscript π πΌ to indicate that we work over powers of the curve now. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 53 πππ ,8¨π₯ Remark 7.3.2. We again have a degree map DivΛΜ Ñ ΛΜ. eff,π πΌ πππ ΛΜ ,8¨π₯ Let ΥnΜ –modfact . π’π,π πΌ denote the DG category of unital factorization modules for ΥnΜ on Diveff,π πΌ fact Λ The two functors we will compare will go from ReppπΊqπ πΌ to ΥnΜ –mod πΌ. π’π,π 7.4. Geometric Chevalley functor. To construct the geometric Chevalley functor, we imitate much of the geometry that appeared in S5.2-5.14. 8¨π₯ 7.5. For starters, define Bunπ ´ ,π πΌ Ñ π πΌ as parametrizing π₯ “ pπ₯π qπPπΌ P π πΌ , a πΊ-bundle π«πΊ on π, and non-zero maps: bpΛ π,πq β¦π Ñ ππ«ππΊ p8 ¨ π₯q defined for each dominant weight π and satisfying the Plucker relations, in the notation of S5.2. Here the notation of twisting by Oπ p8 ¨ π₯q makes sense in π-points: for π₯ “ pπ₯π qπPπΌ : π Ñ π πΌ , we take the sum of the Cartier divisors on π ˆ π associated with the graphs of the maps π₯π to define Oπˆπ pπ₯q. π 7.6. We can imitate the other constructions in the same fashion, giving the indscheme π΅ 8¨π₯ (resp. ππΌ π π πππ πππ ,8¨π₯ 8¨π₯ : π΅ 8¨π₯ Ñ DivΛΜ ,8¨π₯ ). π΅ 8¨π₯ ) over π πΌ and the map π 8¨π₯ : π΅ 8¨π₯ Ñ DivΛΜ (resp. ππ πΌ ππΌ ππΌ ππΌ eff,π πΌ eff,π πΌ 8¨π₯ Let π΄π πΌ be the inverse image of π πΌ ˆ Bunπ ´ Δ Bunπ ´ ,π πΌ . We have a distinguished object ππ΄π πΌ P π·pπ΄π πΌ q, obtained by !-pullback from ππ πΌ b Wβππ‘ P π·pπ πΌ ˆ Bunπ ´ q. 8¨π₯ q. We also have a π·pπ πΌ q-linear action of SphπΊ,π πΌ on π·pπ΅π πΌ We obtain a π·pπ πΌ q-linear functor: Λ π πΌ Ñ ΥnΜ –modfact πΌ Chevgeom : ReppπΊq π’π,π nΜ,π πΌ imitating our earlier functor Chevgeom nΜ,π₯ . Indeed, we use the naive Satake functor, convolution with π πππ ,8¨π₯ (the Λ-pushforward of) πYπ πΌ , !-restriction to π΅ 8¨π₯ , and then Λ-pushforward to DivΛΜ , exactly ππΌ eff,π πΌ as in S5. 7.7. Spectral Chevalley functor. To construct Chevspec , we will use the following. nΜ,π πΌ Lemma 7.7.1. The category nΜπ –modπ πΌ of Lie-Λ modules on π πΌ for nΜπ P ReppπΛqπ is canonically identified with the category nΜ–modpReppπΛqqπ πΌ , i.e., the π·pπ πΌ q-module category associated with the symmetric monoidal DG category nΜ–modpReppπΛqq by the procedure of S6.6. Proof. Let Γ Δ π ˆ π πΌ be the union of the graphs of the projections π πΌ Ñ π. Let πΌ (resp. π½) denote the projection from Γ to π (resp. π πΌ ). Since π½ is proper, one finds that: π½Λ,ππ πΌ! : π·pπq Ñ π·pπ πΌ q ! is colax symmetric monoidal, and in particular maps Lie coalgebras for pπ·pπq, bq to Lie coalgebras ! for pπ·pπ πΌ q, bq. Moreover, if πΏ P π·pπq is a Lie-Λ algebra and compact as a π·-module, then its Verdier dual ! Dπ ππππππ pπΏq is a Lie coalgebra in pπ·pπq, bq, and πΏ-modules on π πΌ are equivalent to π½Λ,ππ πΌ! pDπ ππππππ pπΏqqcomodules. We have an obvious translation of this for the “graded” case, where e.g. π·pGrπ,π πΌ q 54 SAM RASKIN replaces π·pπ πΌ q. (See [Roz] Proposition 4.5.2 for a non-derived version of this; essentially the same argument works in general). One then easily finds that for π P Vect, one has: π½Λ,ππ πΌ! pπ b ππ q lim pπΌπ½πΎqPSπΌ ππ,Λ,ππ pπ ‘πΎ b ππ pπq q where the notation is as in S6. We remark that this limit is a “logarithm” of the one appearing in 1 (6.13.1): we use the addition maps π ‘πΎ Ñ π ‘πΎ for πΎ πΎ 1 to give the structure maps in the limit, i.e., the canonical structure of commutative algebra on π in pVect, ‘q. Moreover, this identification is compatible with Lie cobrackets, so that the Lie coalgebra pnΜ_ qbππ maps to the Lie coalgebra: π½Λ,ππ πΌ! pnΜ_ b ππ q lim pπΌπ½πΎqPSπΌ ππ,Λ,ππ ppnΜ_ q‘πΎ b ππ pπq q. This immediately gives the claim. Remark 7.7.2. We identify nΜπ –modπ πΌ and nΜ–modpReppπΛqqπ πΌ in what follows. We emphasize that although the ΛΜ-grading does not appear explicitly in the notation, it is implicit in the fact that nΜπ is always considered as ΛΜ-graded. We obtain the restriction functor: Λ π πΌ Ñ nΜπ –modπ πΌ . Reppπ΅q Using the chiral induction functor Indπβ : nΜπ –modπ πΌ Ñ ΥnΜ –modfact π’π,π πΌ and the restriction functor Λ Λ from πΊ to π΅, we obtain: Λ π πΌ Ñ ΥnΜ –modfact πΌ Chevspec : ReppπΊq π’π,π nΜ,π πΌ as desired. 7.8. Formulation of the main theorem. Observe that formation of each of the functors Chevspec nΜ,π πΌ and Chevgeom are compatible with factorization as we vary the finite set πΌ (here we use the external nΜ,π πΌ fusion construction of [Ras1] S6.12 and S8.14 on ΥnΜ –modfact π’π,π πΌ ). Theorem 7.8.1. The factorization functors πΌ ÞÑ Chevspec and πΌ ÞÑ Chevgeom are canonically nΜ,π πΌ nΜ,π πΌ isomorphic as factorization functors. The proof of Theorem 7.8.1 will occupy the remainder of this section. Remark 7.8.2. Here is the idea of the argument: since both functors factorize, we know the result over strata of π πΌ by Theorem 5.14.1. We glue these isomorphisms over all of π πΌ by analyzing ULA objects. Remark 7.8.3. This theorem is somewhat loose as stated, as it does not specify how they are isomorphic. This is because the construction of the isomorphism is somewhat difficult, due in part to the difficulty of constructing anything at all in the higher categorical setting. However, we remark that for πΊ simply-connected, we will see that such an isomorphism of factorization functors is uniquely characterized as such. Similarly, for πΊ a torus, it is easy to write down such an isomorphism by hand (just as it is easy to write down the (naive) geometric Satake by hand in this case). This should be taken to indicate the existence of a canonical isomorphism in general. We refer to Remark 7.9.2 and S7.21 for further discussion of this point. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 7.9. 55 First, we observe the following. Lemma 7.9.1. Chevspec and Chevgeom are canonically isomorphic for πΌ “ Λ. nΜ,π πΌ nΜ,π πΌ Proof. We are comparing two π·pπq-linear functors: Λ π “ ReppπΊq Λ b π·pπq Ñ ΥnΜ –modfact ReppπΊq π’π,π or equivalently, two continuous functors: Λ Ñ ΥnΜ –modfact . ReppπΊq π’π,π By lisseness along π, we obtain the result from Theorem 5.14.1 (alternatively: the methods of Theorem 5.14.1 work when the point π₯ is allowed to vary, giving the result). Remark 7.9.2. In what follows, we will see that the isomorphism of Theorem 7.8.1 is uniquely pinned down by a choice of isomorphism over π, i.e., an isomorphism as in Lemma 7.9.1. Indeed, this will follow from Proposition 7.17.2. Note that we have constructed such an isomorphism explicitly in the proof of Theorem 5.14.1, and therefore this completely pins down Theorem 7.8.1. 7.10. Digression: a π‘-structure on factorization modules. We now digress to discussion the following result. Proposition 7.10.1. (1) There is a (necessarily unique) π‘-structure on ΥnΜ –modfact π’π,π πΌ such that the forgetful functor: 8¨π₯ OblvϒnΜ : ΥnΜ –modfact π’π,π πΌ Ñ π·pDiveff,π πΌ q (7.10.1) is π‘-exact. (2) With respect to this π‘-structure, the chiral induction functor: Indπβ : nΜπ –modπ πΌ Ñ ΥnΜ –modfact π’π,π πΌ is π‘-exact with respect to the π‘-structure on the left hand side coming from Proposition 7.7.1. (3) This π‘-structure is left and right complete. Proof. Note that we have a commutative diagram: / nΜπ –mod πΌ π ΥnΜ –modfact π’π,π πΌ OblvϒnΜ ΛΜπππ ,8¨π₯ π·pDiveff,π πΌ q π! (7.10.2) / π·pGr π,π πΌ q πππ ,8¨π₯ where we use π to denote the map Grπ,π πΌ Ñ DivΛΜ . eff,π πΌ Δ0 as the subcategory generated under colimits by nΜ –modΔ0 by Indπβ . Define pΥnΜ –modfact π π’π,π πΌ q ππΌ fact Δ 0 This defines a π‘-structure in the usual way. Note that an object lies in pΥnΜ –modπ’π,π πΌ q if and only if its image under Oblvπβ lies in nΜπ –modΔ 0 ππΌ . The main observation is that the composition OblvϒnΜ Λ Indπβ is π‘-exact: The PBW theorem for factorization modules [Ras1] S7.19 says that for π P nΜπ –modπ πΌ , Indπβ pπ q ΛΜπππ ,8¨π₯ has a filtration as an object of π·pDiveff,π q with subquotients given by the Λ-pushforward of: πΌ 56 SAM RASKIN ` Λ ΛΜπππ π nΜ r1s b . . . b nΜ r1s b π P π· pDiv q ˆ Gr πΌ π π π,π eff looooooooooomooooooooooon π times ΛΜπππ ,8¨π₯ Diveff,π . πΌ along the addition map to Formation of this exterior product is obviously π‘-exact, and the Λ-pushforward operation is as well by finiteness, giving our claim. Then from the commutative diagram (7.10.2), we see that Oblvπβ Λ Indπβ is left π‘-exact. This immediately implies the π‘-exactness of Indπβ . It remains to show that OblvϒnΜ is π‘-exact. By the above computation of OblvϒnΜ Indπβ , it is right π‘-exact. Δ 0 ! Suppose π P ΥnΜ –modfact π’π,π πΌ with π OblvϒnΜ pπ q P π·pGrπ,π πΌ q . By factorization and since ΥnΜ P πππ β‘ π·pDivΛΜ eff q , we deduce that OblvϒnΜ pπ q is in degree Δ 0. By the commutative diagram (7.10.2), Δ 0 this hypothesis is equivalent to assuming that π P pΥnΜ –modfact π’π,π πΌ q , so we deduce our left π‘exactness. Finally, that this π‘-structure is left and right complete follows immediately from (1). spec fact Λ π πΌ Ñ ΥnΜ –mod Corollary 7.10.2. The functor Chev πΌ : ReppπΊq πΌ is π‘-exact. π’π,π nΜ,π 7.11. ULA objects. Next, we discuss the behavior of ULA objects under the Chevalley functors. In the discussion that follows, we use the term “ULA” as an abbreviation for “ULA over π πΌ .” 7.12. We begin with a technical remark on the spectral side. Proposition 7.12.1. Λ π πΌ to ULA objects (1) The functor Chevspec maps ULA objects in ReppπΊq nΜ,π πΌ in ΥnΜ –modfact π’π,π πΌ . Λ bπΌ , the object Oblvϒ ChevspecπΌ pπ q P π·pDivΛΜπππ ,8¨π₯ (2) For every π P ReppπΊq q underlying nΜ nΜ,π eff,π πΌ spec ChevnΜ,π πΌ pπ q is ind-ULA. Λ P ΛΜ, the restriction of this π·-module to More precisely, if π is compact, then for every π 40 Λ the locus of divisors of total degree π is ULA. Λ π πΌ Ñ nΜπ –modπ πΌ preserves ULA objects by the same argument as in Proof. The functor Reppπ΅q Proposition 6.16.1, and then the first part follows from π·pπ πΌ q-linearity of the adjoint functors nΜπ –modπ πΌ o Indπβ/ ΥnΜ –modfact π’π,π πΌ . Λ ππΌ For the second part, we claim more generally that OblvϒnΜ Indπβ maps ULA objects in Reppπ΅q πππ ΛΜ ,8¨π₯ to objects in π·pDiveff,π q whose restriction to each degree is ULA. πΌ Λ πΌ , since To this end, we immediately reduce to the case of one-dimensional representations of π΅ bπΌ Λ every compact object of Reppπ΅q admits a finite filtration with such objects as the subquotients. Λ the corresponding object is the vacuum repreIn the case of the trivial representation of π΅, sentation, which in this setting is obtained by Λ-pushforward from ππ πΌ b ΥnΜ along the obvious map: πππ π πΌ ˆ DivΛΜ eff πππ ΛΜ ,8¨π₯ . Ñ Diveff,π πΌ Since this map is a closed embedding, we obtain the claim since ππ πΌ b ΥnΜ obviously has the corresponding property. 40Note that this claim is wrong if we do not restrict to components, since ULA objects are compact. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 57 The general case of a 1-dimensional representation differs from this situation by a translation on πππ ,8¨π₯ DivΛΜ , giving the claim here as well. eff,π πΌ 7.13. Next, we make the following observation on the geometric side. Λ bπΌ , Oblvϒ ChevgeomπΌ pLocπ πΌ pπ qq P π·pDivΛΜπππ ,8¨π₯ q Proposition 7.13.1. (1) For every π P ReppπΊq nΜ nΜ,π eff,π πΌ is ind-ULA. Λ P ΛΜ, the restriction of Oblvϒ ChevgeomπΌ pLoc πΌ pπ qq More precisely, for π compact and π π nΜ nΜ,π Λ to the locus of divisors of total degree π is ULA. Λ bπΌ,β‘ , ChevgeomπΌ pLocπ πΌ pπ qq P ΥnΜ –modfact πΌ lies in cohomological degree (2) For π P ReppπΊq π’π,π nΜ,π ´|πΌ|. Λ bπΌ,β‘ compact, then that Proof. As in Proposition 7.12.1 suffices to show that for π P ReppπΊq Chevgeom pLocπ πΌ pπ qq admits a filtration by ΛΜπΌ with π Λ-subquotient Indπβ pβπΛ q b π pΛ πq, where π pΛ πq is nΜ,π πΌ π Λ bπΌ,β‘ Λ the π Λ-weight space of π and β P Reppπ΅q is the corresponding one dimensional representation. Λ bπΌ This follows exactly as in Step 2 of the proof of Theorem 5.14.1: the weight space of π P ReppπΊq appears as a semi-infinite integral aΜ la Mirkovic-Vilonen by the appropriate moving points version of Lemma 5.15.1. 7.14. We now deduce the following key result, comparing Chevgeom and Chevspec on ULA objects. nΜ,π πΌ nΜ,π πΌ Proposition 7.14.1. The two functors: Λ bπΌ Ñ ΥnΜ –modfact πΌ Chevgeom Λ Locπ πΌ : ReppπΊq π’π,π nΜ,π πΌ Λ bπΌ Ñ ΥnΜ –modfact πΌ Chevspec Λ Locπ πΌ : ReppπΊq π’π,π nΜ,π πΌ are isomorphic. More precisely, there exists a unique such isomorphism extending the isomorphism between these πΌ coming from Lemma 7.9.1 and factorization. functors over ππππ π Proof. It suffices to produce an isomorphism between the restrictions of Chevgeom and Chevspec to nΜ,π πΌ nΜ,π πΌ bπΌ,β‘ Λ the category of compact objects in the heart of ReppπΊq . Λ bπΌ,β‘ is compact. By [Rei] IV.2.8,41 ULAness of ChevgeomπΌ pLocπ πΌ pπ qq and Suppose π P ReppπΊq nΜ,π perversity (up to shift) imply that as a π·-module, Chevgeom pLoc pπ qq is concentrated in one πΌ πΌ π nΜ,π degree, and as such, it is middle extended from this disjoint locus. The same conclusion holds for Chevspec pLocπ πΌ pπ qq for the same reason. nΜ,π πΌ πππ ,8¨π₯ πΌ Since the isomorphism above over DivΛΜ ˆπ πΌ ππππ π is compatible with factorization modeff,π πΌ ule structures, we deduce that the factorization module structures on Chevgeom pLocπ πΌ pπ qq and nΜ,π πΌ Chevspec pLoc pπ qq are compatible with the middle extension construction, and we obtain that ππΌ nΜ,π πΌ these two are isomorphic as factorization modules for ΥnΜ . Corollary 7.14.2. The functor Chevgeom is π‘-exact. nΜ,π πΌ 41Note that loc. cit. only formulates its claim for complements to smooth Cartier divisors, since this reference only defines the ULA condition in this case. However, the claim from loc. cit. is still true in this generality, as one sees by combining Beilinson’s theory [Bei] and Corollary B.5.3. 58 SAM RASKIN Proof. For simplicity, we localize to assume that π is affine. First, we claim that Chevgeom is right π‘-exact. nΜ,π πΌ Λ Δ0πΌ is generated under colimits by objects Indeed, as in the proof of Proposition 6.34.1, ReppπΊq π ! Λ πΌ qΔ|πΌ| “ ReppπΊq Λ bπΌ,Δ|πΌ| . of the form Ind OblvpLocπ πΌ pπ qq “ π·π πΌ b Locπ πΌ pπ q for π P ReppπΊ ! πππ ΛΜ ,8¨π₯ The functor π·π πΌ b ´ is π‘-exact on π·pDiveff,π q (since after applying forgetful functors, it is πΌ given by tensoring with the ind-vector bundle that is the pullback of differential operators on π πΌ ), and since: ! ! Chevgeom pπ·π πΌ b Locπ πΌ pπ qq “ π·π πΌ b Chevgeom pLocπ πΌ pπ qq nΜ,π πΌ nΜ,π πΌ Prop. 7.14.1 “ ! π·π πΌ b Chevspec pLocπ πΌ pπ qq nΜ,π πΌ we obtain the result from Corollary 7.10.2. For left π‘-exactness: let π : πΌ π½ be given, and let ππ denote the corresponding locally closed emπ½ bedding ππππ π Ñ π πΌ . Note that the functors π!π Chevgeom are left π‘-exact by factorization. Therefore, nΜ,π πΌ is filtered by the functors ππ,Λ,ππ π!π Chevgeom , we obtain the claim. since Chevgeom nΜ,π πΌ nΜ,π πΌ Warning 7.14.3. It is not clear at this point that the isomorphisms of Proposition 7.14.1 are compatible with restrictions to diagonals. Here we note that, as in the proof of loc. cit., this question reduces to the abelian category, and here it becomes a concrete, yes-or-no question. The problem πΌ is that the isomorphism of Proposition 7.14.1 was based on middle extending from ππππ π Δ ππΌ , π½ πΌ do not speak to one another. We will deal with this problem in and ππππ π and for π π½ ãÑ π πΌ , ππππ π S7.21. Λ π πΌ . Next, we construct a functor: 7.15. Factoring through Reppπ΅q 1 Λ π πΌ Ñ Reppπ΅q Λ ππΌ Chevgeom : ReppπΊq nΜ,π πΌ so that the composition: 1 Chevgeom πΌ πβ nΜ,π Ind Λ π πΌ ÝÝÝÝÝ Λ π πΌ Ñ nΜπ –modπ πΌ Ý ReppπΊq ÝÑ Reppπ΅q ÝÝÑ ΥnΜ –modfact π’π,π πΌ identifies with Chevgeom . nΜ,π πΌ Lemma 7.15.1. The π‘-exact functor: Indπβ Λ π πΌ Ñ nΜπ –modπ πΌ ÝÝÝÑ ΥnΜ –modfact πΌ Reppπ΅q π’π,π is fully-faithful on the hearts of the π‘-structures. Λ π πΌ Ñ nΜπ –modπ πΌ is obviously fully-faithful (even at the derived level), Proof. The functor Reppπ΅q as is clear by writing both categories as limits and using the fully-faithfulness of the functors Λ bπ½ Ñ nΜ–modpReppπΛqbπ½ . Reppπ΅q So it remains to show that Indπβ : nΜπ –modπ πΌ Ñ ΥnΜ –modfact π’π,π πΌ is fully-faithful at the abelian categorical level. This follows from the chiral PBW theorem, as in the proof of Proposition 7.10.1: Indeed, let Oblvπβ denote the right adjoint to Indπβ . Then for π P nΜπ –modβ‘ , Oblvπβ Indπβ pπ q ππΌ is filtered as a π·-module with associated graded terms: CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS ´ ¯ π! addπ,Λ,ππ nΜ r1s b . . . b nΜ r1s b π pπ q P π·pGrπ,π πΌ q π π Λ,ππ looooooooooomooooooooooon 59 (7.15.1) π times where addπ is the addition map: πππ πππ πππ ,8¨π₯ ΛΜ ,8¨π₯ ΛΜ pDiveff qπ ˆ DivΛΜ Ñ Diveff,π πΌ eff,π πΌ πππ ,8¨π₯ and π is the embedding Grπ,π πΌ ãÑ DivΛΜ . It suffices to show that π» 0 of this term vanishes for eff,π πΌ π ‰ 0. Observe that we have a fiber square: πππ / pDivΛΜπππ qπ ˆ DivΛΜ ,8¨π₯ eff eff,π πΌ eff Greff π,π πΌ ˆπΌ . . . ˆπΌ Grπ,π πΌ ˆπΌ Grπ,π πΌ π π π loooooooooooooomoooooooooooooon π times addπ πππ / DivΛΜ ,8¨π₯ eff,π πΌ π Grπ,π πΌ πΌ where Greff π,π πΌ is the locus of points in π ˆ Diveff of pairs ppπ₯π qπPπΌ , π·q so that π· is zero when Δ restricted to πztπ₯π u (so the reduced fiber of Greff Ñ π πΌ is the discrete π,π πΌ over a point π₯ P π Ý scheme ΛΜπππ ). Λ given, we have a Let Γ Δ π ˆ π πΌ be the incidence divisor, as in the proof of Lemma 7.7.1. For π Λ πΌ π Λ canonical map π½ π : Γ Ñ Greff π,π πΌ over π , sending pπ₯, pπ₯π qπ“1 q P Γ to the divisor π¨π₯. More generally, Λ π qπ with π Λ π P ΛΜπππ , we obtain a map: for every datum pπ π“1 Λ π eff π½ pππ qπ“1 : Γ ˆ . . . ˆ Γ Ñ Greff π,π πΌ ˆ . . . ˆ Grπ,π πΌ . ππΌ ππΌ ππΌ ππΌ eff By base-change, the !-restriction of nΜπ r1sb. . .bnΜπ r1sbπΛ,ππ pπ q to Greff π,π πΌ ˆ . . . ˆ Grπ,π πΌ ˆ Grπ,π πΌ ππΌ ππΌ ππΌ is the direct sum of terms: ¯ ´ ! ! ! ! ! pπΌ Λ π qπ π“1 π½Λ,ππ π!1 π! pnΜπΌΛ 1 b ππ r1sq b . . . b π!π π! pnΜπΌΛ π b ππ r1sq b π!π`1 pπ q . where the ππ are the projections and π is the map Γ Ñ π, and where the sum runs over all π-tuples pΛ πΌπ qππ“1 of positive coroots. Since ππ r1s “ ππ r´1s, these terms are concentrated in cohomological degree Δ π, which gives the claim. fact Λ β‘ Proposition 7.15.2. The functor Chevgeom | Λ β‘ factors through Reppπ΅qπ πΌ Δ ΥnΜ –modπ’π,π πΌ . nΜ,π πΌ ReppπΊq ππΌ Proof. Since ! Λ Δ0πΌ ReppπΊq π is generated under colimits by objects of the form Ind OblvpLocπ πΌ pπ qq “ Λ πΌ qΔ|πΌ| “ ReppπΊq Λ bπΌ,Δ|πΌ| , ReppπΊq Λ β‘ πΌ is generated under (for emphasis: π·π πΌ b Locπ πΌ pπ q for π P ReppπΊ π possibly non-filtered) colimits by the top cohomologies of such objects, i.e., by objects of the form ! Λ bπΌ concentrated in degree |πΌ|. π·π πΌ b Locπ πΌ pπ q for π P ReppπΊq Λ β‘ πΌ , giving the claim. But we have seen that such objects map into Reppπ΅q π 60 SAM RASKIN We now obtain the desired functor Chevgeom from Corollary 6.24.4, i.e., from the fact that nΜ,π πΌ Λ π πΌ is the derived category of its heart. These functors factorize as one varies πΌ. ReppπΊq 1 7.16. Kernels. By Lemma 6.32.1, the functor Chevgeom is defined by a kernel: nΜ,π πΌ 1 Λ ˆ π΅q Λ ππΌ . Kgeom P ReppπΊ ππΌ Λ π πΌ underlying Kgeom Recall that the object of Reppπ΅q is Chevgeom pOπΊ,π Λ πΌ q. Moreover, we recall that ππΌ nΜ,π πΌ 1 ! 1 Λ π πΌ , F b Kπ πΌ P ReppπΊ Λ ˆπΊ Λ ˆ π΅q Λ ππΌ , one recovers the functor Chevgeom by noting that for F P ReppπΊq nΜ,π πΌ Λ π½ on each π pπq (π : πΌ π½), where πΊ Λ π½ acts diagonally and then we take invariants with respect to πΊ Λ ãÑ πΊ Λ ˆ πΊ). Λ through the embedding πΊ spec Λ Λ Λ Ñ Reppπ΅q, Λ Let Kπ πΌ P ReppπΊ ˆ π΅qπ πΌ denote the kernel defining the tautological functor ReppπΊq spec i.e., for each π : πΌ π½, Kπ πΌ |π pπq is given by the regular representation OπΊΛ π½ considered as a Λπ½ , π΅ Λ π½ q-bimodule by restriction from its pπΊ Λπ½ , πΊ Λ π½ q-bimodule structure (i.e., forgetting Kspec pπΊ down ππΌ Λ to ReppπΊqπ πΌ , we recover OπΊ,π Λ πΌ from S6). 7.17. We have the following preliminary observations about these kernels. Λ ˆ π΅q Λ π2 . Lemma 7.17.1. Kgeom and Kspec are concentrated in cohomological degree ´|πΌ| in ReppπΊ ππΌ ππΌ Proof. For Kspec , this follows from Lemma 6.24.3. ππΌ Λ π πΌ by evaluating 1 ChevgeomπΌ on O Λ πΌ . By construction, we recover Kgeom as an object of Reppπ΅q πΊ,π ππΌ nΜ,π Since this object is concentrated in degree ´|πΌ| by Lemma 6.24.3, we obtain the claim from π‘exactness of Chevgeom . nΜ,π πΌ Proposition 7.17.2. The group42 of automorphisms of Kspec restricting to the identity automorππΌ πΌ phism on ππππ π is trivial. Proof. Note that the underlying object of Gpd underlying this group is a set by Lemma 7.17.1. Λ Then automorphisms of Kspec inject into automorphisms of OπΊ,π Λ πΌ P ReppπΊqπ πΌ , so it suffices to ππΌ verify the claim here. By adjunction, we have: 43 HomReppπΊq Λ ππΌ pOπΊ,π Λ πΌ , ππ πΌ q. Λ πΌ , OπΊ,π Λ πΌ q “ Homπ·pπ πΌ q pOπΊ,π Therefore, it suffices to show that: Homπ·pπ πΌ q pOπΊ,π Λ πΌ , ππ πΌ q Ñ Homπ·pπ πΌ πππ π q pπ ! pOπΊ,π Λ πΌ q, ππ πΌ q πππ π (7.17.1) πΌ is an injection, where π denotes the open embedding ππππ π ãÑ π πΌ . ! ! Note that π pOπΊ,π Λ qq is obviously ind-lisse, so π! is defined on it. Let π denote Λ πΌ q » π pLocπ πΌ pOπΊ the closed embedding of the union of all diagonal divisors into π πΌ , so π is the complementary open embedding. We then have the long exact sequence: 42Here by group, we mean a group object of Gpd. 43We emphasize here that Hom means the the groupoid of maps, not the whole chain complex of maps. In particular, these Homs are actually sets, not more general groupoids. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 61 ! 0 Ñ HompπΛ,ππ πΛ,ππ pOπΊ,π Λ πΌ q, ππ πΌ q Ñ HompOπΊ,π Λ πΌ , ππ πΌ q Ñ Hompπ! π pOπΊ,π Λ πΌ q, ππ πΌ q “ Hompπ ! pOπΊ,π Λ πΌ q, ππ πΌ q Ñ . . . . πππ π We can compute the first term as: Λ,ππ ! HompπΛ,ππ πΛ,ππ pOπΊ,π pOπΊ,π Λ πΌ q, ππ πΌ q “ Hompπ Λ πΌ q, π pππ πΌ qq which we then see vanishes, since πΛ,ππ pOπΊ,π Λ πΌ q is obviously concentrated in cohomological degrees ! Δ ´|πΌ| (since OπΊ,π Λ πΌ is in degree ´|πΌ|), while π pππ πΌ q is the dualizing sheaf of a variety of dimension |πΌ| ´ 1, and therefore is concentrated in cohomological degrees Δ ´|πΌ| ` 1. Remark 7.17.3. Note that by factorization and by the |πΌ| “ 1 case, we have an isomorphism over the disjoint locus. We deduce from Proposition 7.17.2 that there is between Kgeom and Kspec ππΌ ππΌ at most one isomorphism extending this given isomorphism, or equivalently, there is at most one 1 and the functor of restriction of representations that extends the isomorphism between Chevgeom nΜ,π πΌ known isomorphism over the disjoint locus. 7.18. Commutative structure. The following discussion will play an important role in the sequel. By factorization: Λ Λ :“ 1 Chevgeom pOπΊ,π πΌ ÞÑ Kgeom Λ πΌ q P ReppπΊ ˆ π΅qπ πΌ nΜ,π πΌ ππΌ is a factorization algebra in a commutative factorization category. Lemma 7.18.1. πΌ ÞÑ Kgeom is a commutative factorization algebra. ππΌ Remark 7.18.2. Since each term Kgeom is concentrated in cohomological degree ´|πΌ|, this factorππΌ ization algebra is classical, i.e., of the kind considered in [BD]. In particular, its commutativity is a property, not a structure. Proof of Lemma 7.18.1. Let Ξ denote the functor: Λ ˆ π΅q Λ π b ReppπΊ Λ ˆ π΅q Λ π Ñ ReppπΊ Λ ˆ π΅q Λ π2 . Ξ : ReppπΊ By [BD] S3.4, we only need to show that there is a map: Λ ˆ Reppπ΅q Λ π2 ΞpKgeom b Kgeom q Ñ Kgeom P ReppπΊ π π π2 (7.18.1) extending the factorization isomorphism on π 2 zπ. Let π denote diagonal embedding π ãÑ π 2 and let π denote the complementary open embedding 2 ππππ π ãÑ π 2 . Since π! pKgeom q “ Kgeom is in cohomological degree ´1, we have a short exact sequence: π π2 0 Ñ Kgeom Ñ πΛ,ππ π ! pKgeom q Ñ πΛ,ππ pKgeom qr1s Ñ 0 π π2 π2 in the shifted heart of the π‘-structure. Therefore, the obstruction to a map (7.18.1) is the existence of a non-zero map: Kgeom b Kgeom Ñ πΛ,ππ pKgeom qr1s. π π π 62 SAM RASKIN b Kπ is similarly We know (from the πΌ “ Λ case of S7.9) that Kgeom “ Locπ pOπΊΛ q, so Kgeom π π geom geom Λ,ππ localized. It follows that π pKπ b Kπ q is concentrated in cohomological degree ´3, while Kgeom r1s is concentrated in cohomological degeree ´2, giving the claim. π Λˆ 7.19. Lemma 7.18.1 endows Kgeom with the structure of commutative algebra object of ReppπΊ π geom Λ π΅qπ . Moreover, since Kπ is isomorphic to OπΊ,π Λ , this object lies in the full subcategory: Λ ˆ πΊq Λ π Δ ReppπΊ Λ ˆ π΅q Λ π. ReppπΊ can be recovered from Moreover, the Beilinson-Drinfeld theory [BD] S3.4 then implies that Kgeom ππΌ geom Kπ equipped with its commutative algebra structure. For example, this observation already buys Λ ˆ πΊq Λ π πΌ Δ ReppπΊ Λ ˆ π΅q Λ π πΌ , and that πΌ ÞÑ Kπ πΌ has a factorization us that for every πΌ, Kπ πΌ P ReppπΊ commutative algebra structure. 1 Using Lemma 6.32.1, it follows that the factorization functorctor Chevgeom is induced from a nΜ » Λ Λ symmetric monoidal functor equivalence πΉ : ReppπΊq Ý Ñ ReppπΊq by composing πΉ with the restriction Λ and applying the functoriality of the construction C ÞÑ pπΌ ÞÑ Cπ πΌ q from S6. functor to Reppπ΅q 7.20. We claim that πΉ is equivalent as a symmetric monoidal functor to the identity functor. Indeed, this follows from the next lemma. Λ Ñ ReppπΊq Λ be a symmetric monoidal equivalence such that for Lemma 7.20.1. Let πΉr : ReppπΊq Λ Λ ` π π Λ P ΛΜ , πΉrpπ q is equivalent to π in ReppπΊq. Λ Then πΉr is equivalent (non-canonically) to the every π identity functor as a symmetric monoidal functor. Λ Ñ πΊ. Λ Proof. By the Tannakian formalism, πΉr is given by restriction along an equivalence π : πΊ We need to show that π is an inner automorphism. We now obtain the result, since the outer automorphism group of a reductive group is the automorphism group of its based root datum and since our assumption implies that the corresponding isomorphism is the identity on ΛΜ` and therefore on all of ΛΜ. 7.21. Trivializing the central gerbe. The above shows that there exists an isomorphism of the factorization functors Chevgeom and Chevspec . nΜ nΜ However, the above technique is not strong enough yet to produce a particular isomorphism. Indeed, the isomorphism of Lemma 7.20.1 is non-canonical: the problem is that the identity functor Λ admits generally admits automorphisms as a symmetric monoidal functor: this automorof ReppπΊq Λ phism group is the canonical the set of π-points of the center πpπΊq. Unwinding the above constructions, we see that the data of a factorizable isomorphism Chevgeom nΜ Λ and Chevspec form a trivial πp πΊq-gerbe. nΜ In order to trivialize this gerbe, it suffices (by Proposition 7.17.2, c.f. Remark 7.17.3) to show the following. Proposition 7.21.1. There exists a (necessarily unique) isomorphism of factorization functors Chevgeom » Chevspec whose restriction to π is the one given by Lemma 7.9.1. nΜ nΜ Λ “ Λ, this assertion is not obvious: c.f. Warning 7.14.3. Essentially, Remark 7.21.2. Even when πpπΊq Λ admits many automorphisms that are not tensor the difficulty is that the identity functor of ReppπΊq automorphisms. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 7.22. 63 We will deduce the above proposition using the following setup. Λ Ñ ReppπΊq Λ Lemma 7.22.1. Suppose that we are given a symmetric monoidal functor πΉ : ReppπΊq such that πΉ is (abstractly) isomorphic to the identity as a tensor functor, and such that we are given a fixed isomorphism: Λ Λ πΌ : ResπΊ ΛπΉ » ResπΊ πΛ πΛ Λ Ñ ReppπΛq (Res indicates the restriction functor here). of symmetric monoidal functors ReppπΊq Then there exists an isomorphism of symmetric monoidal functors between πΉ and the identity Λ inducing πΌ if and only if, for every π P ReppπΊq Λ β‘ irreducible, there exists an functor on ReppπΊq » Λ inducing the map: isomorphism π½π : πΉ pπ q Ý Ñ π P ReppπΊq Λ Λ πΌpπ q : ResπΊ πΉ pπ q » ResπΊ pπ q P ReppπΛq πΛ πΛ Λ upon application of ResπΊ . πΛ Moreover, an symmetric monoidal isomorphism between πΉ and the identity compatible with πΌ is unique if it exists. At the level of objects, it is given by the maps π½π . Remark 7.22.2. In words: an isomorphism πΌ as above may not be compatible with any tensor Λ is adjoint, so that a isomorphism between πΉ and the identity. Indeed, consider the case where πΊ tensor isomorphism between πΉ and the identity is unique if it exists, while there are many choices for πΌ as above. However, if this isomorphism exists, it is unique. Moreover, there is an object-wise criterion to test whether or not such an isomorphism exists. Proof. Choose some isomorphism π½ between πΉ and the identity functor (of symmetric monoidal Λ . By Tannakian theory, functors). From πΌ, we obtain a symmetric monoidal automorphism of ResπΊ πΛ Λ this is given by the action of some π‘ P π pπq. Λ is the center Since the symmetric monoidal automorphism group of the identity functor of ReppπΊq Λ (Moreover, we immediately deduce of this group, it suffices to show that π‘ lies in the center of πΊ. the uniqueness from this observation). Λ To this end, it suffices to show that π‘ acts by a scalar on every irreducible representation on πΊ. But by Schur’s lemma, this is follows from our hypothesis. 7.23. We now indicate how to apply Lemma 7.22.1 in our setup. 7.24. First, we give factorizable identifications of the composite functors: 1 Chevgeom πΌ nΜ,π Λ π πΌ ÝÝÝÝÝ Λ π πΌ Ñ ReppπΛqπ πΌ ReppπΊq ÝÑ Reppπ΅q Λ with the functors induced from ResπΊ . πΛ Indeed, we have done this implicitly already in the proof of Proposition 7.13.1: one rewrites the functors Chevgeom using (the appropriate generalization of) Lemma 5.15.1, and then uses the (facnΜ,π πΌ 44 torizable of the) Mirkovic-Vilonen identification of restriction as cohomology along semi-infinite orbits. 44This generalization is straightforward given the Mirkovic-Vilonen theory and the methods of this section and S6. 64 SAM RASKIN Λ β‘ is irreducible. 7.25. Now suppose that π P ReppπΊq Then for π₯ P π, Theorem 5.14.1 produces a certain isomorphism between Chevgeom nΜ,π₯ pπ q and spec fact,β‘ β‘ Λ ChevnΜ,π₯ pπ q in Reppπ΅q Δ ΥnΜ –modπ’π,π₯ . To check that the conditions of Lemma 7.22.1 are satisfied, it suffices to show that this isomorphism induces the isomorphism of of S7.24 when we map to ReppπΛq. Indeed, the isomorphism of Theorem 5.14.1 was constructed using a related isomorphism from [BG2] Theorem 8.8. The isomorphism of [BG2] has the property above, as is noted in loc. cit. Since the construction in Theorem 5.14.1 for reducing to the setting of [BG2] is compatible further restriction to ReppπΛq, we obtain the claim. Appendix A. Proof of Lemma 6.18.1 A.1. Suppose that we have a diagram π ÞÑ Cπ P DGCatππππ‘ of categories with each Cπ dualizable with dual C_ π in the sense of [Gai3]. In this case, we can form the dual diagram π ÞÑ C_ π . We can ask: when is C :“ limπPIππ Cπ dualizable with dual colimπPI C_ π ? More precisely, there is a canonical Vect valued pairing between the limit and colimit here, and we can ask when it realizes the two categories as mutually dual. As in [Gai3], we recall that this occurs if and only if colimπPI C_ π is dualizable, which occurs if and only if, for every D P DGCatππππ‘ , the canonical map: ` Λ ` Λ lim C b D Ñ lim C b D π π ππ ππ πPI πPI is an equivalence. This section gives a criterion, Lemma A.2.1, in which this occurs, and which we will use to deduce Lemma 6.18.1 in SA.3 A.2. A dualizability condition. Suppose we have a diagram: C2 C1 πΉ π / C3 of dualizable categories. Let C denote the fiber product of this diagram. The main result of this section is the following. Lemma A.2.1. Suppose that π and πΉ have right adjoints π and πΊ respectively. Suppose in addition that πΊ is fully-faithful. Then if each Cπ is dualizable, C is dualizable as well. Moreover, for each D P DGCatππππ‘ , the canonical map: C b D Ñ C1 b D ˆ C 2 b D C3 bD is an equivalence. The proof of this lemma is given in SA.7. (A.2.1) CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 65 A.3. Proof of Lemma 6.18.1. We now explain how to deduce Lemma 6.18.1. Proof that Lemma A.2.1 implies Lemma 6.18.1. Fix πΌ a finite set. We proceed by induction on |πΌ|, the case |πΌ| “ 1 being obvious. Recall that we have C P DGCatππππ‘ rigid and symmetric monoidal, and π a smooth curve. πΌ and π πΌ (c.f. [Gai4]), we easily reduce to checking the corresponding By 1-affineness of πππ fact in the quasi-coherent setting. Note that by rigidity of QCohpπ πΌ q, dualizability questions in QCohpπ πΌ q–modpDGCatππππ‘ q are equivalent to dualizability questions in DGCatππππ‘ . Let π Δ π πΌ be the complement of the diagonally embedded π ãÑ π πΌ . We can then express Cπ πΌ as a fiber product: / QCohpπ πΌ , C πΌ q π QCohpπ πΌ , Cπ πΌ q b QCohpπ πΌ q QCohpπ q / QCohpπ q b C. QCohpπ πΌ q b C The two structure functors involved in defining this pullback admit continuous right adjoints, and the right adjoint to the bottom functor is fully-faithful. Moreover, the bottom two terms are obviously dualizable. Therefore, by Lemma A.2.1, it suffices to see that formation of the limit involved in defining the top right term commutes with tensor products over QCohpπ q. Note that π is covered by the open subsets π pπq for π : πΌ π½ with |π½| Δ 1. By Zariski descent for sheaves of categories, it suffices to check the commutation of tensor products and limits after restriction to each π pπq. But this follows from factorization and induction, using the same cofinality result as in S6.10. A.4. The remainder of this section is devoted to the proof of Lemma A.2.1. A.5. Gluing. Define the glued category Glue to consist of the triples pF, G, πq where F P C1 , G P C2 , and π is a morphism π : πpGq Ñ πΉ pFq P C3 . Note that the limit C :“ C1 ˆC3 C2 is a full subcategory of Glue. Lemma A.5.1. The functor C ãÑ Glue admits a continuous right adjoint. Proof. We construct this right adjoint explicitly: r P C1 as the fiber product: For pF, G, πq as above, define F r F / πΊπpGq F πΊpπq / πΊπΉ pFq. r Ñ πΉ πΊπpGq » πpGq is an isomorphism, and therefore Since πΊ is fully-faithful, the map π : πΉ pFq r G, πq defines an object of C. It is easy to see that the resulting functor is the desired right adjoint. pF, 66 SAM RASKIN A.6. Let D P DGCatππππ‘ be given. Define GlueD as with Glue, but instead use the diagram: C2 b D C1 b D πΉ bidD πbidD / C3 b D Lemma A.6.1. The canonical functor: Glue b D Ñ GlueD is an equivalence. Proof. First, we give a description of functors Glue Ñ E P DGCatππππ‘ for a test object E: We claim that such a functor is equivalent to the datum of a pair π0 : C1 Ñ E and π1 : C2 Ñ E of continuous functors, plus a natural transformation: π0 Ñ π1 ππΉ of functors C1 Ñ E. Indeed, given a functor Ξ : Glue Ñ E as above, we obtain such a datum as follows: for F P C1 , we let π0 pFq :“ ΞpFr´1s, 0, 0q, for G P C2 we let π1 pGq :“ Ξp0, G, 0q (here we write objects of Glue as triples as above). The natural transformation comes from the boundary morphism in the obvious exact triangle: `1 pF, 0, 0q Ñ pF, πΉ pFq, idπΉ pFq q Ñ p0, πΉ pFq, 0q ÝÝÑP Glue. It is straightforward to see that this construction is an equivalence. This universal property then makes the above property clear. A.7. We now deduce the lemma. Proof of Lemma A.2.1. We need to see that for every D P DGCatππππ‘ , the map (A.2.1) is an equivalence. First, observe that each of these categories is a full subcategory of GlueD . Indeed, for the left hand side of (A.2.1), this follows from Lemma A.5.1, and for the right hand side, this follows from Lemma A.6.1. Moreover, this is compatible with the above functor by construction. Let πΏ denote the right adjoint to π : C ãÑ Glue, and let πΏD denote the right adjoint to the embedding: πD : C1 b D ˆ C2 b D ãÑ GlueD . C3 bD We need to show that: pπ Λ πΏq b idD “ πD Λ πΏD as endofunctors of GlueD , since the image of the left hand side is the left hand side of (A.2.1), and the image of the right hand side is the right hand side of (A.2.1). But writing GlueD as Glue b D, this becomes clear. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 67 Appendix B. Universal local acyclicity B.1. Notation. Let π be a scheme of finite type and let C be a π·pπq-module category in DGCatππππ‘ . Let QCohpπ, Cq denote the category C bπ·pπq QCohpπq. Remark B.1.1. Everything in this section works with π a general DG scheme almost of finite type. The reader comfortable with derived algbraic geometry may therefore happily understand “scheme” in the derived sense everywhere here. B.2. The adjoint functors:45 QCohpπq o / π·pπq Ind Oblv induce adjoint functors: QCohpπ, Cq o Ind Oblv / C. Lemma B.2.1. The functor Oblv : C Ñ QCohpπ, Cq is conservative. Proof. This is shown in [GR] in the case C “ π·pπq. In the general case, it suffices to show that Ind : QCohpπ, Cq Ñ C generates the target under colimits. It suffices to show that the functor: QCohpπq b C Ñ π·pπq b C Ñ π·pπq b C π·pπq generates, as it factors through Ind. But the first term generates by the [GR] result, and the second term obviously generates. B.3. Universal local acyclicity. We have the following notion. Definition B.3.1. F P C is universally locally acyclic (ULA) over π if OblvpFq P QCohpπ, Cq is compact. Notation B.3.2. We let Cπ πΏπ΄ Δ C denote the full (non-cocomplete) subcategory of ULA objects. B.4. We have the following basic consequences of the definition. ! Proposition B.4.1. For every F P Cπ πΏπ΄ and for every compact G P π·pπq, G b F is compact in C. Proof. Since Ind : QCohpπq Ñ π·pπq generates the target, objects of the form IndpPq P π·pπq for P P QCohpπq perfect generate the compact objects in the target under finite colimits and direct summands. ! Therefore, it suffices to see that IndpPq b F is compact for every perfect P P QCohpπq. To this end, it suffices to show: » ! IndpP b OblvpFqq Ý Ñ IndpPq b F (B.4.1) since the left hand side is obviously compact by the ULA condition on F. We have an obvious map from the left hand side to the right hand side. To show it is an isomorphism, we localize to assume 45Throughout this section, we use only the “left” forgetful and induction functors from [GR]. 68 SAM RASKIN π is affine, and then by continuity this allows us to check the claim when P “ Oπ . Then the claim follows because Ind and Oblv are π·pπq-linear functors. Corollary B.4.2. Any F P Cπ πΏπ΄ is compact in C. Example B.4.3. Suppose that π is smooth and C “ π·pπq. Then F is ULA if and only if F is compact with lisse cohomologies. Indeed, if F is ULA, the cohomologies of OblvpFq P QCohpπq are coherent sheaves and therefore the cohomologies of F are lisse. Proposition B.4.4. Suppose that πΉ : C Ñ D is a morphism in π·pπq–modpDGCatππππ‘ q with a π·pπq-linear right adjoint πΊ. Then πΉ maps ULA objects to ULA objects. Proof. We have the commutative diagram: πΉ C /D Oblv QCohpπ, Cq Oblv / QCohpπ, Dq and the functor QCohpπ, Cq Ñ QCohpπ, Dq preserves compacts by assumption on πΉ . B.5. Reformulations. For F P C, let HomC pF, ´q : C Ñ π·pπq denote the (possibly non-continuous) functor right adjoint to π·pπq Ñ C given by tensoring with F. Proposition B.5.1. For F P C, the following conditions are equivalent. (1) F is ULA. (2) HomC pF, ´q : C Ñ π·pπq is continuous and π·pπq-linear. (3) For every M P π·pπq–modpDGCatππππ‘ q and every π P M compact, the induced object: F b π PC b M π·pπq π·pπq is compact. Proof. First, we show (1) implies (2). Proposition B.4.1, the functor π·pπq Ñ C of tensoring with F sends compacts to compacts, so its right adjoint is continuous. We need to show that HomC pF, ´q is π·pπq-linear. Observe first that Oblv HomC pF, ´q computes46 HomQCohpπ,Cq pOblvpFq, Oblvp´qq : C Ñ QCohpπq. ! Indeed, both are right adjoints to p´ b Fq Λ Ind “ Ind Λp´ b OblvpFqq, where we have identified these functors by (B.4.1). Then observe that: HomQCohpπ,Cq pOblvpFq, ´q : QCohpπ, Cq Ñ QCohpπq is a morphism of QCohpπq-module categories: this follows from rigidity of QCohpπq. This now easily gives the claim since Oblv is conservative. Next, we show that (2) implies (3). Let M and π P M be as given. The composite functor: 46The notation indicates internal Hom for QCohpπ, Cq considered as a QCohpπq-module category. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS 69 ! p´bFqbidM ´bπ Vect ÝÝÝÑ M “ π·pπq b M ÝÝÝÝÝÝÝÑ C b M π·pπq π·pπq obviously sends π P Vect to F b M. But this composite functor also obviously admits a continuous π·pπq right adjoint: the first functor does because π is compact, and the second functor does because π·pπq Ñ C admits a π·pπq-linear right adjoint by assumption. It remains to show that (3) implies (1), but this is tautological: take M “ QCohpπq. Remark B.5.2. Note that conditions (2) and (3) make sense for any algebra A P DGCatππππ‘ replacing π·pπq and any F P C a right A-module category in DGCatππππ‘ . That (2) implies (3) holds in this generality follows by the same argument. Here is a sample application of this perspective. ! Corollary B.5.3. For G P π·pπ q holonomic and F P Cπ πΏπ΄ , π! pG b π ! pFqq P C is defined, and the natural map: ! ! π! pG b π ! pFqq Ñ π! pGq b F is an isomorphism. In particular, π! pFq is defined. Proof. We begin by showing that there is an isomorphism: π ! pHomC pF, ´qq » HomCπ pπ ! pFq, π ! p´qq as functors C Ñ π·pπ q. Indeed, we have: ! ! πΛ,ππ π ! pHomC pF, ´qq “ πΛ,ππ pππ q b HomC pF, ´q “ HomC pF, πΛ,ππ pππ q b p´qq “ and the right hand side obviously identifies with πΛ,ππ HomCπ pπ ! pFq, π ! p´qq. r P C, we see: Now for any F ! r “ Homπ·pπ q pG, π ! Hom pF, Fqq r “ r “ Homπ·pπq pπ! pGq, Hom pF, Fqq HomC pπ! pGq b F, Fq C C ! r r Homπ·pπ q pG, HomC pπ ! pFq, π ! pFqqq “ HomCπ pG b π ! pFq, π ! pFqq as desired. B.6. We now discuss a ULA condition for π·pπq-module categories themselves. Definition B.6.1. C as above is ULA over π if QCohpπ, Cq is compactly generated by objects of the form P b OblvpFq with F P Cπ πΏπ΄ and P P QCohpπq perfect. Example B.6.2. π·pπq is ULA. Indeed, ππ is ULA with Oblvpππ q “ Oπ . Lemma B.6.3. If C is ULA, then C is compactly generated. Proof. Immediate from conservativity of Oblv. 70 B.7. SAM RASKIN In this setting, we have the following converse to Proposition B.4.4. Proposition B.7.1. For C ULA, a π·pπq-linear functor πΉ : C Ñ D admits a π·pπq-linear right adjoint if and only if πΉ preserves ULA objects. Proof. We have already seen one direction in Proposition B.4.4. For the converse, suppose πΉ preserves ULA objects. Since C is compactly generated and πΉ preserves compact objects, πΉ admits a continuous right adjoint πΊ. We will check linearity using Proposition B.5.1: Suppose that F P π·pπq. We want to show that the natural transformation: ! ! F b πΊp´q Ñ πΊpF b ´q of functors D Ñ C is an equivalence. It is easy to see that it is enough to show that for any G P Cπ πΏπ΄ , the natural transformation of functors D Ñ π·pπq induced by applying HomC pG, ´q is an equivalence. But this follows from the simple identity HomD pπΉ pGq, ´q “ HomC pG, πΊp´qq. Indeed, we see: ! ! ! HomC pG, F b πΊp´qq “ F b HomC pG, πΊp´qq “ F b HomD pπΉ pGq, p´qq “ ` Λ ! ! HomD pπΉ pGq, F b p´qq “ HomD G, πΊpF b p´qq as desired. B.8. Suppose that π : π ãÑ π is closed with complement π : π ãÑ π. Proposition B.8.1. Suppose C is ULA as a π·pπq-module category. Then πΉ : C Ñ D a morphism in π·pπq–modpDGCatππππ‘ q is an equivalence if and only if if preserves ULA objects and the functors: πΉπ : Cπ :“ C b π·pπ q Ñ Dπ :“ D b π·pπ q π·pπq π·pπq πΉπ : Cπ :“ C b π·pπ q Ñ Dπ :“ D b π·pπ q π·pπq π·pπq are equivalences. Remark B.8.2. Note that a result of this form is not true without ULA hypotheses: the restriction functor π·pπq Ñ π·pπ q ‘ π·pπ q is π·pπq-linear and an equivalence over π and over π , but not an equivalence. Proof of Proposition B.8.1. By Proposition B.7.1, the functor πΉ admits a π·pπq-linear right adjoint πΊ. We need to check that the unit and counit of this adjunction are equivalences. By the usual Cousin deΜvissage, we reduce to checking that the unit and counit are equivalences for objects pushed forward from π and π . But by π·pπq-linearity of our functors, this follows from our assumption. References [AB] Sergey Arkhipov and Roman Bezrukavnikov. Perverse sheaves on affine flags and Langlands dual group. Israel J. Math., 170:135–183, 2009. With an appendix by Bezrukavrikov and Ivan MirkovicΜ. [ABB` ] Sergey Arkhipov, Sasha Braverman, Roman Bezrukavnikov, Dennis Gaitsgory, and Ivan MirkovicΜ. Modules over the small quantum group and semi-infinite flag manifold. Transform. Groups, 10(3-4):279–362, 2005. CHIRAL PRINCIPAL SERIES CATEGORIES I: FINITE DIMENSIONAL CALCULATIONS [ABG] 71 Sergey Arkhipov, Roman Bezrukavnikov, and Victor Ginzburg. Quantum groups, the loop Grassmannian, and the Springer resolution. J. Amer. Math. Soc., 17(3):595–678, 2004. [Ati] Michael Atiyah. Complex analytic connections in fibre bundles. Transactions of the American Mathematical Society, 85(1):181–207, 1957. [BBD] Sasha Beilinson, Joseph Bernstein, and Pierre Deligne. Faisceaux pervers. AsteΜrisque, 100, 1983. [BD] Sasha Beilinson and Vladimir Drinfeld. Chiral algebras, volume 51 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004. [Bei] Sasha Beilinson. How to glue perverse sheaves. In πΎ-theory, arithmetic and geometry (Moscow, 1984–1986), volume 1289 of Lecture Notes in Math., pages 42–51. Springer, Berlin, 1987. [Ber] Dario Beraldo. Loop group actions on categories and Whittaker invariants. [Bez] Roman Bezrukavnikov. On two geometric realizations of an affine hecke algebra. 2012. Available at: http: //arxiv.org/pdf/1209.0403v3.pdf. [BFGM] Sasha Braverman, Michael Finkelberg, Dennis Gaitsgory, and Ivan MirkovicΜ. Intersection cohomology of Drinfeld’s compactifications. Selecta Math. (N.S.), 8(3):381–418, 2002. [BFS] Roman Bezrukavnikov, Michael Finkelberg, and Vadim Schechtman. Factorizable sheaves and quantum groups, volume 1691 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1998. [BG1] Sasha Braverman and Dennis Gaitsgory. Geometric Eisenstein series. Invent. Math., 150(2):287–384, 2002. [BG2] Sasha Braverman and Dennis Gaitsgory. Deformations of local systems and Eisenstein series. Geom. Funct. Anal., 17(6):1788–1850, 2008. [Cas] W. Casselman. The unramified principal series of π-adic groups. I. The spherical function. Compositio Math., 40(3):387–406, 1980. [DG] Vladimir Drinfeld and Dennis Gaitsgory. On a theorem of Braden. arXiv preprint arXiv:1308.3786, 2013. [FF] Boris Feigin and Edward Frenkel. Affine Kac-Moody algebras and semi-infinite flag manifolds. Communications in mathematical physics, 128(1):161–189, 1990. [FFKM] Boris Feigin, Michael Finkelberg, Alexander Kuznetsov, and Ivan MirkovicΜ. Semi-infinite flags. II. Local and global intersection cohomology of quasimaps’ spaces. In Differential topology, infinite-dimensional Lie algebras, and applications, volume 194 of Amer. Math. Soc. Transl. Ser. 2, pages 113–148. Amer. Math. Soc., Providence, RI, 1999. [FG1] John Francis and Dennis Gaitsgory. Chiral Koszul duality. Selecta Math. (N.S.), 18(1):27–87, 2012. [FG2] Edward Frenkel and Dennis Gaitsgory. Local geometric Langlands correspondence and affine Kac-Moody algebras. In Algebraic geometry and number theory, pages 69–260. Springer, 2006. [FG3] Edward Frenkel and Dennis Gaitsgory. π·-modules on the affine flag variety and representations of affine Kac-Moody algebras. Represent. Theory, 13:470–608, 2009. [FGV] Edward Frenkel, Dennis Gaitsgory, and Kari Vilonen. Whittaker patterns in the geometry of moduli spaces of bundles on curves. The Annals of Mathematics, 153(3):699–748, 2001. [FM] Michael Finkelberg and Ivan MirkovicΜ. Semi-infinite flags. I. Case of global curve P1 . 194:81–112, 1999. ` [GAB ] A. Grothendieck, M. Artin, J. E. Bertin, M. Demazure, P. Gabriel, M. Raynaud, and J.-P. Serre. SGA III: ScheΜmas en groupes., volume 1963/64 of SeΜminaire de GeΜomeΜtrie AlgeΜbrique de l’Institut des Hautes EΜtudes Scientifiques. Institut des Hautes EΜtudes Scientifiques, Paris, 1966. [Gai1] D. Gaitsgory. On de Jong’s conjecture. Israel J. Math., 157:155–191, 2007. [Gai2] Dennis Gaitsgory. Les jours et les travaux. Unpublished, 2010. [Gai3] Dennis Gaitsgory. Generalities on DG categories. Available at: http://math.harvard.edu/~gaitsgde/GL/ textDG.pdf, 2012. [Gai4] Dennis Gaitsgory. Sheaves of categories and the notion of 1-affineness. 2013. [GR] Dennis Gaitsgory and Nick Rozenblyum. Studies in derived algebraic geometry. 2015. [KV] Mikhail Kapranov and Eric Vasserot. Vertex algebras and the formal loop space. Publ. Math. Inst. Hautes EΜtudes Sci., (100):209–269, 2004. [Lur1] Jacob Lurie. Higher topos theory, volume 170 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009. [Lur2] Jacob Lurie. DAG X: Formal moduli problems. Available at: http://math.harvard.edu/~lurie/papers/ DAG-X.pdf, 2011. [Lur3] Jacob Lurie. Higher algebra. Available at: http://math.harvard.edu/~lurie/papers/HigherAlgebra.pdf, 2012. 72 SAM RASKIN [Lus] [MV] [Ras1] [Ras2] [Ras3] [Ras4] [Rei] [Roz] [Sch] George Lusztig. Singularities, character formulas, and a π-analog of weight multiplicities. In Analysis and topology on singular spaces, II, III (Luminy, 1981), volume 101 of AsteΜrisque, pages 208–229. Soc. Math. France, Paris, 1983. I. MirkovicΜ and K. Vilonen. Geometric Langlands duality and representations of algebraic groups over commutative rings. Ann. of Math. (2), 166(1):95–143, 2007. Sam Raskin. Chiral categories. 2015. Sam Raskin. Chiral principal series categories II: the Whittaker category. 2015. Sam Raskin. Chiral principal series categories III: the spherical category. 2015. Sam Raskin. π·-modules on infinite dimensional varieties. 2015. Ryan Cohen Reich. Twisted geometric Satake equivalence via gerbes on the factorizable Grassmannian. Represent. Theory, 16:345–449, 2012. Nick Rozenblyum. Modules over a chiral algebra. Available at: http://arxiv.org/abs/1010.1998, 2010. Simon Schieder. The Harder-Narasimhan stratification of the moduli stack of G-bundles via Drinfeld’s compactifications. arXiv preprint arXiv:1212.6814, 2012. Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, MA 02139. E-mail address: sraskin@mit.edu