Platitude d'une adherence schematique et lemme de Hironaka generalise

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) O _Y,y is reduced.

• (ii) f is universally open at the generic points of the components of X_y 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 X_y, we have dim_x, (X_y')=dim_x(X_y)=d.

• (iv) X_y is reduced at the generic points of the components of X_y which contain x and (X_y)_red is geometrically normal over K(y) in x.

Then there exist an open neighbourhood U of x in X and a subscheme U₀ of U which have the same underlying space as U such that f₀:U₀\arY is normal (i.e. f₀ is a flat morphism whose geometric fibers are normal).