arXiv++ Combinatorics

Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then also the second degeneracy scheme is integral. In the process, we describe the behavior of configuration polynomials, forms and schemes with respect to various matroid constructions.

Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $J$ be a matroidal ideal of degree $d$ in $R$. In this paper, we study the class of sequentially Cohen-Macaulay matroidal ideals. In particular, all sequentially Cohen-Macaulay matroidal ideals of degree $2$ are classified. Furthermore, we give a classification of sequentially Cohen-Macaulay matroidal ideals of degree $d\geq 3$ in some special cases.

We describe the structure of the monoid of natural-valued monotone functions on an arbitrary poset. For this monoid we provide a presentation, a characterization of prime elements, and a description of its convex hull. We also study the associated monoid ring, proving that it is normal, and thus Cohen-Macaulay. We determine its Cohen-Macaulay type, characterize the Gorenstein property, and provide a Gröbner basis of the defining ideal. Then we apply these results to the monoid of quasi-arithmetic multiplicities on a uniform matroid. Finally we state some conjectures on the number of irreducibles for the monoid of multiplicities on an arbitrary matroid.

We show how to find higher generating families of subgroups, in the sense of Abels and Holz, for groups acting on Cohen-Macaulay complexes. We apply this to groups with a BN-pair to prove higher generation by parabolic and Levi-subgroups and describe higher generating families of parabolic subgroups in Aut(F_n).

We prove upper bounds for the graded Betti numbers of Stanley-Reisner rings of balanced simplicial complexes. Along the way we show bounds for Cohen-Macaulay graded rings $S/I$, where $S$ is a polynomial ring and $I\subseteq S$ is an homogeneous ideal containing a certain number of generators in degree 2, including the squares of the variables. Using similar techniques we provide upper bounds for the number of linear syzygies for Stanley-Reisner of balanced normal pseudomanifolds. Moreover, we compute explicitly the graded Betti numbers of cross-polytopal stacked spheres, and show that they only depend on the dimension and the number of vertices, rather than also the combinatorial type.

We introduce the concept of monomial ideals with stable projective dimension, as a generalization of the Cohen-Macaulay property. Indeed, we study the class of monomial ideals $I$, whose projective dimension is stable under monomial localizations at monomial prime ideals $\fp$, with $\height \fp\geq \pd S/I$. We study the relations between this property and other sorts of Cohen-Macaulayness. Finally, we characterize some classes of polymatroidal ideals with stable projective dimension.

Let $G$ be a finite simple graph on the vertex set $[n] = \{ 1, \ldots, n \}$ and $K[X, Y] = K[x_1, \ldots, x_n, y_1, \ldots, y_n]$ the polynomial ring in $2n$ variables over a field $K$ with each $\mathrm{deg} x_i = \mathrm{deg} y_j = 1$. The binomial edge ideal of $G$ is the binomial ideal $J_G \subset K[X, Y]$ which is generated by those binomials $x_iy_j - x_jy_i$ for which $\{i, j\}$ is an edge of $G$. The Hilbert series $H_{K[X, Y]/J_G}(λ)$ of $K[X, Y]/J_G$ is of the form $H_{K[X, Y]/J_G}(λ) = h_{K[X, Y]/J_G}(λ)/(1 - λ)^d$, where $d = \mathrm{dim} K[X, Y]/J_G$ and where $h_{K[X, Y]/J_G}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with each $h_i \in \mathbb{Z}$ and with $h_s \neq 0$ is the $h$-polynomial of $K[X, Y]/J_G$. It is known that, when $K[X, Y]/J_G$ is Cohen-Macaulay, one has $\mathrm{reg}(K[X, Y]/J_G) = \mathrm{deg} h_{K[X, Y]/J_G}(λ)$, where $ \mathrm{reg}(K[X, Y]/J_G)$ is the (Castelnuovo-Mumford) regularity of $K[X, Y]/J_G$. In the present paper, given arbitrary integers $r$ and $s$ with $2 \leq r \leq s$, a finite simple graph $G$ for which $\mathrm{reg}(K[X, Y]/J_G) = r$ and $\mathrm{deg} h_{K[X, Y]/J_G}(λ) = s$ will be constructed.

In algebraic, topological, and geometric combinatorics inequalities among the coefficients of combinatorial polynomials are frequently studied. Recently a notion called the alternatingly increasing property, which is stronger than unimodality, was introduced. In this paper, we relate the alternatingly increasing property to real-rootedness of the symmetric decomposition of a polynomial to develop a systematic approach for proving the alternatingly increasing property for several classes of polynomials. We apply our results to strengthen and generalize real-rootedness, unimodality, and alternatingly increasing results pertaining to colored Eulerian and derangement polynomials, Ehrhart $h^\ast$-polynomials for lattice zonotopes, $h$-polynomials of barycentric subdivisions of doubly Cohen-Macaulay level simplicial complexes, and certain local $h$-polynomials for subdivisions of simplices. In particular, we prove two conjectures of Athanasiadis.

The category of Cohen-Macaulay modules of an algebra $B_{k,n}$ is used [JKS16] to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander--Reiten sequences and study the Auslander--Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen-Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the associated Kac-Moody algebra in the tame cases.

We prove that $t$-spread principal Borel ideals are sequentially Cohen-Macaulay and study their powers. We show that these ideals possess the strong persistence property and compute their limit depth.

