Is generically finite equivalent to finite extension when surjective?

48 Views Asked by At

Let $f:X\rightarrow Y$ be a surjective morphism of varieties. Do the following conditions equivalent?

  1. $f$ is generically finite
  2. $[K(X):K(Y)]<\infty$
  3. $dim(X) = dim(Y)$
  4. There is an open set $V\subseteq Y$ such that $f^{-1}(V)\rightarrow V$ is finite