Abelian model structures on comma categories (Q6608879)

In this paper, the author works on the question, whether the Hovey triples (or, equivalently, abelian model structures) shared by local abelian categories \(\mathbf{A}\) and \(\mathbf{B}\) can be amalgamated into a global Hovey triple in \((T \downarrow \mathbf{B})\), where \(\mathbf{A}\) and \(\mathbf{B}\) are bicomplete abelian categories, which both have enough projectives and injectives and \(T : \mathbf{A} \rightarrow \mathbf{B}\) be a right exact functor. The author proves that the hereditary Hovey triples \((\mathbf{C}, \mathbf{W}, \mathbf{F})\) and \((\mathbf{C'}, \mathbf{W'}, \mathbf{F'})\) on \(\mathbf{A}\) and \(\mathbf{B}\), respectively, induce a hereditary Hovey triple on \((T \downarrow \mathbf{B})\) under certain mild conditions. As an application of the above mentioned result, he gives an explicit description of a subcategory that consists of all trivial objects of the Gorenstein flat model structure on the category of modules over a triangular matrix ring. Finally, he proves the following result: Let \(A\) and \(B\) be two rings and \(U\) a \(B\)-\(A\)-bimodule; let \(\Lambda = \begin{pmatrix} A& 0\\U&B \end{pmatrix}\) denote the associated triangular matrix ring. If \(U_A\) has a finite flat or injective dimension and \(_{B}U\) has a finite flat dimension, then the equality \(PGF(\Lambda)^\perp = \Psi^{ PGF(A)^\perp} _{PGF(B)^\perp}\) is true.