Showing 201&ndash;244 of 244 results for author: Etingof, P

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

Submitted 28 August, 1998; originally announced August 1998.

Comments: 22 pages, amstex. This is the 5-th part of the Quantization series, starting from q-alg/9506005

Report number: QLB-V

arXiv:math/9808065 [pdf, ps, other]

Quantum determinants and quasideterminants

Authors: Pavel Etingof, Vladimir Retakh

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

Submitted 14 August, 1998; originally announced August 1998.

Comments: 8 pages, amstex

Report number: ER-1

arXiv:math/9806072 [pdf, ps, other]

A method of construction of finite-dimensional triangular semisimple Hopf algebras

Abstract: The goal of this paper is to give a new method of constructing finite-dimensional semisimple triangular Hopf algebras, including minimal ones which are non-trivial (i.e. not group algebras). The paper shows that such Hopf algebras are quite abundant. It also discovers an unexpected connection of such Hopf algebras with bijective 1-cocycles on finite groups and set-theoretical solutions of the qu… ▽ More The goal of this paper is to give a new method of constructing finite-dimensional semisimple triangular Hopf algebras, including minimal ones which are non-trivial (i.e. not group algebras). The paper shows that such Hopf algebras are quite abundant. It also discovers an unexpected connection of such Hopf algebras with bijective 1-cocycles on finite groups and set-theoretical solutions of the quantum Yang-Baxter equation defined by Drinfeld. △ Less

Submitted 12 June, 1998; originally announced June 1998.

Comments: 9 pages, amstex

Report number: EG4

arXiv:math/9805106 [pdf, ps, other]

On Finite-Dimensional Semisimple and Cosemisimple Hopf Algebras in Positive Characteristic

Abstract: Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some results on finite-dimensional semisimple and cosemisimple Hopf algebras A over a field of positive characteristic, notably Kaplansky's 5th conjecture on the order… ▽ More Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some results on finite-dimensional semisimple and cosemisimple Hopf algebras A over a field of positive characteristic, notably Kaplansky's 5th conjecture on the order of the antipode of A. These results have already been proved over a field of characteristic zero, so in a sense we demonstrate that it is sufficient to consider semisimple Hopf algebras over such a field (they are also cosemisimple), and then to use our Lifting Theorem 2.1 to prove it for semisimple and cosemisimple Hopf algebras over a field of positive characteristic. In our proof of Lifting Theorem 2.1 we use standard arguments of deformation theory from positive to zero characteristic. The key ingredient of the proof is the theorem that the bialgebra cohomology groups of A vanish. △ Less

Submitted 8 July, 1998; v1 submitted 22 May, 1998; originally announced May 1998.

Comments: 11 pages, amstex; new results were added in the second version; in the third version, proofs were simplified and more new results added; the present version contains a new section 4 on when semisimple Hopf algebras are cosemisimple. The paper will appear in IMRN

Report number: EG3

arXiv:math/9801135 [pdf, ps, other]

doi 10.1007/s002200050665

Exchange dynamical quantum groups

Authors: Pavel Etingof, Alexander Varchenko

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

Submitted 6 February, 1999; v1 submitted 29 January, 1998; originally announced January 1998.

Comments: 30 pages, latex; two short sections and some remarks were added

Report number: DQG-3

arXiv:math/9801129 [pdf, ps, other]

Semisimple Hopf algebras of dimension pq are trivial

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

Submitted 8 July, 1998; v1 submitted 28 January, 1998; originally announced January 1998.

Comments: 5 pages, latex; in this version we slightly changed the proof of Lemma 2 which was originally incomplete. The paper will appear in the Journal of Algebra

Report number: SSHA-3

arXiv:math/9801108 [pdf, ps, other]

A link between two elliptic quantum groups

Authors: Pavel Etingof, Olivier Schiffmann

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

Submitted 22 January, 1998; originally announced January 1998.

Comments: 12 pages, Latex

arXiv:math/9801047 [pdf, ps, other]

Set-theoretical solutions to the quantum Yang-Baxter equation

Authors: Pavel Etingof, Travis Schedler, Alexandre Soloviev

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

Submitted 20 December, 1998; v1 submitted 11 January, 1998; originally announced January 1998.

Comments: 36 pages, amstex, figures, revised and expanded, contains q-alg/9707027 as a small subset

arXiv:math/9801043 [pdf, ps, other]

Quantization of Lie bialgebras, IV

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

Submitted 28 August, 1998; v1 submitted 9 January, 1998; originally announced January 1998.

Comments: 22 pages, amstex. This is the 4-th part of the Quantization series, starting from q-alg/9506005; in the revised version, some errors in formulas in Chapter 5 have been corrected

Report number: QLB-IV

arXiv:q-alg/9712051 [pdf, ps, other]

On Cherednik-Macdonald-Mehta identities

