Weak C^*-Hopf Algebras and Multiplicative Isometries

Classification of Hopf superalgebras associated with quantum special linear superalgebra at roots of unity using Weyl groupoid

We summarize the definition of the Weyl groupoid using supercategory approach in order to investigate quantum superalgebras at roots of unity. We show how the structure of a Hopf superalgebra on a quantum superalgebra is determined by the quantum Weyl groupoid. The Weyl groupoid of $\mathfrak{sl}(m|n)$ is constructed to this end as some supercategory. We prove that in this case quantum superalgebras associated with Dynkin diagrams are isomorphic as superalgebras. It is shown how these quantum superalgebras considered as Hopf superalgebras are connected via twists and isomorphisms. We explicitl…

Crossed modules of Hopf algebras and of associative algebras and two-dimensional holonomy

After a thorough treatment of all algebraic structures involved, we address two dimensional holonomy operators with values in crossed modules of Hopf algebras and in crossed modules of associative algebras (called here crossed modules of bare algebras.) In particular, we will consider two general formulations of the two-dimensional holonomy of a (fully primitive) Hopf 2-connection (exact and blur), the first being multiplicative the second being additive, proving that they coincide in a certain natural quotient (defining what we called the fuzzy holonomy of a fully primitive Hopf 2-connection)…

Classification of Hopf superalgebras associated with quantum special linear superalgebra at roots of unity using Weyl groupoid

We summarize the definition of the Weyl groupoid using supercategory approach in order to investigate quantum superalgebras at roots of unity. We show how the structure of a Hopf superalgebra on a quantum superalgebra is determined by the quantum Weyl groupoid. The Weyl groupoid of $\mathfrak{sl}(m|n)$ is constructed to this end as some supercategory. We prove that in this case quantum superalgebras associated with Dynkin diagrams are isomorphic as superalgebras. It is shown how these quantum superalgebras considered as Hopf superalgebras are connected via twists and isomorphisms. We explicitl…

从弱乘子 Hopf 代数构造 $C^*$-代数量子广群

Construction of a $C^*$-algebraic quantum groupoid from a weak multiplier Hopf algebra

本文从弱乘子Hopf代数出发，通过引入准不变性条件，利用左积分构造Hilbert空间上的算子代数，证明可构建可分型C*-代数量子广群。

Combinatorial Hopf algebras and generalized Dehn-Sommerville relations

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $ζ:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,ζ)$ possesses …

From Hopf algebras to topological quantum groups. A short history, various aspects and some problems

Quantum groups have been studied within several areas of mathematics and mathematical physics. This has led to different approaches, each of them with their own techniques and conventions. Starting with Hopf algebras, where there is a general consensus, moving in the direction of topological quantum groups, where there is no such consensus, it is easy to get lost. Not only many difficulties have to be overcome, but also several choices must be made. The way this is done is often confusing. Some choices even turn out to be rather annoying. As an introductory lecture at the conference on Topolog…

Wheeling: A diagrammatic analogue of the Duflo isomorphism

We construct and prove a diagrammatic version of the Duflo isomorphism between the invariant subalgebra of the symmetric algebra of a Lie algebra and the center of the universal enveloping algebra. This version implies the original for metrized Lie algebras (Lie algebras with an invariant non-degenerate bilinear form). As an application of this isomorphism, we will compute the Kontsevich integral of the unknot and the Hopf link to all orders. At the core of the proof, we use an elementary property of the Hopf link which can be summarized by the equation ``1+1=2'' in abacus arithmetic: doubling…

Compact C*-quantum groupoids

We propose a definition of compact quantum groupoids in the setting of C*-algebras, associate to such a quantum groupoid a regular C*-pseudo-multiplicative unitary, and use this unitary to construct a dual Hopf C*-bimodule and to pass to a measurable quantum groupoid in the sense of Enock and Lesieur. Moreover, we discuss examples related to compact and to étale groupoids and study principal compact C*-quantum groupoids.

Axioms for Weak Bialgebras

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (Δ,\eps). A is called a Weak Bialgebra if the coproduct Δis multiplicative. We do not require Δ(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := …

Generalized (co)integrals on coideal subalgebras

Given a a Hopf algebra $H$, its left coideal subalgebra $A$ and a non-zero multiplicative functional $μ$ on $A$, we define the space of left $μ$-integrals $L^A_μ\subset A$. We observe that $\dim L^A_μ=1$ if $A$ is a Frobenius algebra and we conclude this equality for finite dimensional left coideal subalgebras of a weakly finite Hopf algebra. In general we prove that if $\dim L^A_μ>0$ then $\dim A <\infty$. Given a group-like element $g\in H$ we define the space $L^g_{ A}\subset A'$ of $g$-cointegrals on $ A$ and linking this concept with the theory of $μ$-integrals we observe that: - every se…

Unitaires multiplicatifs en dimension finie et leurs sous-objets

A pre-subgroup of a multiplicative unitary $V$ on a finite dimensionnal Hilbert space $H$ is a vector line $L$ in $H$ such that $V(L\otimes L)=L\otimes L$. We show that there are finitely many pre-subgroups, give a Lagrange theorem and generalize the construction of a `bi-crossed product'. Moreover, we establish bijections between pre-subgroups and coideal subalgebras of the Hopf algebra associated with $V$, and therefore with the intermediate subfactors of the associated (depth two) inclusions. Finally, we show that the pre-subgroups classify the subobjects of $(H,V)$.

Geometric combinatorial algebras: cyclohedron and simplex

In this paper we report on results of our investigation into the algebraic structure supported by the combinatorial geometry of the cyclohedron. Our new graded algebra structures lie between two well known Hopf algebras: the Malvenuto-Reutenauer algebra of permutations and the Loday-Ronco algebra of binary trees. Connecting algebra maps arise from a new generalization of the Tonks projection from the permutohedron to the associahedron, which we discover via the viewpoint of the graph associahedra of Carr and Devadoss. At the same time that viewpoint allows exciting geometrical insights into th…

$C^*$-代数框架下的辫子量子群及其玻色子化

Braided quantum groups and their bosonizations in the $C^*$-algebraic framework

本研究在$C^*$-代数框架下利用乘法酉算子建立辫子量子群一般理论，构造$\bG$上辫子$C^*$-量子群，建立其与带投影$C^*$-量子群的一一对应，推广Radford和Majid的玻色子化构造，并给出复量子平面等实例。