Hilbert functions of d-regular ideals

From MaRDI portal
Publication:2466940



Abstract: In the present paper, we characterize all possible Hilbert functions of graded ideals in a polynomial ring whose regularity is smaller than or equal to d, where d is a positive integer. In addition, we prove the following result which is a generalization of Bigatti, Hulett and Pardue's result: Let pgeq0 and d>0 be integers. If the base field is a field of characteristic 0 and there is a graded ideal I whose projective dimension mathrmprojdim(I) is smaller than or equal to p and whose regularity mathrmreg(I) is smaller than or equal to d, then there exists a monomial ideal L having the maximal graded Betti numbers among graded ideals J which have the same Hilbert function as I and which satisfy mathrmprojdim(J)leqp and mathrmreg(J)leqd. We also prove the same fact for squarefree monomial ideals. The main methods for proofs are generic initial ideals and combinatorics on strongly stable ideals.


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.



Cites work









This page was built for publication: Hilbert functions of \(d\)-regular ideals

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