Let be an abelian variety over a field . A basic object to investigate is the group . Let be a number field. In light of the Birch and Swinnerton-Dyer conjecture and it’s relation to the class number formula, one should think of as the analog of the class group of a global field.

Thus, one might conjecture some finiteness properties of this group. It is not true that is finite as can bee seen by looking at some examples of elliptic curves but it is true that is finitely generated as an abelian group and this is the content of the Mordell-Weil Theorem.

The proof is usually broken up into two parts:

**Weak Mordell-Weil Theorem:**is finite for any integer .**Descent using a Height Function:**Deduce the full theorem from the above using a measure of size on the points of .

I will focus on the first part in this section and prove it in a motivated (but sophisticated) fashion. This proof will also differ from the standard proofs in trading in for classical algebraic number theory results (finiteness of class group and finite generation of unit group) for class field theory. This will greatly simplify the second half of the proof.

I will make free use of general theory about Abelian Varieties, Algebraic geometry and Galois Cohomology. The point of this post is not to fill in the details but to show a framework that makes the proof seem natural.

**The Kummer Sequence:**

Recall that is a number field and is an abelian variety over it. I will denote by the kernel of the multiplication by map on . I will often identify with the points of respectively. Also denote by the Galois group of over .

Now, we can consider the exact sequence of modules:

Taking Galois invariants, we get the long exact sequence:

and truncating the series, we have an injection:

So, we now see that to show that is finite, we simply need to show that is finite. Unfortunately, this is not true! However, we will show that actually lands in a subgroup of the cohomology group and this subgroup can easily be shown to be finite.

**Ramification of Galois Cohomology groups:**

A little more precisely, let be a finite set of primes of and the Galois group of the extension of that is unramified away from . In other words, for a prime not in with inertia group , is in the kernel of the quotient map and this characterizes .

We want to show that there is a finite set of primes such that the image of lands in (Note that this is a canonical subgroup of by the restriction map. ) This is by far the hardest part of the proof:

**Controlling the image of the boundary map:**

To do this, let us examine the first boundary map in the Kummer sequence more closely. For an element , the boundary map takes to a cocycle in the following way:

Pick a such that and define . One can check that this is independent of the choice of and that it is indeed a cocycle.

Now we see that for the image to land in , we need to be able to find, for each , a such that the inertia groups at primes away from fix . Equivalently, we want to lie in an extension of unramified away from . However, this follows immediately from the following observation:

Away from , the multiplication by n map on a model of over is unramified. This can be checked over the special and generic fiber of since the multiplication by map acts on the tangent spaces by literally multiplying by (which is a unit away from ).

In particular, the fiber of a point in lies in an extension unramified outside of and the fiber consists precisely of points such that . This is precisely what we were required to prove.

We are done with harder part and only need to show:

**Finiteness of :**

Since there are only finitely many points in and is etale over a residue field away from , we can find a finite, unramified away from , extension of that splits . That is, . Moreover, this is finite by Class field theory since we are looking for abelian extensions with bounded degree and ramification only at a finite number of predetermined points (and hence bounded ramification at these points).

Now, the rest of the proof follows easily on considering the inflation-restriction sequence:

The first set is finite as discussed above while the third group is finite since both the group and the module are finite. This establishes finiteness in the middle as required.

**Closing Thoughts:**

I find that this proof clarifies the role of class field theory versus the Elliptic Curve machinery. Furthermore, the usual proofs proceed by using both the finiteness of the class group and finite generation of the unit group in an essential way. This makes the analysis fairly complicated but it does have the advantage of not using any class field theory.

The proof here instead trades some complexity by using class field theory instead of more elementary algebraic number theory. This makes the final part of the proof almost trivial and the idea clearer.