Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas

blow-up algebras Castelnuovo-Mumford regularity Cohen-Macaulay algebra determinantal ideal Ferrers and threshold graphs Gröbner basis Hilbert function liaison quadratic and Koszul algebra reductions skew shapes vertex-decomposability

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Combinatorial aspects of simplicial complexes (05E45) Linkage, complete intersections and determinantal ideals (13C40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05) Determinantal varieties (14M12) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Enumerative problems (combinatorial problems) in algebraic geometry (14N10) Quadratic and Koszul algebras (16S37)

Abstract: 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"obner 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.

Review text

The authors introduce a new class of determinantal ideals associated to certain subregions of a generic symmetric matrix, possibly with holes. They show that the minors generating such an ideal form a Gröbner basis with respect to a suitable term order, and as a result show that the quotient rings are normal Cohen-Macaulay domains that are Koszul. They obtain several results about the initial ideals, the Hilbert function, and the Castelnuovo-Mumford regularity, using methods from liaison theory. These ideals are related to certain blow-up algebras, describing the equations of special fiber rings and Rees algebras when one blows up certain monomial ideals, called specialized Ferrers ideals. These monomial ideals include all strongly stable monomial ideals that are generated in degree two, as well as the edge ideals of threshold and Ferrers graphs. Their results can be viewed as a generalization of the classical Dedekind-Mertens content formula, and suggest possible applications.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363340)