Verdier quotients of homotopy categories of rings and Gorenstein-projective precovers

TL;DR

This paper investigates the structure of homotopy categories of rings, establishing conditions under which Verdier quotients have small Hom-sets, leading to the existence of Gorenstein-projective and totally acyclic precovers.

Contribution

It proves that if the homotopy category has enough Mor- K-injective objects, then the Verdier quotient has small Hom-sets, enabling the construction of Gorenstein-projective precovers.

Findings

Verdier quotient has small Hom-sets under certain conditions

Existence of Gorenstein-projective precovers in module categories

Conditions for totally acyclic precovers in chain complexes

Abstract

Let $R$ be a ring, $\textrm{Proj}$ be the class of all projective right $R$-modules, $\mathcal K$ be the full subcategory of the homotopy category $\mathbf K(\textrm{Proj})$ whose class of objects consists of all totally acyclic complexes, and $\textrm{Mor}_{\mathcal K}$ be the class of all morphisms in $\mathbf K(\textrm{Proj})$ whose cones belong to $\mathcal K$. We prove that if $\mathbf K(\textrm{Proj})$ has enough $\textrm{Mor}_{\mathcal K}$-injective objects, then the Verdier quotient $\mathbf K(\textrm{Proj})/\mathcal K$ has small Hom-sets, and this last condition implies the existence of Gorenstein-projective precovers in $\textrm{Mod-}R$ and of totally acyclic precovers in $\mathbf C(\textrm{Mod-}R)$.