I will show a few different approaches to the Weak Mordell-Weil theorem and how they are all really the same proof. The various proofs use the Hermite-Minkowski theorem, Class Field Theory and the Dirichlet’s Unit theorem/finiteness of Class group.
Let be an elliptic curve over a number field. The Mordell-Weil theorem says that the group of rational points is finitely generated. This is usually proven in two steps:
- Weak Mordell-Weil Theorem: We prove for some that is finite.
- Theory of heights: We define the notion of a height of a point on (roughly, how many bits of information one would need to store the point). Using this and (1), the completion of the proof is quite formal.
I will focus here on the weak Mordell-Weil theorem and in particular, an approach to it using the Hermite-Minkowski theorem. This approach will apply without very little change to the case of Abelian varieties and the general technique seems to be applicable in great generality.
The idea of the proof is as follows:
- Reduce the case of general to supposing that contains the n-torsion using the Kummer sequence.
- Use the Kummer Pairing to reduce to showing that the inverse image of under the multiplication by map generates a finite extension of .
- Show that there is a smooth, proper model of over an open subset of and hence the inverse image of generates an extension etale over , not just .
- Apply Hermite-Minkowski.
The Hermite-Minkowski Theorem
The Hermite-Minkowski theorem says that extensions of a number ring of bounded degree and etale over an open set are finite. More precisely:
Theorem 1 [Hermite-Minkowski]: Let be a finite set of primes of . Then, the extensions unramified away from and of fixed degree are finite.
Proof: I will briefly sketch the proof. For details, see for example the very final theorem in these here.
The idea of the proof is to combine the Minkowski bound on the discriminant and the local nature of the discriminant. Recall that the Minkowski bound allows us to conclude that there are only finitely many extensions of with a a given discriminant. Therefore, we only need to show that the discriminant of an extension unramified away from of degree is bounded.
To do this, we work locally first. For a local field, there are only finitely many extensions of degree . This is not so hard to do by studying the ramification. This will trivially imply that the local discriminant over any prime is bounded.
Finally, we use that the discriminant of depends only on the discriminant of and the local discriminants over . The first is constant (since is fixed) and we have successfully bounded the rest.
A standard reduction
Before connecting this to the Mordell-Weil theorem, we need to make one standard reductions. Let now define the compositum of the fields of definition of all points such that . In other words, .
Lemma 2: The finiteness of is equivalent to being a finite extension of .
Proof: For any extension , one can show that the kernel of the map injects into from the standard Kummer sequence. This cohomology group is finite and therefore, we can always replace by a finite extension. Let us enlarge so that it contains all the torsion points.
What we want now follows follows from the existence of a perfect pairing in this case:
where is the torsion. The pairing is the analogue of the Kummer pairing for roots of unity. Explicitly, where is any point such that and one can prove that this is perfect directly too.
Since is finite, the finiteness of is equivalent to the finiteness of or equivalently, to the finiteness of as claimed.
Proving the weak Mordell-Weil theorem
We will use the fact that is etale. Let be a small open set (as an affine scheme) of so that are invertible on it and it has trivial class group.
Suppose also that there is a relative Elliptic curve such that it’s generic point is isomorphic to the given curve . Under the above assumptions, we can prove the weak Mordell-Weil theorem:
Proof: Since has no non trivial line bundles, is necessarily projective. Also, by clearing denominators and using that has trivial class group, we see that
This equality is functorial with respect to multiplication by and extensions of base field.
Since is invertible on , the multiplication by map on is an etale, finite map of degree . Therefore, pulling back any point gives us an etale algebra over of degree .
Thus, any point is defined over an extension that is unramified over the open subset . By Hermite-Minkowski, this shows that there are only finitely many possibilities for and hence, is necessarily a finite extension of .
The only thing left is to show that such a exists. The idea is to more or less use the explicit equations to define it over any field and show that the model defines a “good elliptic curve” over an open subset on the base.
Pick a projective model for . The equations defining it will naturally extend to a model over an open subset of . By removing points from this open subset, we can assume that is smooth.
Similarly, the equations defining the addition map, the inversion map and the section of will also extend to (after shrinking if necessary). To show that is a group scheme, we will need to show certain identities between these maps such as .
However, the locus of points where two maps match is a closed subset (since all the schemes we are interested in are separated and reduced). Moreover, the identities are true over the generic point, therefore they have to be true everywhere.
Thus, we have shown that is a smooth group scheme where the fibers are genus curves and hence this is a relative Elliptic Curve as required.
Using Class Field Theory:
Alternate approaches to the proof usually differ at step 3 (from the beginning outline). If we let denote the maximal extension of unramified away from , then the sequence:
is exact. The only problem is surjectivity but we know this from the existence of the smooth proper model. Taking cohomology, we obtain an injection:
where the final equality is because the n-torsion points are contained in .
However, the final group is equivalent to the finite abelian extensions of unramified on with Galois group a subgroup of . This is therefore a finite group by Class Field Theory.
Using Dirichlet’s S-unit Theorem and finiteness of the class group:
We can avoid appealing to Class Field Theory and instead use Kummer Theory. By the Weil Pairing, we know that contains the roots of unity. Therefore, by Kummer Theory, is equal to the subgroup of generated by elements of with trivial valuation over .
If we let denote the primes not in , then this follows from Dirichlet’s -unit theorem and finiteness of the Class group of . Let and denote the unit group and class group of . Then, we have the following diagram:
The map is the valuation map at each prime in while the other maps are all the natural maps. We would like to show that the kernel of is finite. A diagram chase shows us that we have an exact sequence:
Since the first and third term are finite, this is sufficient.
The diagram chase goes as follows: let represent an element in the kernel of . Then, for all and we can map . Certainly . If , then there is a such that as ideals and therefore as required.
We really did not use anything special to Elliptic Curves that does not generalize to Abelian Varieties. The hardest part is the final step where we need to spread out the given variety to an open subset of the number ring. We will need to know that Abelian varieties are projective which is quite non trivial.
This technique is also applicable to other cases. For instance, if we replace our Elliptic curve by , the same techniques (using the Kummer pairing) will prove the “weak” version of Dirichlet’s S-unit theorem.
In fact, we do not need to restrict ourselves to group schemes. Let us define to be the largest open subset of on which the primes in are invertible.
Then, if is a finite map over such that the generic fiber is etale, we can show the following:
Theorem: There is a finite extension such that is surjective.