0
$\begingroup$

Hi, everybody.

Consider an ${\rm S}_{1}$- morphism $f:X\rightarrow S$ of reduced complex spaces. Assume that $f$ is open (universally open in Alg.geom), equidimensional with $n$-pure dimensional fiber, surjectiv. Let $U$ be the flat locus of $f$ (which is a dense open set).

Question: It is true that the codimension of $(X-U)\cap X_{s}$ is of codimension 2 in the fiber $X_{s}$ ?

Remark: We can refer to the Thm 15.2.2, p.226 and Prop 4.7.10 of [EGA].

Thank you very much...

Improve this question
$\endgroup$
2
  • $\begingroup$ [EGA]? $\mbox{}$ $\endgroup$
    – Joseph O'Rourke
    Commented Sep 2, 2010 at 0:04
  • 1
    $\begingroup$ "Éléments de géométrie algébrique" is the bible of this sect. $\endgroup$
    – Donu Arapura
    Commented Sep 3, 2010 at 13:08

1 Answer 1

Reset to default
2
$\begingroup$

Take $X=\mathbb{C}$, $S$= the cuspidal plane cubic $y^2=x^3$, and $f$= the normalization map $t\mapsto (t^2,t^3)$. This is a universal homeomorphism. The flat locus is $U=\mathbb{C}^*$, so $X\setminus U$ is the whole fiber at $(0,0)$.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .