Related papers: Universal quantum (semi)groups and Hopf envelopes
In Section 1 we introduce Frobenius coordinates in the general setting that includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories of Frobenius algebras and augmented Frobenius algebras with some new material in…
A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the…
We determine convex PBW-type Lyndon bases for two-parameter quantum groups $U_{r,s}(F_4)$ with detailed commutation relations. We construct a finite-dimensional Hopf algebra $\mathfrak u_{r,s}(F_4)$, as a quotient of $U_{r,s}(F_4)$ by a…
We introduce a noncommutative and noncocommutative Hopf algebra which takes for certain Hopf categories (and therefore braided monoidal bicategories) a similar role as the Grothendieck- Teichmueller group for quasitensor categories. We also…
In a companion work on the combinatorial quantization of 4d 2-Chern-Simons theory, the author has constructed the Hopf category of quantum 2-gauge transformations $\tilde{C}=\mathbb{U}_q\mathfrak{G}$ acting on the discrete surface-holonomy…
An example of a finite dimensional factorizable ribbon Hopf C-algebra is given by a quotient H=u_q(g) of the quantized universal enveloping algebra U_q(g) at a root of unity q of odd degree. The mapping class group M_{g,1} of a surface of…
The set of primitive elements of a Hopf algebra in the braided category of group graded vector spaces (with a commutative group) carry the structure of a generalized Lie algebra. In particular the graded derivations of an associative…
We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing…
We investigate a generalization of Hopf algebra $\mathfrak{sl}_{q}(2)$ by weakening the invertibility of the generator $K$, i.e. exchanging its invertibility $KK^{-1}=1$ to the regularity $K\overline{K}K=K$. This leads to a weak Hopf…
Let $A$ be an algebra with identity and $\Delta:A\to A\otimes A$ a coproduct that admits a counit. If there exist a faithful left integral and a faithful right integral, one can construct an antipode and $(A,\Delta)$ is a Hopf algebra. This…
In this paper, we aim to study abelian extensions for some infinite group. We show that the Hopf algebra $\Bbbk^G{}^\tau\#_{\sigma}\Bbbk F$ constructed through abelian extensions of $\Bbbk F$ by $\Bbbk^G$ for some (infinite) group $F$ and…
To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the…
The universal invariant with respect to a given ribbon Hopf algebra is a tangle invariant that dominates all the Reshetikhin-Turaev invariants built from the representation theory of the algebra. We construct a canonical strict monoidal…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
A ${\mathbb Z}_2$-graded qubit represents an even (bosonic) "vacuum state" and an odd, excited, Majorana fermion state. The multiparticle sectors of $N$, braided, indistinguishable Majorana fermions are constructed via first quantization.…
Let $\hat{\frak g}$ be an untwisted affine Kac-Moody algebra. The quantum group $U_h(\hat{\frak g})$ (over $\mathbb{C}[[h]]$) is known to be a quasitriangular Hopf algebra: in particular, it has a universal $ R $--matrix, which yields an $…
Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…
For a finite-index $\mathrm{II}_1$ subfactor $N \subset M$, we prove the existence of a universal Hopf $\ast$-algebra (or, a discrete quantum group in the analytic language) acting on $M$ in a trace-preserving fashion and fixing $N$…
We show that induction along a Frobenius extension of Hopf algebras is a Frobenius monoidal functor in great generality, in particular, for all finite-dimensional and all pointed Hopf algebras. As an application, we show that induction…
A braided Frobenius algebra is a Frobenius algebra with braiding that commutes with the operations, that are related to diagrams of compact surfaces with boundary expressed as ribbon graphs. A heap is a ternary operation exemplified by a…