Gorenstein defect categories of triangular matrix algebras (Q524487)

The singularity category \(D_{\text{sing}}(A)\) of an associative algebra is defined to be the quotient of \(D(A)\) by the subcategory of perfect complexes [\textit{R.-O. Buchweitz}, Maximal Cohen-Macaulay modules and Tate-cohomology over Gorenstein rings. Hannover: University of Hannover, unpublished manuscript, \url{http://hdl.handle.net/1807/16682} (1987)]; it recaptures the finiteness of \(A\) in the sense that \(A\) has finite global dimension iff \(D_{\text{sing}}(A)\cong 0\). The category of Gorenstein projectives embeds into \(D_{\text{sing}}(A)\) [loc. cit.] and the quotient category is defined to be the Gorenstein defect category of \(A\) [\textit{P. A. Bergh} et al., Q. J. Math. 66, No. 2, 459--471 (2015; Zbl 1327.13041)]. Several inputs [\textit{X.-W. Chen}, Algebr. Represent. Theory 12, No. 2--5, 181--191 (2009; Zbl 1179.18004); Bull. Lond. Math. Soc. 44, No. 2, 271--284 (2012; Zbl 1244.18007); ``The singularity category of a quadratic monomial algebra'', Preprint, \url{arXiv:1502.02094}] [\textit{C. M. Ringel}, J. Algebra 385, 241--261 (2013; Zbl 1341.16010); \textit{M. Kalck}, Bull. Lond. Math. Soc. 47, No. 1, 65--74 (2015; Zbl 1323.16012); \textit{X. Chen} et al., Algebr. Represent. Theory 18, No. 2, 531--554 (2015; Zbl 1341.16011); ``The Gorenstein-projective modules over a monomial algebra'' Preprint, \url{arXiv:1501.02978}] have bee given towards an explicit determination of these categories in special cases or for specific classes of algebras. The present paper mixes the fruitful approach of [\textit{X.-W. Chen}, Algebr. Represent. Theory 12, No. 2--5, 181--191 (2009; Zbl 1179.18004); \textit{B.-L. Xiong} and \textit{P. Zhang}, J. Algebra Appl. 11, No. 4, Article ID 1250066, 14 p. (2012; Zbl 1261.16018)] that gives necessary and sufficient conditions for a triangular matrix algebra \(\Lambda\) to be Gorenstein, and the techniques of recollements of triangulated categories: the bridge between these two techniques is the classical result that proj-finite matrix algebras possess a recollement [\textit{Q. Chen} and \textit{Y. Lin}, Sci. China, Ser. A 46, No. 4, 530--537 (2003; Zbl 1215.18014)] relative to \(D_{\text{sing}}(A)\) and \(D_{\text{sing}}(B)\). Mimicking a result of Zhang the author proved in a previous paper [\textit{P. Liu} and \textit{M. Lu}, Commun. Algebra 43, No. 6, 2443--2456 (2015; Zbl 1330.18016)] that there exists a recollement of the singularity categories of \(A,B\) assuming both are artinian rings and \({}_AM_B\) is two-sided proj-finite. The present paper applies a similar strategy to the study of the Gorenstein defect category \(D_{\text{def}}(\Lambda)\) obtaining a clear categorical explanation of the fact that the Gorenstein property for \(A\) (resp. \(B\)) induces a triangle equivalence between the defect categry of \(\Lambda\) and the defect category of \(B\) (resp. \(A\)); this is an immediate consequence of the exactness properties of left recollements (Thm 3.6). The left recollement of Thm. 3.6 can in fact be promoted to a full recollement provided additional proj-finiteness assumptions are satisfied by \(M\) or by all hom-modules \(\hom(M,P)\) for \(P\) an indecomposable projective \(A\)-module. ``Splitting'' theorems where the singularity/defect categories of a triangular matrix algebra \(\Lambda\) are triangle equivalent to disjoint unions of singularity/defect categories of \(A,B\) are investigated in the case \(A,B\) arise as the path \(K\)-algebra (\(K\) a field) of suitable quivers called ``simple gluing quivers''.