arXiv++ Combinatorics

Let $G$ be a finite simple graph and $NI(G)$ be the closed neighborhood ideal of $G$ in the polynomial ring $S=K[V(G)]$. In this paper, we study the Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness of this ideal. For any chordal graph $G$, we show that $\text{reg}(S/NI(G))=τ(G)$, where $τ(G)$ denotes the vertex cover number of $G$. This generalizes the corresponding result for trees shown in [3], as in trees $τ(G)$ is the same as the matching number of $G$. When $G$ is a bipartite graph or a very well-covered graph, we notice that $\text{reg}(S/NI(G))\geq τ(G)$ and that this inequality can be strict in general. Moreover, we describe the projective dimension of $S/NI(G)$ for some families of graphs. Finally, we give a characterization of very well-covered graphs $G$ for which the ring $S/NI(G)$ is Cohen-Macaulay.

In this paper, we initiate a systematic study of generalized binomial edge ideals of whisker graphs by working within a substantially broader class of graphs. We extend the notion of generalized corona products, and through this enlarged framework, investigate fundamental algebraic invariants such as depth, (Castelnuovo-Mumford) regularity, and the Cohen-Macaulay property. In particular, we establish a sharp lower bound on the depth of generalized binomial edge ideals for our extended class, and further obtain explicit depth formula for a broad subclass of this family, which in turn recovers the depth formula for whisker graphs. We also establish sharp upper bounds for the regularity, and in the case of binomial edge ideals of whisker graphs over gap-free graphs, determine the exact value of the regularity. Finally, for our extended class, we provide a combinatorial classification of all Cohen-Macaulay binomial edge ideals, which in turn yields a new construction of Cohen-Macaulay binomial edge ideals.

We show that the (non-Noetherian) Stanley-Reisner ring of the order complex of certain intervals in the Bruhat order on the infinite symmetric group $S_\infty$ of all auto-bijections of $\mathbb{N}$ is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. This gives an infinite-dimensional version of results due to Edelman, Björner, and Kind and Kleinschmidt for finite symmetric groups $S_n$.

We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply this result to prove the wanted claim -- that initial complexes of matrix Schubert varieties corresponding to infinite permutations in $S_{\infty}$ with respect to an antidiagonal term order are Cohen-Macaulay (in the same sense), giving rise to new examples of non-Noetherian Cohen-Macaulay rings.

We investigate the Gauss algebra for squarefree Veronese algebras generated in degree $3$. For small dimensions not exceeding $7$, we determine the Gauss algebra by specifying its generators and show in particular that it is normal and Cohen-Macaulay.

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.

Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via schemes, with the interpolation constraints -- or so-called GKM-condition -- encoded by gluing along certain closed subschemes. This view provides a local-global principle, with the local pictures retaining the generalized spline structure. Consequently, the behavior of generalized splines over local rings controls certain global phenomena, such as projectivity and often freeness. We introduce an interface between the homological study of local rings and the combinatorial study of generalized splines. We identify precisely how the generalized spline structure coordinates with the existing homological local ring machinery. This is accomplished by two exact sequences that provide a regulatory structure on the local cohomology of a generalized spline module. As an application, we use this to prove that for any edge-labeled graph $G$ with principal ideal labels, and any Cohen-Macaulay ring $R$ of Krull dimension 2 at each maximal ideal, the module of splines $R_G$ is free, provided it has finite projective dimension. As a special case, this implies every generalized spline module over $k[x,y]$ with principal edge labels is free.

In this paper, we study rooted products of graphs from the perspective of combinatorial commutative algebra. For edge ideals, we introduce the 2-Cohen-Macaulayness with respect to a vertex and use it to investigate when edge ideals of rooted products of graphs are Cohen-Macaulay. Moreover, we completely determine when attaching a graph on at most six vertices to a given graph as rooted products, yields a Cohen-Macaulay edge ideal. Also, we define mulit-clique corona graphs as a generalization of clique-corona graphs and multi-whisker graphs. We prove that multi-clique corona graphs are vertex decomposable and hence sequentially Cohen-Macaulay. Also, we give formulas for the projective dimension and the Castelnuovo-Mumford regularity.

We propose definitions of the common bases complex, the poset of decompositions, and the poset of partial decompositions for arbitrary spherical buildings. We show that the poset of decompositions is Cohen-Macaulay, and that the poset of partial decompositions is spherical and homotopy equivalent to the common bases complex. To prove these results, we rely on the concepts of opposition, Levi spheres, and convexity in buildings. In particular, our results extend the already known constructions for the linear case (vector spaces) to arbitrary buildings. As a byproduct, we see that the poset of ordered partial decompositions carries the square of the Steinberg representation.

We show a variation of the usual homological freeness criterion for operadic modules over a Koszul operad. We then apply this result to decorated partition posets for some operads, showing that their augmentation is Cohen-Macaulay and computing its homology. This work answers several open questions asked by Bérénice Delcroix-Oger and Clément Dupont in a recent article.

We introduce and investigate generalizations of interval and proper interval graphs to simplicial complexes, including strong interval, unit interval, and under closed variants. Through equivalent combinatorial and algebraic characterizations, we uncover hierarchies among these classes and extend key results to higher dimensions, such as the equivalence of closed and proper interval graphs. These formulations enable significant applications, including finding conditions for the sortability of d-independence complexes, constructions of normal Cohen-Macaulay domains linked to d-unit interval graphs, and forbidden subgraph theorems establishing chordality and d-claw-freeness. Our work advances the connections between graph theory, simplicial complexes, and commutative algebra, offering new insights into the algebraic underpinnings of combinatorial structures.

