Growth of Hilbert coefficients of syzygy modules (Q528504)

From MaRDI portal
Revision as of 20:00, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    0 references
    Hilbert coefficients
    0 references
    complete intersection
    0 references
    blow-up algebra
    0 references
    0 references
    0 references