We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.
We present characterizations of braided co-Frobenius Hopf algebras in the braided tensor category of Yetter-Drinfeld modules over a Hopf algebra extending those already known for co-Frobenius Hopf algebras.
Braided Morita invariants of finite-dimensional semisimple and cosemisimple Hopf algebras with braidings are constructed by refining the polynomial invariants introduced by the author. The invariants are computed for the duals of Suzuki's braided Hopf algebras, and as an application of that, the braided Morita equivalence classes over the $8$-dimensional Kac-Paljutkin algebra are determined. This paper also includes the modified results and proofs on determination of the coribbon elements of Suzuki's braided Hopf algebras, that are discussed and given in my previous paper "The coribbon structu…
Let $H$ be a Hopf quasigroup with bijective antipode and let $Aut_{HQG}(H)$ be the set of all Hopf quasigroup automorphisms of $H$. We introduce a category ${_{H}\mathcal{YDQ}^{H}}(α,β)$ with $α,β\in Aut_{HQG}(H)$ and construct a braided $T$-category $\mathcal{YDQ}(H)$ having all the categories ${_{H}\mathcal{YDQ}^{H}}(α,β)$ as components.
We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.
We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided $G$-crossed categories.
This is a study of weakly integral braided fusion categories with elementary fusion rules to determine which possess nondegenerately braided extensions of theoretically minimal dimension, or equivalently in this case, which satisfy the minimal modular extension conjecture. We classify near-group braided fusion categories satisfying the minimal modular extension conjecture; the remaining Tambara-Yamagami braided fusion categories provide arbitrarily large families of braided fusion categories with identical fusion rules violating the minimal modular extension conjecture. These examples generali…
We classify finite pointed braided tensor categories admitting a fiber functor in terms of bilinear forms on symmetric Yetter-Drinfeld modules over abelian groups. We describe the groupoid formed by braided equivalences of such categories in terms of certain metric data, generalizing the well-known result of Joyal and Street for fusion categories. We study symmetric centers and ribbon structures of pointed braided tensor categories and examine their Drinfeld centers.
For an abelian group $ A $, we study a close connection between braided crossed $ A $-categories with a trivialization of the $ A $-action and $ A $-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action $T$ on a monoidal category $\mathcal{C}$ is given by an element $O(T)\in H^2(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$. In the case that $O(T)=0$, the set of obstructions form a torsor over $\operatorname{Hom}(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$, where $\o…
The notion of a coherent unit action on algebraic operads was first introduced by Loday for binary quadratic nonsymmetric operads and generalized by Holtkamp, to ensure that the free objects of the operads carry a Hopf algebra structure. There was also a classification of such operads in the binary quadratic nonsymmetric case. We generalize the notion of coherent unit action to braided operads and show that free objects of braided operads with such an action carries a braided Hopf algebra structure. Under the conditions of binary, quadratic and nonsymmetric, we give a characterization and clas…
We show that a class of braided Hopf algebras, which includes the braided $SU_q(2)$ is obtained by twisting. We show further examples and demonstrate that twisting of bicovariant differential calculi gives braided bicovariant differential calculi.
We describe Lagrangian algebras in twisted Drinfeld centres for finite groups. Using the full centre construction, we establish a 1-1 correspondence between Lagrangian algebras and module categories over pointed fusion categories.
We introduce the notions of sovereign, spherical and balanced quasi-Hopf algebra. We investigate the connections between these, as well as their connections with the class of pivotal, involutory and ribbon quasi-Hopf algebras, respectively. Examples of balanced and ribbon quasi-Hopf algebras are obtained from a sort of double construction which associates to a braided category (resp. rigid braided) a balanced (resp. ribbon) one.
We revisit the notion of interacting Frobenius Hopf algebras for ZX-calculus in quantum computing, with focus on allowing the algebras to be noncommutative and coalgebras to be noncocommutative. We introduce the notion of *-structures in ZX-calculus at this algebraic level and construct examples based on the quantum group u_q(sl_2) at a root of unity. We provide an abstract formulation of the Hadamard gate at this level and clarify its relationship to Hopf algebra self-duality. We then solve the problem of extending the notion of interacting Hopf algebras and ZX-calculus to take place in a bra…
We study infinitesimal gauge transformations of an equivariant noncommutative principal bundle as a braided Lie algebra of derivations. For this, we analyse general $K$-braided Hopf and Lie algebras, for $K$ a (quasi)triangular Hopf algebra of symmetries, and study their representations as braided derivations. We then study Drinfeld twist deformations of braided Hopf algebras and of Lie algebras of infinitesimal gauge transformations. We give examples coming from deformations of abelian and Jordanian type. In particular we explicitly describe the braided Lie algebra of gauge transformations of…
This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra …
We extend the notion of Poisson-Lie groups and Lie bialgebras from Poisson to g-quasi-Poisson geometry and provide a quantization to braided Hopf algebras in the corresponding Drinfeld category. The basic examples of these g-quasi-Poisson Lie groups are nilpotent radicals of parabolic subgroups. We also provide examples of moment maps in this new context coming from moduli spaces of flat connections on surfaces.
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We will generalize classical results to this context and give some application for the categories of Yetter-Drinfeld modules and $H$-modules. In particular we will describe liftings of coradically graded Hopf algebras in the category of Yetter-Drinfeld modules with these techniques.