arXiv++ Combinatorics

Several algebraic properties of a binomial edge ideal $J_G$ can be interpreted in terms of combinatorial properties of its associated graph $G$. In particular, the so-called cut sets of a graph $G$, special sets of vertices that disconnect $G$ in a minimal way, play an important role since they are in bijection with the minimal prime ideals of $J_G$. In this paper we establish the first graph-theoretical characterization of binomial edge ideals $J_G$ satisfying Serre's condition $(S_2)$ by proving that this is equivalent to having $G$ accessible, which means that $J_G$ is unmixed and the cut sets of $G$ form an accessible set system. The proof relies on the combinatorial structure of the Stanley-Reisner simplicial complex of a multigraded generic initial ideal of $J_G$, whose facets can be described in terms of cut sets. Another key step in the proof consists in proving the equivalence between accessibility and strong accessibility for the collection of cut sets of $G$ with $J_G$ unmixed. This result, interesting on its own, provides the first relevant class of set systems for which the previous two notions are equivalent.

A combinatorial property that characterizes Cohen-Macaulay binomial edge ideals has long been elusive. A recent conjecture ties the Cohen-Macaulayness of a binomial edge ideal $J_G$ to special disconnecting sets of vertices of its underlying graph $G$, called \textit{cut sets}. More precisely, the conjecture states that $J_G$ is Cohen-Macaulay if and only if $J_G$ is unmixed and the collection of the cut sets of $G$ is an accessible set system. In this paper we prove the conjecture theoretically for all graphs with up to $12$ vertices and develop an algorithm that allows to computationally check the conjecture for all graphs with up to $15$ vertices and all blocks with whiskers where the block has at most $11$ vertices. This significantly extends previous computational results.

We explore the dependence of the Betti numbers of monomial ideals on the characteristic of the field. A first observation is that for a fixed prime $p$ either the $i$-th Betti number of all high enough powers of a monomial ideal differs in characteristic $0$ and in characteristic $p$ or it is the same for all high enough powers. In our main results we provide constructions and explicit examples of monomial ideals all of whose powers have some characteristic-dependent Betti numbers or whose asymptotic regularity depends on the field. We prove that, adding a monomial on new variables to a monomial ideal, allows to spread the characteristic dependence to all powers. For any given prime $p$, this produces an edge ideal such that the Betti numbers of all its powers over $\mathbb{Q}$ and over $\mathbb{Z}_p$ are different. Moreover, we show that, for every $r \geq 0$ and $i \geq 3$ there is a monomial ideal $I$ such that some coefficient in a degree $\geq r$ of the Kodiyalam polynomials $\mathfrak P_3(I),\ldots,\mathfrak P_{i+r}(I)$ depends on the characteristic. We also provide a summary of related results and speculate about the behaviour of other combinatorially defined ideals.

In this paper we present a simple technique to derive certificates of non-realizability for an abstract polytopal sphere. Our approach uses a variant of the classical algebraic certificates introduced by Bokowski and Sturmfels in [Computational Synthetic Geometry, 1989], the final polynomials. More specifically we reduce the problem of finding a realization to that of finding a positive point in a variety and try to find a polynomial with positive coefficients in the generating ideal (a positive polynomial), showing that such point does not exist. Many, if not most, of the techniques for proving non-realizability developed in the last three decades can be seen as following this framework, using more or less elaborate ways of constructing such positive polynomials. Our proposal is more straightforward as we simply use linear programming to exhaustively search for such positive polynomials in the ideal restricted to some linear subspace. Somewhat surprisingly, this elementary strategy yields results that are competitive with more elaborate alternatives, and allows us to derive new examples of non-realizable abstract polytopal spheres.

The cut sets of a graph are special sets of vertices whose removal disconnects the graph. They are fundamental in the study of binomial edge ideals, since they encode their minimal primary decomposition. We introduce the class of accessible graphs as the graphs with unmixed binomial edge ideal and whose cut sets form an accessible set system. We prove that the graphs whose binomial edge ideal is Cohen-Macaulay are accessible and we conjecture that the converse holds. We settle the conjecture for large classes of graphs, including chordal and traceable graphs, providing a purely combinatorial description of Cohen-Macaulayness. The key idea in the proof is to show that both properties are equivalent to a further combinatorial condition, which we call strong unmixedness.

Recently Gouveia, Thomas and the authors introduced the slack realization space, a new model for the realization space of a polytope. It represents each polytope by its slack matrix, the matrix obtained by evaluating each facet inequality at each vertex. Unlike the classical model, the slack model naturally mods out projective transformations. It is inherently algebraic, arising as the positive part of a variety of a saturated determinantal ideal, and provides a new computational tool to study classical realizability problems for polytopes. We introduce the package SlackIdeals for Macaulay2, that provides methods for creating and manipulating slack matrices and slack ideals of convex polytopes and matroids. Slack ideals are often difficult to compute. To improve the power of the slack model, we develop two strategies to simplify computations: we scale as many entries of the slack matrix as possible to one; we then obtain a reduced slack model combining the slack variety with the more compact Grassmannian realization space model. This allows us to study slack ideals that were previously out of computational reach. As applications, we show that the well-known Perles polytope does not admit rational realizations and prove the non-realizability of a large quasi-simplicial sphere.

