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.     

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.     

Quasi-duality for the rings of generalized power series *

Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered commutative monoid which is also artinian. For any bimodule _AM_B , we construct a bimodule _A[[S]]M[S]_B[[S]] and prove that _AM_B defines a quasi-duality if and only if the bimodule _A[[S]]M[S]_B[[S]] defines a quasi-duality. As a corollary, it is shown that if a ring A has a quasi-duality then the ring A[[S]] of generalized power series over A has a quasi-duality.     

Principal homogeneous spaces for arbitrary Hopf algebras

LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:A ⊗ _B A →A ⊗H the canonical map. ThenA is a faithfully flat (as left or rightB-module) Hopf Galois extension iffA is coflat asH-comodule and can is surjective (Theorem I). This generalizes results on affine quotients of affine schemes by Oberst and Cline, Parshall and Scott to the case of non-commutative algebras. The dual of Theorem I holds and generalizes results of Gabriel on quotients of formal schemes to the case of non-cocommutative coalgebras (Theorem II). Furthermore, in the dual situation, a normal basis theorem is proved (Theorem III) generalizing results of Oberst-Schneider, Radford and Takeuchi.     

Morita Duality for the Rings of Generalized Power Series

Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. For any bimodule _A M _B , we show that the bimodule _{[[ AS,≤ ]]}[M ^{S ,≤}]_{[[ BS, ≤ ]]} defines a Morita duality if and only if _A M _B defines a Morita duality and A is left noetherian, B is right noetherian. As a corollary, it is shown that the ring [[A ^{S ,≤}]] of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _A M _B such that B is right noetherian. Received April 13, 1999, Accepted December 12, 1999     

Duality and normal parts of operator modules

For an operator bimodule X over von Neumann algebras A⊆B(H) and B⊆B(K), the space of all completely bounded A,B-bimodule maps from X into B(K,H), is the bimodule dual of X. Basic duality theory is developed with a particular attention to the Haagerup tensor product over von Neumann algebras. To X a normal operator bimodule X_n is associated so that completely bounded A,B-bimodule maps from X into normal operator bimodules factorize uniquely through X_n. A construction of X_n in terms of biduals of X, A and B is presented. Various operator bimodule structures are considered on a Banach bimodule admitting a normal such structure.     

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.     

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

Comatrix Corings and Galois Comodules over Firm Rings

We construct comatrix corings on bimodules without finiteness conditions by using firm rings. This leads to the formulion of a notion of Galois coring which plays a key role in the statement of a Noncommutative Faithfully Flat Descent for comodules which generalizes previous versions. In particular, infinite comatrix corings fit in our general theory. Presented by A. Verschoren.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Quantum homogeneous spaces with faithfully flat module structures

LetA be a Hopf algebra with bijective antipode andB⊃A a right coideal subalgebra ofA. Formally, the inclusionB⊃A defines a quotient mapG→X whereG is a quantum group andX a right homogeneousG-space. From an algebraic point of view theG-spaceX only has good properties ifA is left (or right) faithfully flat as a module overB. In the last few years many interesting examples of quantumG-spaces for concrete quantum groupsG have been constructured by Podleś, Noumi, Dijkhuizen and others (as analogs of classical compact symmetric spaces). In these examplesB consists of infinitesimal invariants of the function algebraA of the quantum group. As a consequence of a general theorem we show that in all these casesA as a left or rightB-module is faithfully flat. Moreover, the coalgebraA/AB ⁺ is cosemisimple.     

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.     

Going up along absolutely flat morphisms

Flat morphisms from A to B (commutative and unitary rings) such that the multiplication B?_AB→B is flat, have many of the properties of ind-etale morphisms. They don't raise weak dimension. As a consequence they preserve integral closure. In the local case they are the extensions of A that have the same strict henselian extensions as A.     

The Nodal Cubic is a Quantum Homogeneous Space

The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring B can be embedded as a right coideal subalgebra into a Hopf algebra A such that A is faithfully flat as a B-module. In the present article such a Hopf algebra A is constructed for the coordinate ring B of the nodal cubic, thus further motivating the question which affine varieties are quantum homogeneous spaces.     

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.     

Steinitz classes for Galois extensions of Dedekind rings

Galois extensions of commutative rings have been studied by Chase, Harrison, Rosenberg and others. Suppose B|A is such an extension with (finite) group G where both A and B are Dedekind rings. Then the Steinitz class ^s B|A is an element in the class group Cl(A) which vanishes if and only if B is a free A-module. It is shown that ^s B|A = 1 except possibly when the characteristic char(A) ≠ 2 and G has a cyclic Sylow 2-subgroup ≠ 1. In the exceptional case there is a unique (normal) subgroup H of G with index 2 and ^s B|A = ^s C|A where C = B ^H is the fixed ring. The remaining quadratic case is known and easily treated.     

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.