Squarefree lexsegment ideals

From MaRDI portal





In the paper the concept of squarefree lex segment ideal is introduced (the squarefree formal analogue of lex segment ideal) and used to prove that taken a polynomial ring \(A=k[x_1,\dots,x_v]\) over a field \(k\), and given arbitrary integers \(d,q\) and \(e\), there exists a squarefree monomial ideal \(I\) such that \(\text{dim} A/I\)=d, \(\text{depth } A/I=e\) and \(A/I\) has a \(q\)-linear resolution. Moreover the squarefree analogue of stable and strongly stable ideals is introduced, and the explicit free resolution of a squarefree stable ideal is constructed. It turns out that such a resolution has the same formal structure as the classical Eliahou-Kervaire resolution. In the paper it is also shown that given a squarefree ideal \(I\) of \(A\) there exists a squarefree lex segment ideal \(J\) such that \(A/I\) and \(A/J\) have the same Hilbert function. This result is well known in classical combinatorics, in fact it is equivalent to the essential part of the so-called Kruskal-Katona theorem, but the proof given is new and has the benefit that it is based on simple algebraic results. In particular, the authors introduce the ``indicator algebra \(A/(I,x_1^2,\dots,x_v^2)\) of a squarefree ideal \(I\) of \(A\), and in the last section they give an explicit formula to compute the Betti numbers of the indicator algebra of a squarefree strongly stable ideal.




Cited in
(77)








This page was built for publication: Squarefree lexsegment ideals

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