Searcharxiv⌕ Search

arXiv subjects

Olivier Schiffmann

Publications and source records attributed to Olivier Schiffmann.

53 records · Page 3Linked to original sources

The elliptic Hall algebra, Cherednick Hecke algebras and Macdonald polynomials

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).

math.QA↗

Canonical bases of loop algebras via quot schemes II

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.

math.QA↗

Canonical bases of loop algebras via Quot schemes, I

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.

math.QA↗

Canonical bases for quantum generalized Kac-Moody algebra

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.

math.QA↗

Noncommutative projective curves and quantum loop algebras

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.

math.QA↗

Quiver varieties and fusion products 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.

math.QA↗

Traces of intertwiners for quantum groups and difference equations, II

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.

math.QA↗

On the center of affine Hecke algebras of type A

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.

math.QA↗

Lectures on the dynamical Yang-Baxter equations

This paper contains a systematic and elementary introduction to a new area of the theory of quantum groups -- the theory of the classical and quantum dynamical Yang-Baxter equations. It arose from a minicourse given by the first author at MIT in the Spring of 1999, when the second author extended and improved his lecture notes of this minicourse. The quantum dynamical Yang-Baxter equation is a generalization of the ordinary quantum Yang-Baxter equation, considered in a physical context by Gervais and Neveu, and later from a mathematical viewpoint by Felder. Felder attached to every solution of this equation a quantum group, and also considered the classical analogue of the quantum dynamical Yang-Baxter equation -- the classical dynamical Yang-Baxter equation. Since then, the theory of dynamical Yang-Baxter equations and the corresponding quantum groups was systematically developed in many papers. By now, this theory has many applications, in particular to integrable systems and representation theory. The goal of this paper is to discuss this theory and some of its applications.

math.QA↗

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

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.

math.QA↗

The Hall algebra of a cyclic quiver and canonical bases of the Fock space

We prove that the Hall algebra U^-_n of the cyclic quiver of type A^(1)_{n-1} decomposes as a direct product of the quantum negative nilpotent subalgebra U_q^-(\hat{sl}_{n)) and C[q,q^{-1},z_1,z_2...]. We use this to prove a conjecture of Varagnolo and Vasserot in math/9803023 relating the canonical basis of U^-_n and the canonical basis of the level 1 Fock space representation of U_q(\hat{sl}_n) introduced by Leclerc and Thibon. This yields a proof of the positivity conjecture of Lascoux, Leclerc and Thibon, and a q-analogue of the Lusztig character formula for simple modules of the quantum group U_q(sl_n) at a root of unity.

math.QA↗

Twisted traces of intertwiners for Kac-Moody algebras and classical dynamical r-matrices corresponding to generalized Belavin-Drinfeld triples

In early eighties, Belavin and Drinfeld showed that nonskewsymmetric classical r-matrices for simple Lie algebras are classified by combinatorial objects which are now called Belavin-Drinfeld triples. Later the second author of the present paper generalized this result to the case of dynamical r-matrices, and showed that they correspond to generalized Belavin-Drinfeld triples. The dynamical r-matrix corresponding a triple is given by a certain explicit formula, which works for any symmetrizable Kac-Moody algebra. In special cases, this formula gives the Felder and the Belavin r-matrix. In 1994, Felder associated with every dynamical r-matrix a system of differential equations called the KZB equations. In the case of the Felder and Belavin r-matrix, solutions of these equations are known to have a representation theoretical presentation, as conformal blocks (i.e. traces of products of intertwining operators between representations of Lie algebras). In this paper, we propose such a presentation for ANY dynamical r-matrix given by the second author's formula. In particular, the paper sheds light on the Belavin-Drinfeld classical r-matrices of 1984. This paper begins a series of papers. In the next paper, joint with T.Schedler, we will give an explicit quantization of the dynamical r-matrices for simple Lie algebras (in particular, Belavin-Drinfeld r-matrices), which has been an open problem for a number of years. In another paper, we plan to generalize the results of the present paper to quantum groups. This should yield quantum KZB equations which involve quantum R-matrices obtained by quantizing the classical r-matrices that appear in this paper.

math.QA↗

On highest weight modules over elliptic quantum groups

The purpose of this note is to define and construct highest weight modules for Felder's elliptic quantum groups. This is done by using exchange matrices for intertwining operators between (not necessarily finite-dimensional) modules over quantum affine algebras.

math.QA↗

A link between two elliptic quantum groups

We construct a fully faithful functor from the category C_F of finite-dimensional representations of Felder's (dynamical) elliptic quantum group E_{tau,gamma}(gl(n)) to a cretain category D_B of (infinite-dimensional) representations of Belavin's quantum elliptic algebra B by difference operators, and a fully faithful functor from the category C_B of finite-dimensional representations of B to D_B. As a corollary, we show that the abelian subcategories of C_B and C_F generated by tensor products of vector representations are equivalent.

math.QA↗

On classification of dynamical r-matrices

Using recent results of P. Etingof and A. Varchenko on the Classical Dynamical Yang-Baxter equation, we reduce the classification of dynamical r-matrices r on a commutative subalgebra l of a Lie algebra g to a purely algebraic problem under some technical conditions on the symmetric part of r. Using this, we then classify all non skew-symmetric dynamical r-matrices when g is a simple Lie algebra and l a commutative subalgebra containing a regular semisimple element. This partially answers a question in [EV] q-alg/9703040 and generalizes the Belavin-Drinfeld classification of constant r-matrices. This classification is similar and in some sense simpler than the Belavin-Drinfeld classification.

q-alg↗