Abstract: In this note we give a short proof of Cherednik's generalization of Macdonald-Mehta identities for the root system $A_{n-1}$ using the representation theory of quantum groups. These identities, suggested and proved by Cherednik, give an explicit formula for the integral of a product of Macdonald polynomials with respect to a ``difference analogue of the Gaussian measure''. In this note we give a short proof of Cherednik's generalization of Macdonald-Mehta identities for the root system $A_{n-1}$ using the representation theory of quantum groups. These identities, suggested and proved by Cherednik, give an explicit formula for the integral of a product of Macdonald polynomials with respect to a ``difference analogue of the Gaussian measure''. △ Less

Submitted 23 December, 1997; originally announced December 1997.

Comments: 7 pages, amstex

Report number: MMI-1

arXiv:q-alg/9712033 [pdf, ps, other]

Some Properties of Finite-Dimensional Semisimple Hopf Algebras

Abstract: Kaplansky conjectured that if H is a finite-dimensional semisimple Hopf algebra over an algebraically closed field k of characteristic 0, then H is of Frobenius type (i.e. if V is an irreducible representation of H then dimV divides dimH). It was proved by Montgomery and Witherspoon that the conjecture is true for H of dimension p^n, p prime, and by Nichols and Richmond that if H has a 2-dimensi… ▽ More Kaplansky conjectured that if H is a finite-dimensional semisimple Hopf algebra over an algebraically closed field k of characteristic 0, then H is of Frobenius type (i.e. if V is an irreducible representation of H then dimV divides dimH). It was proved by Montgomery and Witherspoon that the conjecture is true for H of dimension p^n, p prime, and by Nichols and Richmond that if H has a 2-dimensional representation then dimH is even. In this paper we first prove that if V is an irreducible representation of D(H), the Drinfeld double of any finite-dimensional semisimple Hopf algebra H over k, then dimV divides dimH (not just dimD(H)=(dimH)^2). In doing this we use the theory of modular tensor categories (in particular Verlinde formula). We then use this statement to prove that Kaplansky's conjecture is true for finite-dimensional semisimple quasitriangular Hopf algebras over k. As a result we prove easily the result of Zhu that Kaplansky's conjecture on prime dimensional Hopf algebras over k is true, by passing to their Drinfeld doubles. Second, we use a theorem of Deligne on characterization of tannakian categories to prove that triangular semisimple Hopf algebras over k are equivalent to group algebras as quasi-Hopf algebras. △ Less

Submitted 11 December, 1997; originally announced December 1997.

Comments: 7 pages, latex

Report number: SSHA-1

arXiv:q-alg/9708015 [pdf, ps, other]

doi 10.1007/s002200050437

Solutions of the quantum dynamical Yang-Baxter equation and dynamical quantum groups

Authors: Pavel Etingof, Alexander Varchenko

Abstract: The quantum dynamical Yang-Baxter (QDYB) equation is a useful generalization of the quantum Yang-Baxter (QYB) equation introduced by Gervais, Neveu, and Felder. The QDYB equation and its quasiclassical analogue (the classical dynamical Yang-Baxter equation) arise in several areas of mathematics and mathematical physics (conformal field theory, integrable systems, representation theory). The most… ▽ More The quantum dynamical Yang-Baxter (QDYB) equation is a useful generalization of the quantum Yang-Baxter (QYB) equation introduced by Gervais, Neveu, and Felder. The QDYB equation and its quasiclassical analogue (the classical dynamical Yang-Baxter equation) arise in several areas of mathematics and mathematical physics (conformal field theory, integrable systems, representation theory). The most interesting solution of the QDYB equation is the elliptic solution, discovered by Felder. In this paper, we prove the first classification results for solutions of the QDYB equation. These results are parallel to the classification of solutions of the classical dynamical Yang-Baxter equation, obtained in our previous paper q-alg/9703040. All solutions we found can be obtained from Felder's elliptic solution by a limiting process and gauge transformations. Fifteen years ago the quantum Yang-Baxter equation gave rise to the theory of quantum groups. Namely, it turned out that the language of quantum groups (Hopf algebras) is the adequate algebraic language to talk about solutions of the quantum Yang-Baxter equation. In this paper we propose a similar language, originating from Felder's ideas, which we found to be adequate for the dynamical Yang-Baxter equation. This is the language of dynamical quantum groups (or $\h$-Hopf algebroids), which is the quantum counterpart of the language of dynamical Poisson groupoids, introduced in our previous paper q-alg/9703040. △ Less

Submitted 16 August, 1997; originally announced August 1997.

Comments: 55 pages, amstex

Report number: DQG-2

arXiv:q-alg/9707027 [pdf, ps, other]

On set-theoretical solutions of the quantum Yang-Baxter equation

Authors: Pavel Etingof, Travis Schedler, Alexandre Soloviev

Abstract: Recently V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions of the quantum Yang-Baxter equation, i.e. solutions given by a permutation $R$ of the set $X\times X$, where $X$ is a fixed finite set. In this note we study such solutions, which satisfy the unitarity and the crossing symmetry conditions -- natural c… ▽ More Recently V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions of the quantum Yang-Baxter equation, i.e. solutions given by a permutation $R$ of the set $X\times X$, where $X$ is a fixed finite set. In this note we study such solutions, which satisfy the unitarity and the crossing symmetry conditions -- natural conditions arising in physical applications. More specifically, we consider ``linear'' solutions: the set $X$ is an abelian group, and the map $R$ is an automorphism of $X\times X$. We show that in this case, solutions are in 1-1 correspondence with pairs $a,b\in \End X$, such that $b$ is invertible and $bab^{-1}=\frac{a}{a+1}$. Later we consider ``affine'' solutions ($R$ is an automorphism of $X\times X$ as a principal homogeneous space), and show that they have a similar classification. The fact that these classifications are so nice leads us to think that there should be some interesting structure hidden behind this problem. △ Less

