Let $f: X\to Y$ be a finite (surjective) morphism between two algebraic varieties. I know when $X$ and $Y$ are nonsingular and $\dim Y =1$, $f$ is flat. But in general, is it true that $f$ is a flat morphism?
5

$\begingroup$ See this question also: mathoverflow.net/questions/7559/… $\endgroup$ – Hailong Dao Apr 9 '10 at 2:45
12
$\begingroup$
$\endgroup$
If $X$ and $Y$ are both regular, then this is true. In fact, it's true more generally if $Y$ is regular and $X$ is CohenMacaulay (Eisenbud, Commutative Algebra, Corollary 18.17). In general it's certainly false.

1$\begingroup$ This fact goes by the name of "miracle flatness" in Vakil's lecture notes. $\endgroup$ – Piotr Achinger Jul 4 '17 at 10:17