Showing 151–200 of 244 results for author: Etingof, P

On the invertibility of quantization functors

Authors: B. Enriquez, P. Etingof

Abstract: Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal envelo** (QUE) algebras and Lie bialgebras over a f… ▽ More Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal envelo** (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give structure results for the props involved in quantization of Lie bialgebras, which yield an associator-independent proof that the prop of QUE algebras is a flat deformation of the prop of co-Poisson universal envelo** algebras. △ Less

Submitted 12 June, 2003; originally announced June 2003.

On the Cachazo-Douglas-Seiberg-Witten conjecture for simple Lie algebras

Authors: Pavel Etingof, Victor Kac

Abstract: Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. We prove the conjecture for type G_2, and also verify a consequence of the conjecture in the general case. Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. We prove the conjecture for type G_2, and also verify a consequence of the conjecture in the general case. △ Less

Submitted 12 May, 2003; originally announced May 2003.

Comments: 3 pages, latex

Classification of fusion categories of dimension pq

Authors: Pavel Etingof, Shlomo Gelaki, Viktor Ostrik

Abstract: In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p<q are distinct primes, thus giving a categorical generalization of math.QA/9801129. As a corollary we also obtain the classification of semisimple quasi-Hopf algebras of dimension pq. A concise formulation of our main result is: Let C be a fusion category over the complex number… ▽ More In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p<q are distinct primes, thus giving a categorical generalization of math.QA/9801129. As a corollary we also obtain the classification of semisimple quasi-Hopf algebras of dimension pq. A concise formulation of our main result is: Let C be a fusion category over the complex numbers of FP dimension pq. Then either p=2 and C is a Tambara-Yamagami category of dimension 2q, or C is group-theoretical in the sense of math.QA/0203060 (which easily yields the full classification). As a by-product, we obtain the classification of finite dimensional semisimple quasi-Hopf (in particular, Hopf) algebras whose irreducible representations have dimensions 1 and n, such that the 1-dimensional representations form a cyclic group of order n. All such quasi-Hopf algebras turn out to be group-theoretical. We also classify fusion categories whose invertible objects form a cyclic group of order n>1 and which have only one non-invertible object of dimension n. △ Less

Submitted 30 May, 2003; v1 submitted 15 April, 2003; originally announced April 2003.

Comments: 12 pages, latex; Corollary 7.4 was added

On Hopf algebras of dimension pq

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: In this paper we contribute to the classification of Hopf algebras of dimension pq, where p,q are distinct prime numbers. More precisely, we prove that if p and q are odd primes with p<q<2p+3, then any complex Hopf algebra of dimension pq is semisimple and hence isomorphic to either a group algebra or to the dual of a group algebra by the previous works math.QA/9801129 and math.QA/9801128. In this paper we contribute to the classification of Hopf algebras of dimension pq, where p,q are distinct prime numbers. More precisely, we prove that if p and q are odd primes with p<q<2p+3, then any complex Hopf algebra of dimension pq is semisimple and hence isomorphic to either a group algebra or to the dual of a group algebra by the previous works math.QA/9801129 and math.QA/9801128. △ Less

Submitted 27 March, 2003; originally announced March 2003.

Comments: 6 pages, latex

On some representations of the rational Cherednik algeba

Authors: Tatyana Chmutova, Pavel Etingof

Abstract: We study lowest weight representations of the rational Cherednik algebra attached to a complex reflection group W. In particular, we generalize a number of previous results due to Berest, Etingof and Ginzburg. We study lowest weight representations of the rational Cherednik algebra attached to a complex reflection group W. In particular, we generalize a number of previous results due to Berest, Etingof and Ginzburg. △ Less

Submitted 2 April, 2003; v1 submitted 16 March, 2003; originally announced March 2003.

Comments: 10 pages

Module categories over representations of $SL_q(2)$ and graphs

Authors: Pavel Etingof, Viktor Ostrik

Abstract: We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same category. We classify module categories over the category of representations of quantum $SL(2)$ in a case when $q$ is not a root of unity. In a case when $q$ is a root of unity we classify module categories over the semisimple subquotient of the same category. △ Less

Submitted 11 February, 2003; originally announced February 2003.

Comments: 11 pages

The orthogonality and qKZB-heat equation for traces of U_q(g)-intertwiners

Authors: Pavel Etingof, Alexander Varchenko

Abstract: In our previous paper math.QA/9907181, to every finite dimensional representation V of the quantum group U_q(g), we attached the trace function F^V(λ,μ), with values in End V[0], obtained by taking the (weighted) trace in a Verma module of an intertwining operator. We showed that these trace functions satisfy the Macdonald-Ruijsenaars and the qKZB equations, their dual versions, and the symmetry… ▽ More In our previous paper math.QA/9907181, to every finite dimensional representation V of the quantum group U_q(g), we attached the trace function F^V(λ,μ), with values in End V[0], obtained by taking the (weighted) trace in a Verma module of an intertwining operator. We showed that these trace functions satisfy the Macdonald-Ruijsenaars and the qKZB equations, their dual versions, and the symmetry identity. In this paper we show that the trace functions satisfy the orthogonality relation and the qKZB-heat equation. For g=sl_2, this statement is the trigonometric degeneration of a conjecture of Felder and the second author, proved by them for the 3-dimensional irreducible V. We also establish the orthogonality relation and qKZB-heat equation for trace functions obtained by taking traces in finite dimensional representations (rather than Verma modules). If g=sl_n and V=S^{kn}C^n, these functions are known to be Macdonald polynomials of type A. In this case, the orthogonality relation reduces to the Macdonald inner product identities, and the qKZB-heat equation coincides with the q-Macdonald-Mehta identity, proved by Cherednik. △ Less

Submitted 6 February, 2003; originally announced February 2003.

Comments: 29 pages, latex

Quantization of Alekseev-Meinrenken dynamical r-matrices

Authors: Benjamin Enriquez, Pavel Etingof

Abstract: We quantize the Alekseev-Meinrenken solution r to the classical dynamical Yang-Baxter equation, associated to a Lie algebra g with an element t in S^2(g)^g. Namely, we construct a dynamical twist J with nonabelian base in the sense of P. Xu, whose quasiclassical limit is r-t/2. This twist gives rise to a dynamical quantum R-matrix, and also provides a quantization of the quasi-Poisson manifold a… ▽ More We quantize the Alekseev-Meinrenken solution r to the classical dynamical Yang-Baxter equation, associated to a Lie algebra g with an element t in S^2(g)^g. Namely, we construct a dynamical twist J with nonabelian base in the sense of P. Xu, whose quasiclassical limit is r-t/2. This twist gives rise to a dynamical quantum R-matrix, and also provides a quantization of the quasi-Poisson manifold and Poisson groupoid associated to r. The twist J is obtained by an appropriate renormalization of the Knizhnik-Zamolodchikov associator for g, introduced by Drinfeld. △ Less

Submitted 28 February, 2003; v1 submitted 6 February, 2003; originally announced February 2003.

Comments: 15 pages, latex; in the new version the results were extended to the case of Lie algebras with an invariant element in the third exterior power

Finite tensor categories

Authors: Pavel Etingof, Viktor Ostrik

Abstract: We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular, we generalize to the categorical setting the Hopf and quasi-Hopf algebra freeness theorems due to Nichols-Zoeller and Schauenburg, respectively. We also give… ▽ More We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular, we generalize to the categorical setting the Hopf and quasi-Hopf algebra freeness theorems due to Nichols-Zoeller and Schauenburg, respectively. We also give categorical versions of the theory of distinguished group-like elements in a finite dimensional Hopf algebra, of Lorenz's result on degeneracy of the Cartan matrix, and of the absence of primitive elements in a finite dimensional Hopf algebra in zero characteristic. We also develop the theory of module categories and dual categories for not necessarily semisimple finite tensor categories; the crucial new notion here is that of an exact module category. Finally, we classify indecomposable exact module categories over the simplest finite tensor categories, such as representations of a finite group in positive characteristic, representations of a finite supergroup, and representations of the Taft Hopf algebra. △ Less

Submitted 30 March, 2003; v1 submitted 3 January, 2003; originally announced January 2003.

Comments: 26 pages, new subsections 2.12, 3.5, 3.6 and new results in subsections 2.4, 2.7 added

Quantization of non-unitary geometric classical r-matrices

Authors: P. Etingof, M. Graña

Abstract: In this paper we explicitly attach to a geometric classical r-matrix $r$ (not necessarily unitary), a geometric (i.e., set-theoretical) quantum R-matrix $R$, which is a quantization of $r$. To accomplish this, we use the language of bijective cocycle 7-tuples, developed by A. Soloviev in the study of set-theoretical quantum R-matrices. Namely, we define a classical version of bijective cocycle 7… ▽ More In this paper we explicitly attach to a geometric classical r-matrix $r$ (not necessarily unitary), a geometric (i.e., set-theoretical) quantum R-matrix $R$, which is a quantization of $r$. To accomplish this, we use the language of bijective cocycle 7-tuples, developed by A. Soloviev in the study of set-theoretical quantum R-matrices. Namely, we define a classical version of bijective cocycle 7-tuples, and show that there is a bijection between them and geometric classical r-matrices. Then we show how any classical bijective cocycle 7-tuple can be quantized, and finally use Soloviev's construction, which turns a (quantum) bijective cocycle 7-tuple into a geometric quantum R-matrix. △ Less

Submitted 12 December, 2002; originally announced December 2002.

Comments: 10 pages

MSC Class: 17B37; 53D50

Generalized Lame operators

Authors: Oleg Chalykh, Pavel Etingof, Alexei Oblomkov

Abstract: 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… ▽ More 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 B_2 case, another one is a certain deformation of the A_2 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. △ Less

Submitted 13 February, 2003; v1 submitted 2 December, 2002; originally announced December 2002.

Comments: 38 pages, latex; in the new version a reference was added

Finite dimensional representations of rational Cherednik algebras

Authors: Yuri Berest, Pavel Etingof, Victor Ginzburg

Abstract: A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed. A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed. △ Less

Submitted 4 September, 2002; v1 submitted 19 August, 2002; originally announced August 2002.

Comments: 29 pp., LaTeX. Exposition improved, some details added

Morita Equivalence of Cherednik Algebras

Authors: Yuri Berest, Pavel Etingof, Victor Ginzburg

Abstract: We classify the rational Cherednik algebras H_c(W) (and their spherical subalgebras) up to isomorphism and Morita equivalence in case when W is the symmetric group and `c' is a generic parameter value. We classify the rational Cherednik algebras H_c(W) (and their spherical subalgebras) up to isomorphism and Morita equivalence in case when W is the symmetric group and `c' is a generic parameter value. △ Less

Submitted 11 April, 2003; v1 submitted 31 July, 2002; originally announced July 2002.

Comments: Final version, to appear in Crelles Journal

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

On the dynamical Yang-Baxter equation

Authors: Pavel Etingof

Abstract: This talk is inspired by two previous ICM talks, by V.Drinfeld (1986) and G.Felder (1994). Namely, one of the main ideas of Drinfeld's talk is that the quantum Yang-Baxter equation (QYBE), which is an important equation arising in quantum field theory and statistical mechanics, is best understood within the framework of Hopf algebras, or quantum groups. On the other hand, in Felder's talk, it is… ▽ More This talk is inspired by two previous ICM talks, by V.Drinfeld (1986) and G.Felder (1994). Namely, one of the main ideas of Drinfeld's talk is that the quantum Yang-Baxter equation (QYBE), which is an important equation arising in quantum field theory and statistical mechanics, is best understood within the framework of Hopf algebras, or quantum groups. On the other hand, in Felder's talk, it is explained that another important equation of mathematical physics, the star-triangle relation, may (and should) be viewed as a generalization of QYBE, in which solutions depend on additional ``dynamical'' parameters. It is also explained there that to a solution of the quantum dynamical Yang-Baxter equation one may associate a kind of quantum group. These ideas gave rise to a vibrant new branch of ``quantum algebra'', which may be called the theory of dynamical quantum groups. My goal in this talk is to give a bird's eye review of some aspects of this theory and its applications. △ Less

Submitted 28 July, 2003; v1 submitted 1 July, 2002; originally announced July 2002.

Comments: An updated version of the ICM-2002 talk by the author

MSC Class: 17B37; 20G42; 81R50

Journal ref: Proceedings of the ICM, Bei**g 2002, vol. 2, 555--570

On Vafa's theorem for tensor categories

Authors: Pavel Etingof

Abstract: In this note we prove two main results. 1. In a rigid braided finite tensor category over C (not necessarily semisimple), some power of the Casimir element and some even power of the braiding is unipotent. 2. In a (semisimple) modular category, the twists are roots of unity dividing the algebraic integer D^{5/2}, where D is the global dimension of the category (the sum of squares of dimensions o… ▽ More In this note we prove two main results. 1. In a rigid braided finite tensor category over C (not necessarily semisimple), some power of the Casimir element and some even power of the braiding is unipotent. 2. In a (semisimple) modular category, the twists are roots of unity dividing the algebraic integer D^{5/2}, where D is the global dimension of the category (the sum of squares of dimensions of simple objects). Both results generalize Vafa's theorem, saying that in a modular category twists are roots of unity, and square of the braiding has finite order. We also discuss the notion of the quasi-exponent of a finite rigid tensor category, which is motivated by results 1 and 2 and the paper math/0109196 of S.Gelaki and the author. △ Less

Submitted 1 July, 2002; originally announced July 2002.

Comments: 6 pages, latex

Elliptic Central Characters and Blocks of Finite Dimensional Representations of Quantum Affine Algebras

Authors: Pavel I. Etingof, Adriano A. Moura

Abstract: The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of… ▽ More The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters. △ Less

Submitted 24 April, 2002; originally announced April 2002.

Comments: 28 pages

MSC Class: 17B37; 20G42

Lectures on quasi-invariants of Coxeter groups and the Cherednik algebra

Authors: Pavel Etingof, Elisabetta Strickland

Abstract: The paper an elementary introduction for non-specialists to the theory of quasi-invariants of Coxeter groups. The main object of study is the variety X_m of quasi-invariants for a finite Coxeter group, which arose in a work of O.Chalykh and A.Veselov about 10 years ago, as the spectral variety of the quantum Calogero-Moser system. Despite being singular, this variety has very nice properties (Co… ▽ More The paper an elementary introduction for non-specialists to the theory of quasi-invariants of Coxeter groups. The main object of study is the variety X_m of quasi-invariants for a finite Coxeter group, which arose in a work of O.Chalykh and A.Veselov about 10 years ago, as the spectral variety of the quantum Calogero-Moser system. Despite being singular, this variety has very nice properties (Cohen-Macaulay, Gorenstein, simplicity of the ring of differential operators, explicitly given Hilbert series). It is interesting that although the definition of X_m is completely elementary, to understand the geometry of X_m it is helpful to use representation theory of the rational degeneration of Cherednik's double affine Hecke algebra, and the theory of integrable systems. △ Less

Submitted 9 April, 2002; originally announced April 2002.

Comments: 28 pages, latex

On fusion categories

Authors: Pavel Etingof, Dmitri Nikshych, Viktor Ostrik

Abstract: Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functor… ▽ More Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension. △ Less

Submitted 28 April, 2017; v1 submitted 6 March, 2002; originally announced March 2002.

Comments: 50 pages, latex; a reference to Schauenburg's freeness theorem was added and a new section 5.11 to fill a gap in the previous version; also Example 7.2 was corrected; in April 2017 a comment added in Subsection 9.3 giving a reference which fills a gap in this subsection

On the quantum Kazhdan-Lusztig functor

Authors: Pavel Etingof, Adriano Moura

Abstract: We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with extended scalars) to the category of finite dimensional representations of Felder's elliptic quantum group E_{τ,\gamma2}(gl(n)). We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with extended scalars) to the category of finite dimensional representations of Felder's elliptic quantum group E_{τ,\gamma2}(gl(n)). △ Less

Submitted 24 April, 2002; v1 submitted 28 February, 2002; originally announced March 2002.

Comments: 13 pages. New section added

MSC Class: 17B37; 20G42

The classification of finite-dimensional triangular Hopf algebras over an algebraically closed field of characteristic 0

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: We explain that a new theorem of Deligne on symmetric tensor categories implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has Chevalley property, and in particular the list of finite dimensional triangular Hopf algebras over such a field given in math.QA/0008232, math.QA/0101049 is complete. We also… ▽ More We explain that a new theorem of Deligne on symmetric tensor categories implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has Chevalley property, and in particular the list of finite dimensional triangular Hopf algebras over such a field given in math.QA/0008232, math.QA/0101049 is complete. We also use Deligne's theorem to settle a number of questions about triangular Hopf algebras, raised in our previous publications, and generalize Deligne's result to nondegenerate semisimple categories in characteristic $p$, by using lifting methods developed in math.QA/0203060. △ Less

Submitted 9 March, 2009; v1 submitted 25 February, 2002; originally announced February 2002.

Comments: 8 pages, latex

On rack cohomology

Authors: Pavel Etingof, Matias Grana

Abstract: We prove that the lower bounds for Betti numbers of the rack, quandle and degeneracy cohomology given by Carter, Jelsovsky, Kamada, and Saito, are in fact equalities. We compute as well the Betti numbers of the twisted cohomology introduced by Carter, Elhamdadi, and Saito. We also give a group-theoretical interpretation of the second cohomology group for racks. We prove that the lower bounds for Betti numbers of the rack, quandle and degeneracy cohomology given by Carter, Jelsovsky, Kamada, and Saito, are in fact equalities. We compute as well the Betti numbers of the twisted cohomology introduced by Carter, Elhamdadi, and Saito. We also give a group-theoretical interpretation of the second cohomology group for racks. △ Less

Submitted 15 October, 2004; v1 submitted 29 January, 2002; originally announced January 2002.

Comments: Boundary formula corrected. 9 pages

Geometric crystals and set-theoretical solutions to the quantum Yang-Baxter equation

Authors: Pavel Etingof

Abstract: The notion of a geometric crystal was introduced by A.Berenstein and D.Kazhdan, motivated by the needs of representation theory of p-adic groups. It was shown by A.Braverman, A.Berenstein, and D.Kazhdan that some particular geometric crystals give rise to an interesting birational automorphism R of the Cartesian square of an n-dimensional torus, which satisfies the quantum Yang-Baxter equation a… ▽ More The notion of a geometric crystal was introduced by A.Berenstein and D.Kazhdan, motivated by the needs of representation theory of p-adic groups. It was shown by A.Braverman, A.Berenstein, and D.Kazhdan that some particular geometric crystals give rise to an interesting birational automorphism R of the Cartesian square of an n-dimensional torus, which satisfies the quantum Yang-Baxter equation and the unitarity condition. On the other hand, unitary set-theoretical solutions of the quantum Yang-Baxter equation were studied by Schedler, Soloviev, and the author. It was shown that the theory is especially nice if the solution satisfies an additional nondegeneracy condition. In particular, in this situation one can define the so called reduced structure group, whose complexity characterizes the complexity of the solution. In this note we show that the map R is nondegenerate, and give a new proof that it satisfies the quantum Yang-Baxter equation and the unitarity condition. Then we calculate the reduced structure group of R, and show that it is a subgroup of the "loop group" PGL(n,C(t))$. We also give a new, direct proof of a Theorem of Braverman and Kazhdan on the commutativity of two symmetric group actions on the space of matrices. △ Less

Submitted 26 December, 2001; originally announced December 2001.

Comments: 10 pages

Cherednik algebras and differential operators on quasi-invariants

Authors: Yuri Berest, Pavel Etingof, Victor Ginzburg

Abstract: We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials… ▽ More We develop representation theory of the rational Cherednik algebra H associated to a finite Coxeter group W in a vector space h. It is applied to show that, for integral values of parameter `c', the algebra H is simple and Morita equivalent to D(h)#W, the cross product of W with the algebra of polynomial differential operators on h. We further study an algebra Q of quasi-invariant polynomials on h introduced by Chalykh, Feigin, and Veselov [CV], [FV], such that C[h]^W \subset Q \subset C[h]. We prove that the algebra D(Q) of differential operators on quasi-invariants is a simple algebra, Morita equivalent to D(h). The subalgebra D(Q)^W of W-invariant operators turns out to be isomorphic to the spherical subalgebra eHe \subset H. We also show that D(Q) is generated, as an algebra, by Q and its `Fourier dual Q*, and that D(Q) is a rank one projective (Q-Q*)-module (via multiplication-action on D(Q) on opposite sides). △ Less

Submitted 5 January, 2010; v1 submitted 31 October, 2001; originally announced November 2001.

Comments: A few mistakes concerning certain KZ twists, which were overlooked in the published version, are corrected in the present version. The corrections involve Proposition 6.6 and Theorems 8.15(i) and 8.16. Also the statement of Conjecture 8.12 is corrected to include possible changes of sign of values of c

On families of triangular Hopf algebras

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: Following the ideas of our previous works math.QA/0008232 (joint with Andruskiewitsch) and math.QA/0101049, we study families of triangular Hopf algebras obtained by twisting finite supergroups by a twist lying entirely in the odd part. These families are parametrized by data (G,V,u,B), where G is a finite group, V its finite dimensional representation, u a central element of G of order 2 acting… ▽ More Following the ideas of our previous works math.QA/0008232 (joint with Andruskiewitsch) and math.QA/0101049, we study families of triangular Hopf algebras obtained by twisting finite supergroups by a twist lying entirely in the odd part. These families are parametrized by data (G,V,u,B), where G is a finite group, V its finite dimensional representation, u a central element of G of order 2 acting by -1 on V, and B an element of S^2V. We fix the discrete data G,V,u, and find the set of isomorphism classes of the members of the family as Hopf algebras, in terms of the continuous parameter B. This set is often infinite, which provides examples of nontrivial continuous families of triangular Hopf algebras. The lowest dimension in which such a family occurs is 32, in which case we get 3 families which are dual to the 3 families of pointed Hopf algebras of dimension 32 constructed recently by Grana. Furthermore, we show that if (S^2V)^G=0 then such continuous families are nontrivial not only up to a Hopf algebra isomorphism, but also up to twisting of the multiplication. Thus, they provide counterexamples to Masuoka's weakened Kaplansky's 10th conjecture, which claims that up to twisting, there are finitely many types of Hopf algebras in each dimension. Finally, we study the algebra structure of the duals of our families, and show they are direct sums of Clifford algebras. Since there are finitely many types of Clifford algebras in each dimension, this allows us to construct nontrivial families of rigid tensor structures on the abelian category of modules over a finite dimensional algebra, with a fixed Grothendieck ring. △ Less

Submitted 3 October, 2001; originally announced October 2001.

Comments: 9 pages, Latex

On the quasi-exponent of finite-dimensional Hopf algebras

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: Recall (math.QA/9812151) that the exponent of a finite-dimensional complex Hopf algebra H is the order of the Drinfeld element u of the Drinfeld double D(H) of H. Recall also that while this order may be infinite, the eigenvalues of u are always roots of unity (math.QA/9812151, Theorem 4.8); i.e., some power of u is always unipotent. We are thus naturally led to define the quasi-exponent of a fi… ▽ More Recall (math.QA/9812151) that the exponent of a finite-dimensional complex Hopf algebra H is the order of the Drinfeld element u of the Drinfeld double D(H) of H. Recall also that while this order may be infinite, the eigenvalues of u are always roots of unity (math.QA/9812151, Theorem 4.8); i.e., some power of u is always unipotent. We are thus naturally led to define the quasi-exponent of a finite-dimensional Hopf algebra H to be the order of unipotency of u. The goal of the paper is to create a theory of quasi-exponent, which would be parallel to the theory of the exponent developed in math.QA/9812151. In particular, we give two other equivalent definitions of the quasi-exponent, and prove that it is invariant under twisting. Furthermore, we prove that the quasi-exponent of a finite-dimensional pointed Hopf algebra H is equal to the exponent of the group G(H) of grouplike elements of H. (In particular, the order of the squared antipode of H divides exp(G(H)).) As an application, we find that if H is obtained by twisting the quantum group at root of unity U_q(g) then the order of any grouplike element in H divides the order of q. △ Less

Submitted 21 November, 2001; v1 submitted 24 September, 2001; originally announced September 2001.

Comments: 8 pages, latex; new results about twists of U_q(g) were proved in the new version

On twisting of finite-dimensional Hopf algebras

Authors: Eli Aljadeff, Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych

Abstract: In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisi… ▽ More In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisimplicity of a coalgebra obtained by twisting of a cosemisimple unimodular Hopf algebra by two different twists on two sides (such twists are closely related to biGalois extensions), and describe the representation theory of its dual. Next, we define the notion of a non-degenerate twist for a Hopf algebra $H$, and set up a bijection between such twists for $H$ and $H^*$. This bijection is based on Miyashita-Ulbrich actions of Hopf algebras on simple algebras. It generalizes to the non-commutative case the procedure of inverting a non-degenerate skew-symmetric bilinear form on a vector space. Finally, we apply these results to classification of twists in group algebras and of cosemisimple triangular finite-dimensional Hopf algebras in positive characteristic, generalizing the previously known classification in characteristic zero. △ Less

Submitted 7 February, 2002; v1 submitted 23 July, 2001; originally announced July 2001.

Comments: 14 pages, AMS-Latex. In Section 5 several results were improved and simplified. Minor errors corrected and several references added

Journal ref: J. Algebra 256 (2002), no. 2, 484--501

On m-quasiinvariants of Coxeter groups

Authors: Pavel Etingof, Victor Ginzburg

Abstract: Let W be a finite Coxeter group in a Euclidean vector space V, and m a W-invariant Z_+-valued function on the set of reflections in W. Chalyh and Veselov introduced in an interesting algebra Q_m, called the algebra of m-quasiinvariants for W. This is the algebra of quantum integrals of the rational Calogero-Moser system with coupling constants m. In a recent paper math-ph/0105014, Feigin and Ves… ▽ More Let W be a finite Coxeter group in a Euclidean vector space V, and m a W-invariant Z_+-valued function on the set of reflections in W. Chalyh and Veselov introduced in an interesting algebra Q_m, called the algebra of m-quasiinvariants for W. This is the algebra of quantum integrals of the rational Calogero-Moser system with coupling constants m. In a recent paper math-ph/0105014, Feigin and Veselov proposed a number of interesting conjectures concerning the structure of Q_m, and verified them for dihedral groups and constant functions m. Our goal is to prove some of these conjectures in the general case. △ Less

Submitted 20 June, 2001; originally announced June 2001.

Comments: 12 pages, latex

Vertex-IRF transformations and quantization of dynamical r-matrices

Authors: Pavel Etingof, Dmitri Nikshych

Abstract: Motivated by the correspondence between the vertex and IRF models in statistical mechanics, we define and study a notion of vertex-IRF transformation for dynamical twists that generalizes a usual gauge transformation. We use vertex-IRF transformations to quantize all completely degenerate dynamical r-matrices on finite-dimensional Lie algebras. Motivated by the correspondence between the vertex and IRF models in statistical mechanics, we define and study a notion of vertex-IRF transformation for dynamical twists that generalizes a usual gauge transformation. We use vertex-IRF transformations to quantize all completely degenerate dynamical r-matrices on finite-dimensional Lie algebras. △ Less

Submitted 13 March, 2001; originally announced March 2001.

Comments: 13 pages, ams-latex

Journal ref: Math. Res. Letters vol. 8, no. 3, 331-346 (2001)

Classification of Finite-Dimensional Triangular Hopf Algebras With The Chevalley Property

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: Recall that a triangular Hopf algebra A is said to have the Chevalley property if the tensor product of any two simple A-modules is semisimple, or, equivalently, if the radical of A is a Hopf ideal. There are two reasons to study this class of triangular Hopf algebras: First, it contains all known examples of finite-dimensional triangular Hopf algebras; second, it can be, in a sense, "completely… ▽ More Recall that a triangular Hopf algebra A is said to have the Chevalley property if the tensor product of any two simple A-modules is semisimple, or, equivalently, if the radical of A is a Hopf ideal. There are two reasons to study this class of triangular Hopf algebras: First, it contains all known examples of finite-dimensional triangular Hopf algebras; second, it can be, in a sense, "completely understood". Namely, it was shown in our previous work with Andruskiewitsch that any finite-dimensional triangular Hopf algebra with the Chevalley property is obtained by twisting of a finite-dimensional triangular Hopf algebra with R-matrix of rank at most 2 which, in turn, is obtained by "modifying" the group algebra of a finite supergroup. This provides a classification of such Hopf algebras. The goal of this paper is to make this classification more effective and explicit, i.e. to parameterize isomorphism classes of finite-dimensional triangular Hopf algebras with the Chevalley property by group-theoretical objects, similarly to how it was done in our previous work in the semisimple case. This is achieved in Theorem 2.2, where these classes are put in bijection with certain septuples of data. In the semisimple case, the septuples reduce to the quadruples, and we recover the result of our previous paper. In the minimal triangular pointed case, we recover a classification theorem from a previous paper of the second author. △ Less

Submitted 6 January, 2001; originally announced January 2001.

Comments: 7 pages, latex

Dynamical twists in group algebras

Authors: Pavel Etingof, Dmitri Nikshych

Abstract: We classify dynamical twists in group algebras of finite groups. Namely, we set up a bijective correspondence between gauge equivalence classes of dynamical twists (which are solutions of a certain non-linear functional equation) and isomorphism classes of ``dynamical data'' described in purely group theoretical terms. This generalizes the classification of usual twists obtained by Movshev and E… ▽ More We classify dynamical twists in group algebras of finite groups. Namely, we set up a bijective correspondence between gauge equivalence classes of dynamical twists (which are solutions of a certain non-linear functional equation) and isomorphism classes of ``dynamical data'' described in purely group theoretical terms. This generalizes the classification of usual twists obtained by Movshev and Etingof-Gelaki. △ Less

Submitted 29 January, 2001; v1 submitted 5 January, 2001; originally announced January 2001.

Comments: 17 pages, amslatex; sign error in Example 6.10 corrected

Journal ref: Int. Math. Res. Notices (2001) no. 13, 679-701

Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism

Authors: Pavel Etingof, Victor Ginzburg

Abstract: To any finite group G of automorphisms of a symplectic vector space V we associate a new multi-parameter deformation, H_k, of the smash product of G with the polynomial algebra on V. The algebra H_k, called a symplectic reflection algebra, is related to the coordinate ring of a universal Poisson deformation of the quotient singularity V/G. If G is the Weyl group of a root system in a vector spac… ▽ More To any finite group G of automorphisms of a symplectic vector space V we associate a new multi-parameter deformation, H_k, of the smash product of G with the polynomial algebra on V. The algebra H_k, called a symplectic reflection algebra, is related to the coordinate ring of a universal Poisson deformation of the quotient singularity V/G. If G is the Weyl group of a root system in a vector space h and V=h\oplus h^*, then the algebras H_k are `rational' degenerations of Cherednik's double affine Hecke algebra. Let G=S_n, the Weyl group of g=gl_n. We construct a 1-parameter deformation of the Harish-Chandra homomorphism from D(g)^g, the algebra of invariant polynomial differential operators on gl_n, to the algebra of S_n-invariant differential operators with rational coefficients on C^n. The second order Laplacian on g goes, under the deformed homomorphism, to the Calogero-Moser differential operator with rational potential. Our crucial idea is to reinterpret the deformed homomorphism as a homomorphism: D(g)^g \to {spherical subalgebra in H_k}, where H_k is the symplectic reflection algebra associated to S_n. This way, the deformed Harish-Chandra homomorphism becomes nothing but a description of the spherical subalgebra in terms of `quantum' Hamiltonian reduction. In the classical limit k -> \infty, our construction gives an isomorphism between the spherical subalgebra in H_\infty and the coordinate ring of the Calogero-Moser space. We prove that all simple H_\infty-modules have dimension n!, and are parametrised by points of the Calogero-Moser space. The algebra H_\infty is isomorphic to the endomorphism algebra of a distinguished rank n! vector bundle on this space. △ Less

Submitted 24 July, 2001; v1 submitted 16 November, 2000; originally announced November 2000.

Comments: 95pp. Final version, to appear in Inventiones Math

Dynamical Weyl groups and applications

Authors: Pavel Etingof, Alexander Varchenko

Abstract: Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analogue of the Weyl group for Lie algebras and of the quantum Weyl group for quantized envelo** algebras. We give some applications of this new structure. Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analogue of the Weyl group for Lie algebras and of the quantum Weyl group for quantized envelo** algebras. We give some applications of this new structure. △ Less

Submitted 31 October, 2000; originally announced November 2000.

Comments: 45 pages, latex

Triangular Hopf algebras with the Chevalley property

Authors: Nicolas Andruskiewitsch, Pavel Etingof, Shlomo Gelaki

Abstract: We say that a Hopf algebra has the Chevalley property if the tensor product of any two simple modules over this Hopf algebra is semisimple. In this paper we classify finite dimensional triangular Hopf algebras with the Chevalley property, over the field of complex numbers. Namely, we show that all of them are twists of triangular Hopf algebras with R-matrix having rank <=2, and explain that the… ▽ More We say that a Hopf algebra has the Chevalley property if the tensor product of any two simple modules over this Hopf algebra is semisimple. In this paper we classify finite dimensional triangular Hopf algebras with the Chevalley property, over the field of complex numbers. Namely, we show that all of them are twists of triangular Hopf algebras with R-matrix having rank <=2, and explain that the latter ones are obtained from group algebras of finite supergroups by a simple modification procedure. We note that all examples of finite dimensional triangular Hopf algebras which are known to the authors, do have the Chevalley property, so one might expect that our classification potentially covers all finite dimensional triangular Hopf algebras. △ Less

Submitted 12 July, 2002; v1 submitted 30 August, 2000; originally announced August 2000.

Comments: 26 pages, latex. The first proof of Theorem 5.2.1, which is given in Section 5, was completed. The original proof missed a step, and we are grateful to A. Davydov for pointing it out

Isocategorical groups

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of representations over C (without regard for the commutativity constraint). We call two groups with such property isocategorical. We give an example of two groups… ▽ More It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of representations over C (without regard for the commutativity constraint). We call two groups with such property isocategorical. We give an example of two groups which are isocategorical but not isomorphic: the affine symplectic group of a vector space over the field of two elements, and an appropriate "affine pseudosymplectic group" introduced by R.Griess (containing the "pseudosymplectic group" of A.Weil). On the other hand, we give a classification of groups isocategorical to a given group. In particular, we show that if G has no nontrivial normal subgroups of order 2^{2m} then any group isocategorical to G must actually be isomorphic to G. The proofs use the theory of triangular Hopf algebras. We also apply the notion of isocategorical groups to studying the question: when are two triangular semisimple Hopf algebras isomorphic as Hopf algebras? △ Less

Submitted 31 July, 2000; originally announced July 2000.

Comments: 17 pages, latex

Indecomposable set-theoretical solutions to the Quantum Yang-Baxter Equation on a set with prime number of elements

Authors: Pavel Etingof, Robert Guralnick, Alexander Soloviev

Abstract: In this paper we show that all indecomposable nondegenerate set-theoretical solutions to the Quantum Yang-Baxter equation on a set of prime order are affine, which allows us to give a complete and very simple classification of such solutions. This result is a natural application of the general theory of set-theoretical solutions to the quantum Yang-Baxter equation. It is also a generalization of… ▽ More In this paper we show that all indecomposable nondegenerate set-theoretical solutions to the Quantum Yang-Baxter equation on a set of prime order are affine, which allows us to give a complete and very simple classification of such solutions. This result is a natural application of the general theory of set-theoretical solutions to the quantum Yang-Baxter equation. It is also a generalization of the corresponding statement for involutive set-theoretical solutions proved in an earlier paper of P.E. and A.S. with T.Schedler. In order to prove our main result, we use the classification theory developed by the third author (based on the ideas of Lu, Yan, and Zhu) to reduce the problem to a group-theoretical statement: a finite group with trivial center generated by a conjugacy class of prime order is a subgroup of the affine group. Unfortunalely, we did not find an elementary proof of this statement, and our proof relies on the classification of outer automorphisms of finite simple groups. △ Less

Submitted 26 July, 2000; originally announced July 2000.

Comments: 9 pages, latex

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

Quantization of Lie bialgebras, part VI: quantization of generalized Kac-Moody algebras

Authors: Pavel Etingof, David Kazhdan

Abstract: This paper is a continuation of the series of papers "Quantization of Lie bialgebras (QLB) I-V". We show that the image of a Kac-Moody Lie bialgebra with the standard quasitriangular structure under the quantization functor defined in QLB-I,II is isomorphic to the Drinfeld-Jimbo quantization of this Lie bialgebra, with the standard quasitriangular structure. This implies that when the quantizati… ▽ More This paper is a continuation of the series of papers "Quantization of Lie bialgebras (QLB) I-V". We show that the image of a Kac-Moody Lie bialgebra with the standard quasitriangular structure under the quantization functor defined in QLB-I,II is isomorphic to the Drinfeld-Jimbo quantization of this Lie bialgebra, with the standard quasitriangular structure. This implies that when the quantization parameter is formal, then the category O for the quantized Kac-Moody algebra is equivalent, as a braided tensor category, to the category O over the corresponding classical Kac-Moody algebra, with the tensor category structure defined by a Drinfeld associator. This equivalence is a generalization of the functor constructed previously by G.Lusztig and the second author. In particular, we answer positively a question of Drinfeld whether the characters of irreducible highest weight modules for quantized Kac-Moody algebras are the same as in the classical case. Moreover, our results are valid for the Lie algebra g(A) corresponding to any symmetrizable matrix A (not necessarily with integer entries), which answers another question of Drinfeld. We also prove the Drinfeld-Kohno theorem for the algebra g(A) (it was previously proved by Varchenko using integral formulas for solutions of the KZ equations). △ Less

Submitted 15 May, 2008; v1 submitted 7 April, 2000; originally announced April 2000.

Comments: 10 pages, amstex; the paper relies on the fact that quantization of Lie bialgebras commutes with duals and doubles, whose proof in the original version contained a gap. An adequate proof of this fact was obtained by Enriquez and Geer in 0707.2337. The present version takes this into account

Dynamical quantum groups at roots of 1

Authors: Pavel Etingof, Dmitri Nikshych

Abstract: Given a dynamical twist for a finite dimensional Hopf algebra we construct two weak Hopf algebras, using methods of Xu and Etingof-Varchenko, and show that they are dual to each other. We generalize the theory of dynamical quantum groups to the case when the quantum parameter q is a root of unity. These objects turn out to be self-dual -- which is a fundamentally new property, not satisfied by t… ▽ More Given a dynamical twist for a finite dimensional Hopf algebra we construct two weak Hopf algebras, using methods of Xu and Etingof-Varchenko, and show that they are dual to each other. We generalize the theory of dynamical quantum groups to the case when the quantum parameter q is a root of unity. These objects turn out to be self-dual -- which is a fundamentally new property, not satisfied by the usual Drinfeld-Jimbo quantum groups. △ Less

Submitted 30 March, 2000; originally announced March 2000.

Comments: ams-latex, 25 pages

Journal ref: Duke Math J. 108 (2001), 135-168.

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 envelo** 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 envelo** 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

When is the Fourier transform of an elementary function elementary?

Authors: Pavel Etingof, David Kazhdan, Alexander Polishchuk

Abstract: Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is th… ▽ More Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method. △ Less

Submitted 9 May, 2013; v1 submitted 1 March, 2000; originally announced March 2000.

Comments: 31 pages, latex; the proof of Theorem 3.10 given in the previous version was found to be incomplete. We have added a remark about this and a reference to a paper by Chaput and Sabatino that gives a complete proof

On cotriangular Hopf algebras

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: In 1997 we proved that any triangular semisimple Hopf algebra over an algebraically closed field k of characteristic 0 is obtained from the group algebra k[G] of a finite group G, by twisting its comultiplication by a twist in the sense of Drinfeld. In this paper, we generalize this result to not necessarily finite-dimensional cotriangular Hopf algebras. Namely, our main result says that a cotri… ▽ More In 1997 we proved that any triangular semisimple Hopf algebra over an algebraically closed field k of characteristic 0 is obtained from the group algebra k[G] of a finite group G, by twisting its comultiplication by a twist in the sense of Drinfeld. In this paper, we generalize this result to not necessarily finite-dimensional cotriangular Hopf algebras. Namely, our main result says that a cotriangular Hopf algebra A over k is obtained from a function algebra of a pro-algebraic group by twisting by a Hopf 2-cocycle, and possibly changing its R-form by a central grouplike element of A^* of order <=2, IF AND ONLY IF the trace of squared antipode on any finite-dimensional subcoalgebra of A is the dimension of this subcoalgebra. This generalization, like the original theorem, is proved using Deligne's theorem on Tannakian categories. In the second half of the paper, we give examples of twisted function algebras. In particular, we show that in the infinite- dimensional case, the squared antipode may not equal the identity. On the other hand, we show that in all of our examples of twisted function algebras, the squared antipode is unipotent, and conjecture it to be the case for any twisted function algebra. We prove this conjecture in a large number of special cases, using the quantization theory of the first author and D.Kazhdan. △ Less

Submitted 15 February, 2000; originally announced February 2000.

Comments: 15 pages, latex

Biperfect Hopf Algebras

Authors: Pavel Etingof, Shlomo Gelaki, Robert Guralnick, Jan Saxl

Abstract: Recall that a finite group is called perfect if it does not have non-trivial 1-dimensional representations (over the field of complex numbers C). By analogy, let us say that a finite dimensional Hopf algebra H over C is perfect if any 1-dimensional H-module is trivial. Let us say that H is biperfect if both H and H^* are perfect. Note that, H is biperfect if and only if its quantum double D(H) i… ▽ More Recall that a finite group is called perfect if it does not have non-trivial 1-dimensional representations (over the field of complex numbers C). By analogy, let us say that a finite dimensional Hopf algebra H over C is perfect if any 1-dimensional H-module is trivial. Let us say that H is biperfect if both H and H^* are perfect. Note that, H is biperfect if and only if its quantum double D(H) is biperfect. It is not easy to construct a biperfect Hopf algebra of dimension >1. The goal of this note is to describe the simplest such example we know. The biperfect Hopf algebra H we construct is based on the Mathiew group of degree 24, and it is semisimple. Therefore, it yields a negative answer to Question 7.5 from a previous paper of the first two authors (math.QA/9905168). Namely, it shows that Corollary 7.4 from this paper stating that a triangular semisimple Hopf algebra over C has a non-trivial group-like element, fails in the quasitriangular case. The counterexample is the quantum double D(H). △ Less

Submitted 8 December, 1999; originally announced December 1999.

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

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

Authors: Pavel Etingof, Olivier Schiffmann

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

Submitted 20 August, 1999; originally announced August 1999.

Comments: 18 pages, latex

Lectures on the dynamical Yang-Baxter equations

Authors: Pavel Etingof, Olivier Schiffmann

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

Submitted 18 May, 2000; v1 submitted 13 August, 1999; originally announced August 1999.

Comments: 39 pages, latex; in the revised version, misprints found by T.Koornwinder were corrected; two new appendices were added, and the review of literature was updated

Traces of intertwiners for quantum groups and difference equations, I

Authors: Pavel Etingof, Alexander Varchenko

Abstract: The main object considered in this paper is the trace function, defined as a suitably normalized trace of a product of intertwining operators for the Drinfeld-Jimbo quantum group, multiplied by the exponential of an element of the Cartan subalgebra. This function depends of two parameters -- the element of the Cartan subalgebra, and the highest weight of the Verma module in which the trace is ta… ▽ More The main object considered in this paper is the trace function, defined as a suitably normalized trace of a product of intertwining operators for the Drinfeld-Jimbo quantum group, multiplied by the exponential of an element of the Cartan subalgebra. This function depends of two parameters -- the element of the Cartan subalgebra, and the highest weight of the Verma module in which the trace is taken. The main results of the paper are that the trace function satisfies two systems of difference equations with respect to the first parameter (the quantum Knizhnik-Zamolodchikov-Bernard and Macdonald-Ruijsenaars equations), and that it is symmetric with respect to the two parameters. In particular, this implies that for each of the above two systems of equations there is the dual system with respect to the second parameter, which is also satisfied by the trace function. The paper establishes a connection between the I.Frenkel-Reshetikhin theory of quantum conformal blocks, the work of Felder-Mukhin-Tarasov-Varchenko on the quantum KZB and Ruijsenaars equations, the work of Etingof-I.Frenkel- Kirillov Jr.-Styrkas on traces of intetwining operators, and the Macdonald- Cherednik theory. The methods of the paper are based on the theory of dynamical twists and R-matrices. △ Less

Submitted 7 March, 2000; v1 submitted 27 July, 1999; originally announced July 1999.

Comments: 38 pages, amstex; some misprints and small errors were corrected in the new version

The Classification of Triangular Semisimple and Cosemisimple Hopf Algebras Over an Algebraically Closed Field

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of… ▽ More In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\in G is a central element of order \le 2. This classification implies, in particular, that any triangular semisimple and cosemisimple Hopf algebra over k can be obtained from a group algebra by a twist. We also answer positively the question from our previous paper whether the group underlying a minimal triangular semisimple Hopf algebra is solvable. We conclude by showing that any triangular semisimple and cosemisimple Hopf algebra over k of dimension bigger than 1 contains a non-trivial grouplike element. The classification uses Deligne's theorem on Tannakian categories and the results of a paper of Movshev in an essential way. The proof of solvability and existence of grouplike elements relies on a theorem of Howlett and Isaacs that any group of central type is solvable, which is proved using the classification of finite simple groups. The classification in positive characteristic relies also on the lifting functor from our previous paper. △ Less

Submitted 1 May, 2017; v1 submitted 26 May, 1999; originally announced May 1999.

Comments: 11 pages, latex

Whittaker functions on quantum groups and q-deformed Toda operators

Authors: Pavel Etingof

Abstract: In this paper we q-deform a construction of Kazhdan and Kostant from 1970's which produces quantum Toda Hamiltonians by considering the action of Casimirs of a simple Lie algebra on Whittaker functions on the corresponding Lie group. We also give the affine analog of this generalization. This is done by extending the notion of a Whittaker function to quantum groups and quantum affine algebras. W… ▽ More In this paper we q-deform a construction of Kazhdan and Kostant from 1970's which produces quantum Toda Hamiltonians by considering the action of Casimirs of a simple Lie algebra on Whittaker functions on the corresponding Lie group. We also give the affine analog of this generalization. This is done by extending the notion of a Whittaker function to quantum groups and quantum affine algebras. We compute the q-deformed Toda Hamiltonians for Lie algebras of type A and show that they coincide with those known in the theory of integrable systems. △ Less

Submitted 12 January, 1999; originally announced January 1999.

Comments: 17 pages, amstex

On the exponent of finite-dimensional Hopf algebras

Authors: Pavel Etingof, Shlomo Gelaki

Abstract: One of the classical notions of group theory is the notion of the exponent of a group. The exponent of a group is the least common multiple of orders of its elements. In this paper we generalize the notion of exponent to Hopf algebras. We give five equivalent definitions of the exponent. Two of them are: 1) the exponent of H equals the order of the Drinfeld element u of the quantum double D(H)… ▽ More One of the classical notions of group theory is the notion of the exponent of a group. The exponent of a group is the least common multiple of orders of its elements. In this paper we generalize the notion of exponent to Hopf algebras. We give five equivalent definitions of the exponent. Two of them are: 1) the exponent of H equals the order of the Drinfeld element u of the quantum double D(H); 2) the exponent of H is the order of the squared brading acting in the tensor square of the regular representation of D(H). We show that the exponent is invariant under twisting. We prove that for semisimple and cosemisimple Hopf algebras H, the exponent is finite and divides dim(H)^3. For triangular Hopf algebras in characteristic zero, we show that the exponent divides dim(H). We conjecture that if H is semisimple and cosemisimple then the exponent always divides dim(H). At the end we formulate some open questions, in particular suggest a formulation for a possible Hopf algebraic analogue of Sylow's theorem. △ Less

Submitted 17 February, 1999; v1 submitted 28 December, 1998; originally announced December 1998.

Comments: 10 pages, latex; in the revised version, there are minor changes and additions, in particular some new references to the work of Kashina