Quantum double and differential calculi

We show that bicovariant bimodules as defined by Woronowicz are in one-to-one correspondence with the Drinfeld quantum double representations. We then prove that a differential calculus associated to a bicovariant bimodule of dimension n is connected to the existence of a particular (n+1)-dimensional representation of the double. An example of bicovariant differential calculus on the nonquasitriangular quantum group E _q (2) is developed. The construction is studied in terms of Hochschild cohomology and a correspondence between differential calculi and 1-cocycles is proved. Some differences of calculi on quantum and finite groups with respect to Lie groups are stressed.     

Construction of a new quantum double and new solutions to the Yang-Baxter equation

A new quantum double is established from a new Hopf algebra and a new kind of quantum R-matrix is obtained.     

On the quantum group and quantum algebra approach toq-special functions

Two interpretations ofq-special functions based on quantum groups and algebras have been presented in the literature. The connection between these approaches is explained using as an example the case whereU _q (sl(2)) is the basic structure.Supported in part by the National Sciences and Engineering Research Council (NSERC) of Canada.     

Quantum orbits of theR-matrix type

Given a simple Lie algebra g, we consider the orbits in g^* which are of theR-matrix type, i.e., which possess a Poisson pencil generated by the Kirillov-Kostant-Souriau bracket and the so-calledR-matrix bracket. We call an algebra quantizing the latter bracket a quantum orbit of theR-matrix type. We describe some orbits of this type explicitly and we construct a quantization of the whole Poisson pencil on these orbits in a similar way. The notions ofq-deformed Lie brackets, braided coadjoint vector fields, and tangent vector fields are discussed as well.     

Serre-type relations for special linear Lie superalgebras

It is pointed out that, for m, n 2, the naive Serre presentation corresponding to the simplest Cartan matrix of sl(m, n) does not define the Lie superalgebra sl(m, n) but a larger algebra s(m, n) of which sl(m, n) is a nontrivial quotient. The supplementary relations for the generators are found and the definition of the q-deformed universal enveloping algebra of sl(m, n) is modified accordingly.     

The uniqueness theorem for the universal R-matrix

Up to now, the universal R-matrix for quantized Kac-Moody algebras is believed to be uniquely determined (for some ansatz) by properties of a quasi-cocommutativity and a quasi-triangularity. We prove here that the universal R-matrix (for the same ansatz) is uniquely determined by the property of the quasi-cocommutativity only. Thus, the quasi-triangular property (and the Yang-Baxter equation!) for the universal R-matrix is a consequence of the linear equation of the quasi-cocommutativity. The proof is based on properties of singular vectors in the tensor product of the Verma modules and the structure of extremal projector for quantized algebras. Explicit expressions of the universal R-matrix for quantized algebras U _q (A _inf1 ^sup(1) ) and U _q (A _inf2 ^sup(2) ) are given.

---

     

Duality for a Lorentz quantum group

