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

DOI10.1515/FORUM-2016-0007zbMATH Open1373.13010arXiv1502.03484OpenAlexW2962750423MaRDI QIDQ2363340FDOQ2363340

Authors: Alberto Corso, Uwe Nagel, Sonja Petrović, Cornelia Yuen 

Publication date: 13 July 2017

Published in: Forum Mathematicum (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1502.03484

Recommendations

• Koszul blowup algebras associated to three-dimensional Ferrers diagrams
• The multiplicity of some blow-up algebras of equimultiple ideals
• The Dedekind-Mertens formula and determinantal rings
• Equations of blowups of ideals of codimension two and three
• scientific article; zbMATH DE number 2019938

zbMATH Keywords

Castelnuovo-Mumford regularityHilbert functionreductionsdeterminantal idealliaisonblow-up algebrasskew shapesCohen-Macaulay algebravertex-decomposabilityFerrers and threshold graphsquadratic and Koszul algebraGröbner basis

Mathematics Subject Classification ID

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

Cites Work

• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributive lattices, bipartite graphs and Alexander duality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Toric varieties
• Gröbner geometry of Schubert polynomials
• Introduction to liaison theory and deficiency modules
• Gorenstein liaison, complete intersection liaison invariants and unobstructedness
• Integral closure of ideals, rings, and modules
• Reduction Exponent and Degree Bound for the Defining Equations of Graded Rings
• Location of Zeros of Chromatic and Related Polynomials of Graphs
• Monomial Ideals
• Glicci simplicial complexes
• Free resolutions and sparse determinantal ideals
• Title not available (Why is that?)
• Algebraic algorithms for sampling from conditional distributions
• Algebraic properties of edge ideals via combinatorial topology
• Generic Gaussian ideals
• Rook numbers and the normal ordering problem
• Title not available (Why is that?)
• Rook Theory. I.: Rook Equivalence of Ferrers Boards
• Koszul cohomology and the geometry of projective varieties. II
• Betti numbers of monomial ideals and shifted skew shapes
• Invariants of ideals generated by Pfaffians
• Title not available (Why is that?)
• Gröbner bases and multiplicity of determinantal and Pfaffian ideals
• Algebraic statistics for a directed random graph model with reciprocation
• Specializations of Ferrers ideals
• The Koszul complex in projective dimension one
• Monomial and toric ideals associated to Ferrers graphs
• Title not available (Why is that?)
• On the ideal theory of graphs
• Markov bases and structural zeros
• Markov bases and subbases for bounded contingency tables
• On the Hilbert Function of Determinantal Rings and Their Canonical Module
• Enumerative properties of Ferrers graphs
• The core of zero-dimensional monomial ideals
• Gröbner bases via linkage
• Hilbert functions of ladder determinantal varieties
• Heights of ideals of minors
• Rook theory and hypergeometric series
• The Dedekind-Mertens formula and determinantal rings
• Title not available (Why is that?)
• Contingency table analysis. Methods and implementation using R
• Counting of paths and coefficients of the Hilbert polynomial of a determinantal ideal
• Title not available (Why is that?)
• Rook theory and cycle-counting permutation statistics
• Rook placements and cellular decomposition of partition varieties
• A formula for the core of certain strongly stable ideals
• Comparing Castelnuovo-Mumford regularity and extended degree: The borderline cases
• Rook poset equivalence of Ferrers boards
• Title not available (Why is that?)
• Title not available (Why is that?)
• A remarkable formula for counting nonintersecting lattice paths in a ladder with respect to turns
• Symmetric ladders and G-biliaison
• On lattice path counting by major index and descents
• The \(h\)-vector of a ladder determinantal ring cogenerated by \(2\times 2\) minors is log-concave
• Goodness of fit for log-linear network models: dynamic Markov bases using hypergraphs
• A survey of discrete methods in (algebraic) statistics for networks
• Exact Goodness‐of‐Fit Testing for the Ising Model

Cited In (13)

• The blowup closure of a set of ideals with applications to \(TI\) closure.
• Title not available (Why is that?)
• Coefficient Ideals and the Gorenstein Property of Blowups
• Generalized Newton complementary duals of monomial ideals
• Subalgebras generated in degree two with minimal Hilbert function
• Ring-theoretic blowing down. II: Birational transformations
• Fiber cones of rational normal scrolls are Cohen-Macaulay
• Gorenstein rings generated by strongly stable sets of quadratic monomials
• Regularity and multiplicity of toric rings of three-dimensional Ferrers diagrams
• A formula for the core of certain strongly stable ideals
• Applications of liaison
• Blow-up algebras of secant varieties of rational normal scrolls
• Koszul blowup algebras associated to three-dimensional Ferrers diagrams

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)