arXiv++ Combinatorics

We study the class of squarefree principal vector-spread Borel ideals. We compute the minimal primary decomposition of these ideals and thereby we prove that they are sequentially Cohen-Macaulay. As the final conclusion of our results, we completely classify the ideals in our class having the property that their ordinary and symbolic powers coincide.

For a non-negative integer $k$, let $\mathrm{HS}_{k}(J(G))$ denote the $k^{\text{th}}$ homological shift ideal of the vertex cover ideal $J(G)$ of a graph $G$. For each $k\geq 2$, we construct a Cohen-Macaulay very well-covered graph $G_k$ which is both Cohen-Macaulay bipartite and a whiskered graph so that $\mathrm{HS}_{k}(J(G))$ does not have a linear resolution. This contradicts several results as well as disproves a conjecture in [J. Algebra, $\mathbf{629}$, (2023), 76-108] and [Mediterr. J. Math., $\mathbf{21}$, 135 (2024)]. The graphs $G_k$ are also examples of clique-whiskered graphs introduced by Cook and Nagel, which include Cohen-Macaulay chordal graphs, Cohen-Macaulay Cameron-Walker graphs, and clique corona graphs. Surprisingly, for Cohen-Macaulay chordal graphs, we can use a special ordering on the minimal generators to show that $\mathrm{HS}_{k}(J(G))$ has linear quotients for all $k$. Moreover, for all Cohen-Macaulay Cameron-Walker graphs and certain clique corona graphs, we show that $\mathrm{HS}_{k}(J(G))$ is weakly polymatroidal, and thus, has linear quotients for all $k$.

In this paper, we propose a uniform approach to tackle problems about squarefree monomial ideals whose powers have good properties. We employ this approach to achieve a twofold goal: (i) recover and extend several well--known results in the literature, especially regarding Stanley--Reisner ideals of matroids, and (ii) provide short, elementary proofs for these results. Among them, we provide simple proofs of two celebrated results of Minh and Trung, Varbaro, and Terai and Trung elegantly characterizing the Cohen-Macaulay property, or even Serre's condition $(S_2)$, of symbolic and ordinary powers of squarefree monomial ideals in terms of their combinatorial (matroidal) structure. Our work relies on the interplay of several combinatorial and algebraic concepts, including dualities, polarizations, Serre's conditions, matroids, Hochster-Huneke graphs, vertex decomposability, and careful choices of monomial orders.

Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple. In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig. In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth. This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.

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.