Approximations and adjoints in homotopy categories (Q431236): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The main result of the paper is the following criterion for the existence of right approximations in cocomplete additive categories. Let \({\mathcal A}\) be a locally presentable additive category, and let \({\mathcal B}\) be a full additive subcategory, closed under filtered colimits. Suppose there exists a regular cardinal \(\alpha\) such that \({\mathcal B}\) is closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients. Then each object in \({\mathcal A}\) admits a right \({\mathcal B}\)-approximation. This is a generalisation of a result due to \textit{R. El Bashir} [Algebr. Represent. Theory 9, No. 5, 423--430 (2006; Zbl 1114.16002)], and many criteria for the existence of right approximations can be derived from this criterion. The main theorem is used to construct adjoint of functors between homotopy categories. These results read as follows. Assume that \(B\) is also closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients for some regular cardinal \(\alpha\); then the inclusion \({\mathbf K}({\mathcal B}) \to {\mathbf K}({\mathcal A})\) admits a right adjoint. Assume that exact sequences are closed under filtered colimits; then the canonical functor \({\mathbf K}({\mathcal A}) \to {\mathbf D}({\mathcal A})\) admits a fully faithful right adjoint; in particular, the category \({\mathbf D}({\mathcal A})\) has small Hom-sets. Finally, several applications to pure derived categories are given. | |||
Property / review text: The main result of the paper is the following criterion for the existence of right approximations in cocomplete additive categories. Let \({\mathcal A}\) be a locally presentable additive category, and let \({\mathcal B}\) be a full additive subcategory, closed under filtered colimits. Suppose there exists a regular cardinal \(\alpha\) such that \({\mathcal B}\) is closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients. Then each object in \({\mathcal A}\) admits a right \({\mathcal B}\)-approximation. This is a generalisation of a result due to \textit{R. El Bashir} [Algebr. Represent. Theory 9, No. 5, 423--430 (2006; Zbl 1114.16002)], and many criteria for the existence of right approximations can be derived from this criterion. The main theorem is used to construct adjoint of functors between homotopy categories. These results read as follows. Assume that \(B\) is also closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients for some regular cardinal \(\alpha\); then the inclusion \({\mathbf K}({\mathcal B}) \to {\mathbf K}({\mathcal A})\) admits a right adjoint. Assume that exact sequences are closed under filtered colimits; then the canonical functor \({\mathbf K}({\mathcal A}) \to {\mathbf D}({\mathcal A})\) admits a fully faithful right adjoint; in particular, the category \({\mathbf D}({\mathcal A})\) has small Hom-sets. Finally, several applications to pure derived categories are given. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrei Marcus / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D90 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6050576 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
additive categories | |||
Property / zbMATH Keywords: additive categories / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
approximation | |||
Property / zbMATH Keywords: approximation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
derived category | |||
Property / zbMATH Keywords: derived category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homotopy category | |||
Property / zbMATH Keywords: homotopy category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
purity, adjoint functor | |||
Property / zbMATH Keywords: purity, adjoint functor / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962936207 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1005.0209 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Pure Quotients and Pure Subobjects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Localization in Categories of Complexes and Unbounded Resolutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Preprojective modules over Artin algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheafifiable homotopy model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999421 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ALL MODULES HAVE FLAT COVERS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Brown representability does not come for free / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quillen model structures for relative homological algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally finitely presented additive categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Covers and directed colimits. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injective and flat covers, envelopes and resolvents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative homological algebra in the category of quasi-coherent sheaves. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Brown representability theorem for triangulated categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5580926 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Acyclicity versus total acyclicity for complexes over noetherian rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homotopy category of complexes of projective modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deriving DG categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4893212 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5542164 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exactly definable categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: the stable derived category of a noetherian scheme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On derived equivalences of lines, rectangles and triangles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Accessible Categories: The Foundations of Categorical Model Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The derived category of an exact category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangulated Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homotopy category of flat modules, and Grothendieck duality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some adjoints in homotopy categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3632824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher algebraic K-theory: I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings characterized by (pre)envelopes and (pre)covers of their modules<sup>∗</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Étale chain complexes and Deligne-Lusztig curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Construction of Relatively Pure Submodules / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:28, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximations and adjoints in homotopy categories |
scientific article |
Statements
Approximations and adjoints in homotopy categories (English)
0 references
26 June 2012
0 references
The main result of the paper is the following criterion for the existence of right approximations in cocomplete additive categories. Let \({\mathcal A}\) be a locally presentable additive category, and let \({\mathcal B}\) be a full additive subcategory, closed under filtered colimits. Suppose there exists a regular cardinal \(\alpha\) such that \({\mathcal B}\) is closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients. Then each object in \({\mathcal A}\) admits a right \({\mathcal B}\)-approximation. This is a generalisation of a result due to \textit{R. El Bashir} [Algebr. Represent. Theory 9, No. 5, 423--430 (2006; Zbl 1114.16002)], and many criteria for the existence of right approximations can be derived from this criterion. The main theorem is used to construct adjoint of functors between homotopy categories. These results read as follows. Assume that \(B\) is also closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients for some regular cardinal \(\alpha\); then the inclusion \({\mathbf K}({\mathcal B}) \to {\mathbf K}({\mathcal A})\) admits a right adjoint. Assume that exact sequences are closed under filtered colimits; then the canonical functor \({\mathbf K}({\mathcal A}) \to {\mathbf D}({\mathcal A})\) admits a fully faithful right adjoint; in particular, the category \({\mathbf D}({\mathcal A})\) has small Hom-sets. Finally, several applications to pure derived categories are given.
0 references
additive categories
0 references
approximation
0 references
derived category
0 references
homotopy category
0 references
purity, adjoint functor
0 references