A Sufficient Condition for a Smash Product as a Transfinite Left Free Normalizing Extension and Its Application

In this paper, a sufficient condition is given under which the smash product A#H is a transfinite left free normalizing extension of an algebra A. Moreover, the result is applied to a skew semigroup ring, a skew group ring and the quantum group U _q (sl(2)) such that some properties are shown. Received April 14, 1997, Accepted August 10, 1998     

Reflection equation algebras, coideal subalgebras, and their centres

Reflection equation algebras and related U_q(\mathfrak g){U{_q}(\mathfrak g)} -comodule algebras appear in various constructions of quantum homogeneous spaces and can be obtained via transmutation or equivalently via twisting by a cocycle. In this paper we investigate algebraic and representation theoretic properties of such so called ‘covariantized’ algebras, in particular concerning their centres, invariants, and characters. The locally finite part F_l(U_q (\mathfrak g)){F_l(U{_q} (\mathfrak g))} of U_q(\mathfrak g){U{_q}(\mathfrak g)} with respect to the left adjoint action is a special example of a covariantized algebra. Generalising Noumi’s construction of quantum symmetric pairs we define a coideal subalgebra B _f of U_q(\mathfrak g){U{_q}(\mathfrak g)} for each character f of a covariantized algebra. We show that for any character f of F_l(U_q(\mathfrak g)){F_l(U{_q}(\mathfrak g))} the centre Z(B _f ) canonically contains the representation ring Rep(\mathfrak g){{\rm Rep}(\mathfrak g)} of the semisimple Lie algebra \mathfrak g{\mathfrak g} . We show moreover that for \mathfrak g = \mathfrak sl_n(\mathbb C){\mathfrak g = {\mathfrak sl}_n(\mathbb C)} such characters can be constructed from any invertible solution of the reflection equation and hence we obtain many new explicit realisations of Rep(\mathfrak sl_n(\mathbb C)){{\rm Rep}({\mathfrak sl}_n(\mathbb C))} inside U_q(\mathfrak sl_n(\mathbb C)){U_q({\mathfrak sl}_n(\mathbb C))} . As an example we discuss the solutions of the reflection equation corresponding to the Grassmannian manifold Gr(m,2m) of m-dimensional subspaces in \mathbb C^2m{{\mathbb C}^{2m}}.     

The Structure of Weak Hopf Algebras Corresponding to U q (sl 2)

The structure of weak Hopf algebras corresponding to U _q (sl ₂) are classified by their algebra structure and coalgebra structure. The algebra structure of weak Hopf algebras corresponding to U _q (sl ₂) can be written as the direct sum of U _q (sl ₂) and an algebra of polynomials. The coalgebra structure of weak Hopf algebras corresponding to U _q (sl ₂) are classified by their Ext quiver. There are four types of such structures.     

Quantum octonions

This paper constructs a quantum deformation of the complex Cayley dgebra. The method uses the representation theory of U _q(sl(2)), the quantized enveloping algebra of the simple complex Lie algebra s/(2). The paper begins by constructing a quantum deforma-tion of the complex quaternion algebra, since this simpler case illustrates all of the necessary steps. As intermediate results, deformations are constructed of sl(2) and the 7-dimensional simple Malcev algebra.     

On generalized Clifford algebraC 4 (n) andGL q (2;C) quantum group

The non commuting matrix elements of matrices from quantum groupGL _q (2;C) withq≡ω being then-th root of unity are given a representation as operators in Hilbert space with help ofC ₄ ⁽ⁿ⁾ generalized Clifford algebra generators appropriately tensored with unit 2×2 matrix infinitely many times. Specific properties of such a representation are presented. Relevance of generalized Pauli algebra to azimuthal quantization of angular momentum alà Lévy-Leblond [10] and to polar decomposition ofSU _q (2;C) quantum algebra alà Chaichian and Ellinas [6] is also commented. The case ofq∈C, |q|=1 may be treated parallely.     

The Compact Quantum Group Uq（2） （Ⅱ）

