Showing 1–50 of 56 results for author: Vasserot, E

Representations of shifted affine quantum groups and Coulomb branches

Authors: Michela Varagnolo, Eric Vasserot

Abstract: We compare the integral category O of shifted affine quantum groups of symmetric and non symmetric types. To do so we compute the K-theoretic analog of the Coulomb branches with symmetrizers introduced by Nakajima and Weekes. This yields an equivalence of the category O with a module category over a new type of quiver Hecke algebras. At the decategorified level, this establishes a connection betwe… ▽ More We compare the integral category O of shifted affine quantum groups of symmetric and non symmetric types. To do so we compute the K-theoretic analog of the Coulomb branches with symmetrizers introduced by Nakajima and Weekes. This yields an equivalence of the category O with a module category over a new type of quiver Hecke algebras. At the decategorified level, this establishes a connection between the Grothendieck group of O and a finite-dimensional module over a simple Lie algebra of unfolded symmetric type. We compute this module in certain cases and give a combinatorial rule for its crystal. △ Less

Submitted 5 July, 2025; v1 submitted 8 March, 2025; originally announced March 2025.

Comments: 55 pages

Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians

Authors: Duiliu-Emanuel Diaconescu, Mauro Porta, Francesco Sala, Olivier Schiffmann, Eric Vasserot

