Showing 1–50 of 57 results for author: Schiffmann, O

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)

The Langlands formula and perverse sheaves

Authors: Mikhail Kapranov, Vadim Schechtman, Olivier Schiffmann, Jiangfan Yuan

Abstract: For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category… ▽ More For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t. the natural stratification. We construct a category $\boldsymbol{\mathcal{C}}$ such that $\text{Perv}(W\backslash \mathfrak{h})$ is identified with the category of functors from $\boldsymbol{\mathcal{C}}$ to vector spaces. Objects of $\boldsymbol{\mathcal{C}}$ are labelled by standard parabolic subalgebras in $\mathfrak{g}$. It has morphisms analogous to the operations of parabolic induction (Eisenstein series) and restriction (constant term) of automorphic forms. In particular, the Langlands formula for the constant term of an Eisenstein series has a counterpart in the form of an identity in $\boldsymbol{\mathcal{C}}$. We define $\boldsymbol{\mathcal{C}}$ as the category of $W$-invariants (in an appropriate sense) in the category $Q$ describing perverse sheaves on $\mathfrak{h}$ smooth w.r.t. the root arrangement. This matches, in an interesting way, the definition of $W \backslash \mathfrak{h}$ itself as the spectrum of the algebra of $W$-invariants. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Comments: 48 pages, color figures

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

$P=W$ via $\mathcal{H}_2$

Authors: Tamas Hausel, Anton Mellit, Alexandre Minets, Olivier Schiffmann

Abstract: Let $\mathcal{H}_2$ be the Lie algebra of polynomial Hamiltonian vector fields on the symplectic plane. Let $X$ be the moduli space of stable Higgs bundles of fixed relatively prime rank and degree, or more generally the moduli space of stable parabolic Higgs bundles of arbitrary rank and degree for a generic stability condition. Let $H^*(X)$ be the cohomology with rational coefficients. Using the… ▽ More Let $\mathcal{H}_2$ be the Lie algebra of polynomial Hamiltonian vector fields on the symplectic plane. Let $X$ be the moduli space of stable Higgs bundles of fixed relatively prime rank and degree, or more generally the moduli space of stable parabolic Higgs bundles of arbitrary rank and degree for a generic stability condition. Let $H^*(X)$ be the cohomology with rational coefficients. Using the operations of cup-product by tautological classes and Hecke correspondences we construct an action of $\mathcal{H}_2$ on $H^*(X)[x,y]$, where $x$ and $y$ are formal variables. We show that the perverse filtration on $H^*(X)$ coincides with the filtration canonically associated to $\mathfrak{sl}_2\subset \mathcal{H}_2$ and deduce the $P=W$ conjecture of de Cataldo-Hausel-Migliorini. △ Less

Submitted 17 January, 2025; v1 submitted 12 September, 2022; originally announced September 2022.

Comments: 54 pages. Improved exposition, added many details, W-algebra setup split into arXiv:2311.13415

Shuffle algebras for quivers as quantum groups

Authors: Andrei Neguţ, Francesco Sala, Olivier Schiffmann

Abstract: We define a quantum loop group $\mathbf{U}^+_Q$ associated to an arbitrary quiver $Q=(I,E)$ and maximal set of deformation parameters, with generators indexed by $I \times \mathbb{Z}$ and some explicit quadratic and cubic relations. We prove that $\mathbf{U}^+_Q$ is isomorphic to the (generic, small) shuffle algebra associated to the quiver $Q$ and hence, by [Neg21a], to the localized K-theoretic… ▽ More We define a quantum loop group $\mathbf{U}^+_Q$ associated to an arbitrary quiver $Q=(I,E)$ and maximal set of deformation parameters, with generators indexed by $I \times \mathbb{Z}$ and some explicit quadratic and cubic relations. We prove that $\mathbf{U}^+_Q$ is isomorphic to the (generic, small) shuffle algebra associated to the quiver $Q$ and hence, by [Neg21a], to the localized K-theoretic Hall algebra of $Q$. For the quiver with one vertex and $g$ loops, this yields a presentation of the spherical Hall algebra of a (generic) smooth projective curve of genus $g$ (invoking the results of [SV12]). We extend the above results to the case of non-generic parameters satisfying a certain natural metric condition. As an application, we obtain a description by generators and relations of the subalgebra generated by absolutely cuspidal eigenforms of the Hall algebra of an arbitrary smooth projective curve (invoking the results of [KSV17]). △ Less

Submitted 2 October, 2024; v1 submitted 30 October, 2021; originally announced November 2021.

Comments: v4: Published version, v3: Added Section 5 (concerning special values of the parameters) and Section 7 (on the Hall algebra of an arbitrary curve)

Fock space representation of the circle quantum group

Authors: Francesco Sala, Olivier Schiffmann

Abstract: In [arXiv:1711.07391] we have defined quantum groups $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ and $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$, which can be interpreted as continuous generalizations of the quantum groups of the Kac-Moody Lie algebras of finite, respectively affine type $A$. In the present paper, we define the Fock space representation $\mathcal{F}_{\mathbb{R}}$ of the quantum… ▽ More In [arXiv:1711.07391] we have defined quantum groups $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ and $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$, which can be interpreted as continuous generalizations of the quantum groups of the Kac-Moody Lie algebras of finite, respectively affine type $A$. In the present paper, we define the Fock space representation $\mathcal{F}_{\mathbb{R}}$ of the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(\mathbb{R}))$ as the vector space generated by real pyramids (a continuous generalization of the notion of partition). In addition, by using a variant of the "folding procedure" of Hayashi-Misra-Miwa, we define an action of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ on $\mathcal{F}_{\mathbb{R}}$. △ Less