In this paper, we first prove that the θ-deformation Uθ（2） of U（2） constructed by Connes and Violette is our special case of the quantum group Uq（2） constructed in our previous paper. Then we will show that the set of truces on the C^＊ -algebra Uθ, θ irrational, is determined by the set of the truces on a subalgebra of Uθ.     

The representations ofU q(SO4) andU q(SO3,1)

Summary We have considered here the (unitary) irreducible representations of theq-deformed algebraU _q(SO₄) and of theq-deformed Lorentz algebraU _q(SO_3,1). Both of them contain, as subalgebra, the algebraU _q(SO₃) which is shown to be isomorphic to the Fairlie-Odesskii algebra. As the list of pairwise nonequivalent irreps of theU _q(SO_3,1) demonstrates, the set of the parameters, which characterize such irreps is somewhat reduced (due to periodicity properties of the function w(z)=[z]_q) in comparison with that of theq=1 (classical) case. From another side, the list of unitary irreps of theU _q(SO_3,1) contains the strange series which has no classical counterpart (disappears at q=1).Published in Teoreticheskaya i Matematicheskaya Fizika. Vol. 95, No. 2, pp. 251–257, May, 1993.     

Links between cofinite prime ideals in quantum function algebras

We describe the skew primitive elements in a multiparameter enveloping algebraU=U _q,p ⁻¹ (g) and the links between cofinite maximal ideals in the corresponding quantum function algebra ℂ _q [G]. These results are applied to determine the coradical filtration forU, and to obtain a moduli space for multiparameter Drinfeld doubles. Research partially supported by NSA grant MDA 904-93-H3016.     

Categorical geometric skew Howe duality

We categorify the R-matrix isomorphism between tensor products of minuscule representations of U_q(\mathfraksl_n)U_{q}({\mathfrak{sl}}_{n}) by constructing an equivalence between the derived categories of coherent sheaves on the corresponding convolution products in the affine Grassmannian. The main step in the construction is a categorification of representations of U_q(\mathfraksl₂)U_{q}({\mathfrak{sl}}_{2}) which are related to representations of U_q(\mathfraksl_n)U_{q}({\mathfrak{sl}}_{n}) by quantum skew Howe duality. The resulting equivalence is part of the program of algebro-geometric categorification of Reshitikhin-Turaev tangle invariants developed by the first two authors.     

Group-theoretical generalization of necklace polynomials

Let G be a group, U a subgroup of G of finite index, X a finite alphabet and q an indeterminate. In this paper, we study symmetric polynomials M _G (X,U) and M_G^q(X,U)M_{G}^{q}(X,U) which were introduced as a group-theoretical generalization of necklace polynomials. Main results are to generalize identities satisfied by necklace polynomials due to Metropolis and Rota in a bijective way, and to express M_G^q(X,U)M_{G}^{q}(X,U) in terms of M _G (X,V)’s, where [V] ranges over a set of conjugacy classes of subgroups to which U is subconjugate. As a byproduct, we provide the explicit form of the GL _m (ℂ)-module whose character is M_\mathbbZ^q(X,n\mathbbZ)M_{\mathbb{Z}}^{q}(X,n\mathbb{Z}), where m is the cardinality of X.     

Quantum groups and quantum shuffles

Let U _q ⁺ be the “upper triangular part” of the quantized enveloping algebra associated with a symetrizable Cartan matrix. We show that U _q ⁺ is isomorphic (as a Hopf algebra) to the subalgebra generated by elements of degree 0 and 1 of the cotensor Hopf algebra associated with a suitable Hopf bimodule on the group algebra of Z ⁿ . This method gives supersymetric as well as multiparametric versions of U _q ⁺ in a uniform way (for a suitable choice of the Hopf bimodule). We give a classification result about the Hopf algebras which can be obtained in this way, under a reasonable growth condition. We also show how the general formalism allows to reconstruct higher rank quantized enveloping algebras from U _q sl(2) and a suitable irreducible finite dimensional representation. Oblatum 21-III-1997 & 12-IX-1997     