In this paper we examine four different models for the realization space of a polytope: the classical model, the Grassmannian model, the Gale transform model, and the slack variety. Respectively, they identify realizations of the polytopes with the matrix whose columns are the coordinates of their vertices, the column space of said matrix, their Gale transforms, and their slack matrices. Each model has been used to study realizations of polytopes. In this paper we establish very explicitly the maps that allow us to move between models, study their precise relationships, and combine the strengths of different viewpoints. As an illustration, we combine the compact nature of the Grassmannian model with the slack variety to obtain a reduced slack model that allows us to perform slack ideal calculations that were previously out of computational reach. These calculations allow us to answer the question of [Criado, Santos. Topological prismatoids and small simplicial spheres of large diameter. Experimental Mathematics, 1-13, 2019], about the realizability of a family of prismatoids, in general in the negative by proving the non-realizability of one of them.

The second and fourth authors have conjectured that a certain hollow tetrahedron $Δ$ of width $2+\sqrt2$ attains the maximum lattice width among all three-dimensional convex bodies. We here prove a local version of this conjecture: there is a neighborhood $U$ of $Δ$ in the Hausdorff distance such that every convex body in $U \setminus \{Δ\}$ has width strictly smaller than $Δ$. When the search space is restricted to tetrahedra, we compute an explicit such neighborhood. We also limit the space of possible counterexamples to the conjecture. We show, for example, that their width must be smaller than $3.972$ and their volume must lie in $[2.653, 19.919]$.

We present an explicit construction of a minimal cellular resolution for the edge ideals of forests, based on discrete Morse theory. In particular, the generators of the free modules are subsets of the generators of the modules in the Lyubeznik resolution. This procedure allows to ease the computation of the graded Betti numbers and the projective dimension.

The slack ideal of a polytope is a saturated determinantal ideal that gives rise to a new model for the realization space of the polytope. The simplest slack ideals are toric and have connections to projectively unique polytopes. We prove that if a projectively unique polytope has a toric slack ideal, then it is the toric ideal of the bipartite graph of vertex-facet non-incidences of the polytope. The slack ideal of a polytope is contained in this toric ideal if and only if the polytope is morally 2-level, a generalization of the 2-level property in polytopes. We show that polytopes that do not admit rational realizations cannot have toric slack ideals. A classical example of a projectively unique polytope with no rational realizations is due to Perles. We prove that the slack ideal of the Perles polytope is reducible, providing the first example of a slack ideal that is not prime.

Let $X$ be a matrix with entries in a polynomial ring over an algebraically closed field $K$. We prove that, if the entries of $X$ outside some $(t \times t)$-submatrix are algebraically dependent over $K$, the arithmetical rank of the ideal $I_t(X)$ of $t$-minors of $X$ drops at least by one with respect to the generic case; under suitable assumptions, it drops at least by $k$ if $X$ has $k$ zero entries. This upper bound turns out to be sharp if $\mathrm{char}\, K=0$, since it then coincides with the lower bound provided by the local cohomological dimension.

In this paper we introduce a natural model for the realization space of a polytope up to projective equivalence which we call the slack realization space of the polytope. The model arises from the positive part of an algebraic variety determined by the slack ideal of the polytope. This is a saturated determinantal ideal that encodes the combinatorics of the polytope. We also derive a new model of the realization space of a polytope from the positive part of the variety of a related ideal. The slack ideal offers an effective computational framework for several classical questions about polytopes such as rational realizability, non-prescribability of faces, and realizability of combinatorial polytopes.

We classify the bipartite graphs $G$ whose binomial edge ideal $J_G$ is Cohen-Macaulay. The connected components of such graphs can be obtained by gluing a finite number of basic blocks with two operations. In this context we prove the converse of a well-known result due to Hartshorne, showing that the Cohen-Macaulayness of these ideals is equivalent to the connectedness of their dual graphs. We study interesting properties also for non-bipartite graphs and in the unmixed case, constructing classes of bipartite graphs with $J_G$ unmixed and not Cohen-Macaulay.

We prove that, for the edge ideal of a cactus graph, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes. The bound is sharp, but in many cases it can be improved. Moreover, we show that the edge ideal of a Cohen-Macaulay graph that contains exactly one cycle or is chordal or has no cycles of length 4 and 5 is a set-theoretic complete intersection.

We prove that, for the edge ideal of a graph whose cycles are pairwise vertex-disjoint, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes.

We study the partially ordered set $P(a_1,\ldots, a_n)$ of all multidegrees $(b_1,\dots,b_n)$ of monomials $x_1^{b_1}\cdots x_n^{b_n}$ which properly divide $x_1^{a_1}\cdots x_n^{a_n}$. We prove that the order complex $Δ(P(a_1,\dots,a_n))$ of $P(a_1,\ldots a_n)$ is (non-pure) shellable, by showing that the order dual of $P(a_1,\ldots,a_n)$ is $\mathrm{CL}$-shellable. Along the way, we exhibit the poset $P(4,4)$ as a new example of a poset with $\mathrm{CL}$-shellable order dual that is not $\mathrm{CL}$-shellable itself. For $n = 2$ we provide the rank of all homology groups of the order complex $Δ\left( P(a_1,a_2) \right)$. Furthermore, we give a succinct formula for the Euler characteristic of $Δ\left( P(a_1,a_2) \right)$.

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}$.

We consider the edge ideals of large classes of graphs with whiskers and for these ideals we prove that the arithmetical rank is equal to the big height. Then we extend these results to other classes of squarefree monomial ideals, generated in any degree, proving that the same equality holds.