Abstract
The main aim of this article is to prove the following:Theorem (Generalized Hironaka's lemma). Let X→Y be a morphism of schemes, locally of finite presentation, x a point of X and y=f(x). Assume that the following conditions are satisfied: (i) OY,y is reduced. (ii) f is universally open at the generic points of the components of Xy which contain x. (iii) For every maximal generisation y′ of y in Y and every maximal generisation x′ of x in X which belongs to Xy, we have dimx, (Xy')=dimx(Xy)=d. (iv) Xy is reduced at the generic points of the components of Xy which contain x and (Xy)red is geometrically normal over K(y) in x. Then there exist an open neighbourhood U of x in X and a subscheme U0 of U which have the same underlying space as U such that f0:U0\arY is normal (i.e. f0 is a flat morphism whose geometric fibers are normal).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.