Submitted 23 July, 1997; v1 submitted 22 July, 1997; originally announced July 1997.

Comments: 4 pages, amstex; in the revised version there are minor changes; in particular, the set X is assumed to be finite

Report number: STS-1

arXiv:q-alg/9707017 [pdf, ps, other]

Nonabelian Integrable Systems, Quasideterminants, and Marchenko Lemma

Authors: Pavel Etingof, Israel Gelfand, Vladimir Retakh

Abstract: We find explicit (multisoliton) solutions for nonabelian integrable systems such as periodic Toda field equations, Langmuir equations, and Schrodinger equations for functions with values in any associative algebra. The solution for nonabelian Toda field equations for root systems of types A, B, C was expressed by the authors in a previous paper (q-alg/9701008) using quasideterminants introduced… ▽ More We find explicit (multisoliton) solutions for nonabelian integrable systems such as periodic Toda field equations, Langmuir equations, and Schrodinger equations for functions with values in any associative algebra. The solution for nonabelian Toda field equations for root systems of types A, B, C was expressed by the authors in a previous paper (q-alg/9701008) using quasideterminants introduced by the last two authors. To find multisoliton solutions of periodic Toda equations and other nonabelian systems we use a combination of these ideas with important lemmas which are due to Marchenko. △ Less

Submitted 22 December, 1997; v1 submitted 14 July, 1997; originally announced July 1997.

Comments: 10 pages, amstex; in the new version, a misprint in the formula before Proposition 2 was corrected, and a few very minor changes were made; a reference was added

Report number: NIS-1

arXiv:q-alg/9703040 [pdf, ps, other]

doi 10.1007/s002200050292

Geometry and classification of solutions of the Classical Dynamical Yang-Baxter Equation

Authors: Pavel Etingof, Alexander Varchenko

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

Submitted 16 June, 1997; v1 submitted 21 March, 1997; originally announced March 1997.

Comments: 47 pages, amstex; in the new version Chapters 1 and 2 were revised; minor errors were corrected, presentation of material and terminology was changed (slightly), and we added a new section 1.4 with some new results

Report number: DQG-1

arXiv:q-alg/9701038 [pdf, ps, other]

Quantization of Lie bialgebras, II

Abstract: This paper is a continuation of "Quantization of Lie bialgebras, I" (q-alg/9606005). We show that the quantization procedure defined in "Quantization of Lie bialgebras, I" is given by universal acyclic formulas and defines a functor from the category of Lie bialgebras to the category of quantized universal envelo** algebras. We also show that this functor defines an equivalence between the cat… ▽ More This paper is a continuation of "Quantization of Lie bialgebras, I" (q-alg/9606005). We show that the quantization procedure defined in "Quantization of Lie bialgebras, I" is given by universal acyclic formulas and defines a functor from the category of Lie bialgebras to the category of quantized universal envelo** algebras. We also show that this functor defines an equivalence between the category of Lie bialgebras over k[[h]] and the category quantized universal envelo** (QUE) algebras. △ Less

Submitted 9 January, 1998; v1 submitted 29 January, 1997; originally announced January 1997.

Comments: 17 pages, amstex; some minor misprints and errors were corrected

Report number: QLB-2

arXiv:q-alg/9701008 [pdf, ps, other]

Factorization of differential operators, quasideterminants, and nonabelian Toda field equations

Authors: Pavel Etingof, Israel Gelfand, Vladimir Retakh

Abstract: We integrate nonabelian Toda field equations for root systems of types A, B, C, for functions with values in any associative algebra. The solution is expressed via quasideterminants. In the appendix we review some results concerning nonabelian soliton equations. We integrate nonabelian Toda field equations for root systems of types A, B, C, for functions with values in any associative algebra. The solution is expressed via quasideterminants. In the appendix we review some results concerning nonabelian soliton equations. △ Less

Submitted 4 February, 1997; v1 submitted 8 January, 1997; originally announced January 1997.

Comments: 8 pages, amstex. In the revised version we have added an appendix where we discuss noncommutative KP and KdV hierarchies

Report number: FDO-1

arXiv:q-alg/9610030 [pdf, ps, other]

Quantization of Lie bialgebras, III

Abstract: In this paper we construct explicitly the quantization of Lie bialgebras of $\g$-valued functions on a punctured rational or elliptic curve, where $\g$ is a finite dimensional simple Lie algebra. by reducing the problem of quantization of the algebra of $\g$-valued functions on a curve with many punctures to the case of one puncture. In this paper we construct explicitly the quantization of Lie bialgebras of $\g$-valued functions on a punctured rational or elliptic curve, where $\g$ is a finite dimensional simple Lie algebra. by reducing the problem of quantization of the algebra of $\g$-valued functions on a curve with many punctures to the case of one puncture. △ Less

