Multiplicities and Reduction Numbers

Let (Rmbe a Cohen–Macaulay local ring and let I be an ideal. There are at least five algebras built on I whose multiplicity data affect the reduction number r(I) of the ideal. We introduce techniques from the Rees algebra theory of modules to produce estimates for r(I), for classes of ideals of dimension one and two. Previous cases of such estimates were derived for ideals of dimension zero.     

A generalized Macaulay theorem and generalized face rings

We prove that the f-vector of members in a certain class of meet semi-lattices satisfies Macaulay inequalities 0?k^∂(fk)?fk−1 for all k?0. We construct a large family of meet semi-lattices belonging to this class, which includes all posets of multicomplexes, as well as meet semi-lattices with the “diamond property,” discussed by Wegner [G. Wegner, Kruskal-Katona's theorem in generalized complexes, in: Finite and Infinite Sets, vol. 2, in: Colloq. Math. Soc. János Bolyai, vol. 37, North-Holland, Amsterdam, 1984, pp. 821-828], as special cases. Specializing the proof to the later family, one obtains the Kruskal-Katona inequalities and their proof as in [G. Wegner, Kruskal-Katona's theorem in generalized complexes, in: Finite and Infinite Sets, vol. 2, in: Colloq. Math. Soc. János Bolyai, vol. 37, North-Holland, Amsterdam, 1984, pp. 821-828].For geometric meet semi-lattices we construct an analogue of the exterior face ring, generalizing the classic construction for simplicial complexes. For a more general class, which also includes multicomplexes, we construct an analogue of the Stanley-Reisner ring. These two constructions provide algebraic counterparts (and thus also algebraic proofs) of Kruskal-Katona's and Macaulay's inequalities for these classes, respectively.     

Unimodal Gorenstein h-vectors without the Stanley–Iarrobino property

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 questions. In this note, we commence a study of those unimodal Gorenstein h-vectors that do not satisfy the Stanley–Iarrobino property. Our main results, which are characteristic free, show that such h-vectors exist: 1) In socle degree e if and only if e≥6; and 2) in every codimension five or greater. The main case that remains open is that of codimension four, where no Gorenstein h-vector is known without the Stanley–Iarrobino property. We conclude by proposing the following very general conjecture: The existence of any arbitrary level h-vector is independent of the characteristic of the base field.     

Steps in the Classification of Cohen–Macaulay Modules Over Singularities of Type xt + y3

Let k be an algebraically closed field of characteristic 3 and i, j, t some positive integers such that 1 i < j < t, i + j t. Then there exist a finite number of nonisomorphic indecomposable maximal Cohen–Macaulay modules N over k[[x, y]] /(x^t + y³) such that N / y N is a direct sum of copies of k[[x]] /(xⁱ), k[[x]] /(x^j) and we describe them completely.     

t-clique ideal and t-independence ideal of a graph

In this paper, we introduce and study families of squarefree monomial ideals called clique ideals and independence ideals that can be associated to a finite graph. A family of clique ideals with linear resolutions has been characterized. Moreover, some families of graphs for which the quotient ring of their clique ideal is Cohen–Macaulay are introduced and some homological invariants of the clique ideal of a graph G, which is the complement of a path graph or a cycle graph, are obtained. Also some algebraic properties of the independence ideal of path graphs, cycle graphs and chordal graphs are studied.     

Additive Macaulay Posets

An additive sequence of integers is a finite sequence in which the sum of any number of consecutive terms is less than or equal to the sum of the same number of initial terms in the sequence and greater than or equal to the sum of the same number of final terms in the sequence. If the final several terms in an additive sequence are greater than or equal to, in order, the initial several terms of a second additive sequence, then the juxtaposition of the two sequences is also additive. This simple fact has combinatorial corollaries.     

The G-biliaison class of symmetric determinantal schemes

We consider a family of schemes, that are defined by minors of a homogeneous symmetric matrix with polynomial entries. We assume that they have maximal possible codimension, given the size of the matrix and of the minors that define them. We show that these schemes are G-bilinked to a linear variety of the same dimension. In particular, they can be obtained from a linear variety by a finite sequence of ascending G-biliaisons on some determinantal schemes. We describe the biliaisons explicitly in the proof of Theorem 2.3. In particular, it follows that these schemes are glicci.