Homological duality for crossed products (Q914807)

Let \(K^{\alpha}_ tG\) be a crossed product of the group G over the field K with K-basis \(\{u_{\sigma}|\sigma\in G\}\) where \(\alpha \in H^ 2(G,K)\) and t: \(G\to Aut K\). The crossed product \(K^{\alpha}_ tG\) belongs to the family \({\mathcal A}\) if \(K_ tG\) is a crossed product with Poincaré duality. \(K_ tG\) is said to possess duality of dimension n, if there exists a right \(K_ tG\)-module C and an element \(e\in Tor_ n^{K_ tG}(C,K)\) such that the induced homomorphism by cap product \[ e\cap -: Ext^ i_{K_ tG}(K,A)\to Tor^{K_ tG}_{n-i}(C\otimes_ KA,K) \] is an isomorphism for each integer i and every left \(K_ tG\)-module A. Here K has a \(K_ tG\)-module structure given by \((xu_{\sigma})y=x\sigma (y)\), \(xu_{\sigma}\in K_ tG\), x,y\(\in K\), \(\sigma\in G\), where \(\sigma\) (y) is the t(\(\sigma\))-action on y. The crossed product \(K_ tG\) has Poincaré duality if there exist a homomorphism sgn: \(G\to Z_ 2\), the dualizing module C is isomorphic to K as a K-module and, with the identification \(C\equiv K\), the right action of \(K_ tG\) on C is defined by \(y(xu_{\sigma})=(sgn \sigma)\sigma^{-1}(xy).\) Let G be a poly-\(\{\) cyclic or finite\(\}\) group of rank n and gl.dim \(K_ tG<n\). The author proves that gl.dim \(K^{\alpha}_ tG=n\) if and only if there exists a \(K^{\alpha}_ tG\)-module M of finite dimension over K. He generalizes this result to crossed products which belong to the family \({\mathcal A}\). The main result is the following Theorem: If \(K^{\alpha}_ tG\in {\mathcal A}\) and gl.dim \(K^{\alpha}_ tG=n\) then \(Tor_ n^{K^{\alpha}_ tG}(A,B)\neq 0\) for \(K^{\alpha}_ tG\)- modules A and B if and only if A and B contain non-trivial \(K^{\alpha}_ tG\)-modules \(V_ A\) and \(V_ B\), respectively, such that \(\dim_ KV_ A=\dim_ KV_ B<\infty\). Moreover, if C denotes the dualizing module, then \(C\otimes_ KV_ A\cong Hom_ K(V_ B,K)\) as right \(K^{\alpha}_ tG\)-modules.