We derive an explicit zero-free region for symmetric square L-functions of elliptic curves, and use this to derive an explicit lower bound for the modular degree of rational elliptic curves. The techniques are similar to those used in the classical derivation of zero-free regions for Dirichlet L-functions, but here, due to the work of Goldfield-Hoffstein-Lieman, we know that there are no Siegel zeros, which leads to a strengthened result.
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.
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).
We prove that all elliptic curves defined over totally real cubic fields are modular. This builds on previous work of Freitas, Le Hung and Siksek, who proved modularity of elliptic curves over real quadratic fields, as well as recent breakthroughs due to Thorne and to Kalyanswamy.
The aim of this paper is to show lifts from pairs of two elliptic modular forms to Siegel modular forms of half-integral weight of even degree under the assumption that the constructed Siegel modular form is not identically zero. The key of the proof is to introduce a certain generalization of the Maass relation for Siegel modular forms of half-integral weight of general degree.
We define "values" of the elliptic modular j-function at real quadratic irrationalities by using Hecke's hyperbolic Fourier expansions, and present some observations based on numerical experiments.
Kaneko and Sakai recently observed that certain elliptic curves whose associated newforms (by the modularity theorem) are given by the eta-quotients can be characterized by a particular differential equation involving modular forms and Ramanujan-Serre differential operator. In this paper, we study certain properties of modular parametrizations associated to the elliptic curves over Q, and as a consequence we generalize and explain some of their findings.
We prove that every elliptic curve defined over a totally real number field of degree 4 not containing $\sqrt{5}$ is modular. To this end, we study the quartic points on four modular curves.
We present a detailed analysis of how to implement the computation of modular symbols for a given elliptic curve by using numerical approximations. This method turns out to be more efficient than current implementation as the conductor of the curve increases.
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.
Let K be a number field and E/K a modular elliptic curve, with modular parametrization $X_0(N) \to E$ defined over K. The purpose of this note is to study the images in E of classes of isogenous points in X_0(N).
This version improves the old version entitled "On the modularity of elliptic curves with a residually irreducible representation". Let $E$ be an elliptic curve over an abelian totally real field $K$ unramified at 3,5, and 7. We prove that $E$ is modular.
Let F be the cubic field of discriminant -23 and let O be its ring of integers. By explicitly computing cohomology of congruence subgroups of GL(2,O), we computationally investigate modularity of elliptic curves over F.
We explicitly compute the ellitpic points and isotropy groups for the action of the Picard modular group over the Gaussian integers on 2-dimensional complex hyperbolic space.
We study generalisations to totally real fields of methods originating with Wiles and Taylor-Wiles. In view of the results of Skinner-Wiles on elliptic curves with ordinary reduction, we focus here on the case of supersingular reduction. Combining these, we then obtain some partial results on the modularity problem for semistable elliptic curves, and end by giving some applications of our results, for example proving the modularity of all semistable elliptic curves over $\mathbb{Q}(\sqrt{2})$.
In this paper, we extend previous results to prove that generalized modular forms with rational Fourier expansions whose divisors are supported only at the cusps and certain other points in the upper half plane are actually classical modular forms. We discuss possible limitations to this extension and pose questions about possible zeroes for modular forms of prime level.
We study several aspects of nonvanishing Fourier coefficients of elliptic modular forms $\bmod \ell$, partially answering a question of Bellaïche-Soundararajan concerning the asymptotic formula for the count of the number of Fourier coefficients upto $x$ which do not vanish $\bmod \ell$. We also propose a precise conjecture as a possible answer to this question. Further, we prove several results related to the nonvanishing of arithmetically interesting (e.g., primitive or fundamental) Fourier coefficients $\bmod \ell $ of a Siegel modular form with integral algebraic Fourier coefficients provi…
Let $E / \mathbb{Q}$ and $A / \mathbb{Q}$ be elliptic curves. We can construct modular points derived from $A$ via the modular parametrisation of $E$. With certain assumptions we can show that these points are of infinite order and are not divisible by a prime $p$. In particular, using Kolyvagin's construction of derivative classes, we can find elements in certain Shafarevich-Tate groups of order $p^{n}$.
In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication case. The key input of our approach is the use of modularity techniques to prove the vanishing of certain Selmer groups involved in the Chabauty-Kim method.
We prove that all elliptic curves defined over the cyclotomic $\mathbb{Z}_p$-extension of a real quadratic field are modular under the assumption that the algebraic part of the central value of a twisted $L$-function is a $p$-adic unit. Our result is a generalization of a result of X. Zhang, which is a real quadratic analogue of a result of Thorne.
We calculate an explicit lower bound on the proportion of elliptic curves that are modular over any Galois CM field not containing $ζ_5$. Applied to imaginary quadratic fields, this proportion is at least $2/5$. Applied to cyclotomic fields $\mathbb{Q}(ζ_n)$ with $5\nmid n$, this proportion is at least $1-\varepsilon$ with only finitely many exceptions of $n$, for any choice of $\varepsilon > 0$.
The modular degree m_E of an elliptic curve E/Q is the minimal degree of any surjective morphism X_0(N) -> E, where N is the conductor of E. We give a necessarily set of criteria for m_E to be odd. Specializing to N prime our results imply a conjecture of Mark Watkins. As a technical tool we also prove a certain multiplicity one result for p=2 that may be of independent interest.
This is the first in a series of articles where we will study the Iwasawa theory of an elliptic modular form f along the anticyclotomic Zp-tower of an imaginary quadratic field K where the prime p splits completely. Our goal in this portion is to prove the Iwasawa main conjecture for suitable twists of f assuming that f is p-ordinary, both in the definite and indefinite setups simultaneously, via an analysis of Beilinson-Flach elements.
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.
We prove that the graded ring of modular forms of weight divisible by 3 is naturally isomorphic to a certain log canonical ring of the corresponding elliptic modular surface.
Using a combination of several powerful modularity theorems and class field theory we derive a new modularity theorem for semistable elliptic curves over certain real abelian fields. We deduce that if $K$ is a real abelian field of conductor $n<100$, with $5 \nmid n$ and $n \ne 29$, $87$, $89$, then every semistable elliptic curve $E$ over $K$ is modular. Let $\ell$, $m$, $p$ be prime, with $\ell$, $m \ge 5$ and $p \ge 3$.To a putative non-trivial primitive solution of the generalized Fermat $x^{2\ell}+y^{2m}=z^p$ we associate a Frey elliptic curve defined over $\mathbb{Q}(ζ_p)^+$, and study i…
We will study modular Abelian varieties with odd congruence numbers, by studying the cuspidal subgroup of $J_0(N)$. We show the conductor of such Abelian varieties must be of a special type, for example if $N$ is odd then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. We then focus our attention to modular elliptic curves, and using result of Agashe, Ribet, and Stein, we try to classify all elliptic curves of odd modular degree. Our studies prove many cases of the Stein and Watkins's conjecture on elliptic curves with odd modular degree.
The second and third-named authors (arXiv:1705.04115) established a Central Limit Theorem for the error term in the Sato-Tate law for families of modular forms. This method was adapted to families of elliptic curves in by the first and second-named authors (arXiv:1705.09229). In this context, a Central Limit Theorem was established only under a strong hypothesis going beyond the Riemann Hypothesis. In the present paper, we consider a smoothed version of the Sato-Tate conjecture, which allows us to overcome several limitations. In particular, for the smoothed version, we are able to establish a…
We provide a generalization of an algebraic linear combination for the trace of certain elliptic modular forms, and through specializing the expression at a suitable pair consisting of an elliptic curve over algebraic number fields and its a certain cyclic subgroup with finite order, show a formula between distinct algebraic number fields, the one related to modular forms and the other related to elliptic curves.
These are the lecture notes from my portion of a mini-course for the summer school "Building Bridges 3" that was held in Sarajevo during July 2016. My lectures covered the Katz definition of modular forms, a family of forms defined from this perspective and their relation to Eisenstein series, and methods of finding explicit models of modular curves. The treatment is purely expository, and the results are mostly standard, although a few points of view may not be as widely known as they deserve to be.
The modularity theorem implies that for every elliptic curve $E /\mathbb{Q}$ there exist rational maps from the modular curve $X_0(N)$ to $E$, where $N$ is the conductor of $E$. These maps may be expressed in terms of pairs of modular functions $X(z)$ and $Y(z)$ where $X(z)$ and $Y(z)$ satisfy the Weierstrass equation for $E$ as well as a certain differential equation. Using these two relations, a recursive algorithm can be used to calculate the $q$ - expansions of these parametrizations at any cusp. %These functions are algebraic over $\mathbb{Q}(j(z))$ and satisfy modular polynomials where e…
From the Modularity Theorem proven by Wiles, Taylor, et al, we know that all elliptic curves are modular. It has been shown by Martin and Ono exactly which are represented by eta-quotients, and some examples of elliptic curves represented by modular forms that are linear combinations of eta-quotients have been given by Pathakjee, RosnBrick, and Yoong. In this paper, we first show that eta-quotients which are modular for any congruence subgroup of level $N$ coprime to $6$ can be viewed as modular for $Γ_0(N)$. We then categorize when even weight eta-quotients can exist in $M_k (Γ_1(p))$ and $M_…
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…
Let $f$ be an elliptic modular form and $p$ an odd prime that is coprime to the level of $f$. We study the link between divisors of the characteristic ideal of the $p$-primary fine Selmer group of $f$ over the cyclotomic $\mathbb{Z}_p$ extension of $\mathbb{Q}$ and the greatest common divisor of signed Selmer groups attached to $f$ defined using the theory of Wach modules. One of the key ingredients of our proof is a generalization of a result of Wingberg on the structure of fine Selmer groups of abelian varieties with supersingular reduction at $p$ to the context of modular forms.
We present an algorithm to determine if the $L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor and Berger-Harcos (cf. \cite{harris-taylor}, \cite{taylorII} and \cite{berger-harcos}) we can associate to an automorphic representation a family of compatible $p$-adic representations. Our algorithm is based on Faltings-Serre's method to prove that $p$-adic Galois representations are isomorphic.
For primes p congruent to 1 mod 12, we present an explicit relation between the traces of Frobenius on a family of elliptic curves with j-invariant 1728/t and values of a particular 2F1-hypergeometric function over F_p. Additionally, we determine a formula for traces of Hecke operators T_k(p) on spaces of cusp forms of weight k and level 1 in terms of the same traces of Frobenius. This leads to formulas for Ramanujan's tau-function in terms of hypergeometric functions.
In this article we perform an extensive study of the spaces of automorphic forms for GL(2) of weight two and level N, for N an ideal in the ring of integers of the quartic CM field generated by the twelfth roots of unity. This study is conducted through the computation of the group cohomology of the congruence subgroup of upper triangular matrices modulo N, and the corresponding Hecke action which this space admits. Combining this Hecke data with the Faltings-Serre method for proving equivalence of Galois representations, we are able to provide the first known examples of modular elliptic curv…
By a change of variables we obtain new $y$-coordinates of elliptic curves. Utilizing these $y$-coordinates as modular functions, together with the elliptic modular function, we generate the modular function fields of level $N\geq3$. Furthermore, by means of the singular values of the $y$-coordinates we construct the ray class fields modulo $N$ over imaginary quadratic fields as well as normal bases of these ray class fields.
Suppose $p$ is a prime of the form $u^2+64$ for some integer $u$, which we take to be 3 mod 4. Then there are two Neumann--Setzer elliptic curves $E_0$ and $E_1$ of prime conductor $p$, and both have Mordell--Weil group $\Z/2\Z$. There is a surjective map $X_0(p)\xrightarrowπ E_0$ that does not factor through any other elliptic curve (i.e., $π$ is optimal), where $X_0(p)$ is the modular curve of level $p$. Our main result is that the degree of $π$ is odd if and only if $u \con 3\pmod{8}$. We also prove the prime-conductor case of a conjecture of Glenn Stevens, namely that that if $E$ is an ell…
We prove a genus formula for modular curves of $D$-elliptic sheaves. We use this formula to show that the reductions of modular curves of $D$-elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of $D$ tends to infinity.
We obtain Poisson equations satisfied by elliptic modular graph functions with four links. Analysis of these equations leads to a non--trivial algebraic relation between the various graphs.
In this paper, we will study modular Abelian varieties with odd congruence numbers by examining the cuspidal subgroup of $J_0(N)$. We will show that the conductor of such Abelian varieties must be of a special type. For example, if $N$ is the conductor of an absolutely simple modular Abelian variety with an odd congruence number, then $N$ has at most two prime divisors, and if $N$ is odd, then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. In the second half of this paper, we will focus on modular elliptic curves with odd modular degree. Our results, combined with the work of Agashe, Ribet, and…
