Skip to main content Accessibility help
×
Home

Computing isogenies between abelian varieties

  • David Lubicz (a1) (a2) and Damien Robert (a3)

Abstract

We describe an efficient algorithm for the computation of separable isogenies between abelian varieties represented in the coordinate system given by algebraic theta functions. Let A be an abelian variety of dimension g defined over a field of odd characteristic. Our algorithm comprises two principal steps. First, given a theta null point for A and a subgroup K isotropic for the Weil pairing, we explain how to compute the theta null point corresponding to the quotient abelian variety A/K. Then, from the knowledge of a theta null point of A/K, we present an algorithm to obtain a rational expression for an isogeny from A to A/K. The algorithm that results from combining these two steps can be viewed as a higher-dimensional analog of the well-known algorithm of Vélu for computing isogenies between elliptic curves. In the case where K is isomorphic to (ℤ/ℤ)g for ∈ℕ*, the overall time complexity of this algorithm is equivalent to O(log ) additions in A and a constant number of ℓth root extractions in the base field of A. In order to improve the efficiency of our algorithms, we introduce a compressed representation that allows us to encode a point of level 4 of a g-dimensional abelian variety using only g(g+1)/2⋅4g coordinates. We also give formulas for computing the Weil and commutator pairings given input points in theta coordinates.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Computing isogenies between abelian varieties
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      Computing isogenies between abelian varieties
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      Computing isogenies between abelian varieties
      Available formats
      ×

Copyright

References

Hide All
[ACDFLNV06]Avanzi, R., Cohen, H., Doche, C., Frey, G., Lange, T., Nguyen, K. and Vercauteren, F., Handbook of elliptic and hyperelliptic curve cryptography, Discrete Mathematics and its Applications, vol. 34, eds Cohen, H. and Frey, G. (Chapman & Hall/CRC, Boca Raton, FL, 2006).
[CKL08]Carls, R., Kohel, D. and Lubicz, D., Higher-dimensional 3-adic CM construction, J. Algebra 319 (2008), 9711006.
[FLR11]Faugère, J.-C., Lubicz, D. and Robert, D., Computing modular correspondences for abelian varieties, J. Algebra 343 (2011), 248277.
[FM02]Fouquet, M. and Morain, F., Isogeny volcanoes and the SEA algorithm, in Algorithmic number theory (Sydney, 2002), Lecture Notes in Computer Science, vol. 2369 (Springer, Berlin, 2002), 276291.
[Gau07]Gaudry, P., Fast genus 2 arithmetic based on theta functions, J. Math. Crypt. 1 (2007), 243265.
[GHKRW06]Gaudry, P., Houtmann, T., Kohel, D., Ritzenthaler, C. and Weng, A., The 2-adic CM method for genus 2 curves with application to cryptography, in Advances in cryptology – ASIACRYPT 2006, Lecture Notes in Computer Science, vol. 4284 (Springer, Berlin, 2006), 114129.
[GS08]Gaudry, P. and Schost, E., Hyperelliptic curve point counting record: 254 bit Jacobian, June 2008, http://webloria.loria.fr/∼gaudry/record127/.
[Igu72]Igusa, J., Theta functions, Die Grundlehren der mathematischen Wissenschaften, Band 194 (Springer, New York, 1972).
[Kem89]Kempf, G. R., Linear systems on abelian varieties, Amer. J. Math. 111 (1989), 6594.
[Koh96]Kohel, D., Endomorphism ring of elliptic curves over finite fields, PhD thesis, University of California, Berkeley (1996).
[Koh03]Kohel, D. R., The AGM-X0(N) Heegner point lifting algorithm and elliptic curve point counting, in Advances in cryptology – ASIACRYPT 2003, Lecture Notes in Computer Science, vol. 2894 (Springer, Berlin, 2003), 124136.
[Ler97]Lercier, R., Algorithmique des courbes elliptiques dans les corps finis, PhD thesis, L’École Polytechnique (1997).
[LR10]Lubicz, D. and Robert, D., Efficient pairing computation with theta functions, in Algorithmic number theory, Proc. 9th Int. Symp., Nancy, France, 19–23 July, 2010, Lecture Notes in Computer Science, vol. 6197, eds Hanrot, G., Morain, F. and Thomé, E. (Springer, 2010).
[Mil04]Miller, V. S., The Weil pairing, and its efficient calculation, J. Cryptology 17 (2004), 235261.
[Mum66]Mumford, D., On the equations defining abelian varieties. I, Invent. Math. 1 (1966), 287354.
[Mum70]Mumford, D., Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No. 5 (Tata Institute of Fundamental Research, Bombay, 1970).
[Ric36]Richelot, F., Essai sur une méthode générale pour déterminer la valeur des intégrales ultra-elliptiques, fondée sur des transformations remarquables de ces transcendantes, C. R. Acad. Sci. Paris 2 (1836), 622627.
[Ric37]Richelot, F., De transformatione integralium abelianorum primiordinis commentation, J. Reine Angew. Math. 16 (1837), 221341.
[Smi08]Smith, B., Isogenies and the discrete logarithm problem in Jacobians of genus 3 hyperelliptic curves, in Advances in cryptology – EUROCRYPT 2008 (27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13–17, 2008, Proceedings), Lecture Notes in Computer Science, vol. 4965, ed. Smart, N. (Springer, Berlin, 2008), 163180.
[Vél71]Vélu, J., Isogénies entre courbes elliptiques, C. R. Acad. Sci. Paris Sér. A–B 273 (1971), A238A241.
[Wam98]Wamelen, P., Equations for the Jacobian of a hyperelliptic curve, Trans. Amer. Math. Soc. 350 (1998), 30833106.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

Keywords

MSC classification

Computing isogenies between abelian varieties

  • David Lubicz (a1) (a2) and Damien Robert (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed