The quantum super-Yangian and Casimir operators of Uq(gl(M |N))

TheZ ₂ graded Yangian Yq(gl(M |N)) associated with the Perk-SchultzR matrix is introduced. Its structural properties, the central algebra in particular, are studied. AZ ₂-graded associative algebra epimorphism Yq(gl(M |N)) Uq (gl(M |N)) is obtained in explicit form. Images of central elements of the quantum super-Yangian under this epimorphism yield the Casimir operators of the quantum supergroup Uq(gl(M |N)) constructed in an earlier publication.     

Small representations of quantum affine algebras

We characterize the finite-dimensional representations of the quantum affine algebra U _q ( _n+1) (whereq ^× is not a root of unity) which are irreducible as representations of U _q (sl _n+1). We call such representations small. In 1986, Jimbo defined a family of homomorphismsev _a from U _q (sl _n+1) to (an enlargement of) U _q (sl_,n+1), depending on a parametera ^·. A second family,ev ^a can be obtained by a small modification of Jimbo's formulas. We show that every small representation of U _q ( _n+1) is obtained by pulling back an irreducible representation of U _q (sl _n+1) byev _a orev ^a for somea ^·.     

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.     

Nonclassical type representations of the q-deformed algebra U′q(son)

The nonstandard q-deformation U_q(so_n) of the universal enveloping algebra U(so _n ) has irreducible finite dimensional representations which are a q-deformation of the well-known irreducible finite dimensional representations of U(so _n ). But U_q(so_n) also has irreducible finite dimensional representations which have no classical analogue. The aim of this paper is to give these representations which are called nonclassical type representations. They are given by explicit formulas for operators of the representations corresponding to the generators of U_q(so_n).     

Spin physics with internal targets and the blast detector

The aim of this paper is to give a set of central elements of the algebras U_q(so_m) and U _q(iso _m ) when q is a root of unity. They are surprisingly arise from a single polynomial Casimir element of the algebra U_q(so₃). It is conjectured that the Casimir elements of these algebras under any values of q (not only for q a root of unity) and the central elements for q a root of unity derived in this paper generate the centers of U_q(so_m) and U _q(iso _m ) when q is a root of unity.     

Projective quantum spaces

Associated to the standard SU _q (n) R-matrices, we introduce quantum spheresS _q ^2n-1 , projective quantum spaces _q ^n-1 , and quantum Grassmann manifoldsG _k( _q ⁿ ). These algebras are shown to be homogeneous spaces of standard quantum groups and are also quantum principle bundles in the sense of T. Brzeziski and S. Majid.     

Representations of Lie algebras from representations of quantum groups

In paper [*] (P. Moylan: Czech. J. Phys., Vol. 47 (1997), p. 1251) we gave an explicit embedding of the three dimensional Euclidean algebra (2) into a quantum structure associated with U _q(so(2, 1)). We used this embedding to construct skew symmetric representations of (2) out of skew symmetric representations of U _q(so(2, 1)). Here we consider generalizations of the results in [*] to a more complicated quantum group, which is of importance to physics. We consider U _q(so(3, 2)), and we show that, for a particular representation, namely the Rac representation, many of the results in [*] carry over to this case. In particular, we construct representations of so(3, 2), P(2, 2), the Poincaré algebra in 2+2 dimensions, and the Poincaré algebra out of the Rac representation of U _q(so(3, 2)). These results may be of interest to those working on exploiting representations of U _q(so(3, 2)), like the Rac, as an example of kinematical confinement for particle constituents such as the quarks.     

Quantum deformations of singletons and of free zero-mass fields

We consider quantum deformations of the real symplectic (or anti-De Sitter) algebra sp(4), spin(3, 2) and of its singleton and (4-dimensional) zero-mass representations. For q a root of –1, these representations admit finite-dimensional unitary subrepresentations. It is pointed out that U_q (sp(4, )), unlike U_q (su(2, 2)), contains U_q (sl ₂ ) as a quantum subalgebra.To Asim Barut, with all our friendship.     

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.     

Remarks on the Schur—Howe—Sergeev Duality

We establish a new Howe duality between a pair of two queer Lie superalgebras (q(m),q(n)). This gives a representation theoretic interpretation of a well-known combinatorial identity for Schur Q-functions. We further establish the equivalence between this new Howe duality and the Schur–Sergeev duality between q(n) and a central extension of the hyperoctahedral group H _k. We show that the zero-weight space of a q(n)-module with highest weight given by a strict partition of n is an irreducible module over the finite group parameterized by . We also discuss some consequences of this Howe duality.     

R-Operator, Co-Product and Haar-Measure for the Modular Double of

A certain class of unitary representations of U_q((2,)) has the property of being simultanenously a representation of for a particular choice of (q). Faddeev has proposed to unify the quantum groups U_q((2,)) and into some enlarged object for which he has coined the name ``modular double'. We study the R-operator, the co-product and the Haar-measure for the modular double of U_q((2,)) and establish their main properties. In particular it is shown that the Clebsch-Gordan maps constructed in [PT2] diagonalize this R-operator.     

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 ₂ ^± .     

Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity

