Betti Cones of Stanley-Reisner Ideals (2401.05962v1)

Abstract: 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 second tool is Boij-Soderberg Theory, which views Betti diagrams as vectors in a rational vector space, and investigates them by considering the convex cone they generate. This thesis applies the theory to the cones generated by diagrams of squarefree monomial ideals. We begin by introducing all of these concepts, along with some preliminary results in both algebra and combinatorics. Chapter 3 then presents the dimensions of our cones, along with the vector spaces they span. Chapters 4 and 5 are devoted to the pure Betti diagrams in these cones, and the combinatorial properties of their associated complexes. Finally, Chapter 6 builds on these results to prove a partial analogue of the first Boij-Soderberg conjecture for squarefree monomial ideals, by detailing an algorithm for generating pure Betti diagrams of squarefree monomial ideals of any degree type.