The invariance of Hilbert functions of quotients under small perturbations (Q1125868)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The invariance of Hilbert functions of quotients under small perturbations
scientific article

    Statements

    The invariance of Hilbert functions of quotients under small perturbations (English)
    0 references
    0 references
    0 references
    1 June 1997
    0 references
    Let \((R,{\mathfrak m})\) be a Noetherian local ring of dimension \(d\). Let \(J\subset R\) be an \(\mathfrak m\)-primary ideal and let \(P\in {\mathbb{Q}}[Z]\) be a polynomial of degree \(d-r\). Let \[ S_P=\{ (f_1,\ldots,f_r)\in {\mathfrak m}^{\oplus r}\mid {\text{length}}(R/J^n+(f_1,\ldots,f_r))=P(n)\;{\text{for all large}} n\}. \] The authors consider the question whether the set \(S_P\) is an open subset of \({\mathfrak m}^{\oplus r}\) with respect to the \({\mathfrak m}\)-adic topology or not. They show the openness of \(S_P\) for generalized Cohen-Macaulay local rings. Precisely the following theorem is proven: Let \(I,J\) be ideals of \(R\) such that (1) \(R/I\) is generalized Cohen-Macaulay, (2) \(I\) is generated by an \(f\)-regular sequence \(f_1,\ldots,f_r\), and (3) \(I+J\) is \({\mathfrak m}\)-primary. Then there exists a natural number \(N\) such that for every ideal \(I_N \subset \{(f_1+g_1,\ldots,f_r+g_r)\mid g_1,\ldots,g_r\in {\mathfrak m}^N\}\), we have an isomorphism \({\text{gr}}_J(R/I)\cong {\text{gr}}_J(R/I_N)\). (\(R\) is called generalized Cohen-Macaulay if \(H_{\mathfrak m}^i(R)\) is of finite length for \(0\leq i < {\text{dim}} R\). A sequence \(f_1,\ldots,f_r\in {\mathfrak m}\) is said to form an \(f\)-regular sequence if \[ ((f_1,\ldots,f_{i-1}):f_i )\subseteq \{x\in R\mid x{\mathfrak m}^n\subseteq (f_1,\ldots,f_{i-1})\;{\text{for some}} n\in{\mathbb{N}}\} \] for \(1\leq i\leq r\).) In the case where \(R\) is Buchsbaum, not assuming that \(I+J\) is \({\mathfrak m}\)-primary, similar isomorphisms are given under little different conditions. The authors give examples of Noetherian local rings to show that the theorem is false if we merely assume that \(R/I\) is Cohen-Macaulay. Some related questions are mentioned, and we can find comments on them in a note added in proof.
    0 references
    Hilbert function
    0 references
    Hilbert polynomial
    0 references
    associated graded ring
    0 references
    generalized Cohen-Macaulay ring
    0 references
    Buchsbaum ring
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references