Abstract

Let $X$ be a (smooth and complete) curve and $G$ a reductive group. In [BG] we introduced the object that we called Eisenstein This is a perverse sheaf $\bar{Eis}_E$ (or rather a complex of such) on the moduli stack $Bun_G(X)$ of principal $G$-bundles on $X$, which is attached to a local system $E$ on $X$ with respect to the torus $\check{T}$, Langlands dual to the Cartan subgroup $T\subset G$. In loc. cit. we showed that$\bar{Eis}_E$ corresponds to the $\check{G}$-local system induced from $E$, in the sense of the geometric Langlands correspondence. In the present paper we address the following question, suggested by V. Drinfeld: what is the perverse sheaf on $Bun_G(X)$ that corresponds to the universal deformation of $E$ as a local system with respect to the Borel subgroup $\check{B}\subset \check{G}$? We prove, following a conjecture of Drinfeld, that the resulting perverse sheaf if the classical, i.e., non-compactified Eisenstein series.

Highlights

  • In the case of GL2 this means that the two local systems E1 and E2 are non-isomorphic. This regularity assumption is equivalent to requiring that the DG formal scheme DefB (ET) be an ”honest” scheme

  • This particular choice of sheaf-theoretic context will only become important in Sect

  • The machinery of chiral algebras, developed in [BD], implies that C RΓ(X, ˇnX,explicitly as an ODefB (ET) ) is quasi-isomorphic to the chiral homology of the-commutative chiral algebra on X equal to the chiral standard complex C(nX,ET ) homology is computed as the ohfotmheolsohgeyafoof faLsieheaalgf eabsrsaoscinaXte,EdTt.oBCyd(nefiXn,EitTio)no,nthteheabRoavne space of X. The latter sheaf splits into direct summands corresponding to elements λ, and each direct summand is isomorphic to the direct image image of Ω(nX,ET )−λunder the natural map from Xλto the Ran space

Read more

Summary

Introduction

Let EGbe a G-local system on X, thought of as a tensor functor V → VEGfrom the category Rep(G) of finite-dimensional G-representations to that of local systems (=lisse sheaves) on X In this case one introduces the notion of Hecke eigensheaf, which is an object S(EG) ∈ Db(BunG), satisfying (0.1). Let us take Y to be Def(EG )– the base of the universal deformation of EGas a G-local system In this case, Y is quasi-isomorphic to the standard complex of a DG algebra canonically attached to EG. In the case of GL2 this means that the two local systems E1 and E2 are non-isomorphic This regularity assumption is equivalent to requiring that the DG formal scheme DefB (ET) be an ”honest” scheme. We will review the definitions of Eis(ET) and Eis!(ET), and state each of the above properties precisely as a theorem

Background and overview
The case of GL2
Deforming local systems
Structure of the extension by zero
The Koszul complex
Consider now the direct sum
6.10. The starting point is the following observation
The Hecke property
10. Eisenstein series are perverse

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.