Growth of Hilbert coefficients of syzygy modules

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Abstract: Let

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

be a complete intersection ring of dimension

d

and let

I

be an

m a t h f r a k m

-primary ideal. Let

M

be a maximal CM

A

-module. For

i = 0, 1, c d o t s, d

, let

e_{i}^{I} (M)

denote the

i^{t h}

Hilbert -coefficient of

M

with respect to

I

. We prove that for

i = 0, 1, 2

, the function

j m a p s t o e_{i}^{I} (S y z_{j}^{A} (M))

is of quasi-polynomial type with period

2

. Let

G_{I} (M)

be the associated graded module of

M

with respect to

I

. If

G_{I} (A)

is Cohen-Macaulay and

d i m A l e q 2

we also prove that the functions

j m a p s t o d e p t h G_{I} (S y z_{2 j + i}^{A} (M))

are eventually constant for

i = 0, 1

. Let

x i_{I} (M) = l i m_{l i g h t a r r o w i n f t y} d e p t h G_{I^{l}} (M)

. Finally we prove that if

d i m A = 2

and

G_{I} (A)

is Cohen-Macaulay then the functions

j m a p s t o x i_{I} (S y z_{2 j + i}^{A} (M))

are eventually constant for

i = 0, 1

.

Review text

Let \((A,\mathfrak{m})\) be a Noetherian local ring of dimension \(d\) and let \(M\) be a finitely generated \(A\)-module of dimension \(r\). Let \(I\) be an \(\mathfrak m\)-primary ideal. For \(i=0,\dots,r\), let \(e_i^I(M)\) denote the \(i\)th Hilbert-coefficient of \(M\) with respect to \(I\). For \(j\geq 0\) let \(\mathrm{Syz}_j^A(M)\) be the \(j\)th syzygy of \(M\). In this paper the author investigate the function \(j\longrightarrow e_i^I(\mathrm{Syz}_j^A(M))\) for \(i\geq 0\). The author define the following definition: The \(A\)-module \(M\) has finite \(GCI\)-dimension if there is a flat local extension \((B,\mathfrak{n})\) of \(A\) such that (i) \({\mathfrak{m}}B=\mathfrak{n}\); (ii) \(B=Q/{(f_1,\dots,f_c)}\), where \(Q\) is local and \(f_1,\dots,f_c\) is a \(Q\)-regular sequence; (iii) \(\mathrm{projdim}_Q M\otimes_AB\) is finite. The notion of \(GCI\)-dimension is weaker than the notion of \(CI\)-dimension. The author prove the following nice results: Theorem1. If \(M\) is a maximal Cohen-Macaulay \(A\)-module with finite \(GCI\)-dimension, then for \(i=0,1,2\), the function \(j\longrightarrow e_i^I(\mathrm{Syz}_j^A(M))\) is of quasi-polynomial type with period two and degree \(\leq cx(M)-1\). Theorem 2. Let \(d=2\) and \(M\) be a maximal Cohen-Macaulay \(A\)-module with finite \(GCI\)-dimension. If the associated graded ring \(G_I(A)\) is Cohen-Macaulay, then the functions \(j\longrightarrow \mathrm{depth} G_I(\mathrm{Syz}_{2j}^A(M))\) and \(j\longrightarrow \mathrm{depth} G_I(\mathrm{Syz}_{2j+1}^A(M))\) are constant for \(j\gg 0\). Theorem 3. Let \(d=2\) and \(M\) be a maximal Cohen-Macaulay \(A\)-module with finite \(GCI\)-dimension. If the associated graded ring \(G_I(A)\) is Cohen-Macaulay, then the functions \(j\longrightarrow\xi_I(\mathrm{Syz}_{2j}^A(M))\) and \(j\longrightarrow\xi_I(\mathrm{Syz}_{2j+1}^A(M))\) are constant for \(j\gg 0\), where \(\xi_I(M)=\lim \mathrm{depth} G_{I^s}(M)\).

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Growth of Hilbert coefficients of syzygy modules

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