This paper is a continuation of math.QA/9907181 and math.QA/9908115. We consider traces of intertwiners between certain representations of the quantized enveloping 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.
In this paper we continue to study Belavin-Drinfeld cohomology introduced in arXiv:1303.4046 [math.QA] and related to the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra. Here we compute Belavin-Drinfeld cohomology for all non-skewsymmetric $r$-matrices from the Belavin-Drinfeld list for simple Lie algebras of type $B$, $C$, and $D$.
We suggest a formula for quantum universal $R$-matrices corresponding to quasitriangular classical $r$-matrices classified by Belavin and Drinfeld for all simple Lie algebras. The $R$-matrices are obtained by twisting the standard universal $R$-matrix.
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…
Using the notion of compatibility between Poisson brackets and cluster structures in the coordinate rings of simple Lie groups, Gekhtman Shapiro and Vainshtein conjectured a correspondence between the two. Poisson Lie groups are classified by the Belavin--Drinfeld classification of solutions to the classical Yang Baxter equation. For any non trivial Belavin--Drinfeld data of minimal size for $SL_{n}$, the companion paper constructed a cluster structure with a locally regular initial seed, which was proved to be compatible with the Poisson bracket associated with that Belavin--Drinfeld data. Th…
Using the notion of compatibility between Poisson brackets and cluster structures in the coordinate rings of simple Lie groups, Gekhtman Shapiro and Vainshtein conjectured a correspondence between the two. Poisson Lie groups are classified by the Belavin-Drinfeld classification of solutions to the classical Yang Baxter equation. For any non trivial Belavin-Drinfeld data of minimal size for $SL_{n}$, we give an algorithm for constructing an initial seed $Σ$ in $\mathcal{O}(SL_{n})$. The cluster structure $\mathcal{C}=\mathcal{C}(Σ)$ is then proved to be compatible with the Poisson bracket assoc…
We study natural cluster structures in the rings of regular functions on simple complex Lie groups and Poisson-Lie structures compatible with these cluster structures. According to our main conjecture, each class in the Belavin-Drinfeld classification of Poisson-Lie structures on $\G$ corresponds to a cluster structure in $Ø(\G)$. We prove a reduction theorem explaining how different parts of the conjecture are related to each other. The conjecture is established for $SL_n$, $n<5$, and for any $\G$ in the case of the standard Poisson-Lie structure.
In the present article we discuss the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra $\mathfrak{g}$. This problem reduces to the classification of all Lie bialgebra structures on $\mathfrak{g}(\mathbb{K})$, where $\mathbb{K}=\mathbb{C}((\hbar))$. The associated classical double is of the form $\mathfrak{g}(\mathbb{K})\otimes_{\mathbb{K}} A$, where $A$ is one of the following: $\mathbb{K}[ε]$, where $ε^{2}=0$, $\mathbb{K}\oplus \mathbb{K}$ or $\mathbb{K}[j]$ where $j^{2}=\hbar$. The first case relates to quasi-Frobenius Lie algebras. In the se…
The present article is a continuation of QA/1303.4046, where we discussed the classification of quantum groups with quasi-classical limit $\mathfrak{g}$ and introduced a theory of Belavin-Drinfeld cohomology associated to any non-skewsymmetric $r$-matrix. Depending on the form of the corresponding double, there exists a one-to-one correspondence between gauge equivalence classes of Lie bialgebra structures on $\mathfrak{g}\otimes_{\mathbb{C}}\mathbb{K}$, where $\mathbb{K}=\mathbb{C}((\hbar))$, and untwisted or twisted cohomology classes. In the present paper we investigate twisted cohomologies…
For a simple Lie algebra L of type A, D, E we show that any Belavin-Drinfeld triple on the Dynkin diagram of L produces a collection of Drinfeld twists for Lusztig's small quantum group u_q(L). These twists give rise to new finite-dimensional factorizable Hopf algebras, i.e. new small quantum groups. For any Hopf algebra constructed in this manner, we identify the group of grouplike elements, identify the Drinfeld element, and describe the irreducible representations of the dual in terms of the representation theory of the parabolic subalgebra(s) in L associated to the given Belavin-Drinfeld t…
A construction is given of a family of non-standard quantizations of the algebra of functions on a connected complex semi-simple algebraic group. For each ``disjoint'' triple in the sense of Belavin and Drinfeld, a 2-cocycle is constructed on certain multi-parameter quantum groups. The new non-standard quantum groups are the Hopf algebras obtained by twisting the known quantum groups by these 2-cocycles. In particular, the Cremmer-Gervais quantization of $SL(3)$ can be constructed in this way.
We relate the Belavin--Drinfeld cohomologies (twisted and untwisted) that have been introduced in the literature to study certain families of quantum groups and Lie bialgebras over a non algebraically closed field $\mathbb K$ of characteristic 0 to the standard non-abelian Galois cohomology $H^1(\mathbb K, \mathbf H)$ for a suitable algebraic $\mathbb K$-group $\mathbf H.$ The approach presented allows us to establish in full generality certain conjectures that were known to hold for the classical types of the split simple Lie algebras.
We study solutions to a generalized version of the classical Yang-Baxter equation (CYBE) with values in a central simple Lie algebra over a field of characteristic 0 from an algebro-geometric perspective. In particular, we describe such solutions using cohomology free sheaves of Lie algebras on projective curves. This framework leads to a new proof of the Belavin-Drinfeld trichotomy, which asserts that over the ground field $\mathbb{C}$ any non-degenerate solution of the CYBE is either elliptic, trigonometric or rational. Furthermore, we obtain new structural results for solutions of the gener…
We prove the GGS conjecture (1993), due to Gerstenhaber, Giaquinto, and Schack, which gives a particularly simple explicit quantization of classical r-matrices for Lie algebras gl(n) in terms of an element R satisfying the quantum Yang-Baxter equation and the Hecke condition. The r-matrices were classified by Belavin and Drinfeld in the 1980s in terms of combinatorial objects known as Belavin-Drinfeld triples. We prove this conjecture by showing that the GGS matrix coincides with another quantization due to Etingof, Schiffmann, and the author, which is a more general construction. We do this b…
The first example of a quantum group was introduced by P.~Kulish and N.~Reshetikhin. In their paper "Quantum linear problem for the sine-Gordon equation and higher representations" published in Zap. Nauchn. Sem. LOMI, 1981, Volume 101 (English version: Journal of Soviet Mathematics, 1983, 23:4), they found a new algebra which was later called $U_q (sl(2))$. Their example was developed independently by V.~Drinfeld and M.~Jimbo, which resulted in the general notion of quantum group. Recently, the so-called Belavin-Drinfeld cohomologies (twisted and untwisted) have been introduced in the literatu…
Given an arbitrary field $\mathbb{F}$ of characteristic 0, we study Lie bialgebra structures on $sl(n,\mathbb{F})$, based on the description of the corresponding classical double. For any Lie bialgebra structure $δ$, the classical double $D(sl(n,\mathbb{F}),δ)$ is isomorphic to $sl(n,\mathbb{F})\otimes_{\mathbb{F}} A$, where $A$ is either $\mathbb{F}[\varepsilon]$, with $\varepsilon^{2}=0$, or $\mathbb{F}\oplus \mathbb{F}$ or a quadratic field extension of $\mathbb{F}$. In the first case, the classification leads to quasi-Frobenius Lie subalgebras of $sl(n,\mathbb{F})$. In the second and third…
In the 1980's, Belavin and Drinfeld classified non-unitary solutions of the classical Yang-Baxter equation (CYBE) for simple Lie algebras. They proved that all such solutions fall into finitely many continuous families and introduced combinatorial objects to label these families, Belavin-Drinfeld triples. In 1993, Gerstenhaber, Giaquinto, and Schack attempted to quantize such solutions for Lie algebras sl(n). As a result, they formulated a conjecture stating that certain explicitly given elements R satisfy the quantum Yang-Baxter equation (QYBE) and the Hecke condition. Specifically, the conje…
A conjecture by Gekhtman, Shapiro and Vainshtein suggests a correspondence between the Belavin - Drinfeld classification of solutions of the classical Yang - Baxter equation and cluster structures on simple Lie groups. This paper confirms the conjecture for $SL_{5}$. Given a Belavin - Drinfeld class, we construct the corresponding cluster structure in $\mathcal{O}\left(SL_{5}\right)$, and show that it satisfies all parts of the conjecture.
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 …
In the 1980's, Belavin and Drinfeld classified solutions r of the classical Yang-Baxter equation (CYBE) for simple Lie algebras \mathfrak g satisfying 0 \neq r + r_{21} \in (S^2 \mathfrak{g})^{\mathfrak{g}}. They proved that all such solutions fall into finitely many continuous families and introduced combinatorial objects to label these families, Belavin-Drinfeld triples. In 1993, Gerstenhaber, Giaquinto, and Schack attempted to quantize such solutions for Lie algebras \mathfrak{sl}(n). As a result, they formulated a conjecture stating that certain explicitly given elements R \in Mat_n(\mathb…
This is the second paper in the series of papers dedicated to the study of natural cluster structures in the rings of regular functions on simple complex Lie groups and Poisson-Lie structures compatible with these cluster structures. According to our main conjecture, each class in the Belavin-Drinfeld classification of Poisson-Lie structures on $\G$ corresponds to a cluster structure in $Ø(\G)$. We have shown before that this conjecture holds for any $\G$ in the case of the standard Poisson-Lie structure and for all Belavin-Drinfeld classes in $SL_n$, $n<5$. In this paper we establish it for t…
We study real and complex Manin triples for a complex reductive Lie algebra, $\g$. The first part includes, and extends to complex Manin triples, our earlier work [De]. First, we generalize results of E. Karolinsky, on the classification of Lagrangian subalgebras (cf.[K1], [K3]). Then we show that, if $\g$ is non commutative, one can attach, to each Manin triple in $\g$, another one for a strictly smaller reductive complex Lie subalgebra of $\g$. This gives a powerful tool for induction. Then we classify complex Manin triples, in terms of what we call generalized Belavin-Drinfeld data. In part…
Using recent results of P. Etingof and A. Varchenko on the Classical Dynamical Yang-Baxter equation, we reduce the classification of dynamical r-matrices r on a commutative subalgebra l of a Lie algebra g to a purely algebraic problem under some technical conditions on the symmetric part of r. Using this, we then classify all non skew-symmetric dynamical r-matrices when g is a simple Lie algebra and l a commutative subalgebra containing a regular semisimple element. This partially answers a question in [EV] q-alg/9703040 and generalizes the Belavin-Drinfeld classification of constant r-matrice…
Following V. Drinfeld and G. Olshansky, we construct Manin triples $(\fg, \fa, \fa^*)$ such that $\fg$ is different from Drinfeld's doubles of $\fa$ for several series of Lie superalgebras $\fa$ which have no even invariant bilinear form (periplectic, Poisson and contact) and for a remarkable exception. Straightforward superization of suitable Etingof--Kazhdan's results guarantee then the uniqueness of $q$-quantization of our Lie bialgebras. Our examples give solutions to the quantum Yang-Baxter equation in the cases when the classical YB equation has no solutions. To find explicit solutions i…
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 …
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…
We approach the classification of Lie bialgebra structures on simple Lie algebras from the viewpoint of descent and non-abelian cohomology. We achieve a description of the problem in terms faithfully flat cohomology over an arbitrary ring over $\mathbb{Q}$, and solve it for Drinfeld-Jimbo Lie bialgebras over fields of characteristic zero. We consider the classification up to isomorphism, as opposed to equivalence, and treat split and non-split Lie algebras alike. We moreover give a new interpretation of scalar multiples of Lie bialgebras hitherto studied using twisted Belavin-Drinfeld cohomolo…
We investigate the structure of the elliptic algebra U_{q,p}(^sl_2) introduced earlier by one of the authors. Our construction is based on a new set of generating series in the quantum affine algebra U_q(^sl_2), which are elliptic analogs of the Drinfeld currents. They enable us to identify U_{q,p}(^sl_2) with the tensor product of U_q(^sl_2) and a Heisenberg algebra generated by P,Q with [Q,P]=1. In terms of these currents, we construct an L operator satisfying the dynamical RLL relation in the presence of the central element c. The vertex operators of Lukyanov and Pugai arise as `intertwiner…
This paper continues our investigation of a class of generalized quantum groups. The "standard" R-matrix was shown to be the unique solution of a very simple, linear recursion relation and the classical limit was obtained in the case of quantized Kac-Moody algebras of finite type. Here the standard R-matrix for generalized quantum groups is first examined in the case of quantized affine Kac-Moody algebras. The classical limit yields the standard affine r-matrices of Belavin and Drinfeld. Then, turning to the general case, we study the exact deformations of the standard R-matrix and the associa…
We classify trigonometric solutions to the associative Yang-Baxter equation (AYBE) for A = Mat_n, the associative algebra of n-by-n matrices. The AYBE was first presented in a 2000 article by Marcelo Aguiar and also independently by Alexandre Polishchuk. Trigonometric AYBE solutions limit to solutions of the classical Yang-Baxter equation. We find that such solutions of the AYBE are equal to special solutions of the quantum Yang-Baxter equation (QYBE) classified by Gerstenhaber, Giaquinto, and Schack (GGS), divided by a factor of q - q^{-1}, where q is the deformation parameter q = exp(h). In …
A large family of "standard" coboundary Hopf algebras is investigated. The existence of a universal R-matrix is demonstrated for the case when the parameters are in general position. Special values of the parameters are characterized by the appearance of certain ideals; in this case the universal R-matrix exists on the associated algebraic quotient. In special cases the quotient is a "standard" quantum group; all familiar quantum groups including twisted ones are obtained in this way. In other special cases one finds new types of coboundary bi-algebras. A large class of first order deformation…
We introduce a new family of classical $r$-matrices for the Lie algebra $\mathfrak{sl}_n$ that lies in the Zariski boundary of the Belavin-Drinfeld space ${\mathcal M}$ of quasi-triangular solutions to the classical Yang-Baxter equation. In this setting ${\mathcal M}$ is a finite disjoint union of components; exactly $ϕ(n)$ of these components are $SL_n$-orbits of single points. These points are the generalized Cremmer-Gervais $r$-matrices $r_{i, n}$ which are naturally indexed by pairs of positive coprime integers, $i$ and $n$, with $i < n$. A conjecture of Gerstenhaber and Giaquinto states t…
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 o…
The algebra of monodromy matrices for sl(n) trigonometric R-matrices is studied. It is shown that a generic finite-dimensional polynomial irreducible representation of this algebra is equivalent to a tensor product of L-operators. Cocommutativity of representations is discussed. A special class of representations - factorizable representations is introduced and intertwiners for cocommuting factorizable representations are written through the Boltzmann weights of the sl(n) chiral Potts model. Let us consider an algebra generated by noncommutative entries of the matrix $T(u)$ satisfying the famo…
In this paper, we extend results connecting quantum groups to spherical Whittaker functions on metaplectic covers of $GL_r(F)$, for $F$ a nonarchimedean local field. Brubaker, Buciumas, and Bump showed that for a certain metaplectic $n$-fold cover of $GL_r(F)$ a set of Yang-Baxter equations model the action of standard intertwiners on principal series Whittaker functions. These equations arise from a Drinfeld twist of the quantum affine Lie superalgebra $U_{\sqrt{v}}(\widehat{\frak{gl}}(n)),$ where $v = q^{-1}$ for $q$ the cardinality of the residue field. We extend their results to all metapl…
A large family of "standard" coboundary Hopf algebras is investigated. The existence of a universal R-matrix is demonstrated for the case when the parameters are in general position. Algebraic surfaces in parameter space are characterized by the appearance of certain ideals; in this case the universal R-matrix exists on the associated algebraic quotient. In special cases the quotient is a "standard" quantum group; all familiar quantum groups including twisted ones are obtained in this way. In other special cases one finds new types of coboundary bi-algebras. The "standard" universal R-matrix i…
