arXiv++ Combinatorics

We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that the initial ideals correspond to vertex decomposable simplicial complexes, and we determine their Hilbert functions and Castelnuovo-Mumford regularities. As a consequence, we find explicit minimal reductions for all Ferrers and many specialized Ferrers ideals, as well as their reduction numbers. These results can be viewed as extensions of the classical Dedekind-Mertens formula for the content of the product of two polynomials.

We introduce a specialization technique in order to study monomial ideals that are generated in degree two by using our earlier results about Ferrers ideals. It allows us to describe explicitly a cellular minimal free resolution of various ideals including any strongly stable and any squarefree strongly stable ideal whose minimal generators have degree two. In particular, this shows that threshold graphs can be obtained as specializations of Ferrers graphs, which explains their similar properties.

Each partition $λ= (λ_1, λ_2, ..., λ_n)$ determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed Ferrers ideal, is a squarefree monomial ideal that is generated by quadrics. We show that such an ideal has a 2-linear minimal free resolution, i.e. it defines a small subscheme. In fact, we prove that this property characterizes Ferrers graphs among bipartite graphs. Furthermore, using a method of Bayer and Sturmfels, we provide an explicit description of the maps in its minimal free resolution: This is obtained by associating a suitable polyhedral cell complex to the ideal/graph. Along the way, we also determine the irredundant primary decomposition of any Ferrers ideal. We conclude our analysis by studying several features of toric rings of Ferrers graphs. In particular we recover/establish formulae for the Hilbert series, the Castelnuovo-Mumford regularity, and the multiplicity of these rings. While most of the previous works in this highly investigated area of research involve path counting arguments, we offer here a new and self-contained approach based on results from Gorenstein liaison theory.