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

Monotonicity of v_p(I^k) and v(I^k) across powers

Determine whether for any homogeneous ideal I in a standard graded polynomial ring S and for all p in the stable associated primes Ass∞(I), the inequalities v_p(I^k) < v_p(I^{k+1}) hold for all k ≥ 1, and whether v(I^k) < v(I^{k+1}) holds for all k ≥ 1.

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

Background

Although v_p(Ik) and v(Ik) are known to be eventually linear for the I-adic filtration, it is not known whether these sequences are strictly increasing from the outset. The authors present this as a concrete open question.

A positive answer would constrain the initial fluctuations of these sequences and complement the asymptotic linearity results.

References

Question 5.3. k k+1 ∞ (a) Is it true that v (Ip) < v (I p ) for all p ∈ Ass (I) and all k ≥ 1? (b) Is it true that v(I ) < v(I k+1 ) for all k ≥ 1?

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