Precovers, localizations, and stable homotopy

DOI10.4310/HHA.2008.V10.N2.A13MaRDI QIDQ953478zbMATH OpenFDO

Authors Matthew Grime

Publication date 21 November 2008

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0708.2866, http://intlpress.com/hha/v10/n2/

zbMATH Keywords

conflationdeflationFrobenius categoryhomotopy approximationhomotopy categoryinflationinjective envelopelocalizing subcategoryprecoveringprojective coverpure projective dimensionpure projective objectquotient categoryquotient functorright shift functorstable homotopy categorytriangulated categoryVerdier localization

Mathematics Subject Classification ID

Abelian categories, Grothendieck categories (18E10) Localization of categories, calculus of fractions (18E35) Relative homological algebra, projective classes (category-theoretic aspects) (18G25) Homological methods in group theory (20J05) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization functors that arise naturally in the study of relative homological algebra for group algebras.

Review text

A category \(\mathcal E\) is Frobenius if it is an exact category, the classes of injective and projective objects coincide, and for all \(X\) there is a deflation (an analogue of epic) \(P(X)\to X\) and an inflation (an analogue of monic) \(X\to I(X)\), and both \(P(X)\) and \(I(X)\) are in the category of pro/injective objects. The author calls \(P(X)\) a projective cover of \(X\) and \(I(X)\) an injective hull of \(X\). For a triangulated category \(\mathcal T\) of \(\mathcal E\), the author constructs a homotopy approximation of a resolution in \(\mathcal T\) and objects \(L_i\in\mathcal T\). Given a class of objects \(\mathcal R\) in \(\mathcal E\) which is a precovering class in \(\mathcal E\), is closed under shifts in \(\mathcal T\) and such that, for every \(R\in\mathcal R\), the injective hull \(I(R)\in\mathcal R\); let \(X\) be an object in \(\mathcal E\) with finite \(\mathcal R\)-dimension, the main result then states that there is an isomorphism of the morphism sets: \(\mathcal T(R, L_0)\cong \mathcal T(R,X)\), for every \(R\in\mathcal R\). Furthermore, if it is assumed that every object in \(\mathcal T\) has finite \(\mathcal R\)-dimension and if \(\mathcal S\) denotes the smallest full localizing subcategory of \(\mathcal T\) that contains \(\mathcal R\), then the inclusion functor \(i:\mathcal S\to \mathcal T\) has a right adjoint \(i'\). The original motivation for this construction came from modular representation theory and the author gives some examples that illustrate uses of these localization theorems.

Recommendations

• STABLE LEFT AND RIGHT BOUSFIELD LOCALISATIONS
• Homological localisation of model categories
• Left Bousfield localization and Eilenberg-Moore categories
• scientific article; zbMATH DE number 4146223
• Notes on an algebraic stable homotopy category

Cited in

(2)

• scientific article; zbMATH DE number 3961925 (Why is no real title available?)
• Localization in Categories of Complexes and Unbounded Resolutions

This page was built for publication: Precovers, localizations, and stable homotopy

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