Growth of Hilbert coefficients of syzygy modules (Q528504)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Growth of Hilbert coefficients of syzygy modules |
scientific article |
Statements
Growth of Hilbert coefficients of syzygy modules (English)
0 references
12 May 2017
0 references
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)\).
0 references
Hilbert coefficients
0 references
complete intersection
0 references
blow-up algebra
0 references
0 references
0 references