Submitted 21 April, 2020; v1 submitted 7 March, 2019; originally announced March 2019.

Comments: 25 pages; v2: 29 pages, Final version published in IMRN

Report number: IPMU--19--0027 MSC Class: 17B37; 22E65

Continuum Kac-Moody algebras

Authors: Andrea Appel, Francesco Sala, Olivier Schiffmann

Abstract: We introduce a new class of infinite-dimensional Lie algebras, which we refer to as continuum Kac-Moody algebras. Their construction is closely related to that of usual Kac-Moody algebras, but they feature a continuum root system with no simple roots. Their Cartan datum encodes the topology of a one-dimensional real space and can be thought of as a generalization of a quiver, where vertices are re… ▽ More We introduce a new class of infinite-dimensional Lie algebras, which we refer to as continuum Kac-Moody algebras. Their construction is closely related to that of usual Kac-Moody algebras, but they feature a continuum root system with no simple roots. Their Cartan datum encodes the topology of a one-dimensional real space and can be thought of as a generalization of a quiver, where vertices are replaced by connected intervals. For these Lie algebras, we prove an analogue of the Gabber-Kac-Serre theorem, providing a complete set of defining relations featuring only quadratic Serre relations. Moreover, we provide an alternative realization as continuum colimits of symmetric Borcherds-Kac-Moody algebras with at most isotropic simple roots. The approach we follow deeply relies on the more general notion of a semigroup Lie algebra and its structural properties. △ Less

Submitted 27 April, 2021; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: Final version. Minor changes. Technical proofs moved to Appendix. Prop. 6.13 corrected. 42 pages. To appear in the Moscow Mathematical Journal

MSC Class: 17B65; 17B67

Kac polynomials and Lie algebras associated to quivers and curves

Authors: Olivier Schiffmann

Abstract: A survey of the theory of Kac polynomials for quivers and for curves. In particular, we describe the representation-theoretic meaning of Kac polynomials in terms of Hall algebras, and the geometric meaning of Kac polynomials in relation to the geometry of moduli spaces of representations of quivers or vector bundles on smooth projective curves. We end with some heuristics concerning a family of in… ▽ More A survey of the theory of Kac polynomials for quivers and for curves. In particular, we describe the representation-theoretic meaning of Kac polynomials in terms of Hall algebras, and the geometric meaning of Kac polynomials in relation to the geometry of moduli spaces of representations of quivers or vector bundles on smooth projective curves. We end with some heuristics concerning a family of infinite-dimensional $\mathbb{Z}^2$-graded Lie algebras attached to curves of a fixed genus (over a finite field), whose 'Cartan datum' encodes the dimension of the spaces of absolutely cuspidal functions. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: A (very much belated) ICM report

Cohomological Hall algebra of Higgs sheaves on a curve

Authors: Francesco Sala, Olivier Schiffmann

Abstract: We define the cohomological Hall algebra ${AHA}_{Higgs(X)}$ of the ($2$-dimensional) Calabi-Yau category of Higgs sheaves on a smooth projective curve $X$, as well as its nilpotent and semistable variants, in the context of an arbitrary oriented Borel-Moore homology theory. In the case of usual Borel-Moore homology, ${AHA}_{Higgs(X)}$ is a module over the (universal) cohomology ring $\mathbb{H}$ o… ▽ More We define the cohomological Hall algebra ${AHA}_{Higgs(X)}$ of the ($2$-dimensional) Calabi-Yau category of Higgs sheaves on a smooth projective curve $X$, as well as its nilpotent and semistable variants, in the context of an arbitrary oriented Borel-Moore homology theory. In the case of usual Borel-Moore homology, ${AHA}_{Higgs(X)}$ is a module over the (universal) cohomology ring $\mathbb{H}$ of the stacks of coherent sheaves on $X$ . We show that it is a torsion-free $\mathbb{H}$-module, and we provide an explicit collection of generators (the collection of fundamental classes $[Coh_{r,d}]$ of the zero-sections of the map $Higgs_{r,d} \to Coh_{r,d}$, for $r \geq 0, d \in Z$). △ Less

Submitted 21 April, 2020; v1 submitted 10 January, 2018; originally announced January 2018.

Comments: Latex, 22 pages; v2: 28 pages, Final version published in Algebraic Geometry

Report number: IPMU--18--0002 MSC Class: 17B37; 14A20

The circle quantum group and the infinite root stack of a curve (with an appendix by Tatsuki Kuwagaki)

Authors: Francesco Sala, Olivier Schiffmann

