arXiv++ Combinatorics

Let $I$ be any square-free monomial ideal, and $\mathcal{H}_I$ denote the hypergraph associated with $I$. Refining the concept of $k$-admissible matching of a graph defined by Erey and Hibi, we introduce the notion of generalized $k$-admissible matching for any hypergraph. Using this, we give a sharp lower bound on the (Castelnuovo-Mumford) regularity of $I^{[k]}$, where $I^{[k]}$ denotes the $k^{\text{th}}$ square-free power of $I$. In the special case when $I$ is equigenerated in degree $d$, this lower bound can be described using a combinatorial invariant $\mathrm{aim}(\mathcal{H}_I,k)$, called the $k$-admissible matching number of $\mathcal{H}_I$. Specifically, we prove that $\mathrm{reg}(I^{[k]})\ge (d-1)\mathrm{aim}(\mathcal{H}_I,k)+k$, whenever $I^{[k]}$ is non-zero. Even for the edge ideal $I(G)$ of a graph $G$, it turns out that $\mathrm{aim}(G,k)+k$ is the first general lower bound for the regularity of $I(G)^{[k]}$. In fact, when $G$ is a forest, $\mathrm{aim}(G,k)$ coincides with the $k$-admissible matching number introduced by Erey and Hibi. Next, we show that if $G$ is a block graph, then $\mathrm{reg}(I(G)^{[k]})= \mathrm{aim}(G,k)+k$, and this result can be seen as a generalization of the corresponding regularity formula for forests. Additionally, for a Cohen-Macaulay chordal graph $G$, we prove that $\mathrm{reg}(I(G)^{[2]})= \mathrm{aim}(G,2)+2$. Finally, we propose a conjecture on the regularity of square-free powers of edge ideals of chordal graphs.

A monomial ideal $I\subseteq \mathbb{K}[x_1,\ldots , x_n]$ is called a Simis ideal if $I^{(s)}=I^s$ for all $s\geq 1$, where $I^{(s)}$ denotes the $s$-th symbolic power of $I$. Let $I$ be a support-2 monomial ideal such that its irreducible primary decomposition is minimal. We prove that $I$ is a Simis ideal if and only if $\sqrt{I}$ is Simis and $I$ has standard linear weights. This result thereby proves a recent conjecture for the class of support-2 monomial ideals proposed by Mendez, Pinto, and Villarreal. Furthermore, we give a complete characterization of the Cohen-Macaulay property for support-2 monomial ideals whose radical is the edge ideal of a whiskered graph. Finally, we classify when these ideals are Simis in degree 2.

The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes are either homeomorphic to a ball or a sphere. In a related direction, we classify when the independence complexes of very well-covered graphs are homeomorphic to balls or spheres.

For a simple graph $G$, let $J_G$ denote the corresponding binomial edge ideal. This article considers the binomial edge ideal of the corona product of two connected graphs $G$ and $H$. The corona product of $G$ and $H$, denoted by $G\circ H$, is a construction where each vertex of $G$ is connected (via the coning-off) to an entire copy of $H$. This is a direct generalization of a cone construction. Previous studies have shown that for $J_{G \circ H}$ to be Cohen-Macaulay, both $G$ and $H$ must be complete graphs. However, there are no general formulae for the dimension, depth, or Castelnuovo-Mumford regularity of $J_{G\circ H}$ for all graphs $G$ and $H$. In this article, we provide a general formula for the dimension, depth and Castelnuovo-Mumford regularity of the binomial edge ideals of certain corona and corona-type (somewhat a generalization of corona) products of special interests. Additionally, we study the Cohen-Macaulayness, unmixedness and related properties of binomial edge ideals corresponding to above class of graphs. We have also added a short note on the reduction of the Bolognini-Macchia-Strazzanti Conjecture to all graphs with a diameter of $3$.

Let $G$ be a permutation graph. We show that $G$ is Cohen-Macaulay if and only if $G$ is unmixed and vertex decomposable. When this is the case, we obtain a combinatorial description for the $a$-invariant of $G$. Moreover, we characterize the Gorenstein permutation graphs.

