Homological independence of infinite syzygies (Q2154254): Difference between revisions

Let \(R\) be an associative unital ring. A differential right \(R\)-module is a pair \((X,\partial_X)\), where \(X\) is a \(\mathbb Z\)-graded right \(R\)-module and \(\partial_X:X\to X\) is a square zero graded linear endomorphism of \(X\) of degree \(-1\). Given a differential right (resp. left) \(R\)-module \((X,\partial_X)\) (resp. \((Y,\partial_Y)\)) such that both differential modules are acyclic, one of the differential modules is flat and \(\mathrm{Tor}_1^R(B_X,B_Y)=0\) (where \(B_X= \mathrm{Im}\, \partial_X\)), then the differential module \(X\otimes Y\) is acyclic, and there is a short exact sequence of graded abelian groups \[ 0\to B_X\otimes B_Y\to B_{X\otimes Y}\to B_X\otimes B_Y\to 0. \] A reformulation of this result for chain complexes is given. In Section 2, it is shown that under certain homological conditions, the tensor product of two syzygies of acyclic complexes of flat modules is a syzygy of an acyclic complex of flat modules. Next, similar problems are studied for the case of Hom complex of two acyclic complexes of injective or projectives.