John Carlos Baez on Nostr: nprofile1q…4pmdx - I didn't ever pursue it! Now that I seem to be getting more ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqg7va94ywu9fjkh2y6sz90vcqwv00shpyfgy5ndy8ltq59sy6szpsr4pmdx (nprofile…pmdx) - I didn't ever pursue it! Now that I seem to be getting more serious about understanding this stuff I should give it a try.
As mentioned, 'isogeny' is often treated as an equivalence relation, but I think it's good to treat it as a map of schemes between elliptic curves - a map with a property. I think any map between schemes of finite type should induce a map between their Hasse-Weil zeta functions (which I now more accurately call arithmetic zeta functions), and this should be easy enough to check, and also important to check. My recent paper did not touch on this functoriality!
As mentioned, 'isogeny' is often treated as an equivalence relation, but I think it's good to treat it as a map of schemes between elliptic curves - a map with a property. I think any map between schemes of finite type should induce a map between their Hasse-Weil zeta functions (which I now more accurately call arithmetic zeta functions), and this should be easy enough to check, and also important to check. My recent paper did not touch on this functoriality!