arXiv++ Combinatorics

It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of dimension 2, it is shown that boolean representable simplicial complexes have the homotopy type of a wedge of spheres of dimensions 1 and 2. Also in the case of dimension 2, necessary and sufficient conditions for shellability and being sequentially Cohen-Macaulay are determined. Complexity bounds are provided for all the algorithms involved.

We graph-theoretically characterize triangle-free Gorenstein graphs $G$. As an application, we classify when $I(G)^2$ is Cohen-Macaulay.

In this article, we study monomial curves, toric ideals and monomial algebras associated to $4$-generated pseudo symmetric numerical semigroups. Namely, we determine indispensable binomials of these toric ideals, give a characterization for these monomial algebras to have strongly indispensable minimal graded free resolutions. We also characterize when the tangent cones of these monomial curves at the origin are Cohen-Macaulay.

A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we show that the dual graph of $X$ is $\lfloor{\frac{r+r'-1}{r'}}\rfloor$-connected. The bound is sharp. We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph of a suitable arithmetically Cohen-Macaulay projective curve of regularity $\le 3$, whose components are all rational normal curves. The regularity bound is smallest possible in general. Further consequences of our work are: (1) Any graph is the Hochster-Huneke graph of a complete equidimensional local ring. (This answers a question by Sather-Wagstaff and Spiroff.) (2) The regularity of a curve is not larger than the sum of the regularities of its primary components.

We define semi-pointed partition posets, which are a generalisation of partition posets and show that they are Cohen-Macaulay. We then use multichains to compute the dimension and the character for the action of the symmetric groups on their homology. We finally study the associated incidence Hopf algebra, which is similar to the Fa{à} di Bruno Hopf algebra.

We study unmixed and Cohen-Macaulay properties of the binomial edge ideal of some classes of graphs. We compute the depth of the binomial edge ideal of a generalized block graph. We also characterize all generalized block graphs whose binomial edge ideals are Cohen-Macaulay and unmixed. So that we generalize the results of Ene, Herzog and Hibi on block graphs. Moreover, we study unmixedness and Cohen-Macaulayness of the binomial edge ideal of some graph products such as the join and corona of two graphs with respect to the original graphs'.

Given finite posets $P$ and $Q$, we consider a specific ideal $L(P,Q)$, whose minimal monomial generators correspond to order-preserving maps $φ:P\rightarrow Q$. We study algebraic invariants of those ideals. In particular, sharp lower and upper bounds for the Castelnuovo-Mumford regularity and the projective dimension are provided. Precise formulas are obtained for a large subclass of these ideals. Moreover, we provide complete characterizations for several algebraic properties of $L(P,Q)$, including being Buchsbaum, Cohen-Macaulay, Gorenstein and having a linear resolution. We also give a partial characterization for Golod property of $L(P,Q)$. Using those results, we derive applications for other important classes of monomial ideals, such as initial ideals of determinantal ideals and multichain ideals.

We study the independence complexes of families of well-covered circulant graphs discovered by Boros-Gurvich-Milanič, Brown-Hoshino, and Moussi. Because these graphs are well-covered, their independence complexes are pure simplicial complexes. We determine when these pure complexes have extra combinatorial (e.g. vertex decomposable, shellable) or topological (e.g. Cohen-Macaulay, Buchsbaum) structure. We also provide a table of all well-covered circulant graphs on 16 or less vertices, and for each such graph, determine if it is vertex decomposable, shellable, Cohen-Macaulay, and/or Buchsbaum. A highlight of this search is an example of a graph whose independence complex is shellable but not vertex decomposable.

Let $Δ$ be a pure simplicial complex and $I_Δ$ its Stanley-Reisner ideal in a polynomial ring $S$. We show that $Δ$ is a matroid (complete intersection) if and only if $S/I_Δ^{(m)}$ ($S/I_Δ^m$) is clean for all $m\in\mathbb{N}$. If $\dim(Δ)=1$, we also prove that $S/I_Δ^{(2)}$ ($S/I_Δ^2$) is clean if and only if $S/I_Δ^{(2)}$ ($S/I_Δ^2$) is Cohen-Macaulay.

Let $G=(V,E)$ be a graph. If $G$ is a König graph or $G$ is a graph without 3-cycles and 5-cycle, we prove that the following conditions are equivalent: $Δ_{G}$ is pure shellable, $R/I_Δ$ is Cohen-Macaulay, $G$ is unmixed vertex decomposable graph and $G$ is well-covered with a perfect matching of König type $e_{1},...,e_{g}$ without square with two $e_i$'s. We characterize well-covered graphs without 3-cycles, 5-cycles and 7-cycles. Also, we study when graphs without 3-cycles and 5-cycles are vertex decomposable or shellable. Furthermore, we give some properties and relations between critical, extendables and shedding vertices. Finally, we characterize unicyclic graphs with each one of the following properties: unmixed, vertex decomposable, shellable and Cohen-Macaulay.