Representations of the Quantum Algebra Uq(un, 1)

The main aim of the paper is to study infinite-dimensional representations of the real form U _q (u _{n, 1}) of the quantized universal enveloping algebra U _q (gl _{n + 1}). We investigate the principal series of representations of U _q (u _{n, 1}) and calculate the intertwining operators for pairs of these representations. Some of the principal series representations are reducible. The structure of these representations is determined. Then we classify irreducible representations of U _q (u _{n, 1}) obtained from irreducible and reducible principal series representations. All *-representations in this set of irreducible representations are separated. Unlike the classical case, the algebra U _q (u _{n, 1}) has finite-dimensional irreducible *-representations.     

The milnor-moore theorem in tame homotopy theory

LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π_*(ΩX) ⊗Q)→H _*(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π_*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL _X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L _X ) and the algebraC U _*(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR _k are isomorphismsH _r-1+l (U(L _x );R _k ) ≅H _r-1+l C U _*(ΩX);R _k ) forl≤k; hereR ₀⊆R ₁⊆… is a tame ring system, i. e.R _k )⊑Q and each primep with 2p−3≤k is invertible inR _k . However, it is no longer true that the Pontrjagin algebraH _≤r−1+k (ΩX; R _k ) of ΩX in degrees ≤r−1+k is determined by π_*(ΩX) or by a cofibrant (-fibrant) modelM of π_*(ΩX) as will be shown by an example. But there is a filtration onH _≤r−1+k (ΩX; R _k ) such that the associated graded algebra is isomorphic toH _≤r−1+k (U(M); R _k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π_*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE     

LatticeW algebras and quantum groups

We present Feigin's construction [Lectures given in Landau Institute] of latticeW algebras and give some simple results: lattice Virasoro andW ₃ algebras. For the simplest caseg=sl(2), we introduce the wholeU _q(2)) quantum group on this lattice. We find the simplest two-dimensional module as well as the exchange relations and define the lattice Virasoro algebra as the algebra of invariants ofU _q(sl(2)). Another generalization is connected with the lattice integrals of motion as the invariants of the quantum affine groupU _q(ñ₊). We show that Volkov's scheme leads to a system of difference equations for a function of non-commutative variables.Landau Institute for Theoretical Physics, 142432, Chernogolovka, Russia. Published in Teoreticheskaya i Matematicheskaya Fizika, Vol. 100, No. 1, pp. 132–147, July, 1994.     

WEIGHT PROPERTY FOR IDEALS OF U q (sl(2))

Let k be an arbitrary field of characteristic zero, and U be the quantized enveloping algebra U _q (sl(2)) over k. The aim of this present paper is to study the ideals of U at q not a root of unity. It turns out that every non-zero ideal of U can be generated by at most two highest weight vectors under the adjoint action, and by a sum of two highest weight vectors. This weight property make it possible to give a complete list of all prime (primitive, maximal) ideals of U according to their generators.     

Minimum and Surjectivity Moduli Preserving in Banach Space

Let m(T) and q(T) be respectively the minimum and the surjectivity moduli of T∈ℬ(X), where ℬ(X) denotes the algebra of all bounded linear operators on a complex Banach space X. If there exists a semi-invertible but non-invertible operator in ℬ(X) then, given a surjective unital linear map φ: ℬ(X)⟶ℬ(X), we prove that m(T)=m(φ(T)) for all T∈ℬ(X), if and only if, q(T)=q(φ(T)) for all T∈ℬ(X), if and only if, there exists a bijective isometry U∈ℬ(X) such that φ(T)=UTU ⁻¹ for all T∈ℬ(X).     

Auslander-Regular and Cohen–Macaulay Quantum Groups

The quantized enveloping C(q)-algebra U _q (C) associated to a Cartan matirx C is Auslander-regular and Cohen–Macaulay. This is deduced from a general theorem, which also applies to solvable polynomial algebras. The results are obtained by constructing a new filtration keeping the properties of the associated graded algebra of a given multi-filtered algebra.