Asymptotic linearity of regularity and \(a^*\)-invariant of powers of ideals (Q2428835)

Let \(X=\mathrm{Proj} R\) be a projective scheme over a field \(k\) and \(I\subset R\) be a homogeneous ideal. It is known that \(\mathrm{reg}(I^q)\) is a linear map in \(q\), that is \(\mathrm{reg}(I^q)=aq+b\) for \(q>>0\). Suppose that \(I\) is generated by forms of the same degree \(d\). If the zeros set of these forms is empty in \(X\) then \textit{D. Eisenbud} and \textit{J. Harris} [Math. Res. Lett. 17, No. 2, 267--273 (2010; Zbl 1226.13012)] related \(b\) to the regularity of fibers of the projection map defined by the generators of \(I\). Otherwise, let \(\pi:{\tilde X}\rightarrow X\) be the blowing up of \(X\) along the subscheme defined by \(I\) and \(\phi:{\tilde X}\rightarrow {\mathbb P}^m\) be the projection given by the divisor \(dE_0-E\), where \(E\) is the exceptional divisor of \(\pi\) and \(E_0\) is the pullback of a general hyperplane in \(X\). Here it gives sufficient conditions when \(b\) is the regularity of \(\phi\). Also it shows that there exists an integer \(0\leq r\leq \dim R\) such that \(b=a^*(\phi)+r\), where \(a^*(\phi)\) is the \(a^*\)-invariant of \(\phi\).