Star-products and phase space realizations of quantum groups

It is shown for a family of *-products (i.e. different ordering rules) that, under a strong invariance condition, the functions of the quadratic preferred observables (which generate the Cartan subalgebra in phase space realization of Lie algebras) take only the linear or exponential form. An exception occurs for the case of a symmetric ordering *-product where trigonometric functions and two special polynomials can also be included. As an example, the quantized algebra of the oscillator Lie algebra is argued.     

Braided differential operators on quantum algebras

We propose a general scheme of constructing braided differential algebras via algebras of “quantum exponentiated vector fields” and those of “quantum functions”. We treat a reflection equation algebra as a quantum analog of the algebra of vector fields. The role of a quantum function algebra is played by a general quantum matrix algebra. As an example we mention the so-called RTT algebra of quantized functions on the linear matrix group GL(m)$GL\left(m\right)$. In this case our construction essentially coincides with the quantum differential algebra introduced by S. Woronowicz. If the role of a quantum function algebra is played by another copy of the reflection equation algebra we get two different braided differential algebras. One of them is defined via a quantum analog of (co)adjoint vector fields, the other algebra is defined via a quantum analog of right-invariant vector fields. We show that the former algebra can be identified with a subalgebra of the latter one. Also, we show that “quantum adjoint vector fields” can be restricted to the so-called “braided orbits” which are counterparts of generic GL(m)$GL\left(m\right)$-orbits in gl^∗(m)$g{l}^{\ast }\left(m\right)$. Such braided orbits endowed with these restricted vector fields constitute a new class of braided differential algebras.     

A quantum deformation of the Virasoro algebra and the Macdonald symmetric functions

A quantum deformation of the Virasoro algebra is defined. The Kac determinants at arbitrary levels are conjectured. We construct a bosonic realization of the quantum deformed Virasoro algebra. Singular vectors are expressed by the Macdonald symmetric functions. This is proved by constructing screening currents acting on the bosonic Fock space.     

Metric on quantum spaces

We introduce the analogue of the metric tensor in the case ofq-deformed differential calculus. We analyse the consequences of the existence of the metric, showing that this enforces severe restrictions on the parameters of the theory. We discuss in detail examples of the Manin plane and theq-deformation of SU(2). Finally we touch the topic of relations with Connes' approach.Partially supported by KBN grant 2P 302 168 4.     

Braided Hopf algebras and differential calculus

We show that the algebra of the bicovariant differential calculus on a quantum group can be understood as a projection of the cross-product between a braided Hopf algebra and the quantum double of the quantum group. The resulting super-Hopf algebra can be reproduced by extending the exterior derivative to tensor products.This work was supported in part by the Director, Office of Energy Research, Office of High Energy and Nuclear Physics, Division of High Energy Physics of the U.S. Department of Energy under Contract DE-AC03-76SF00098 and in part by the National Science Foundation under grant PHY-90-21139.Supported in part by a Feodor-Lynen Fellowship.     

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.     

Quantum algebras for maximal motion groups ofN-dimensional flat spaces

An embedding method to getq-deformations for the nonsemisimple algebras generating the motion groups ofN-dimensional flat spaces is presented. This method gives a global and simultaneous scheme ofq-deformation for all iso(p, q) algebras and for those obtained from them by some Inönü-Wigner contractions, such as theN-dimensional Euclidean, Poincaré, and Galilei algebras.     

Fundamental representations of quantum groups at roots of 1

To every finite-dimensional irreducible representation V of the quantum group U(g) where is a primitive lth root of unity (l odd) and g is a finite-dimensional complex simple Lie algebra, de Concini, Kac and Procesi have associated a conjugacy class C _V in the adjoint group G of g. We describe explicitly, when g is of type A _n , B _n , C _n , or D _n , the representations associated to the conjugacy classes of minimal positive dimension. We call such representations fundamental and prove that, for any conjugacy class, there is an associated representation which is contained in a tensor product of fundamental representations.     

Classification of three-dimensional covariant differential calculi on Podles' quantum spheres and on related spaces

Covariant differential calculi on the quantum space for the quantum group SL _q (2) are classified. Our main assumptions are thatq is not a root of unity and that the differentials de _j of the generators of form a free right module basis for the first-order forms. Our result says, in particular, that apart from the two casesc =c(3), there exists a unique differential calculus with the above properties on the space which corresponds to Podles' quantum sphereS _qc ^/2 .     

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.     

Noncommutative symmetric functions and laplace operators for classical Lie algebras

New systems of Laplace (Casimir) operators for the orthogonal and symplectic Lie algebras are constructed. The operators are expressed in terms of paths in graphs related to matrices formed by the generators of these Lie algebras with the use of some properties of the noncommutative symmetric functions associated with a matrix. The decomposition of the Sklyanin determinant into a product of quasi-determinants play the main role in the construction. Analogous decomposition for the quantum determinant provides an alternative proof of the known construction for the Lie algebra gl(N).     

Construction ofN = 2 superconformal algebra from affine algebras with extended symmetry: I

The purpose of this Letter is to use the idea of the Sugawara-Ka-Todorov construction of theN = 0 andN = 1 superconformal algebras to construct a very simple free-field realization of theN = 2 superconformal algebra.     

Differential calculi on quantum vector spaces with Hecke-type relations

From a vector spaceV equipped with a Yang-Baxter operatorR one may form the r-symmetric algebraS _R V=TV/v w–R(v w), which is a quantum vector space in the sense of Manin, and the associated quantum matrix algebraM _R V=T(End(V))/f g–R(f g)R ^-1. In the case whenR satisfies a Hecke-type identityR ²=(1–q)R+q, we construct a differential calculus _R V forS _R V which agrees with that constructed by Pusz, Woronowicz, Wess, and Zumino whenR is essentially theR-matrix of GL _q (n). Elements of _R V may be regarded as differential forms on the quantum vector spaceS _R V. We show that _R V isM _R V-covariant in the sense that there is a coaction _*: _R V M _R V _R V with _*d=(1 d)_* extending the natural coaction :S _R V M _R V S _R V.     

Coherent states of theq-Weyl algebra

New coherent states of theq-Weyl algebraAA –qA A = 1,0 <q < 1, are constructed. They are defined as eigenstates of the operatorA which is the lowering operator for nonhighest weight representations describing positive energy states. Depending on whether the positive spectrum is discrete or continuous, these coherent states are related either to the bilateral basic hypergeometric series or to some integrals over them. The free particle realization of theq-Weyl algebra whenA A d²/dx² is used for illustrations.On leave of absence from the Institute for Nuclear Research, Russian Academy of Sciences, Moscow, Russia.     

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

Braid group action on theq-Weyl algebra

We provide a braid group action on theq-deformed Weyl algebraW _q (n). The restriction of this action to the representations ofU _q (A _n–1 ) andU _q (C _n ) inW _q (n) is seen to agree with the braid group action introduced by Lusztig on these quantum algebras.Supported in part by the National Sciences and Engineering Research Council (NSERC) of Canada.     

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

Finite-dimensional representations of U q (osp(1/2n)) and its connection with quantum so(2n+1)

It is shown that the quantum supergroup U _q (osp(1/2_n)) is essentially isomorphic to the quantum group U _-q (so(2n+1)) restricted to tensorial representations. This renders it straightforward to classify all the finite-dimensional irreducible representations of U _q (osp(1/2n)) at generic q. In particular, it is proved that at generic q, every-dimensional irrep of this quantum supergroup is a deformation of an osp(1/2n) irrep, and all the finite-dimensional representations are completely reducible.     

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.