Skip to Main content Skip to Navigation

# Explicit computation of the Abel-Jacobi map and its inverse

2 CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : The Abel-Jacobi map links the short Weierstrass form of a complex elliptic curve to the complex torus associated to it. One can compute it with a number of operations which is quasi-linear in the target precision, i.e. in time O(M(P) log P). Its inverse is given by Weierstrass's p-function, which can be written as a function of theta, an important function in number theory. The natural algorithm for evaluating theta requires O(M(P) sqrt(P)) operations, but some values (the theta-constants) can be computed in O(M(P) log P) operations by exploiting the links with the arithmetico-geometric mean (AGM). In this manuscript, we generalize this algorithm in order to compute theta in O(M(P) log P). We give a function F which has similar properties to the AGM. As with the algorithm for theta-constants, we can then use Newton's method to compute the value of theta. We implemented this algorithm, which is faster than the naive method for precisions larger than 300,000 decimal digits. We then study the generalization of this algorithm in higher genus, and in particular how to generalize the F function. In genus 2, we managed to prove that the same method leads to a O(M(P) log P) algorithm for theta; the same complexity applies to the Abel-Jacobi map. This algorithm is faster than the naive method for precisions smaller than in genus 1, of about 3,000 decimal digits. We also outline a way one could reach the same complexity in any genus. Finally, we study a new algorithm which computes an isogeny of elliptic curves with given kernel. This algorithm uses the Abel-Jacobi map because it is easy to evaluate the isogeny on the complex torus; this algorithm may be generalizable to higher genera.
Keywords :
Document type :
Theses
Domain :
Complete list of metadata

Cited literature [106 references]

https://tel.archives-ouvertes.fr/tel-01403849
Contributor : Hugo Labrande <>
Submitted on : Monday, November 28, 2016 - 12:45:32 AM
Last modification on : Tuesday, December 18, 2018 - 4:18:26 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 1:59:34 AM

### Licence

Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

### Identifiers

• HAL Id : tel-01403849, version 1

### Citation

Hugo Labrande. Explicit computation of the Abel-Jacobi map and its inverse. Cryptography and Security [cs.CR]. Université de Lorraine; University of Calgary, 2016. English. ⟨tel-01403849v1⟩

Record views

Files downloads