On the Hilbert function of one-dimensional local complete intersections

From MaRDI portal



Abstract: The Hilbert function of standard graded algebras are well understood by Macaulay's theorem and very little is known in the local case, even if we assume that the local ring is a complete intersection. An extension to the power series ring R of the theory of Gr"{o}bner bases (w.r.t. local degree orderings) enable us to characterize the Hilbert function of one dimensional quadratic complete intersections A=R/I, and we give a structure theorem of the minimal system of generators of I in terms of the Hilbert function. We find several restrictions for the Hilbert function of A in the case that I is a complete intersection of type (2,b). Conditions for the Cohen-Macaulyness of the associated graded ring of A are given.


The sequences that occur as Hilbert functions of standard graded algebras \(A\) are well understood by Macaulay's theorem; those that occur for graded complete intersections are elementary and were known classically. However, much less is known in the local case, once the dimension of \(A\) is greater than zero, or the embedding dimension is three or more.NEWLINENEWLINEUsing an extension to the power series ring \(R\) of Gröbner bases with respect to local degree orderings, the paper characterize the Hilbert functions \(H\) of one-dimensional quadratic complete intersections \(A=R/I,I=(f,g)\), of type \((2,2)\) that is, that are quotients of the power series ring \(R\) in three variables by a regular sequence \(f,g\) whose initial forms are linearly independent and of degree 2. The paper also give a structure theorem up to analytic isomorphism of \(A\) for the minimal system of generators of \(I\), given the Hilbert function.NEWLINENEWLINEMore generally, when the type of \(I\) is \((2,b)\) the authors are able to give some restrictions on the Hilbert function. In this case we can also prove that the associated graded algebra of \(A\) is Cohen-Macaulay if and only if the Hilbert function of \(A\) is strictly increasing.





Describes a project that uses

Uses Software






This page was built for publication: On the Hilbert function of one-dimensional local complete intersections

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