Abstract: A coring (A,C) consists of an algebra A 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 in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of when two algebras are homotopically Morita equivalent. We discuss this special case in the first part of the paper, extending previously known results. To approach the general question, we introduce the notion of a 'braided bimodule' and show that adjunctions between A-Mod and B-Mod that lift to adjunctions between (A,C)-Comod and (B,D)-Comod correspond precisely to braided bimodules between (A,C) and (B,D). We then give criteria, in terms of homotopic descent, for when a braided bimodule induces a Quillen equivalence. In particular, we obtain criteria for when a morphism of corings induces a Quillen equivalence, providing a homotopic generalization of results by Hovey and Strickland on Morita equivalences of Hopf algebroids. To illustrate the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.
Recommendations
Cites work
- scientific article; zbMATH DE number 3163808 (Why is no real title available?)
- scientific article; zbMATH DE number 3984103 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3598617 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 1993749 (Why is no real title available?)
- scientific article; zbMATH DE number 1510507 (Why is no real title available?)
- scientific article; zbMATH DE number 3287761 (Why is no real title available?)
- scientific article; zbMATH DE number 2248151 (Why is no real title available?)
- A necessary and sufficient condition for induced model structures
- Algebras and Modules in Monoidal Model Categories
- Categorical homotopy theory
- Coalgebraic models for combinatorial model categories
- Comodules and Landweber exact homology theories
- Differential homological algebra and homogeneous spaces
- Facets of descent. III: Monadic descent for rings and algebras
- Galois extensions of structured ring spectra. Stably dualizable groups
- Homotopic Hopf-Galois extensions revisited
- Homotopic Hopf-Galois extensions: foundations and examples
- Homotopy theory of \(C^*\)-algebras
- Intrinsic Characterizations of Some Additive Functors
- Koszul Resolutions
- Left-induced model structures and diagram categories
- Morita theory for Hopf algebroids and presheaves of groupoids
- Motivic homotopical Galois extensions
- Reports of the Midwest Category Seminar
- Six model structures for DG-modules over DGAs: model category theory in homological action.
- The homotopy theory of coalgebras over a comonad
This page was built for publication: Homotopical Morita theory for corings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1617907)
