# Martin's Blog

## Shafarevich and Siegel's theorems

Posted by Martin Orr on Friday, 07 October 2011 at 09:00

In this post I will prove the Shafarevich conjecture for elliptic curves (also called Shafarevich's theorem). The proof is by reducing it to the finiteness of the number of solutions of a certain Diophantine equation, and then applying Siegel's theorem on integral points on curves.

Shafarevich's Theorem. Let be a number field and a finite set of places of . Then there are only finitely many isomorphism classes of elliptic curves over with good reduction outside .

Siegel's Theorem. Let be a number field and a finite set of places of . An absolutely irreducible affine curve over of genus at least has only finitely many -integral points.

Since the reduction of Shafarevich's theorem to Siegel's theorem is short, and Siegel's theorem is of independent interest, most of the post will be about Siegel's theorem.

## Finiteness theorems for abelian varieties

Posted by Martin Orr on Monday, 19 September 2011 at 16:34

Faltings famously proved the Mordell, Shafarevich and Tate conjectures in 1983. In this post I will discuss the relationships between the Tate and Shafarevich conjectures and some other finiteness theorems for abelian varieties.

Everything which I call a conjecture in this post is known to be true: they all follow from Finiteness Theorem I. Proving Finiteness Theorem I was the bulk of Faltings' work, but I am not going to talk about that today.

Finiteness Theorem I. Given a number field and an abelian variety defined over , there are only finitely many isomorphism classes of abelian varieties defined over and isogenous to .

## Weil pairings: the skew-symmetric pairing

Posted by Martin Orr on Tuesday, 06 September 2011 at 13:52

Last time, we defined a pairing By composing this with a polarisation, we get a pairing of with itself. This pairing is symplectic; the proof of this will occupy most of the post.

We will also see that the action of the Galois group on this pairing is given by the (inverse of the) cyclotomic character, as I promised a long time ago (in the comments). This tells us that the image of the -adic Galois representation of is contained in . This is the end of my series on Mumford-Tate groups and -adic representations attached to abelian varieties.

## Weil pairings: definition

Posted by Martin Orr on Monday, 29 August 2011 at 17:27

Recall that for an abelian variety over the complex numbers, is dual to (this is built in to the analytic definition of ). Since , this tells us that is dual to (as -modules). We would like to show that this is true over other fields as well, which we will do by constructing the Weil pairings.