Slack Hopf monads

DOI10.1016/J.JALGEBRA.2023.12.005MaRDI QIDQ6140035zbMATH OpenOpenAlexFDO

Authors Alain Bruguiéres, Mariana Haim, Ignacio López Franco

Publication date 19 January 2024

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2303.09670

zbMATH Keywords

Hopf monadinternal Hommagma categoryquasi Hopf algebraslack closed functorslack Hopf monad

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monoidal categories, symmetric monoidal categories (18M05)

Abstract: Hopf monads generalise Hopf algebras. They clarify several aspects of the theory of Hopf algebras and capture several related structures such as weak Hopf algebras and Hopf algebroids. However, important parts of Hopf algebra theory are not reached by Hopf monads, most noticeably Drinfeld's quasi-Hopf algebras. In this paper we introduce a generalisation of Hopf monads, that we call slack Hopf monads. This generalisation retains a clean theory and is flexible enough to encompass quasi-Hopf algebras as examples. A slack Hopf monad is a colax magma monad $T$ on a magma category $mathcalC$ such that the forgetful functor $U^T:mathcal{C}^{T}ightarrowmathcalC$ `slackly' preserves internal Homs. We give a number of different descriptions of slack Hopf monads, and study special cases such as slack Hopf monads on cartesian categories and $k$-linear exact slack Hopf monads on $mathrm{Vect}_k$, that is comagma algebras such that a modified fusion operator is invertible. In particular, we characterise quasi-Hopf algebras in terms of slackness.

Review text

A way to study Hopf algebra theory is to put it in a general setting, especially in the category language, and one benefit is that it can unify many kinds of generalizations. For example, Hopf monad is a way which at least grasps the theory of weak Hopf algebras, Hopf algebroids etc. But up to now, there is no such way to realize quasi-Hopf algebras introduced by Drinfeld. This paper gave a way, that is, slack Hopf monad. By definition, it is a colax magma nonad on a magma category satisfying some natural ``slackly conditions. From this way, one can get a categorical characterization of quasi-Hopf algebras (see Theorem 63 of the paper). This is interesting.

Recommendations

• Hopf monads
• Hopf monads on monoidal categories
• Hopf monads on categories
• Hopf monads: a survey with new examples and applications
• Formal Hopf algebra theory. II: Lax centres

Cites work

• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Hopf monads
• Hopf monads on monoidal categories
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2152032 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 1863401 (Why is no real title available?)
• scientific article; zbMATH DE number 821242 (Why is no real title available?)
• scientific article; zbMATH DE number 2222246 (Why is no real title available?)
• scientific article; zbMATH DE number 4183634 (Why is no real title available?)
• Monads on tensor categories
• Nonassociative geometry in quasi-Hopf representation categories. I: Bimodules and their internal homomorphisms
• On Hopf monoids in duoidal categories.
• Quantum double of Hopf monads and categorical centers
• Two characterizations of finite quasi-Hopf algebras.

This page was built for publication: Slack Hopf monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6140035)