The range of all regularities for polynomial ideals with a given Hilbert function

DOI10.1016/J.JALGEBRA.2020.10.003MaRDI QIDQ2209288zbMATH OpenOpenAlexFDO

Authors Francesca Cioffi

Publication date 30 October 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.10974

zbMATH Keywords

Castelnuovo-Mumford regularityHilbert functionminimal functionstrongly stable ideal

Mathematics Subject Classification ID

Calculation of integer sequences (11Y55) Theory of modules and ideals in commutative rings (13C99) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects in algebraic geometry (14Q99) Symbolic computation and algebraic computation (68W30)

Abstract: Given the Hilbert function $u$ of a closed subscheme of a projective space over an infinite field $K$, let $m_u$ and $M_u$ be, respectively, the minimum and the maximum among all the Castelnuovo-Mumford regularities of schemes with Hilbert function $u$. I show that, for every integer $m$ such that $m_{u}leqmleq{M}_u$, there exists a scheme with Hilbert function $u$ and Castelnuovo-Mumford regularity $m$. As a consequence, the analogous algebraic result for an O-sequence $f$ and homogeneous polynomial ideals over $K$ with Hilbert function $f$ holds too. Although this result does not need any explicit computation, I also describe how to compute a scheme with the above requested properties. Precisely, I give a method to construct a strongly stable ideal defining such a scheme.

Review text

Let \(A\) be a polynomial ring over a field \(K\) and let \(I\) denote any homogeneous ideal of \(A\). This paper presents a proof of the following statement suggested by Le Tuan Hoa in a private communication, Theorem 1: Given an Hilbert function \(u\), the set \(\{reg(I) : A/I \text{ has Hilbert function } u \}\) is an interval of integers. Since for every homogenous ideal \(I\), there exists a strongly stable ideal \(J\) such that \(reg(I)=reg(J)\) and \(reg(J)\) is the highest degree, denoted by \(\nu(J)\), of a minimal generator of \(J\), the theorem 1 is equivalent to the following one, Theorem 2: Given an Hilbert function \(u\), the set \(\{\nu(J) : J \text{ is strongly stable and }A/J \text{ has Hilbert function } u\}\) is an interval of integers. The proof is based on constructive arguments presented in the paper [\textit{F. Cioffi} et al., Exp. Math. 24, No. 4, 424--437 (2015; Zbl 1333.13028)], mainly on a construction called \textit{expanded lifting}, that allows, given a saturated homogeneous ideal \(I\) with Hilbert function \(\preceq u\), to create a homogenous ideal \(J\) with Hilbert function \(u\).

Recommendations

• The depth of an ideal with a given Hilbert function
• On the structure of Ext groups of strongly stable ideals
• Hilbert functions of \(d\)-regular ideals
• Poset embeddings of Hilbert functions
• Hilbert functions and lex ideals
• On associated primes of initial ideals
• A finiteness theorem for the Hilbert functions of complete intersection local rings
• Hilbert functions for two ideals
• Anneaux noethériens de hilbert
• scientific article; zbMATH DE number 4045908

Cites work

• A note on Castelnuovo-Mumford regularity and Hilbert coefficients
• Betti numbers, castelnuovo mumford regularity, and generalisations of macaulay's theorem
• Castelnuovo-Mumford regularity and extended degree
• Castelnuovo-Mumford regularity and hyperplane sections
• scientific article; zbMATH DE number 3952916 (Why is no real title available?)
• scientific article; zbMATH DE number 1305008 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• Maximum betti numbers of homogeneous ideals with a given hilbert function
• Minimal Castelnuovo-Mumford regularity for a given Hilbert polynomial
• Regularity of lex-segment ideals: Some closed formulas and applications
• Upper bounds for the betti numbers of a given hilbert function
• Zero-generic initial ideals

Cited in

(4)

• Bounds for the Hilbert function of polynomial ideals and for the degrees in the Nullstellensatz
• Hilbert functions of \(d\)-regular ideals
• Regularity index of Hilbert functions of powers of ideals
• scientific article; zbMATH DE number 5635454 (Why is no real title available?)

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: The range of all regularities for polynomial ideals with a given Hilbert function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2209288)