Isogeny graphs with maximal real multiplication

Sorina Ionica 1 Emmanuel Thomé 2
2 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : An isogeny graph is a graph whose vertices are principally polarized abelian varieties and whose edges are isogenies between these varieties. In his thesis, Kohel described the structure of isogeny graphs for elliptic curves and showed that one may compute the endomorphism ring of an elliptic curve defined over a finite field by using a depth first search algorithm in the graph. In dimension 2, the structure of isogeny graphs is less understood and existing algorithms for computing endomorphism rings are very expensive. Our setting considers genus 2 jacobians with complex multiplication, with the assumptions that the real multiplication subring is maximal and has class number one. We fully describe the isogeny graphs in that case. Over finite fields, we derive a depth first search algorithm for computing endomorphism rings locally at prime numbers, if the real multiplication is maximal. To the best of our knowledge, this is the first DFS-based algorithm in genus 2.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00967742
Contributeur : Sorina Ionica <>
Soumis le : mercredi 23 juillet 2014 - 20:05:51
Dernière modification le : jeudi 11 janvier 2018 - 06:23:16
Document(s) archivé(s) le : lundi 17 novembre 2014 - 16:23:51

Fichiers

draft.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00967742, version 1
  • ARXIV : 1407.6672

Citation

Sorina Ionica, Emmanuel Thomé. Isogeny graphs with maximal real multiplication. 2014. 〈hal-00967742v1〉

Partager

Métriques

Consultations de la notice

664

Téléchargements de fichiers

309