The matrix lemma for elliptic curves
Posted by Martin Orr on Friday, 25 May 2012 at 14:00
Let be a principally polarised abelian variety of dimension
over
.
We can associate with
a
complex matrix called the period matrix which roughly speaking describes a basis for the image of
in
(actually it is not really the period matrix as it is only defined up to the action of
on the Siegel upper half space; we can make it nearly unique by forcing it to be in a particular fundamental domain).
The matrix lemma says that, if is defined over a number field, then the entries of the imaginary part of the period matrix cannot be too large with respect to the height of
(Faltings height or modular height).
Matrix lemma. (Masser 1987) Let
be a principally polarised abelian variety of dimension
over a number field
. Let
be the period matrix for
in the standard fundamental domain of the Siegel upper half space. There is a constant
depending only on
such that all the entries of
satisfy
Last time I used a lower bound for the lengths of non-zero periods in the proof of the isogeny theorem. This follows from the matrix lemma as we can easily relate lengths of periods and the period matrix.
Today I will prove the matrix lemma for elliptic curves. The general proof requires various facts about Siegel modular forms and also uses a funny choice of level structure due to Igusa (I do not understand why). But the basic structure of the proof is already visible in the elliptic curves case and we can be concrete about the modular forms involved, using only facts I learned in Part III.