Quantum double constructions for compact quantum group

For a non-degenerate pair of compact quantum groups, we first construct the quantum double as an algebraic compact quantum group in an algebraic framework. Then by adopting some completion procedure, we give the universal and reduced quantum double constructions in the correspondence C＊-algebraic settings, which generalize Drinfeld＇s quantum double construction and yield new C＊-algebraic compact quantum groups.     

Embeddable quantum homogeneous spaces

We discuss various notions generalizing the concept of a homogeneous space to the setting of locally compact quantum groups. On the von Neumann algebra level we recall an interesting duality for such objects studied earlier by M. Izumi, R. Longo, S. Popa for compact Kac algebras and by M. Enock in the general case of locally compact quantum groups. A definition of a quantum homogeneous space is proposed along the lines of the pioneering work of Vaes on induction and imprimitivity for locally compact quantum groups. The concept of an embeddable quantum homogeneous space is selected and discussed in detail as it seems to be the natural candidate for the quantum analog of classical homogeneous spaces. Among various examples we single out the quantum analog of the quotient of the Cartesian product of a quantum group with itself by the diagonal subgroup, analogs of quotients by compact subgroups as well as quantum analogs of trivial principal bundles. The former turns out to be an interesting application of the duality mentioned above.     

Two-parameter families of quantum symmetry groups

We introduce and study natural two-parameter families of quantum groups motivated on one hand by the liberations of classical orthogonal groups and on the other by quantum isometry groups of the duals of the free groups. Specifically, for each pair (p,q) of non-negative integers we define and investigate quantum groups O⁺(p,q), B⁺(p,q), S⁺(p,q) and H⁺(p,q) corresponding to, respectively, orthogonal groups, bistochastic groups, symmetric groups and hyperoctahedral groups. In the first three cases the new quantum groups turn out to be related to the (dual free products of ) free quantum groups studied earlier. For H⁺(p,q) the situation is different and we show that , where the latter can be viewed as a liberation of the classical isometry group of the p-dimensional torus.     

量子群U_q(sl(2 ) )的非负部分(英文)

设U≥ 0 是量子群Uq(sl(2 ) )的非负部分 .在本文中 ,我们确定了U≥ 0 的中心Z(U≥ 0 )和U≥ 0 的所有不可约表示     

Quantum group of orientation-preserving Riemannian isometries

We formulate a quantum group analogue of the group of orientation-preserving Riemannian isometries of a compact Riemannian spin manifold, more generally, of a (possibly R-twisted and of compact type) spectral triple. The main advantage of this formulation, which is directly in terms of the Dirac operator, is that it does not need the existence of any ‘good’ Laplacian as in our previous works on quantum isometry groups. Several interesting examples, including those coming from Rieffel-type deformation as well as the equivariant spectral triples on SU_μ(2) and are discussed.     

Line graphs of complete multipartite graphs have small cycle double covers

It has been shown by MacGillivray and Seyffarth (Austral. J. Combin. 24 (2001) 91) that bridgeless line graphs of complete graphs, complete bipartite graphs, and planar graphs have small cycle double covers. In this paper, we extend the result for complete bipartite graphs, and show that the line graph of any complete multipartite graph (other than K_1,2) has a small cycle double cover.     

Basic quasi-Hopf algebras over cyclic groups

Let m be a positive integer, not divisible by 2, 3, 5, 7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in Etingof and Gelaki (2006) [11] to the case of cyclic groups of order m. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras A(H,s), constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order m is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type A(H,s).     

Quantum families of quantum group homomorphisms

The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a state). In this paper, we define a quantum family of homomorphisms of locally compact quantum groups. Roughly speaking, we show that such a family is classical. The purely algebraic counterpart of the discussed notion, i.e. a quantum family of homomorphisms of Hopf algebras, is introduced and the algebraic counterpart of the aforementioned result is proved. Moreover, we show that a quantum family of homomorphisms of Hopf algebras is consistent with the counits and coinverses of the given Hopf algebras. We compare our concept with weak coactions introduced by Andruskiewitsch and we apply it to the analysis of adjoint coaction.     

Quantum Weyl symmetric polynomials and the center of quantum group U_q(sl_4)

Suppose that q is not a root of unity, it is proved in this paper that the center of the quantum group Uq(sl4) is isomorphic to a quotient algebra of polynomial algebra with four variables and one relation.     

Representations of Algebraic Quantum Groups and Reconstruction Theorems for Tensor Categories

We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the Tannaka–Krein reconstruction problem. We show that every concrete semisimple tensor *-category with conjugates is equivalent to the category of finite-dimensional nondegenerate *-representations of a discrete algebraic quantum group. Working in the self-dual framework of algebraic quantum groups, we then relate this to earlier results of S. L. Woronowicz and S. Yamagami. We establish the relation between braidings and R-matrices in this context. Our approach emphasizes the role of the natural transformations of the embedding functor. Thanks to the semisimplicity of our categories and the emphasis on representations rather than corepresentations, our proof is more direct and conceptual than previous reconstructions. As a special case, we reprove the classical Tannaka–Krein result for compact groups. It is only here that analytic aspects enter, otherwise we proceed in a purely algebraic way. In particular, the existence of a Haar functional is reduced to a well-known general result concerning discrete multiplier Hopf *-algebras.     

On the order of a group of even order

We present an upper bound for |G| of a group G of even order possessing a unique conjugacy class of involutions.     

On a free group of transformations defined by an automaton

We prove that three automorphisms of the rooted binary tree defined by a certain 3-state automaton generate a free non-Abelian group of rank 3. Both authors are supported by the NSF grants DMS-0308985 and DMS-0456185. Yaroslav Vorobets is supported by a Clay Research Scholarship.