Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
stub for isogeny
Charles Rezk speaks of isogenies of formal groups in his ICM talk. What’s the story about all the kinds of entity the term applies to?
Hmm, that modification announced in #2 hasn’t helped, has it?
What Urs has in v2 was fine. An elliptic curve is just a kind of algebraic group. The definition of isogeny as a surjection with finite kernel applies to the larger notion.
That’s looking good. Thanks!
1 to 7 of 7