A ring of cohomological operators on Ext and Tor

Abstract

Let $f:R\to B$ be a surjective homomorphism of rings with kernel $I$. Gulliksen (when $I$ is generated by a regular sequence) and later Mehta (in general) showed that for any $B$-modules $M$ and $N$, ${\mathrm{Ext}}_B^{\ast }(M,N)$ has a structure of graded ${\mathrm{S}}_B^{\ast }\left(\widehat{I/I^2}\right)$-module, where $\hat{}$ denotes dual and $\mathrm{S}$ denotes symmetric algebra. This construction is extended to the case where $f$ is not necessarily surjective in a way that allows one to regard these operators from a more natural perspective.

The only changes are in the introduction and in the newly added Theorem 3.9