Growth of Hilbert coefficients of syzygy modules (Q528504)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    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