Duality and products in algebraic (co)homology theories. (Q965192): Difference between revisions

Algebraic (co)homology theories are mostly defined by using the functors Tor (resp. Ext) and so projective resolutions of the algebraic object involved. This is the case for groups, Lie, Lie-Rinehart or associative algebras. In this paper the authors extend classical results for bi- and Hopf algebras over a commutative algebra to the non-commutative case. To this aim the fundamental tool is the notion of \(\times_A\)-bialgebra: if \(A\) is a (non-commutative) algebra and \(U\) an algebra over \(A\otimes A^{op}\), just replace in the definition of the comultiplication the classical tensor product \(U\otimes_AU\) by its center over the action of \(A\otimes A^{op}\). Then one can do the same constructions as usual: functors Tor and Ext, cup, cap and Yoneda products. The main theorem now reads as follows: Let \(A\) be an algebra and \(U\) a \(\times_A\)-Hopf algebra. Suppose that as a \(U\)-module \(A\) admits a finitely generated projective resolution of finite length and there exists a \(d\geq 0\) with \(\text{Ext}^m_U(A,U)= 0\) for \(m\neq d\), then there is a canonical element \[ [\omega]\in\text{Tor}^U_d(\text{Ext}^d_U(A,U),A) \] such that, for \(m\geq 0\) and \(M\) a \(U\)-module with \(\text{Tor}^A_q(M,\text{Ext}^d_U(A,U))=0\) for \(q>0\), the map \[ .\frown[\omega]\colon\text{Ext}^m_U(A,M)\to\text{Tor}^U_{d-m}(M\otimes\text{Ext}^d_U(A,U),A) \] is an isomorphism. This is proven by means of classical homology theory and provides a unified treatment of results by Van den Bergh about Hochschild (co)homology and by Huebschmann about Lie-Rinehart (co)homology.