Gorenstein projective bimodules via monomorphism categories and filtration categories (Q1621584)

Gorenstein projective modules over tensor products of finite dimensional algebras over a field \(k\) are studied, extending previous work on Gorenstein projectives over \(T_2\)-extensions [\textit{Z.-W. Li} and \textit{P. Zhang}, J. Algebra 323, No. 6, 1802--1812 (2010; Zbl 1210.16011)], Gorenstein projective quiver representations over dual numbers \(k[x]/(x^2)\) [\textit{C. M. Ringel} and \textit{P. Zhang}, J. Algebra 475, 327--360 (2017; Zbl 1406.16010)], and related work of [\textit{X.-H. Luo} and \textit{P. Zhang}, J. Algebra 479, 1--34 (2017; Zbl 1405.16022)], and others. Of course, all these investigations are closely related to the invariant theory of monomorphisms in an abelian category, first studied by \textit{G. Birkhoff} [Proc. Lond. Math. Soc. (2) 38, 385--401 (1934; JFM 60.0893.03)] who classifies subgroups of finite abelian groups with respect to a fixed basis. Accordingly, the recent investigations led to an intensified study of monomorphism categories, a class of exact categories which can be handled to a certain extent by Auslander-Reiten theory. In the paper under review, the authors give a new definition of the monomorphism category over a finite dimensional algebra, extending previous variants based on acyclic quivers. On the other hand, the Gorenstein projectives over a tensor product of Gorenstein algebras are represented as a category of filtrations of tensor products of Gorenstein projectives.