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.     

Modules and comodules for corings

A coring C over a ring A is an (A, A)-bimodule with a comultiplication Δ: C → C _⨂A C and a counit ε: C → A, both being left and right A-linear mappings satisfying additional conditions. The dual spaces C* = Hom _A (C, A) and *C = _A Hom(C, A) allow the ring structure, and the right (left) comodules over C can be considered as left (right) modules over *C (respectively, C*). In fact, under weak restrictions on the A-module properties of C, the category of right C-comodules can be identified with the subcategory σ[_*C C] of *C-Mod, i.e., the category subgenerated by the left *C-module C. This point of view allows one to apply results from module theory to the investigation of coalgebras and comodules. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 51–72, 2005.     

Monoidal categories of corings

We introduce a monoidal category of corings using two different notions of corings morphisms. The first one is the (right) coring extensions recently introduced by T. Brzeziński in [2], and the other is the usual notion of morphisms defined in [6] by J. Gómez-Torrecillas.

---

Sunto Introduciamo una categoria monoidale di coanelli usando due diverse nozioni di morfismi di coanelli. La prima è l'estensione (destra) di coanelli recentemente introdotta da Brzeziński in [2], mentre la seconda è la nozione usuale di morfismo definita in [6] da J. Gómez-Torrecillas.

     

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.     

Associator-cyclic bimodules

Moscow Pedagogical State University. Translated from Matematicheskie Zametki, Vol. 56, No. 5, pp. 22–26, November, 1994.     

Homotopical Morita theory for corings

A coring (A,C) consists of an algebra A in a symmetric monoidal category and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf–Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings (A,C) and (B,D) in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules V _A ^C and V _B ^D are Quillen equivalent. As an illustration of the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.     

Formally smooth bimodules

The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a B-A bimodule M which is a generator left B-module is formally smooth if and only if the M-Hochschild dimension of B is at most one. It is also shown that modules M which are generators in the category σ[M] of M-subgenerated modules provide natural examples of formally smooth bimodules.     

Frobenius bimodules and flat-dominant dimensions

We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules.This is motivated by the Nakayama conjecture and an approach of MartinezVilla to the Auslander-Reiten conjecture on stable equivalences.We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions.Furthermore,let A and B be finite-dimensional algebras over a field k,and let domdim(_AX)stand for the dominant dimension of an A-module X.If_BM_A is a Frobenius bimodule,then domdim(A)domdim(_BM)and domdim(B)domdim(_AHom_B(M,B)).In particular,if B■A is a left-split(or right-split)Frobenius extension,then domdim(A)=domdim(B).These results are applied to calculate flat-dominant dimensions of a number of algebras:shew group algebras,stably equivalent algebras,trivial extensions and Markov extensions.We also prove that the universal(quantised)enveloping algebras of semisimple Lie algebras are QF-3 rings in the sense of Morita.     

Yetter-Drinfeld-Long bimodules are modules

Let H be a finite-dimensional bialgebra. In this paper, we prove that the category ?R(H) of Yetter-Drinfeld-Long bimodules, introduced by F. Panaite, F. Van Oystaeyen (2008), is isomorphic to the Yetter-Drinfeld category \({}_{H \otimes H*}^{H \otimes H*}YD\) over the tensor product bialgebra H ? H* as monoidal categories. Moreover if H is a finite-dimensional Hopf algebra with bijective antipode, the isomorphism is braided. Finally, as an application of this category isomorphism, we give two results.     

Equivalences induced by graded bimodules

Let k be a commutative ringG a finite groupR and S fully G-graded k-algebras. In this paper we investigate Morita equivalences, derived equivalences and stable equivalences of Morita type between R and S, which are induced by G-graded R, 5-bimodules or complexes of G-graded bimodules. Such equivalences occur naturally in the case of group algebras in certain reduction steps for Broue's conjecture, and we show how they can be lifted from equivalences between R ₁ and S ₁.     

Endomorphism rings of bimodules

Let \(M\) be an \(R\) - \(R\) -bimodule over a semi-prime right and left Goldie ring \(R\) . We investigate how non-singularity conditions on \(M_R\) are related to such conditions on \(_RM\) . In particular, we say an \(R\) - \(R\) -bimodule \(M\) such that \(_RM\) and \(M_R\) are non-singular has the right essentiality property if \(IM_R\) is essential in \(M_R\) for all essential right ideals \(I\) of \(R\) , and investigate several questions related to this property.     

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.