TY - JOUR
T1 - Monomial and toric ideals associated to Ferrers graphs
AU - Corso, Alberto
AU - Nagel, Uwe
PY - 2009/3
Y1 - 2009/3
N2 - Each partition λ = (λ1, λ2,..., λn) determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed a 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 formulæ 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
AB - Each partition λ = (λ1, λ2,..., λn) determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed a 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 formulæ 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
UR - http://www.scopus.com/inward/record.url?scp=62649121805&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=62649121805&partnerID=8YFLogxK
U2 - 10.1090/s0002-9947-08-04636-9
DO - 10.1090/s0002-9947-08-04636-9
M3 - Article
AN - SCOPUS:62649121805
SN - 0002-9947
VL - 361
SP - 1371
EP - 1395
JO - Transactions of the American Mathematical Society
JF - Transactions of the American Mathematical Society
IS - 3
ER -