Dice Question Streamline Icon: https://streamlinehq.com

Slope of v_p(I^k) equals α(I) for maximal stable associated primes

Prove that for any homogeneous ideal I ⊂ S and for every p maximal in the stable set of associated primes Ass∞(I), the limit lim_{k→∞} v_p(I^k)/k equals α(I), the initial degree of I.

Information Square Streamline Icon: https://streamlinehq.com

Background

It is known that lim_{k→∞} v(Ik)/k = α(I). Since v(Ik) = max_{p∈Ass∞(I)} v_p(Ik) for large k and each v_p(Ik) is eventually linear, at least one stable associated prime achieves slope α(I).

The conjecture strengthens this by asserting that every maximal element of Ass∞(I) has asymptotic slope equal to α(I).

References

Conjecture 5.4. Let I ⊂ S be a homogeneous ideal. For all p ∈ Max (I), we have ∞ vp(I ) lim = α(I). k→∞ k

Asymptotic behaviour of integer programming and the $\text{v}$-function of a graded filtration (2403.08435 - Ficarra et al., 13 Mar 2024) in Conjecture 5.4, Section 5 (Open questions), page 9