Skip to main content
3 of 5
modified question
unknown
  • 181
  • 6

Does smooth target space and smooth fibers imply smooth total space?

Suppose that $f: X \rightarrow Y$ is a morphism between algebraic varieties. If $Y$ is smooth, and the fibers of $f$ over closed points of $Y$ are proper and nonsingular, does it follow that $X$ is smooth?

Update: The answer to the question as posed, is NO. See a comment by Karl Schwede below for a counterexample.

Modified question: Let $f$ be a surjective morphism of algebraic varieties (reduced, irreducible, separated schemes over an algebraically closed field). Let $x \in X$ be a closed point and let $y = f(x)$. Suppose that for each positive $n$, the fiber of $f$ over $\mathcal{O}_y/m^n$ is regular (here $m$ is the maximal ideal of the local ring at $y$). Is $X$ smooth at $x$?

unknown
  • 181
  • 6