Squarefree lexsegment ideals (Q1127800)

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.