Powers of ideals and fibers of morphisms

From MaRDI portal
Publication:2275692



Abstract: Let Xsubset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of phi, considered as subschemes of PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homogeneous ideal I in a standard graded algebra S, the regularity of I^t can be written as dt+epsilon for some non-negative integers d, epsilon, and all large t. In the special case where I contains a power of S_+ and is generated by forms of a single degree, our formula gives an interpretation of epsilon: it is one less than the maximum regularity of a fiber of the morphism associated to I. These formulas have strong consequences for ideals generated by generic forms.


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.




Cited in
(27)


Describes a project that uses

Uses Software






This page was built for publication: Powers of ideals and fibers of morphisms

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