Abstract: We begin the systematic study of cohomological Hecke operators of modifications of coherent sheaves on a smooth surface $X$, along a fixed proper curve $Z \subset X$. We develop the necessary geometric foundations in order to define the $T$-equivariant cohomological Hall algebra $\mathbf{HA}^{\mathbf{D}, T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in… ▽ More We begin the systematic study of cohomological Hecke operators of modifications of coherent sheaves on a smooth surface $X$, along a fixed proper curve $Z \subset X$. We develop the necessary geometric foundations in order to define the $T$-equivariant cohomological Hall algebra $\mathbf{HA}^{\mathbf{D}, T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in the setting of a general motivic formalism $\mathbf{D}$. The algebra $\mathbf{HA}^{\mathbf{D}, A}_{X,Z}$ is functorial with respect to closed immersions $Z' \subset Z$ and transformations of the motivic formalism $\mathbf{D}$, and only depends on the formal neighborhood $\widehat{X}_Z$ of $Z$ in $X$. Assume $\mathbf{D}$ gives rise to Borel-Moore homology. When $X$ is a resolution of a Kleinian singularity and $Z$ is the exceptional divisor, we explicitly identify $\mathbf{HA}^T_{X,Z}$ with a completed nonstandard positive half $\mathbb{Y}^+_\infty(\mathfrak{g})$ of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE type Lie algebra $\mathfrak{g}$. Let $Z_1,Z_2 \subset X$ be curves with $Z_1\cap Z_2$ being zero-dimensional. We conjecture a PBW type theorem relating the COHAs of the pairs $(X, Z_1\cup Z_2), (X, Z_1)$, and $(X, Z_2)$ and partially prove it in several interesting cases, including all Kleinian resolutions of singularities and elliptic surfaces of types $D$ and $E$. Our main tools are: (i) a continuity theorem describing the behavior of COHAs of objects in the heart of $t$-structures $τ_n$ when the sequence $(τ_n)_n$ converges in an appropriate sense to a fixed $t$-structure $τ_\infty$; (ii) a theorem relating the action of the braid group $B_Q$ by derived autoequivalences on the preprojective algebra of a quiver $Q$ with the algebraic action of $B_Q$ on the associated COHA $\mathbf{HA}^T_Q$. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Comments: v1: 335 pages

MSC Class: 14A20 (Primary); 17B37; 55P99 (Secondary)

Cohomological Hall algebras of quivers and Yangians

Authors: Olivier Schiffmann, Eric Vasserot

Abstract: We construct an isomorphism between the preprojective cohomological Hall algebra of an arbitrary quiver and a positive half of the corresponding Maulik-Okounkov Yangian, which intertwines the respective actions on the cohomology of the Nakajima quiver varieties. We use this to prove a conjecture of Okounkov relating the character of the Maulik-Okounkov Lie algebra to Kac polynomials. We construct an isomorphism between the preprojective cohomological Hall algebra of an arbitrary quiver and a positive half of the corresponding Maulik-Okounkov Yangian, which intertwines the respective actions on the cohomology of the Nakajima quiver varieties. We use this to prove a conjecture of Okounkov relating the character of the Maulik-Okounkov Lie algebra to Kac polynomials. △ Less

Submitted 21 June, 2024; v1 submitted 25 December, 2023; originally announced December 2023.

Comments: 55 pages

Coherent sheaves on surfaces, COHAs and deformed $W_{1+\infty}$-algebras

Authors: Anton Mellit, Alexandre Minets, Olivier Schiffmann, Eric Vasserot

Abstract: We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical bundle, this COHA is isomorphic to the enveloping algebra of deformed trigonometric $W_{1+\infty}$-algebra associated to the ring $H^*(S,\mathbb{Q})$. We also def… ▽ More We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical bundle, this COHA is isomorphic to the enveloping algebra of deformed trigonometric $W_{1+\infty}$-algebra associated to the ring $H^*(S,\mathbb{Q})$. We also define a double of this COHA, show that it acts on the homology of various moduli stacks of sheaves on $S$ and explicitly describe this action on the products of tautological classes. Examples include Hilbert schemes of points on surfaces, the moduli stack of Higgs bundles on a smooth projective curve and the moduli stack of $1$-dimensional sheaves on a $K3$ surface in an ample class. The double COHA is shown to contain Nakajima's Heisenberg algebra, as well as a copy of the Virasoro algebra. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 68 pages

Report number: MPIM-Bonn-2023

Non symmetric quantum loop groups and K-theory

Authors: Michela Varagnolo, Eric Vasserot

Abstract: We realize the quantum loop groups and shifted quantum loop groups of arbitrary types, possibly non symmetric, using critical K-theory. This generalizes the Nakajima construction of symmetric quantum loop groups via quiver varieties to non symmetric types. We also give a new geometric construction of some simple modules of both quantum loop groups and shifted quantum loop groups. We realize the quantum loop groups and shifted quantum loop groups of arbitrary types, possibly non symmetric, using critical K-theory. This generalizes the Nakajima construction of symmetric quantum loop groups via quiver varieties to non symmetric types. We also give a new geometric construction of some simple modules of both quantum loop groups and shifted quantum loop groups. △ Less

Submitted 11 December, 2023; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: 57 pages. Rewritten. The new version is merged with arXiv:2302.01418

Quantum loop groups and critical convolution algebras

Authors: Michela Varagnolo, Eric Vasserot

Abstract: We realize geometrically a family of simple modules of (shifted) quantum loop groups including Kirillov-Reshetikhin and prefundamental representations. To do this, we introduce a new family of algebras attached to quivers with potentials, using critical K-theory and critical Borel-Moore homology, which generalizes the convolution algebras attached to quivers defined by Nakajima. We realize geometrically a family of simple modules of (shifted) quantum loop groups including Kirillov-Reshetikhin and prefundamental representations. To do this, we introduce a new family of algebras attached to quivers with potentials, using critical K-theory and critical Borel-Moore homology, which generalizes the convolution algebras attached to quivers defined by Nakajima. △ Less

Submitted 3 September, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 53 pages

A geometric realization of the center of the small quantum group

Authors: Roman Bezrukavnikov, Pablo Boixeda Alvarez, Peng Shan, Eric Vasserot

Abstract: We propose a new geometric model for the center of the small quantum group using the cohomology of certain affine Springer fibers. More precisely, we establish an isomorphism between the equivariant cohomology of affine Spaltenstein fibers for a split element and the center of the deformed graded modules for the small quantum group. We also obtain an embedding from the invariant part of the nonequ… ▽ More We propose a new geometric model for the center of the small quantum group using the cohomology of certain affine Springer fibers. More precisely, we establish an isomorphism between the equivariant cohomology of affine Spaltenstein fibers for a split element and the center of the deformed graded modules for the small quantum group. We also obtain an embedding from the invariant part of the nonequivariant cohomology under the action of the extended affine Weyl group to the invariant part of the center of the small quantum group under Langlands dual group action, which we conjecture to be an isomorphism. Finally, we give a dimension formula for the invariants on the cohomology side, thus providing a lower bound for the dimension of the center. △ Less

Submitted 17 January, 2023; v1 submitted 12 May, 2022; originally announced May 2022.

Comments: 56 pages

K-theoretic Hall algebras, quantum groups and super quantum groups

Authors: Michela Varagnolo, Eric Vasserot

Abstract: We first prove that the K-theoretic Hall algebra of a preprojective algebra of affine type is isomorphic to the positive half of a quantum toroidal quantum group. An essential step consists to deform the K-theoretic Hall algebra so that the deformation is torsion free over some polynomial subalgebra. Next, we compare super toroidal quantum groups of type A with K-theoretic Hall algebras of quivers… ▽ More We first prove that the K-theoretic Hall algebra of a preprojective algebra of affine type is isomorphic to the positive half of a quantum toroidal quantum group. An essential step consists to deform the K-theoretic Hall algebra so that the deformation is torsion free over some polynomial subalgebra. Next, we compare super toroidal quantum groups of type A with K-theoretic Hall algebras of quivers with potential, which are defined using the Grothendieck groups of categories of singularities of some Landau-Ginzburg models. △ Less

Submitted 28 March, 2022; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: 46 pages, final version, minor corrections

Coherent categorification of quantum loop algebras : the $SL(2)$ case

Authors: Peng Shan, Michela Varagnolo, Eric Vasserot

Abstract: We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove that this equivalence is weakly monoidal. This gives a representation-theoretic categorification of the preprojective K-theoretic Hall algebra considered by Sc… ▽ More We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove that this equivalence is weakly monoidal. This gives a representation-theoretic categorification of the preprojective K-theoretic Hall algebra considered by Schiffmann-Vasserot. Using this categorification, we compare the monoidal categorification of the quantum open unipotent cells of type $A_1^{(1)}$ given by Kang-Kashiwara-Kim-Oh-Park in terms of quiver-Hecke algebras with the one given by Cautis-Williams in terms of equivariant perverse coherent sheaves on the affine Grassmannians. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Comments: 58 pages

The cohomological Hall algebra of a surface and factorization cohomology

Authors: Mikhail Kapranov, Eric Vasserot

Abstract: For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall multiplication. This multiplication involves data (virtual pullbacks) governing the derived moduli stack, i.e., the perfect obstruction theory naturally existing on the n… ▽ More For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall multiplication. This multiplication involves data (virtual pullbacks) governing the derived moduli stack, i.e., the perfect obstruction theory naturally existing on the non-derived stack. By restricting to sheaves with support of given dimension, we obtain several types of Hecke operators. In particular, we study R(S), the Hecke algebra of 0-dimensional sheaves. For the flat case S=A^2, we show that R(S) is an enveloping algebra and identify it, as a vector space, with the symmetric algebra of an explicit graded vector space. For a general S we find the graded dimension of R(S), using the techniques of factorization cohomology. △ Less

Submitted 29 March, 2022; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: 55 pages

On cohomological Hall algebras of quivers : Yangians

Authors: Olivier Schiffmann, Eric Vasserot

Abstract: We consider the cohomological Hall algebra Y of a Lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and its actions on the cohomology of quiver varieties. We conjecture that Y is equal, after a suitable extension of scalars, to the Yangian introduced by Maulik and Okounkov, and we construct an embedding of Y in the Yangian, intertwini… ▽ More We consider the cohomological Hall algebra Y of a Lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and its actions on the cohomology of quiver varieties. We conjecture that Y is equal, after a suitable extension of scalars, to the Yangian introduced by Maulik and Okounkov, and we construct an embedding of Y in the Yangian, intertwining the respective actions of both algebras on the cohomology of quiver varieties. △ Less

Submitted 21 May, 2017; originally announced May 2017.

Comments: 41 pages

On cohomological Hall algebras of quivers : generators

Authors: Olivier Schiffmann, Eric Vasserot

Abstract: We study the cohomological Hall algebra Y of a lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and their actions on the cohomology of Nakajima quiver varieties. We prove that Y is pure and we compute its Poincare polynomials in terms of (nilpotent) Kac polynomials. We also provide a family of algebra generators. We conjecture that Y… ▽ More We study the cohomological Hall algebra Y of a lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver Q, and their actions on the cohomology of Nakajima quiver varieties. We prove that Y is pure and we compute its Poincare polynomials in terms of (nilpotent) Kac polynomials. We also provide a family of algebra generators. We conjecture that Y is equal, after a suitable extension of scalars, to the Yangian introduced by Maulik and Okounkov. As a corollary, we prove a variant of Okounkov's conjecture, which is a generalization of the Kac conjecture relating the constant term of Kac polynomials to root multiplicities of Kac-Moody algebras. △ Less

Submitted 4 April, 2022; v1 submitted 21 May, 2017; originally announced May 2017.

Comments: 69 pages

On the number of points of nilpotent quiver varieties over finite fields

Authors: T. Bozec, O. Schiffmann, E. Vasserot

Abstract: We give a closed expression for the number of points over finite fields (or the motive) of the Lusztig nilpotent variety associated to any quiver, in terms of Kac's A-polynomials. When the quiver has 1-loops or oriented cycles, there are several possible variants of the Lusztig nilpotent variety, and we provide formulas for the point count of each. This involves nilpotent versions of the Kac A-pol… ▽ More We give a closed expression for the number of points over finite fields (or the motive) of the Lusztig nilpotent variety associated to any quiver, in terms of Kac's A-polynomials. When the quiver has 1-loops or oriented cycles, there are several possible variants of the Lusztig nilpotent variety, and we provide formulas for the point count of each. This involves nilpotent versions of the Kac A-polynomial, which we introduce and for which we give a closed formula similar to Hua's formula for the usual Kac A-polynomial. Finally we compute the number of points over a finite field of the various stratas of the Lusztig nilpotent variety involved in the geometric realization of the crystal graph. △ Less

Submitted 7 January, 2017; originally announced January 2017.

Comments: 45 pages, Latex

Journal ref: Ann. Sci. Ec. Norm. Super. 53(6) pp1501-1544, 2020

Categorical actions on unipotent representations of finite classical groups

Authors: Olivier Dudas, Michela Varagnolo, Eric Vasserot

Abstract: We review the categorical representation of a Kac-Moody algebra on unipotent representations of finite unitary groups in non-defining characteristic given by the authors. Then, we extend this construction to finite reductive groups of types B or C, in non-defining characteristic. We show that the decategorified representation is isomorphic to a direct sum of level 2 Fock spaces. We deduce that the… ▽ More We review the categorical representation of a Kac-Moody algebra on unipotent representations of finite unitary groups in non-defining characteristic given by the authors. Then, we extend this construction to finite reductive groups of types B or C, in non-defining characteristic. We show that the decategorified representation is isomorphic to a direct sum of level 2 Fock spaces. We deduce that the Harish-Chandra branching graph coincides with the crystal graph of these Fock spaces. We also obtain derived equivalences between blocks, yielding Broue's abelian defect group conjecture for unipotent l-blocks at linear primes. △ Less

Submitted 4 April, 2016; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 77 pages. arXiv admin note: substantial text overlap with arXiv:1509.03269

Categorical actions on unipotent representations I. Finite unitary groups

Authors: Olivier Dudas, Michela Varagnolo, Eric Vasserot

Abstract: Using Harish-Chandra induction and restriction, we construct a categorical action of a Kac-Moody algebra on the category of unipotent representations of finite unitary groups in non-defining characteristic. We show that the decategorified representation is naturally isomorphic to a direct sum of level 2 Fock spaces. From our construction we deduce that the Harish-Chandra branching graph coincide w… ▽ More Using Harish-Chandra induction and restriction, we construct a categorical action of a Kac-Moody algebra on the category of unipotent representations of finite unitary groups in non-defining characteristic. We show that the decategorified representation is naturally isomorphic to a direct sum of level 2 Fock spaces. From our construction we deduce that the Harish-Chandra branching graph coincide with the crystal graph of these Fock spaces, solving a recent conjecture of Gerber-Hiss-Jacon. We also obtain derived equivalences between blocks, yielding Broué's abelian defect groups conjecture for unipotent $\ell$-blocks at linear primes $\ell$. △ Less

Submitted 10 September, 2015; originally announced September 2015.

Comments: 71 pages

On the center of quiver-Hecke algebras

Authors: P. Shan, M. Varagnolo, E. Vasserot

Abstract: We compute the equivariant cohomology ring of the moduli space of framed instantons over the affine plane. It is a Rees algebra associated with the center of cyclotomic degenerate affine Hecke algebras of type A. We also give some related results on the center of quiver Hecke algebras and cohomology of quiver varieties. We compute the equivariant cohomology ring of the moduli space of framed instantons over the affine plane. It is a Rees algebra associated with the center of cyclotomic degenerate affine Hecke algebras of type A. We also give some related results on the center of quiver Hecke algebras and cohomology of quiver varieties. △ Less

Submitted 16 April, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 72 pages

Journal ref: Duke Math. J. 166, no. 6 (2017), 1005-1101

Categorifications and cyclotomic rational double affine Hecke algebras

Authors: Raphael Rouquier, Peng Shan, Michela Varagnolo, Eric Vasserot

Abstract: 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. 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. △ Less

Submitted 3 June, 2013; v1 submitted 20 May, 2013; originally announced May 2013.

Comments: 85 pages

The spherical Hall algebra of Spec(Z)

Authors: Mikhail Kapranov, Olivier Schiffmann, Eric Vasserot

Abstract: 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… ▽ More 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. △ Less

Submitted 18 February, 2012; originally announced February 2012.

Comments: 50 pages

Cherednik algebras, W algebras and the equivariant cohomology of the moduli space of instantons on A^2

Authors: Olivier Schiffmann, Eric Vasserot

Abstract: 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 o… ▽ More 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. △ Less

Submitted 27 March, 2012; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: 95 pages, Latex2e

The Hall algebra of a curve

Authors: Mikhail Kapranov, Olivier Schiffmann, Eric Vasserot

Abstract: 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. Th… ▽ More 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. △ Less

Submitted 1 March, 2012; v1 submitted 30 January, 2012; originally announced January 2012.

Comments: 74 pages

Koszul duality of affine Kac-Moody algebras and cyclotomic rational DAHA

Authors: Peng Shan, Michela Varagnolo, Eric Vasserot

Abstract: 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. 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. △ Less

Submitted 19 August, 2013; v1 submitted 1 July, 2011; originally announced July 2011.

Heisenberg algebras and rational double affine Hecke algebras

Authors: P. Shan, Eric Vasserot

Abstract: 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. 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. △ Less

Submitted 5 February, 2011; v1 submitted 30 November, 2010; originally announced November 2010.

Comments: 57 pages

Hall algebras of curves, commuting varieties and Langlands duality

Authors: O. Schiffmann, E. Vasserot

Abstract: We construct an isomorphism between the (universal) spherical Hall algebra of a smooth projective curve of genus g and a convolution algebra in the (equivariant) K-theory of the genus g commuting varieties C_{{gl}_r}={(x_i, y_i) \in {gl}_r^{2g}; \sum_{i=1}^g [x_i,y_i]=0}. We can view this isomorphism as a version of the geometric Langlands duality in the formal neighborhood of the trivial local sy… ▽ More We construct an isomorphism between the (universal) spherical Hall algebra of a smooth projective curve of genus g and a convolution algebra in the (equivariant) K-theory of the genus g commuting varieties C_{{gl}_r}={(x_i, y_i) \in {gl}_r^{2g}; \sum_{i=1}^g [x_i,y_i]=0}. We can view this isomorphism as a version of the geometric Langlands duality in the formal neighborhood of the trivial local system, for the group GL_r. We extend this to all reductive groups and we compute the image, under our correspondence, of the skyscraper sheaf supported on the trivial local system. △ Less

Submitted 3 September, 2010; originally announced September 2010.

Comments: 39 pages, Latex

Supersymmetry and the formal loop space

Authors: Mikhail Kapranov, Eric Vasserot

Abstract: 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… ▽ More 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. △ Less

Submitted 21 July, 2010; v1 submitted 24 May, 2010; originally announced May 2010.

Canonical bases and affine Hecke algebras of type D

Authors: Peng Shan, Michela Varagnolo, Eric Vasserot

Abstract: 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. 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. △ Less

Submitted 31 May, 2010; v1 submitted 21 December, 2009; originally announced December 2009.

Comments: 24 pages

Double affine Hecke algebras and affine flag manifolds, I

Authors: Michela Varagnolo, Eric Vasserot

Abstract: This lecture reviews the classification of simple modules of double affine Hecke algebras via the K-theory of Steinberg varieties of affine type This lecture reviews the classification of simple modules of double affine Hecke algebras via the K-theory of Steinberg varieties of affine type △ Less

Submitted 27 November, 2009; originally announced November 2009.

Comments: 52 pages

Canonical bases and affine Hecke algebras of type B

Authors: Michela Varagnolo, Eric Vasserot

Abstract: 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 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. △ Less

Submitted 31 May, 2010; v1 submitted 27 November, 2009; originally announced November 2009.

Comments: 82 pages

The elliptic Hall algebra and the equivariant K-theory of the Hilbert scheme of $\mathbb{A}^2$

Authors: Olivier Schiffmann, Eric Vasserot

Abstract: 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 var… ▽ More 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,...). △ Less

Submitted 13 February, 2012; v1 submitted 15 May, 2009; originally announced May 2009.

Comments: 57 pages, Latex, some minor corrections; a section added on Casimir operators and Heisenberg subalgebras; more details on the higher rank case

Journal ref: Duke Math. J. 162, no. 2 (2013), 279-366

Canonical bases and Khovanov-Lauda algebras

Authors: M. Varagnolo, E. Vasserot

Abstract: We prove some recent conjectures of Khovanov-Lauda concerning the categorification of one-half of the quantum group associated with a simply laced Cartan datum. We prove some recent conjectures of Khovanov-Lauda concerning the categorification of one-half of the quantum group associated with a simply laced Cartan datum. △ Less

Submitted 6 January, 2010; v1 submitted 26 January, 2009; originally announced January 2009.

Cyclotomic double affine Hecke algebras and affine parabolic category O, I

Authors: M. Varagnolo, E. Vasserot

Abstract: Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor. Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor. △ Less

Submitted 15 February, 2010; v1 submitted 28 October, 2008; originally announced October 2008.

The elliptic Hall algebra, Cherednick Hecke algebras and Macdonald polynomials

Authors: Olivier Schiffmann, Eric Vasserot

Abstract: 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… ▽ More 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). △ Less

