Local units versus local projectivity. Dualisations: Corings with local structure maps

We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these constructions are discussed, leading to corings with local comultiplications, corings with local counits and rings with local multiplications.Comment: 22 pages, including a correction to Proposition 1.

Lie monads and dualities

We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special cases of YB-Lie algebras and YB-Lie coalgebras in additive monoidal categories. We show that (strong) dualities between Lie algebras and Lie coalgebras are closely related to (iso)morphisms between associated Lie monads and Lie comonads. In the case of a duality between two Hopf algebras -in the sense of Takeuchi- we recover a duality between a Lie algebra and a Lie coalgebra -in the sense defined in this note- by computing the primitive and the indecomposables elements, respectively.Comment: 27 pages, v2: some examples added and minor change

Morita theory of comodules over corings

By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $\Sigma$ of an $A$-coring \cC. This allows to extend (weak and strong) structure theorems in the literature, in particular beyond the cases when any of the coring \cC or the comodule $\Sigma$ is finitely generated and projective as an $A$-module. That is, we obtain relations between the category of \cC-comodules and the category of firm modules for a firm ring $R$, which is an ideal of the endomorphism algebra ^\cC(\Sigma). For a firmly projective comodule of a coseparable coring we prove a strong structure theorem assuming only surjectivity of the canonical map.Comment: LaTeX, 35 pages. v2: Minor changes including the title, examples added in Section

Dual Constructions for Partial Actions of Hopf Algebras

The duality between partial actions (partial $H$-module algebras) and co-actions (partial $H$-comodule algebras) of a Hopf algebra $H$ is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is established under certain commutativity conditions. Moreover, we continue this duality study, introducing also partial $H$-module coalgebras and their associated $C$-rings, partial $H$-comodule coalgebras and their associated cosmash coproducts, as well as the mutual interrelations between these structures.Comment: v3: strongly revised versio

Globalization for geometric partial comodules

We discuss globalization for geometric partial comodules in a monoidal category with pushouts and we provide a concrete procedure to construct it, whenever it exists. The mild assumptions required by our approach make it possible to apply it in a number of contexts of interests, recovering and extending numerous ad hoc globalization constructions from the literature in some cases and providing obstruction for globalization in some other cases.Comment: 18 pages. Major revision. Results and global presentation improved. Comments are welcome

Cofrobenius Corings and adjoint Functors

We study co-Frobenius and more generally Quasi-co-Frobenius corings over arbitrary baserings and over PF baserings in particular. We generalize some results about (Quasi-) co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterisations for co-Frobenius and Quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Morita contexts to study Frobenius properies of corings and a second kind of Morita contexts to study adjoint pairs. Comparing both Morita contexts, we obtain our main result that characterises (Quasi-) co-Frobenius corings in terms of a pair adjoint functors $(F,G)$ such that $(G,F)$ is locally (Quasi-) adjoint in a sense defined in this note.Comment: Strongly revised version: major changes in section 3, 5.2 and 5.3, minor changes elsewhere. Change of title (on request of the referee

Geometrically Partial actions

We introduce "geometric" partial comodules over coalgebras in monoidal categories, as an alternative notion to the notion of partial action and coaction of a Hopf algebra introduced by Caenepeel and Janssen. The name is motivated by the fact that our new notion suits better if one wants to describe phenomena of partial actions in algebraic geometry. Under mild conditions, the category of geometric partial comodules is shown to be complete and cocomplete and the category of partial comodules over a Hopf algebra is lax monoidal. We develop a Hopf-Galois theory for geometric partial coactions to illustrate that our new notion might be a useful additional tool in Hopf algebra theory.Comment: revised version; improved presentation; stronger version of "fundamental theorem" for partial comodules. Version accepted for publication in "Transactions of the American Mathematical Society". Updated reference