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