Let $R=k[x_{1},\ldots,x_{n}]$, where $k$ is a field. The path ideal (of length $t\geq 2$) of a directed graph $G$ is the monomial ideal, denoted by $I_{t}(G)$, whose generators correspond to the directed paths of length $t$ in $G$. Let $Γ$ be a directed rooted tree. We characterize all such trees whose path ideals are unmixed and Cohen-Macaulay. Moreover, we show that $R/I_{t}(Γ)$ is Gorenstein if and only if the Stanley-Reisner simplicial complex of $I_{t}(Γ)$ is a matroid.

A long-standing conjecture of Stanley states that every Cohen-Macaulay simplicial complex is partitionable. We disprove the conjecture by constructing an explicit counterexample. Due to a result of Herzog, Jahan and Yassemi, our construction also disproves the conjecture that the Stanley depth of a monomial ideal is always at least its depth.

The proper parts of face lattices of convex polytopes are shown to satisfy a strong form of the Cohen--Macaulay property, namely that removing from their Hasse diagram all edges in any closed interval results in a Cohen--Macaulay poset of the same rank. A corresponding notion of edgewise Cohen--Macaulay connectivity for partially ordered sets is investigated. Examples and open questions are discussed.

We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that the initial ideals correspond to vertex decomposable simplicial complexes, and we determine their Hilbert functions and Castelnuovo-Mumford regularities. As a consequence, we find explicit minimal reductions for all Ferrers and many specialized Ferrers ideals, as well as their reduction numbers. These results can be viewed as extensions of the classical Dedekind-Mertens formula for the content of the product of two polynomials.

A numerical characterization is given of the so-called h-triangles of sequentially Cohen-Macaulay simplicial complexes. This result characterizes the number of faces of various dimensions and codimensions in such a complex, generalizing the classical Macaulay-Stanley theorem to the nonpure case. Moreover, we characterize the possible Betti tables of componentwise linear ideals. A key tool in our investigation is a bijection between shifted multicomplexes of degree at most d and shifted pure (d-1)-dimensional simplicial complexes.

The polyhedral product constructed from a collection of pairs of cones and their bases and a simplicial complex $K$ is studied by investigating its filtration called the fat wedge filtration. We give a sufficient condition for decomposing the polyhedral product in terms of the fat wedge filtration of the real moment-angle complex for $K$, which is a desuspension of the decomposition of the suspension of the polyhedral product due to Bahri, Bendersky, Cohen, and Gitler. We show that the condition also implies a strong connection with the Golodness of $K$, and is satisfied when $K$ is dual sequentially Cohen-Macaulay over $\mathbb{Z}$ or $\lceil\frac{\dim K}{2}\rceil$-neighborly so that the polyhedral product decomposes. Specializing to moment-angle complexes, we also give a necessary and sufficient condition for their decomposition and co-H-structures in terms of their fat wedge filtration.

We give a necessary and sufficient condition for a simplicial complex to be approximately Cohen-Macaulay. Namely it is approximately Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear and generated in two consecutive degrees. This completes the result of Herzog and Hibi who proved that a simplicial complex is sequentially Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear.

The concept of Cohen-Macaulay complexes emerged in the mid-1970s and swiftly became the focal point of an attractive and richly connected new area of mathematics, at the crossroads of combinatoics, commutative algebra and topology. As the main architect of these developments, Richard Stanley has made fundamental contributions over many years. This paper contains some brief mathematical discussions related to the Cohen-Macaulay property, and some personal memories. The characterization of Gorenstein* and homotopy Gorenstein* complexes and the relevance in that connection of the Poincaré conjecture is discussed. Another topic is combinatorial aspects of a recent result on the homotopy Cohen-Macaulayness of certain subsets of geometric lattices, motivated by questions in tropical geometry.

Anders Bjorner characterized which finite graded partially ordered sets arise as the posets of closure relations on cells of a finite, regular CW complex. His characterization of these "CW posets" required each open interval $(\hat{0},u)$ to have order complex homeomorphic to a sphere of dimension $rk(u)-2$. Work of Danaraj and Klee showed that sufficient conditions were for the poset to be thin and shellable. The proof of the Poincare Conjecture enables the requirement of shellability to be replaced by the homotopy Cohen-Macaulay property. This expands the range of tools that may be used to prove a poset is a CW poset.

We study a family of posets and the associated chain and order polytopes. We identify the order polytope as a maximal Kogan face in a Gelfand-Tsetlin polytope of a multiple of a fundamental weight. We show that the character of such a Kogan face equals to the character of a Demazure module which occurs in the irreducible representation of $\mathfrak{sl}_n$ having highest weight multiple of fundamental weight and for any such Demazure module there exists a corresponding poset and associated maximal Kogan face. We prove that the chain polytope parametrizes a monomial basis of the associated PBW-graded Demazure module and further, that the Demazure module is a favourable module, e.g. interesting geometric properties are governed by combinatorics of convex polytopes. Thus, we obtain for any minuscule Schubert variety a flat degeneration into a toric projective variety which is projectively normal and arithmetically Cohen-Macaulay. We provide a necessary and sufficient condition on the Weyl group element such that the toric variety associated to the chain polytope and the toric variety associated to the order polytope are isomorphic.