Abstract: In the present paper, we give a definition of the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ of the circle $S^1\colon =\mathbb{R}/\mathbb{Z}$, and its fundamental representation. Such a definition is motivated by a realization of a quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ associated to the rational circle $S^1_\mathbb{Q}\colon= \mathbb{Q}/\mathbb{Z}$ as a dir… ▽ More In the present paper, we give a definition of the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ of the circle $S^1\colon =\mathbb{R}/\mathbb{Z}$, and its fundamental representation. Such a definition is motivated by a realization of a quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ associated to the rational circle $S^1_\mathbb{Q}\colon= \mathbb{Q}/\mathbb{Z}$ as a direct limit of $\mathbf{U}_\upsilon(\widehat{\mathfrak{sl}}(n))$'s, where the order is given by divisibility of positive integers. The quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ arises as a subalgebra of the Hall algebra of coherent sheaves on the infinite root stack $X_\infty$ over a fixed smooth projective curve $X$ defined over a finite field. Via this Hall algebra approach, we are able to realize geometrically the fundamental and the tensor representations, and a family of symmetric tensor representations, depending on the genus $g_X$, of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$. Moreover, we show that $\mathbf{U}_\upsilon(\widehat{\mathfrak{sl}}(+\infty))$ and $\mathbf{U}_\upsilon(\widehat{\mathfrak{sl}}(\infty))$ are subalgebras of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$. As proved by T. Kuwagaki in the appendix, the quantum group $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1))$ naturally arises as well in the mirror dual picture, as a Hall algebra of constructible sheaves on the circle $S^1$. △ Less

Submitted 21 April, 2020; v1 submitted 20 November, 2017; originally announced November 2017.

Comments: 63 pages, Latex; Introduction largely rewritten, a new section comparing $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$ to other known infinite quantum groups is added, as well as an appendix by T. Kuwagaki giving a mirror dual construction of $\mathbf{U}_\upsilon(\mathfrak{sl}(S^1_\mathbb{Q}))$; v3: 64 pages, Final version published in Selecta Mathematica

Counting absolutely cuspidals for quivers

Authors: T. Bozec, O. Schiffmann

Abstract: For an arbitrary quiver Q and dimension vector d we prove that the dimension of the space of cuspidal functions on the moduli stack of representations of Q of dimension d over a finite field F_q is given by a polynomial in q with rational coefficients. We define a variant of this polynomial counting absolutely cuspidal functions, prove that it has integral coefficients and conjecture that it has p… ▽ More For an arbitrary quiver Q and dimension vector d we prove that the dimension of the space of cuspidal functions on the moduli stack of representations of Q of dimension d over a finite field F_q is given by a polynomial in q with rational coefficients. We define a variant of this polynomial counting absolutely cuspidal functions, prove that it has integral coefficients and conjecture that it has positive coefficients. In the case of totally negative quivers (such as the g-loop quiver for g >1) we provide a closed formula for these polynomials in terms of Kac polynomials. △ Less

Submitted 26 February, 2019; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 20 pages, Latex; integrality theorem proved, some references added, most notably to a 2003 paper of B. Deng, J. Xiao establishing polynomiality of cuspidal count

Journal ref: Math. Z. 292(1-2) pp133-149, 2019

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

Counting Higgs bundles and type A quiver bundles

Authors: Sergey Mozgovoy, Olivier Schiffmann

Abstract: We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus g, defined over a finite field, when the degree of the twisting line bundle is at least 2g-2; this includes the case of usual Higgs bundles. We obtain at the same time a closed expression for the Donaldson-Thomas invariants of the moduli spaces of tw… ▽ More We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus g, defined over a finite field, when the degree of the twisting line bundle is at least 2g-2; this includes the case of usual Higgs bundles. We obtain at the same time a closed expression for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver bundles of type A (affine or finite), obtaining in particular a Harder-Narasimhan-type formula counting semistable U(p,q)-bundles over any smooth projective curve over a finite field. △ Less

Submitted 13 May, 2017; originally announced May 2017.

Comments: Improved version of arXiv:1411.2101 to now include the case of type A quiver bundles as well. 22 pages

Journal ref: Compositio Math. 156 (2020) 744-769

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

Kac polynomials for canonical algebras

Authors: P. -G. Plamondon, O. Schiffmann

Abstract: We prove that the number of geometrically indecomposable representations of fixed dimension vector d of a canonical algebra C defined over a finite field Fq is given by a polynomial in q (depending on C and d). We prove a similar result for squid algebras (and for any almost concealed canonical algebra). Finally we express the volume of the moduli stacks of representations of these algebras of a f… ▽ More We prove that the number of geometrically indecomposable representations of fixed dimension vector d of a canonical algebra C defined over a finite field Fq is given by a polynomial in q (depending on C and d). We prove a similar result for squid algebras (and for any almost concealed canonical algebra). Finally we express the volume of the moduli stacks of representations of these algebras of a fixed dimension vector in terms of the corresponding Kac polynomials. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Comments: 12 pages, Latex

Counting Higgs bundles

Authors: Sergey Mozgovoy, Olivier Schiffmann

Abstract: We prove a closed formula counting semistable twisted Higgs bundles of fixed rank and degree over a smooth projective curve defined over a finite field. We also prove a formula for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles over a curve. We prove a closed formula counting semistable twisted Higgs bundles of fixed rank and degree over a smooth projective curve defined over a finite field. We also prove a formula for the Donaldson-Thomas invariants of the moduli spaces of twisted Higgs bundles over a curve. △ Less

Submitted 8 November, 2014; originally announced November 2014.

Comments: 13 pages

Indecomposable vector bundles and stable Higgs bundles over smooth projective curves

Authors: Olivier Schiffmann

