Asymptotic linearity of regularity and a^*-invariant of powers of ideals

From MaRDI portal
Publication:2428835



Abstract: Let X = Proj R be a projective scheme over a field k, and let I be an ideal in R generated by forms of the same degree d. Let Y --> X be the blowing up of X along the subscheme defined by I, and let f: Y --> Z be the projection of Y given by the divisor dH - E, where E is the exceptional divisor of the blowup and H is the pullback of a general hyperplane in X. We investigate how the asymptotic linearity of the regularity and a*-invariant of I^q (for q large) is related to invariants of fibers of f.


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\).











This page was built for publication: Asymptotic linearity of regularity and \(a^*\)-invariant of powers of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2428835)