The fundamental theorem for weak braided bimonads

DOI10.1016/J.JALGEBRA.2017.06.023MaRDI QIDQ2401708zbMATH OpenOpenAlexFDO

Authors Robert Wisbauer, Bachuki Mesablishvili

Publication date 4 September 2017

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

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

zbMATH Keywords

mixed distributive lawmixed modulemonadicityweak braided bimonadweak braided Hopf monad

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: The theories of (Hopf) bialgebras and weak (Hopf) bialgebras have been introduced for vector space categories over fields and make heavily use of the tensor product. As first generalisations, these notions were formulated for monoidal categories, with braidings if needed. The present authors developed a theory of bimonads and Hopf monads $H$ on arbitrary categories $mathbbA$, employing distributive laws, allowing for a general form of the Fundamental Theorem for Hopf algebras. For $au$-bimonads $H$, properties of braided (Hopf) bialgebras were captured by requiring a Yang-Baxter operator $au:HHoHH$. The purpose of this paper is to extend the features of weak (Hopf) bialgebras to this general setting including an appropriate form of the Fundamental Theorem. This subsumes the theory of braided Hopf algebras (based on weak Yang-Baxter operators) as considered by Alonso 'Alvarez and others.

Review text

The central objects of study are \textit{weak braided bimonads} and \textit{weak braided Hopf monads} which are, by definition, weak braided bialgebras, respectively, weak braided Hopf algebras in the monoidal category of endofunctors on an arbitrary category, in the sense of \textit{J. N. Alonso Álvarez} et al. [Indiana Univ. Math. J. 57, No. 5, 2423--2458 (2008; Zbl 1165.16021)] (but note some regrettable typos in Definition 5.2: conditions (3) and (4) on \(\tau\) should also be required for \(\tau'\)). This means endofunctors on arbitrary categories with compatible monad and comonad structures (what should not be confused with monads on monoidal categories with compatible opmonoidal structures in [\textit{I. Moerdijk}, J. Pure Appl. Algebra 168, No. 2--3, 189--208 (2002; Zbl 0996.18005)] and its follow-up papers). The main result is the \textit{fundamental theorem of Hopf modules} which formulates sufficient and necessary conditions on a weak braided bimonad to be Hopf, in terms of the comparison functor between the base category and a category of suitably defined Hopf modules. In the particular setting considered, it is stronger then the fundamental theorem of Hopf modules due to Alonso Álvarez et al. [loc. cit.]. The proof is based on a Dubuc-Beck type analysis of monadicity.

Recommendations

• Weak braided Hopf algebras
• Weak bimonads and weak Hopf monads
• WEAK BRAIDED BIALGEBRAS AND WEAK ENTWINING STRUCTURES
• Hopf modules in the braided monoidal category \(_L\mathcal M\).
• Weak Hopf monoids in braided monoidal categories.

Cites work

• Adjoint triangles
• Bimonads and Hopf monads on categories
• Comonads and Galois corings.
• Entwining structures in monoidal categories
• Frobenius monads and pseudomonoids
• Galois functors and entwining structures
• Galois functors and generalised Hopf modules
• Generalised bialgebras and entwined monads and comonads
• Hopf Algebroids
• Hopf monads on monoidal categories
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1993749 (Why is no real title available?)
• scientific article; zbMATH DE number 1751783 (Why is no real title available?)
• scientific article; zbMATH DE number 2135127 (Why is no real title available?)
• scientific article; zbMATH DE number 2158354 (Why is no real title available?)
• scientific article; zbMATH DE number 3287761 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• scientific article; zbMATH DE number 2248151 (Why is no real title available?)
• Modules over weak entwining structures
• Monads and comonads on module categories
• Regular pairings of functors and weak (co)monads
• Survey of braided Hopf algebras
• The weak theory of monads
• Weak Bialgebras and Monoidal Categories
• Weak bimonads and weak Hopf monads
• WEAK BRAIDED BIALGEBRAS AND WEAK ENTWINING STRUCTURES
• Weak braided Hopf algebras
• Weak corings
• Weak Hopf algebras and weak Yang-Baxter operators.
• Weak Hopf algebras. I: Integral theory and \(C^*\)-structure
• Weak Hopf monoids in braided monoidal categories.

Cited in

(9)

• Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories
• Cotwists of bicomonads and BiHom-bialgebras
• Braided version of Shirshov-Witt theorem
• On quasi-monoidal comonads and their corepresentations
• WEAK BRAIDED BIALGEBRAS AND WEAK ENTWINING STRUCTURES
• A categorical approach to algebras and coalgebras
• On descent cohomology
• Weak bimonads and weak Hopf monads
• The weak theory of monads

This page was built for publication: The fundamental theorem for weak braided bimonads

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