arXiv++ Combinatorics

Generalizing polynomials previously studied in the context of linear codes, we define weight polynomials and an enumerator for a matroid $M$. Our main result is that these polynomials are determined by Betti numbers associated with graded minimal free resolutions of the Stanley-Reisner ideals of $M$ and so-called elongations of $M$. Generalizing Greene's theorem from coding theory, we show that the enumerator of a matroid is equivalent to its Tutte polynomial.

We study Stanley-Reisner ideals of broken circuits complexes and characterize those ones admitting a linear resolution or being complete intersections. These results will then be used to characterize arrangements whose Orlik-Terao ideal has the same properties. As an application, we improve a result of Wilf on upper bounds for the coefficients of the chromatic polynomial of a maximal planar graph. We also show that for an ordered matroid with disjoint minimal broken circuits, the supersolvability of the matroid is equivalent to the Koszulness of its Orlik-Solomon algebra.

The emergence of Boij-Söderberg theory has given rise to new connections between combinatorics and commutative algebra. Herzog, Sharifan, and Varbaro recently showed that every Betti diagram of an ideal with a k-linear minimal resolution arises from that of the Stanley-Reisner ideal of a simplicial complex. In this paper, we extend their result for the special case of 2-linear resolutions using purely combinatorial methods. Specifically, we show bijective correspondences between Betti diagrams of ideals with 2-linear resolutions, threshold graphs, and anti-lecture hall compositions. Moreover, we prove that any Betti diagram of a module with a 2-linear resolution is realized by a direct sum of Stanley-Reisner rings associated to threshold graphs. Our key observation is that these objects are the lattice points in a normal reflexive lattice polytope.

In this paper, we study several properties of the second power $I_Δ^2$ of a Stanley-Reisner ideal $I_Δ$ of any dimension. As the main result, we prove that $S/I_Δ$ is Gorenstein whenever $S/I_Δ^2$ is Cohen-Macaulay over any field $K$. Moreover, we give a criterion for the second symbolic power of $I_Δ$ to satisfy $(S_2)$ and to coincide with the ordinary power, respectively. Finally, we provide new examples of Stanley-Reisner ideals whose second powers are Cohen-Macaulay.

Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$ generated by monomials $u_1,u_2,..., u_t$. We show that $S/I$ is pretty clean if either: 1) $u_1,u_2,..., u_t$ is a filter-regular sequence, 2) $u_1,u_2,..., u_t$ is a $d$-sequence; or 3) $I$ is almost complete intersection. In particular, in each of these cases, $S/I$ is sequentially Cohen-Macaulay and both Stanley's and $h$-regularity conjectures, on Stanley decompositions, hold for $S/I$. Also, we prove that if $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.

In this PhD thesis we will discuss some aspects in Commutative Algebra which have interactions with Algebraic Geometry, Representation Theory and Combinatorics. In particular, in the first chapter we will focus on understanding when certain cohomology modules vanish, a classical problem raised by Grothendieck. In the second chapter we will use local cohomology to study the connectedness behavior during a Groebner deformation and the arithmetical rank of certain varieties. In the third chapter, we will investigate the relations between the minors of a fixed size of a generic matrix by using tools from the representation theory of the general linear group (the results of this chapter will appear in a joint paper with Bruns and Conca). In the last chapter we will use combinatorial methods to study the Cohen-Macaulay property of the symbolic powers of Stanley-Reisner ideals. In the thesis are included five appendixes with some basic needed facts and a preliminary chapter introducing to local cohomology.

The objects of interest in this thesis are positroid varieties in the Grassmannian, which are indexed by juggling patterns. In particular, we study affine patches on these positroid varieties. Our main result corresponds these affine patches to Kazhdan-Lusztig varieties in the affine Grassmannian. We develop a new term order and study how these spaces are related to subword complexes and Stanley-Reisner ideals. We define an extension of pipe dreams to the affine case and conclude by showing how our affine pipe dreams are generalizations of Cauchon and Le diagrams.

We prove that all the symbolic powers of a Stanley-Reisner ideal are Cohen-Macaulay if and only if the associated simplicial complex is a matroid.

We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen-Macaulayness of the second symbolic power or of all symbolic powers of a Stanley-Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen-Macaulay. In particular, all symbolic powers are Cohen-Macaulay if and only if the simplicial complex is a matroid complex. We also prove that the Cohen-Macaulayness can pass from a symbolic power to another symbolic powers in different ways.

Steingrimsson (2001) showed that the chromatic polynomial of a graph is the Hilbert function of a relative Stanley-Reisner ideal. We approach this result from the point of view of Ehrhart theory and give a sufficient criterion for when the Ehrhart polynomial of a given relative polytopal complex is a Hilbert function in Steingrimsson's sense. We use this result to establish that the modular and integral flow and tension polynomials of a graph are Hilbert functions.

