Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.
We investigate a Hopf algebra structure on the cotensor coalgebra associated to a Hopf bimodule algebra which contains universal version of Clifford algebras and quantum groups as examples. It is shown to be the bosonization of the quantum quasi-shuffle algebra built on the space of its right coinvariants. The universal property and a Rota-Baxter algebra structure are established on this new algebra.
Let H be a finite-dimensional Hopf algebra. We give a description of the tensor product of bimodule categories over Rep(H). When the bimodule categories are invertible this description can be given explicitly. We present some consequences of this description in the case H is a pointed Hopf algebra.
For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact $\Rep(H)$-bimodule categories. We discuss the injectivity of this map. We exemplify in the case $H=T_q$ is a Taft Hopf algebra and for this we classify all exact indecomposable $\Rep(T_q)$-bimodule categories.
If H is a finite dimensional Hopf algebra, C. Cibils and M. Rosso found an algebra X having the property that Hopf bimodules over H^* coincide with left X-modules. We find two other algebras, Y and Z, having the same property; namely, Y is the "two-sided crossed product" H^*#(H\otimes H^{op})# H^{* op} and Z is the "diagonal crossed product" (H^*\otimes H^{*op})\bowtie (H\otimes H^{op}) (both concepts are due to F. Hausser and F. Nill). We also find explicit isomorphisms between the algebras X, Y, Z.
We construct new examples of left bialgebroids and Hopf algebroids, arising from noncommutative geometry. Given a first order differential calculus $Ω$ on an algebra $A$, with the space of left vector fields $\mathfrak{X}$, we construct a left $A$-bialgeroid $B\mathfrak{X}$, whose category of left modules is isomorphic to the category of left bimodule connections over the calculus. When $Ω$ is a pivotal bimodule, we construct a Hopf algebroid $H\mathfrak{X}$ over $A$, by restricting to a subcategory of bimodule connections which intertwine with both $Ω$ and $\mathfrak{X}$ in a compatible manne…
We introduce C*-pseudo-multiplicative unitaries and concrete Hopf C*-bimodules for the study of quantum groupoids in the setting of C*-algebras. These unitaries and Hopf C*-bimodules generalize multiplicative unitaries and Hopf C*-algebras and are analogues of the pseudo-multiplicative unitaries and Hopf--von Neumann-bimod-ules studied by Enock, Lesieur and Vallin. To each C*-pseudo-multiplicative unitary, we associate two Fourier algebras with a duality pairing, a C*-tensor category of representations, and in the regular case two reduced and two universal Hopf C*-bimodules. The theory is illu…
Coactions of Hopf C*-bimodules simultaneously generalize coactions of Hopf C*-algebras and actions of groupoids. Following an approach of Baaj and Skandalis, we construct reduced crossed products and establish a duality for fine coactions. Examples of coactions arise from Fell bundles on groupoids and actions of a groupoid on bundles of C*-algebras. Continuous Fell bundles on an etale groupoid correspond to coactions of the reduced groupoid algebra, and actions of a groupoid on a continuous bundle of C*-algebras correspond to coactions of the function algebra.
Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is also provided in coordinate form. The notion of Hom-Yetter-Drinfel'd modules is presented and it is shown that the category of Hom-Yetter-Drinfel'd modules is a (pre)braided tensor category as well. As one of the main results, a (pre)braided monoidal equivalence between these tensor categories is verified, which extends the fundamental theorem of Hom-Hopf mo…
The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$ denotes the space of coinvariant elements in $M$. Actually, it has been shown that this result characterizes Hopf algebras: $H$ is a Hopf algebra if and only if every Hopf module $M$ can be decomposed in such a way. The main aim of this paper is to extend this characterization to the framework of quasi-bialgebras by introducing the notion of preantipode and b…
If A is a bialgebra over a field k and M, N are either left-right Yetter-Drinfel'd modules or left-right Hopf modules over A, we construct deformation cohomologies H^*(M,N) as total cohomologies of certain double complexes Y(M,N) and C(M,N), respectively. In both cases, H^1(M,N) is isomorphic to the group of equivalence classes of extensions of M by N in the corresponding category. In the Yetter-Drinfel'd case, H^*(k,k) is just the Gerstenhaber-Schack cohomology of the bialgebra A. If M, N are Hopf bimodules we construct a natural subbicomplex of the above C(M,N), yielding a cohomology theory …
We systematically study noncommutative and nonassociative algebras A and their bimodules as algebras and bimodules internal to the representation category of a quasitriangular quasi-Hopf algebra. We enlarge the morphisms of the monoidal category of A-bimodules by internal homomorphisms, and describe explicitly their evaluation and composition morphisms. For braided commutative algebras A the full subcategory of symmetric A-bimodule objects is a braided closed monoidal category, from which we obtain an internal tensor product operation on internal homomorphisms. We describe how these structures…
The category-valued trace assigns to a bimodule category over a linear monoidal category a linear category. It generalizes Drinfeld centers of monoidal categories and the relative Deligne product of bimodule categories. In this article, we study bimodule categories that are given as categories of bicomodules over a Hopf algebra. Our main result is a representation-theoretic realization of the category-valued trace as a category of generalized Hopf bimodules.
We develop further the techniques presented in [M. Mombelli. On the tensor product of bimodule categories over Hopf algebras. Preprint arXiv:1111.1610 ] to study bimodule categories over the representation categories of arbitrary finite-dimensional Hopf algebras. We compute the Brauer-Picard group of equivalence classes of exact invertible bimodule categories over the representation categories of a certain large family of pointed non-semisimple Hopf algebras, the so called supergroup algebras. To obtain this result we first give a classification of equivalence classes of exact indecomposable b…
Motivated by the so-called H-cell reduction theorems, we investigate certain classes of bicategories which have only one H-cell apart from possibly the identity. We show that H_0-simple quasi fiab bicategories with unique H-cell H_0 are fusion categories. We further study two classes of non-semisimple quasi-fiab bicategories with a single H-cell apart from the identity. The first is $\cH_A$, indexed by a finite-dimensional radically graded basic Hopf algebra A, and the second is $\cG_A$, consisting of symmetric projective A-A-bimodules. We show that $\cH_A$ can be viewed as a 1-full subbicateg…
For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf algebra object K for the bimodule category to F_omega. This morphism is invariant under the natural action of the mapping class group of the one-punctured torus on the space of bimodule morphisms from K to F_omega. We further show that the bimodule F_omega can be endowed with a natural structure of a commutative symmetric Frobenius algebra in the monoidal categor…
Given a Hopf algebra H, we study modules and bimodules over an algebra A that carry an H-action, as well as their morphisms and connections. Bimodules naturally arise when considering noncommutative analogues of tensor bundles. For quasitriangular Hopf algebras and bimodules with an extra quasi-commutativity property we induce connections on the tensor product over A of two bimodules from connections on the individual bimodules. This construction applies to arbitrary connections, i.e. not necessarily H-equivariant ones, and further extends to the tensor algebra generated by a bimodule and its …
A quasi-Hopf algebra $H$ can be seen as a commutative algebra $A$ in the centre $\mathcal Z(H-Mod)$ of $H-Mod$. We show that the category of $A$-modules in $\mathcal Z(H-Mod)$ is equivalent (as a monoidal category) to $H-Mod$. This can be regarded as a generalization of the structure theorem of Hopf bimodules of a Hopf algebra to the quasi-Hopf setting.
Free Hopf modules and bimodules over a bialgebra are studied with some details. In particular, we investigate a duality in the category of bimodules in this context. This gives the correspondence between Woronowicz's quantum Lie algebra and algebraic vector fields.
We construct cup products of two different kinds for Hopf-cyclic cohomology. When the Hopf algebra reduces to the ground field our first cup product reduces to Connes' cup product in ordinary cyclic cohomology. The second cup product generalizes Connes-Moscovici's characteristic map for actions of Hopf algebras on algebras.
We discuss the structure of the Motzkin algebra $M_k(D)$ by introducing a sequence of idempotents and the basic construction. We show that $\cup_{k\geq 1}M_k(D)$ admits a factor trace if and only if $D\in \{2\cos(π/n)+1|n\geq 3\}\cup [3,\infty)$ and higher commutants of these factors depend on $D$. Then a family of irreducible bimodules over the factors are constructed. A tensor category with $A_n$ fusion rule is obtained from these bimodules.
We consider Hopf bimodules and crossed modules over a Hopf algebra $H$ in a braided category. They are the key-stones for braided bicovariant differential calculi and their invariant vector fields respectively, as well as for the construction of braided Hopf algebra cross products. We show that the notions of Hopf bimodules and crossed modules are equivalent. A generalization of the Radford-Majid criterion to the braided case is given and it is seen that bialgebra cross products over the Hopf algebra $H$ are precisely described by $H$-crossed module bialgebras. We study the theory of (bicovari…
Tetramodule is a vector space supplied with the bimodule and bicomodule structures over a Hopf algebra. The exact definition is given. Some properties and applications to quantum groups are discussed.
If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference comparing to the Hopf case is that, from the multiplication of B, which is associative, we have to obtain the multiplication of A, which in general is not; for this we use a canonical projection E arising from the fact that B becomes a quasi-Hopf H-bimodule.
We use stable anti Yetter-Drinfeld contramodules to improve the cup products in Hopf cyclic cohomology. The improvement fixes the lack of functoriality of the cup products previously defined and show that the cup products are sensitive to the coefficients.
In this paper we introduce generalizations of diagonal crossed products, two-sided crossed products and two-sided smash products, for a quasi-Hopf algebra H. The results we obtain may be applied to H^*-Hopf bimodules and generalized Yetter-Drinfeld modules. The generality of our situation entails that the "generating matrix" formalism cannot be used, forcing us to use a different approach. This pays off because as an application we obtain an easy conceptual proof of an important but very technical result of Hausser and Nill concerning iterated two-sided crossed products.
We classify graded Hopf algebras structures over path coalgebras, that is over free pointed coalgebras, using Hopf quivers which are analogous to Cayley graphs. The description involves formulas for the product besides the canonical formulas for the coproduct. This makes explicit the quantum shuffle product making use of natural elements in a Hopf bimodule having a simple "geometrical" interpretation in the quiver sense, rather than working systematically with right or left coinvariants.
We study a mixed tensor product $\mathbf{3}^{\otimes m} \otimes \mathbf{\overline{3}}^{\otimes n}$ of the three-dimensional fundamental representations of the Hopf algebra $U_{q} s\ell(2|1)$, whenever $q$ is not a root of unity. Formulas for the decomposition of tensor products of any simple and projective $U_{q} s\ell(2|1)$-module with the generating modules $\mathbf{3}$ and $\mathbf{\overline{3}}$ are obtained. The centralizer of $U_{q} s\ell(2|1)$ on the chain is calculated. It is shown to be the quotient $\mathscr{X}_{m,n}$ of the quantum walled Brauer algebra. The structure of projective …
Let A be a comodule algebra for a finite dimensional Hopf algebra K over an algebraically closed field k, and let A^K be the subalgebra of invariants. Let Z be a central subalgebra in A, which is a domain with quotient field Q. Assume that Q\otimes_Z A is a central simple algebra over Q, and either A is a finitely generated torsion-free Z-module and Z is integrally closed in Q, or A is a finite projective Z-module. Then we show that A and Z are integral over the subring of central invariants Z\cap A^K. More generally, we show that this statement is valid under the same assumptions if Z is a re…
For a quasi-Hopf algebra $H$, a left $H$-comodule algebra $\mf{B}$ and a right $H$-module coalgebra $C$ we will characterize the category of Doi-Hopf modules ${}^C{\cal M}(H)_{\mf{B}}$ in terms of modules. We will also show that for an $H$-bicomodule algebra $\mb{A}$ and an $H$-bimodule coalgebra $C$ the category of generalized Yetter-Drinfeld modules ${}_{\mb{A}}{\cal YD}(H)^C$ is isomorphic to a certain category of Doi-Hopf modules. Using this isomorphism we will transport the properties from the category of Doi-Hopf modules to the category of generalized Yetter-Drinfeld modules.
Hopf (bi-)modules and crossed modules over a bialgebra B in a braided monoidal category C are considered. The (braided) monoidal equivalence of both categories is proved provided B is a Hopf algebra (with invertible antipode). Bialgebra projections and Hopf bimodule bialgebras over a Hopf algebra in C are found to be isomorphic categories. As a consequence a generalization of the Radford-Majid criterion for a braided Hopf algebra to be a cross product is obtained. The results of this paper turn out to be fundamental for the construction of (bicovariant) differential calculi on braided Hopf alg…
Given a Hopf algebra H and an algebra A that is an H-module algebra we consider the category of left H-modules and A-bimodules, where morphisms are just right A-linear maps (not necessarily H-equivariant). Given a twist F of H we then quantize (deform) H to H^F, A to A_\star and correspondingly the category of left H-modules and A-bimodules to the category of left H^F-modules and A_\star-bimodules. If we consider a quasitriangular Hopf algebra H, a quasi-commutative algebra A and quasi-commutative A-bimodules, we can further construct and study tensor products over A of modules and of morphism…
We introduce the categories of infinitesimal Hopf modules and bimodules over an infinitesimal bialgebra. We show that they correspond to modules and bimodules over the infinitesimal version of the double. We show that there is a natural, but non-obvious way to construct a pre-Lie algebra from an arbitrary infinitesimal bialgebra and a dendriform algebra from a quasitriangular infinitesimal bialgebra. As consequences, we obtain a pre-Lie structure on the space of paths on an arbitrary quiver, and a striking dendriform structure on the space of endomorphisms of an arbitrary infinitesimal bialgeb…
We develop the Tannaka-Krein duality for monoidal functors with target in the categories of bimodules over a ring. The $\coend$ of such a functor turns out to be a Hopf algebroid over this ring. Using the result of a previous paper we characterize a small abelian, locally finite rigid monoidal category as the category of rigid comodules over a transitive Hopf algebroid.
We investigate the Drinfel'd doubles $D(Λ_{n,d})$ of a certain family of Hopf algebras. We determine their simple modules and their indecomposable projective modules, and we obtain a presentation by quiver and relations of these Drinfel'd doubles, from which we deduce properties of their representations, including the Auslander-Reiten quivers of the $D(Λ_{n,d})$. We then determine decompositions of the tensor products of most of the representations described, and in particular give a complete description of the tensor product of two simple modules. This study also leads to explicit examples of…
We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a bialgebra, tightening the connection between Hopf and Frobenius properties.
In this article we construct three explicit natural subgroups of the Brauer-Picard group of the category of representations of a finite-dimensional Hopf algebra. In examples the Brauer Picard group decomposes into an ordered product of these subgroups, somewhat similar to a Bruhat decomposition. Our construction returns for any Hopf algebra three types of braided autoequivalences and correspondingly three families of invertible bimodule categories. This gives examples of so-called (2-)Morita equivalences and defects in topological field theories. We have a closer look at the case of quantum gr…
Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an algebra structure, denoted by ${\mathfrak A}\ovsm H^*$, in the monoidal category of left $H$-modules (i.e. ${\mathfrak A}\ovsm H^*$ is an $H$-module algebra. Then we will prove that the category of two-sided $({\mathfrak A}, H)$-bimodules $\hba $ is isomorphic to the category of relative $({\mathfrak A}\ovsm H^*, H^*)$-Hopf modules, as introduced in by Hausser and…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to {\em monoidal} categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our base category but we do refer to the monoidal structure of the category of endofunctors on any category $\A$ and by this we retain some of the combinatorial complexity which makes the theory so inter…
This paper is concerned with the theory of cup-products in Hopf-type cyclic cohomology of algebras and coalgebras. Here we give detailed proofs of the statements, announced in our previous paper. We show that the cyclic cohomology of a coalgebra can be obtained from a construction involving noncommutative Weil algebra. Then we use a generalization of Quillen and Crainic's construction to define the cup-product. We discuss the relation of the introduced cup-product and $S$-operations on cyclic cohomology. After this we describe the relation of this type of product and bivariant cyclic cohomolog…
This thesis contains results relevant for two different classes of conformal field theory. We partly treat rational conformal field theory, but also derive results that aim at a better understanding of logarithmic conformal field theory. For rational conformal field theory, we generalize the proof that the construction of correlators, via three-dimensional topological field theory, satisfies the consistency conditions to oriented world sheets with defect lines. We also derive a classifying algebra for defects. This is a semisimple commutative associative algebra over the complex numbers whose …
We review the construction of the multiparametric quantum group $ISO_{q,r}(N)$ as a projection from $SO_{q,r}(N+2) $ and show that it is a bicovariant bimodule over $SO_{q,r}(N)$. The universal enveloping algebra $U_{q,r}(iso(N))$, characterized as the Hopf algebra of regular functionals on $ISO_{q,r}(N)$, is found as a Hopf subalgebra of $U_{q,r}(so(N+2))$ and is shown to be a bicovariant bimodule over $U_{q,r}(so(N))$. An R-matrix formulation of $U_{q,r}(iso(N))$ is given and we prove the pairing $U_{q,r}(iso(N))\leftrightarrow ISO_{q,r}(N)$. We analyze the subspaces of $U_{q,r}(iso(N))$ tha…
We give an analogue of the classical exponential map on Lie groups for Hopf $*$-algebras with differential calculus. The major difference with the classical case is the interpretation of the value of the exponential map, classically an element of the Lie group. We give interpretations as states on the Hopf algebra, elements of a Hilbert $C^{*} $-bimodule of $\frac{1}{2}$ densities and elements of the dual Hopf algebra. We give examples for complex valued functions on the groups $S_{3}$ and $\mathbb{Z}$, Woronowicz's matrix quantum group $\mathbb{C}_{q}[SU_2] $ and the Sweedler-Taft algebra.
Let H be a Hopf algebra, A a left H-module algebra and V a left H-module A-bimodule. We study the behavior of the right A-linear endomorphisms of V under twist deformation. We in particular construct a bijective quantization map to the right A_\star-linear endomorphisms of V_\star, with A_\star,V_\star denoting the usual twist deformations of A,V. The quantization map is extended to right A-linear homomorphisms between left H-module A-bimodules and to right connections on V. We then investigate the tensor product of linear maps between left H-modules. Given a quasitriangular Hopf algebra we ca…
We introduce the notion of `bar category' by which we mean a monoidal category equipped with additional structure formalising the notion of complex conjugation. Examples of our theory include bimodules over a $*$-algebra, modules over a conventional $*$-Hopf algebra and modules over a more general object which call a `quasi-$*$-Hopf algebra' and for which examples include the standard quantum groups $u_q(g)$ at $q$ a root of unity (these are well-known not to be a usual $*$-Hopf algebra). We also provide examples of strictly quasiassociative bar categories, including modules over `$*$-quasiHop…
We explore the differential geometry of finite sets where the differential structure is given by a quiver rather than as more usual by a graph. In the finite group case we show that the data for such a differential calculus is described by certain Hopf quiver data as familiar in the context of path algebras. We explore a duality between geometry on the function algebra vs geometry on the group algebra, i.e. on the dual Hopf algebra, illustrated by the noncommutative Riemannian geometry of the group algebra of $S_3$. We show how quiver geometries arise naturally in the context of quantum princi…
We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode. Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a cat…
We compute the quantum double, braiding and other canonical Hopf algebra constructions for the bicrossproduct Hopf algebra $H$ associated to the factorization of a finite group into two subgroups. The representations of the quantum double are described by a notion of bicrossed bimodules, generalising the cross modules of Whitehead. We also show that self-duality structures for the bicrossproduct Hopf algebras are in one-one correspondence with factor-reversing group isomorphisms. The example $Z_6Z_6$ is given in detail. We show further that the quantum double $D(H)$ is the twisting of $D(X)$ b…
Lyubashenko's construction associates representations of mapping class groups Map_{g,n} of Riemann surfaces of any genus g with any number n of holes to a factorizable ribbon category. We consider this construction as applied to the category of bimodules over a finite-dimensional factorizable ribbon Hopf algebra H. For any such Hopf algebra we find an invariant of Map_{g,n} for all values of g and n. More generally, we obtain such invariants for any pair (H,omega), where omega is a ribbon automorphism of H. Our results are motivated by the quest to understand correlation functions of bulk fiel…
In this report we give an intrinsic treatment of the results we developed in a previous work connecting the differential calculi on Hopf algebras to the Drinfeld double. In the first place we recover that bicovariant bimodules are in one to one correspondence with the Drinfeld double representations; we then introduce a Hochschild cohomology of the algebra of functions and discuss the main result stating that each differential calculus is associated to a 1-cocycle satisfying an additional invariance condition with respect to a natural action. Defining a Hochschild cohomology of the double, the…
