arXiv++ Combinatorics

We give a necessary and sufficient condition for a simplicial complex to be approximately Cohen-Macaulay. Namely it is approximately Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear and generated in two consecutive degrees. This completes the result of Herzog and Hibi who proved that a simplicial complex is sequentially Cohen-Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear.

The concept of Cohen-Macaulay complexes emerged in the mid-1970s and swiftly became the focal point of an attractive and richly connected new area of mathematics, at the crossroads of combinatoics, commutative algebra and topology. As the main architect of these developments, Richard Stanley has made fundamental contributions over many years. This paper contains some brief mathematical discussions related to the Cohen-Macaulay property, and some personal memories. The characterization of Gorenstein* and homotopy Gorenstein* complexes and the relevance in that connection of the Poincaré conjecture is discussed. Another topic is combinatorial aspects of a recent result on the homotopy Cohen-Macaulayness of certain subsets of geometric lattices, motivated by questions in tropical geometry.

Anders Bjorner characterized which finite graded partially ordered sets arise as the posets of closure relations on cells of a finite, regular CW complex. His characterization of these "CW posets" required each open interval $(\hat{0},u)$ to have order complex homeomorphic to a sphere of dimension $rk(u)-2$. Work of Danaraj and Klee showed that sufficient conditions were for the poset to be thin and shellable. The proof of the Poincare Conjecture enables the requirement of shellability to be replaced by the homotopy Cohen-Macaulay property. This expands the range of tools that may be used to prove a poset is a CW poset.

We study a family of posets and the associated chain and order polytopes. We identify the order polytope as a maximal Kogan face in a Gelfand-Tsetlin polytope of a multiple of a fundamental weight. We show that the character of such a Kogan face equals to the character of a Demazure module which occurs in the irreducible representation of $\mathfrak{sl}_n$ having highest weight multiple of fundamental weight and for any such Demazure module there exists a corresponding poset and associated maximal Kogan face. We prove that the chain polytope parametrizes a monomial basis of the associated PBW-graded Demazure module and further, that the Demazure module is a favourable module, e.g. interesting geometric properties are governed by combinatorics of convex polytopes. Thus, we obtain for any minuscule Schubert variety a flat degeneration into a toric projective variety which is projectively normal and arithmetically Cohen-Macaulay. We provide a necessary and sufficient condition on the Weyl group element such that the toric variety associated to the chain polytope and the toric variety associated to the order polytope are isomorphic.

It is a classical result that the multilinear component of the free Lie algebra is isomorphic (as a representation of the symmetric group) to the top (co)homology of the proper part of the poset of partitions $Π_n$ tensored with the sign representation. We generalize this result in order to study the multilinear component of the free Lie algebra with multiple compatible Lie brackets. We introduce a new poset of weighted partitions $Π_n^k$ that allows us to generalize the result. The new poset is a generalization of $Π_n$ and of the poset of weighted partitions $Π_n^w$ introduced by Dotsenko and Khoroshkin and studied by the author and Wachs for the case of two compatible brackets. We prove that the poset $Π_n^k$ with a top element added is EL-shellable and hence Cohen-Macaulay. This and other properties of $Π_n^k$ enable us to answer questions posed by Liu on free multibracketed Lie algebras. In particular, we obtain various dimension formulas and multicolored generalizations of the classical Lyndon and comb bases for the multilinear component of the free Lie algebra. We also obtain a plethystic formula for the Frobenius characteristic of the representation of the symmetric group on the multilinear component of the free multibracketed Lie algebra.

In this paper it is shown that a polyomino is balanced if and only if it is simple. As a consequence one obtains that the coordinate ring of a simple polyomino is a normal Cohen-Macaulay domain.

The class of equidimensional polymatroidal ideals are studied. In particular, we show that an unmixed polymatroidal ideal is connected in codimension one if and only if it is Cohen-Macaulay. Especially a matroidal ideal is connected in codimension one precisely when it is a squarefree Veronese ideal. As a consequence we indicate that for polymatroidal ideals, the Serre's condition $(S_n)$ for some $n\geq 2$ is equivalent to Cohen-Macaulay property. We also give a classification of generalized Cohen-Macaulay polymatroidal ideals.

In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation $x\mapsto x/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.

