Matching numbers and the regularity of the Rees algebra of an edge ideal

DOI10.1007/S00026-020-00499-ZMaRDI QIDQ2210586zbMATH OpenOpenAlexFDO

Authors Takayuki Hibi, Jürgen Herzog

Publication date 7 November 2020

Published in Annals of Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Castelnuovo-Mumford regularityedge idealmatching numberRees algebra

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex.

Review text

Let \(G\) be a finite simple graph with vertex set \(\{1,\dots,n\}\), without isolated vertices. Denote its edge set by \(E(G)\). The edge ideal is the ideal of the polynomial ring \(K[x_1,\dots,x_n]\) given by \(I=(x_ix_j : \{i,j\}\in E_G)\). In the work under review, the authors study the Castelnuovo-Mumford regularity of the Rees algebra of \(I\), which is defined by \(R(I)=\bigoplus_{s\geq 0} I^s\). In the main result (Theorem 2.2) they show that under the assumptions that \(|E(G)|\geq 2\) and that \(R(I)\) is normal, \[ \operatorname{mat}(G) \leq \operatorname{reg} R(I) \leq \operatorname{mat}(G)+1, \] where \(\operatorname{mat}(G)\) denotes the the maximum cardinality of a matching of \(G\). A corollary of the proof is that when, in addition to the above assumptions, \(G\) has a perfect matching, \(\operatorname{reg} R(I) = \operatorname{mat}(G)\). When \(G\) is bipartite, the regularity of the Rees algebra of \(I\) is equal to \(\operatorname{mat}(G)\). This follows from Proposition 4.5 in [\textit{I. Gitler} et al., J. Pure Appl. Algebra 201, No. 1--3, 17--24 (2005; Zbl 1081.13002)] and is also the statement of Theorem 4.2 in [\textit{Y. Cid-Ruiz}, Matematiche 73, No. 2, 279--296 (2018; Zbl 1427.13017)].

Recommendations

• Improved bounds for the regularity of edge ideals of graphs
• Regularity and Gröbner bases of the Rees algebra of edge ideals of bipartite graphs
• Dominating induced matchings of finite graphs and regularity of edge ideals
• An upper bound for the regularity of powers of edge ideals
• On regularity of Rees algebras of edge ideals of cone graphs

Cites work

• A monotonicity property of h-vectors and h^*-vectors
• A note on the Rees algebra of a bipartite graph
• Binomial ideals
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• Monomial algebras
• Monomial Ideals
• Normal polytopes arising from finite graphs
• Regularity and Gröbner bases of the Rees algebra of edge ideals of bipartite graphs
• Semigroup rings and simplicial complexes

Cited in

(9)

• Improved bounds for the regularity of edge ideals of graphs
• Matching numbers and dimension of edge ideals
• Matchings and squarefree powers of edge ideals
• Properties of the toric rings of a chordal bipartite family of graphs
• Rees algebra and special fiber ring of binomial edge ideals of closed graphs
• On regularity bounds and linear resolutions of toric algebras of graphs
• Dominating induced matchings of finite graphs and regularity of edge ideals
• Regularity of normal Rees algebras of edge ideals of graphs
• Root polytopes, tropical types, and toric edge ideals

This page was built for publication: Matching numbers and the regularity of the Rees algebra of an edge ideal

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