Tate homology of modules of finite Gorenstein flat dimension. (Q2637766): Difference between revisions

Tate cohomology was initially defined for representations of finite groups. \textit{L. L. Avramov} and \textit{A. Martsinkovsky} [Proc. Lond. Math. Soc., III. Ser. 85, No. 2, 393-440 (2002; Zbl 1047.16002)] extended the definition, based on Tate projective resolutions so that it can work for finite modules of finite \(G\)-dimension over a Noetherian ring. Several authors have studied this theory in different Abelian categories. The theory of Tate homology has been treated by \textit{A. Iacob} [Commun. Algebra 35, No. 5, 1589-1606 (2007; Zbl 1119.16005)], \textit{L. W. Christensen} and \textit{D. A. Jorgensen} [Trans. Am. Math. Soc. 366, No. 2, 667-689 (2014; Zbl 1326.18008)]. They defined Tate homology of a module of finite Gorenstein dimension as follows. Let \(M\) be a right \(R\)-module of finite Gorenstein projective dimension, then \(M\) admits a Tate projective resolution, that is a diagram \(T@>\alpha>>P@>\gamma>>M\) of morphisms of complexes, where \(T\) is a totally acyclic complex of projective \(R\)-modules, \(\gamma\) is a projective resolution of \(M\), and \(\alpha_n\) is an isomorphism for \(n\gg 0\). Now for any \(R\)-module \(N\) and \(i\in\mathbb Z\), the Tate homology of \(M\) with coefficients in \(N\) is defined as \(\widehat{\text{Tor}}_i^R(M,N):=H_i(T\otimes_RN)\). The author develops a theory of Tate homology based on so-called Tate flat resolutions. Let \(N\) be an \(R\)-module. A Tate flat resolution of \(N\) is a totally acyclic complex \(T\) of flat \(R\)-modules such that it is compatible with a flat resolution of \(N\) for \(i\gg 0\), that is, there is an \(n\geq 0\) such that the truncated complexes \(T_{\geq n}\equiv\cdots\to T_{n+1}\to T_n\to 0\) and \(F_{\geq n}\equiv\cdots\to F_{n+1}\to F_n\to 0\) are isomorphic, where \(F@>\simeq>>N\) is a flat resolution of \(N\). Let \(R\)-module \(M\) and an \(R\)-module \(N\) admitting a Tate flat resolution \(T\), the Tate homology of \(N\) with coefficients in \(M\) is defined as \(\widehat{\text{tor}}_i^R(M,N):=H_i(M\otimes_R T)\). The author prove that \(\widehat{\text{tor}}_i^R(M,N)\cong\widehat{\text{Tor}}_i^R(M,N)\), where \(M\) is a right \(R\)-module admitting a Tate projective resolution and \(N\) is an \(R\)-module admitting a Tate flat resolution, and \(i\in\mathbb Z\). The author obtains a long exact sequence connecting \(\widehat{\text{tor}}_i^R(M,N)\), \(\widehat{\text{Tor}}_i^R(M,N)\) and \(\widehat{\text{Tor}}_i^{\mathcal{GP}_R}(M,N)\). Further, let \(R\) be a right coherent ring and \(N\) an \(R\)-module admitting a Tate flat resolution, and let \(M\) be a right \(R\)-module admitting a Tate flat resolution \(T_M\), than for any \(i\in\mathbb{Z}\), \(\widehat{\text{tor}}_i^R(M,N)\cong H_i(T_M\otimes_R N)\). Lastly, let \(R\) be a right coherent ring. If \(M\) is a right \(R\)-module admitting a Tate flat resolution and \(N\) is an \(R\)-module of finite Gorenstein flat dimension, then for any \(i\geq 1\), we have \(\widehat{\text{tor}}_i^R(M,N)\cong H_{i+1}(M\otimes_R\text{Cone}(\overline{\text{id}_{C(N)}}))\), where \(C(N)\) is a cotorsion envelope of \(N\).