BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show that the category of partial comodules over a Hopf algebra H is comonadic over Vectk and provide an explicit construction of this comonad using topological vector spaces. The case when H is finite dimensional is treated in detail. A study of partial representations of linear algebraic groups is initiated; we show that a connected linear algebraic group does not admit partiality.
We discuss globalization for geometric partial comodules in a monoidal category with pushouts and we provide a concrete procedure to construct it, whenever it exists. The mild assumptions required by our approach make it possible to apply it in a number of contexts of interests, recovering and extending numerous ad hoc globalization constructions from the literature in some cases and providing obstruction for globalization in some other cases.
We study the globalization of partial actions on sets and topological spaces and of partial coactions on algebras by applying the general theory of globalization for geometric partial comodules, as previously developed by the authors. We show that this approach does not only allow to recover all known results in these settings, but it allows to treat new cases of interest, too.
We introduce the notion of a partial corepresentation of a given Hopf algebra H over a coalgebra C and the closely related concept of a partial H-comodule. We prove that there exists a universal coalgebra Hpar, associated to the original Hopf algebra H, such that the category of regular partial H-comodules is isomorphic to the category of Hpar-comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra Hpar has the structure of a Hopf coalgebroid over a suitable coalgebra.
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them Lax+Oplax0-monoidal. Dually, we consider Lax0Oplax+-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define Lax0+Oplax+0-duoidal categories with compatible Lax+Oplax0- and Lax0Oplax+-monoidal structures. We introduce comonoids in Lax+Oplax0-monoidal categories, monoids in Lax0Oplax+-monoidal categories and bimonoids in Lax0+Oplax+0- duoidal categories. Motivation for these notions comes from a generalization of a construction due to Caenepeel and Goyvaerts. This assigns a Lax0+Oplax+0-duoidal category D to any symmetric monoidal category V. The unital BiHom-monoids, counital BiHom-comonoids, and unital and counital BiHom-bimonoids in V are identified with the monoids, comonoids and bimonoids in D, respectively.
We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf algebra H, there is a natural isomorphism of Lie algebras Q(H)∗≅P(H∘), where Q(H)∗ is the dual Lie algebra of the Lie coalgebra of indecomposables of H, and P(H∘) is the Lie algebra of primitive elements of the Sweedler dual of H. We apply our theory to Turaev's Hopf group-(co)algebras.
We introduce the notion of an oplax Hopf monoid in any braided monoidal bicategory, generalizing that of a Hopf monoid in a braided monoidal category in an appropriate way. We show that Hopf V-categories introduced in [BCV16] are a particular type of oplax Hopf monoids in the monoidal bicategory Span|V described in [Böh17]. Finally, we introduce Frobenius V-categories as the Frobenius objects in the same monoidal bicategory.
Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is trivial), we develop further an effective theory that allows explicit computations. As a case study, we apply our theory to the symmetric group and its subgroup of permutations fixing 1: this provides a natural extension of the classical representation theory of the symmetric group.
The purpose of this article is to prove that the category of cocommutative Hopf K-algebras, over a field K of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie K-algebras, respectively.
The duality between partial actions (partial H-module algebras) and co-actions (partial H-comodule algebras) of a Hopf algebra H is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is established under certain commutativity conditions. Moreover, we continue this duality study, introducing also partial H-module coalgebras and their associated C-rings, partial H-comodule coalgebras and their associated cosmash coproducts, as well as the mutual interrelations between these structures.
We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special cases of YB-Lie algebras and YB-Lie coalgebras in additive monoidal categories. We show that (strong) dualities between Lie algebras and Lie coalgebras are closely related to (iso)morphisms between associated Lie monads and Lie comonads. In the case of a duality between two Hopf algebras -in the sense of Takeuchi- we recover a duality between a Lie algebra and a Lie coalgebra -in the sense defined in this note- by computing the primitive and the indecomposables elements, respectively.
In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra H, one can associate it to a Hopf algebroid Hpar which has the universal property that each partial representation of H can be factorized by an algebra morphism from Hpar. We define also the category of partial modules over a Hopf algebra H, which is the category of modules over its associated Hopf algebroid Hpar. The Hopf algebroid structure of Hpar enables us to enhance the category of partial H modules with a monoidal structure and such that the algebra objects in this category are the usual partial actions. Some examples of categories of partial H modules are explored. In particular we can describe fully the category of partially Z2-graded modules.
In this short note we study Lie algebras in the framework of symmetric monoidal categories. After a brief review of the existing work in this field and a presentation of earlier studied and new examples, we examine which functors preserve the structure of a Lie algebra.
Hopf algebras are closely related to monoidal categories. More precise, k-Hopf algebras can be characterized as those algebras whose category of finite dimensional representations is an autonomous monoidal category such that the forgetful functor to k-vectorspaces is a strict monoidal functor. This result is known as the Tannaka reconstruction theorem (for Hopf algebras). Because of the importance of both Hopf algebras in various fields, over the last last few decades, many generalizations have been defined. We will survey these different generalizations from the point of view of the Tannaka reconstruction theorem.
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule Σ of an A-coring $\cC$. This allows to extend (weak and strong) structure theorems in the literature, in particular beyond the cases when any of the coring $\cC$ or the comodule Σ is finitely generated and projective as an A-module. That is, we obtain relations between the category of $\cC$-comodules and the category of firm modules for a firm ring R, which is an ideal of the endomorphism algebra $^\cC(Σ)$. For a firmly projective comodule of a coseparable coring we prove a strong structure theorem assuming only surjectivity of the canonical map.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.