The Jacobian algebra arising from a consistent dimer model is a bimodule $3$-Calabi-Yau algebra, and its center is a $3$-dimensional Gorenstein toric singularity. A perfect matching of a dimer model gives the degree making the Jacobian algebra $\mathbb{Z}$-graded. It is known that if the degree zero part of such an algebra is finite dimensional, then it is a $2$-representation infinite algebra which is a generalization of a representation infinite hereditary algebra. Internal perfect matchings, which correspond to toric exceptional divisors on a crepant resolution of a $3$-dimensional Gorenstein toric singularity, characterize the property that the degree zero part of the Jacobian algebra is finite dimensional. Combining this characterization with the theorems due to Amiot-Iyama-Reiten, we show that the stable category of graded maximal Cohen-Macaulay modules admits a tilting object for any $3$-dimensional Gorenstein toric isolated singularity. We then show that all internal perfect matchings corresponding to the same toric exceptional divisor are transformed into each other using the mutations of perfect matchings, and this induces derived equivalences of $2$-representation infinite algebras.

We extend the notion of face rings of simplicial complexes and simplicial posets to the case of finite-length (possibly infinite) simplicial posets with a group action. The action on the complex induces an action on the face ring, and we prove that the ring of invariants is isomorphic to the face ring of the quotient simplicial poset under a mild condition on the group action. We also identify a class of actions on simplicial complexes that preserve the homotopical Cohen-Macaulay property under quotients. When the acted-upon poset is the independence complex of a semimatroid, the $h$-polynomial of the ring of invariants can be read off the Tutte polynomial of the associated group action. Moreover, in this case an additional condition on the action ensures that the quotient poset is Cohen-Macaulay in characteristic 0 and every characteristic that does not divide an explicitly computable number. This implies the same property for the associated Stanley-Reisner rings. In particular, this holds for independence posets and rings associated to toric, elliptic and, more generally, $(p,q)$-arrangements. As a byproduct, we prove that posets of connected components (also known as posets of {layers}) of such arrangements are Cohen-Macaulay with the same condition on the characteristic.

Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $φ_G$ which counts, for each $n$, the (possibly infinite) number $φ_G(n)$ of orbits of $G$ acting on the $n$-subsets of $E$. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever $φ_G(n)$ is bounded by a polynomial, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked if the orbit algebra of $G$ - a graded commutative algebra invented by Cameron and whose Hilbert function is $φ_G$ - is finitely generated. In this paper, we announce a proof of a stronger statement: the orbit algebra is Cohen-Macaulay. The generating series of the profile is a rational fraction whose numerator has positive coefficients and denominator admits a combinatorial description. The proof uses classical techniques from group actions, commutative algebra, and invariant theory; it steps towards a classification of ages of permutation groups with profile bounded by a polynomial.

We prove that the polynomial invariants of a permutation group are Cohen-Macaulay for any choice of coefficient field if and only if the group is generated by transpositions, double transpositions, and 3-cycles. This unites and generalizes several previously known results. The "if" direction of the argument uses Stanley-Reisner theory and a recent result of Christian Lange in orbifold theory. The "only-if" direction uses a local-global result based on a theorem of Raynaud to reduce the problem to an analysis of inertia groups, and a combinatorial argument to identify inertia groups that obstruct Cohen-Macaulayness.

A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.

In a recent paper, Duval, Goeckner, Klivans and Martin disproved the longstanding conjecture by Stanley, that every Cohen-Macaulay simplicial complex is partitionable. We construct counterexamples to this conjecture that are even \emph{balanced}, i.e., their underlying graph has a minimal coloring. This answers a question by Duval et al. in the negative.

In this work, we study the Betti numbers of pinched Veronese rings, by means of the reduced homology of squarefree divisor complexes. We characterize when these rings are Cohen-Macaulay and we the study the shape of the Betti tables for the pinched Veronese in the two variables. As a byproduct we obtain information on the linearity of such rings. Moreover, in the last section we compute the canonical modules of the Veronese modules.

For any graph, one can construct a ring, called the edge ring, which is a quadratic-monomial generated subring of the Laurent polynomial ring $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. In fact, every quadratic-monomial generated subring of this Laurent polynomial ring can be generated as an edge ring for some graph. The combinatorial structure of the graph has been successfully applied to identify and classify many important commutative algebraic properties of the corresponding edge ring. In this paper, we classify Serre's $R_1$ condition for all quadratic-monomial generated subrings of $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. Moreover, we provide a minimal example of a graph whose corresponding edge ring is not Cohen-Macaulay. This paper extends the work of Hibi and Ohsugi from the setting subrings of polynomial rings to subrings of Laurent polynomial rings.

Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.

We consider simplicial complexes admitting a free action by an abelian group. Specifically, we establish a refinement of the classic result of Hochster describing the local cohomology modules of the associated Stanley--Reisner ring, demonstrating that the topological structure of the free action extends to the algebraic setting. If the complex in question is also Buchsbaum, this new description allows for a specialization of Schenzel's calculation of the Hilbert series of some of the ring's Artinian reductions. In further application, we generalize to the Buchsbaum case the results of Stanley and Adin that provide a lower bound on the $h$-vector of a Cohen-Macaulay complex admitting a free action by a cyclic group of prime order.