Flat complexes, pure periodicity and pure acyclic complexes (Q524482)

Let \(\mathcal{C}\) be a skeletally small preadditive category. Denote by \(\mathrm{Mod}\mathcal{C}=\mathrm{Add}(\mathcal{C}^{op},Ab)\) the category of unitary right \(\mathcal{C}\)-modules. A chain complex \(\mathbf{F}\) of right \(\mathcal{C}\)-modules in \(\mathrm{Mod}\mathcal{C}\) is defined to be flat, if \(\mathbf{F}\) is a flat object in the Grothendieck category \(Chcpx_\mathbf{C}\). In the paper under review, the author presents a useful characterization of flat complexes. In the main result of this paper, it is proved that a chain complex \(\mathbf{F}\) in a locally finitely presented Grothendieck category \(\mathcal{A}\) is pure acyclic if and only if any chain map \(f:\mathbf{P}\rightarrow \mathbf{F}\) from a complex \(\mathbf{P}\) of pure-projective objects in \(\mathcal{A}\) to \(\mathbf{F}\) is null-homotopic. Moreover, the author formulates the dual of this result as a conjecture. Some applications are given, too. For example, it is shown that any pure periodic object in \(\mathcal{C}\) is pure-projective. Finally, the author has proved that \(\mathcal{A}\) is pure semisimple if and only if every pure-injective object in \(\mathcal{A}\) is pure-projective.