Let $I(Δ)^{[k]}$ denote the $k^{\text{th}}$ square-free power of the facet ideal of a simplicial complex $Δ$ in a polynomial ring $R$. Square-free powers are intimately related to the `Matching Theory' and `Ordinary Powers'. In this article, we show that if $Δ$ is a Cohen-Macaulay simplicial forest, then $R/I(Δ)^{[k]}$ is Cohen-Macaulay for all $k\ge 1$. This result is quite interesting since all ordinary powers of a graded radical ideal can never be Cohen-Macaulay unless it is a complete intersection. To prove the result, we introduce a new combinatorial notion called special leaf, and using this, we provide an explicit combinatorial formula of $\mathrm{depth}(R/I(Δ)^{[k]})$ for all $k\ge 1$, where $Δ$ is a Cohen-Macaulay simplicial forest. As an application, we show that the normalized depth function of a Cohen-Macaulay simplicial forest is nonincreasing.

For $t\geq 2$, the $t$-independence complex $\mathrm{Ind}_t(G)$ of a graph $G$ is the collection of all $A\subseteq V(G)$ such that each connected component of the induced subgraph $G[A]$ has at most $t-1$ vertices. The topology of $\mathrm{Ind}_t(G)$ is intimately related to the combinatorial property of $G$. In this article, we consider the Stanley-Reisner ideal $J_{t}(G)$ of $\mathrm{Ind}_t(G)$ and focus on its algebraic properties. We prove that for a chordal graph $G$ and for all $t$ \[ \mathrm{reg}(R/J_{t}(G))=(t-1)ν_{t}(G) \text{ and } \mathrm{pd}(R/J_{t}(G))=\mathrm{bight}(J_{t}(G)), \] where $ν_{t}(G)$ denotes the induced matching number of the corresponding hypergraph of $J_{t}(G)$, and $\mathrm{reg}$, $\mathrm{pd}$ and $\mathrm{bight}$ stand for the regularity, projective dimension, and big height, respectively. As a consequence of the above results, we combinatorially characterize when the Stanley-Reisner ideal of the $t$-independence complex of a chordal graph has a linear resolution as well as when it satisfies the Cohen-Macaulay property. The above formulas and their consequences can be seen as a nice generalization of the classical results corresponding to the edge ideals of chordal graphs.

We introduce the Schubert variety of a pair of linear subspaces in $\mathbf{C}^n$ and the external activity complex of a pair of not necessarily realizable matroids. Both of these generalize constructions of Ardila et al., which occur when one of the linear spaces is one-dimensional. We prove that our external activity complex is Cohen-Macaulay and deduce a formula for its $K$-polynomial in terms of exterior powers of the dual tautological quotient classes of matroids. As a consequence, we deduce a non-negative formula for the matroid invariant $ω(M)$ of Fink, Shaw, and Speyer in terms of certain homology groups of links within an external activity complex, proving the 2005 tropical $f$-vector conjecture of Speyer.

Motivated by the fact that as the number of generators of an ideal grows so does the complexity of calculating relations among the generators, this paper identifies collections of monomial ideals with a growing number of generators which have predictable free resolutions. We use elementary collapses from discrete homotopy theory to construct infinitely many monomial ideals, with an arbitrary number of generators, which have similar or the same betti numbers. We show that the Cohen-Macaulay property in each unmixed (pure) component of the ideal is preserved as the ideal is expanded.

We find decompositions of $h$-polynomials of flag doubly Cohen-Macaulay simplicial complex that yield a direct connection between gamma vectors of flag spheres and constructions used to build them geometrically. More specifically, they are determined by iterated double suspensions and a "net nonnegative set of edge subdivisions" taking it to the given flag doubly Cohen-Macaulay simplicial complex. By a "net nonnegative set of edge subdivision", we mean a collection of edge subdivisions and contractions where there are at least as many edge subdivisions as contractions. Returning to the flag spheres, these repeated decompositions involve links over collections of disjoint edges and give an analogue of a Lefschetz map that applies to each step of the decomposition. The constructions used also give a direct interpretation of the Boolean decompositions coming from links and those of the entire simplicial complex. Roughly speaking, the Boolean vs. non-Boolean distinction is used to measure how far a flag sphere is from being the boundary of a cross polytope. An analogue of this statement for flag doubly Cohen-Macaulay simplicial complexes would replace boundaries of cross polytopes by repeated suspensions of links over edges of the given simplicial complex.

