Related papers: Prescribed duality dynamics in comodule categories

We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally…

Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and…

Quasishuffle Hopf algebras, usually defined on a commutative monoid, can be more generally defined on any associative algebra V. If V is a commutative and cocommutative bialgebra, the associated quasishuffle bialgebra QSh(V) inherits a…

We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf…

We define a family of Hopf algebra objects, $H$, in the braided category of $\mathbb{Z}_n$-modules (known as anyonic vector spaces), for which the property $\psi^2_{H\otimes H}=id_{H\otimes H}$ holds. We will show that these anyonic Hopf…

We determine the Grothendieck ring of finite-dimensional comodules for the free Hopf algebra on a matrix coalgebra, and similarly for the free Hopf algebra with bijective antipode and other related universal quantum groups. The results turn…

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…

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…

Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm…

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of…

The permutation pattern Hopf algebra is a commutative filtered and connected Hopf algebra. Its product structure stems from counting patterns of a permutation, interpreting the coefficients as permutation quasi-shuffles. The Hopf algebra…

We present new Hopf algebras with the dual Chevalley property by determining all semisimple Hopf algebras Morita-equivalent to a group algebra over a finite group, for a list of groups supporting a non-trivial finite-dimensional Nichols…

By a theorem of Majid, every monoidal category with a neutral quasi-monoidal functor to finitely-generated and projective $\Bbbk$-modules gives rise to a coquasi-bialgebra. We prove that if the category is also rigid, then the associated…

We exhibit a bijective correspondence between certain left ideal coideals in a Hopf algebroid for which the resulting quotient is a coequalizer and certain right coideal subrings which are themselves an equalizer, remarkably improving a…

We examine the cyclic homology of the monoidal category of modules over a finite dimensional Hopf algebra, motivated by the need to demonstrate that there is a difference between the recently introduced mixed anti-Yetter-Drinfeld…

Let H be a Hopf algebra of dimension pq over an algebraically closed field of characteristic 0, where p <= q are odd primes. Suppose that S is the antipode of H. If H is not semisimple, then S^{4p}=id_H and Tr(S^{2p}) is an integer…

We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving…

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair…

In this paper we review the Takeuchi correspondence between right coideal subalgebras and left $H$-module factor coalgebras of a Hopf algebra with bijective antipode. We are especially interested to describe the situation when the…

We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there…