Submitted 9 January, 1998; v1 submitted 24 October, 1996; originally announced October 1996.

Comments: 32 pages, amstex. In the revised version, many formulas were changed to fit some standard notations, and a number of errors in formulas were corrected. The unitarity condition for copseudotriangular structures was removed as irrelevant. The proof of Theorem 1.18 was written in more detail. Proposition 3.9, which was incorrectly formulated in the original version, was changed

Report number: QLB-III

arXiv:alg-geom/9607012 [pdf, ps, other]

Quantum integrable systems and differential Galois theory

Authors: Alexander Braverman, Pavel Etingof, Dennis Gaitsgory

Abstract: The purpose of this paper is to connect two subjects: the theory of quantum integrable systems (complete commutative rings of differential operators), and differential Galois theory. We define quantum completely integrable systems (QCIS), algebraically integrable QCIS, the differential Galois group of a QCIS. We show that the differential Galois group is always reductive and that a QCIS is algeb… ▽ More The purpose of this paper is to connect two subjects: the theory of quantum integrable systems (complete commutative rings of differential operators), and differential Galois theory. We define quantum completely integrable systems (QCIS), algebraically integrable QCIS, the differential Galois group of a QCIS. We show that the differential Galois group is always reductive and that a QCIS is algebraically integrable if and only if its differential Galois group is commutative. In particular, we show that a differential operator L in one variable is algebraic in the sense of Krichever (i.e. finite-zone) if and only if the differential Galois group of the differential equation Lf=af is commutative for a generic number a. As a by-product, we obtain a proof of the Veselov-Chalyh conjecture on the algebraic integrability of the elliptic Calogero-Moser system. △ Less

Submitted 30 January, 2002; v1 submitted 12 July, 1996; originally announced July 1996.

Comments: 23 pages, amstex. The definition of the Hermite-Bethe variety was corrected, and it was explained that the centralizer commutatitvity theorem is due to Makar-Limanov

arXiv:q-alg/9603022 [pdf, ps, other]

Algebraic integrability of Macdonald operators and representations of quantum groups

Authors: Pavel Etingof, Konstantin Styrkas

Abstract: In this paper we construct examples of commutative rings of difference operators with matrix coefficients from representation theory of quantum groups, generalizing the results of our previous paper to the $q$-deformed case. A generalized Baker-Akhiezer function $Ψ$ is realized as a matrix character of a Verma module and is a common eigenfunction for a commutative ring of difference operators. I… ▽ More In this paper we construct examples of commutative rings of difference operators with matrix coefficients from representation theory of quantum groups, generalizing the results of our previous paper to the $q$-deformed case. A generalized Baker-Akhiezer function $Ψ$ is realized as a matrix character of a Verma module and is a common eigenfunction for a commutative ring of difference operators. In particular, we obtain the following result in Macdonald theory: at integer values of the Macdonald parameter $k$, there exist difference operators commuting with Macdonald operators which are not polynomials of Macdonald operators. This result generalizes an analogous result of Chalyh and Veselov for the case $q=1$, to arbitrary $q$. As a by-product, we prove a generalized Weyl character formula for Macdonald polynomials (a conjecture by G.Felder and A.Varchenko), the duality for the $Ψ$-function, and the existence of shift operators. △ Less

Submitted 25 March, 1996; originally announced March 1996.

Comments: 24 pages, amstex

Report number: AIMOQG

arXiv:q-alg/9510020 [pdf, ps, other]

Quantization of Poisson algebraic groups and Poisson homogeneous spaces

Abstract: This paper consists of two parts. In the first part we show that any Poisson algebraic group over a field of characteristic zero and any Poisson Lie group admits a local quantization. This answers positively a question of Drinfeld. In the second part we apply our techniques of quantization to obtain some nontrivial examples of quantization of Poisson homogeneous spaces. This paper consists of two parts. In the first part we show that any Poisson algebraic group over a field of characteristic zero and any Poisson Lie group admits a local quantization. This answers positively a question of Drinfeld. In the second part we apply our techniques of quantization to obtain some nontrivial examples of quantization of Poisson homogeneous spaces. △ Less

Submitted 8 November, 1995; v1 submitted 20 October, 1995; originally announced October 1995.

Comments: 9 pages, amstex. The revised version contains a new reference

Report number: QPAG

arXiv:q-alg/9506005 [pdf, ps, other]

Quantization of Lie bialgebras, I

