Bockstein cohomology of associated graded rings

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Abstract: Let

(A, m a t h f r a k m)

be a Cohen-Macaulay local ring of dimension

d

and let

I

be an

m a t h f r a k m

-primary ideal. Let

G

be the associated graded ring of

A

wrt

I

and let

R = A [I t, t^{- 1}]

be the extended Rees ring of

A

with respect to

I

. Notice

t^{- 1}

is a non-zero divisor on

R

and

R / t^{- 1} R = G

. So we have extit{Bockstein operators}

for

i g e q 0

. Since

we have extit{Bockstein cohomology} modules

B H^{i} (G)

for

i = 0, l d o t s, d

. In this paper we show that certain natural conditions on

I

implies vanishing of some Bockstein cohomology modules.

Review text

Let $(A, m)$ be a Cohen-Macaulay local ring of dimension $d$ and let $I$ be an $m$-primary ideal. Let $G$ be the associated graded ring of $A$ with respect to $I$ and let $R = A[It,t^{-1}]$ be the extended Rees ring of $A$ with respect to $I$. Notice $t^{-1}$ is a nonzero divisor on $R$ and $R/t^{-1}R = G$. So, we have Bockstein operators $\beta^i : H^i_{ G_+} (G)(-1)\to H^{i+1}_{G_+}(G)$ for $i \geq 0$. Since $\beta^{i+1} (+1)\circ \beta^i = 0$, we have Bockstein cohomology modules $BH^i(G)$ for $i = 0,\dots,d$. \par The author introduced the notion of Bockstein cohomology and then discussed some of its properties. Some properties of the $R(I)$-module $L^I (M) = \bigoplus_{n \ge 0} M/I^{n+1}M$ are discussed which are needed for this paper. This module is used to reconstruct the Bockstein operators. \par A condition which characterizes when $BH^0(G_I (M)) = 0$ is given. Also, the effect on Bockstein operators modulo an element $x^*$ which is $G_I (M)$-regular is discussed. Finally, a version of Sally descent for Bockstein cohomology modules is proved.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Bockstein cohomology of associated graded rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2000809)