The bicategories of corings.

DOI10.1016/J.JPAA.2005.07.013MaRDI QIDQ2369024zbMATH OpenOpenAlexFDO

Authors Tomasz Brzeziński, Laiachi El Kaoutit, José Gómez-Torrecillas

Publication date 28 April 2006

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0408042

zbMATH Keywords

bicategories corings, separability coverings push-out functors

Mathematics Subject Classification ID

Module categories in associative algebras (16D90)

Abstract: 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.

Review text

The basic example of a bicategory is Bim, with rings as \(0\)-cells, bimodules as \(1\)-cells and bimodule maps as \(2\)-cells. In the present paper, a bicategory with corings as \(0\)-cells is studied. Actually, this bicategory can be obtained starting from Bim, using a construction due to \textit{S. Lack} and \textit{R. Street} [J. Pure Appl. Algebra 175, No. 1-3, 243-265 (2002; Zbl 1019.18002)]. The explicit description of this category \(\text{REM}(\text{Bim})\) is given in Section 2. \(1\)-cells are represented by bimodules together with a certain structure maps. \(\text{fREM}(\text{Bim})\) is the category with the same \(0\)-cells as \(\text{REM}(\text{Bim})\), but where the \(1\)-cells are required to be finitely generated and projective on the right side. Left handed versions \(\text{LEM}(\text{Bim})\) and \(\text{fLEM}(\text{Bim})\) are given, and a duality result asserts that there is a duality between the hom-categories of \(\text{fLEM}(\text{Bim})\) and \(\text{fREM}(\text{Bim})\). Given a \(B\)-coring \(\mathcal D\) and a \((B,A)\)-bimodule \(\Sigma\) that is finitely generated and projective as a right \(A\)-module, we can construct a new coring \(\Sigma[{\mathcal D}]=\Sigma^*\otimes_B{\mathcal D}\otimes_B\Sigma\), called a base ring extension of \(\mathcal D\) by a coring. In Section 3, it is studied how separability and Frobenius properties are reflected by such base ring extensions. In Section 4, it is shown that the \(1\)-cells in \(\text{fREM}(\text{Bim})\) can also be described as so-called module morphisms between corings \(\mathcal D\) and \(\mathcal C\). To such a module morphism, we can associate a functor \({\pmb\Sigma}_o\colon{\mathcal M}^{\mathcal D}\to{\mathcal M}^{\mathcal C}\) (the push-out functor), and this has, under appropriate purity conditions, a right adjoint \({\pmb\Sigma}^o\), called the pull-back functor. It is investigated when the push-out functor is an equivalence, leading to a generalized descent theorem.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: The bicategories of corings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369024)