Monic representations and Gorenstein-projective modules. (Q363338)

Let \(A\) be an Artin algebra. The submodule category of \(A\) is by definition the category of monomorphisms in \(A\)-mod. The submodule category has been extensively studied by \textit{C. M. Ringel} and \textit{M. Schmidmeier} [J. Pure Appl. Algebra 205, No. 2, 412-422 (2006; Zbl 1147.16019); J. Reine Angew. Math. 614, 1-52 (2008; Zbl 1145.16005); Trans. Am. Math. Soc. 360, No. 2, 691-716 (2008; Zbl 1154.16011)]; see also \textit{D. Simson} [J. Algebra 311, No. 1, 1-30 (2007; Zbl 1123.16010)]. By \textit{D. Kussin, H. Lenzing} and \textit{H. Meltzer} [Adv. Math. 237, 194-251 (2013; Zbl 1273.14075); J. Reine Angew. Math. 685, 33-71 (2013; Zbl 1293.16008)], it is also related to the singularity category; see also \textit{X.-W. Chen} [Math. Z. 270, No. 1-2, 43-58 (2012; Zbl 1244.18004)]. It turns out that the category of the Gorenstein-projective modules is closely related to the submodule category; see \textit{Z.-W. Li} and \textit{P. Zhang} [J. Algebra 323, No. 6, 1802-1812 (2010; Zbl 1210.16011)] and \textit{B.-L. Xiong, P. Zhang}, and \textit{Y.-H. Zhang} [Forum Math. 26, No. 3, 863-912 (2014; Zbl 1319.16017)]. The second author of this paper under review generalized the notion of submodule categories to monomorphism categories which are ``submodule categories of type \(A_n\)'' while submodule categories are monomorphism categories of type \(A_2\); see \textit{P. Zhang} [J. Algebra 339, No. 1, 181-202 (2011; Zbl 1275.16013)]. It is an interesting question how to define monic representations of type \(Q\) for \(Q\) an arbitrary acyclic quiver. This paper answers this question successfully. Let \(Q=(Q_0,Q_1,s,t)\) be a finite acyclic quiver, where \(Q_0\) (resp. \(Q_1\)) is the set of vertices (resp. arrows), \(s,e\colon Q_1\to Q_0\) gives the source and the target of an arrow. Let \(A\) be a finite dimensional algebra. For a representation \(X=(X_i,X_\alpha)_{i\in Q_0,\;\alpha\in Q_1}\) of \(Q\) over \(A\) (that is, \(X_i\) are (finitely generated) left \(A\)-modules and \(X_\alpha\) are \(A\)-linear maps, or equivalently a module over \(kQ\otimes A\)), it is a monic representation, if for each \(\alpha\in Q_1\), the map \(X_\alpha\colon X_{s(\alpha)}\to X_{e(\alpha)}\) is injective, and for each \(i\in Q_0\), there holds \[ (X_\alpha)_{e(\alpha)=i}\colon\bigoplus_{e(\alpha)=i}X_{s(\alpha)}\to X_i \] is injective. The authors' initial motivation is in fact to describe Gorenstein projective modules over the tensor algebra \(kQ\otimes A\). They find interesting connections between Gorenstein projective modules and monic representations. More precisely, they show that the class of Gorenstein projective modules are exactly monic representations \(X=(X_i, X_\alpha)_{i\in Q_0,\;\alpha\in Q_1}\) such that for all \(i\in Q_0\), \(X_i\) and \(X_i/\bigoplus_{e(\alpha)=i}X_{s(\alpha)}\) are Gorenstein projective \(A\)-modules. The proof use an induction from a source and a result about Gorenstein projective modules over triangular matrix algebras. The authors also prove some other results such as the functorial finiteness of monic representations.