Monads and comonads in module categories

Abstract

Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A$-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A$-bimodule $\C$ is an $A$-coring provided the functor $-\otimes_A\C:\M_A\to \M_A$ is a comonad (or cotriple). The related categories of modules (or algebras) of $-{\otimes }_{A}B$ and comodules (or coalgebras) of $-\otimes_A\C$ are well studied in the literature. On the other hand, the right adjoint endofunctors $\Hom_A(B,-)$ and $\Hom_A(\C,-)$ are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of $\Hom_A(B,-)$-comodules is isomorphic to the category of $B$-modules, while the category of $\Hom_A(\C,-)$-modules (called $\C$-contramodules by Eilenberg and Moore) need not be equivalent to the category of $\C$-comodules. The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of $\C$-comodules and $\Hom_A(\C,-)$-modules are equivalent provided $\C$ is a coseparable coring. Furthermore, a bialgebra $H$ over a commutative ring $R$ is a Hopf algebra if and only if $\Hom_R(H-)$ is a Hopf bimonad on $\M_R$ and in this case the categories of $H$-Hopf modules and mixed $\Hom_R(H,-)$-bimodules are both equivalent to $\M_R$.

35 pages, LaTeX

References in corpus (4)

• Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures
• Generating the superpotential on a D-brane category: I
• Compatibility Condition between ring and coring
• Bimonads and Hopf monads on categories

Cited by in corpus (16)

• Notes on bimonads and Hopf monads
• Contramodules
• Differential graded Koszul duality: an introductory survey
• Morita theory of comodules over corings
• A note on separable functors and monads
• A note on equivariantization of additive categories and triangulated categories
• Bimonads and Hopf monads on categories
• On Rational Pairings of Functors
• Separable commutative algebras and Galois theory in stable homotopy theories
• Separable commutative rings in the stable module category of cyclic groups
• Semicorings and Semicomodules
• Weak Frobenius monads and Frobenius bimodules
• Galois functors and entwining structures
• A noncommutative calculus on the cyclic dual of Ext
• Azumaya monads and comonads
• Comodules, contramodules and Pontryagin duality