Abstract: In the paper "On some unsolved problems in quantum group theory", V.Drinfeld formulated the problem of the existence of a universal quantization for Lie bialgebras. When the paper "Tensor structures arising from affine Lie algebras, III", by Kazhdan and Lusztig, appeared, Drinfeld asked whether its methods could be useful for the problem of universal quantization of Lie bialgebras. In this paper w… ▽ More In the paper "On some unsolved problems in quantum group theory", V.Drinfeld formulated the problem of the existence of a universal quantization for Lie bialgebras. When the paper "Tensor structures arising from affine Lie algebras, III", by Kazhdan and Lusztig, appeared, Drinfeld asked whether its methods could be useful for the problem of universal quantization of Lie bialgebras. In this paper we use these methods to construct the universal quantization, which gives a positive answer to Drinfeld's question. We also show the existence of universal quantization of classical r-matrices, unitary r-matrices, and quasitriangular Lie bialgebras, which answers the corresponding questions of Drinfeld. △ Less

Submitted 30 May, 2016; v1 submitted 6 June, 1995; originally announced June 1995.

Comments: 40 pages, amstex. The new version contains several changes throughout the paper suggested by the referee of Selecta Math. In particular, Chapter 10 (functoriality of quantization) is completely rewritten to make the exposition more clear and precise; the May 2016 version points out an error in the proof of Prop. 9.7 found by A. Brochier, and gives a reference to a corrected proof in his paper

arXiv:q-alg/9412007 [pdf, ps, other]

Central elements for quantum affine algebras and affine Macdonald's operators

Authors: Pavel Etingof

Abstract: We describe a generalization of Drinfeld's description of the center of a quantum group to the case of quantum affine algebras. We use the obtained central elements to construct the affine analogue of Macdonald's difference operators. We describe a generalization of Drinfeld's description of the center of a quantum group to the case of quantum affine algebras. We use the obtained central elements to construct the affine analogue of Macdonald's difference operators. △ Less

Submitted 20 December, 1994; originally announced December 1994.

Comments: 13 pages, amstex

Report number: E-94-12

arXiv:math/9411232 [pdf, ps]

Representation-theoretic proof of the inner product and symmetry identities for MacDonald's polynomials

Authors: Pavel I. Etingof, Alexander A. Kirillov Jr.

Abstract: This paper is a continuation of our papers [EK1, EK2]. In [EK2] we showed that for the root system A_n-1 one can obtain Macdonald's polynomials - a new interesting class of symmetric functions recently defined by I. Macdonald {M1] - as weighted traces of intertwining operators between certain finite-dimensional representations of U_q sl_n. The main goal of the present paper is to use this constr… ▽ More This paper is a continuation of our papers [EK1, EK2]. In [EK2] we showed that for the root system A_n-1 one can obtain Macdonald's polynomials - a new interesting class of symmetric functions recently defined by I. Macdonald {M1] - as weighted traces of intertwining operators between certain finite-dimensional representations of U_q sl_n. The main goal of the present paper is to use this construction to give a representation-theoretic proof of Macdonald's inner product and symmetry identities for the root system A_n-1. Macdonald's inner product identities (see [M2]) have been proved by combinatorial methods my Macdonald ([Macdonald, private communication]). △ Less

Submitted 29 November, 1994; originally announced November 1994.

Report number: OP-SF 30 Nov 1994

arXiv:hep-th/9410208 [pdf, ps, other]

On spectral theory of quantum vertex operators

Authors: Pavel Etingof

Abstract: In this note we prove the Davies-Foda-Jimbo-Miwa-Nakayashiki conjecture on the asymptotics of the composition of n quantum vertex operators for the quantum affine algebra U_q(\hat sl_2), as n goes to infinity. For this purpose we define and study the leading eigenvalue and eigenvector of the product of two components of the quantum vertex operator. This eigenvector and the corresponding eigenval… ▽ More In this note we prove the Davies-Foda-Jimbo-Miwa-Nakayashiki conjecture on the asymptotics of the composition of n quantum vertex operators for the quantum affine algebra U_q(\hat sl_2), as n goes to infinity. For this purpose we define and study the leading eigenvalue and eigenvector of the product of two components of the quantum vertex operator. This eigenvector and the corresponding eigenvalue were recently computed by M.Jimbo. The results of his computation are given in Section 4. △ Less

Submitted 27 October, 1994; originally announced October 1994.

Comments: 14 pages

arXiv:hep-th/9410169 [pdf, ps]

Representation-theoretic proof of the inner product and symmetry identities for Macdonald's polynomials

Abstract: This paper is a continuation of our papers \cite{EK1, EK2}. In \cite{EK2} we showed that for the root system $A_{n-1}$ one can obtain Macdonald's polynomials as weighted traces of intertwining operators between certain finite-dimensional representations of $U_q(sl_n)$. The main goal of the present paper is to use this construction to give a representation-theoretic proof of Macdonald's inner pro… ▽ More This paper is a continuation of our papers \cite{EK1, EK2}. In \cite{EK2} we showed that for the root system $A_{n-1}$ one can obtain Macdonald's polynomials as weighted traces of intertwining operators between certain finite-dimensional representations of $U_q(sl_n)$. The main goal of the present paper is to use this construction to give a representation-theoretic proof of Macdonald's inner product and symmetry identities for the root system $A_{n-1}$. The proofs are based on the techniques of ribbon graphs developed by Reshetikhin and Turaev. We also use the symmetry identities to derive recursive relations for Macdonald's polynomials. △ Less

