Stable cohomology over local rings

Abstract

The focus of this paper is on a poorly understood invariant of a commutative noetherian local ring $R$ with residue field $k$: the stable cohomology modules ${\widehat{Ext}}_R^n(k,k)$, defined for each $n\in \mathbb{Z}$ by Benson and Carlson, Mislin, and Vogel; it coincides with Tate cohomology when $R$ is Gorenstein. It is proved that important properties of $R$, such as being regular, complete intersection, or Gorenstein, are detected by the $k$-rank of ${\widehat{Ext}}_R^n(k,k)$ for an arbitrary $n\in \mathbb{Z}$. Such numerical characterizations are made possible by results on the structure of $\mathbb{Z}$-graded $k$-algebra carried by ${\widehat{Ext}}_R^n(k,k)$. It is proved that in many cases this algebra is determined by the absolute cohomology algebra through a canonical homomorphism ${Ext}_R^n(k,k)\to {\widehat{Ext}}_R^n(k,k)$.

Final version, to appear in Adv. Math. Major reorganization of the presentation. Many minor corrections