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
    0 references
    Hilbert coefficients
    0 references
    complete intersection
    0 references
    blow-up algebra
    0 references

    Identifiers