arXiv++ Combinatorics

Let G be a numerical semigroup. In this paper, we prove an upper bound for the Betti numbers of the semigroup ring of G which depends only on the width of G, that is, the difference between the largest and the smallest generator of G. In this way, we make progress towards a conjecture of Herzog and Stamate. Moreover, for 4-generated numerical semigroups, the first significant open case, we prove the Herzog-Stamate bound for all but finitely many values of the width.

We study the relationship between depth and regularity of a homogeneous ideal I and those of (I,f) and I:f, where f is a linear form or a monomial. Our results has several interesting consequences on depth and regularity of edge ideals of hypegraphs and of powers of ideals.

We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular we give a partial answer to a conjecture of Kalai by proving that $h$-vectors of flag Cohen-Macaulay simplicial complexes are $h$-vectors of Cohen-Macaulay balanced simplicial complexes.

In this note we provide a counter-example to a conjecture of K. Pardue [Thesis, Brandeis University, 1994.], which asserts that if a monomial ideal is $p$-Borel-fixed, then its $\naturals$-graded Betti table, after passing to any field does not depend on the field. More precisely, we show that, for any monomial ideal $I$ in a polynomial ring $S$ over the ring $\ints$ of integers and for any prime number $p$, there is a $p$-Borel-fixed monomial $S$-ideal $J$ such that a region of the multigraded Betti table of $J(S \otimes_\ints \ell)$ is in one-to-one correspondence with the multigraded Betti table of $I(S \otimes_\ints \ell)$ for all fields $\ell$ of arbitrary characteristic. There is no analogous statement for Borel-fixed ideals in characteristic zero. Additionally, the construction also shows that there are $p$-Borel-fixed ideals with non-cellular minimal resolutions.

In this paper we prove that the coordinate ring of the pinched Veronese (i.e $k[X^3,X^2Y,XY^2,Y^3,X^2Z,Y^2Z,XZ^2,YZ^2,Z^3]\subset k[X,Y,Z]$) is Koszul. The strategy of the proof is the following: we can consider a presentation $S/I$ where $S=k[X_1,...,X_9]$. Using a distinguished weight $ω$, it's enough to show that $S/in_ωI$ is Koszul. We write $in_ωI$ as $J+H$ where $J$ is generated by a Gröbner basis of quadrics. Finally, we present an extension of the notion of Koszul filtration and we use it to show that $(J+H)/J$ has a linear free resolution over $S/J.$ This implies the Koszulness of $S/I.$