Breaking up simplicial homology and subadditivity of syzygies

DOI10.1007/S10801-021-01048-4MaRDI QIDQ2114792zbMATH OpenOpenAlexFDO

Authors Sara Faridi, Mayada Shahada

Publication date 15 March 2022

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

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

zbMATH Keywords

monomial idealssimplicial homologysubadditivity

Mathematics Subject Classification ID

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

Abstract: We consider the following question: if a simplicial complex $Delta$ has $d$-homology, then does the corresponding $d$-cycle always induce cycles of smaller dimension that are not boundaries in $Delta$? We provide an answer to this question in a fixed dimension. We use the breaking of homology to show the subadditivity property for the maximal degrees of syzygies of monomial ideals in a fixed homological degree.

Review text

Let \(I\) be a homogeneous ideal in the polynomials ring \(S=k[x_1, \ldots, x_n]\) over a field \(k\). Let \(t_a\) denoted the maximum value of \(j\) such that the graded Betti number \(\beta_{a,j}(S/I)\neq 0\). The ideal \(I\) satisfies the subadditivity property on the maximal degrees of its syzygies if\[t_{a+b}\leq t_a+t_b,\]where \(a+b\) is not more than the projective dimension of the ideal. In the case of monomial ideals, the syzygies can be characterized as dimensions of homology modules of topological objects. In this case the subadditivity property can be shown to follow from the following general type of question: Does a topological object with \(d\)-homology break into sub-objects that have \(a\)-homology and \(b\)-homology, where \(a\) and \(b\) are related to \(d\)? In this paper, using Hochster's formula, the authors examine this problem from the point of view of the Stanley-Reisner complex, and provide a positive answer to the general question above for a fixed value of \(d\). As a result, it is show that subadditivity holds in a fixed homological degree for all monomial ideals.

Recommendations

• Lattice complements and the subadditivity of syzygies of simplicial forests
• Some results on the subadditivity condition of syzygies
• Subadditivity of syzygies of Koszul algebras
• Subadditivity of syzygies of ideals and related problems
• A note on the subadditivity of syzygies

Cites work

• A note on the subadditivity of syzygies
• A note on the subadditivity problem for maximal shifts in free resolutions
• A polynomial bound on the regularity of an ideal in terms of half of the syzygies
• Betti Diagrams with Special Shape
• Betti numbers of monomial ideals via facet covers
• Bounding the projective dimension of a squarefree monomial ideal via domination in clutters
• Galois connections and the Leray spectral sequence
• Graded syzygies
• scientific article; zbMATH DE number 16165 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• Lattice complements and the subadditivity of syzygies of simplicial forests
• Linear syzygies of Stanley-Reisner ideals
• Monomial Ideals
• Multigraded Betti numbers of simplicial forests
• On vanishing patterns in \(j\)-strands of edge ideals
• Regularity 3 in edge ideals associated to bipartite graphs
• Simplicial trees are sequentially Cohen-Macaulay
• Subadditivity of syzygies of Koszul algebras
• The lcm-lattice in monomial resolutions
• The regularity of Tor and graded Betti Numbers

Cited in

(6)

• Well ordered covers, simplicial bouquets, and subadditivity of Betti numbers of square-free monomial ideals
• Correction to: ``Breaking up simplicial homology and subadditivity of syzygies
• Lattice complements and the subadditivity of syzygies of simplicial forests
• Subadditivity of syzygies of ideals and related problems
• Subadditivity, strand connectivity and multigraded Betti numbers of monomial ideals
• On the subadditivity condition of edge ideal

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Breaking up simplicial homology and subadditivity of syzygies

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