We show that every elliptic curve over a finite field of odd characteristic whose number of rational points is divisible by 4 is isogenous to an elliptic curve in Legendre form, with the sole exception of a minimal respectively maximal elliptic curve. We also collect some results concerning the supersingular Legendre parameters.
We prove an analogue of the Brauer-Siegel theorem for the Legendre elliptic curves over $\mathbb{F}_q(t)$. More precisely, if $d$ is an integer coprime to $q$, we denote by $E_d$ the elliptic curve with model $y^2=x(x+1)(x+t^d)$ over $K=\mathbb{F}_q(t)$. We give an asymptotic estimate of the product of the order of the Tate-Shafarevich group of $E_d$ (which is known to be finite) with its Néron-Tate regulator, in terms of the exponential differential height of $E_d$, as $d\to\infty$.
Inspired by a result of Manin, we study the relationship between certain period integrals and the trace of Frobenius of genus 3 generalized Legendre curves. We show that both of these properties can be computed in terms of "matching" classical and finite field hypergeometric functions, a phenomenon that has also been observed in elliptic curves and many higher dimensional varieties.
This paper is devoted to abelian varieties arising from generalized Legendre curves. In particular, we consider their corresponding Galois representations, periods, and endomorphism algebras. For certain one parameter families of 2-dimensional abelian varieties of this kind, we determine when the endomorphism algebra of each fiber defined over the algebraic closure of $\Bbb Q$ contains a quaternion algebra.
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.
We give explicit formulas for the number of distinct elliptic curves over a finite field, up to isomorphism, in the families of Legendre, Jacobi, Hessian and generalized Hessian curves.
In the late '60s, B. Dwork studied a Frobenius structure compatible with the classical hypergeometric differential equation with parameters $\left(\frac{1}{2},\frac{1}{2} ; 1 \right)$ by analyzing behavior of solutions of the differential equation under Frobenius transformation. Recently, P. Scholze conjectured the existence of $q$-de Rham cohomology groups for any $\mathbb{Z}$-scheme. In this paper, we give a Frobenius structure compatible with the $q$-hypergeometric differential equation with parameters $(q^{\frac12},q^{\frac12};q)$ by showing a $q$-analogue of some results of Dwork. This co…
We continue our study of the Legendre elliptic curve $y^2=x(x+1)(x+t)$ over function fields $K_d=\mathbf{F}_p(μ_d,t^{1/d})$. When $d=p^f+1$, we have previously exhibited explicit points generating a subgroup $V_d$ of $E(K_d)$ of rank $d-2$ and of finite, $p$-power index. We also proved the finiteness of $III(E/K_d)$ and a class number formula: $[E(K_d):V_d]^2=|III(E/K_d)|$. In this paper, we compute $E(K_d)/V_d$ and $III(E/K_d)$ explicitly as modules over $\mathbf{Z}_p[\mathrm{Gal}(K_d/F_p(t))]$.
I provide a systematic construction of points (defined over number fields) on Legendre elliptic curves over $\mathbb{Q}$: for any odd integer $n\geq 3$ my method constructs $n$ points on the Legendre curve and I show that rank of the subgroup of the Mordell-Weil group they generate is $n$ if $n\geq 7$. I also show that every elliptic curve over any number field admits similar type of points after a finite base extension.
Let $E$ be the elliptic curve $y^2=x(x+1)(x+t)$ over the field $\Fp(t)$ where $p$ is an odd prime. We study the arithmetic of $E$ over extensions $\Fq(t^{1/d})$ where $q$ is a power of $p$ and $d$ is an integer prime to $p$. The rank of $E$ is given in terms of an elementary property of the subgroup of $(\Z/d\Z)^\times$ generated by $p$. We show that for many values of $d$ the rank is large. For example, if $d$ divides $2(p^f-1)$ and $2(p^f-1)/d$ is odd, then the rank is at least $d/2$. When $d=2(p^f-1)$, we exhibit explicit points generating a subgroup of $E(\Fq(t^{1/d}))$ of finite index in …
Motivated by our previous work on hypergeometric functions and the parbelos constant, we perform a deeper investigation on the interplay among generalized complete elliptic integrals, Fourier-Legendre (FL) series expansions, and ${}_p F_q$ series. We produce new hypergeometric transformations and closed-form evaluations for new series involving harmonic numbers, through the use of the integration method outlined as follows: Letting $K$ denote the complete elliptic integral of the first kind, for a suitable function $g$ we evaluate integrals such as $$ \int_{0}^{1} K\left( \sqrt{x} \right) g(x)…
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…
The well-known fact that all elliptic curves are modular, proven by Wiles, Taylor, Breuil, Conrad and Diamond, leaves open the question whether there exists a 'nice' representation of the modular form associated to each elliptic curve. Here we provide explicit representations of the modular forms associated to certain Legendre form elliptic curves 2_E_1(λ) as linear combinations of quotients of Dedekind's eta-function. We also give congruences for some of the modular forms' coefficients in terms of Gaussian hypergeometric functions.
Generalized trigonometric functions are applied to the Legendre-Jacobi standard form of complete elliptic integrals, and a new form of the generalized complete elliptic integrals of the Borweins is presented. According to the form, it can be easily shown that these integrals have similar properties to the classical ones. In particular, it is possible to establish a computation formula of the generalized $π$ in terms of the arithmetic-geometric mean, in the classical way as the Gauss-Legendre algorithm for $π$ by Salamin and Brent. Moreover, an elementary new proof of Ramanujan's cubic transfor…
We study the elliptic curve E given by y^2=x(x+1)(x+t) over the rational function field k(t) and its extensions K_d=k(μ_d,t^{1/d}). When k is finite of characteristic p and d=p^f+1, we write down explicit points on E and show by elementary arguments that they generate a subgroup V_d of rank d-2 and of finite index in E(K_d). Using more sophisticated methods, we then show that the Birch and Swinnerton-Dyer conjecture holds for E over K_d, and we relate the index of V_d in E(K_d) to the order of the Tate-Shafarevich group \sha(E/K_d). When k has characteristic 0, we show that E has rank 0 over K…
For a non-constant elliptic surface over $\mathbb{P}^1$ defined over $\mathbb{Q}$, it is a result of Silverman that the Mordell--Weil rank of the fibres is at least the rank of the group of sections, up to finitely many fibres. If the elliptic surface is non-isotrivial one expects that this bound is an equality for infinitely many fibres, although no example is known unconditionally. Under the Bunyakovsky conjecture, such an example has been constructed by Neumann and Setzer. In this note we show that the Legendre elliptic surface has the desired property, conditional on the existence of infin…
If $E$ is an elliptic curve defined over a quadratic field $K$, and the $j$-invariant of $E$ is not 0 or 1728, then $E(\mathbf{Q}^{\ab})$ has infinite rank. If $E$ is an elliptic curve in Legendre form, $y^2 = x(x-1)(x-λ)$, where $\mathbf{Q}(λ)$ is a cubic field, then $E(K \mathbf{Q}^{\ab})$ has infinite rank. If $λ\in K$ has a minimal polynomial $P(x)$ of degree 4 and $v^2 = P(u)$ is an elliptic curve of positive rank over $\bbq$, we prove that $y^2 = x(x-1)(x-λ)$ has infinite rank over $K\bbq^{\ab}$.
Using an explicit family of plane quartic curves, we prove the existence of a genus 3 curve over any finite field of characteristic 3 whose number of rational points stays within a fixed distance from the Hasse-Weil-Serre upper bound. We also provide an intrinsic characterization of so-called Legendre elliptic curves.
Let $E_1$ and $E_2$ be elliptic curves in Legendre form with integer parameters. We show there exists a constant $C$ such that for almost all primes, for all but at most $C$ pairs of points on the reduction of $E_1 \times E_2$ modulo $p$ having equal $x$ coordinate, at least one among $P_1$ and $P_2$ has a large group order. We also show similar abundance over finite fields of elements whose images under the reduction modulo $p$ of a finite set of rational functions have large multiplicative orders
Given an elliptic curve $E$ in Legendre form $y^2 = x(x - 1)(x - λ)$ over the fraction field of a Henselian ring $R$ of mixed characteristic $(0, 2)$, we present an algorithm for determining a semistable model of $E$ over $R$ which depends only on the valuation of $λ$. We provide several examples along with an easy corollary concerning $2$-torsion.
Associated Legendre functions of the first kind give a family of BCOV rings on elliptic curves. We prove that the family is parametrized by $q$-exponents of the eta function $η(q^{24})$. Our method involves a classification of rational solutions of a Riccati equation under some constraints.
For every normalized newform f in S_2(Gamma_1(N)) with complex multiplication, we study the modular parametrizations of elliptic curves C from the abelian variety A_f. We apply the results obtained when C is Gross's elliptic curve A(p).
I prove lower bounds of some parameters of elliptic curve over finite field. There parameters are closely interrelated with cryptographic stability of elliptic curve.
We compute equations for the families of elliptic curves 9-congruent to a given elliptic curve. We use these to find infinitely many non-trivial pairs of 9-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose 9-torsion subgroups are isomorphic as Galois modules.
Using a multidimensional large sieve inequality, we obtain a bound for the mean square error in the Chebotarev theorem for division fields of elliptic curves that is as strong as what is implied by the Generalized Riemann Hypothesis. As an application we prove a theorem to the effect that, according to height, almost all elliptic curves are Serre curves, where a Serre curve is an elliptic curve whose torsion subgroup, roughly speaking, has as much Galois symmetry as possible.
We describe the structure of Tate-Shafarevich groups of a constant elliptic curves over function fields by exploiting the volcano structure of isogeny graphs of elliptic curves over finite fields.
While there has been considerable interest in the problem of finding elliptic curves of high rank over $\mathbb{Q}$, very few parametrized families of elliptic curves of generic rank $\geq 8$ have been published. In this paper we use solutions of certain symmetric diophantine systems to construct several parametrized families of elliptic curves with their generic ranks ranging from at least 8 to at least 12. Specific numerical values of the parameters yield elliptic curves with quite large coefficients and we could therefore determine the precise rank only in a few cases where the rank of the …
An elliptic divisibility sequence is an integer recurrence sequence associated to an elliptic curve over the rationals together with a rational point on that curve. In this paper we present a higher-dimensional analogue over arbitrary base fields. Suppose E is an elliptic curve over a field K, and P_1, ..., P_n are points on E defined over K. To this information we associate an n-dimensional array of values in K satisfying a nonlinear recurrence relation. Arrays satisfying this relation are called elliptic nets. We demonstrate an explicit bijection between the set of elliptic nets and the set …
We analyze log-algebraic power series identities for formal groups of elliptic curves over $\mathbb{Q}$ which arise from modular parametrizations. We further investigate applications to special values of elliptic curve $L$-functions.
We describe iterated integrals as unipotent periods on families of marked elliptic curves in terms of multiple zeta values and elliptic multiple zeta values.
We show that average analytic rank of elliptic curves with prescribed torsion $G$ is bounded for every torsion group $G$ under GRH for elliptic curve $L$-functions.
In this paper, under GRH for elliptic $L$-functions, we give an upper bound for the probability for an elliptic curve with analytic rank $\leq a$ for $a \geq 11$, and also give an upper bound of $n$-th moments of analytic ranks of elliptic curves. These are applications of counting elliptic curves with local conditions, for example, having good reduction at $p$.
In this note we study an analogy between a positive definite quadratic form for elliptic curves over finite fields and a positive definite quadratic form for elliptic curves over the rational number field. A question is posed of which an affirmative answer would imply the analogue of the Riemann hypothesis for elliptic curves over the rational number field.
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular.
We present a deterministic and explicit algorithm to compute the endomorphism rings of supersingular elliptic curves. As an example we compute the endomorphism rings of all supersingular elliptic curves defined over characteristic p=29,...,97.
We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equations for the surfaces parametrising pairs of 13-congruent elliptic curves. There are two such surfaces, corresponding to 13-congruences that do, or do not, respect the Weil pairing. We write each as …
We prove that there are no non-constant global functions and no lifts of Frobenius on the first $p$-jet space on an elliptic curve unless the elliptic curve itself has a lift of Frobenius.
We derive a new bound for some bilinear sums over points of an elliptic curve over a finite field. We use this bound to improve a series of previous results on various exponential sums and some arithmetic problems involving points on elliptic curves.
We prove that the family $\mathcal{I}_{F_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with $F_0$-rational $j$-invariant is typically bounded in torsion. Under an additional uniformity assumption, we also prove that the family $\mathcal{I}_{d_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with degree $d_0$ $j$-invariant is typically bounded in torsion.
In this paper, $p$ and $q$ are two different odd primes. First, We construct the congruent elliptic curves corresponding to $p$, $2p$, $pq$, and $2pq,$ then, in the cases of congruent numbers, we determine the rank of the corresponding congruent elliptic curves.
We give a generalization of the method of "Elliptic Curve Chabauty" to higher genus curves and their Jacobians. This method can sometimes be used in conjunction with covering techniques and a modified version of the Mordell-Weil sieve to provide a complete solution to the problem of determining the set of rational points of an algebraic curve $Y$.
We establish a conditional equivalence between quantitative unboundedness of the analytic rank of elliptic curves over $\mathbb Q$ and the existence of highly biased elliptic curve prime number races. We show that conditionally on a Riemann Hypothesis and on a hypothesis on the multiplicity of the zeros of $L(E,s)$, large analytic ranks translate into an extreme Chebyshev bias. Conversely, we show under a certain linear independence hypothesis on zeros of $L(E,s)$ that if highly biased elliptic curve prime number races do exist, then the Riemann Hypothesis holds for infinitely many elliptic cu…
In this article, we study the family of elliptic curves $E/\mathbb{Q}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the ratio $Δ(E)/C(E)$ is squarefree; and second, the set of elliptic curves $E$ such that $Δ(E)/C(E)$ is bounded by a small power $(<3/4)$ of $C(E)$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these familie…
In 1979 Goldfeld conjectured: 50\% of the quadratic twists of an elliptic curve defined over the rationals have analytic rank zero. In this expository article we present a few recent developments towards the conjecture, especially its first instance - the congruent number elliptic curves.
We present a heuristic that suggests that ranks of elliptic curves over the rationals are bounded. In fact, it suggests that there are only finitely many elliptic curves of rank greater than 21. Our heuristic is based on modeling the ranks and Shafarevich-Tate groups of elliptic curves simultaneously, and relies on a theorem counting alternating integer matrices of specified rank. We also discuss analogues for elliptic curves over other global fields.
We study the existence of rational points on modular curves of $\cal{D}$-elliptic sheaves over local fields and the structure of special fibres of these curves. We discuss some applications which include finding presentations for arithmetic groups arising from quaternion algebras, finding the equations of modular curves of $\cal{D}$-elliptic sheaves, and constructing curves violating the Hasse principle.