Edge ideals with almost maximal finite index and their powers

DOI10.1007/S10801-021-01032-YMaRDI QIDQ2052835zbMATH OpenOpenAlexFDO

Authors Mina Bigdeli

Publication date 29 November 2021

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

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

zbMATH Keywords

edge idealindex of an idealprojective dimension

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: A graded ideal $I$ in $mathbbK[x_1,ldots,x_n]$, where $mathbbK$ is a field, is said to have almost maximal finite index if its minimal free resolution is linear up to the homological degree $mathrmpd(I)-2$, while it is not linear at the homological degree $mathrmpd(I)-1$, where $mathrmpd(I)$ denotes the projective dimension of $I$. In this paper we classify the graphs whose edge ideals have this property. This in particular shows that for edge ideals the property of having almost maximal finite index does not depend on the characteristic of $mathbbK$. We also compute the non-linear Betti numbers of these ideals. Finally, we show that for the edge ideal $I$ of a graph $G$ with almost maximal finite index, the ideal $I^s$ has a linear resolution for $sgeq2$ if and only if the complementary graph $$ does not contain induced cycles of length $4$.

Review text

Suppose that \(K\) is a field and \(G\) is a simple undirected graph with vertex set \(\{1, \ldots, n\}\) and edge set \(E(G)\) without any isolated vertex. Recall that the edge ideal \(I(G)\) of \(G\) is the ideal generated by \(\{x_ix_j|\{i,j\}\in E(G)\}\) in \(R=K[x_1\ldots, x_n]\). For any graded ideal \(I\) of \(R\) generated in a single degree \(d\), the Green-Lazarsfeld index (briefly, index) of \(I\) is \[\mathrm{index}(I)=\inf \{i| \exists j>i+d:\, \beta_{i,j}(I)\neq 0\}\] where \(\beta_{i,j}(I)\) are the graded Betti numbers of \(I\). Suppose that \(I=I(G)\). It is well-known that \(\mathrm{index}(I)=\infty\), that is, \(I\) has a linear resolution if and only if the complement of \(G\) is chordal. Also in the paper \textit{M. Bigdeli} et al. [Commun. Algebra 46, No. 3, 1080--1095 (2018; Zbl 1428.13032)] have proved that the index of \(I\) achieves its maximal possible finite value (that is, \(\mathrm{index}(I)=\) projective dimension of \(I\)), if and only if the complement of \(G\) is a cycle with length at least 4. Now in this paper, the author combinatorially characterizes the graphs \(G\) such that the index of \(I=I(G)\) is exactly one less than the projective dimension of \(I\) and calls such ideals, ideals with almost maximal finite index. Then she uses this characterization to prove that if \(I\) has almost maximal finite index, then \(I^s\) has a linear resolution for all \(s\geq 2\) if and only if \(G\) is gap-free (that is, \(G\) has no induced subgraph isomorphic to two disjoint edges).

Recommendations

• The regularity of powers of edge ideals
• On the index of powers of edge ideals
• Powers of edge ideals with linear resolutions
• On the Linear Strand of an Edge Ideal
• Linearity defect of edge ideals and Fröberg's theorem
• Minimal free resolutions of linear edge ideals
• On the linear strand of edge ideals of some zero-divisor graphs
• scientific article; zbMATH DE number 5149085
• Non-vanishingness of Betti numbers of edge ideals
• Solution to a conjecture on edge rings with 2-linear resolutions

Cites work

• \(C_{4}\)-free edge ideals
• Bounds on the regularity and projective dimension of ideals associated to graphs
• Characteristic-independence of Betti numbers of graph ideals
• Dirac's theorem on chordal graphs and Alexander duality
• First Nonlinear Syzygies of Ideals Associated to Graphs
• scientific article; zbMATH DE number 4097538 (Why is no real title available?)
• scientific article; zbMATH DE number 16165 (Why is no real title available?)
• scientific article; zbMATH DE number 1347166 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• Koszul homology and syzygies of Veronese subalgebras
• Monomial Ideals
• Monomial ideals whose powers have a linear resolution
• On the index of powers of edge ideals
• On the projective normality of complete linear series on an algebraic curve
• Powers of edge ideals with linear resolutions
• Powers of ideals associated to \((C_{4},2K_{2})\)-free graphs
• Powers of ideals: Betti numbers, cohomology and regularity
• Regularity of the powers of an ideal
• Restricting linear syzygies: algebra and geometry
• The Betti polynomials of powers of an ideal
• The depth of powers of an ideal
• The regularity of powers of edge ideals

Cited in

(8)

• \(C_{4}\)-free edge ideals
• Matchings and squarefree powers of edge ideals
• Green-Lazarsfeld index of square-free monomial ideals and their powers
• Powers of edge ideals
• Edge Ideals Using Macaulay2
• On the index of powers of edge ideals
• Gapfree graphs and powers of edge ideals with linear quotients
• Linearity defect of edge ideals and Fröberg's theorem

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Edge ideals with almost maximal finite index and their powers

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