Submitted 27 February, 2008; originally announced February 2008.

Comments: 47 pages

Journal ref: Compositio Math. 147 (2011) 188-234

Finite dimensional representations of DAHA and affine Springers fibers : the spherical case

Authors: M. Varagnolo, E. Vasserot

Abstract: We classify finite dimensional simple spherical representations of rational double affine Hecke algebras, and we study a remarkable family of finite dimensional simple spherical representations of double affine Hecke algebras. We classify finite dimensional simple spherical representations of rational double affine Hecke algebras, and we study a remarkable family of finite dimensional simple spherical representations of double affine Hecke algebras. △ Less

Submitted 3 July, 2007; v1 submitted 18 May, 2007; originally announced May 2007.

Comments: 79 pages. Corrected typos

MSC Class: 17B37

Riemann-Roch for real varieties

Authors: P. Bressler, M. Kapranov, B. Tsygan, E. Vasserot

Abstract: If E is a C^\infty complex vector bundle on an oriented C^\infty manifold Σ, diffeomorphic to a circle, then the space of sections of E has a canonical polarization in the sense of Pressley and Segal and so one has its determinantal gerbe with lien C^*, the group of nonzero complex numbers. If q:Σ-->B is a smooth family of circles as above and E is a vector bundle on Σ, then the smooth direct… ▽ More If E is a C^\infty complex vector bundle on an oriented C^\infty manifold Σ, diffeomorphic to a circle, then the space of sections of E has a canonical polarization in the sense of Pressley and Segal and so one has its determinantal gerbe with lien C^*, the group of nonzero complex numbers. If q:Σ-->B is a smooth family of circles as above and E is a vector bundle on Σ, then the smooth direct image q_*(E) is an infinite-dimensional bundle with fibers as above and so we have its determinantal gerbe on B with lien being the sheaf of invertible complex valued C^\infty functions, it gives a class in H^3(B, Z). In this paper we consider a family q:Σ-->B as above but with fibers being compact oriented C^\infty manifolds of dimension d. For a bundle E on Σone expects q_*(E) to possess a determinantal d-gerbe and hence to give a class in H^{d+2}(B, Z). We construct directly, by means of a version of the Chern-Weil theory, the real version of this would be class. We further prove a real version of the Grothendieck-Riemann-Roch theorem describing this class as a direct image of a certain characteristic class of E. △ Less