There are two seemingly unrelated ideals associated with a simplicial complex Δ. One is the Stanley-Reisner ideal I_Δ, the monomial ideal generated by minimal non-faces of Δ, well-known in combinatorial commutative algebra. The other is the toric ideal I_{M(Δ)} of the facet subring of Δ, whose generators give a Markov basis for the hierarchical model defined by Δ, playing a prominent role in algebraic statistics. In this note we show that the complexity of the generators of I_{M(Δ)} is determined by the Betti numbers of I_Δ. The unexpected connection between the syzygies of the Stanley-Reisner ideal and degrees of minimal generators of the toric ideal provide a framework for further exploration of the connection between the model and its many relatives in algebra and combinatorics.

We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.

A matroid complex is a pure complex such that every restriction is again pure. It is a long-standing open problem to classify all possible $h$-vectors of such complexes. In the case when the complex has dimension 1 we completely resolve this question. We also prove the 1-dimensional case of a conjecture of Stanley that all matroid $h$-vectors are pure ${O}$-sequences. Finally, we completely characterize the Stanley-Reisner ideals of 1-dimensional matroid complexes.

In this paper, we prove that the Stanley--Reisner ideal of any connected simplicial complex of dimension $\ge 2$ that is locally complete intersection is a complete intersection ideal. As an application, we show that the Stanley--Reisner ideal whose powers are Buchsbaum is a complete intersection ideal.

Let $Δ$ be a simplicial complex on $V = \{x_1,...,x_n\}$, with Stanley-Reisner ideal $I_Δ\subseteq R = k[x_1,...,x_n]$. The goal of this paper is to investigate the class of artinian algebras $A=A(Δ,a_1,...,a_n)= R/(I_Δ,x_1^{a_1},...,x_n^{a_n})$, where each $a_i \geq 2$. By utilizing the technique of Macaulay's inverse systems, we can explicitly describe the socle of $A$ in terms of $Δ$. As a consequence, we determine the simplicial complexes, that we will call {\em levelable}, for which there exists a tuple $(a_1,...,a_n)$ such that $A(Δ,a_1,...,a_n)$ is a level algebra.

One of the main open questions in liaison theory is whether every homogeneous Cohen-Macaulay ideal in a polynomial ring is glicci, i.e. if it is in the G-liaison class of a complete intersection. We give an affirmative answer to this question for Stanley-Reisner ideals defined by simplicial complexes that are weakly vertex-decomposable. This class of complexes includes matroid, shifted and Gorenstein complexes respectively. Moreover, we construct a simplicial complex which shows that the property of being glicci depends on the characteristic of the base field. As an application of our methods we establish new evidence for two conjectures of Stanley on partitionable complexes and on Stanley decompositions.

For $n\geq 3$, let $Ω_n$ be the set of line segments between the vertices of a convex $n$-gon. For $j\geq 2$, a $j$-crossing is a set of $j$ line segments pairwise intersecting in the relative interior of the $n$-gon. We identify line-segments in $Ω_{2n}$ which can be transformed into each other by a $180^\circ$-rotation of the $2n$-gon. Let $\F_n$ be the set $Ω_{2n}$ after identification, then the complex $\D_{n,k}$ of type-B generalized triangulations is the simplicial complex of subsets of $\F_n$ not containing any $(k+1)$-crossing in the above sense. We demonstrate that $\D_{n,k}$ is a pure, $k(n-k)-1+kn$ dimensional complex that decomposes into a $kn-1$-simplex and a $k(n-k)-1$ dimensional homology sphere. We give a term-order on the monomials in the variables $X_{ij}, 1\leq i,j\leq n$, such that the corresponding initial ideal of the determinantal ideal generated by the $(k+1)$ times $(k+1)$ minors of the generic $n \times n$ matrix contains the Stanley-Reisner ideal of $\D_{n,k}$. We show that the minors form a Gröbner-Basis whenever $k\in\{1,n-2,n-1\}$. We conjecture this result to be true for all values of $k<n$.

We determine a term order on the monomials in the variables $\varx{i}{j}$, $1 \leq i < j \leq n$, such that corresponding initial ideal of the ideal of Pfaffians of degree $r$ of a generic $n$ by $n$ skew-symmetric matrix is the Stanley-Reisner ideal of a join of a simplicial sphere and a simplex. Moreover, we demonstrate that the Pfaffians of the $2r$ by $2r$ skew-symmetric submatrices form a Gröbner basis for the given term order. The same methods and similar term orders as for the Pfaffians also yield squarefree initial ideals for certain determinantal ideals. Yet, in contrast to the case of Pfaffians, the corresponding simplicial complexes are balls that do not decompose into a join as above.

We introduce a class of Stanley-Reisner ideals called generalized complete intersection, which is characterized by the property that all the residue class rings of powers of the ideal have FLC. We also give a combinatorial characterization of such ideals.

This paper produces a recursive formula of the Betti numbers of certain Stanley-Reisner ideals (graph ideals associated to forests). This gives a purely combinatorial definition of the projective dimension of these ideals, which turns out to be a new numerical invariant of forests. Finally, we propose a possible extension of this invariant to general graphs.