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
Summary
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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
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.