Adjoint and Frobenius Pairs of Functors for Corings

We investigate adjoint and Frobenius pairs 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, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting and in graded ring theory.     

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).     

Morita contexts and Galois theory for weak Hopf comodulelike algebras

We investigate the Morita context and graded cases for weak group corings and derive some equivalent conditions for μ to be surjective. Furthermore, we develop Galois theory for weak group corings. As an application, we give Galois theory for comodulelike algebras over a weak Hopf group coalgebra.     

Compatibility Conditions Between Rings and Corings

We introduce the notion of “bi-monoid” in general monoidal category, generalizing by this the notion of “bialgebra”. In the case of bimodules over a noncommutative algebra, we obtain compatibility conditions between rings and corings whenever both structures admit the same underlying bimodule. Several examples are expounded in this case. We also show that there is a class of right modules over a bi-monoid which is a monoidal category and the forgetful functor to the ground category is a strict monoidal functor.     

Co-Frobenius corings and adjoint functors

We study co-Frobenius and more generally quasi-co-Frobenius corings over arbitrary base rings and over PF base rings in particular. We generalize some results about co-Frobenius and quasi-co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterizations for co-Frobenius and more generally quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Morita contexts to study Frobenius properties of corings and a second kind of Morita contexts to study adjoint pairs. Comparing both Morita contexts, we obtain our main result that characterizes quasi-co-Frobenius corings in terms of a pair of adjoint functors (F,G) such that (G,F) is locally quasi-adjoint in a sense defined in this note.     

Quasi-Frobenius Functors. Applications

We investigate functors between abelian categories having a left adjoint and a right adjoint that are similar (these functors are called quasi-Frobenius functors). We introduce the notion of a quasi-Frobenius bimodule and give a characterization of these bimodules in terms of quasi-Frobenius functors. Some applications to corings and graded rings are presented. In particular, the concept of quasi-Frobenius homomorphism of corings is introduced. Finally, a version of the endomorphism ring Theorem for quasi-Frobenius extensions in terms of corings is obtained.     

A local finiteness theorem for corings over semihereditary rings

The fundamental theorem on coalgebras asserts that coalgebras are locally finite in the case where the ground ring is a field. We prove the local finiteness theorem of corings under the semihereditarity condition on the base algebra and the projectivity condition on a coring. This result generalizes not only the fundamental theorem on coalgebras but also Hazewinkel’s result on the local finiteness of coalgebras over a principal ideal domain and Bergman’s unpublished result on the local finiteness of corings over a semisimple Artinian ring.     

Bimodule herds

The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a B-A bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies unitality and coassociativity conditions. It is shown that every bimodule herd gives rise to a pair of corings and coactions. If, in addition, a bimodule herd is tame i.e. it is faithfully flat and a progenerator, or if it is a progenerator and the underlying ring extensions are split, then these corings are associated to entwining structures; the bimodule herd is a Galois comodule of these corings. The notion of a bicomodule coherd is introduced as a formal dualisation of the definition of a bimodule herd. Every bicomodule coherd defines a pair of (non-unital) rings. It is shown that a tame B-A bimodule herd defines a bicomodule coherd, and sufficient conditions for the derived rings to be isomorphic to A and B are discussed. The composition of bimodule herds via the tensor product is outlined. The notion of a bimodule herd is illustrated by the example of Galois co-objects of a commutative, faithfully flat Hopf algebra.     

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.     

The Picard Group of Corings

We introduce and study the Picard group of a coring. We give an exact sequence relating the Picard group of a coring and its automorphisms generalizing the known exact sequences associated to an algebra and a coalgebra over a field. We also extend to corings the Aut–Pic property and we give some new corings satisfying this property.     

On the resolution of points in generic position

ABSTRACT

It is shown that a Yang–Baxter system can be constructed from any entwining structure. It is also shown that,conversely,Yang–Baxter systems of certain types lead to entwining structures. Examples of Yang–Baxter systems associated to entwining structures are given,and a Yang–Baxter operator of Hecke type is defined for any bijective entwining map.     

Constructing Infinite Comatrix Corings from Colimits

We propose a class of infinite comatrix corings, and describe them as colimits of systems of usual comatrix corings. The infinite comatrix corings of El Kaoutit and Gómez Torrecillas are special cases of our construction, which in turn can be considered as a special case of the comatrix corings introduced recently by Gómez Torrecillas and the third author.      

Yetter-Drinfeld modules over weak bialgebras

We discuss properties of Yetter-Drinfeld modules over weak bialgebras over commutative rings. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules over a weak Hopf algebra are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. IfH is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show that the category of Yetter-Drinfeld modules is isomorphic to the category of modules over the Drinfeld double. The category of finitely generated projective Yetter-Drinfeld modules over a weak Hopf algebra has duality.     

模范畴与余模范畴之间的等价

本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[6]中的一些结果.

Abstract：

In this article,we consider the categories of modules over rings and categories of comodules over corings.By properties of split forks and coseparable corings,we get some sufficient conditions for the equivalence between above two categories.As a consequence,we generalize some results in[6].     

The bicategories of corings

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors, respectively, and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.     

Comonads and Galois Corings

We investigate which aspects of recent developments on Galois corings and comodules admit a formulation in terms of comonads. The general theory is applied to the study of Galois comodules over corings over firm rings. Supported by the research project “Algebraic Methods in Non Commutative Geometry,” with financial support of the grant MTM2004-01406 from the DGICYT and FEDER.     

Corings with Decomposition and Semiperfect Corings

We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous radical.     

Dual Entwining Structures and Dual Entwined Modules

In this note we introduce and investigate the concepts of dual entwining structures and dual entwined modules. This generalizes the concepts of dual Doi–Koppinen structures and dual Doi–Koppinen modules introduced (in the infinite case over rings) by the author in his dissertation. Presented by A. VerschorenMathematics Subject Classifications (2000) 16W30, 18E15.Jawad Y. Abuhlail: Current address: Department of Mathematical Sciences, P.O. Box 5046, King Fahd University of Petroleum & Minerals, 31261 Dhahran, Saudi Arabia.