Submitted 24 December, 2006; v1 submitted 14 December, 2006; originally announced December 2006.

Comments: 36 pages

Formal loops IV: Chiral differential operators

Authors: M. Kapranov, E. Vasserot

Abstract: We relate the gerbe of sheaves of chiral differential operators (CDO) on a algebraic variety X, studied by Gorbounov, Malikov and Schechtman, to the determinantal gerbe of the formal loop space LX introduced in our earlier paper. The liens of the two gerbes are related by a version of the symplectic action homomorphism. The determinantal gerbe of LX has a factorization structure in the spirit of… ▽ More We relate the gerbe of sheaves of chiral differential operators (CDO) on a algebraic variety X, studied by Gorbounov, Malikov and Schechtman, to the determinantal gerbe of the formal loop space LX introduced in our earlier paper. The liens of the two gerbes are related by a version of the symplectic action homomorphism. The determinantal gerbe of LX has a factorization structure in the spirit of Beilinson and Drinfeld. In our identification, sheaves of CDO correspond to factorizing objects of this factorization gerbe. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Double affine Hecke algebras at roots of unity

Authors: M. Varagnolo, E. Vasserot

Abstract: We study double affine Hecke algebras at roots of unity and their relations with deformed Hilbert schemes. We study double affine Hecke algebras at roots of unity and their relations with deformed Hilbert schemes. △ Less

