We give new bounds on the zeros of polynomials in $z$ and the $j$--function, and $z$ and Weierstrass elliptic functions with rectangular associated lattice, controlling the zeros of these functions by their tame behaviour on the boundaries of their respective fundamental domains.
We give explicit definitions of the Weierstrass elliptic functions $\wp$ and $ζ$ in terms of pfaffian functions, with complexity independent of the lattice involved. We also give such a definition for a modification of the Weierstrass function $σ$. As immediate applications, we give an explicit uniform zero estimate for $\wp$ and answer a question of Corvaja, Masser and Zannier on additive extensions of elliptic curves.
For primes $p>3$ we produce a new derivation of the universal $p$-adic sigma function and $p$-adic Weierstrass zeta functions of Mazur and Tate for ordinary elliptic curves by a method that highlights congruences among coefficients in Laurent expansions of elliptic functions, and works simultaneously for generalized elliptic curves defined by Weierstrass equations.
We prove that there are only finitely many complex numbers $a$ and $b$ with $4a^3+27b^2\not=0$ such that the three points $(1,*),(2,*),$ and $(3,*)$ are simultaneously torsion on the elliptic curve defined in Weierstrass form by $y^2=x^3+ax+b$. This gives an affirmative answer to a question raised by Masser and Zannier. We thus confirm a special case in two dimensions of the relative Manin-Mumford Conjecture formulated by Pink and Masser-Zannier.
Mock modular forms, which give the theoretical framework for Ramanujan's enigmatic mock theta functions, play many roles in mathematics. We study their role in the context of modular parameterizations of elliptic curves $E/\mathbb{Q}$. We show that mock modular forms which arise from Weierstrass $ζ$-functions encode the central $L$-values and $L$-derivatives which occur in the Birch and Swinnerton-Dyer Conjecture. By defining a theta lift using a kernel recently studied by Hövel, we obtain canonical weight 1/2 harmonic Maass forms whose Fourier coefficients encode the vanishing of these values…
We construct harmonic weak Maass forms that map to cusp forms of weight $k\geq 2$ with rational coefficients under the $ξ$-operator. This generalizes work of the first author, Griffin, Ono, and Rolen, who constructed distinguished preimages under this differential operator of weight $2$ newforms associated to rational elliptic curves using the classical Weierstrass theory of elliptic functions. We extend this theory and construct a vector-valued Jacobi--Weierstrass $ζ$-function which is a generalization of the classical Weierstrass $ζ$-function.
We prove local results on the $p$-adic density of elliptic curves over $\mathbb{Q}_p$ with different reduction types, together with global results on densities of elliptic curves over $\mathbb{Q}$ with specified reduction types at one or more (including infinitely many) primes. These global results include: the density of integral Weierstrass equations which are minimal models of semistable elliptic curves over $\mathbb{Q}$ (that is, elliptic curves with square-free conductor) is $1/ζ(2)\approx60.79\%$, the same as the density of square-free integers; the density of semistable elliptic curves …
In the theory of elliptic functions and elliptic curves, the Weierstrass $zeta$ function (which is essentially an antiderivative of the Weierstrass $\wp$ function) plays a prominent role. Although it is not an elliptic function, Eisenstein constructed a simple (non-holomorphic) completion of this form which is doubly periodic. This theorem has begun to play an important role in the theory of harmonic Maass forms, and was crucial to work of Guerzhoy as well as Alfes, Griffin, Ono, and the author. In particular, this simple completion of $ζ$ provides a powerful method to construct harmonic Maass…
We first normalize the derivative Weierstrass $\wp'$-function appearing in Weierstrass equations which give rise to analytic parametrizations of elliptic curves by the Dedekind $η$-function. And, by making use of this normalization of $\wp'$ we associate certain elliptic curve to a given imaginary quadratic field $K$ and then generate an infinite family of ray class fields over $K$ by adjoining to $K$ torsion points of such elliptic curve. We further construct some ray class invariants of imaginary quadratic fields by utilizing singular values of the normalization of $\wp'$, as the $y$-coordin…
We prove new sharp asymptotic for counting the semistable elliptic curves with two marked Weierstrass points at $\infty$ and $0$ and also the cases where $0$ is a 2-torsion or a 3-torsion marked Weierstrass point over $\mathbb{F}_q(t)$ by the bounded height of discriminant $Δ(X)$. We consider the motivic probabilities over any basefield $K$ with $\text{char}(K) \neq 2,3$ of picking a nonsingular semistable elliptic surface over $\mathbb{P}^{1}$ with two marked Weierstrass sections at $\infty$ and $0$ such that marked Weierstrass section at $0$ is 2-torsion or 3-torsion. In the end, we formulat…
Asymptotic expansions for a class of generalized holomorphic Eisenstein series, Ramanujan's formula for $ζ(2k+1)$, Weierstrass' elliptic and allied functions
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.
We give a new proof of Milne's formulas for the number of representations of an integer as a sum of 4m^2 and 4m(m+1) squares. The proof is based on explicit evaluation of pfaffians with elliptic function entries, and relates Milne's formulas to Schur Q-polynomials and to correlation functions for continuous dual Hahn polynomials. We also state a new formula for 2m^2 squares.
Starting from the classical division polynomials we construct homogeneous polynomials $α_n$, $β_n$, $γ_n$ such that for $P = (x:y:z)$ on an elliptic curve in Weierstrass form over an arbitrary ring we have $nP = \bigl(α_n(P):β_n(P):γ_n(P)\bigr)$. To show that $α_n,β_n,γ_n$ indeed have this property we use the a priori existence of such polynomials, which we deduce from the Theorem of the Cube. We then use this result to show that the equations defining the modular curve $Y_1(n)_{\mathbb C}$ computed for example by Baaziz, in fact are equations of $Y_1(n)$ over $\mathbb Z[1/n]$.
In this note we give an algorithm to explicitly construct the modular parametrization of an elliptic curve over the rationals given the Weierstrass function $\wp (z)$.
We construct holomorphic elliptic modular forms of weight 2 and weight 1, by special values of Weierstrass p-functions, and by differences of special values of Weierstrass zeta-functions, respectively. Also we calculated the values of these forms at some cusps.
This paper, motivated by problems in Diophantine analysis which can be formulated as problems of finding rational points on the intersection of two quadrics, presents an explicit construction of a rationally defined isomorphism (biregular mapping) between a rationally defined smooth intersection of two quadrics in projective three-space and an elliptic curve in Weierstrass form which maps a distinguished rational point to the point at infinity. The usual approach of transforming a smooth plane cubic to a curve in Weierstrass form by mapping an inflection point to the point at infinity in a par…
Let $\wp $ be a Weierstrass $\wp $-function with algebraic $g_2$ and $g_3$, which has a non-zero real period $ω$. We show that at least one of $πr$ and $\wp(ωr)$ is transcendental for any non-zero real number $r$.
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(普林斯顿大学)
We prove an effective version of the Pila-Wilkie Theorem for sets definable using Pfaffian functions, providing effective estimates for the number of algebraic points of bounded height and degree lying on such sets. We also prove effective versions of extensions of this result due to Pila and Habegger-Pila . In order to prove these counting results, we obtain an effective version of Yomdin-Gromov parameterization for sets defined using restricted Pfaffian functions. Furthermore, for sets defined in the restricted setting, as well as for unrestricted sub-Pfaffian sets, our effective estimates d…
Consider the Weierstrass family of elliptic curves $E_λ:y^2=x^3+λ$ parametrized by nonzero $λ\in\overline{\mathbb{Q}_2}$, and let $P_λ(x)=(x,\sqrt{x^3+λ})\in E_λ$. In this article, given $α,β\in\overline{\mathbb{Q}_2}$ such that $\fracαβ\in\mathbb{Q}$, we provide an explicit description for the set of parameters $λ$ such that $P_λ(α)$ and $P_λ(β)$ are simultaneously torsion for $E_λ$. In particular we prove that the aforementioned set is empty unless $\fracαβ\in\{-2,-\frac{1}{2}\}$. Furthermore, we show that this set is empty even when $\fracαβ\notin\mathbb{Q}$ provided that $α$ and $β$ have d…
Using explicit constructions of the Weierstrass mock modular form, we offer a closed formula for generating the values of shifted convolution $L$-values for certain elliptic curves that can be computed to arbitrary precision. These identities provide a surprising relation between weight $2$ newforms and shifted convolution $L$-values.
We construct a class of companion elliptic functions associated with the even Dirichlet characters. Using the well-known properties of the classical Weierstrass elliptic function $\wp(z|τ)$ as the blueprint, we will derive their representations in terms of $q$-series and partial fractions, explore the significance of the coefficients of their power series expansions and establish the modular properties under the actions of the arithmetic groups $Γ_0(N)$ and $Γ_1(N)$.
A genus one curve C of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We prove a result characterising the covariants for these models in terms of their restrictions to the family of curves parametrised by the modular curve X(5). We then construct covariants describing the covering map of degree 25 from C to its Jacobian and give a practical algorithm for evaluating them.
Based on an equation for the rank of an elliptic surface over $\mathbb{Q}$ which appears in the work of Nagao, Rosen, and Silverman, we conjecture that 100% of elliptic surfaces have rank $0$ when ordered by the size of the coefficients of their Weierstrass equations, and present a probabilistic heuristic to justify this conjecture. We then discuss how it would follow from either understanding of certain $L$-functions, or from understanding of the local behaviour of the surfaces. Finally, we make a conjecture about ranks of elliptic surfaces over finite fields, and highlight some experimental …
We study elliptic surfaces over $\mathbb{Q}(T)$ with coefficients of a Weierstrass model being polynomials in $\mathbb{Q}[T]$ with degree at most 2. We derive an explicit expression for their rank over $\mathbb{Q}(T)$ depending on the factorization and other simple properties of certain polynomials. Finally, we give sharp estimates for the ranks of the considered families and we present several applications, among which there are lists of rational points, generic families with maximal rank and generalizations of former results.
In this paper we give an algorithm of how to determine a Weierstrass equation with minimal discriminant for superelliptic curves generalizing work of Tate for elliptic curves and Liu for genus 2 curves.
Using the division polynomials for elliptic curves in Weierstrass form, it shown that the group of rational points on the curve $H: ky(yy - 1) = lx(xx - 1)$ is torsion-free.
In this paper we establish a close connection between three notions at- tached to a modular subgroup. Namely the set of weight two meromorphic modular forms, the set of equivariant functions on the upper half-plane commuting with the action of the modular subgroup and the set of elliptic zeta functions generalizing the Weierstrass zeta functions. In particular, we show that the equivariant functions can be parameterized by modular objects as well as by elliptic objects.
Let q be a prime power and E a non-isotrivial elliptic curve over Fq(T) given by a Weierstrass model. We survey the construction, with an explicit point of view, of the modular parametrization of E by the associated Drinfeld modular curve. We then prove a formula that allows us to evaluate this modular parametrization at cusps and we produce an explicit method to compute these values. Finally we illustrate our results with several examples in characteristic 2 and 3.
We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an isogeny of degree $\ell$ ($\ell$ different from the characteristic) in time quasi-linear with respect to $\ell$. This is based in particular on fast algorithms for power series expansion of the Weierstrass $\wp$-function and related functions.
Previously, we proved an identity for theta functions of degree eight, and several applications of it were also discussed. This identity is a natural extension of the addition formula for the Weierstrass sigma-function. In this paper we will use this identity to reexamine our work in theta function identities in the past two decades. Hundreds of results about elliptic modular functions, both classical and new, are derived from this identity with ease. Essentially, this general theta function identity is a theta identities generating machine. Our investigation shows that many well-known results…
This study presents miscellaneous properties of pseudo-factorials, which are numbers whose recurrence relation is a twisted form of that of usual factorials. These numbers are associated with special elliptic functions, most notably, a Dixonian and a Weierstrass function, which parametrize the Fermat cubic curve and are relative to a hexagonal lattice. A continued fraction expansion of the ordinary generating function of pseudo-factorials, first discovered empirically, is established here. This article also provides a characterization of the associated orthogonal polynomials, which appear to f…