Pursuing the double affine Grassmannian, I: Transversal slices via instantons on Ak-singularities

Abstract

This article is the first in a series that describes a conjectural analog of the geometric Satake isomorphism for an affine Kac-Moody group. (For simplicity, we only consider the untwisted and simply connected case here.) The usual geometric Satake isomorphism for a reductive group G identifies the tensor category Rep(G∨) of finite-dimensional representations of the Langlands dual group G∨ with the tensor category PervG(O)(GrG) of G(O)-equivariant perverse sheaves on the affine Grassmannian GrG=G(K)/G(O) of G. (Here K=C((t)) and O=C[[t]].) As a by-product one gets a description of the irreducible G(O)-equivariant intersection cohomology (IC) sheaves of the closures of G(O)-orbits in GrG in terms of q-analogs of the weight multiplicity for finite-dimensional representations of G∨. The purpose of this article is to try to generalize the above results to the case when G is replaced by the corresponding affine Kac-Moody group Gaff. (We refer to the (not yet constructed) affine Grassmannian of Gaff as the double affine Grassmannian.) More precisely, in this article we construct certain varieties that should be thought of as transversal slices to various Gaff(O)-orbits inside the closure of another Gaff(O)-orbit in GrGaff. We present a conjecture that computes the intersection cohomology sheaf of these varieties in terms of the corresponding q-analog of the weight multiplicity for the Langlands dual affine group Gaff∨, and we check this conjecture in a number of cases. Some further constructions (such as convolution of the corresponding perverse sheaves, analog of the Beilinson-Drinfeld Grassmannian, and so forth) will be addressed in another publication