Bicovariant quantum algebras and quantum Lie algebras

A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from Fun toU _q g, given by elements of the pure braid group. These operators—the reflection matrixYL ⁺ SL ^– being a special case—generate algebras that linearly close under adjoint actions, i.e. they form generalized Lie algebras. We establish the connection between the Hopf algebra formulation of the calculus and a formulation in compact matrix form which is quite powerful for actual computations and as applications we find the quantum determinant and an orthogonality relation forY inSO _q (N).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 PHY90-21139     

Vertex ring-indexed Lie algebras

Infinite-dimensional Lie algebras are introduced, which are only partially graded, and are specified by indices lying on cyclotomic rings. They may be thought of as generalizations of the Onsager algebra, but unlike it, or its sl(n) generalizations, they are not subalgebras of the loop algebras associated with sl(n). In a particular interesting case associated with sl(3), their indices lie on the Eisenstein integer triangular lattice, and these algebras are expected to underlie vertex operator combinations in CFT, brane physics, and graphite monolayers.     

Step algebras of semi-simple subalgebras of Lie algebras

For each pair (G,K) where G is a complex finite-dimensional Lie algebra and K a semi-simple subalgebra of G, we construct an associative algebra (step algebra) $\text{Y}$ (G,K) and a homomorphism i_*: $\text{Y}$ (G,K)→E(G) is the enveloping algebra of G. $\text{Y}$ (G,K) has the following properties: (1) If V is any G-module and x ? V a K-maximal vector, then sx = i_* (s)x is K-maximal for any s ? $\text{Y}$ (G,K); (2) If V is irreducible and a certain simple criteria is fulfilled, then any K-maximal vector can be written in the form sx_m, s ? $\text{Y}$ (G,K), where x_m is some fixed K-maximal vector. Because of these properties $\text{Y}$ (G,K) has great practical value when constructing irreducible representations of Lie algebras in a form which makes the reduction with respect to a semi-simple subalgebra explicit.     

The relation between quantumW algebras and Lie algebras

By quantizing the generalized Drinfeld-Sokolov reduction scheme for arbitrarysl ₂ embeddings we show that a large set of quantumW algebras can be viewed as (BRST) cohomologies of affine Lie algebras. The set contains many knownW algebras such asW _N andW ₃ ⁽²⁾ . Our formalism yields a completely algorithmic method for calculating theW algebra generators and their operator product expansions, replacing the cumbersome construction ofW algebras as commutants of screening operators. By generalizing and quantizing the Miura transformation we show that anyW algebra in can be embedded into the universal enveloping algebra of a semisimple affine Lie algebra which is, up to shifts in level, isomorphic to a subalgebra of the original affine algebra. Thereforeany realization of this semisimple affine Lie algebra leads to a realization of theW algebra. In particular, one obtains in this way a general and explicit method for constructing the free field realizations and Fock resolusions for all algebras in. Some examples are explicitly worked out.     

Lie algebras and quasifield operators

It is shown that realisations of any Lie algebra by means of bilinear polynomials of quasifield operators exist. These realisations are used to find some class of representations of the algebra.     

Nilpotent locally convex Lie algebras and Lie field structures

The purpose of this work is to join Lie field structures with certain infinite-dimensional Lie algebras with locally convex topology. These topological Lie algebras allow topological groups which are a generalization of the connected nilpotent Lie groups. We showed the existence of the continuous unitary representations of the gained groups and then we proved the analogue of Gårding theorem. Using this theorem we established the existence of representations of Lie field structures into Lie algebras of skew-symmetric operators on Hilbert spaces.Work supported by National Science Foundation.On leave of absence from the Institute Rudjer Bokovi, Zagreb.     

Leibniz algebras associated with representations of filiform Lie algebras

In this paper we investigate Leibniz algebras whose quotient Lie algebra is a naturally graded filiform Lie algebra $n_{n,1}$. We introduce a Fock module for the algebra $n_{n,1}$ and provide classification of Leibniz algebras $L$ whose corresponding Lie algebra $L/I$ is the algebra $n_{n,1}$ with condition that the ideal $I$ is a Fock $n_{n,1}$-module, where $I$ is the ideal generated by squares of elements from $L$.We also consider Leibniz algebras with corresponding Lie algebra $n_{n,1}$ and such that the action $I\times n_{n,1}\to I$ gives rise to a minimal faithful representation of $n_{n,1}$. The classification up to isomorphism of such Leibniz algebras is given for the case of $n=4$.     

Spiders for rank 2 Lie algebras

A spider is an axiomatization of the representation theory of a group, quantum group, Lie algebra, or other group or group-like object. It is also known as a spherical category, or a strict, monoidal category with a few extra properties, or by several other names. A recently useful point of view, developed by other authors, of the representation theory of sl(2) has been to present it as a spider by generators and relations. That is, one has an algebraic spider, defined by invariants of linear representations, and one identifies it as isomorphic to a combinatorial spider, given by generators and relations. We generalize this approach to the rank 2 simple Lie algebras, namelyA ₂,B ₂, andG ₂. Our combinatorial rank 2 spiders yield bases for invariant spaces which are probably related to Lusztig's canonical bases, and they are useful for computing quantities such as generalized 6j-symbols and quantum link invariants. Their definition originates in definitions of the rank 2 quantum link invariants that were discovered independently by the author and Francois Jaeger.The author was supported by an NSF Postdoctoral Fellowship, grant #DMS-9107908.     

