With or without using Chevalley's theorem, show that if $X\to \text{Spec }k$ is a quasifinite morphism (according to Vakil, this means finite type morphism + finite fibers), then the morphism is actually finite.
This question was asked before (in FOAG exercise 7.4.D.), but I don't quite understand the solution:
First, even if solve the case where $X$ is affine, how do we show that the claim holds in general for any scheme $X$?
Moreover, the accepted solution suggests that $X=\text{Spec }A$ is integral ("consider the generic point of $X$"), that the morphism $\text{Spec }A \to\text{Spec }k[x]$ induced by the inclusion $k[x]\subset A$ is dominant, and that the condition on finite fibers implies that the generic point of $X$ is constructible, but none of these are particularly clear to me.
Do we need some sort of requirement that the fiber is discrete (this would make, for instance, the last claim easy to verify)?
Best Answer
For the sake of completeness, I'll add a solution that's a little different than what Alex commented (i.e. using Chevalley's theorem, kind of):
First, we can write $X=\bigcup_{i=1}^n\text{Spec}A_i$, where the $A_i$ are finitely generated $k$-algebras. We can break up each affine guy into (finitely many because of compactness) irreducible components and assume that $A_i$ are actually irreducible and consider the reduced closed subscheme $\text{Spec}A_i/N(A_i)$, where $N(A_i)$ is the nilradical. By the Chevalley argument outlined (in the problem statement, I guess), it follows that $A_i/N(A_i)$ is actually a finite extension of $k$ (this also follows from the fact that integral + finite type is finite). This shows that $\text{Spec}A_i$ has support that is a point, from which it follows that $X$ is discrete and hence the Spec of the product of the $A_i$s.
To show that $X$ is actually a finite dimensional $k$-vector space, note that any finitely generated $k$-algebra is Artinian iff it is a finite dimensional $k$-vector space.