Hopf monads: a survey with new examples and applications (Q6050139)

This paper is a survey about the theory of Hopf monads on monoidal categories containing new examples and applications of this categorical objects. As was pointed by the author, the more relevant contributions mainly appear in Section 4 where he presents several new examples of Hopf monads by looking at poset categories, algebraic theories and Galois extensions of bialgebras. Also, in Sections 5, 6 and 7 we can find new applications of Hopf monads to the theory of Hopf algebroids. Making a brief summary, in the fourth section the author classifies Hopf monads on the poset \((\mathbb{N}_{0},\leq)\) showing that bimonads on this category correspond to infinite submonoids of \((\mathbb{N}_{0},+)\), while Hopf monads on this category correspond to submonoids which are generated by a single positive number. Moreover, in this section he also classifies finitary Hopf monads on the category \((\mathsf{Set} ,\times, 1)\) obtaining that any finitary Hopf monad must correspond to the theory of \(G\)-sets for a group \(G\) (a Hopf algebra in \(\mathsf{Set}\)). On the other hand, in Section 4 the author also studies extensions of bialgebras \(f:B\rightarrow H\) and investigates when the induced adjunction given by restriction and extension of scalars \(\;_{H}{\mathcal M}\;\leftrightarrows\; _{B}{\mathcal M}\) gives rise to a Hopf monad. He shows that the (left) pre-Hopf condition presented in [\textit{A. Bruguières} and \textit{S. Natale}, Int. Math. Res. Not. 2011, No. 24, 5644--5705 (2011; Zbl 1250.18005)] corresponds to \(H\) being a Galois extension of \(B\) over a coalgebra determined by \(f\) in the sense of [\textit{P. Schauenburg} and \textit{H.-J. Schneider}, J. Pure Appl. Algebra 202, No. 1--3, 168--194 (2005; Zbl 1081.16045)]. Furthermore, he presents a generalised Galois condition for \(f\) which determines when the adjunction is (left) Hopf (for example, any suitable Ore extension of bialgebras satisfies this condition). In [\textit{A. Ghobadi}, Theory Appl. Categ. 37, 287--325 (2021; Zbl 1458.18009)] the author introduced a construction for Hopf monads corresponding to pivotal pairs \((P,Q)\) in suitable closed monoidal categories. Other of the new contributions that we can find in Section 4 is the proof that it is possible to obtain a Hopf monad under more general assumptions where the base category is not necessarily closed (see Theorem 4.15). Finally, in Section 4, the author reviews how Hopf algebroids and bialgebroids over a base algebra \(A\) can be viewed as Hopf monads and bimonads over the category of \(A\)-bimodules. For instance, in Example 5.3 he translates the theory of cross products of Hopf monads to the setting of Hopf algebroids presenting an analogous construction to the cross product of Hopf algebras in this setting. Also he presents three more such results in Examples 6.5, 7.6 and 7.4, which include the construction of a lax braiding on the induced coalgebra of Hopf algebroids and analogues of the Fundamental Theorem of Hopf algebras and Radford's biproduct Theorem for these structures.