Computing isogenies between Abelian Varieties

David Lubicz 1 Damien Robert 2, 3, 4
2 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
3 LFANT - Lithe and fast algorithmic number theory
IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
Abstract : We describe an efficient algorithm for the computation of isogenies between abelian varieties represented in the coordinate system provided by algebraic theta functions. We explain how to compute all the isogenies from an abelian variety whose kernel is isomorphic to a given abstract group. We also describe an analog of Vélu's formulas to compute an isogenis with prescribed kernels. All our algorithms rely in an essential manner on a generalization of the Riemann formulas. In order to improve the efficiency of our algorithms, we introduce a point compression algorithm that represents a point of level $4\ell$ of a $g$ dimensional abelian variety using only $g(g+1)/2\cdot 4^g$ coordinates. We also give formulas to compute the Weil and commutator pairing given input points in theta coordinates. All the algorithms presented in this paper work in general for any abelian variety defined over a field of odd characteristic.
keyword : Isogeny
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00446062
Contributor : Damien Robert <>
Submitted on : Friday, September 21, 2012 - 7:15:22 PM
Last modification on : Tuesday, December 18, 2018 - 4:18:25 PM
Document(s) archivé(s) le : Friday, December 16, 2016 - 4:41:49 PM

File

isogenies_web.pdf
Files produced by the author(s)

Identifiers

Citation

David Lubicz, Damien Robert. Computing isogenies between Abelian Varieties. Compositio Mathematica, Foundation Compositio Mathematica, 2012, 148 (05), pp.1483--1515. ⟨10.1112/S0010437X12000243⟩. ⟨hal-00446062v3⟩

Share

Metrics

Record views

731

Files downloads

222