Abstract: We prove that the number of indecomposable vector bundles of fixed rank r and degree d over a smooth projective curve X defined over a finite field is given by a polynomial (depending only on the pair (r,d) and the genus g of X) in the Weil numbers of X. We provide a closed formula -expressed in terms of generating series- for this polynomial. We also show that the same polynomial computes the num… ▽ More We prove that the number of indecomposable vector bundles of fixed rank r and degree d over a smooth projective curve X defined over a finite field is given by a polynomial (depending only on the pair (r,d) and the genus g of X) in the Weil numbers of X. We provide a closed formula -expressed in terms of generating series- for this polynomial. We also show that the same polynomial computes the number of points of the moduli space of stable Higgs bundles of rank r and degree d over X (at least for large characteristics). This entails a closed formula for the Poincaré polynomial of the moduli spaces of stable Higgs bundles over a compact Riemann surface, and hence also for the Poincaré polynomials of the character varieties for the groups GL(r). △ Less

Submitted 4 October, 2014; v1 submitted 15 June, 2014; originally announced June 2014.

Comments: Latex, 34 pages; added some corollaries on the number of irreducible components of the stable global nilpotent cone

On the number of points of the Lusztig nilpotent variety over a finite field

Authors: Olivier Schiffmann

Abstract: In this note we give a closed expression for the number of points over finite fields of the Lusztig nilpotent variety associated to any quiver without edge loops, in terms of Kac's A-polynomial. We conjecture a similar result for quivers in which edge loops are allowed. Finally, we give a formula for the number of points over a finite field of the various stratas of the Lusztig nilpotent variety i… ▽ More In this note we give a closed expression for the number of points over finite fields of the Lusztig nilpotent variety associated to any quiver without edge loops, in terms of Kac's A-polynomial. We conjecture a similar result for quivers in which edge loops are allowed. Finally, we give a formula for 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 28 December, 2012; v1 submitted 16 December, 2012; originally announced December 2012.

Comments: 10 pages

A presentation of the deformed W_{1+\infty} algebra

Authors: Noah Arbesfeld, Olivier Schiffmann

Abstract: We provide a generators and relation description of the deformed W_{1+\infty}-algebra introduced in previous joint work of E. Vasserot and the second author. This gives a presentation of the (spherical) cohomological Hall algebra of the one-loop quiver, or alternatively of the spherical degenerate double affine Hecke algebra of GL(\infty). We provide a generators and relation description of the deformed W_{1+\infty}-algebra introduced in previous joint work of E. Vasserot and the second author. This gives a presentation of the (spherical) cohomological Hall algebra of the one-loop quiver, or alternatively of the spherical degenerate double affine Hecke algebra of GL(\infty). △ Less

Submitted 3 September, 2012; originally announced September 2012.

Comments: 9 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

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

Drinfeld realization of the elliptic Hall algebra

Authors: Olivier Schiffmann

Abstract: We give a new presentation of the Drinfeld double of the elliptic Hall algebra introduced in a previous work with I. Burban. This presentation is similar in spirit to Drinfeld's `new realization' of quantum affine algebras. This answers, in the case of elliptic curves, a question of Kapranov concerning functional relations satisfied by (principal, unramified) Eisenstein series for the groups GL(n)… ▽ More We give a new presentation of the Drinfeld double of the elliptic Hall algebra introduced in a previous work with I. Burban. This presentation is similar in spirit to Drinfeld's `new realization' of quantum affine algebras. This answers, in the case of elliptic curves, a question of Kapranov concerning functional relations satisfied by (principal, unramified) Eisenstein series for the groups GL(n) over a function field. It also provides proofs of some recent conjectures of Feigin, Feigin, Jimbo, Miwa and Mukhin. △ Less

Submitted 15 April, 2010; originally announced April 2010.

Comments: 19 pages, lots of figures

Composition algebra of a weighted projective line

Authors: Igor Burban, Olivier Schiffmann

Abstract: In this article, we deal with properties of the reduced Drinfeld double of the composition subalgebra of the Hall algebra of the category of coherent sheaves on a weighted projective line. This study is motivated by applications in the theory of quantized enveloping algebras of some Lie algebras. We obtain a new realization of quantized enveloping algebras of affine Lie algebras of simply-laced ty… ▽ More In this article, we deal with properties of the reduced Drinfeld double of the composition subalgebra of the Hall algebra of the category of coherent sheaves on a weighted projective line. This study is motivated by applications in the theory of quantized enveloping algebras of some Lie algebras. We obtain a new realization of quantized enveloping algebras of affine Lie algebras of simply-laced type and get new embeddings between such algebras. Moreover, our approach allows to derive new results on the structure of the quantized enveloping algebras of the toroidal algebras of types $D_4^{(1,1)}$, $E_6^{(1,1)}$, $E_7^{(1,1)}$ and $E_8^{(1,1)}$. In particular, our method leads to a construction of a modular action and allows to define a PBW-type basis for that classes of algebras. △ Less

Submitted 26 July, 2015; v1 submitted 23 March, 2010; originally announced March 2010.

Comments: 43 pages, typos corrected

MSC Class: 18E30; 17B37; 16T20

Spherical Hall algebras of curves and Harder-Narasimhan stratas

Authors: Olivier Schiffmann