In the present paper, we aim to classify monomial ideals whose all matching powers are Cohen-Macaulay. We especially focus our attention on edge ideals. The Cohen-Macaulayness of the last matching power of an edge ideal is characterized, providing an algebraic analogue of the famous Tutte theorem regarding graphs having a perfect matching. For chordal graphs, very well-covered graphs and Cameron-Walker graphs, we completely solve our problem.

We introduce the Macaulay2 package SCMAlgebras. It provides functions for computing the modules of deficiency and the filter ideals, in order to check whether a module or an ideal is sequentially Cohen-Macaulay. After the basic algebraic notions and results are recalled, the main features of the package are described through examples

Let $I(G)^{[k]}$ denote the $k^{th}$ square-free power of the edge ideal $I(G)$ of a graph $G$. In this article, we provide a precise formula for the depth of $I(G)^{[k]}$ when $G$ is a Cohen-Macaulay forest. Using this, we show that for a Cohen-Macaulay forest $G$, the $k^{th}$ square-free power of $I(G)$ is always Cohen-Macaulay, which is quite surprising since all ordinary powers of $I(G)$ can never be Cohen-Macaulay unless $G$ is a disjoint union of edges. Next, we give an exact formula for the regularity and tight bounds on the depth of square-free powers of edge ideals of cycles. In the case of whiskered cycles, we obtain tight bounds on the regularity and depth of square-free powers, which aids in identifying when such ideals have linear resolutions. Additionally, we compute depth of $I(G)^{[2]}$ when $G$ is a cycle or whiskered cycle, and regularity of $I(G)^{[2]}$ when $G$ is a whiskered cycle.

