Today I want to talk a bit about isogenies. In particular, I’m going to be thinking about the category of Abelian varieties over some algebraically closed field but some approximation of this discussion could probably be had in a number of other contexts as well. A good reference for what I’m talking about is Mumford’s *Abelian Varieties.*

If we take abelian varieties then (i.e. the morphisms of varieties that preserve the group structures) is a a finitely generated free abelian group. In particular, has the natural structure of a -algebra.

Of course by Yoneda, studying is essentially the same thing as studying and so understanding the is crucial. Vector spaces are generally easier to understand than modules, and so it’s reasonable to consider . Of course, we lose something by passing to . To give a concrete example, the endomorphism ring of an elliptic curve with complex multiplication is given by an order in a quadratic imagery extension of , but there are multiple non-isomorphic orders within a given field extension. However, we expect (and are correct in our expecations) that studying -algebras and vector spaces is easier than working over .

So now we are working in a new category where the objects are still abelian varieties over but the morphisms are given by . If has an inverse then and so (where denotes multiplication by in X). The converse is also clear.

Since each is surjective and has finite kernel, gives is surjective and has finite kernel and gives is surjective and has finite kernel.

Conversely, if is surjective and has finite kernel then we see that is a finite group scheme and so killed by some . Then and so there exists some giving . Similarly, we get .

So to recap, we’ve now shown that the invertible morphisms in this new category are precisely those that are surjective with finite kernel. But this is the ‘traditional’ definition of isogeny, and we have arrived at it through purely wholesome ideas! Another way to look at this is that we’ve ‘localized’ our original category to force the morphisms to be invertible and have shown that in this new category, the isomorphisms are precisely the isogenies.

I already find this quite satisfying, but I should mention some benefits of working up to isogeny. One can prove the Poincare reducibility theorem which says that if is a subvariety of then we can find a complement of in . i.e there exists a so that is finite and is isogenous (isomorphic in our current category!) with . Using the standard sorts of arguments one can make with any ‘simple’ object, we can actually show that any abelian variety is isogenous to a product where and are not isogenous for . Further, one shows that (the matrix ring over some division algebra). Thus, classifying abelian varieties up to isogeny becomes an issue of understanding which division algebras can appear.

Furthermore (and perhaps most importantly), we have for finite fields and number fields Tate’s Isogeny theorem which allows us to conclude that abelian varieties are isogenous if and only if their rational Tate modules (i.e. ) are isomorphic as Galois modules.

Nice post! I think this is good motivation for why one calls your localized category the ‘isogeny category’.

One nitpick though. The statement “Thus classifying abelian varieties up to isogeny becomes an issue of understanding which division algebras appear” is a little misleading. Namely, take two elliptic curves . Then, regardless of whether and are isogenous.

LikeLike

Ha! Well I said that we’re only working over an algebraically closed field at the beginning for this reason. But actually, knowing how the theory works over other fields/rings is something I don’t feel great about.

LikeLike

You did mention Tate’s result at the end though 🙂

LikeLiked by 1 person