Consecutive cancellations in Tor modules over local rings

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07)

Abstract: Let

M, N

be finite modules over a Noetherian local ring

R

, and let

G

be the associated graded ring of

R

. We show that the bigraded Hilbert series of

g r (T o r^{R} (M, N))

is obtained from that of

T o r^{G} (g r (M), g r (N))

by negative consecutive cancellations, thus extending a theorem of Rossi and Sharifan.

Review text

Denote the associated graded ring of a module \(M\) over a local ring \((R,\mathfrak m, k)\) by \(\mathrm{gr}_{\mathfrak m}(M):=\bigoplus \mathfrak m^iM/ \mathfrak m^{i+1}M\). One can extend the definition by looking at descending chain \(\mathbb{M}:=\{M_i\}\) of submodules of \(M\) with \(\mathfrak m M_i\subset M_{i+1}\). The chain is called stable if eventually the equality holds. Let us denote the associated graded ring of the chain by \(\mathrm{gr}(\mathbb{M}):=\bigoplus M_i/M_{i+1}\). Let \(M\) and \(N\) be two finitely generated modules with stable chains. The main result of the paper gives a stable chain \(\mathbb{T}_i\) for \(\mathrm{Tor}^R_i(M,N)\) with the following property: The Hilbert series \(\sum_{i,j}\dim_k \mathrm{gr}(\mathbb{T}_i) _jx^iy^j\) follows from the Hilbert series \(\sum_{i,j}\dim_k (\mathrm{Tor}^{\mathrm{gr}_{\mathfrak m}(R)}_i(\mathrm{gr}(\mathbb{M}),\mathrm{gr}(\mathbb{N})) _jx^iy^j\).

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Consecutive cancellations in Tor modules over local rings

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