4
$\begingroup$

I am trying to piece together elliptic curves in FLT and would greatly appreciate corrections to my summary (or attempts thereof).

Mazur's paper "Number Theory as Gadfly" states, "there is a natural way of identifying lattice with a with an orbit in the complex plane" (and this would essentially be the hyperbolic uniformization?) He defines a hyperbolic uniformization to be a covering mapping from the half plane - {finite set of orbits} to an elliptic curve - {finite set of points}. Thus, he concludes that it is periodic.

We can consider an elliptic curve E to be a torus over a lattice L, because E is doubly periodic (i.e., meromorphic).

Viewing E as C/L gives information about the structure of the group of torsion points on E (according to Ribet).

Now, a torsion subgroup of E(Q) would have elements P, such that P*n=0. It is also called periodic.

So how is the torsion subgroup related to the periodicity found in elliptic curves and hyperbolic uniformizations?

Thank you!

$\endgroup$
2
$\begingroup$

Too long for a comment, eventhough this could, perhaps, be considered as kind of an answer:

First, I think it'd be clearer to write $\;nP=0\;$ and not $\;P^n=e\;$ , as the Poincare group of an elliptic curve is abelian and the operation on it is usually written additively.

Second, the "modding out by $\;n\;$" thing is not so clear to me here, as you could say the same about any group (abelian or not) with exponenent $\;n\;$ and I really don't know what this can help us out here.

Third, the "elliptic curve over a lattice" isn't clear to me, either: one can see an elliptic curve as a complex torus $\;\Bbb C/L\;,\;\;L=$ an algebraic lattice in $\;\Bbb C\;$ (i.e., a rank two free abelian subgroup of $\;\Bbb C\;$ which contains a basis for the real vector space $\;\Bbb C_{\Bbb R}\;$) , and the "equivalence" of points you talk about is just mere equality between elements represented by the very same cosets in the quotient group.

Fourth, I really have no idea what you mean by "the hyperbolic plane has periodicity, as well as a lattice..."

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.