Vol. 4, No. 1, 2020

Download this article
Download this article For screen
For printing
Recent Volumes
5: Gauge Theory and Low-Dimensional Topology
4: ANTS XIV
3: Hillman: Poincaré Duality
2: ANTS XIII
1: ANTS X
The Open Book Series
All Volumes
 
About the Series
Ethics Statement
Purchase Printed Copies
Author Index
 
ISSN 2329-907X (online)
ISSN 2329-9061 (print)
 
MSP Books and Monographs
Other MSP Publications
Counting Richelot isogenies between superspecial abelian surfaces

Toshiyuki Katsura and Katsuyuki Takashima

Vol. 4 (2020), No. 1, 283–300
Abstract

Castryck, Decru, and Smith used superspecial genus-2 curves and their Richelot isogeny graph for basing genus-2 isogeny cryptography, and recently, Costello and Smith devised an improved isogeny path-finding algorithm in the genus-2 setting. In order to establish a firm ground for the cryptographic construction and analysis, we give a new characterization of decomposed Richelot isogenies in terms of involutive reduced automorphisms of genus-2 curves over a finite field, and explicitly count such decomposed (and nondecomposed) Richelot isogenies between superspecial principally polarized abelian surfaces. As a corollary, we give another algebraic geometric proof of Theorem 2 in the paper of Castryck et al.

Keywords
Richelot isogenies, superspecial abelian surfaces, reduced group of automorphisms, genus-2 isogeny cryptography
Mathematical Subject Classification 2010
Primary: 14K02
Secondary: 14G50, 14H37, 14H40
Milestones
Received: 20 February 2020
Revised: 27 July 2020
Accepted: 22 August 2020
Published: 29 December 2020
Authors
Toshiyuki Katsura
Graduate School of Mathematical Sciences
The University of Tokyo
Japan
Katsuyuki Takashima
Information Technology R&D Center
Mitsubishi Electric
Ofuna
Japan