The eventual shape of Betti tables of powers of ideals (Q2511481)

Let \(S = A[x_1,\dots, x_n]\) be \(G\)-graded algebra over a commutative ring \(A \subset S_0\). Let \(I_1,\dots, I_s\) be \(G\)-homogeneous ideals of \(S\) and \(M\) a finitely generated \(G\)-graded \(S\)-modules. The authors in the paper under review consider the behaviour of the \(G\)-graded Betti numbers of \(M I_1^{t_1} \dots I_s^{t_s}\) when the \(t_i\) are sufficiently large. Over standard graded polynomial rings over a field, it is known that the regularity of these modules are eventually linear from the work of \textit{S. D. Cutkosky} et al. [Compos. Math. 118, No. 3, 243--261 (1999; Zbl 0974.13015)]. Nevertheless, in the general setup as above, it is still not known whether the regularity is eventually linear. The authors showed that the \(G\)-support of the Tor modules \(\text{Tor}_i^S(MI_1^{t_1}...I_s^{t_s}, A)\) behave in a uniform pattern, namely it is a translate of certain finite subset of \(G\). Moreover the \(G\)-graded Betti numbers at these translates become a polynomial in the \(t_i\) for \(t\) sufficiently large. The idea of proof is to consider the multi Rees algebra and a deformation argument to reduce the problem to the study of initial ideals. The uniform patterns follows from the fact that certain analog of Stanley decomposition exists for the initial ideals.