arXiv++ Combinatorics

Let $G$ be a graph and $I(G)$ its edge ideal. The $p$-th squarefree power $I(G)^{[p]}$ is the monomial ideal generated by squarefree monomials corresponding to the matchings of size $p$ of $G$. In this paper, we provide a combinatorial characterization of when $I(G)^{[p]}$ is linearly related, i.e., when its first syzygy module is generated by linear forms. Moreover, for a $1$-dimensional flag simplicial complex $Δ$ and its Stanley-Reisner ideal $I_Δ$, which arises as the edge ideal of the complement graph of $Δ$, we describe the shape of the Betti table of $I_Δ^{[p]}$ and we give a combinatorial characterization of when $I_Δ^{[p]}$ has a linear resolution.

Let $G$ and $H$ be finite simple graphs and assume that either both are undirected or both are directed. We introduce and study the ideal of weak graph homomorphisms $I_{G\to H}$. We characterize all graphs $G$ and $H$ for which every (equivalently, some) power of $I_{G\to H}$ has a linear resolution. Moreover, unmixedness, Cohen-Macaulayness, projective dimension and Castelnuovo-Mumford regularity of these ideals are studied.

In this article, we characterize all trees whose highest non-vanishing squarefree power of the closed neighborhood ideal is componentwise linear. In addition, we investigate the Castelnuovo-Mumford regularity of the $ν$-th squarefree power of the closed neighborhood ideal of trees and show that this number can be arbitrarily larger than the degree of the ideal. Finally, we give a formula for the regularity of $ν$-th squarefree power of the closed neighborhood ideal of caterpillar graphs.

In this paper, we provide a complete description of the minimal primes of ideals generated by adjacent $2$-minors, in terms of the so-called admissible sets and associated lattice ideals. We prove that for these ideals, the properties of being unmixed, Cohen-Macaulay, level, Gorenstein, and complete intersection are equivalent. Moreover, we give a combinatorial characterization of all convex collections of cells satisfying any of these equivalent properties. Finally, we study the radicality of these ideals and derive necessary combinatorial conditions based on minimal non-radical configurations.

We explore the novel connection between rook placements on collections of cells, also known as pruned chessboards, and the algebraic properties of ideals generated by $2$-minors. We design an algorithm to compute the switching rook polynomial of a collection of cells and show that it coincides with the $h$-polynomial of the associated coordinate ring for all collections up to rank 10 and polyominoes up to rank 12. Motivated by this evidence, we conjecture that the correspondence holds in general, and we prove it for certain convex collections of cells by algebraic tools.

Polyomino ideals, defined as the ideals generated by the inner $2$-minors of a polyomino, are a class of binomial ideals whose algebraic properties are closely related to the combinatorial structure of the underlying polyomino. We provide a unified account of recent advances on two central themes: the characterization of prime polyomino ideals and the emerging connection between the Hilbert-Poincaré series and Gorensteinness of $K[\mathcal{P}]$ with the classical rook theory. Some further related properties, as radicality, primary decomposition, and levelness are discussed, and a \textit{Macaulay2} package, namely \texttt{PolyominoIdeals}, is also presented.

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from a Young diagram and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres. A complete characterization of their vertex-decomposability is provided, and in several cases, we establish explicit formulas for their homotopy types. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs, as well as of certain ideals generated by subsets of their minimal generators. As an application, we derive formulas for the projective dimension and Krull dimension of these squarefree powers.

The rook polynomial is a generating function that enumerates the number of ways to place rooks, with no two in the same row or column, on a collection of cells regarded as a pruned chessboard. In combinatorial commutative algebra, special attention is devoted to its variant, the switching rook polynomial, which is conjectured to coincide with the $h$-polynomial of the $K$-algebra associated with the given collection of cells. In this context, palindromicity plays a crucial role, as it reflects the algebraic property of Gorensteinness. In this paper, we introduce a new combinatorial property, called domino-stability, and we prove that the switching rook polynomial of a collection of cells $\mathcal{P}$ is palindromic if and only if $\mathcal{P}$ is domino-stable. Building upon this result, we derive new insights into the characterization of Gorenstein $K$-algebras arising from polyominoes or, more generally, from collections of cells.

In this paper, we introduce the concept of complementary edge ideals of graphs and study their algebraic properties and invariants.

