arXiv subjects

Pavel Etingof

Publications and source records attributed to Pavel Etingof.

At least 217 records · Page 12Linked to original sources

arXiv2000

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↗

arXiv2000

Dynamical quantum groups at roots of 1

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.

math.QA↗

arXiv2000

Traces of intertwiners for quantum groups and difference equations, I

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.

math.QA↗

arXiv2000

On cotriangular Hopf algebras

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.

math.QA↗

arXiv1999

Biperfect Hopf Algebras

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

math.QA↗

arXiv1999

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↗

arXiv1999

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↗

arXiv1999

Quantization of geometric classical r-matrices

In this note we define geometric classical r-matrices and quantum R-matrices, and show how any geometric classical r-matrix can be quantized to a geometric quantum R-matrix. This is one of the simplest nontrivial examples of quantization of solutions of the classical Yang-Baxter equation, which can be explicitly computed.

math.QA↗

arXiv1999

On the exponent of finite-dimensional Hopf algebras

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.

math.QA↗

arXiv1999

Exchange dynamical quantum groups

For any simple Lie algebra g and any complex number q which is not zero or a nontrivial root of unity, we construct a dynamical quantum group (Hopf algebroid), whose representation theory is essentially the same as the representation theory of the quantum group U_q(g). This dynamical quantum group is obtained from the fusion and exchange relations between intertwining operators in representation theory of U_q(g), and is an algebraic structure standing behind these relations.

math.QA↗

arXiv1999

Whittaker functions on quantum groups and q-deformed Toda operators

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.

math.QA↗

arXiv1998

Set-theoretical solutions to the quantum Yang-Baxter equation

In 1992 V$.$Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions to the quantum Yang-Baxter equation, i.e. solutions given by a permutation R of the set $X\times X$, where X is a fixed set. In this paper we study such solutions, which in addition satisfy the unitarity and nondegeneracy conditions. We discuss the geometric and algebraic interpretations of such solutions, introduce several constructions of them, and make first steps towards their classification.

math.QA↗

arXiv1998

The Representation Theory of Co-triangular Semisimple Hopf Algebras

In a previous paper we prove that any semisimple triangular Hopf algebra A over an algebraically closed field of characteristic 0 (say the field of complex numbers C) is obtained from a finite group after twisting the ordinary comultiplication of its group algebra in the sense of Drinfeld; that is A=C[G]^J for some finite group G and a twist J\in C[G]\ot C[G]. In this paper we explicitly describe the representation theory of co-triangular semisimple Hopf algebras A^*=(C[G]^J)^* in terms of representations of some associated groups. As a corollary we prove that Kaplansky's 6th conjecture from 1975 holds for A^*; that is that the dimension of any irreducible representation of A^* divides the dimension of A.

math.QA↗

arXiv1998

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↗

arXiv1998

Quantization of Lie bialgebras, IV

This paper is a continuation of "Quantization of Lie bialgebras, III" (q-alg/9610030, revised version). In QLB-III, we introduced the Hopf algebra F(R)_\z associated to a quantum R-matrix R(z) with a spectral parameter, and a set of points \z=(z_1,...,z_n). This algebra is generated by entries of a matrix power series T_i(u), i=1,...,n,subject to Faddeev-Reshetikhin-Takhtajan type commutation relations, and is a quantization of the group GL_N[[t]]. In this paper we consider the quotient F_0(R)_\z of F(R)_\z by the relations \qdet_R(T_i)=1, where \qdet_R is the quantum determinant associated to R (for rational, trigonometric, or elliptic R-matrices). This is also a Hopf algebra, which is a quantization of the group SL_N[[t]]. This paper was inspired by the pioneering paper of I.Frenkel and Reshetikhin. The main goal of this paper is to study the representation theory of the algebra F_0(R)_\z and of its quantum double, and show how the consideration of coinvariants of this double (quantum conformal blocks) naturally leads to the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. Our construction for the rational R-matrix is a quantum analogue of the standard derivation of the Knizhnik-Zamolodchikov equations in the Wess-Zumino-Witten model of conformal field theory, and for the elliptic R-matrix is a quantum analogue of the construction of Kuroki and Takebe. Our result is a generalization of the construction of Enriques and Felder, which appeared while this paper was in preparation. Enriques and Felder gave a derivation of the quantum KZ equations from coinvariants in the case of the rational R-matrix and N=2.

math.QA↗

arXiv1998

Quantization of Lie bialgebras, V

This paper is a continuation of "Quantization of Lie bialgebras I-IV". The goal of this paper is to define and study the notion of a quantum vertex operator algebra in the setting of the formal deformation theory and give interesting examples of such algebras. In particular, we construct a quantum vertex operator algebra from a rational, trigonometric, or elliptic R-matrix, which is a quantum deformation of the affine vertex operator algebra. The simplest vertex operator in this algebra is the quantum current of Reshetikhin and Semenov-Tian-Shansky.

math.QA↗

arXiv1998

Quantum determinants and quasideterminants

The notion of a quasideterminant and a quasiminor of a matrix A=(a_{ij}) with not necessarily commuting entries was introduced recently by I.Gelfand and the second author. The ordinary determinant of a matrix with commuting entries can be written (in many ways) as a product of quasiminors. Furthermore, it was noticed by a number of authors that such well-known noncommutative determinants as the Berezinian, the Capelli determinant, the quantum determinant of the generating matrix of the quantum group U_h(gl_n) and the Yangian Y(gl_n) can be expressed as products of commuting quasiminors. The aim of this paper is to extend these results to a rather general class of Hopf algebras given by the Faddeev-Reshetikhin-Takhtajan type relations -- the twisted quantum groups. Such quantum groups arise when Belavin-Drinfeld classical r-matrices are quantized. Our main result is that the quantum determinant of the generating matrix of a twisted quantum group equals the product of commuting quasiminors of this matrix.

math.QA↗

arXiv1998

Semisimple Hopf algebras of dimension pq are trivial

Masuoka proved that for a prime p, semisimple Hopf algebras of dimension 2p over an algebraically closed field k of characteristic 0, are trivial (i.e. are either group algebras or the dual of group algebras). Westreich and the second author obtained the same result for dimension 3p, and then pushed the analysis further and among the rest obtained the same result for semisimple Hopf algebras H of dimension pq so that H and H^* are of Frobenius type (i.e. the dimensions of their irreducible representations divide the dimension of H). They concluded with the conjecture that any semisimple Hopf algebra H of dimension pq over k, is trivial. In this paper we use Theorem 1.4 in our previous paper q-alg/9712033 to prove that both H and H^* are of Frobenius type, and hence prove this conjecture.

math.QA↗