Some recent investigations indicate that for the classification of Cohen-Macaulay binomial edge ideals, it suffices to consider biconnected graphs with some whiskers attached (in short, `block with whiskers'). This paper provides explicit combinatorial formulae for the Castelnuovo-Mumford regularity of two specific classes of Cohen-Macaulay binomial edge ideals: (i) chain of cycles with whiskers and (ii) $r$-regular $r$-connected block with whiskers. For the first type, we introduce a new invariant of graphs in terms of the number of blocks in certain induced block graphs, and this invariant may help determine the regularity of other classes of binomial edge ideals. For the second type, we present the formula as a linear function of $r$.

We introduce the notion of power lattices that unifies and extends the equicardinal geometric lattices, Cartesian products of subspace lattices, and multiset subset lattices, among several others. The notions of shellability for simplicial complexes, q-complexes, and multicomplexes are then unified and extended to that of complexes in power lattices, which we name as P-complexes. A nontrivial class of shellable P-complexes are obtained via P-complexes of the independent sets of a matroid in power lattice, which we introduce to generalize matroids in Boolean lattices, q-matroids in subspace lattices, and sum-matroids in Cartesian products of subspace lattices. We also prove that shellable P-complexes in a power lattice yield shellable order complexes, extending the celebrated result of shellability of order complexes of (equicardinal) geometric lattices by Björner and also, a recent result on shellability of order complexes of lexicographically shellable q-complexes. Finally, we provide a construction of matroids on the lattice of multiset subsets from weighted graphs. We also consider a variation of Stanley-Reisner rings associated with shellable multicomplexes than the one considered by Herzog and Popescu and proved that these rings are sequentially Cohen-Macaulay.

In the present paper, we investigate a conjecture of Jürgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical module $ω_R$. Herzog conjectured that the canonical trace $\text{tr}(ω_R)$ is obtained by specialization from the generic case of maximal minors. We prove this conjecture in several cases, and present a criterion that guarantees that the canonical trace specializes under some additional assumptions. As the final conclusion of all of our results, we classify the nearly Gorenstein monomial ideals of height two.

In this article, we give combinatorial formulas for the regularity and the projective dimension of $3$-path ideals of chordal graphs, extending the well-known formulas for the edge ideals of chordal graphs given in terms of the induced matching number and the big height, respectively. As a consequence, we get that the $3$-path ideal of a chordal graph is Cohen-Macaulay if and only if it is unmixed. Additionally, we show that the Alexander dual of the $3$-path ideal of a tree is vertex splittable, thereby resolving the $t=3$ case of a recent conjecture in [Internat. J. Algebra Comput., 33(3):481--498, 2023]. Also, we give examples of chordal graphs where the duals of their $t$-path ideals are not vertex splittable for $t\ge 3$. Furthermore, we extend the formula of the regularity of $3$-path ideals of chordal graphs to all $t$-path ideals of caterpillar graphs. We then provide some families of graphs to show that these formulas for the regularity and the projective dimension cannot be extended to higher $t$-path ideals of chordal graphs (even in the case of trees).

We prove that wheels and block graphs have sequentially Cohen-Macaulay binomial edge ideals. Moreover, we provide a construction of new families of sequentially Cohen-Macaulay graphs by cones.

Let $R$ be a finite ring with identity. The unit graph (unitary Cayley graph) of $R$ is the graph with vertex set $R$, where two distinct vertices $x$ and $y$ are adjacent exactly whenever $x+y$ is a unit in $R$ ($x-y$ is a unit in $R$). Here, we study independent sets of unit graphs of matrix rings over finite fields and use them to characterize all finite rings for which the unit graph is well-covered or Cohen-Macaulay. Moreover, we show that the unit graph of $R$ is well-covered if and only if the unitary Cayley graph of $R$ is well-covered and the characteristic of $R/J(R)$

In this paper, we study the asymptotic behaviour of the v-number of a Noetherian graded filtration $\mathcal{I}= \{I_{[k]}\}_{k\geq 0}$ of a Noetherian $\mathbb{N}$-graded domain $R$. Recently, it is shown that $\mathrm{v}(I_{[k]})$ is periodically linear in $k$ for $k \gg 0$. We show that all these linear functions have the same slope, i.e. $\displaystyle \lim_{k \rightarrow \infty}\frac{\mathrm{v}(I_{[k]})}{k}$ exists, which is equal to $\displaystyle \lim_{k \rightarrow \infty}\frac{α(I_{[k]})}{k}$, where $α(I)$ denotes the minimum degree of a non-zero element in $I$. In particular, for any Noetherian symbolic filtration $\mathcal{I}= \{I^{(k)}\}_{k\geq 0}$ of $R$, it follows that $\displaystyle \lim_{k \rightarrow \infty}\frac{\mathrm{v}(I^{(k)})}{k}=\hatα(I)$, the Waldschmidt constant of $I$. Next, for a non-equigenerated square-free monomial ideal $I$, we prove that $\mathrm{v}(I^{(k)}) \leq \mathrm{reg}(R/I^{(k)})$ for $k\gg 0$. Also, for an ideal $I$ having the symbolic strong persistence property, we give a linear upper bound on $\mathrm{v}(I^{(k)})$. As an application, we derive some criteria for a square-free monomial ideal $I$ to satisfy $\mathrm{v}(I^{(k)})\leq \mathrm{reg}(R/I^{(k)})$ for all $k\geq 1$, and provide several examples in support. In addition, for any simple graph $G$, we establish that $\mathrm{v}(J(G)^{(k)}) \leq \mathrm{reg}(R/J(G)^{(k)})$ for all $k \geq 1$, and $\mathrm{v}(J(G)^{(k)}) = \mathrm{reg}(R/J(G)^{(k)})=α(J(G)^{(k)})-1$ for all $k\geq 1$ if and only if $G$ is a Cohen-Macaulay very-well covered graph, where $J(G)$ is the cover ideal of $G$.