arXiv++ Combinatorics

We give the resolutions of co-letterplace ideals of posets in a completely explicit, very simple form. This generalizes and simplifies a number of linear resolutions in the literature, among them the Eliahou-Kervaire resolutions of strongly stable ideals generated in a single degree. Our method is based on a general result of K. Yanagawa using the canonical module of a Cohen-Macaulay Stanley-Reisner ring. We discuss in detail how the canonical module may effectively be computed, and from this derive directly the resolutions. A surprising consequence is that we obtain a large class of simplicial spheres comprehensively generalizing Bier spheres.

Recently, Earl, Vander Meulen, and Van Tuyl characterized some families of Cohen-Macaulay or Buchsbaum circulant graphs discovered by Boros-Gurvich-Milani$\check{\text{c}}$, Brown-Hoshino, and Moussi. In this paper, we will characterize those families of circulant graphs which satisfy Serre's condition $S_2$. More precisely, we show that for some families of circulant graphs, $S_2$ property is equivalent to well-coveredness or Buchsbaumness, and for some other families it is equivalent to Cohen-Macaulayness. We also give examples of infinite families of circulant graphs which are Buchsbaum but not $S_2$, and vice versa.

We explore the relationship between a certain "abelian duality" property of spaces and the propagation properties of their cohomology jump loci. To that end, we develop the analogy between abelian duality spaces and those spaces which possess what we call the "EPY property." The same underlying homological algebra allows us to deduce the propagation of jump loci: in the former case, characteristic varieties propagate, and in the latter, the resonance varieties. We apply the general theory to arrangements of linear and elliptic hyperplanes, as well as toric complexes, right-angled Artin groups, and Bestvina-Brady groups. Our approach brings to the fore the relevance of the Cohen-Macaulay condition in this combinatorial context.

An affine oriented matroid is a combinatorial abstraction of an affine hyperplane arrangement. From it, Novik, Postnikov and Sturmfels constructed a squarefree monomial ideal in a polynomial ring, called an oriented matroid ideal, and got beautiful results. Developing their theory, we will show the following. (1) If an oriented matroid ideal is Cohen-Macaulay, then the bounded complex (a regular CW complex associated with it) of the corresponding affine oriented matroid is a contractible homology manifold with boundary. This is closely related to Dong's theorem, which used to be "Zaslavsky's conjecture". (2) We characterize the affine oriented matroid whose corresponding ideal is Cohen-Macaulay. (3) In the Cohen-Macaulay case, we give a description of the canonical module of the residue class ring by an oriented matroid ideal.

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.