Submitted 21 October, 1994; originally announced October 1994.

arXiv:hep-th/9408078 [pdf, ps, other]

Representations of tensor categories and Dynkin diagrams

Authors: Pavel Etingof, Mikhail Khovanov

Abstract: In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show that indecomposable Z_+-representations of the character ring of SU(2) satisfying certain conditions correspond to affine and infinite Dynkin diagrams with l… ▽ More In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show that indecomposable Z_+-representations of the character ring of SU(2) satisfying certain conditions correspond to affine and infinite Dynkin diagrams with loops. We also show that irreducible Z_+-representations of the Verlinde algebra (the character ring of the quantum group SU(2)_q, where q is a root of unity), satisfying similar conditions correspond to usual (non-affine) Dynkin diagrams with loops. Conjecturedly, the last result is related to the ADE classification of conformal field theories with the chiral algebra \hat{sl(2)}. △ Less

Submitted 30 August, 1994; v1 submitted 13 August, 1994; originally announced August 1994.

Comments: 10 pages; errors in indexation in the Clebsch-Gordan and truncated Clebsch-Gordan formulas are corrected

Journal ref: Int.Math.Res.Not. 5 (1995) 235-247

arXiv:hep-th/9407047 [pdf, ps, other]

Spherical functions on affine Lie groups

Authors: Pavel Etingof, Igor Frenkel, Alexander Kirillov Jr

Abstract: We describe vector valued conjugacy equivariant functions on a group K in two cases -- K is a compact simple Lie group, and K is an affine Lie group. We construct such functions as weighted traces of certain intertwining operators between representations of K. For a compact group $K$, Peter-Weyl theorem implies that all equivariant functions can be written as linear combinations of such traces… ▽ More We describe vector valued conjugacy equivariant functions on a group K in two cases -- K is a compact simple Lie group, and K is an affine Lie group. We construct such functions as weighted traces of certain intertwining operators between representations of K. For a compact group $K$, Peter-Weyl theorem implies that all equivariant functions can be written as linear combinations of such traces. Next, we compute the radial parts of the Laplace operators of $K$ acting on conjugacy equivariant functions and obtain a comple- tely integrable quantum system with matrix coefficients, which in a special case coincides with the trigonometric Calogero-Sutherland-Moser multi-particle system. In the affine Lie group case, we prove that the space of equivariant functions having a fixed homogeneity degree with respect to the action of the center of the group is finite-dimensional and spanned by weighted traces of intertwining operators. This space coincides with the space of Wess-Zumino-Witten conformal blocks on an elliptic curve. We compute the radial part of the second order Laplace operator on the affine Lie group acting on equivariant functions, and find that it is a certain parabolic partial differential operator, which degenerates to the elliptic Calogero-Sutherland-Moser hamiltonian as the central charge tends to minus the dual Coxeter number (the critical level). Quantum integrals of this hamiltonian are obtained as radial part of the higher Sugawara operators which are central at the critical level. △ Less

Submitted 31 October, 1994; v1 submitted 8 July, 1994; originally announced July 1994.

Comments: 30 pages. Minor misprints and errors in Def. 1.3, 2.2, formulas after (2.8), and Lemma 3.9 were corrected

arXiv:hep-th/9405038 [pdf, ps, other]

doi 10.1063/1.531076

Integral formulas for wave functions of quantum many-body problems and representations of gl(n)

Authors: Pavel Etingof

Abstract: We derive explicit integral formulas for eigenfunctions of quantum integrals of the Calogero-Sutherland-Moser operator with trigonometric interaction potential. In particular, we derive explicit formulas for Jack's symmetric functions. To obtain such formulas, we use the representation of these eigenfunctions by means of traces of intertwining operators between certain modules over the Lie algeb… ▽ More We derive explicit integral formulas for eigenfunctions of quantum integrals of the Calogero-Sutherland-Moser operator with trigonometric interaction potential. In particular, we derive explicit formulas for Jack's symmetric functions. To obtain such formulas, we use the representation of these eigenfunctions by means of traces of intertwining operators between certain modules over the Lie algebra $\frak gl_n$, and the realization of these modules on functions of many variables. △ Less

Submitted 21 May, 1994; v1 submitted 5 May, 1994; originally announced May 1994.

Comments: 6 pages. One reference ([FF]) has been corrected. New references and an introduction have been added

Journal ref: J.Math.Phys. 36 (1995) 1645-1651

arXiv:hep-th/9403168 [pdf, ps, other]

On the affine analogue of Jack's and Macdonald's polynomials

Authors: Pavel Etingof, Alexander Kirillov Jr.

