MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Assume $X, Z, S$ are shemes of finite type over $\mathbb{C}$, $X$ is also irreducible and reduced, $\phi: Z\to S$ is affine flat morphism with reduced connected fibers, $\psi: Z\to X$ is such that $\phi \times \psi$ is finite. Is $\text{Im}(\phi \times \psi)\to S$ flat? Maybe, under some additional conditions?

For example, let $S=\mathbb{A}^1$, $Z=X=\mathbb{A}^2$, $\phi$ is given by $(x,y)\mapsto x$, $\psi$ is given by $(x,y)\mapsto (xy, y^2)$. The morphism $\phi\times\psi$ is bijective outside the fiber $Z_0$, where it is 2 to 1. However, $\text{Im}(\phi \times \psi)\to S$ is flat.


share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.