Computing separable isogenies in quasi-optimal time

* Auteur correspondant
2 LFANT - Lithe and fast algorithmic number theory
IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
Abstract : Let $A$ be an abelian variety of dimension $g$ together with a principal polarization $\phi: A \rightarrow \hat{A}$ defined over a field $k$. Let $\ell$ be an odd integer prime to the characteristic of $k$ and let $K$ be a subgroup of $A[\ell]$ which is maximal isotropic for the Riemann form associated to $\phi$. We suppose that $K$ is defined over $k$ and let $B=A/K$ be the quotient abelian variety together with a polarization compatible with $\phi$. Then $B$, as a polarized abelian variety, and the isogeny $f:A\rightarrow B$ are also defined over $k$. In this paper, we describe an algorithm that takes as input a theta null point of $A$ and a polynomial system defining $K$ and outputs a theta null point of $B$ as well as formulas for the isogeny $f$. We obtain a complexity of $\tilde{O}(\ell^{\frac{rg}{2}})$ operations in $k$ where $r=2$ (resp. $r=4$) if $\ell$ is a sum of two squares (resp. if $\ell$ is a sum of four squares) which constitutes an improvement over the algorithm described in [7]. We note that the algorithm is quasi-optimal if $\ell$ is a sum of two squares since its complexity is quasi-linear in the degree of $f$.
Type de document :
Article dans une revue
LMS Journal of Computation and Mathematics, London Mathematical Society, 2015, 18 (1), pp.198-216. 〈10.1112/S146115701400045X〉

Littérature citée [28 références]

https://hal.archives-ouvertes.fr/hal-00954895
Contributeur : Marie-Annick Guillemer <>
Soumis le : lundi 6 novembre 2017 - 19:13:00
Dernière modification le : mercredi 13 février 2019 - 16:06:06

Fichier

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

Citation

David Lubicz, Damien Robert. Computing separable isogenies in quasi-optimal time. LMS Journal of Computation and Mathematics, London Mathematical Society, 2015, 18 (1), pp.198-216. 〈10.1112/S146115701400045X〉. 〈hal-00954895〉

Métriques

Consultations de la notice

576

Téléchargements de fichiers