Abstract: Let X be any smooth projective curve defined over a finite field. We show that the characteristic functions of any Harder-Narasimhan strata S_a of Bun_{GL_n}X belongs to the spherical Hall algebra H_X^{sph} of X. We give a geometric analog of the above result: the intersection cohomology sheaf IC(S_a) belongs to the category of simple Eisenstein sheaves over Bun_{GL_n}X. Let X be any smooth projective curve defined over a finite field. We show that the characteristic functions of any Harder-Narasimhan strata S_a of Bun_{GL_n}X belongs to the spherical Hall algebra H_X^{sph} of X. We give a geometric analog of the above result: the intersection cohomology sheaf IC(S_a) belongs to the category of simple Eisenstein sheaves over Bun_{GL_n}X. △ Less

Submitted 4 February, 2010; originally announced February 2010.

Comments: 12 pages, Latex

Lectures on canonical and crystal bases of Hall algebras

Authors: Olivier Schiffmann

Abstract: These are the notes for a series of lectures given on the theory of canonical and crystal bases for Hall algebras (for a summer school in Grenoble in 2008). It may be viewed as a follow-up to arXiv:math/0611617. It covers the construction, due to Lusztig, of the canonical bases for the Hall algebra of a quiver Q in terms of a certain category of perverse sheaves over the moduli space of represen… ▽ More These are the notes for a series of lectures given on the theory of canonical and crystal bases for Hall algebras (for a summer school in Grenoble in 2008). It may be viewed as a follow-up to arXiv:math/0611617. It covers the construction, due to Lusztig, of the canonical bases for the Hall algebra of a quiver Q in terms of a certain category of perverse sheaves over the moduli space of representations of Q. It also contains an exposition of Kashiwara and Saito's geometric construction of the crystal graph in terms of irreducible components of Lusztig's lagrangian in the cotangent bundle to the above moduli spaces. The last section deals with the Hall algebras of curves. It contains a few new results and conjectures. Apart from these, the text is purely expositional. △ Less

Submitted 1 December, 2009; v1 submitted 23 October, 2009; originally announced October 2009.

Comments: 101 pages, Latex; minor revisions

Geometric Construction of Highest Weight Crystals for Quantum Generalized Kac-Moody Algebras

Authors: Seok-Jin Kang, Masaki Kashiwara, Olivier Schiffmann

Abstract: We present a geometric construction of highest weight crystals for quantum generalized Kac-Moody algebras. It is given in terms of the irreducible components of certain Lagrangian subvarieties of Nakajima's quiver varieties associated to quivers with edge loops. We present a geometric construction of highest weight crystals for quantum generalized Kac-Moody algebras. It is given in terms of the irreducible components of certain Lagrangian subvarieties of Nakajima's quiver varieties associated to quivers with edge loops. △ Less

Submitted 8 August, 2009; originally announced August 2009.

Comments: 17 pages, Latex

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

Two descriptions of the quantum affine algebra $U_v(\hat{\mathfrak{sl}}_2)$ via Hall algebra approach

Authors: Igor Burban, Olivier Schiffmann

Abstract: We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver $\overr{Q}$ and of the category of coherent sheaves on ${\mathbb P}^1$. Using this approach, we show that the Drinfeld--Beck isomorphism for the quantized enveloping algebra $U_v(\hat{\mathfrak{sl}}_2)$ is a corollary of an equivalence between the derived categories… ▽ More We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver $\overr{Q}$ and of the category of coherent sheaves on ${\mathbb P}^1$. Using this approach, we show that the Drinfeld--Beck isomorphism for the quantized enveloping algebra $U_v(\hat{\mathfrak{sl}}_2)$ is a corollary of an equivalence between the derived categories $D^b\bigl(\Rep(\overr{Q})\bigr)$ and $D^b\bigl(\Coh({\mathbb P}^1)\bigr)$. This technique also allows to reprove several technical results on the integral form of $U_v(\hat{\mathfrak{sl}}_2)$. △ Less

Submitted 27 July, 2015; v1 submitted 27 March, 2009; originally announced March 2009.

Comments: Some references addes and typos corrected

MSC Class: 17B05; 18E30

Geometric construction of crystal bases for quantum generalized Kac-Moody algebras

Authors: Seok-Jin Kang, Masaki Kashiwara, Olivier Schiffmann

Abstract: We provide a geometric realization of the crystal $B(\infty)$ for quantum generalized Kac-Moody algebras in terms of the irreducible components of certain Lagrangian subvarieties in the representation spaces of a quiver. We provide a geometric realization of the crystal $B(\infty)$ for quantum generalized Kac-Moody algebras in terms of the irreducible components of certain Lagrangian subvarieties in the representation spaces of a quiver. △ Less

Submitted 30 October, 2008; originally announced October 2008.

Comments: 24 pages

MSC Class: 81R50; 17B37

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

Addendum to ``Canonical bases for quantum generalized Kac-Moody algebras''

Authors: S. -J. Kang, O. Schiffmann

Abstract: We provide some necessary details to several arguments appearing in our previous paper ``Canonical bases for quantum generalized Kac-Moody algebras''. We also make the link with some other work on the same subject. We provide some necessary details to several arguments appearing in our previous paper ``Canonical bases for quantum generalized Kac-Moody algebras''. We also make the link with some other work on the same subject. △ Less

Submitted 13 November, 2007; originally announced November 2007.

Comments: 7 pages

Lectures on Hall algebras

Authors: Olivier Schiffmann