We introduce the abstract notion of squarefree-power-like functions, which unify the sequences of squarefree ordinary and symbolic powers of squarefree monomial ideals. By employing the Tor-vanishing criteria for mixed sums of ideals, we establish sharp lower bounds for their Castelnuovo-Mumford regularity in terms of what we call the admissible set of the associated hypergraph. As an application, we derive the first general combinatorial lower bound for the regularity of squarefree symbolic powers of monomial ideals. In the setting of edge ideals, by exploiting the special combinatorial structures of block graphs and Cohen-Macaulay chordal graphs, we show that this bound turns into an exact formula for all squarefree symbolic powers of block graphs, as well as for the second squarefree symbolic powers of edge ideals of Cohen-Macaulay chordal graphs.

Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.

We investigate an invariant, called the Serre depth, from the perspective of combinatorial commutative algebra. In this paper, we establish several properties of an analogue of the depth of Stanley-Reisner rings. In particular, we relate the Serre depth both to the minimal free resolution of a Stanley-Reisner ring and to that of its Alexander dual. Also, we establish an analogue of a known result that describes the depth of Stanley-Reisner rings in terms of skeletons. Moreover, we study the Serre depth for $(S_{2})$ and the depth on the symbolic powers of Stanley--Reisner ideals. It had been an open question whether the depth of the symbolic powers of Stanley-Reisner ideals satisfies a non-increasing property, but Nguyen and Trung provided a negative answer. We construct an example that the Serre depth for $(S_{2})$ and the depth do not satisfy this property and its second symbolic power is Cohen-Macaulay. Moreover, we prove that the sequence of the Serre depth for $(S_{2})$ on the symbolic powers is convergent and that its limit coincides with the minimum value. Finally, we study the Serre depth on edge and cover ideals. Whether the depth on symbolic powers of edge ideals satisfies a non-increasing property has remained an open question. We address a related problem and show that the Serre depth for $(S_{2})$ on edge ideals of any well-covered graph satisfies a non-increasing property. In addition, we prove that the Serre depth for $(S_{2})$ on the cover ideals of any graph also satisfies a non-increasing property. Moreover, we determine the Serre depth on edge ideals of very well-covered graphs.

Motivated by the analogy with the Coxeter complex on one side, and parking functions on the other side, we study the poset of parabolic cosets in a finite Coxeter group. We show that this poset is Cohen-Macaulay, and get an explicit formula for the character of its (unique) nonzero homology group in terms of the Möbius function of the intersection lattice. This homology character becomes a positive element of the parabolic Burnside ring (in its natural basis) after tensoring with the sign character. The coefficients of this character essentially encode the colored $h$-vector of the positive chamber complex (following Bastidas, Hohlweg, and Saliola, this complex is defined by taking Weyl chambers that lie on the positive side of a generic hyperplane). Roughly speaking, tensoring by the sign character on one side corresponds to the transformation going from the $f$-vector to the $h$-vector on the other side.

In this study, we investigate the binomial edge ring associated with the skew Ferrers diagram. By employing Sagbi basis theory, we construct a quadratic Gröbner basis for its defining ideal. As an application, we prove that this ring is a Koszul, Cohen-Macaulay, normal domain. Moreover, we precisely determine its Krull dimension.

We prove that a finite graded simplicial poset with a top element added has real-rooted Chow and augmented Chow polynomials whenever it has a positive $h$-vector. This class of posets include Cohen-Macaulay simplicial posets and in particular lattices of flats of uniform matroids.

Following Welsh, a pre-independence space (pi-space) is a set $M$ together with a non-empty collection $I(M)$ of subsets of $M$, called independent sets, which is closed under taking subsets, and finite independent sets satisfy the exchange property from matroid theory. We show that $I(M)$, viewed as a poset, is contractible if it is infinite-dimensional, and Cohen-Macaulay otherwise. Moreover, the proper part of the associated poset of flats is also contractible in the infinite-dimensional case, and Cohen-Macaulay otherwise. These results generalize those for independence complexes and geometric lattices of (finite) matroids.

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as established in [11], in this work we investigate the algebraic and homological properties of $I$ and its powers. To this end, we introduce the complementary edge ideal of a finite simple graph $G$ as the ideal $$I_c(G)=((x_1\cdots x_n)/(x_ix_j):\{i,j\}\in E(G)) $$ of $S$, where $V(G)=\{1,\ldots,n\}$ and $E(G)$ is the edge set of $G$. By interpreting any squarefree monomial ideal $I$ generated in degree $n-2$ as the complementary edge ideal of a graph $G$, we establish a correspondence between algebraic invariants of $I$ and combinatorial properties of $G$. More precisely, we characterize sequentially Cohen-Macaulay, Cohen-Macaulay, Gorenstein, nearly Gorenstein and matroidal complementary edge ideals. Moreover, we determine the regularity of powers of $I$ in terms of combinatorial invariants of the graph $G$ and obtain that $I^k$ has linear resolution or linear quotients for some $k$ (equivalently for all $k\geq 1$) if and only if $G$ has only one connected component with at least two vertices.

We consider the relationship between the Stanley-Reisner ring (a.k.a. face ring) of a simplicial or boolean complex $Δ$ and that of its barycentric subdivision. These rings share a distinguished parameter subring. S. Murai asked if they are isomorphic, equivariantly with respect to the automorphism group $\operatorname{Aut}(Δ)$, as modules over this parameter subring. We show that, in general, the answer is no, but for Cohen-Macaulay complexes in characteristic coprime to $|\operatorname{Aut}(Δ)|$, it is yes, and we give an explicit construction of an isomorphism. To give this construction, we adapt and generalize a pair of tools introduced by A. Garsia in 1980. The first one transfers bases from a Stanley-Reisner ring to closely related rings of which it is a Gröbner degeneration, and the second identifies bases to transfer.