Homotopical Morita theory for corings

DOI10.1007/S11856-018-1727-8zbMATH Open1433.16038arXiv1411.6517OpenAlexW2962865507WikidataQ129602475 ScholiaQ129602475MaRDI QIDQ1617907FDOQ1617907

Alexander Berglund, Kathryn Hess

Publication date: 13 November 2018

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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.

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

zbMATH Keywords

Hopf algebroidsHopf-Galois extensionshomotopically Morita equivalent

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Homotopical algebra, Quillen model categories, derivators (18N40) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differential homological algebra and homogeneous spaces
• Algebras and Modules in Monoidal Model Categories
• Intrinsic Characterizations of Some Additive Functors
• Facets of descent. III: Monadic descent for rings and algebras
• Comodules and Landweber exact homology theories
• Koszul Resolutions
• Categorical homotopy theory
• Galois extensions of structured ring spectra. Stably dualizable groups
• Morita theory for Hopf algebroids and presheaves of groupoids
• Homotopy Theory of C*-Algebras
• Coalgebraic models for combinatorial model categories
• The homotopy theory of coalgebras over a comonad
• Six model structures for DG-modules over DGAs: model category theory in homological action.
• Reports of the Midwest Category Seminar
• Homotopic Hopf-Galois extensions: foundations and examples
• A necessary and sufficient condition for induced model structures
• Motivic homotopical Galois extensions
• Homotopic Hopf-Galois extensions revisited
• Left-Induced Model Structures and Diagram Categories

Cited In (1)

• Invariance properties of coHochschild homology

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)