Let $G$ be a finite simple graph, and let $I(G)$ denote its edge ideal. In this paper, we investigate the asymptotic behavior of the syzygies of powers of edge ideals through the lens of homological shift ideals $\text{HS}_i(I(G)^k)$. We introduce the notion of the $i$th homological strong persistence property for monomial ideals $I$, providing an algebraic characterization that ensures the chain of inclusions $\text{Ass}\,\text{HS}_i(I)\subseteq\text{Ass}\,\text{HS}_i(I^2)\subseteq\text{Ass}\,\text{HS}_i(I^3) \subseteq\cdots$. We prove that edge ideals possess both the $0$th and $1$st homological strong persistence properties. To this end, we explicitly describe the first homological shift algebra of $I(G)$ and show that $\text{HS}_1(I(G)^{k+1}) = I(G) \cdot \text{HS}_1(I(G)^k)$ for all $k \ge 1$. Finally, we conjecture that if $I(G)$ has a linear resolution, then $\text{HS}_i(I(G)^k)$ also has a linear resolution for all $k \gg 0$, and we present partial results supporting this conjecture.

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$, and let $I\subset S$ be a monomial ideal. In this paper, we introduce the $i$th \textit{homological shift algebras} $\text{HS}_i(\mathcal{R}(I))=\bigoplus_{k\ge1}\text{HS}_i(I^k)$ of $I$. If $I$ has linear powers, these algebras have the structure of a finitely generated bigraded module over the Rees algebra $\mathcal{R}(I)$ of $I$. Hence, many invariants of $\text{HS}_i(I^k)$, such as depth, associated primes, regularity, and the $\text{v}$-number, exhibit well behaved asymptotic behavior. We determine several families of monomial ideals $I$ for which $\text{HS}_i(I^k)$ has linear resolution for all $k\gg0$. Finally, we show that $\text{HS}_i(I^k)$ is Golod for all monomial ideals $I\subset S$ with linear powers and all $k\gg0$.

We consider standard graded toric rings $R_Δ$ whose generators correspond to the faces of a simplicial complex $Δ$. When $R_Δ$ is normal, it is shown that its divisor class group is free. For a flag complex $Δ$ which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of $R_Δ$ in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of $R_Δ$ is presented. Using this fact we give combinatorial descriptions for the $a$-invariant and the Gorenstein property of $R_Δ$.

We present a conjecture about the reduced Hilbert series of the coordinate ring of a simple polyomino in terms of particular arrangements of non-attacking rooks that can be placed on the polyomino. By using a computational approach, we prove that the above conjecture holds for all simple polyominoes up to rank $11$. In addition, we prove that the conjecture holds true for the class of parallelogram polyominoes, by looking at those as simple planar distributive lattices. Finally, we give a combinatorial interpretation of the Gorensteinnes of parallelogram polyominoes.

We study the closed neighborhood ideals and the dominating ideals of graphs, in particular, of trees and cycles. We prove that the closed neighborhood ideals and the dominating ideals of trees are normally torsion-free. The closed neighborhood ideals and the dominating ideals of cycles fail to be normally torsion-free. However, we prove that the closed neighborhood ideals of cycles admit the (strong) persistence property and the dominating ideals of cycles are nearly normally torsion-free.

We prove that the set of all paths of a fixed length in a complete multipartite graph is the bases of a matroid. Moreover, we discuss the Cohen-Macaulayness and depth of powers of $t$-path ideals of a complete multipartite graph.

We show that the second power of the cover ideal of a path graph has linear quotients. To prove our result we construct a recursively defined order on the generators of the ideal which yields linear quotients. Our construction has a natural generalization to the larger class of chordal graphs. This generalization allows us to raise some questions that are related to some open problems about powers of cover ideals of chordal graphs.

We study the coordinate ring of an $L$-convex polyomino, determine its regularity in terms of the maximal number of rooks that can be placed in the polyomino. We also characterize the Gorenstein $L$-convex polyominoes and those which are Gorenstein on the punctured spectrum, and compute the Cohen--Macaulay type of any $L$-convex polyomino in terms of the maximal rectangles covering it.

We introduce the concept of $t$-spread monomials and $t$-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the $t$-fold stretching operator. It is shown that $t$-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from $t$-spread principal Borel ideals.

Let $L$ be a distributive lattice and $R(L)$ the associated Hibi ring. We compute $\reg R(L)$ when $L$ is a planar lattice and give a lower bound for $\reg R(L)$ when $L$ is non-planar, in terms of the combinatorial data of $L.$ As a consequence, we characterize the distributive lattices $L$ for which the associated Hibi ring has a linear resolution.

We introduce a class of ideals generated by a set of 2-minors of $m\times n$-matrix of indeterminates indexed by a pair of graphs. This class of ideals is a natural common generalization of binomial edge ideals and ideals generated by adjacent minors. We determine the minimal prime ideals of such ideals and give a lower bound for their degree of nilpotency. In some special cases we compute their Gröbner basis and characterize unmixedness and Cohen--Macaulayness.