What's the "real" reason a finite map has finite fibers?

This is a soft question. I have encountered two very different proofs of what seems like "basically the same theorem," and I want to understand how they relate and "what the real explanation is." Please forgive my imprecision here; but I am extremely interested in your thoughts.

In Shafarevich's Basic Algebraic Geometry I, Ch. 1 Sec. 5.3, it is proven that a finite map has finite fibers, i.e.:

Let $X,Y$ be quasiprojective varieties over an algebraically closed ground field $k$, and let $f:X\rightarrow Y$ be a regular map that is finite in the sense that $Y$ admits a cover by affine open subsets $V$ such that $U=f^{-1}(V)\subset X$ is affine for each $V$, and we have $f^*:k[V]\rightarrow k[U]$ is an integral ring map. Then $f^{-1}(p)$ is a finite set for $p\in V$.

The proof is that since the ring maps are integral, the coordinate functions on $X$ satisfy polynomials over the pullbacks of the coordinate functions on $Y$, which become actual polynomials over $k$ when an image point in $y$ in a specified $V$ is chosen. These polynomials limit the coordinates on $X$ to a finite set of values.

Meanwhile, in Atiyah and MaDonald's Introduction to Commutative Algebra, Ch. 5 Exercises 12-15, the "same result" is established in a different setting, namely:

If $A$ is an integrally closed domain, $K=\operatorname{Frac}A$, $L$ is a finite field extension of $K$, and $B$ is $A$'s integral closure in $L$, then the map $\operatorname{Spec}B\rightarrow \operatorname{Spec}A$ coming from the inclusion $A\hookrightarrow B$ has finite fibers.

The proof is completely different. We look at $L$ as a purely inseparable extension of a separable extension of $K$ and handle each extension separately. For the separable extension, we embed it in its Galois closure and prove that the Galois group (which is finite) acts transitively on the fibers of the map. The argument uses a form of the Going-Up Theorem and the lemma that if an ideal is contained in a finite union of prime ideals, it is fully contained in one of them. For the inseparable part, we show using a calculation that the map on $\operatorname{Spec}$s is actually injective.

Obviously the scope of the two statements is a little different. For the purposes of this question I don't care about the differences coming from the fact that Shafarevich is dealing with quasiprojective rather than affine varieties, so let's just imagine he's in the affine case. Then he's dealing exclusively with finitely generated algebras over an algebraically closed field, but I don't think he needs to make any assumption of integral closure or domainhood. And his argument is only dealing with the closed points of the $\operatorname{Spec}$. Meanwhile, Atiyah and MacDonald insist on starting with an integrally closed domain, but there's no assumption that there's some underlying algebraically closed field over which everything is a f.g. algebra.

Nonetheless, the two books seem to be trying to tell me, in some sense, "the same story." Yet in one case we get the result from the basic fact that the degree of a polynomial bounds the number of its roots over a field (although the Nullstellensatz is sitting in the background to identify the closed points of the $\operatorname{Spec}$ with tuples from the field), while in the other case we have to bring a Galois group and a case handling of separable vs. purely inseparable extensions into it!

What's "the real story" here? I.e.:

How general is the result? Is it true for an arbitrary map of schemes? And what's the general proof? How does it relate to these two proofs? Is there a "moral" argument that subsumes both of these arguments? How do you sort this out for yourself?

Again, please forgive the softness. I hope the question will be of interest in any case.

Solution 1:

It is general. Let $f : X \rightarrow Y$ be a finite morphism of schemes. Then the fibers of $f$ are finite. This is implied by fact that any finite algebra over a field is an artinian ring.

Proof : let $f : X \rightarrow Y$ be a finite morphism of schemes. By definition there is an open affine covering $(V_i)_{i\in I}$ of $Y$ such that the $f^{-1} (V_i)$ are affine and the corestrictions $f : f^{-1} (V_i) \rightarrow V_i$ are finite, and the inverse is true (that is, if there such a covering then the morphism is finite.) We can therefore assume that $X$ and $Y$ are affine. Then any fiber of $f$ is the spectrum of a finite algebra over a field (the residue field of the point of $Y$ we're taking the fibre of). Such an algebra is artinian and has only finitely many primes ideals, showing that the spectrum is finite, that is, that the fiber is finite, and also that it is discrete.