A note on coinduction functors between categories of comodules for corings

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case oflocally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a moregeneral coinduction functor between categories of type σ[M]. In special cases (e.g. the corings morphism is part of a morphism of measuringa-pairings or the corings have the same base ring), a version of our functor is shown to be isomorphic to the usual coinduction functor obtained by means of the cotensor product. Our results in this note generalize previous results of the author on coinduction functors between categories of comodules for coalgebras over commutative base rings.     

On Gorenstein coalgebras

We investigate the comodule representation category over the Morita-Takeuchi context coalgebra Γ and study the Gorensteinness of Γ. Moreover, we determine explicitly all Gorenstein injective comodules over the Morita-Takeuchi context coalgebra Γ and discuss the localization in Gorenstein coalgebras. In particular, we describe its Gabriel quiver and carry out some examples when the Morita-Takeuchi context coalgebra is basic.     

The Morita-Takeuchi Theory for Quotient Categories

Abstract

We study the Morita-Takeuchi context connecting two coalgebras which is dual to the Morita context for algebras. We show that every Morita-Takeuchi context, connecting two coalgebras C and D, leads to an equivalence between quotient categories of the comodule categories ^C M and ^D M. Afterwards we introduce a special Morita-Takeuchi context, called closed, and show that there is a bijection between isomorphism types of closed contexts and isomorphism types of category equivalences between quotient categories of ^C M and ^D M determined by localizing subcategories. This represents a dualization of the classical Morita theorems. Finally we show that from every general context one can construct a closed one.     

Group Corings

We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the G-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra. This research was supported by the research project G.0622.06 “Deformation quantization methods for algebras and categories with applications to quantum mechanics” from Fonds Wetenschappelijk Onderzoek-Vlaanderen. The third author was partially supported by the SRF (20060286006) and the FNS (10571026).     

Naturally Full Functors in Nature

We introduce and discuss the notion of a naturally full functor, The definition is similar to the definition of a separable functor; a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful fimctor, We study the general properties of naturally full functors. We also discuss when functors between module categories and between categories of comodules over a coring are naturally full.     

Gorenstein Coalgebras

We study a class of semiperfect coalgebras which generalizes Quasi-co-Frobenius coalgebras (from the point of view of the projective dimension). This class of coalgebras allows us to study a relative concept of injective comodule in terms of the cotensor functor, generalizing a well-known result about coflat comodules.     

Comatrix Coring Generalized and Equivalences of Categories of Comodules

We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.     

Coinduction functor and simple comodules

Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (coinduction functor) which is right adjoint to the hom-functor represented by this comodule. Using the coinduction functor, we establish a bijective map between the set of representative classes of torsion simple right comodules and the set of representative classes of simple right modules over the endomorphism ring. A detailed application to group-graded modules is also given.     

The Eilenberg-Moore Category and a Beck-type Theorem for a Morita Context

The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a Morita context comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is shown that in many cases equivalences between categories of algebras are induced by such Morita contexts. The Eilenberg-Moore category of representations of a Morita context is constructed. This construction allows one to associate two pairs of adjoint functors with right adjoint functors having a common domain or a double adjunction to a Morita context. It is shown that, conversely, every Morita context arises from a double adjunction. The comparison functor between the domain of right adjoint functors in a double adjunction and the Eilenberg-Moore category of the associated Morita context is defined. The sufficient and necessary conditions for this comparison functor to be an equivalence (or for the moritability of a pair of functors with a common domain) are derived.     

On the Cohomology of Relative Hopf Modules

Let H be a Hopf algebra over a field k, and A an H-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom functors, and of the coinvariants functor, and discuss spectral sequences that connect them. We also discuss when the coinvariants functor preserves injectives.     

Scalar Extension of Bicoalgebroids

After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter–Drinfel’d modules over a bicoalgebroid. It is proved that the Yetter–Drinfel’d category is monoidal and pre-braided just as in the case of bialgebroids, and is embedded into the one-sided center of the comodule category. We proceed to define braided cocommutative coalgebras (BCC) over a bicoalgebroid, and dualize the scalar extension construction of Brzeziński and Militaru (J Algebra 251:279–294, 2002) and Bálint and Szlachányi (J Algebra 296:520–560, 2006), originally applied to bialgebras and bialgebroids, to bicoalgebroids. A few classical examples of this construction are given. Identifying the comodule category over a bicoalgebroid with the category of coalgebras of the associated comonad, we obtain a comonadic (weakened) version of Schauenburg’s theorem. Finally, we take a look at the scalar extension and braided cocommutative coalgebras from a (co-)monadic point of view.      

A note on coring extensions

A notion of a coring extension is defined and it is shown to be equivalent to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions is also introduced.

---

Sunto Si fornisce una definizione per estensioni di coanelli e si dimostra l'equivalenza di tale definizione con l'esistenza di un funtore additivo tra categorie di comoduli che si fattorizzi attraverso il funtore dimenticante. Questa corrispondenza tra estensioni di coanelli e funtori fattorizzabili è illustrata da funtori tra categorie di discesa. Si introduce inoltre una categoria i cui oggetti sono coanelli e i morfismi sono estensioni di coanelli.

     

A classification of Taylor towers of functors of spaces and spectra

We describe new structure on the Goodwillie derivatives of a functor, and we show how the full Taylor tower of the functor can be recovered from this structure. This new structure takes the form of a coalgebra over a certain comonad which we construct, and whose precise nature depends on the source and target categories of the functor in question. The Taylor tower can be recovered from standard cosimplicial cobar constructions on the coalgebra formed by the derivatives. We get from this an equivalence between the homotopy category of polynomial functors and that of bounded coalgebras over this comonad.     

对偶余模函子()°和余反射余模

本文给出对偶余模M°的结构刻划及（）°作为逆变函子的左正合性．同时引入余反射余模描述余反射余代数，由此研究余反射余代数的同调性质，证明当char（F）＝0时，F[x1，...，xn]°上的Serre猜测是成立的，即F[x1，...，xn]°的有限余生成内射余模均为余自由的．     

Adjoint functors and equivalences of subcategories

For any left R-module P with endomorphism ring S, the adjoint pair of functors P⊗_S− and Hom_R(P,−) induce an equivalence between the categories of P-static R-modules and P-adstatic S-modules. In particular, this setting subsumes the Morita theory of equivalences between module categories and the theory of tilting modules. In this paper we consider, more generally, any adjoint pair of covariant functors between complete and cocomplete Abelian categories and describe equivalences induced by them. Our results subsume the situations mentioned above but also equivalences between categories of comodules.     

The Quotient Category of a Graded Morita-Takeuchi Context

In this paper, we offer a graded equivalence between the quotient categories defined by any graded Morita-Takeuchi context via certain modifications of the graded cotensor functors. As a consequence, we show a commutative diagram that establish the relation between the closed objects of the categories gr^c and M^C, where C is a graded coalgebra.     

Lie comodules and the constructions of Lie bialgebras

In this paper,we first give a direct sum decomposition of Lie comodules,and then accord- ing to the Lie comodule theory,construct some(triangular)Lie bialgebras through Lie coalgebras.     

余代数上余倾斜余模的结构

研究了余代数上余倾斜余模的结构特征,证明了每个余倾斜余模都可以写成不可分解的两两非同构的余模的直和形式,每个余倾斜余模包含所有的内射不可分解模作为直和项.最后构造了余倾斜余模的两个例子.