We study the minimal free resolution of the Veronese modules of the polynomial ring in n variables, by giving a formula for the Betti numbers in terms of the reduced homology of some skeleton of a simplicial complex. We characterize when they are Cohen-Macaulay and we give a sufficient condition for the linearity of their minimal free resolution. We also conjecture that in 2 variables the Veronese modules have always pure resolutions. In addition, we give a closed formula for their Hilbert series. As an application of our results, we calculate the complete Betti diagrams of the Veronese subrings in three variables with degree 4 and 5, and in four variables with degree 3.

Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshorne's result: 1) If X is a Gorenstein subspace arrangement, then G(X) is r-connected, where r is the Castelnuovo-Mumford regularity of X. (The bound is best possible; for coordinate arrangements, it yields an algebraic extension of Balinski's theorem for simplicial polytopes.) 2) If X is a canonically embedded arrangement of lines no three of which meet in the same point, then the diameter of the graph G(X) is not larger than the codimension of X. (The bound is sharp; for coordinate arrangements, it yields an algebraic expansion on the recent combinatorial result that the Hirsch conjecture holds for flag normal simplicial complexes.)

The goal of this paper is to explicitly detect all the arithmetic genera of arithmetically Cohen-Macaulay projective curves with a given degree $d$. It is well-known that the arithmetic genus $g$ of a curve $C$ can be easily deduced from the $h$-vector of the curve; in the case where $C$ is arithmetically Cohen-Macaulay of degree $d$, $g$ must belong to the range of integers $\big\{0,\ldots,\binom{d-1}{2}\big\}$. We develop an algorithmic procedure that allows one to avoid constructing most of the possible $h$-vectors of $C$. The essential tools are a combinatorial description of the finite O-sequences of multiplicity $d$, and a sort of continuity result regarding the generation of the genera. The efficiency of our method is supported by computational evidence. As a consequence, we single out the minimal possible Castelnuovo-Mumford regularity of a curve with Cohen-Macaulay postulation and given degree and genus.

We classify all complete uniform multipartite hypergraphs with respect to some algebraic properties, such as being (almost) complete intersection, Gorenstein, level, $l$-Cohen-Macaulay, $l$-Buchsbaum, unmixed, and satisfying Serre's condition $S_r$, via some combinatorial terms. Also, we prove that for a complete $s$-uniform $t$-partite hypergraph $H$, vertex decomposability, shellability, sequentially $S_r$ and sequentially Cohen-Macaulay properties coincide with the condition that $H$ has $t-1$ sides consisting of a single vertex. Moreover, we show that the latter condition occurs if and only if it is a chordal hypergraph.

Given a linear space L in affine space A^n, we study its closure L' in the product of projective lines (P^1)^n. We show that the degree, multigraded Betti numbers, defining equations, and universal Grobner basis of its defining ideal I(L') are all combinatorially determined by the matroid M of L. We also prove I(L') and all of its initial ideals are Cohen-Macaulay with the same Betti numbers. In so doing, we prove that the initial ideals of I(L') are the Stanley-Reisner ideals of an interesting family of simplicial complexes related to the basis activities of M. We also describe the state polytope of I(L'), which is related to the matroid basis polytope of M.

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the closure of the image of the rational map using a combination of techniques of moduli functors and initial degenerations. We first give a formula of multi-degree in terms of the dimensions of intersections of linear subspaces and then prove that it is Cohen-Macaulay. Finally, we compute its Hilbert polynomials.

In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen-Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.

Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs.

We present a closed formula and a simple algorithmic procedure to compute the projective dimension of square-free monomial ideals associated to string or cycle hypergraphs. As an application, among these ideals we characterize all the Cohen-Macaulay ones.

Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$. Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$. We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.

We describe a closed immersion from each representation space of a type A quiver with bipartite (i.e., alternating) orientation to a certain opposite Schubert cell of a partial flag variety. This "bipartite Zelevinsky map" restricts to an isomorphism from each orbit closure to a Schubert variety intersected with the above-mentioned opposite Schubert cell. For type A quivers of arbitrary orientation, we give the same result up to some factors of general linear groups. These identifications allow us to recover results of Bobinski and Zwara; namely we see that orbit closures of type A quivers are normal, Cohen-Macaulay, and have rational singularities. We also see that each representation space of a type A quiver admits a Frobenius splitting for which all of its orbit closures are compatibly Frobenius split.

The polyhedral product is a space constructed from a simplicial complex and a collection of pairs of spaces, which is connected with the Stanley Reisner ring of the simplicial complex via cohomology. Generalizing the previous work Grbic and Theriault, Grujic and Welker, and the authors, we show a decomposition of polyhedral products for a large class of simplicial complexes including the ones whose Alexander duals are shellable or sequentially Cohen-Macaulay. This implies the property, called Golod, of the corresponding Stanley-Reisner rings proved by Herzog, Reiner and Welker.