An example of a finite dimensional factorizable ribbon Hopf -algebra is given by a quotientH=u _q (g) of the quantized universal enveloping algebraU _q (g) at a root of unityq of odd degree. The mapping class groupM _g,1 of a surface of genusg with one hole projectively acts by automorphisms in theH-moduleH ^*g , ifH ^* is endowed with the coadjointH-module structure. There exists a projective representation of the mapping class groupM _g,n of a surface of genusg withn holes labeled by finite dimensionalH-modulesX ₁, ...,X _n in the vector space Hom _H (X ₁ ... X _n ,H ^*g ). An invariant of closed oriented 3-manifolds is constructed. Modifications of these constructions for a class of ribbon Hopf algebras satisfying weaker conditions than factorizability (including most ofu _q (g) at roots of unityq of even degree) are described.This work was supported in part by the EPSRC research grant GR/G 42976.     

Representations of the cyclically symmetric q-deformed algebra U q(so3)

An algebra homomorphism from the nonstandard q-deformed (cyclically symmetric) algebra U _q(so₃) to the extension Û _q(sl₂) of the Hopf algebra U _q(sl₂) is constructed. Not all irreducible representations (IR) of U _q(sl₂) can be extended to representations of Û _q(sl₂). Composing the homomorphism with irreducible representations of Û _q(sl₂) we obtain representations of U _q(so₃). Not all of these representations of U _q(so₃) are irreducible. Reducible representations of U _q(so₃) are decomposed into irreducible components. In this way we obtain all IR of U _q(so₃) when q is not a root of unity. A part of these representations turn into IR of the Lie algebra so₃ when q 1.     

The structure of U q (sl(2, C))

The structure of the deformation U _q (sl(2, C)) is discussed. The comultiplication, all commutation relations, and a conjugation follow in a clear way form the simple SL _q (2) structure. Fundamental and spin representation are given.     

On a possible origin of quantum groups

A Poisson bracket structure having the commutation relations of the quantum group SL _q (2) is quantized by means of the Moyal star-product on C (²), showing that quantum groups are not exactly quantizations, but require a quantization (with another parameter) in the background. The resulting associative algebra is a strongly invariant nonlinear star-product realization of the q-algebra U _q (sl(2)). The principle of strong invariance (the requirement that the star-commutator is star-expressed, up to a phase, by the same function as its classical limit) implies essentially the uniqueness of the commutation relations of U _q (sl(2)).     

gl q (n) and quantum monodromy

A generalized Toda lattice based on gl(n) is considered. The Poisson brackets are expressed in terms of a Lax connection, L=–() and a classical r-matrix, {₁,₂}=[r,₁+₂}. The essential point is that the local lattice transfer matrix is taken to be the ordinary exponential, T=e; this assures the intepretation of the local and the global transfer matrices in terms of monodromy, which is not true of the T-matrix used for the sl(n) Toda lattice. To relate this exponential transfer matrix to the more manageable and traditional factorized form, it is necessary to make specific assumptions about the equal time operator product expansions. The simplest possible assumptions lead to an equivalent, factorized expression for T, in terms of operators in (an extension of) the enveloping algebra of gl(n). Restricted to sl(n), and to multiplicity-free representations, these operators satisfy the commutation relations of sl _q (n), which provides a very simple injection of sl _q (n) into the enveloping algebra of sl(n). A deformed coproduct, similar in form to the familiar coproduct on sl _q (n), turns gl(n) into a deformed Hopf algebra gl _q (n). It contains sl _q (n) as a subalgebra, but not as a sub-Hopf algebra.     

The q-boson operator algebra and q-Hermite polynomials

The q-boson algebra is defined as an associative algebra with generators and relations. Some examples are given, and then the q-boson algebra is extended such that the roots of the diagonal generators are also defined. It is shown that a family of transformations exist mapping one set of standard generators of the q-boson algebra to another set of standard generators. Using such a transformation, one obtains expressions for q-bosons for which the kth q-boson state is expressed in terms of a q-Hermite polynomial p _k (x; q) which reduces to the ordinary Hermite polynomial of degree k when q=1.     

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.     

Minimal affinizations of representations of quantum groups: the irregular case

Let be a finite-dimensional complex simple Lie algebra and U_q( ) the associated quantum group (q is a nonzero complex number which we assume is transcendental). IfV is a finitedimensional irreducible representation of U_q( ), an affinization ofV is an irreducible representationVV of the quantum affine algebra U_q( ) which containsV with multiplicity one and is such that all other irreducible U_q( )-components ofV have highest weight strictly smaller than the highest weight ofV. There is a natural partial order on the set of U_q( ) classes of affinizations, and we look for the minimal one(s). In earlier papers, we showed that (i) if is of typeA, B, C, F orG, the minimal affinization is unique up to U_q( )-isomorphism; (ii) if is of typeD orE and is not orthogonal to the triple node of the Dynkin diagram of , there are either one or three minimal affinizations (depending on ). In this paper, we show, in contrast to the regular case, that if U_q( ) is of typeD ₄ and is orthogonal to the triple node, the number of minimal affinizations has no upper bound independent of .As a by-product of our methods, we disprove a conjecture according to which, if is of typeA _n,every affinization is isomorphic to a tensor product of representations of U_q( ) which are irreducible under U_q( ) (in an earlier paper, we proved this conjecture whenn=1).Both authors were partially supported by the NSF, DMS-9207701.