On Unimodality of Hilbert Functions of Gorenstein Artin Algebras of Embedding Dimension Four

We prove that the Hilbert functions of Gorenstein Artin algebras R/I of embedding dimension four are unimodal provided I has a minimal generator in degree less than five. It is still an open question as to whether all Gorenstein Hilbert functions in codimension four are SI-sequences. It is not even known if they are all unimodal. In this article, we prove that Hilbert functions of all Gorenstein Artin algebras starting with (1, 4, 10, 20, h ₄,…), where h ₄ = 34 are unimodal. Combining this with previously known results, we obtain that all Gorenstein Hilbert functions (1, 4, h ₂, h ₃, h ₄,…4, 1) are unimodal if h ₄ ≤ 34.     

On decomposing monomial algebras with the Lefschetz properties

We introduce a general technique for decomposing monomial algebras which we use to study the Lefschetz properties. In particular, we prove that Gorenstein codimension three algebras arising from numerical semigroups have the strong Lefschetz property, and we give partial results on monomial almost complete intersections. We also study the reverse of the decomposition process – a gluing operation – which gives a way to construct monomial algebras with the Lefschetz properties.     

Koszul Modules and Gorenstein Algebras

I first define Koszul modules, which are a generalization to arbitrary rank of complete intersections. After a study of some of their properties, it is proved that Gorenstein algebras of codimension one or two over a local or graded CM ring are Koszul modules, thus generalizing a well known statement for rank one modules. The general techniques used to describe Koszul modules are then used to obtain a structure theorem for Gorenstein algebras in codimension one and two, over a local or graded CM ring.     

Hilbert functions of Gorenstein monomial curves

It is a conjecture due to M. E. Rossi that the Hilbert function of a one-dimensional Gorenstein local ring is non-decreasing. In this article, we show that the Hilbert function is non-decreasing for local Gorenstein rings with embedding dimension four associated to monomial curves, under some arithmetic assumptions on the generators of their defining ideals in the non-complete intersection case. In order to obtain this result, we determine the generators of their tangent cones explicitly by using standard basis computations under these arithmetic assumptions and show that the tangent cones are Cohen-Macaulay. In the complete intersection case, by characterizing certain families of complete intersection numerical semigroups, we give an inductive method to obtain large families of complete intersection local rings with arbitrary embedding dimension having non-decreasing Hilbert functions.

     

Artinian Level Algebras of Low Socle Degree

In this article we study Hilbert functions and isomorphism classes of Artinian level local algebras via Macaulay's inverse system. Upper and lower bounds concerning numerical functions admissible for level algebras of fixed type and socle degree are known. For each value in this range we exhibit a level local algebra with that Hilbert function, provided that the socle degree is at most three. Furthermore, we prove that level local algebras of socle degree three and maximal Hilbert function are graded. In the graded case, the extremal strata have been parametrized by Cho and Iarrobino.     

On the Weak-Lefschetz property for Artinian Gorenstein algebras

We deal with the weak Lefschetz property (WLP) for Artinian standard graded Gorenstein algebras of codimension 3. We prove that many Gorenstein sequences force the WLP for such algebras. Moreover for every Gorenstein sequence \(H\) of codimension 3 we found several Gorenstein Betti sequences compatible with \(H\) which again force the WLP. Finally we show that for every Gorenstein Betti sequence the general Artinian standard graded Gorenstein algebra with such Betti sequence has the WLP.     

The Hilbert function of a maximal Cohen–Macaulay module. Part II

Let (A,m)$(A,\mathfrak{m})$ be a strict complete intersection of positive dimension and let M be a maximal Cohen–Macaulay A-module with bounded Betti numbers. We prove that the Hilbert function of M is non-decreasing. We also prove an analogous statement for complete intersections of codimension two.     

On the Gorensteinness of broken circuit complexes and Orlik–Terao ideals

It is proved that the broken circuit complex of an ordered matroid is Gorenstein if and only if it is a complete intersection. Several characterizations for a matroid that admits such an order are then given, with particular interest in the h-vector of broken circuit complexes of the matroid. As an application, we prove that the Orlik–Terao algebra of a hyperplane arrangement is Gorenstein if and only if it is a complete intersection. Interestingly, our result shows that the complete intersection property (and hence the Gorensteinness as well) of the Orlik–Terao algebra can be determined from the last two nonzero entries of its h-vector.     

Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers

