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.     

On formal quantum group laws

There exist natural generalizations of the concept of formal groups laws for noncommutative power series. This is a note on formal quantum group laws and quantum group law chunks. Formal quantum group laws correspond to noncommutative (topological) Hopf algebra structures on free associative power series algebras ká áx₁,...,x_m ? ?k\langle\! \langle x_1,\dots,x_m \rangle\! \rangle , k a field. Some formal quantum group laws occur as completions of noncommutative Hopf algebras (quantum groups). By truncating formal power series, one gets quantum group law chunks. ¶If the characteristic of k is 0, the category of (classical) formal group laws of given dimension m is equivalent to the category of m-dimensional Lie algebras. Given a formal group law or quantum group law (chunk), the corresponding Lie structure constants are determined by the coefficients of its chunk of degree 2. Among other results, a classification of all quantum group law chunks of degree 3 is given. There are many more classes of strictly isomorphic chunks of degree 3 than in the classical case.     

Non-commutative Hopf algebra of formal diffeomorphisms

This paper deals with two Hopf algebras which are the non-commutative analogues of two different groups of formal power series. The first group is the set of invertible series with the group law being multiplication of series, while the second is the set of formal diffeomorphisms with the group law being a composition of series. The motivation to introduce these Hopf algebras comes from the study of formal series with non-commutative coefficients. Invertible series with non-commutative coefficients still form a group, and we interpret the corresponding new non-commutative Hopf algebra as an alternative to the natural Hopf algebra given by the co-ordinate ring of the group, which has the advantage of being functorial in the algebra of coefficients. For the formal diffeomorphisms with non-commutative coefficients, this interpretation fails, because in this case the composition is not associative anymore. However, we show that for the dual non-commutative algebra there exists a natural co-associative co-product defining a non-commutative Hopf algebra. Moreover, we give an explicit formula for the antipode, which represents a non-commutative version of the Lagrange inversion formula, and we show that its coefficients are related to planar binary trees. Then we extend these results to the semi-direct co-product of the previous Hopf algebras, and to series in several variables. Finally, we show how the non-commutative Hopf algebras of formal series are related to some renormalization Hopf algebras, which are combinatorial Hopf algebras motivated by the renormalization procedure in quantum field theory, and to the renormalization functor given by the double-tensor algebra on a bi-algebra.     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

Decomposition of some pointed Hopf algebras given by the canonical Nakayama automorphism

Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded.     

关于(f,τ) -相容Hopf代数对(B,H)

该文定义了(f,τ) -相容Hopf代数对(B,H),利用这样的对(B,H),给出了左H -余模范畴^HM的一个辫子张量子范畴,从而得到一个量子Yang-Baxter算子,并且通过扭曲Hopf代数$B$的乘法,构造出Yetter-Drinfeld范畴中^H_HYD的Hopf代数.     

拟三角Hopf代数的Ore -扩张

该文主要考虑了拟三角Hopf代数的某种Ore -扩张问题. 对拟三角Hopf代数的Ore -扩张何时保持相同的拟三角结构给出了充分必要条件. 最后作为应用, 文章讨论了Sweedler Hopf代数和Lusztig小量子群的Ore -扩张结构.     

Uniform universal covers of uniform spaces

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular Peano continua, as well as more pathological spaces like the topologist's sine curve. The uniform universal cover of a coverable space is a kind of generalized cover with universal and lifting properties in the category of uniform spaces and uniformly continuous mappings. Associated with the uniform universal cover is a functorial uniform space invariant called the deck group, which is related to the classical fundamental group by a natural homomorphism. We obtain some specific results for one-dimensional spaces.     

On quantum toroidal algebra of type A1

In this paper we introduce a new quantum algebra which specializes to the 2-toroidal Lie algebra of type $A_1$. We prove that this quantum toroidal algebra has a natural triangular decomposition, a (topological) Hopf algebra structure and a vertex operator realization.     

The trace space and Kauffman's knot invariants

The traces in the construction of Kauffman's knot invariants are studied. The trace space is determined for a semisimple finite-dimensional quantum Hopf algebra and the best lower bound of the dimension of the trace space is given for a unimodular finite-dimensional quantum Hopf algebra.

     

