Powers of ideals and fibers of morphisms (Q2275692)

Let \(F\) be a field and \(R\) be a standard graded \(F\)-algebra. Then for any homogeneous ideal \(I\subset R\), reg \(I^t=dt+\epsilon\) for some non-negative integers \(d,\epsilon\) and all large \(t\) as \textit{S. D. Cutkosky, J. Herzog} and \textit{Ngô Viêt Trung} [Compos. Math. 118, No.~3, 243--261 (1999; Zbl 0974.13015)] and \textit{V. Kodiyalam} [Proc. Am. Math. Soc. 128, No.~2, 407--411 (2000; Zbl 0929.13004)] proved. Let \(X\subset {\mathbb P}^n={\mathbb P}_F^n\) be a projective scheme with homogeneous coordinate ring \(R\), and \(\phi:X\rightarrow {\mathbb P}^s\) be a linear projection whose center does not meet \(X\), defined by a \((s+1)\)-dimensional vector space \(V\) of linear forms of \(R\). Let \(I\) be the ideal generated by \(V\) and \(m\) the maximal graded ideal of \(R\). Let \(\epsilon\) be the least positive integer such that \(m^{t+\epsilon}\subset I^t\) for all \(t>0\). The authors show that the maximum of the Castelnuovo-Mumford regularity of the fibers of \(\phi\) over closed points of \({\mathbb P}^s\) is \(\epsilon +1\). This is a consequence of a stronger result of the paper, which gives in a more general frame, a formula of this maximum in terms of global dates.