Hilbert functions of \(d\)-regular ideals (Q2466940)

The main result of this paper is the following characterization of Hilbert functions of graded ideals in a polynomial ring \(S\) whose regularity is smaller than or equal to a given positive integer \(d\). Let \(H\) be a numerical function from the set of non-negative integers \(\mathbb{N}\) into itself. Then there exists a graded ideal \(I \subset S\) such that reg\((I) \leq d\) and \(\dim_k(S/I)_t = H(t)\) for all \(t \in \mathbb{N}\) if and only if (i) there exists a sequence \(\ell = (e_1,...,e_n) \in \mathbb{N}^n\) such that \(\ell\) is an \(M\)-vector with \(e_2 \leq d\), \(H(t) = \sum_{i=1}^ne_i {n-i+t-d \choose n-i}\) for all \(t \geq d\), \(H(d-1) \leq e_n\), and (ii) \(H(0) = 0\) and \(H(t)^{\langle n-1\rangle} \leq H(t+1)\) for all \(t < d-1\). The proof uses basic facts on generic ideals for which the regularity turns out to be the maximal degree of the generators. In characteristic zero case the author also shows that among all graded ideals with the same Hilbert function and regularity \(\leq d\) and projective dimension \(\leq q\) there exists a graded ideal with maximal graded Betti numbers and that the same fact also holds for squarefree monomial ideals.