Let $P$ be an arbitrary point on an elliptic curve over the complex numbers of the form $y^2=x^3+a_4\,x+a_6$ or of the form $y^2=x^3+a_2\,x^2+a_4\,x$. We provide explicit formulae to compute the points $P/2$, i.e., the points $Q$ such that $2*Q=P$.
We present new addition formulae for the Weierstrass functions associated with a general elliptic curve. We prove the structure of the formulae in n-variables and give the explicit addition formulae for the 2- and 3-variable cases. These new results were inspired by new addition formulae found in the case of an equianharmonic curve, which we can now observe as a specialisation of the results here. The new formulae, and the techniques used to find them, also follow the recent work for the generalisation of Weierstrass' functions to curves of higher genus.
B.C. Berndt evaluated special values of the cotangent Dirichlet series. T. Arakawa studied a generalization of the series, or generalized cotangent Dirichlet series, and gave its transformation formulae. In this paper, we establish an elliptic analogue of the generalized cotangent Dirichlet series and give its transformation formulae at some integer arguments. As a corollary, we obtain the transformation formulae of the generalized cotangent Dirichlet series at some integer arguments which are the part of Arakawa's transformation formulae. Those transformation formulae give the special values …
We study analytic properties function $m(z, E)$, which is defined on the upper half-plane as an integral from the shifted $L$-function of an elliptic curve. We show that $m(z, E)$ analytically continues to a meromorphic function on the whole complex plane and satisfies certain functional equation. Moreover, we give explicit formula for $m(z, E)$ in the strip $|\Im{z}|<2π$.
This paper, pursuing the work started in [10] and [11], holds six new formulae for π, see equations, through ratios of first kind elliptic integrals and some values of hypergeometric functions of three or four variables of Lauricella type. This will be accomplished by reducing some hyperelliptic integrals to elliptic by the methods taught by Legendre in his treatise. Eventually, evaluating some hyperelliptic integrals by means of hypergeometric Lauricella functions, we obtain some further evaluations of themselves in some particular points and also in their analytic continuation.
In this article we give explicit formulae for a lift of the relative Frobenius morphism between elliptic curves and show how one can compute this lift in the case of ordinary reduction in odd characteristic. Our theory can also be used in the case of supersingular reduction. By means of the explicit formulae that describe a Frobenius lift, we are able to generalize Mestre's 2-adic arithmetic geometric mean (AGM) sequence of elliptic curves to odd characteristic, and prove its convergence. As an application, we give an efficient point counting algorithm for ordinary elliptic curves which is bas…
Let $p\geq 5$ be a prime number. We generalize the results of E. de Shalit about supersingular $j$-invariants in characteristic $p$. We consider supersingular elliptic curves with a basis of $2$-torsion over $\overline{\mathbf{F}}_p$, or equivalently supersingular Legendre $λ$-invariants. Let $F_p(X,Y) \in \mathbf{Z}[X,Y]$ be the $p$-th modular polynomial for $λ$-invariants. A simple generalization of Kronecker's classical congruence shows that $R(X):=\frac{F_p(X,X^{p})}{p}$ is in $\mathbf{Z}[X]$. We give a formula for $R(λ)$ if $λ$ is a supersingular. This formula is related to the Manin--Dri…
In a well-known 1914 paper, Ramanujan gave a number of rapidly converging series for $1/π$ which are derived using modular functions of higher level. D. V. and G. V. Chudnovsky in their 1988 paper derived an analogous series representing $1/π$ using the modular function $J$ of level 1, which results in highly convergent series for $1/π$, often used in practice. In this paper, we explain the Chudnovsky method in the context of elliptic curves, modular curves, and the Picard-Fuchs differential equation. In doing so, we also generalize their method to produce formulae which are valid around any s…
Iwasawa theory of modular forms over anticyclotomic $\mathbb{Z}_p$-extensions of imaginary quadratic fields has been studied by several authors, starting from the works of Bertolini-Darmon and Iovita-Spiess, under the crucial assumption that the prime $p$ is unramified in $K$. We start in this article the systematic study of anticyclotomic $p$-adic $L$-functions when $p$ is ramified in $K$. In particular, when $f$ is a weight $2$ modular form attached to an elliptic curve $E/\mathbb{Q}$ having multiplicative reduction at $p$, and $p$ is ramified in $K$, we show an analogue of the exceptional z…
This paper presents the theory of holomorphic vector valued modular forms from a geometric perspective. More precisely, we define certain holomorphic vector bundles on the modular orbifold of generalized elliptic curves whose sections are vector valued modular forms. This perspective simplifies the theory, and it clarifies the role that exponents of representations of SL_2(Z) play in the holomorphic theory of vector valued modular forms. Further, it allows one to use standard techniques in algebraic geometry to deduce free-module theorems and dimension formulae (deduced previously by other aut…
A new proof is given for the explicit formulae for the non-archimedean canonical height on an elliptic curve. This arises as a direct calculation of the Haar integral in the elliptic Jensen formula.
We give explicit pullback formulae for nearly holomorphic Saito-Kurokawa lifts restrict to product of upper half-plane against with product of elliptic modular forms. We generalize the formula of Ichino to modular forms of higher level and free the restriction on weights. The explicit formulae provide non-trivial examples for the refined Gan-Gross-Prasad conjecture for $({\rm SO}_5,{\rm SO}_4)$ in the non-tempered cases. As an application, we obtain Deligne's conjecture for critical values of certain automorphic $L$-functions for ${\rm GL}_3 \times {\rm GL}_2$. We also expect to apply our pull…
When a complex Abelian surface can be decomposed into a product of two elliptic curves, how many decompositions does the Abelian surface admit ? We provide arithmetic formulae for the number of decompositions of a complex Abelian surface.
We continue our development of the invariant theory of genus one curves with the aim of computing certain twists of the universal family of elliptic curves parametrised by the modular curve X(n) for n = 2,3,4,5. Our construction makes use of a covariant we call the Hessian, generalising the classical Hessian that exists in degrees 2 and 3. In particular we give explicit formulae and algorithms for computing the Hessian in degrees 4 and 5. This leads to a practical algorithm for computing equations for visible elements of order n in the Tate-Shafarevich group of an elliptic curve. Taking Jacobi…
We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we giv…
We study genus one curves that arise as 2-, 3- and 4-coverings of elliptic curves. We describe efficient algorithms for testing local solubility and modify the classical formulae for the covering maps so that they work in all characteristics. These ingredients are then combined to give explicit bounds relating the height of a rational point on one of the covering curves to the height of its image on the elliptic curve. We use our results to improve the existing methods for searching for rational points on elliptic curves.
We give explicit formulae for the logarithmic class group pairing on an elliptic curve defined over a number field. Then we relate it to the descent relative to a suitable cyclic isogeny. This allows us to connect the resulting Selmer group with the logarithmic class group of the base. These constructions are explicit and suitable for computer experimentation. From a conceptual point of view, the questions that arise here are analogues of "visibility" questions in the sense of Cremona and Mazur.
The purpose of the paper is to complete several global and local results concerning parity of ranks of elliptic curves. Primarily, we show that the Shafarevich-Tate conjecture implies the parity conjecture for all elliptic curves over number fields, give a formula for local and global root numbers of elliptic curves and complete the proof of a conjecture of Kramer and Tunnell in characteristic 0. The method is to settle the outstanding local formulae by deforming from local fields to totally real number fields and then using global parity results.
Consider elliptic curves $ E:\ y^{2} = x^{3} + D^{3} $ defined over the quadratic field $\ \Q(\sqrt{-3}) $. Hecke $ L-$series attached to $ E $ are studied, formulae for their values at $ s=1, $ and bound of 3-adic valuations of these values are given. These results are complementary to those in [Q] and [QZ], and are consistent with the predictions of the conjecture of Birch and Swinnerton-Dyer.
We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.
This paper draws connections between the double shuffle equations and structure of associators; universal mixed elliptic motives as defined by Hain and Matsumoto; and the Rankin-Selberg method for modular forms for $SL_2(\mathbb{Z})$. We write down explicit formulae for zeta elements $σ_{2n-1}$ (generators of the Tannaka Lie algebra of the category of mixed Tate motives over $\mathbb{Z}$) in depths up to four, give applications to the Broadhurst-Kreimer conjecture, and completely solve the double shuffle equations for multiple zeta values in depths two and three.
We propose a simple deterministic test for deciding whether or not an element $a \in \F_{2^n}^{\times}$ or $\F_{3^n}^{\times}$ is a zero of the corresponding Kloosterman sum over these fields, and rigorously analyse its runtime. The test seems to have been overlooked in the literature. The expected cost of the test for binary fields is a single point-halving on an associated elliptic curve, while for ternary fields the expected cost is one half of a point-thirding on an associated elliptic curve. For binary fields of practical interest, this represents an O(n) speedup over the previous fastest…
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves
Temple University(天普大学);University of Connecticut(康涅狄格大学);Korea Institute for Advanced Study(韩国高等研究院);University of California, Berkeley(加州大学伯克利分校);University of Westminster(威斯敏斯特大学);Princeton University(普林斯顿大学)
Let $A/\mathbb{Q}$ be an elliptic curve with split multiplicative reduction at a prime $p$. We prove (an analogue of) a conjecture of Perrin-Riou, relating $p$-adic Beilinson$-$Kato elements to Heegner points in $A(\mathbb{Q})$, and a large part of the rank-one case of the Mazur$-$Tate$-$Teitelbaum exceptional zero conjecture for the cyclotomic $p$-adic $L$-function of $A$. More generally, let $f$ be the weight-two newform associated with $A$, let $f_{\infty}$ be the Hida family of $f$, and let $L_{p}(f_{\infty},k,s)$ be the Mazur$-$Kitagawa two-variable $p$-adic $L$-function attached to $f_{\…
Efficient computations of pairings with Miller Algorithm have recently received a great attention due to the many applications in cryptography. In this work, we give formulae for the optimal Ate pairing in terms of elliptic nets associated to twisted Barreto-Naehrig (BN) curve, Barreto-Lynn-Scott(BLS) curves and Kachisa-Schaefer-Scott(KSS) curves considered at the $128$, $192$ and $256$-bit security levels, and Scott-Guillevic curve with embedding degree $54$. We show how to parallelize the computation of these pairings when the elliptic net algorithm instead is used and we obtain except in th…
Let $p\equiv 2,5\mod 9$ be a prime. We prove that both $3p$ and $3p^2$ are cube sums. We also establish some explicit Gross-Zagier formulae and investigate the 3 part full BSD conjecture of the related elliptic curves.
Assuming Lang's conjectured lower bound on the heights of non-torsion points on an elliptic curve, we show that there exists an absolute constant C such that for any elliptic curve E/Q and non-torsion point P in E(Q), there is at most one integral multiple [n]P such that n > C. The proof is a modification of a proof of Ingram giving an unconditional but not uniform bound. The new ingredient is a collection of explicit formulae for the sequence of valuations of the division polynomials. For P of non-singular reduction, such sequences are already well described in most cases, but for P of singul…
Inspired by the analogy between the group of units $\mathbb{F}_p^{\times}$ of the finite field with $p$ elements and the group of points $E(\mathbb{F}_p)$ of an elliptic curve $E/\mathbb{F}_p$, E. Kowalski, A. Akbary & D. Ghioca, and T. Freiberg & P. Kurlberg investigated the asymptotic behaviour of elliptic curve sums analogous to the Titchmarsh divisor sum $\sum_{p \leq x} τ(p + a) \sim C x$. In this paper, we present a comprehensive study of the constants $C(E)$ emerging in the asymptotic study of these elliptic curve divisor sums. Specifically, by analyzing the division fields of an ellipt…
We prove the asymptotic formulae for several moments of derivatives of GL(2) L-functions over quadratic twists. The family of L-functions we consider has root number fixed to -1 and odd orthogonal symmetry. Assuming GRH we prove the asymptotic formulae for (1) the second moment with one secondary term, (2) the moment of two distinct modular forms f and g and (3) the first moment with controlled weight and level dependence. We also include some immediate corollaries to elliptic curves via the modularity theorem and the work of Gross and Zagier.
The Birch and Swinnerton-Dyer conjecture predicts that the parity of the algebraic rank of an abelian variety over a global field should be controlled by the expected sign of the functional equation of its $L$-function, known as the global root number. In this paper, we give explicit formulae for the local root numbers as a product of Jacobi symbols. This enables one to compute the global root number, generalising work of Rohrlich who studies the case of elliptic curves. We provide similar formulae for the root numbers after twisting the abelian variety by a self-dual Artin representation. As …
$L-$series attached to two classical families of elliptic curves with complex multiplications are studied over number fields, formulae for their special values at $s=1, $ bound of the values, and criterion of reaching the bound are given. Let $ E_1: y^{2}=x^{3}-D_1 x $ be elliptic curves over the Gaussian field $K=\Q(\sqrt{-1}), $ with $ D_1 =π_{1} ... π_{n} $ or $ D_1 =π_{1} ^{2}... π_{r} ^{2} π_{r+1} ... π_{n}$, where $π_{1}, ..., π_{n}$ are distinct primes in $K$. A formula for special values of Hecke $L-$series attached to such curves expressed by Weierstrass $\wp-$function are given; a lo…
The Somos 4 sequences are a family of sequences satisfying a fourth order bilinear recurrence relation. In recent work, one of us has proved that the general term in such sequences can be expressed in terms of the Weierstrass sigma function for an associated elliptic curve. Here we derive the analogous family of sequences associated with an hyperelliptic curve of genus two defined by the affine model $y^2=4x^5+c_4 x^4+ ... +c_1 x+c_0$. We show that the recurrence sequences associated with such curves satisfy bilinear recurrences of order 8. The proof requires an addition formula which involves…
Let $p\equiv 2,5\mod 9$ be an odd prime. In this paper, we prove that at least one of $3p$ and $3p^2$ is a cube sum by constructing certain nontrivial Heegner points. We also establish the explicit Gross-Zagier formulae for these Heegner points and give variants of the Birch and Swinnerton-Dyer conjecture of the related elliptic curves.
We study genus one curves of degree 5 defined by Pfaffians. We give new formulae for the invariants, and prove the equivalence of two different definitions of minimality. As an application we show that transformations between models with square-free discriminant are necessarily integral. This result is used by Bhargava and Shankar in their work on the average ranks of elliptic curves.
We study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic Zp-extension of Q under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara and Sprung for supersingular elliptic curves.
Clemm and Trebat-Leder (2014) proved that the number of quadratic number fields with absolute discriminant bounded by $x$ over which there exist elliptic curves with good reduction everywhere and rational $j$-invariant is $\gg x\log^{-1/2}(x)$. In this paper, we assume the $abc$-conjecture to show the sharp asymptotic $\sim cx\log^{-1/2}(x)$ for this number, obtaining formulae for $c$ in both the real and imaginary cases. Our method has three ingredients: (1) We make progress towards a conjecture of Granville: Given a fixed elliptic curve $E/\mathbb{Q}$ with short Weierstrass equation $y^2 = f…