Apologies that I haven’t been posting recently. Sage days was this past weekend along with 6 inches of snow in Georgia(read: power outages), the Arizona Winter school in a week and everything else, it’s been very busy.
I’ve also been thinking about the comments on my last post, and how to deal with the dual isogeny in a more comprehensive way. My solution has been to talk about the dual isogeny in terms of maps on for a smooth curve. In the general setting of abelian varieties, the dual isogeny will be a map between the dual abelian variety, a quick set of details on which can be found here or in more detail in the Milne notes on abelian varieties.
Now in the context of elliptic curves, this is nice because we showed earlier that the chord and tangent group law on is isomorphic to the standard group law on . Even better, last time we defined the pushforward of an isogeny to by the map on divisors . Thus the composite map must be as for all , .
So we are reduced to looking at maps between groups. We define the ramification index of a point as follows: Since elliptic curves are regular and 1-dimensional, every local ring is a PID. Let be a generator of the unique maximal ideal of the local ring at .
Example: Consider . The function field of over a field is isomorphic to where is an abbreviation for the coordinate function . A uniformizer for is . A uniformizer for is . A uniformizer for for is .
This is a rational function on , so is a rational function on . If is a point mapping to , we define the ramification index of at to be . Define the pullback of a point (and of a divisor by linear extension) by . Thus if is a divisor of , because for any (this is really a result on the factorization of primes in an extension of rings). Thus by the uniqueness of the dual isogeny, must be the dual isogeny .
Now note that because we already know , so and because is an isogeny, this is so as long as is nonconstant, it is surjective, so we know .
Note further that because .
Now we recall that (consider the complex case), so . Note that . In general, because , which implies our result.
Now consider the (coarse) moduli space of pairs where is an elliptic curve and is a cyclic subgroup of of order . We can alternately consider this as the space of isogenies with kernel , (consider ). This is an example of a modular curve and the dual isogeny then gives an involution which is called the Atkin-Lehner (or sometimes also the Fricke) involution. There are a surprising number of applications for this including Shih’s theorem, the topic of the public portion of my oral.
If one wants to realize as a Galois group over the rationals, one might consider the covering and use Hilbert’s irreducibility theorem to bring it down from to . Unfortunately, this is not a regular extension over , but one can use the involution to get a twist of whose function field is (there exist for which this happens) and a corresponding regular extension with Galois group when.
Next week another critical piece in that puzzle: The Weil Pairing.