Abstract: These are notes for a minicourse on Hall algebras given at the ICTP in Trieste in January 2006. After giving the definition and first properties of Hall algebras, we study in some details the classical Hall algebra, the Hall algebra of quivers, and the Hall algebra of coherent sheaves on smooth projective curves. The last section deals with the Hall algebras in the context of derived categories.… ▽ More These are notes for a minicourse on Hall algebras given at the ICTP in Trieste in January 2006. After giving the definition and first properties of Hall algebras, we study in some details the classical Hall algebra, the Hall algebra of quivers, and the Hall algebra of coherent sheaves on smooth projective curves. The last section deals with the Hall algebras in the context of derived categories. (The figures only seem to come out nicely in the .ps file) △ Less

Submitted 23 October, 2009; v1 submitted 20 November, 2006; originally announced November 2006.

Comments: 128 pages, loads of figures; Minor revisions

On the Hall algebra of an elliptic curve, II

Authors: Olivier Schiffmann

Abstract: This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to be a two-parameter deformation of the ring of diagonal invariants R^+=C[x_1^{\pm 1}, ..., y_1,...]^{S_{\infty}} (in infinitely many variables). In the present work, we study a geometric version of thi… ▽ More This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to be a two-parameter deformation of the ring of diagonal invariants R^+=C[x_1^{\pm 1}, ..., y_1,...]^{S_{\infty}} (in infinitely many variables). In the present work, we study a geometric version of this Hall algebra, by considering a convolution algebra of perverse sheaves on the moduli spaces of coherent sheaves on E. This allows us to define a "canonical basis" B of U^+_E in terms of intersection cohomology complexes. We also give a characterization of this basis in terms of an involution, a lattice and a certain PBW-type basis. Finally we provide some (loose) interpretation of the above construction in terms of Schubert varieties in (nonexistent!) "double affine grassmanian", and in terms of character sheaves of loop groups (both of type A). △ Less

Submitted 28 July, 2009; v1 submitted 28 August, 2005; originally announced August 2005.

Comments: 25 pages, Latex, several changes made in the presentation

Journal ref: Duke Math. J. 161, no. 9 (2012), 1711-1750

On the Hall algebra of an elliptic curve, I

Authors: Igor Burban, Olivier Schiffmann

Abstract: In this article we describe the Hall algebra H_X of an elliptic curve X defined over a finite field and show that the group SL(2,Z) of exact auto-equivalences of the derived category D^b(Coh(X)) acts on the Drinfeld double DH_X of H_X by algebra automorphisms. Next, we study a certain natural subalgebra U_X of DH_X for which we give a presentation by generators and relations. This algebra turns… ▽ More In this article we describe the Hall algebra H_X of an elliptic curve X defined over a finite field and show that the group SL(2,Z) of exact auto-equivalences of the derived category D^b(Coh(X)) acts on the Drinfeld double DH_X of H_X by algebra automorphisms. Next, we study a certain natural subalgebra U_X of DH_X for which we give a presentation by generators and relations. This algebra turns out to be a flat two-parameter deformation of the ring of diagonal invariants C[x_1^{\pm 1}, ..., y_1^{\pm 1},...]^{S_{\infty}}, i.e. the ring of symmetric Laurent polynomials in two sets of countably many variables under the simultaneous symmetric group action. △ Less

Submitted 28 July, 2009; v1 submitted 9 May, 2005; originally announced May 2005.

Comments: 47 pages, Latex; several changes in the presentation

MSC Class: 17B37; 18E30; 05E05

Journal ref: Duke Math. J. 161, no. 7 (2012), 1171-1231

Canonical bases of loop algebras via quot schemes II

Authors: Olivier Schiffmann

Abstract: This paper is a sequel (and contains a better treatment) of math.QA/0404032; We construct some canonical bases for quantum toroidal algebras of types D_4, E_6, E_7, E_8 using perverse sheaves on quot schemes parametrizing equivariant coherent sheaves on elliptic curves. We also study some compatibility properties of these bases with some natural filtrations and modules. This paper is a sequel (and contains a better treatment) of math.QA/0404032; We construct some canonical bases for quantum toroidal algebras of types D_4, E_6, E_7, E_8 using perverse sheaves on quot schemes parametrizing equivariant coherent sheaves on elliptic curves. We also study some compatibility properties of these bases with some natural filtrations and modules. △ Less

Submitted 29 August, 2004; originally announced August 2004.

Comments: 65 pages Latex

Canonical bases of loop algebras via Quot schemes, I

Authors: Olivier Schiffmann

Abstract: We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant coherent sheaves on X. We view these spaces as loop analogues of spaces of representations of quivers and following Lusztig, we consider a convolution algebr… ▽ More We propose a construction of some canonical bases for quantum loop algebras of Kac-Moody algebras. We consider a smooth projective curve X, a group of automorphism G of X such that X/G=P^1, and we consider some Quot schemes of G-equivariant coherent sheaves on X. We view these spaces as loop analogues of spaces of representations of quivers and following Lusztig, we consider a convolution algebra of (semisimple, equivariant) perverse sheaves on the collection of these Quot schemes. We relate this algebra to a quantum loop algebra of some Kac-Moody algebra. In particular, when X=P^1 and G is a subgroup of SL(2,C), we obtain a canonical basis of a positive part of a quantum affine algebra in the Drinfeld presentation, and relate it (in some examples) to the bases constructed by Lusztig and Kashiwara. When X is an elliptic curve, we will obtain in this way a canonical basis of quantum toroidal algebras of type D_4, E_6, E_7 and E_8. △ Less

Submitted 2 April, 2004; originally announced April 2004.

Comments: 51 Pages, Latex

