Thursday, 7 August 2008

ag.algebraic geometry - finite surjective l.c.i morphism is flat

Let X,Y be locally Noetherian schemes. Let f:XtoY be a finite, surjective, and locally complete intersection morphism, i.e., locally it can be decomposed as regular immersion followed by a smooth morphism.
Recall: an immersion XtoY is called a regular immersion at a point x if mathcalOX,x is isomorphic as mathcalOY,y-module to mathcalOY,y modulo an ideal I generated by a regular sequence of elements of mathcalOY,y.



Question: prove that f is flat. In particular, f will be a simultaneously open and closed morphism.

No comments:

Post a Comment