A note on the -invariant
arXiv:2401.00022
Abstract
Let be a finitely generated -graded algebra domain over a Noetherian ring and let be a homogeneous ideal of . Given one defines the -invariant of at as the least such that for some . A classical result of Brodmann asserts that is constant for large . So it makes sense to consider a prime ideal for all the large and investigate how depends on . We prove that is eventually a linear function of . When is the polynomial ring over a field this statement has been proved independently also by Ficarra and Sgroi in a recent preprint.
the final version of this note is going to appear in PAMS