Flat covers of complexes. (English) Zbl 0931.13009
Let \(\mathcal C\) be the abelian category of complexes of left \(R\)-modules. The complex \(F \in \mathcal C\) is said to be flat if it is a direct limit of finitely generated projective complexes. Some characterizations and properties of flat complexes are investigated in section 2. If \(\mathcal A \subseteq \mathcal C\) is a class of complexes, then a morphism \(\varphi:E\to X\), \(E \in \mathcal A\), is called an \(\mathcal A\)-precover of \(X\), if for each morphism \(\varphi' :E'\to X\), \(E' \in \mathcal A\), there exists a morphism \(\psi : E' \to E\) such that \(\varphi \psi = \varphi'\). Morever, \(\varphi\) is an \(\mathcal A\)-cover of \(X\) whenever every endomorphism \(\psi\) of \(E\) with \(\varphi\psi = \varphi\) is an automorphism of \(E\). Basic properties of flat precovers are presented in the part 3. Recall that a complex \(F\) is called \(DG\)-flat if all its members \(F^n\) are flat \(R\)-modules. In the last two sections the existence of flat and DG-flat covers of complexes over a commutative noetherian ring of finite Krull dimension is proved (theorem 4.6 and theorem 5.4.).
Reviewer: Ladislav Bican (Praha)
MSC:
13D25 | Complexes (MSC2000) |
13C11 | Injective and flat modules and ideals in commutative rings |
18E10 | Abelian categories, Grothendieck categories |
18G05 | Projectives and injectives (category-theoretic aspects) |
References:
[1] | Avramov, L.; Foxby, H. B., Homological dimensions of unbounded complexes, J. Pure Appl. Algebra, 71, 129-155 (1991) · Zbl 0737.16002 |
[2] | L. Avramov, H. B. Foxby, S. Halperin, Differential graded homological algebras; L. Avramov, H. B. Foxby, S. Halperin, Differential graded homological algebras |
[3] | Dold, A., Zur Homotopietheorie der Kettenkomplexe, Math. Ann., 140, 278-298 (1960) · Zbl 0093.36903 |
[4] | Enochs, E., Injective and flat covers, envelopes and resolvents, Israel J. Math., 39, 189-209 (1981) · Zbl 0464.16019 |
[5] | Enochs, E.; Garcı́a Rozas, J. R., Gorenstein injective and projective complexes, Comm. Algebra, 26, 1657-1674 (1998) · Zbl 0908.18007 |
[6] | Enochs, E.; Jenda, O.; Xu, J., Orthogonality in the category of complexes, Math. J. Okayama Univ., 38, 1-22 (1997) |
[7] | Enochs, E.; Xu, J., Gorenstein, flat covers of modules over Gorenstein rings, J. Algebra, 181, 288-313 (1996) · Zbl 0847.16003 |
[8] | Foxby, H.-B., A homological theory of complexes of modules. A homological theory of complexes of modules, Preprint Series 19 (1981), University of CopenhagenDepartment of Mathematics |
[9] | Lazard, D., Autour de la platitude, Bull. Soc. Math. France, 97, 31-128 (1969) · Zbl 0174.33301 |
[10] | Roberts, P., Homological Invariants of Modules over a Commutative Ring (1980), University of Montreal Press · Zbl 0467.13007 |
[11] | Spaltenstein, N., Resolutions of unbounded complexes, Compositio Math., 65, 121-154 (1988) · Zbl 0636.18006 |
[12] | Xu, J., Flat covers of modules, Lecture Notes in Math., 1634 (1996) · Zbl 0860.16002 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.