Gorenstein-projective modules over \(T_{m,n}(A)\). (Q545401): Difference between revisions

Let \(A\) be an Artin algebra and let \(1\leq m\leq n\) be integers. Denote by \(T_{m,n}(A)\) the \(2\times 2\) upper triangular (block) matrix ring whose upper left corner is the ring \(T_m(A)\) of upper triangular \(m\times m\) matrices with entries in \(A\), whose lower right corner is the ring \(AE\) of diagonal \((n-m)\times (n-m)\) matrices with entries in \(A\), and whose upper right corner is the \(T_m(A)\)-\(AE\)-bimodule of \(m\times (n-m)\) matrices with entries in \(A\). This paper gives a description of the Gorenstein projective modules over \(T_{m,n}(A)\) in terms of the Gorenstein projective modules over \(A\). More precisely, it is proved that \(T_{m,n}(A)\) is a Gorenstein algebra if and only if \(A\) is a Gorenstein algebra. Furthermore, it is shown that a left \(T_{m,n}(A)\)-module corresponds to two families of homomorphisms of left \(A\)-modules, namely \(\varphi_i\colon X_i\to X_{n-m+1}\) for \(1\leq i\leq n-m\) and \(\varphi_j\colon X_j\to X_{j+1}\) for \(n-m+1\leq j\leq n-1\), and that such a module is Gorenstein projective if and only if the following conditions hold: (1) Every \(\varphi_i\) (\(1\leq i\leq n\)) is a monomorphism; (2) Every \(A\)-module \(X_i\) (\(1\leq i\leq n\)) and \(\mathrm{Coker\,}\varphi_i\) (\(1\leq i\leq n-1\)) is Gorenstein projective; and (3) For every \(2\leq k\leq n-m\) the sum \(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m}\) is direct and the \(A\)-module \(X_{n-m+1}/(\mathrm{Im\,}\varphi_k+\cdots+\mathrm{Im\,}\varphi_{n-m})\) is Gorenstein projective.