On the cohomology of an algebra morphism (Q1077510)

The authors study the cohomological aspects of an algebra morphism. A diagram of \(k\)-algebras over a partially ordered set \(I\) is a contravariant functor \({\mathfrak A}: I\to C_ k\), the category of \(k\)-algebras i.e. a presheaf of algebras. In fact an \({\mathfrak A}\)-bimodule is a presheaf of bimodules. The category of \({\mathfrak A}\)-bimodules is Abelian as such has Yoneda cohomology theory \(\mathrm{Ext}^*(\;,\;)\) which is universal in each variable since the category has enough injectives, projectives. The authors provide a natural generalization of (Hochschild) cochains and show \(H^*({\mathfrak A},\;)\simeq \mathrm{Ext}^*_{{\mathfrak A}}({\mathfrak A},\;)\). Associated to each diagram \({\mathfrak A}\) and \({\mathfrak A}\)-bimodule \({\mathfrak M}\), there is an algebra \({\mathfrak A}\) and \({\mathfrak A}!\)-bimodule \({\mathfrak M}\). The authors exhibit the natural transformation \[ \omega^*: \mathrm{Ext}^*_{{\mathfrak A}}({\mathfrak N},{\mathfrak M})\to \mathrm{Ext}^*_{{\mathfrak A}}({\mathfrak N},{\mathfrak M}). \] They also investigate under the title of Cohomology Comparison Theorem (CCT), when \(\omega^*\) is an equivalence. This \(\omega^*\) yields also a morphism of Hochschild cohomologies \(H^*({\mathfrak A},{\mathfrak M})\to H^*({\mathfrak A},{\mathfrak M})\) by a cochain map \(\tau^*.\) The authors provide a generalization of the CCT by looking at diagrams and bimodules over any category \(\mathcal C\) and their Hochschild and Yoneda cohomologies. In this paper the authors further generalize the Hochschild cochain complex for a \(k\)-algebra to give one for a \(k\)-algebra morphism \(\phi: B\to A\), showing how to carry over the standard results of cohomology theory. They construct the ring \(\phi\) and the cochain map \(\tau^*\) and show \(\tau^*\) to be a cohomology isomorphism. Finally they provide a full CCT in the case of a morphism. They study relative Yoneda cohomology by allowable exact sequences and further details of relative homological algebra by studying notions of relative projectives, injectives, Hochschild cochain complexes, singular extensions etc. The paper is beautifully presented.