Submitted 5 April, 2010; v1 submitted 31 March, 2006; originally announced March 2006.

Comments: 101 pages. Final version.

Formal loops III: Factorizing functions and the Radon transform

Authors: M. Kapranov, E. Vasserot

Abstract: To any algebraic variety X and and closed 2-form ωon X, we associate the "symplectic action functional" T(ω) which is a function on the formal loop space LX introduced by the authors in math.AG/0107143. The correspondence ω--> T(ω) can be seen as a version of the Radon transform. We give a characterization of the functions of the form T(ω) in terms of factorizability (infinitesimal analog of a… ▽ More To any algebraic variety X and and closed 2-form ωon X, we associate the "symplectic action functional" T(ω) which is a function on the formal loop space LX introduced by the authors in math.AG/0107143. The correspondence ω--> T(ω) can be seen as a version of the Radon transform. We give a characterization of the functions of the form T(ω) in terms of factorizability (infinitesimal analog of additivity in holomorphic pairs of pants) as well as in terms of vertex operator algebras. These results will be used in the subsequent paper which will relate the gerbe of chiral differential operators on X (whose lien is the sheaf of closed 2-forms) and the determinantal gerbe of the tangent bundle of LX (whose lien is the sheaf of invertible functions on LX). On the level of liens this relation associates to a closed 2-form ωthe invertible function exp T(ω). △ Less

Submitted 25 October, 2005; v1 submitted 21 October, 2005; originally announced October 2005.

Comments: 23 pages

Formal loops II: A local Riemann-Roch theorem for determinantal gerbes

Authors: M. Kapranov, E. Vasserot

Abstract: If V is a bundle of Tate vector spaces over a base B, its determinantal gerbe has a class C_1(V) in the second cohomology group of the sheaf of invertible functions which can be seen as the Deligne cohomology H^3(B, Z(2)). An example of such a "Tate bundle" can be obtained from a finite rank vector bundle E on the product of B and a punctured formal disk. Our main result identifies the corresp… ▽ More If V is a bundle of Tate vector spaces over a base B, its determinantal gerbe has a class C_1(V) in the second cohomology group of the sheaf of invertible functions which can be seen as the Deligne cohomology H^3(B, Z(2)). An example of such a "Tate bundle" can be obtained from a finite rank vector bundle E on the product of B and a punctured formal disk. Our main result identifies the corresponding C_1(V) with the cohomological direct image of ch_2(E), the second Chern character of E. It can be seen as a "local" version of the Riemann-Roch-Grothendieck theorem for a family of curves. This theorem explains the results of Gorbounov, Malikov and Schechtman relating ch_2 of the tangent bundle of an algebraic variety X to the existence of a sheaf of chiral differential operators. To be precise, it implies that the determinantal anomaly of the formal loop space of X is the transgression of ch_2(TX). △ Less

Submitted 27 September, 2005; originally announced September 2005.

Comments: 25 pages

From double affine Hecke algebras to quantized affine Schur algebras

Authors: Michela Varagnolo, Eric Vasserot

Abstract: We prove that the double affine Hecke algebra of type A is Morita equivalent to the quantized affine Schur algebra. We prove that the double affine Hecke algebra of type A is Morita equivalent to the quantized affine Schur algebra. △ Less

Submitted 4 September, 2003; v1 submitted 3 July, 2003; originally announced July 2003.

Comments: 27 pages

Induced and simple modules of double affine Hecke algebras

Authors: E. Vasserot

Abstract: We classify the simple integrable modules of double affine Hecke algebras via perverse sheaves. We get also some estimate for the Jordan-Holder multiplicities of induced modules. We classify the simple integrable modules of double affine Hecke algebras via perverse sheaves. We get also some estimate for the Jordan-Holder multiplicities of induced modules. △ Less

Submitted 9 July, 2004; v1 submitted 16 July, 2002; originally announced July 2002.

Comments: AMS-TeX, 53 pages

Canonical bases and quiver varieties

Authors: M. Varagnolo, E. Vasserot

Abstract: We prove the existence of canonical bases in the K-theory of quiver varieties. This existence was conjectured by Lusztig. We prove the existence of canonical bases in the K-theory of quiver varieties. This existence was conjectured by Lusztig. △ Less

Submitted 1 July, 2003; v1 submitted 24 July, 2001; originally announced July 2001.

Comments: final version

Vertex algebras and the formal loop space

Authors: M. Kapranov, E. Vasserot

Abstract: We introduce an algebro-geometric version of the free loop space for any scheme X of finite type. This is an ind-scheme of ind-infinite type containing the scheme of formal germs of curves on X. Then, we give a direct geometric construction, for smooth X, of the chiral de Rham complex of X (introduced by Malikov, Schechtman and Vaintrob). We introduce an algebro-geometric version of the free loop space for any scheme X of finite type. This is an ind-scheme of ind-infinite type containing the scheme of formal germs of curves on X. Then, we give a direct geometric construction, for smooth X, of the chiral de Rham complex of X (introduced by Malikov, Schechtman and Vaintrob). △ Less

Submitted 9 July, 2004; v1 submitted 20 July, 2001; originally announced July 2001.

Comments: AMS-TeX, 61 pages

Perverse sheaves and quantum Grothendieck rings

Authors: Michela Varagnolo, Eric Vasserot

Abstract: 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 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. △ Less

Submitted 23 April, 2001; v1 submitted 27 March, 2001; originally announced March 2001.

Comments: 20 pages

Sur l'anneau de cohomologie du schéma de Hilbert de $\CC^2$

Authors: E. Vasserot

Abstract: We express the product of the cohomology ring of the Hilbert scheme in terms of the center of the algebra of the symmetric group. We give a conjecture for the case of crepant resolutions of symplectic quotient singularities. We express the product of the cohomology ring of the Hilbert scheme in terms of the center of the algebra of the symmetric group. We give a conjecture for the case of crepant resolutions of symplectic quotient singularities. △ Less

Submitted 13 September, 2000; originally announced September 2000.

Comments: AMS-TeX, 5 pages

Standard modules of quantum affine algebras

Authors: Michela Varagnolo, Eric Vasserot

Abstract: 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 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. △ Less

Submitted 21 March, 2001; v1 submitted 11 June, 2000; originally announced June 2000.

Comments: final version, accepted for publication in DMJ

On the action of the dual group on the cohomology of perverse sheaves on the affine grassmannian

Authors: E. Vasserot

Abstract: It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on th… ▽ More It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on the global cohomology of a perverse sheaf. △ Less

Submitted 2 May, 2000; originally announced May 2000.

Comments: AMS-TeX, 9 pages

Geometric construction of the global base of the quantum modified algebra of affine GL_N

Authors: O. Schiffmann, E. Vasserot

Abstract: We prove that the global base of the modified quantum algebra of affine GL_N is compatible with the intersection cohomology base of the convolution algebra of the affine flag variety. As a consequence we prove a recent conjecture of Lusztig on the compatibility of the intersection cohomology base with respect to transfer maps. We prove that the global base of the modified quantum algebra of affine GL_N is compatible with the intersection cohomology base of the convolution algebra of the affine flag variety. As a consequence we prove a recent conjecture of Lusztig on the compatibility of the intersection cohomology base with respect to transfer maps. △ Less

Submitted 2 March, 1999; originally announced March 1999.

Comments: 12 pages, AMS-TeX

On the K-theory of the cyclic quiver variety

Authors: Michela Varagnolo, Eric Vasserot

Abstract: 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 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. △ Less

Submitted 15 February, 1999; originally announced February 1999.

Comments: 22 pages, AMS-tex

Kleinian singularities, derived categories and Hall algebras

Authors: M. Kapranov, E. Vasserot

Abstract: We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of the category of coherent sheaves on an algebraic surface. We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of the category of coherent sheaves on an algebraic surface. △ Less

Submitted 2 March, 1999; v1 submitted 2 December, 1998; originally announced December 1998.

Comments: 12 pages, TeX

Zelevinsky's involution at roots of unity

Authors: B. Leclerc, J. -Y. Thibon, E. Vasserot

Abstract: We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same map can also be interpreted in terms of aperiodic nilpotent orbits of $\Zb/n\Zb$-graded vector spaces. We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same map can also be interpreted in terms of aperiodic nilpotent orbits of $\Zb/n\Zb$-graded vector spaces. △ Less

Submitted 11 June, 1998; originally announced June 1998.

Comments: 17 pages, Latex, epsf macros

Affine quantum groups and equivariant K-theory

Authors: Eric Vasserot

Abstract: 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). 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). △ Less

Submitted 7 March, 1998; originally announced March 1998.

Comments: 30 pages, plain tex