Resolutions for twisted tensor products (Q1741442)

The twisted tensor product \(A\otimes_\tau B\), as in [\textit{A. Čap} et al., Commun. Algebra 23, No. 12, 4701--4735 (1995; Zbl 0842.16005)], is the tensor product \(A\otimes_k B\) (of associative algebras over a commutative ring \(k\)) equipped with a ring multiplication determined by a bijective linear map \(\tau\colon B\otimes_k A\rightarrow A\otimes_k B\), satisfying certain conditions, known as twisting map. In the paper under review, \(k\) is assumed to be a field. Ore extensions, skew group algebras, Weyl algebras are among the many examples of twisted tensor products. The main goal of the paper under review is two-fold: \begin{itemize} \item[1.] Given an \(A\)-bimodule \(M\) and a \(B\)-bimodule \(N\), the authors construct a projective resolution of \(M\otimes_kN\) as bimodule over \(A\otimes_\tau B\) from an \(A\)-bimodule and a \(B\)-bimodule projective resolutions of \(M\) and \(N\), respectively, under certain compatibility conditions involving \(\tau\). \item[2.] Given a (left) \(A\)-module \(M\) and a (left) \(B\)-module \(N\), the authors construct a \(A\otimes_\tau B\)-projective resolution of \(M\otimes_k N\) knowing left \(A\) and \(B\)-projective resolutions of \(M\) and \(N\), respectively, under certain compatibility conditions involving \(\tau\). \end{itemize} In particular, the authors show that twisted product resolutions of \(A\otimes_\tau B\) as bimodule always exist. In many examples, some of the compatibility conditions can be dropped. Several resolutions in different setups arise as particular cases of these results given by the authors. Using these general constructions, the authors construct twist product resolutions for bimodules and modules over the particular case of Ore extensions by regarding them as certain twisted tensor products giving special emphasis to iterated Ore extensions.