An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of graded Artinian Gorenstein algebras with the weak Lefschetz property, a property shared by a nonempty open set of the family of all graded Artinian Gorenstein algebras having a fixed Hilbert function that is an SI sequence. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration G of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the weak Lefschetz property. Furthermore, we show that G has maximal graded Betti numbers among all arithmetically Gorenstein subschemes of projective space whose Artinian reduction has the weak Lefschetz property and the given Hilbert function. As an application we show that over a field of characteristic zero every set of simplicial polytopes with fixed h-vector contains a polytope with maximal graded Betti numbers.     

Gorenstein liaison of 0-dimensional schemes

 The theory of Gorenstein liaison has been developed during the last 3 years to generalize liaison theory of codimension 2 schemes to schemes of codimension ≥ 3 in a projective space. One of the main open questions in Gorenstein liaison theory is whether any arithmetically Cohen-Macaulay subscheme of ℙ ⁿ is in the Gorenstein liaison class of a complete intersection. In this paper we prove that any set of general points lying on a rational normal scroll surface is in the Gorenstein liaison class of a complete intersection. Received: 21 November 2001 Published online: 24 April 2003 Mathematics Subject Classification (2000): 14M06, 14C20, 14M05     

Bertini theorems for ideals linked to a given ideal

We prove a generalization of Flenner’s local Bertini theorem for complete intersections. More generally, we study properties of the ‘general’ ideal linked to a given ideal. Our results imply the following. LetR be a regular local Nagata ring containing an infinite perfect fieldk, andI?R is an equidimensional radical ideal of heightr, such thatR/I is Cohen-Macaulay and a local complete intersection in codimension 1. Then for the ‘general’ linked idealJ _α, R/J_α is normal and Cohen-Macaulay. The proofs involve a combination of the method of basic elements, applied to suitable blow ups.     

Derived equivalences and Serre duality for Gorenstein algebras

We introduce a notion of Gorenstein algebras of codimension c and demonstrate that Serre duality theory plays an essential role in the theory of derived equivalences for Gorenstein algebras.     

Betti numbers and lifting of Gorenstein codimension three ideals

In this paper we consider homogeneous Gorenstein ideals of codimension three in a polynomial ring and determine their graded Betti numbers in terms of their Hilbert function. For such ideals we prove also a lifting theorem in the vein of a classical result of Hartshorne concerning monomial ideals.     

Deficiently extremal Gorenstein algebras

The aim of this article is to study the homological properties of deficiently extremal Gorenstein algebras. We prove that if R/I is an odd deficiently extremal Gorenstein algebra with pure minimal free resolution, then the codimension of R/I must be odd. As an application, the structure of pure minimal free resolution of a nearly extremal Gorenstein algebra is obtained.     

Hilbert function of powers of ideals of low codimension

We study the Hilbert function of the powers of homogeneous ideals which are either Cohen-Macaulay of codimension 2 or Gorenstein of codimension 3. We show that that if I is an ideal in one of these classes and it is of linear type then for all k the Hilbert function of depends only on the Hilbert function of I. In other words, if I andJ are ideals in one of the above mentioned classes which are both of linear type and they have the same Hilbert function then also and have the same Hilbert function for all k. Received July 29, 1997; in final form January 23, 1998     

On the Analytic Type of Artin Algebras

In this paper we give a complete analytic classification of Artin Gorenstein almost stretched algebras, i.e., Artin Gorenstein algebras with Hilbert function {1, n, 2,…, 2, 1,…, 1}.     

On monomial curves obtained by gluing

We study arithmetic properties of tangent cones associated to large families of monomial curves obtained by gluing. In particular, we characterize their Cohen-Macaulay and Gorenstein properties and prove that they have non-decreasing Hilbert functions. The results come from a careful analysis of some special Apéry sets of the numerical semigroups obtained by gluing under a condition that we call specific gluing. As a consequence, we complete and extend the results proved by Arslan et al. (in Proc. Am. Math. Soc. 137:2225–2232, 2009) about nice gluings by using different techniques. Our results also allow to prove that for a given numerical semigroup with a non-decreasing Hilbert function and an integer q>1, all extensions of it by q, except a finite number, have non-decreasing Hibert functions.     

The hilbert function and the minimal free resolution of some gorenstein ideals of codimension 4

We give a construction for Gorenstein ideals of codimension 4 which we believe have maximal graded Betti numbers for their Hilbert function.     

On complete intersection toric ideals of graphs

We study the graphs G for which their toric ideals I _G are complete intersections. In particular, we prove that for a connected graph G such that I _G is a complete intersection all of its blocks are bipartite except for at most two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. In this case, the generators of the toric ideal correspond to even cycles of G except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of these graphs satisfy the odd cycle condition. Finally, we characterize all complete intersection toric ideals of graphs which are normal.