Abstract: We define the analogue of Jack's (Jacobi) polynomials, which were defined for finite-dimensional root system by Heckman and Opdam as eigenfunctions of trigonometric Sutherland operator for the affine root system $\hat A_{n-1}$. In the affine case, we define the polynomials as eigenfunctions of "affine Sutherland operator", which is Calogero-Sutherland operator with elliptic potential plus the te… ▽ More We define the analogue of Jack's (Jacobi) polynomials, which were defined for finite-dimensional root system by Heckman and Opdam as eigenfunctions of trigonometric Sutherland operator for the affine root system $\hat A_{n-1}$. In the affine case, we define the polynomials as eigenfunctions of "affine Sutherland operator", which is Calogero-Sutherland operator with elliptic potential plus the term involving derivative with respect to the modular parameter. We show that such polynomials can be constructed explicitly as traces of certain intertwiners for affine Lie algebra. Also, we define the q-analogue of this construction, which gives affine analogues of Macdonald's polynomials, and show the (conjectured) relation between the Macdonald's inner product identities for affine case and scalar product of conformal blocks in the WZW model. △ Less

Submitted 24 January, 1995; v1 submitted 28 March, 1994; originally announced March 1994.

Comments: 27 pages. Revised version; minor corrections

arXiv:hep-th/9403135 [pdf, ps, other]

Algebraic integrability of Schrödinger operators and representations of Lie algebras

Authors: Pavel Etingof, Kostantin Styrkas

Abstract: In this paper we study integrability and algebraic integrability properties of certain matrix Schrödinger operators. More specifically, we associate such an operator (with rational, trigonometric, or elliptic coefficients) to every simple Lie algebra g and every representation U of this algebra with a nonzero but finite dimensional zero weight subspace. The Calogero-Sutherland operator is a spec… ▽ More In this paper we study integrability and algebraic integrability properties of certain matrix Schrödinger operators. More specifically, we associate such an operator (with rational, trigonometric, or elliptic coefficients) to every simple Lie algebra g and every representation U of this algebra with a nonzero but finite dimensional zero weight subspace. The Calogero-Sutherland operator is a special case of this construction. Such an operator is always integrable. Our main result is that it is also algebraically integrable in the rational and trigonometric case if the representation U is highest weight. This generalizes the corresponding result for Calogero-Sutherland operators proved by Chalyh and Vaselov. We also conjecture that this is true for the elliptic case as well, which is a generalization of the corresponding conjecture by Chalyh and Vaselov for Calogero-Sutherland operators. △ Less

Submitted 22 March, 1994; originally announced March 1994.

Comments: 19 pages

arXiv:hep-th/9403064 [pdf, ps, other]

Center of a quantum affine algebra at the critical level

Authors: **tai Ding, Pavel Etingof

Abstract: We construct central elements in a completion of the quantum affine algebra at the critical level c=-g from the universal R-matrix (g being the dual Coxeter number of the corresponding simple Lie algebra), using the method of Reshetikhin and Semenov-Tian-Shansky. This construction defines an action of the Grothendieck algebra of the category of finite-dimensional representations of the quantum a… ▽ More We construct central elements in a completion of the quantum affine algebra at the critical level c=-g from the universal R-matrix (g being the dual Coxeter number of the corresponding simple Lie algebra), using the method of Reshetikhin and Semenov-Tian-Shansky. This construction defines an action of the Grothendieck algebra of the category of finite-dimensional representations of the quantum affine algebra on any module over this algebra from category O with c=-g. We explain the connection between the central elements and transfer matrices in statistical mechanics. In the quasiclassical approximation this connection was explained by Feigin, E.Frenkel, and Reshetikhin in hep-th 9402022, and it was mentioned that one could generalize it to the quantum case to get Bethe vectors for transfer matrices. Using this connection, we prove that the central elements (for all finite dimensional representations) applied to the highest weight vector of a generic Verma module at the critical level generate the whole space of singular vectors in this module. We also compute the first term of the quasiclassical expansion of the central elements near q=1, and show that it always gives the Sugawara current with a certain coefficient. △ Less

Submitted 10 March, 1994; originally announced March 1994.

Comments: 10 pages

arXiv:hep-th/9312123 [pdf, ps, other]

Affine Gelfand-Dickey brackets and holomorphic vector bundles

Authors: Pavel Etingof, Boris Khesin

Abstract: Conjecture 9B from the previous version of the paper stating that any holomorphic vector bundle on an elliptic curve can be realized by a scalar differential equation has now been proved by the authors. The proof is included in the new version. Conjecture 9B from the previous version of the paper stating that any holomorphic vector bundle on an elliptic curve can be realized by a scalar differential equation has now been proved by the authors. The proof is included in the new version. △ Less

Submitted 7 January, 1994; v1 submitted 14 December, 1993; originally announced December 1993.

Comments: 24 pages, no figures

arXiv:hep-th/9312103 [pdf, ps, other]

Macdonald's polynomials and representations of quantum groups

Abstract: In this paper we present a formula for Macdonald's polynomials for the root system A(n-1) which arises from the representation theory of quantum sl(n). This formula expresses Macdonald's polynomials via (weighted) traces of intertwining operators between certain modules over quantum sl(n). We also describe the commutative system of Macdonald's difference operators using the generators of the cen… ▽ More In this paper we present a formula for Macdonald's polynomials for the root system A(n-1) which arises from the representation theory of quantum sl(n). This formula expresses Macdonald's polynomials via (weighted) traces of intertwining operators between certain modules over quantum sl(n). We also describe the commutative system of Macdonald's difference operators using the generators of the center of the quantum universal envelo** algebra, and use this description to prove a trace formula for generic eigenfunctions of these operators. These functions are generalized q-hypergeometric functions which are related to solutions of the quantum Knizhnik-Zamolodchikov equations. △ Less

