Skip to main content
1 of 2
Anton Geraschenko
  • 24k
  • 17
  • 127
  • 180

(Assuming $f$ was meant to be generically finite)

Since the blowups are proper and $f$ is proper, the "property P argument" shows that $\tilde f$ is proper. A proper quasi-finite morphism is finite (EGA IV 18.12.4), so $\tilde f$ is finite.

This (more or less) reduces to the case when $f$ is finite to begin with, so no blowups are needed. I can't think of a nontrivial condition that guarantees that a finite morphism is flat.

Anton Geraschenko
  • 24k
  • 17
  • 127
  • 180