arXiv++ Combinatorics

Let $R=k[x_{1},\ldots,x_{n}]$, where $k$ is a field. The path ideal (of length $t\geq 2$) of a directed graph $G$ is the monomial ideal, denoted by $I_{t}(G)$, whose generators correspond to the directed paths of length $t$ in $G$. Let $Γ$ be a directed rooted tree. We characterize all such trees whose path ideals are unmixed and Cohen-Macaulay. Moreover, we show that $R/I_{t}(Γ)$ is Gorenstein if and only if the Stanley-Reisner simplicial complex of $I_{t}(Γ)$ is a matroid.

We prove a conjectured upper bound for the Castelnuovo-Mumford regularity of binomial edge ideals of graphs, due to Matsuda and Murai. Indeed, we prove that $\mathrm{reg}(J_G)\leq n-1$ for any graph $G$ with $n$ vertices, which is not a path. Moreover, we study the behavior of the regularity of binomial edge ideals under the join product of graphs.

In this paper, we study orthogonal representations of simple graphs $G$ in $\mathbb{R}^d$ from an algebraic perspective in case $d = 2$. Orthogonal representations of graphs, introduced by Lovász, are maps from the vertex set to $\mathbb{R}^d$ where non-adjacent vertices are sent to orthogonal vectors. We exhibit algebraic properties of the ideal generated by the equations expressing this condition and deduce geometric properties of the variety of orthogonal embeddings for $d=2$ and $\mathbb{R}$ replaced by an arbitrary field. In particular, we classify when the ideal is radical and provide a reduced primary decomposition if $\sqrt{-1} \not\in K$. This leads to a description of the variety of orthogonal embeddings as a union of varieties defined by prime ideals. In particular, this applies to the motivating case $K = \mathbb{R}$.

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.

We introduce pseudo-Gorenstein rings and characterize those Hibi rings attached to a finite distributive lattice L which are pseudo-Gorenstein. The characterization is given in terms of the poset of join-irreducible elements of L. We also present a necessary condition for Hibi rings to be level. Special attention is given to planar and hyper-planar lattices. Finally the pseudo-Goresntein and level property of Hibi rings and generalized Hibi rings is compared with each other.

We compute the regularity of the Hibi ring of any finite distributive lattice in terms of its poset of join irreducible elements.

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.

We characterize all graphs whose binomial edge ideals have pure resolutions. Moreover, we introduce a new switching of graphs which does not change some algebraic invariants of graphs, and using this, we study the linear strand of the binomial edge ideals for some classes of graphs. Also, we pose a conjecture on the linear strand of such ideals for every graph.

We prove two recent conjectures on some upper bounds for the Castelnuovo-Mumford regularity of the binomial edge ideals of some different classes of graphs. We prove the conjecture of Matsuda and Murai for graphs which has a cut edge or a simplicial vertex, and hence for chordal graphs. We determine the regularity of the binomial edge ideal of the join of graphs in terms of the regularity of the original graphs, and consequently prove the conjecture of Matsuda and Murai for such a graph, and hence for complete $t$-partite graphs. We also generalize some results of Schenzel and Zafar about complete $t$-partite graphs. We also prove the conjecture due to the authors for a class of chordal graphs.