We give the algebra _q ^/* dual to the matrix Lorentz quantum group _q of Podles-Woronowicz, and Watamuraet al. As a commutation algebra, it has the classical form _q ^/* U _q (sl(2, )) U _q (sl(2, )). However, this splitting is not preserved by the coalgebra structure which we also give. For the derivation, we use a generalization of the approach of Sudbery, viz. tangent vectors at the identity.     

On a possible algebra morphism of U q [osp(1/2n)] onto the deformed oscillator algebra W q (n)

We formulate a conjecture stating that the algebra ofn pairs of deformed Bose creation and annihilation operators is a factor algebra of U _q [osp(1/2n)], considered as a Hopf algebra, and prove it for then = 2 case. To this end, we show that for any value ofq, U _q [osp(1/4)] can be viewed as a superalgebra freely generated by two pairsB ₁ ^± ,B ₂ ^± of deformed para-Bose operators. We write down all Hopf algebra relations, an analogue of the Cartan-Weyl basis, the commutation relations between the generators and a basis in U _q [osp(1/2n)] entirely in terms ofB ₁ ^± ,B ₂ ^± .     

Yangian double

Studying the algebraic structure of the doubleDY(g) of the Yangian Y(g), we present the triangular decomposition ofDY(g) and a factorization for the canonical pairing of the Yangian with its dual inside Y⁰(g). As a consequence, we describe a structure of the universalR-matrixR forDY(g) which is complete forDY(s1₂). We demonstrate how this formula works in evaluation representations of Y(sl₂). We interpret the one-dimensional factor arising in concrete representations ofR as a bilinear form on highest-weight polynomials of irreducible representations of Y(g) and express this form in terms of -functions.Partially supported by ISF grant MBI000 and Russian Foundation for Fundamental Researches     

On the hopf structure of U p,q (gl(1∣1)) and the universal T-matrix of fun p,q (GL(1∣1))

The dually conjugate Hopf superalgebras Fun _p,q (GL(11)) and U _p,q (gl(11)) are studied using the Frønsdal-Galindo approach and the full Hopf structure of U _p,q (gl(11)) is extracted. A finite expression for the universal T-matrix, identified with the dual form and expressing the generalization of the exponential map of the classical groups, is obtained for Fun _p,q (GL(11)). In a representation with a colour index, the T-matrix assumes a form that satisfies a coloured graded Yang-Baxter equation.     

Diagonalization of the braid generator on unitary irreps of quantum supergroups

It is shown that the braid generator associated with the universalR-matrix is diagonalizable on all unitary representations of quantum supergroups. An example is considered using U _q (gl(2|1)) and a family of eight-dimensional typical representations.     

A natural and rigid model of quantum groups

We introduce a natural (Fréchet-Hopf) algebra A containing all generic Jimbo algebras U _t (sl(2)) (as dense subalgebras). The Hopf structures on A extend (in a continuous way) the Hopf structures of generic U _t (sl(2)). The Universal R-matrices converge in A A. Using the (topological) dual of A, we recover the formalism of functions of noncommutative arguments. In addition, we show that all these Hopf structures on A are isomorphic (as bialgebras), and rigid in the category of bialgebras.     

Eigenvalues of Casimir invariants for type I quantum superalgebras

We present the eigenvalues of the Casimir invariants for the type I quantum superalgebras on any irreducible highest weight module.     

Quantized affine Lie algebras and diagonalization of braid generators

Let U _q be a quantized affine Lie algebra. It is proven that the universal R-matrix R of U _q satisfies the celebrated conjugation relationR ⁺ =TR withT the usual twist map. As applications, the braid generator is shown to be diagonalizable on arbitrary tensor product modules of integrable irreducible highest weight U _q -module and a spectral decomposition formula for the braid generator is obtained which is the generalization of Reshetikhin and Gould forms to the present affine case. Casimir invariants are constructed and their eigenvalues computed by means of the spectral decomposition formula. As a by-product, an interesting identity is found.     

Quantum groups and diagonalization of the braid generator

It is shown that the braid generator is diagonalizable on arbitrary tensor product modules V V, V an irreducible module for a quantum group. A generalization of the Reshetikhin form for the braid generator is thereby obtained in the general case. As an application, a general closed formula is determined for link polynomials.     

Quantization of U q [so(2n + 1)] with deformed para-Fermi operators

The observation thatn pairs of para-Fermi (pF) operators generate the universal enveloping algebra of the orthogonal Lie algebra so(2n + 1) is used in order to define deformed pF operators. It is shown that these operators are an alternative to the Chevalley generators. With this background U _q [so(2n + 1)] and its Cartan-Weyl generators are written down entirely in terms of deformed para-Fermi operators.     

Singular vectors of quantum group representations for straight Lie algebra roots

We give explicit formulae for singular vectors of Verma modules over U_q(G), where G is any complex simple Lie algebra. The vectors we present correspond exhaustively to a class of positive roots of G which we call straight roots. In some special cases, we give singular vectors corresponding to arbitrary positive roots. For our vectors we use a special basis of U_q(G ^-), where G ^- is the negative roots subalgebra of G, which was introducted in our earlier work in the case q=1. This basis seems more economical than the Poincaré-Birkhoff-Witt type of basis used by Malikov, Feigin, and Fuchs for the construction of singular vectors of Verma modules in the case q=1. Furthermore, this basis turns out to be part of a general basis recently introduced for other reasons by Lusztig for U_q(^-), where ^- is a Borel subalgebra of G.A. v. Humboldt-Stiftung fellow, permanent address and after 22 September 1991: Bulgarian Academy of Sciences, Institute of Nuclear Research and Nuclear Energy, 1784 Sofia, Bulgaria.     

A superalgebra morphism of U q [osp(1/2N)] onto the deformed oscillator superalgebra W q (N)

We prove that the deformed oscillator superalgebra W _q (n) (which in the Fock representation is generated essentially byn pairs ofq-bosons) is a factor algebra of the quantized universal enveloping algebra U _q [osp(1/2n)]. We write down aq-analog of the Cartan-Weyl basis for the deformed osp(1/2n) and also give an oscillator realization of all Cartan-Weyl generators.     

Casimir invariants for quantized affine Lie algebras

Casimir invariants for quantized affine Lie algebras are constructed and their eigenvalues computed in any irreducible highest-weight representation.