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

h a t {E x t}_{R}^{n} (k, k)

, defined for each

n i n m a t h b b 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

h a t {E x t}_{R}^{n} (k, k)

for an arbitrary

n i n m a t h b b Z

. Such numerical characterizations are made possible by results on the structure of

m a t h b b Z

-graded

k

-algebra carried by

h a t {E x t}_{R}^{n} (k, k)

. It is proved that in many cases this algebra is determined by the absolute cohomology algebra through a canonical homomorphism

{E x t}_{R}^{n} (k, k) o h a t {E x t}_{R}^{n} (k, k)

.

Recommendations

Cites Work

Cited In (24)

This page was built for publication: Stable cohomology over local rings