相关论文: Lagrange's Theorem for Hopf Monoids in Species

Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given…

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…

We construct a functor that inputs a retract in an $(\infty,3)$-category satisfying some adjunctibility conditions and outputs a Hopf algebra in a braided monoidal $(\infty,1)$-category. Provided the braided monoidal category is…

Let $H$ be a Hopf algebra and $\mathcal{LR}(H)$ the category of Yetter-Drinfel'd-Long bimodules over $H$. We first give sufficient and necessary conditions for $\mathcal{LR}(H)$ to be symmetry and pseudosymmetry, respectively. We then…

A weak multiplier Hopf algebra is a pair (A,\Delta) of a non-degenerate idempotent algebra A and a coproduct $\Delta$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

We define the fundamental group of a Hopf algebra over a field. For this purpose we first consider gradings of Hopf algebras and Galois coverings. The latter are given by linear categories with new additional structure which we call Hopf…

This work is devoted to the study of a class of Poisson-Lie groups endowed with left invariant metrics. The triples $(G,\pi,<,>)$ are considered, where $G$ is a simply connected Lie group, ?$\pi$ is a multiplicative Poisson tensor and $<,>$…

The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…

We prove that a finite-dimensional irreducible Hopf algebra $H$ in positive characteristic is semisimple, if and only if it is commutative and semisimple, if and only if the restricted Lie algebra $P(H)$ of the primitives is a torus. This…

We study the various term operations on the set of skew primitive elements of Hopf algebras, generated by skew primitive semi-invariants of an Abelian group of grouplike elements. All 1-linear binary operations are described and trilinear…

This thesis introduces a way to build Markov chains out of Hopf algebras. The transition matrix of a "Hopf-power Markov chain" is (the transpose of) the matrix of the coproduct-then-product operator on a combinatorial Hopf algebra with…

We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, $\phi: C \to D$ is a monomorphism of coalgebras if and only if…

We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…

We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Brugui\`eres) can be seen as…

A vector species is a functor from the category of finite sets with bijections to vector spaces (over a fixed field); informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists…

Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up…

A \textit{grounded set family} on $I$ is a subset $F\subseteq2^I$ such that $\emptyset\in F$. We study a linearized Hopf monoid \textbf{SF} on grounded set families, with restriction and contraction inspired by the corresponding operations…

We show that in characteristic zero all irreducible symmetrically braided Hopf algebras are of PBW type. Consequently, we obtain conditions for a braided Hopf algebra to be of PBW type as module over a braided Hopf subalgebra containing the…