Submitted 13 December, 1993; originally announced December 1993.

Comments: 20 pages, no figures

arXiv:hep-th/9312101 [pdf, ps, other]

A unified representation-theoretic approach to special functions

Abstract: A representation-theoretic approach to special functions was developed in the 40-s and 50-s in the works of I.M.Gelfand, M.A.Naimark, N.Ya.Vilenkin, and their collaborators. The essence of this approach is the fact that most classical special functions can be obtained as suitable specializations of matrix elements or characters of representations of groups. Another rich source of special functio… ▽ More A representation-theoretic approach to special functions was developed in the 40-s and 50-s in the works of I.M.Gelfand, M.A.Naimark, N.Ya.Vilenkin, and their collaborators. The essence of this approach is the fact that most classical special functions can be obtained as suitable specializations of matrix elements or characters of representations of groups. Another rich source of special functions is the theory of Clebsch-Gordan coefficients which describes the geometric juxtaposition of irreducible components inside the tensor product of two representations. Finally, in recent works on representations of (quantum) affine Lie algebras it was shown that matrix elements of intertwining operators between certain representations of these algebras are interesting special functions -- (q-)hypergeometric functions and their generalizations. In this paper we suggest a general method of getting special functions from representation theory which unifies the three methods mentioned above and allows one to define and study many new special functions. We illustrate this method by a number of examples -- Macdonald's polynomials, eigenfunctions of the Sutherland operator, Lame functions. △ Less

Submitted 13 December, 1993; originally announced December 1993.

Comments: 3 pages, no figures

arXiv:hep-th/9312057 [pdf, ps, other]

Difference equations with elliptic coefficients and quantum affine algebras

Authors: Pavel Etingof

Abstract: The purpose of this paper is to introduce and study a q-analogue of the holonomic system of differential equations associated to the Belavin's classical r-matrix (elliptic r-matrix equations), or, equivalently, to define an elliptic deformation of the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. In hep-th 9303018, it was shown that solutions of the elliptic r-matrix equat… ▽ More The purpose of this paper is to introduce and study a q-analogue of the holonomic system of differential equations associated to the Belavin's classical r-matrix (elliptic r-matrix equations), or, equivalently, to define an elliptic deformation of the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. In hep-th 9303018, it was shown that solutions of the elliptic r-matrix equations admit a representation as traces of products of intertwining operators between certain modules over affine sl(N). In this paper, this construction is generalized to quantum affine sl(N). The main object of study in the paper is a family of meromorphic matrix functions of n complex variables z_1,...,z_n and three additional parameters p,q,s -- (modified) traces of products of intertwiners between modules over quantum affine sl(N). They are a new class of transcendental functions which can be degenerated into many interesting special functions -- hypergeometric and q-hypergeometric functions, elliptic and modular functions, transcendental functions of an elliptic curve, vector-valued modular forms, solutions of the Bethe ansatz equations etc. The main result of the paper states that these functions satisfy two holonomic systems of difference equations -- the first one has shift parameter p and elliptic modulus s, and the second one has shift parameter s and elliptic modulus p. The paper also contains a short proof of the quantum KZ equations. △ Less

Submitted 7 December, 1993; originally announced December 1993.

Comments: 27 pages, no figures

arXiv:hep-th/9311132 [pdf, ps, other]

doi 10.1063/1.531056

Quantum integrable systems and representations of Lie algebras

Authors: Pavel Etingof

Abstract: In this paper the quantum integrals of the Hamiltonian of the quantum many-body problem with the interaction potential K/sinh^2(x) (Sutherland operator) are constructed as images of higher Casimirs of the Lie algebra gl(N) under a certain homomorphism from the center of U(gl(N)) to the algebra of differential operators in N variables. A similar construction applied to the affine gl(N) at the cri… ▽ More In this paper the quantum integrals of the Hamiltonian of the quantum many-body problem with the interaction potential K/sinh^2(x) (Sutherland operator) are constructed as images of higher Casimirs of the Lie algebra gl(N) under a certain homomorphism from the center of U(gl(N)) to the algebra of differential operators in N variables. A similar construction applied to the affine gl(N) at the critical level k=-N defines a correspondence between higher Sugawara operators and quantum integrals of the Hamiltonian of the quantum many-body problem with the potential equal to constant times the Weierstrass function. This allows one to give a new proof of the Olshanetsky-Perelomov theorem stating that this Hamiltonian defines a completely integrable quantum system. We also give a new expression for eigenfunctions of the quantum integrals of the Sutherland operator as traces of intertwining operators between certain representations of gl(N). △ Less

Submitted 22 November, 1993; originally announced November 1993.

Comments: 17 pages, no figures

Journal ref: J.Math.Phys. 36 (1995) 2636-2651

arXiv:hep-th/9310083 [pdf, ps, other]

Representations of affine Lie algebras, parabolic differential equations, and Lame functions