Geometry and Classificatin of Solutions of the Classical Dynamical Yang–Baxter Equation

The classical Yang–Baxter equation(CYBE) is an algebraic equation central in the theory of integrable systems. Its nondegenerate solutions were classified by Belavin and Drinfeld. Quantization of CYBE led to the theory of quantum groups. A geometric interpretation of CYBE was given by Drinfeld and gave rise to the theory of Poisson–Lie groups. The classical dynamical Yang–Baxter equation (CDYBE) is an important differential equation analogous to CYBE and introduced by Felder as the consistency condition for the differential Knizhnik–Zamolodchikov–Bernard equations for correlation functions in conformal field theory on tori. Quantization of CDYBE allowed Felder to introduce an interesting elliptic analog of quantum groups. It becomes clear that numerous important notions and results connected with CYBE have dynamical analogs. In this paper we classify solutions to CDYBE and give geometric interpretation to CDYBE. The classification and interpretation are remarkably analogous to the Belavin–Drinfeld picture. Received: 24 March 1997 / Accepted: 20 June 1997     

Generalized double affine Hecke algebras of rank 1 and quantized del Pezzo surfaces

Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D₄,E₆,E₇,E₈). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z??Z², where ? is 2, 3, 4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D₄ is the Cherednik algebra of type C^∨C₁, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI.     

Traces of Intertwiners for Quantum Groups and Difference Equations

In this Letter we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights ,, three scalar parameters q,,k, and spectral parameters z ₁,...,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 by Felder and Varchenko. 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 , k . Thus, our results generalize those of Etingof and Schiffmann, dealing with the case q=1, and Etingof, Varchenko, and Schiffmann, dealing with the finite-dimensional case.     

Semisimple Hopf actions on commutative domains

Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen.     

On Highest Weight Modules Over Elliptic Quantum Groups

The purpose of this Letter 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 modules over quantum affine algebras.     

The small quantum group as a quantum double

We prove that the quantum double of the quasi-Hopf algebra of dimension attached in [P. Etingof, S. Gelaki, On radically graded finite-dimensional quasi-Hopf algebras, Mosc. Math. J. 5 (2) (2005) 371–378] to a simple complex Lie algebra and a primitive root of unity q of order n² is equivalent to Lusztig's small quantum group (under some conditions on n). We also give a conceptual construction of using the notion of de-equivariantization of tensor categories.     

Poisson traces,D-modules,and symplectic resolutions

We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a canonical D-module on the variety. In the case the variety has finitely many symplectic leaves (such as for symplectic singularities and Hamiltonian reductions of symplectic vector spaces by reductive groups), the D-module is holonomic, and hence, the space of Poisson traces is finite-dimensional. As an application, there are finitely many irreducible finite-dimensional representations of every quantization of the variety. Conjecturally, the D-module is the pushforward of the canonical D-module under every symplectic resolution of singularities, which implies that the space of Poisson traces is dual to the top cohomology of the resolution. We explain many examples where the conjecture is proved, such as symmetric powers of du Val singularities and symplectic surfaces and Slodowy slices in the nilpotent cone of a semisimple Lie algebra. We compute the D-module in the case of surfaces with isolated singularities and show it is not always semisimple. We also explain generalizations to arbitrary Lie algebras of vector fields, connections to the Bernstein–Sato polynomial, relations to two-variable special polynomials such as Kostka polynomials and Tutte polynomials, and a conjectural relationship with deformations of symplectic resolutions. In the appendix we give a brief recollection of the theory of D-modules on singular varieties that we require.     

Twisted Traces of Quantum Intertwiners¶and Quantum Dynamical R-Matrices¶Corresponding to Generalized Belavin–Drinfeld Triples

We consider weighted traces of products of intertwining operators for quantum groups U _q (?), suitably twisted by a “generalized Belavin–Drinfeld triple”. We derive two commuting sets of difference equations – the (twisted) Macdonald–Ruijsenaars system and the (twisted) quantum Knizhnik–Zamolodchikov–Bernard (qKZB) system. These systems involve the nonstandard quantum R-matrices defined in a previous joint work with T. Schedler ([ESS]). When the generalized Belavin–Drinfeld triple comes from an automorphism of the Lie algebra ?, we also derive two additional sets of difference equations, the dual Macdonald–Ruijsenaars system and the \textit{dual} qKZB equations. Received: 20 March 2000 / Accepted: 11 December 2000     

Generalized Lamé Operators

We introduce a class of multidimensional Schrödinger operators with elliptic potential which generalize the classical Lamé operator to higher dimensions. One natural example is the Calogero–Moser operator, others are related to the root systems and their deformations. We conjecture that these operators are algebraically integrable, which is a proper generalization of the finite-gap property of the Lamé operator. Using earlier results of Braverman, Etingof and Gaitsgory, we prove this under additional assumption of the usual, Liouville integrability. In particular, this proves the Chalykh–Veselov conjecture for the elliptic Calogero–Moser problem for all root systems. We also establish algebraic integrability in all known two-dimensional cases. A general procedure for calculating the Bloch eigenfunctions is explained. It is worked out in detail for two specific examples: one is related to the B₂ case, another one is a certain deformation of the A₂ case. In these two cases we also obtain similar results for the discrete versions of these problems, related to the difference operators of Macdonald–Ruijsenaars type.On leave of absence from: Advanced Education and Science Centre, Moscow State University, Moscow 119899, Russia