# Explicit computation of the Abel-Jacobi map and its inverse. (Calcul explicite de l'application d'Abel-Jacobi et son inverse)

@inproceedings{Labrande2016ExplicitCO, title={Explicit computation of the Abel-Jacobi map and its inverse. (Calcul explicite de l'application d'Abel-Jacobi et son inverse)}, author={Hugo Labrande}, year={2016} }

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… Expand

#### Figures, Tables, and Topics from this paper

#### 6 Citations

Inverse Jacobian and related topics for certain superelliptic curves

- Mathematics
- 2019

Given an elliptic curve E over the complex numbers (CC) given by y^2 = x^3 + ax + b, there exists a lattice L in CC such that the group E(CC) of complex points on E is isomorphic to the complex… Expand

Computing period matrices and the Abel-Jacobi map of superelliptic curves

- Mathematics, Computer Science
- Math. Comput.
- 2019

An algorithm for the computation of period matrices and the Abel-Jacobi map of complex superelliptic curves based on rigorous numerical integration of differentials between Weierstrass points relies on Gauss method and Double-Exponential method. Expand

Efficient computation of multidimensional theta functions

- Mathematics, Physics
- 2017

An important step in the efficient computation of multi-dimensional theta functions is the construction of appropriate symplectic transformations for a given Riemann matrix assuring a rapid… Expand

Plane quartics over $\mathbb {Q}$ with complex multiplication

- Mathematics
- 2017

We give examples of smooth plane quartics over QQQ with complex multiplication over Q¯¯¯¯Q¯\overline{Q} by a maximal order with primitive CM type. We describe the required algorithms as we go, these… Expand

Modular polynomials on Hilbert surfaces

- Mathematics
- 2020

We describe an evaluation/interpolation approach to compute modular polynomials on a Hilbert surface, which parametrizes abelian surfaces with maximal real multiplication. Under some heuristics we… Expand

Principally polarized squares of elliptic curves with field of moduli equal to Q

- Mathematics, Physics
- 2018

We give equations for 13 genus-2 curves over $\overline{\mathbb{Q}}$, with models over $\mathbb{Q}$, whose unpolarized Jacobians are isomorphic to the square of an elliptic curve with complex… Expand

#### References

SHOWING 1-10 OF 119 REFERENCES

Computing Jacobi's in quasi-linear time

- 2016

Jacobi’s θ function has numerous applications in mathematics and computer science; a naive algorithm allows the computation of θ(z, τ), for z, τ verifying certain conditions, with precision P in… Expand

Computing l-Isogenies Using the p-Torsion

- Mathematics, Computer Science
- ANTS
- 1996

This paper proposes a general algorithm which does not use formal groups and takes advantage of the elementary Galois properties of the p-torsion, made exclusively of very classical routines in polynomial and elliptic curve arithmetic. Expand

Efficient Scalar Multiplication by Isogeny Decompositions

- Mathematics, Computer Science
- IACR Cryptol. ePrint Arch.
- 2005

This work derives a new tripling algorithm to find complexity improvements to triplication on a curve in certain projective coordinate systems, and combines this new operation to non-adjacent forms for l-adic expansions in order to obtain an improved strategy for scalar multiplication on elliptic curves. Expand

Fast evaluation of modular functions using Newton iterations and the AGM

- Computer Science, Mathematics
- Math. Comput.
- 2011

We present an asymptotically fast algorithm for the numerical evaluation of modular functions such as the elliptic modular function j. Our algorithm makes use of the natural connection between the… Expand

The complexity of class polynomial computation via floating point approximations

- Computer Science, Mathematics
- Math. Comput.
- 2009

The complexity of computing class polynomials, that are an important ingredient for CM constructions of elliptic curves, via complex floating point approximations of their roots, is analysed, using a technique devised by Dupont to evaluate modular functions by Newton iterations on an expression involving the arithmetic-geometric mean. Expand

Computing (ℓ, ℓ)-isogenies in polynomial time on Jacobians of genus 2 curves

- Computer Science, Mathematics
- Math. Comput.
- 2011

In this paper, we compute l-isogenies between abelian varieties over a field of characteristic different from 2 in polynomial time in l, when l is an odd prime which is coprime to the characteristic.… Expand

A generalization of Jacobi's derivative formula to dimension two.

- Mathematics
- 1988

Various 19th-century authors provided generalizations of (0. 2) to g-dimensional theta functions, expressing the Jacobian of g distinct odd theta functions at zero explicitly s a rational function in… Expand

Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic Curves,

- Mathematics, Computer Science
- Journal of Cryptology
- 2009

We describe the use of explicit isogenies to translate instances of the Discrete Logarithm Problem (DLP) from Jacobians of hyperelliptic genus 3 curves to Jacobians of non-hyperelliptic genus 3… Expand

Computing elliptic curve discrete logarithms with improved baby-step giant-step algorithm

- Mathematics, Computer Science
- Adv. Math. Commun.
- 2015

Both the interleaved BSGS and grumpy-giants algorithms have superior average-case running time compared with Pollard rho, and for the discrete logarithm problem in an interval, the BSGS algorithm is considerably faster than the Pollard kangaroo or Gaudry-Schost methods. Expand

Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity

- Mathematics
- 1988

Complete Elliptic Integrals and the Arithmetic-Geometric Mean Iteration. Theta Functions and the Arithmetic-Geometric Mean Iteration. Jacobi's Triple-Product and Some Number Theoretic Applications.… Expand