yes, I myself very much view isogenies as the morphisms between elliptic curves (and I guess more generally between abelian varieties, but I know even less in that case). I believe the point is that one gets a 'dual' isogeny [1, Theorem 1] in the other direction, so _existence_ of an isogeny is (I think) an equivalence relation. But really one should consider the actual maps...
[1] https://www.johannesloher.com/assets/files/the_dual_isogeny.pdf
theHigherGeometer /
npub1d6…5mhwm
2025-02-09 12:21:08
in reply to nevent1q…zk7n
Author Public Key
npub1d60hhaertjrlmhefe54s00hfyga38wangrqthcu3zdnnnfm3myase5mhwmPublished at
2025-02-09 12:21:08Event JSON
{
"id": "49ecbb3cce22655c9853422c6c5fc8f98b8414aa23e6addeebd700056ebc647c",
"pubkey": "6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b",
"created_at": 1739103668,
"kind": 1,
"tags": [
[
"e",
"4583893a9689e151df6117e4b4f9d00516a81ea98c5f00c08b610cdc395296a1",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"c66961902516f367a4be80e95232fd03fe81dc183651967570afb03dca579fd5",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"proxy",
"https://mathstodon.xyz/@highergeometer/113973898021269039",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/113973898021269039",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/highergeometer/statuses/113973898021269039",
"pink.momostr"
],
[
"-"
]
],
"content": "yes, I myself very much view isogenies as the morphisms between elliptic curves (and I guess more generally between abelian varieties, but I know even less in that case). I believe the point is that one gets a 'dual' isogeny [1, Theorem 1] in the other direction, so _existence_ of an isogeny is (I think) an equivalence relation. But really one should consider the actual maps...\n\n[1] https://www.johannesloher.com/assets/files/the_dual_isogeny.pdf",
"sig": "5c7c1bc4e635ec8ff27bd4c348fbd916e4d0251272cf43bfceee65f7e344831cf113b70551fbd7273685a50f057bb6718e90b567e4a93e7b763ab75ca0e98863"
}