The complex AGM, periods of elliptic curves over C and complex elliptic logarithms
The paper under review is devoted to the study of the complex arithmetic-geometric mean (AGM) and its connection with elliptic curves over \({\mathbb C}\), their period lattices and complex parametrisation. The authors present efficient algorithms for computing bases for the period lattices and elliptic logarithms of points for arbitrary elliptic curves defined over \({\mathbb C}\). As an example of the obtained results, the algorithm for computing a basis of a period lattice is given below. Let \((a,b)\in{\mathbb C}^2\) be a pair of complex numbers satisfying \(a,b\neq 0\) and \(a\neq \pm b\). The pair \((a,b)\) is \textit{good} if \(|a-b|\leq |a+b|\). An AGM sequence is a sequence \(((a_n,b_n))_{n=0}^\infty\), whose pairs \((a_n,b_n)\in {\mathbb C}^2\) satisfy \(2a_{n+1}=a_n+b_n\) and \(b_{n+1}^2=a_nb_n\) for all \(n\geq 0\). An AGM sequence is \textit{optimal} if all \((a_n,b_n)\), \(n>0\), are good. For an optimal AGM sequence \(((a_n,b_n))_{n=0}^\infty\) starting with \((a_0,b_0)\) set \(M(a_0,b_0):=\lim_{n\rightarrow \infty}a_n=\lim_{n\rightarrow \infty}b_n\,.\) { Algorithm} (Computation of a period lattice basis) { Input:} An elliptic curve \(E\) defined over \({\mathbb C}\), and roots \(e_1, e_2, e_3\in {\mathbb C}\). { Output:} Three primitive periods of \(E\), which are minimal coset representatives, any two of which form a \({\mathbb Z}\)-basis for the period lattice of \(E\). {\parindent=6mm \begin{itemize}\item[1.] Label one of the roots as \(e_1\), and the other two arbitrarily as \(e_2\), \(e_3\). \item[2.] Set \(a_0=\sqrt{e_1-e_3}\) with arbitrary sign, and then \(b_0=\pm\sqrt{e_1-e_2}\) with the sign chosen such that \(|a_0-b_0|\leq|a_0+b_0|\). \item[3.] Output \(w=\pi/M(a_0,b_0)\), using the optimal value of the AGM (see the paper for the details). \item[4.] Repeat with each root \(e_j\) in turn playing the role of \(e_1\). \end{itemize}} The paper is nicely written and contains a number of illustrative examples.
- Fast evaluation of modular functions using Newton iterations and the AGM
- scientific article; zbMATH DE number 435565 (Why is no real title available?)
- scientific article; zbMATH DE number 1023655 (Why is no real title available?)
- scientific article; zbMATH DE number 4116708 (Why is no real title available?)
- The arithmetic-geometric mean of Gauss
- The complex AGM, periods of elliptic curves over \(\mathbb C\) and complex elliptic logarithms
- The Magma algebra system. I: The user language
- The complex AGM, periods of elliptic curves over \(\mathbb C\) and complex elliptic logarithms
- Computing period matrices and the Abel-Jacobi map of superelliptic curves
- Inverse values of the modular j-invariant and homotopy Lie theory
- On \(L\)-functions of quadratic \(\mathbb{Q}\)-curves
- Computing Jacobi's theta in quasi-linear time
- On the Ramanujan AGM Fraction, I: The Real-Parameter Case
- AGM and Jellyfish Swarms of Elliptic Curves
- A \(p\)-adic study of the Richelot isogeny with applications to periods of certain genus 2 curves
- A Landen-type method for computation of Weierstrass functions
- Arithmetic-geometric mean sequences over finite fields \(\mathbb{F}_q\), where \(q\equiv 5\pmod 8\)
- Kleinian hyperelliptic functions of weight 2 associated with curves of genus 2
This page was built for publication: The complex AGM, periods of elliptic curves over \(\mathbb C\) and complex elliptic logarithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445012)
