Stable cohomology is a generalization of Tate cohomology to associative rings, first defined by Pierre Vogel. For a commutative local ring $R$ with residue field $k$, stable cohomology modules $\widehat{ \mathrm{ Ext}}{ \vphantom E}^{ n}_R\;(k,k)$, defined for $n\in\mathbb{ Z}$, have been studied by Avramov and Veliche. Stable cohomology carries a structure of $\mathbb{ Z}$-graded $k$-algebra. One of the main goals of this paper is to prove that, for a class of Gorenstein rings, this algebra is a trivial extension of absolute cohomology $\mathrm{ Ext}_R(k,k)$ and a shift of $\mathrm{ Hom}_k(\mathrm{ Ext}_R(k,k),k)$. We use this information to characterize the rings $R$ for which stable cohomology is graded-commutative. Stable cohomology is connected through an exact sequence to bounded cohomology. We use this connection to understand the algebra structure of $\widehat{ \mathrm{ Ext}}_R(k,k)$ by investigating the structure of bounded cohomology $\overline{ \mathrm{ Ext}}_R(k,k)$ as a graded $\mathrm{ Ext}_R(k,k)$-bimodule.
Categories: math.AC