Heisenberg-Virasoro代数的q-形变的量子群结构

构造了水平为零的扭的Heisenberg-Virasoro代数的一个q-形变Hvirq,证明它是一个quasi-hom-李代数.给出该代数的一个非平凡的量子群结构,即它是一个非交换且余交换的Hopf代数.     

Finitely generated invariants of Hopf algebras on free associative algebras

We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.     

关于(f,T)-相容对(B,H)和_H~HYD中的Hopf代数

本文定义了(f,T)-相容对(B,H),利用这样的相容对可以给出一个辫子张量 范畴和一个量子Yang-Baxter方程的解,并且通过扭曲Hopf代数B的乘法,构造 Yetter-Drinfeld范畴中HHyD的Hopf代数.     

On Covering Groups

We study finite-sheeted covering mappings from compact connected spaces onto compact connected groups. For such a covering mapping we consider a method of supplying its covering space by a group structure. The covering space endowed with that group structure is a topological group, and a given covering mapping turns into a homomorphism of compact connected groups.

     

Hilbert space representations of cross product algebras

Hilbert space representations of cross product *-algebras of the Hopf *-algebras with the coordinate algebras and of quantum vector spaces, and of with the coordinate algebras and of the corresponding quantum spheres, are investigated and classified. Invariant states on the coordinate *-algebras are described by two variants of the quantum trace.     

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.     

Combinatorics of rooted trees and Hopf algebras

We begin by considering the graded vector space with a basis consisting of rooted trees, with grading given by the count of non-root vertices. We define two linear operators on this vector space, the growth and pruning operators, which respectively raise and lower grading; their commutator is the operator that multiplies a rooted tree by its number of vertices, and each operator naturally associates a multiplicity to each pair of rooted trees. By using symmetry groups of trees we define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the associated multiplicities.

Now the symmetric algebra on the vector space of rooted trees (after a degree shift) can be endowed with a coproduct to make a Hopf algebra; this was defined by Kreimer in connection with renormalization. We extend the growth and pruning operators, as well as the inner product mentioned above, to Kreimer's Hopf algebra. On the other hand, the vector space of rooted trees itself can be given a noncommutative multiplication: with an appropriate coproduct, this leads to the Hopf algebra of Grossman and Larson. We show that the inner product on rooted trees leads to an isomorphism of the Grossman-Larson Hopf algebra with the graded dual of Kreimer's Hopf algebra, correcting an earlier result of Panaite.

     

Automorphismes des algèbres cubiques

Manin associated to a quadratic algebra (quantum space) the quantum matrix group of its automorphisms. This Note aims to demonstrate that Manin's construction can be extended for quantum spaces which are non-quadratic homogeneous algebras. The Artin–Schelter classification of regular algebras of global dimension three contains two types of algebra: quadratic and cubic. Ewen and Ogievetsky classified the quantum matrix groups which are deformations of GL(3) corresponding to the quadratic algebras in the Artin–Schelter classification. In this Note we consider the cubic Artin–Schelter algebras as quantum spaces and construct Hopf algebras of their automorphisms. To cite this article: T. Popov, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Isomorphism classes of finite dimensional connected Hopf algebras in positive characteristic

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair associated with these extensions, we construct a cohomology group, which classifies all the extensions up to equivalence. Moreover, we present a 1–1 correspondence between the isomorphism classes and a group quotient of the cohomology group deleting some exceptional points, where the group respects the automorphisms of the abelian matched pair and the exceptional points represent those restricted Lie algebra extensions.     

Duality for Convex Monoids

Every C*-algebra gives rise to an effect module and a convex space of states, which are connected via Kadison duality. We explore this duality in several examples, where the C*-algebra is equipped with the structure of a finite-dimensional Hopf algebra. When the Hopf algebra is the function algebra or group algebra of a finite group, the resulting state spaces form convex monoids. We will prove that both these convex monoids can be obtained from the other one by taking a coproduct of density matrices on the irreducible representations. We will also show that the same holds for a tensor product of a group and a function algebra.