Powers of Ideals and Fibers of Morphisms
Abstract
Let X⊂ PPn 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 φ, considered as subschemes of 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 It can be written as dt+ε for some non-negative integers d, ε, 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 ε: 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.