Irreducible representations of Virasoro-toroidal Lie algebras

Toroidal Lie algebras and their vertex operator representations were introduced in [MEY] and a class of indecomposable modules were investigated. In this work, we extend the toroidal algebra by the Virasoro algebra thus constructing a semi-direct product algebra containing the toroidal algebra as an ideal and the Virasoro algebra as a subalgebra. With the use of vertex operators and certain oscillator representations of the Virasoro algebra it is proved that the corresponding Fock space gives rise to a class of irreducible modules for the Virasoro-toroidal algebra.To A. John Coleman on the occasion of his 75th birthday     

Lie algebras of nonstandard relativity groups

It is shown that representations of Lie algebras of the possible nonstandard spacetime symmetry groups may be derived from the representations of the Poincaré group. Presented at the 11th Colloquium “Quantum Groups and Integrable Systems”, Prague, 20–22 June 2002.     

Universal deformations of simple Lie algebras

This Letter examines the question of the structure of the Hopf algebra deformations of the universal enveloping algebras of the simple Lie algebras. Deformations of a complex algebra A are viewed as algebras defined over formal power series rings that specialize to A when the parameters go to 0. Only the case of U(sl(2,C)) is treated but the methods are general. Under the Ansatz that the two Borel subalgebras are deformed as Hopf algebras but possibly differently, we construct a universal two-parameter deformation.     

A remark on quasi-triangular Lie algebras

Quasi-triangular quantum Lie algebras are algebras of quantum Lie derivatives. We show how to associate a quasi-triangular quantum Lie algebra to any quantum group defined by exchange relations. This provides a systematical way for constructing bi-covariant differential calculus on exchange quantum groups.     

Virasoro type Lie algebras and deformations

The first and second cohomologies of Cartan Type Lie algebras with coefficients in irreducible tensor modules are calculated. The spaceH ¹(L, U) is interpreted as a space of deformations of (L, U)-modules.H ²(L, L)≠0 ifL=S ₂,S ₂ ⁺ orL=H _n ,H _n ⁺ . Lie algebra of divergenceless vector fieldsS ₂ ⁺ has only one nontrivial local deformation. The two-sided simple hamiltonian algebraH _n has 2n ²+n new local deformations in addition to Moyal cocycle. The Lie algebrasL=W _n (n>3),S _n?1(n>2),H _n (n>1),K _n+1(n>1) have 3, 1, 1, 3 nonisomorphic tensor modules with irreducible bases and nonzero 1-cohomologies; respectively, the corresponding numbers for 2-cohomologies are 9, 6, 7 and 9.     

Hilbert space representations of Lie algebras

We describe a new approach to the general theory of unitary representations of Lie groups which makes use of the Gelfand-Segal construction directly on the universal enveloping algebra of any Lie algebra. The crucial observation is that Nelson's theory of analytic vectors allows the characterisation of certain states on the universal enveloping algebra such that the corresponding representations of the universal enveloping algebra are the infinitesimal part of unitary representations of the associated simply connected Lie group. In the first section of the paper we show that with the aid of Choquet's theory of representing measures one can derive a simple new approach to integral decomposition theory along these lines.In the second section of the paper we use these methods to study the irreducible unitary representations of general semi-simple Lie groups. We give a simple proof that theK-finite vectors studied by Harish-Chandra [5] are all analytic vectors. We also give new proofs of some of Godement's results [2] characterising spherical functions of height one, at least for unitary representations. Compared with [2] our method has the possible advantage of obtaining the characterisations by infinitesimal methods instead of using an indirect argument involving functions on the group. We point out that while being purely algebraic in nature, this approach makes almost no use of the deep and difficult theorems of Harish-Chandra concerning the universal enveloping algebra [5].Our work is done in very much the same spirit as that of Power's recent paper [8]. The main difference is that by concentrating on a more special class of positive states we are able to carry the analysis very much further without difficulty.     

Standard complex for quantum Lie algebras

For a quantum Lie algebra Γ, let Γ^ be its exterior extension (the algebra Γ^ is canonically defined). We introduce a differential on the exterior extension algebra Γ^ which provides the structure of a complex on Γ^. In the situation when Γ is a usual Lie algebra, this complex coincides with the “standard complex.” The differential is realized as a commutator with a (BRST) operator Q in a larger algebra Γ^[Ω], with extra generators canonically conjugated to the exterior generators of Γ^. A recurrent relation which uniquely defines the operator Q is given.     

Universal deformations of reductive Lie algebras

We construct multiparameter quantizations of reductive Lie algebras which have the property of universality within a certain class of deformations. The universal deformations can be defined so that the algebra structure on each simple component is the same as that of the standard one-parameter quantization, the remaining parameters being relegated to the coalgebra structure. We discuss an example in which only the latter parameters appear, as a special case of deformations of a semisimple algebra whose simple components remain classical. Deformations are defined as algebras over power series rings and it is essential to require them to be torsion free to secure the universality. The Poincaré-Birkhoff-Witt theorem and the torsion freeness are established for the universal deformation on the basis of results on the representation theory of the deformed algebras.