Stabilization of Betti tables

DOI10.1216/JCA-2014-6-1-113MaRDI QIDQ2453707zbMATH OpenFDO

Authors Gwyneth Whieldon

Publication date 10 June 2014

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.2355, https://projecteuclid.org/euclid.jca/1401715582

zbMATH Keywords

Betti tablesfree resolutionspowers of idealsregularitystabilization

Mathematics Subject Classification ID

Graded rings (13A02) Theory of modules and ideals in commutative rings (13C99) Syzygies, resolutions, complexes and commutative rings (13D02)

Abstract: Let $IsubseteqR=kk[x_1,\mathrm{...},x_n]$ be a homogeneous equigenerated ideal of degree $r$. We show here that the shapes of the Betti tables of the ideals $I^d$ stabilize, in the sense that there exists some $D$ such that for all $dgeqD$, $$. We also produce upper bounds for the stabilization index $Stab(I)$. This strengthens the result of Cutkosky, Herzog, and Trung that the Castelnuovo-Mumford regularity $eg(I^d)$ is eventually a linear function in $d$.

Review text

Let \(\mathbf{k}\) be a field and let \(I\subseteqq R=\mathbf{k}[x_1,\ldots,x_n]\) be an ideal. The graded Betti numbers of a homogeneous ideal \(I\) are given by \(\beta_{i,j}(I)=\text{dim}_\mathbf{k}\text{Tor}_i(\mathbf{k},I)\). The author organize this data into the Betti table of \(I\) displaying \(\beta_{i,i+j}(R/I)\) in \(i\)th column and \(j\)th row. An equigenerated ideal \(I\) is an ideal of \(\mathbf{k}[x_1,\ldots,x_n]\) if \(I\) generated by homogenous generators of the same degree. Using techniques similar by \textit{K. Borna} [Osaka J. Math. 46, No. 4, 1047--1058 (2009; Zbl 1183.13016)], \textit{S. D. Cutkosky} et al. [Compos. Math. 118, No. 3, 243--261 (1999; Zbl 0974.13015)] and \textit{T. Römer} [Ill. J. Math. 45, No. 4, 1361--1376 (2001; Zbl 1094.13525)] the author proves a sharper result on the asymptotic of Betti tables of powers \(I^d\). Theorem. Let \(I=(f_0,f_1,\ldots,f_k)\subseteqq\mathbf{k}[x_1,\ldots,x_n]=R\) be an equigenerated ideal in degree \(r\). Then there exists a \(D\) such that, for all \(d>D\), we have \(\beta_{i,j+rd}(I^d)\neq0 \Leftrightarrow \beta_{i,j+rD}(I^D)\neq0\).

Recommendations

• Asymptotic stabilization of Betti diagrams of generic initial systems
• Betti numbers of powers of ideals
• The eventual shape of Betti tables of powers of ideals
• Graded Betti numbers of powers of ideals
• Ideals with stable Betti numbers

Cites work

• Four counterexamples in combinatorial algebraic geometry
• Homological properties of bigraded algebras
• 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 579532 (Why is no real title available?)
• scientific article; zbMATH DE number 2236734 (Why is no real title available?)
• Monomial ideals whose powers have a linear resolution
• On linear resolution of powers of an ideal
• Powers of ideals. Primary decompositions, Artin-Rees lemma and regularity

Cited in

(12)

• Stabilization of Boij-Söderberg decompositions of ideal powers
• Fiber invariants of projective morphisms and regularity of powers of ideals
• Asymptotic stabilization of Betti diagrams of generic initial systems
• An intriguing ring structure on the set of d-forms
• Decompositions of Betti diagrams of powers of monomial ideals: a stability conjecture
• Bounds on the regularity and projective dimension of ideals associated to graphs
• Three Flavors of Extremal Betti Tables
• Betti tables of monomial ideals fixed by permutations of the variables
• Recursive strategy for decomposing Betti tables of complete intersections
• Virtual resolutions of monomial ideals on toric varieties
• The Betti polynomials of powers of an ideal
• Stabilizing bisets

This page was built for publication: Stabilization of Betti tables

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