Related papers: Stanley's nonunimodal Gorenstein h-vector is optim…

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…

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…

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 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…

First, we construct a bijection between the set of $h$-vectors and the set of socle-vectors of artinian algebras. As a corollary, we find the minimum codimension that an artinian algebra with a given socle-vector can have. Then, we study…

In this note we supply an elementary proof of the following well-known theorem of R. Stanley: the $h$-vectors of Gorenstein algebras of codimension 3 are SI-sequences, i.e. are symmetric and the first difference of their first half is an…

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…

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…

$(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…

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…

Let k be an arbitrary field, A be a standard graded Artinian Gorenstein k-algebra of embedding dimension four and socle degree three, and pi from P to A be a surjective graded homomorphism from a polynomial ring with four variables over k…

In 1978, Stanley constructed an example of an Artinian Gorenstein (AG) ring $A$ with non-unimodal $H$-vector $(1,13,12,13,1)$. Migliore-Zanello later showed that for regularity $r=4$, Stanley's example has the smallest possible codimension…

In this paper we study standard graded artinian level algebras, in particular those whose socle-vector has type 2. Our main results are: the characterization of the level $h$-vectors of the form $(1,r,...,r,2)$ for $r\leq 4$; the…

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…

Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of…

We extend some results on almost Gorenstein affine monomial curves to the nearly Gorenstein case. In particular, we prove that the Cohen-Macaulay type of a nearly Gorenstein monomial curve in $\mathbb{A}^4$ is at most $3$, answering a…

We analyse the Gorenstein locus of the Hilbert scheme of $d$ points on $\mathbb{P}^n$ i.e. the open subscheme parameterising zero-dimensional Gorenstein subschemes of $\mathbb{P}^n$ of degree $d$. We give new sufficient criteria for…

In this article we study minimal free resolutions of Gorenstein ideals of codimension four, using methods coming from representation theory. We introduce families of higher structure maps associated with such resolution, defined similarly…

Let k be an algebraically closed field and let HaG(d) be the open locus inside H(d) (the Hilbert scheme of 0-dimensional length d subschemes of the projective (d-2)-space over k) corresponding to arithmetically Gorenstein subschemes. We…

Levelness and nearly Gorensteinness are well-studied properties of graded rings as a generalized notion of Gorensteinness. In this paper, we compare the strength of these properties. For any Cohen-Macaulay homogeneous affine semigroup ring…