Stanley-Reisner rings, sheaves, and Poincare-Verdier duality

For a graph $G$, Bayer-Denker-Milutinovi\'c-Rowlands-Sundaram-Xue study in \cite{B-D-M-R-S-X} a new graph complex $\Delta_k^t(G)$, namely the simplicial complex with facets that are complements to independent sets of size $k$ in $G$. They are interested in topological properties such as shellability, vertex decomposability, homotopy type, and homology of these complexes. In this paper we study more algebraic properties, such as Cohen-Macaulayness, Betti numbers, and linear re...

In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and the exterior algebra behave with respect to Alexander duality.

The aim of this thesis is to investigate the Betti diagrams of squarefree monomial ideals in polynomial rings. We use two key tools to help us study these diagrams. The first is the Stanley-Reisner Correspondence, which assigns a unique simplicial complex to every squarefree monomial ideal, and thus allows us to compute the Betti diagrams of these ideals from combinatorial properties of their corresponding complexes. As such, most of our work is combinatorial in nature. The s...

We study the structure of Stanley-Reisner rings associated to cyclic polytopes, using ideas from unprojection theory. Consider the boundary simplicial complex Delta(d,m) of the d-dimensional cyclic polytope with m vertices. We show how to express the Stanley-Reisner ring of Delta(d,m+1) in terms of the Stanley-Reisner rings of Delta(d,m) and Delta(d-2,m-1). As an application, we use the Kustin-Miller complex construction to identify the minimal graded free resolutions of thes...

The main goal of this paper is to give an explicit formula for the cohomology of the sheaf of units of the punctured spectrum of a Stanley-Reisner ring. In particular we compute the local Picard group of $K [\triangle]$. To achieve this we study the corresponding purely combinatorial problem on the punctured spectrum of the pointed monoid defined by $\triangle$. The cohomology of the sheaf of units on ${\rm Spec}^ \bullet K[\triangle ]$ is then the direct sum of this combinat...

Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal and $I$ is a radical monomial ideal (i.e., $R/I$ is a generalization of Stanley-Reisner rings), then the sequentially Cohen-Macaulay property of $R/I$ is a topological property of the "geometric realization" of the cell complex associated w...

For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner theory. As a first application we give an isomorphism Tor_i(B', k)_p\iso Ext^{|p|-i}(R/B,R)_{-p} for all p in {0,1}^n, where B' is the Alexander dual ideal of B. We deduce a canonical filtration of Ext^i(R/B,R) with succesive quotients of the...

We present a robust categorical foundation for the duality theory introduced by Eisenbud and Schreyer to prove the Boij-S\"oderberg conjectures describing numerical invariants of syzygies. The new foundation allows us to extend the reach of the theory substantially. More explicitly, we construct a pairing between derived categories that simultaneously categorifies all the functionals used by Eisenbud and Schreyer. With this new tool, we describe the cone of Betti tables of ...

We prove a duality theorem for simplicial complexes arising from a combinatorial construction we define, which applies to the squarefree monomial complexes for Veronese ideals of projective spaces and weighted projective spaces. Our theorem yields a formula for the multigraded Betti numbers of these Veronese ideals in terms of the reduced homology groups of these complexes which is dual to one given by Bruns and Herzog. We apply this formula in several ways, including by givi...

Let $\Delta$ be a stable simplicial complex on $n$ vertexes. Over an arbitrary base field $K$, the symmetric algebraic shifted complex $\Delta^s$ of $\Delta$ is defined. It is proved that the Betti numbers of the Stanley-Reisner ideals in the polynomial ring $K[x_1,x_2,...,x_n]$ of the symmetric algebraic shifted, exterior algebraic shifted and combinatorial shifted complexes of $\Delta$ are equal.