English

Purely inseparable Richelot isogenies

Algebraic Geometry 2025-03-27 v2 Number Theory

Abstract

We show that if CC is a supersingular genus-22 curve over an algebraically-closed field of characteristic 22, then there are infinitely many Richelot isogenies starting from CC. This is in contrast to what happens with non-supersingular curves in characteristic 22, or to arbitrary curves in characteristic not 22: In these situations, there are at most fifteen Richelot isogenies starting from a given genus-22 curve. More specifically, we show that if C1C_1 and C2C_2 are two arbitrary supersingular genus-22 curves over an algebraically-closed field of characteristic 22, then there are exactly sixty Richelot isogenies from C1C_1 to C2C_2, unless either C1C_1 or C2C_2 is isomorphic to the curve y2+y=x5y^2 + y = x^5. In that case, there are either twelve or four Richelot isogenies from C1C_1 to C2C_2, depending on whether C1C_1 is isomorphic to C2C_2. (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

R2 v1 2026-06-23T13:32:43.150Z