arXiv++ Combinatorics

We classify Cohen-Macaulay graphs of girth at least $5$ and planar Gorenstein graphs of girth at least $4$. Moreover, such graphs are also vertex decomposable.

In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.

Let G be a simple undirected graph. We find the number of maximal independent sets in complete t-partite graphs. We will show that vertex decomposability and shellability are equivalent in this graphs. Also, we obtain an equivalent condition for Cohen-Macaulay in complete t-partite graphs.

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers $I(G)^{(\ell)}$ are Cohen-Macaulay ideals. Similarly, we characterize graphs $G$ for which $S/I(G)^{(\ell)}$ has (FLC). As an application, we show that an edge ideal $I(G)$ is complete intersection provided that $S/I(G)^{\ell}$ is Cohen-Macaulay for some integer $\ell \ge 3$. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

In this paper, we study several properties of the second power $I_Δ^2$ of a Stanley-Reisner ideal $I_Δ$ of any dimension. As the main result, we prove that $S/I_Δ$ is Gorenstein whenever $S/I_Δ^2$ is Cohen-Macaulay over any field $K$. Moreover, we give a criterion for the second symbolic power of $I_Δ$ to satisfy $(S_2)$ and to coincide with the ordinary power, respectively. Finally, we provide new examples of Stanley-Reisner ideals whose second powers are Cohen-Macaulay.

A family $\mathcal{A}$ of sets is {\it $t$-intersecting} if the cardinality of the intersection of every pair of sets in $\mathcal{A}$ is at least $t$, and is an {\it $r$-family} if every set in $\mathcal{A}$ has cardinality $r$. A well-known theorem of Erdős, Ko, and Rado bounds the cardinality of a $t$-intersecting $r$-family of subsets of an $n$-element set, or equivalently of $(r-1)$-dimensional faces of a simplex with $n$ vertices. As a generalization of the Erdős-Ko-Rado theorem, Borg presented a conjecture concerning the size of a $t$-intersecting $r$-family of faces of an arbitrary simplicial complex. He proved his conjecture for shifted complexes. In this paper we give a new proof for this result based on work of Woodroofe. Using algebraic shifting we verify Borg's conjecture in the case of sequentially Cohen-Macaulay $i$-near-cones for $t=i$.

In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In Chapter 2 we study the most important objects used to project algorithmic techniques, namely Borel-fixed ideals. We determine an algorithm computing all the saturated Borel-fixed ideals with Hilbert polynomial assigned and we investigate their combinatorial properties. In Chapter 3 we show a new type of flat deformations of Borel-fixed ideals which lead us to give a new proof of the connectedness of the Hilbert scheme. In Chapter 4 we construct families of ideals that generalize the notion of family of ideals sharing the same initial ideal with respect to a fixed term ordering. Some of these families correspond to open subsets of the Hilbert scheme and can be used to a local study of the Hilbert scheme. In Chapter 6 we deal with the problem of the connectedness of the Hilbert scheme of locally Cohen-Macaulay curves in the projective 3-space. We show that one of the Hilbert scheme considered a "good" candidate to be non-connected, is instead connected. Moreover there are three appendices that present and explain how to use the implementations of the algorithms proposed.

A method that often works for constructing a flag complex with a specified face vector is given. This method can also be adapted to construct a vertex-decomposable (and hence Cohen-Macaulay) flag complex with a specified h-vector.

In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large $r$, the $r$\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded $K$-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on $h$- and $g$-polynomials of Veronese subalgebras.

Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$ generated by monomials $u_1,u_2,..., u_t$. We show that $S/I$ is pretty clean if either: 1) $u_1,u_2,..., u_t$ is a filter-regular sequence, 2) $u_1,u_2,..., u_t$ is a $d$-sequence; or 3) $I$ is almost complete intersection. In particular, in each of these cases, $S/I$ is sequentially Cohen-Macaulay and both Stanley's and $h$-regularity conjectures, on Stanley decompositions, hold for $S/I$. Also, we prove that if $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties. Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.

In this paper we discuss the problem of characterizing the Cohen-Macaulay property of certain families of monomial ideals with fixed radical. More precisely, we consider generically complete intersection monomial ideals whose radical corresponds to special classes of simplicial complexes.

In this article, by using the technique of gluing semigroups, we give infinitely many families of 1-dimensional local rings with non-decreasing Hilbert functions. More significantly, these are local rings whose associated graded rings are not necessarily Cohen-Macaulay. In this sense, we give an effective technique to construct large families of 1-dimensional Gorenstein local rings associated to monomial curves, which support Rossi's conjecture saying that every Gorenstein local ring has non-decreasing Hilbert function.

In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior during a Groebner deformation and the arithmetical rank of certain varieties. In the third chapter, we will investigate the relations between the minors of a fixed size of a generic matrix by using tools from the representation theory of the general linear group (the results of this chapter will appear in a joint paper with Bruns and Conca). In the last chapter we will use combinatorial methods to study the Cohen-Macaulay property of the symbolic powers of Stanley-Reisner ideals. In the thesis are included five appendixes with some basic needed facts and a preliminary chapter introducing to local cohomology.

A certain inequality is shown to hold for the values of the Mobius function of the poset obtained by attaching a maximum element to a lower Eulerian Cohen-Macaulay poset. In two important special cases, this inequality provides partial results supporting Stanley's nonnegativity conjecture for the toric h-vector of a lower Eulerian Cohen-Macaulay meet-semilattice and Adin's nonnegativity conjecture for the cubical h-vector of a Cohen-Macaulay cubical complex.

This paper studies topological properties of the lattices of non-crossing partitions of types A and B and of the poset of injective words. Specifically, it is shown that after the removal of the bottom and top elements (if existent) these posets are doubly Cohen-Macaulay. This strengthens the well-known facts that these posets are Cohen-Macaulay. Our results rely on a new poset fiber theorem which turns out to be a useful tool to prove double (homotopy) Cohen-Macaulayness of a poset. Applications to complexes of injective words are also included.

Patch ideals encode neighbourhoods of a variety in GL_n/B. For Peterson varieties we determine generators for these ideals and show they are complete intersections, and thus Cohen-Macaulay and Gorenstein. Consequently, we combinatorially describe the singular locus of the Peterson variety; give an explicit equivariant K-theory localization formula; and extend some results of [B. Kostant '96] and of D. Peterson to intersections of Peterson varieties with Schubert varieties. We conjecture that the projectivized tangent cones are Cohen-Macaulay, and that their h-polynomials are nonnegative and upper-semicontinuous. Similarly, we use patch ideals to briefly analyze other examples of torus invariant subvarieties of GL_n/B, including Richardson varieties and Springer fibers.

Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ideal of vertex covers of C and give a formula for the projective dimension of R/I(C). We also examine the associated primes of powers of edge ideals, and show that for a graph with a leaf, these sets form an ascending chain.

It is proved that the Boolean algebra of rank n minimizes the flag f-vector among all graded lattices of rank n, whose proper part has nontrivial top-dimensional homology. The analogous statement for the flag h-vector is conjectured in the Cohen-Macaulay case.

We show that if a $d$-dimensional Cohen-Macaulay complex is, in a certain sense, sufficiently "close" to being balanced, then there is a $d$-dimensional balanced Cohen-Macaulay complex having the same $f$-vector. This in turn provides some partial evidence for a conjecture of Kalai on the $f$-vectors of Cohen-Macaulay flag complexes.