Homological realization of Nakajima varieties and Weyl group actions

Authors: Igor Frenkel, Mikhail Khovanov, Olivier Schiffmann

Abstract: We describe points on Nakajima varieties and Weyl group actions on them via complexes of semisimple and projective modules over certain finite-dimensional algebras. We describe points on Nakajima varieties and Weyl group actions on them via complexes of semisimple and projective modules over certain finite-dimensional algebras. △ Less

Submitted 26 November, 2003; originally announced November 2003.

Comments: 39 pages, 2 figures

MSC Class: 18G99

Journal ref: Compositio Mathematica, vol. 141, n. 6, (2005) 1479-1503

Canonical bases for quantum generalized Kac-Moody algebra

Authors: Seok-Jin Kang, Olivier Schiffmann

Abstract: We construct a canonical basis for quantum generalized Kac-Moody algebra via semisimple perverse sheaves on varieties of representations of quivers. We compare this basis with the one recently defined purely algebraically by Jeong, Kang and Kashiwara. We construct a canonical basis for quantum generalized Kac-Moody algebra via semisimple perverse sheaves on varieties of representations of quivers. We compare this basis with the one recently defined purely algebraically by Jeong, Kang and Kashiwara. △ Less

Submitted 6 November, 2003; originally announced November 2003.

Comments: 18 pages Latex

Quivers of type A, flag varieties and representation theory

Authors: Olivier Schiffmann

Abstract: A short informal survey on the topics listed in the title. For the proceedings of the International Conference on Rings and Algebras X. A short informal survey on the topics listed in the title. For the proceedings of the International Conference on Rings and Algebras X. △ Less

Submitted 21 April, 2003; v1 submitted 13 January, 2003; originally announced January 2003.

Comments: 25 pages, corrected (and added) references, final version

Traces of intertwiners for quantum groups and difference equations, II

Authors: Pavel Etingof, Olivier Schiffmann, Alexander Varchenko

Abstract: In this paper we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights lambda, mu, three scalar parameters q, omega, k, and spectral parameters z_1,...,z_N, which may be regarded as q-analogs of conformal blocks of the Wess-Zumino-Witten model on an elliptic curve. It is expected that in the rank 1… ▽ More In this paper we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights lambda, mu, three scalar parameters q, omega, k, and spectral parameters z_1,...,z_N, which may be regarded as q-analogs of conformal blocks of the Wess-Zumino-Witten model on an elliptic curve. It is expected that in the rank 1 case they essentially coincide with the elliptic hypergeometric functions defined in math.QA/0110081. Our main result is that after a suitable renormalization the traces satisfy four systems of difference equations -- the Macdonald-Ruijsenaars equation, the q-Knizhnik-Zamolodchikov-Bernard equation, and their dual versions. We also show that in the case when the twisting automorphism is trivial, the trace functions are symmetric under the permutation lambda <--> mu, k <--> omega. Thus, our results here generalize our previous results, dealing with the case q = 1 and the finite dimensional case. △ Less

Submitted 18 July, 2002; originally announced July 2002.

Comments: 19 pages, latex

Quiver varieties and fusion products for sl_2

Authors: Alistair Savage, Olivier Schiffmann

Abstract: We construct the fusion product of finite-dimensional sl_2-modules in the homology of (or in the space of constructible functions on) a certain subvariety L_l(w_1, ..., w_r) of Nakajima's tensor product variety L(w_1,..., w_r). We also give a combinatorial description of the irreducible components of this subvariety using the notions of graphical calculus and crossingless matches for sl_2. We construct the fusion product of finite-dimensional sl_2-modules in the homology of (or in the space of constructible functions on) a certain subvariety L_l(w_1, ..., w_r) of Nakajima's tensor product variety L(w_1,..., w_r). We also give a combinatorial description of the irreducible components of this subvariety using the notions of graphical calculus and crossingless matches for sl_2. △ Less

Submitted 6 November, 2002; v1 submitted 27 May, 2002; originally announced May 2002.

Comments: 11 pages, Latex. v2: Some minor typos corrected

Journal ref: Journal of Algebra 269 (2003), p. 544-555

Noncommutative projective curves and quantum loop algebras

Authors: Olivier Schiffmann

Abstract: We generalize a theorem of Kapranov by showing that the Hall algebra of the category of coherent sheaves on a weighted projective line (over a finite field) provides a realization of the (quantized) enveloping algebra of a certain nilpotent subalgebra of the affinization of the correponding Kac-Moody algebra. In particular this yieds a geometric realization of the quantized enveloping algebra of… ▽ More We generalize a theorem of Kapranov by showing that the Hall algebra of the category of coherent sheaves on a weighted projective line (over a finite field) provides a realization of the (quantized) enveloping algebra of a certain nilpotent subalgebra of the affinization of the correponding Kac-Moody algebra. In particular this yieds a geometric realization of the quantized enveloping algebra of 2-toroidal (or elliptic) algebras of types D_4, E_6, E_7 or E_8 in terms of weighted projective lines of genus one. △ Less

Submitted 10 February, 2003; v1 submitted 25 May, 2002; originally announced May 2002.

Comments: Latex, 40 pages, 2 figures, analog of Kac's conjecture added; final version to appear

On the moduli space of classical dynamical r-matrices

Authors: P. Etingof, O. Schiffmann

