This is probably a simple-minded question, but I haven't been able to prove it or find a counterexample. This old question seems to dance around my question, but I don't think any of the answers address exactly my situation. (Please tell me if I am wrong!)
Suppose $\varphi: X\to Y$ is a surjective morphism of algebraic varieties (reduced, irreducible, separated schemes, finite type over an algebraically closed field), and furthermore assume that $Y$ is smooth. Also, I can assume that $\varphi$ is finitely presented.
If the fiber $X_y$ is smooth and equidimensional of dim $n$ for any $y\in Y$, is the morphism flat? I know that equidimensionality alone does not mean flat, but I wonder if the smoothness assumptions are enough. Obviously, I want to conclude that $X$ is smooth and this is enough.
The equidimensionality assumption rules out the blow-up examples in the above cite problem, and the normalization of a node on a curve is ruled out by smoothness of $Y$. I would be happy with a counterexample though.
Best Answer
The flatness statement you would like follows from Theorem 3.3.27 of Schoutens's book on ultraproducts.