arXiv subjects
Publications and source records attributed to Eric Vasserot.
We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras.
Varagnolo and Vasserot conjectured an equivalence between the category O for CRDAHA's and a subcategory of an affine parabolic category O of type A. We prove this conjecture. As applications, we prove a conjecture of Rouquier on the dimension of simple modules of CRDAHA's and a conjecture of Chuang-Miyachi on the Koszul duality for the category O of CRDAHA's.
We construct a representation of the affine W-algebra of gl_r on the equivariant homology space of the moduli space of U_r-instantons on A^2, and identify the corresponding module. As a corollary we give a proof of a version of the AGT conjecture concerning pure N=2 gauge theory for the group SU(r). Another proof has been announced by Maulik and Okounkov. Our approach uses a suitable deformation of the universal enveloping algebra of the Witt algebra W_{1+\infty}, which is shown to act on the above homology spaces (for any r) and which specializes to all W(gl_r). This deformation is in turn constructed from a limit, as n tends to infinity, of the spherical degenerate double affine Hecke algebra of GL_n.
Let X be a smooth projective curve over a finite field. We describe H, the full Hall algebra of vector bundles X as a Feigin-Odesskii shuffle algebra. This shuffle algebra corresponds to the scheme S of all cusp eigenforms and to the rational function of two variables on S coming from the Rankin-Selberg L-functions. This means that the zeroes of these L-functions control all the relations in H. The scheme S is a disjoint union of countably many G_m-orbits. In the case when X has a theta-characteristic defined over the base field, we embed H into the space of regular functions on the symmetric powers of S.
We study an arithmetic analog of the Hall algebra of a curve, when the curve is replaced by the spectrum of the integers compactified at infinity. The role of vector bundles is played by lattices with quadratic forms. This algebra H consists of automorphic forms with respect to GL_n(Z), n>0, with multiplication given by the parabolic pseudo-Eisenstein series map. We concentrate on the subalgebra SH in H generated by functions on the Arakelov Picard group of Spec(Z). We identify H with a Feigin-Odesskii type shuffle algebra, with the function defining the shuffle algebra expressed through the Riemann zeta function. As an application we study relations in H. Quadratic relations express the functional equation for the Eisenstein-Maass series. We show that the space of additional cubic relations (lying an an appropriate completion of H and considered modulo rescaling), is identified with the space spanned by nontrivial zeroes of the zeta function.
In this paper we compute the convolution algebra in the equivariant K-theory of the Hilbert scheme of A^2. We show that it is isomorphic to the elliptic Hall algebra, and hence to the spherical DAHA of GL_\infty. We explain this coincidence via the geometric Langlands correspondence for elliptic curves, by relating it also to the convolution algebra in the equivariant K-theory of the commuting variety. We also obtain a few other related results (action of the elliptic Hall algebra on the K-theory of the moduli space of framed torsion free sheaves over P^2, virtual fundamental classes, shuffle algebras,...).
In this paper we categorify the Heisenberg action on the Fock space via the category O of cyclotomic rational double affine Hecke algebras. This permits us to relate the filtration by the support on the Grothendieck group of O to a representation theoretic grading defined using the Heisenberg action. This implies a recent conjecture of Etingof.
For any algebraic super-manifold M we define the super-ind-scheme LM of formal loops and study the transgression map (Radon transform) on differential forms in this context. Applying this to the super-manifold M=SX, the spectrum of the de Rham complex of a manifold X, we obtain, in particular, that the transgression map for X is a quasi-isomorphism between the [2,3)-truncated de Rham complex of X and the additive part of the [1,2)-truncated de Rham complex of LX. The proof uses the super-manifold SSX and the action of the Lie superalgebra sl(1|2) on this manifold. This quasi-isomorphism result provides a crucial step in the classification of sheaves of chiral differential operators in terms of geometry of the formal loop space.
We prove a series of conjectures of Enomoto and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type B. The main ingredient of the proof is a new graded Ext-algebra associated with quiver with involutions that we compute explicitly.
We prove a conjecture of Kashiwara and Miemietz on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case.
This lecture reviews the classification of simple modules of double affine Hecke algebras via the K-theory of Steinberg varieties of affine type
We show that the Hall algebra of the category of coherent sheaves on an elliptic curve (or, equivalently, the algebra of unramified automorphic forms for GL(n) for all n) is equal to the stable limit of spherical double affine Hecke algebras for GL(k) as k goes to infinity. The two parameters correspond to the size of the finite field and the modulus of the elliptc curve. Under this isomorphism the Hecke operators are mapped to the Macdonald operators. This allows us to give a geometric construction of Macdonald polynomials (eigenvectors for the Macdonald operator) in terms of a suitable specialization of Eisenstein series (eigenvectors for the Hecke operators).
We prove that the double affine Hecke algebra of type A is Morita equivalent to the quantized affine Schur algebra.
We define a quantum analogue of the Grothendieck ring of finite dimensional modules of a quantum affine algebra of simply laced type. The construction is based on perverse sheaves on a variety related to quivers. We get also a new geometric construction of the tensor category of finite dimensional modules of a finite dimensional simple Lie algebra of type A-D-E.
We give a proof of the cyclicity conjecture of Akasaka-Kashiwara, for simply laced types, via quiver varieties. We get also an algebraic characterization of the standard modules.
We compute the convolution product on the equivariant K-groups of the cyclic quiver variety. We get a q-analogue of double-loop algebras, closely related to the toroidal quantum groups previously studied by the authors. We also give a geometric interpretation of the cyclic quiver variety in terms of equivariant torsion-free sheaves on the projective plane.
We prove the decomposition conjecture of Leclerc and Thibon for the Schur algebra. We also give a new approach to the Lusztig conjecture for the dimension of the simple U(sl_k)-modules at roots of unity via canonical bases of the Hall algebra.
We give complete proofs of the K-theoretic construction of the quantized enveloping algebra of affine gl(n) sketched with V. Ginzburg in Internat. Math. Res. Notices, 3 (1993).