On Gorenstein flat preenvelopes of complexes. (Q361749)

The study of (pre)envelopes and (pre)covers has in recent years spread to more general settings than just that of modules. The paper under review complements this growing body of literature by studying the existence of Gorenstein flat preenvelopes for complexes over certain rings. First some characterizations of a Gorenstein flat complex over a coherent ring are found, for example, a complex \(C\) is Gorenstein flat if and only if each \(G^i\), (i.e. each term in the complex sequence) is Gorenstein flat for all \(i\in\mathbb Z\). The other characterizations all involve Tor. As a corollary, it follows that over a Noetherian ring \(R\), a complex \(G\) is Gorenstein flat in \(C(R\mathrm{-Mod})\) if and only if \(G^+\) is Gorenstein injective in \(C(\mathrm{Mod-}R)\). If \(B\) is a class of \(R\)-modules, \(B\) will always be assumed to be closed under isomorphisms and will contain 0 (since this does not cause any loss of generality in the setting of the paper). A complex \(D\) is said to be a \(dwB\) (read: degreewise-\(B\)) complex if each term \(D^i\) is in \(B\) for \(i\in\mathbb Z\). It is shown that if a class \(B\) of \(R\)-modules is enveloping (resp. preenveloping) in \(R\)-Mod, then every left bounded complex has a \(dwB\)-envelope (resp. \(dwB\)-preenvelope) which is also left bounded. This lemma is used to prove that a class \(B\) of \(R\)-modules that is closed under well ordered direct limits is preenveloping in \(R\)-Mod if and only if the class \(dwB\) is preenveloping in \(C(R\mathrm{-Mod})\). This is the main theorem of the paper and leads to some interesting corollaries: (a) If \(R\) is a commutative and Noetherian ring with a dualizing complex, then every complex of \(R\)-modules (resp. every pure injective complex) has a Gorenstein flat preenvelope (resp. Gorenstein injective precover). (b) If \(R\) is a left coherent ring and \(P\) is the class of \(FP\)-injective left \(R\)-modules, then every complex of \(R\)-modules has a \(dwP\)-preenvelope. (C) A ring \(R\) is right coherent if and only if every complex of \(R\)-modules has a \(dwF\)-preenvelope, where \(F\) is the class of flat left \(R\)-modules.