Purely inseparable Richelot isogenies
Abstract
We show that if is a supersingular genus- curve over an algebraically-closed field of characteristic , then there are infinitely many Richelot isogenies starting from . This is in contrast to what happens with non-supersingular curves in characteristic , or to arbitrary curves in characteristic not : In these situations, there are at most fifteen Richelot isogenies starting from a given genus- curve. More specifically, we show that if and are two arbitrary supersingular genus- curves over an algebraically-closed field of characteristic , then there are exactly sixty Richelot isogenies from to , unless either or is isomorphic to the curve . In that case, there are either twelve or four Richelot isogenies from to , depending on whether is isomorphic to . (Here we count Richelot isogenies up to isomorphism.) We give explicit constructions that produce all of the Richelot isogenies between two supersingular curves.
Keywords
Cite
@article{arxiv.2002.02122,
title = {Purely inseparable Richelot isogenies},
author = {Bradley W. Brock and Everett W. Howe},
journal= {arXiv preprint arXiv:2002.02122},
year = {2025}
}
Comments
31 pages. We simplified some proofs and calculations by changing the model we use for generic supersingular genus-2 curves. We also include as an ancillary file a collection of Magma routines that the reader can use to verify some calculations made in the paper