Approximations and adjoints in homotopy categories (Q431236): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 23:56, 29 June 2023
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