Related papers: Stanley's theorem on codimension 3 Gorenstein $h$-…

We classify all possible $h$-vectors of graded artinian Gorenstein algebras in socle degree 4 and codimension $\leq 17$, and in socle degree 5 and codimension $\leq 25$. We obtain as a consequence that the least number of variables allowing…

The study of the $h$-vectors of graded Gorenstein algebras is an important topic in combinatorial commutative algebra, which despite the large amount of literature produced during the last several years, still presents many interesting open…

As is well known, h-vectors of simple (or simplicial) convex polytopes are characterized. In fact, those h-vectors must satisfy Dehn-Sommerville equations and some other inequalities. Simple convex polytopes determine Gorenstein* simplicial…

An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, then X is pure (of type t). A pure O-sequence is the vector,…

We determine new bounds on the entries of Gorenstein Hilbert functions, both in any fixed codimension and asymptotically. Our first main theorem is a lower bound for the degree $i+1$ entry of a Gorenstein $h$-vector, in terms of its entry…

Gorenstein liaison seems to be the natural notion to generalize to higher codimension the well-known results about liaison of varieties of codimension~2 in projective space. In this paper we study points in ${\mathbb P}^3$ and curves in…

In this note we establish a (non-trivial) lower bound on the degree two entry $h_2$ of a Gorenstein $h$-vector of any given socle degree $e$ and any codimension $r$. In particular, when $e=4$, that is for Gorenstein $h$-vectors of the form…

We first determine all height four Gorenstein sequences beginning H=(1,4,7,...), and we show that their first differences satisfy $\Delta H_{\le j/2}$ is an O-sequence. We then study the family PGor(H) parametrizing all graded Artinian…

In this paper we study the O-sequences of the local (or graded) $K$-algebras of socle degree $4.$ More precisely, we prove that an O-sequence $h=(1, 3, h_2, h_3, h_4)$, where $h_4 \geq 2,$ is the $h$-vector of a local level $K$-algebra if…

We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured…

The main goal of this paper is to characterize the Hilbert functions of all (artinian) codimension 4 Gorenstein algebras that have at least two independent relations of degree four. This includes all codimension 4 Gorenstein algebras whose…

We consider a formula of Stanley that expresses the Ehrhart generating polynomial of a polyhedral complex in terms of the h-polynomials of toric varieties. We prove that the coefficients in this expression are all non-negative and show that…

A well-known conjecture of Stanley is that the h-vector of a matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. In particular, for graphic matroids coming from…

We prove that the Hilbert functions of codimension four graded Gorenstein Artin algebras R/I are unimodal provided I has a minimal generator in degree less than five. It is an open question whether all Gorenstein h-vectors in codimension…

We characterize the cd-indices of Gorenstein* posets of rank 5, equivalently the flag f-vectors of Gorenstein* order complexes of dimension 3. As a corollary, we characterize the f-vectors of Gorenstein* order complexes in dimensions 3 and…

Let $\mathbb{K}[G]$ be the edge ring of a finite simple graph $G$. Investigating properties of the $h$-vector of $\mathbb{K}[G]$ is of great interest in combinatorial commutative algebra. However, there are few families of graphs for which…

It is unknown if an Artinian level O-sequence of codimension 3 and type $r (\ge 2)$ is unimodal, while it is known that any Gorenstein O-sequence of codimension 3 is unimodal. We show that some Artinian non-unimodal O-sequence of…

$(1,3,6,10,15,21,28,27,27,28)$ is a level $h$-vector! This example answers negatively the open question as to whether all codimension 3 level $h$-vectors are unimodal. Moreover, using the same (simple) technique, we are able to construct…

In this note, we characterize the Hilbert regularity of the Stanley-Reisner ring $K[\bigtriangleup]$ in terms of the $f$-vector and the $h$-vector of a simplicial complex $\bigtriangleup$. We also compute the Hilbert regularity of a…

We construct and study a family of toric degenerations of the algebra of conformal blocks for a stable marked curve $(C, \vec{p})$ with structure group $SL_3(\mathbb{C}).$ We find that this algebra is Gorenstein. For the genus $0, 1$ cases…