Abstract: We define and study the moduli space of classical dynamical r-matrices associated to a Lie algebra g and a subalgebra l of g. As opposed to the previous papers q-alg/9703040 and q-alg/9706017 we do not make any commutativity assumption on the subalgebra l. We extend the notion of gauge-transformation to this setting and show that, under some technical conditions, the space of dynamical r-matrice… ▽ More We define and study the moduli space of classical dynamical r-matrices associated to a Lie algebra g and a subalgebra l of g. As opposed to the previous papers q-alg/9703040 and q-alg/9706017 we do not make any commutativity assumption on the subalgebra l. We extend the notion of gauge-transformation to this setting and show that, under some technical conditions, the space of dynamical r-matrices modulo gauge-transformations is isomorphic to an explicitly given affine variety. △ Less

Submitted 30 May, 2000; originally announced May 2000.

Comments: 17 pages, Latex

On the center of affine Hecke algebras of type A

Authors: Olivier Schiffmann

Abstract: We give an explicit expression for the central elements of affine Hecke algebras of type A in the Coxeter presentation, in terms of (parabolic) affine Kazhdan-Lusztig polynomials. Our approach is based on a version of quantum affine Schur-Weyl duality involving the Hall algebra of a cyclic quiver, on the theory of canonical bases and on the higher-level q-deformed Fock spaces recently introduced… ▽ More We give an explicit expression for the central elements of affine Hecke algebras of type A in the Coxeter presentation, in terms of (parabolic) affine Kazhdan-Lusztig polynomials. Our approach is based on a version of quantum affine Schur-Weyl duality involving the Hall algebra of a cyclic quiver, on the theory of canonical bases and on the higher-level q-deformed Fock spaces recently introduced by Uglov. △ Less

Submitted 21 May, 2000; v1 submitted 18 May, 2000; originally announced May 2000.

Comments: Latex, 21 pages, 3 figures, some more references added

Twisted traces of quantum intertwiners and quantum dynamical R-matrices corresponding to generalized Belavin-Drinfeld triples

Authors: P. Etingof, O. Schiffmann

Abstract: This paper is a continuation of math.QA/9907181 and math.QA/9908115. We consider traces of intertwiners between certain representations of the quantized enveloping algebra associated to a semisimple complex Lie algebra g, which are twisted by a ``generalized Belavin-Drinfeld triple'', i.e a triple consisting of two subdiagrams of the Dynkin diagram of g together with an isomorphism between them.… ▽ More This paper is a continuation of math.QA/9907181 and math.QA/9908115. We consider traces of intertwiners between certain representations of the quantized enveloping algebra associated to a semisimple complex Lie algebra g, which are twisted by a ``generalized Belavin-Drinfeld triple'', i.e a triple consisting of two subdiagrams of the Dynkin diagram of g together with an isomorphism between them. The generating functions F(lambda,mu) for such traces depend on two weights lambda and mu. We show that F(lambda,mu) satisfy two sets of difference equations in the variable lambda: the Macdonald-Ruijsenaars (MR) equations and the quantum Knizhnik-Zamolodchikov (qKZB) equations. These equations involve as a main ingredient the quantum dynamical R-matrices constructed in math.QA/9912009. When the generalized Belavin-Drinfeld triple is an automorphism, we show that F(lambda,mu) satisfy another two sets of difference equations with respect to the weight mu. These dual MR and dual qKZB equations involve the usual Felder's dynamical R-matrix. These results were first obtained by the first author and A. Varchenko in the special case of the trivial Belavin-Drinfeld triple. However, the symmetry between lambda and mu which exists in that case is destroyed in the twisted setting. At the end, we brielfly treat the (simialr) case of Kac-Moody algebras g and derive the classical limits of all the previous results. △ Less

Submitted 17 March, 2000; originally announced March 2000.

Comments: 30 pages, latex

Explicit quantization of dynamical r-matrices for finite dimensional semisimple Lie algebras

Authors: Pavel Etingof, Travis Schedler, Olivier Schiffmann

Abstract: We provide an explicit quantization of dynamical r-matrices for semisimple Lie algebras, classified earlier by the third author, which includes the Belavin-Drinfeld r-matrices. We do so by constructing an appropriate (dynamical) twist in the tensor square of the Drinfeld-Jimbo quantum group U_q(g), which twists the R-matrix of U_q(g) into the desired quatization. The construction of this twist i… ▽ More We provide an explicit quantization of dynamical r-matrices for semisimple Lie algebras, classified earlier by the third author, which includes the Belavin-Drinfeld r-matrices. We do so by constructing an appropriate (dynamical) twist in the tensor square of the Drinfeld-Jimbo quantum group U_q(g), which twists the R-matrix of U_q(g) into the desired quatization. The construction of this twist is based on the method stemming from the work of Jimbo-Konno-Odake-Shiraishi and Arnaudon-Buffenoir-Ragoucy-Roche, i.e. on defining the twist as a unique solution of a suitable difference equation. This yields a simple closed formula for the twist. This construction allows one to confirm the alternate version of the Gerstenhaber-Giaquinto-Schack conjecture (about quantization of Belavin-Drinfeld r-matrices for sl(n) in the vector representation), which was stated earlier by the second author on the basis of computer evidence. It also allows one to define new quantum groups associated to semisimple Lie algebras. We expect them to have a rich structure and interesting representation theory. △ Less

Submitted 1 December, 1999; originally announced December 1999.

Comments: 17 pages, latex