Computing classical modular forms
We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).
Source author record
John Cremona
John Cremona appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
14works
1topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
14 published item(s)
preprint2022arXiv
The density of polynomials of degree $n$ over $\mathbb{Z}_p$ having exactly $r$ roots in $\mathbb{Q}_p$
We determine the probability that a random polynomial of degree $n$ over $\mathbb{Z}_p$ has exactly $r$ roots in $\mathbb{Q}_p$, and show that it is given by a rational function of $p$ that is invariant under replacing $p$ by $1/p$.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Global methods for the symplectic type of congruences between elliptic curves
We describe a systematic investigation into the existence of congruences between the mod $p$ torsion modules of elliptic curves defined over $\mathbb{Q}$, including methods to determine the symplectic type of such congruences. We classify the existence and symplectic type of mod $p$ congruences between twisted elliptic curves over number fields, giving global symplectic criteria that apply in situations where the available local methods may fail. We report on the results of applying our methods for all primes $p\ge7$ to the elliptic curves in the LMFDB database, which currently includes all elliptic curves of conductor less than ${500000}$. We also show that while such congruences exist for each $p\le17$, there are none for $p \geq 19$ in the database, in line with a strong form of the Frey-Mazur conjecture.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
On rational Bianchi newforms and abelian surfaces with quaternionic multiplication
We study the rational Bianchi newforms (weight 2, trivial character, with rational Hecke eigenvalues) in the LMFDB that are not associated to elliptic curves, but instead to abelian surfaces with quaternionic multiplication. Two of these examples exhibit a rather special kind of behaviour: we show they arise from twisted base change of a classical newform with nebentypus character of order 4 and eight inner twists.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Sorting and labelling integral ideals in a number field
We define a scheme for labelling and ordering integral ideals of number fields, including prime ideals as a special case. The order we define depends only on the choice of a monic irreducible integral defining polynomial for each field $K$, and we start by defining for each field its unique reduced defining polynomial, after Belabas. We define a total order on the set of prime ideals of $K$ and then extend this to a total order on the set of all nonzero integral ideals of $K$. This order allows us to give a unique label of the form $N.i$, where $N$ is its norm and $i$ is the index of the ideal in the ordered list of all ideals of norm $N$. Our ideal labelling scheme has several nice properties: for a given norm, prime ideals always appear first, and given the factorisation of the norm, the bijection between ideals of norm $N$ and labels is computable in polynomial time. Our motivation for this is to have a well-defined and concise way to sort and label ideals for use in databases such as the LMFDB. We have implemented algorithms which realise this scheme, in Sage, Magma and Pari.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
The proportion of genus one curves over $\mathbb{Q}$ defined by a binary quartic that everywhere locally have a point
We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of local densities, is approximately 75.96%. We prove that the local density at a prime $p$ is given by a fixed degree-$9$ rational function of $p$ for all odd $p$ (and for the generalised equation, the same rational function gives the local density at every prime). An additional analysis is carried out to estimate rigorously the local density at the real place.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
The L-functions and modular forms database project
The Langlands Programme, formulated by Robert Langlands in the 1960s and since much developed and refined, is a web of interrelated theory and conjectures concerning many objects in number theory, their interconnections, and connections to other fields. At the heart of the Langlands Programme is the concept of an L-function. The most famous L-function is the Riemann zeta-function, and as well as being ubiquitous in number theory itself, L-functions have applications in mathematical physics and cryptography. Two of the seven Clay Mathematics Million Dollar Millennium Problems, the Riemann Hypothesis and the Birch and Swinnerton-Dyer Conjecture, deal with their properties. Many different mathematical objects are connected in various ways to L-functions, but the study of those objects is highly specialized, and most mathematicians have only a vague idea of the objects outside their specialty and how everything is related. Helping mathematicians to understand these connections was the motivation for the L-functions and Modular Forms Database (LMFDB) project. Its mission is to chart the landscape of L-functions and modular forms in a systematic, comprehensive and concrete fashion. This involves developing their theory, creating and improving algorithms for computing and classifying them, and hence discovering new properties of these functions, and testing fundamental conjectures. In the lecture I gave a very brief introduction to L-functions for non-experts, and explained and demonstrated how the large collection of data in the LMFDB is organized and displayed, showing the interrelations between linked objects, through our website www.lmfdb.org. I also showed how this has been created by a world-wide open source collaboration, which we hope may become a model for others.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
What is the probability that a random integral quadratic form in $n$ variables is isotropic?
We show that the density of quadratic forms in $n$ variables over ${\mathbb Z}_p$ that are isotropic is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, for each $n$, we determine the probability that a random integral quadratic form in $n$ variables is isotropic. In particular, we show that the probability that a random integral quaternary quadratic form is isotropic is $\approx 97.0\%$, in the case where the coefficients of the quadratic form are independently and uniformly distributed in the range $[-X,X]$ with $X\to\infty$. When random integral quaternary quadratic forms are chosen with respect to the Gaussian Orthogonal Ensemble (GOE), the probability of isotropy increases to $\approx 98.3\%$.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Tetrahedral Elliptic Curves and the local-global principle for Isogenies
We study the failure of a local-global principle for the existence of $l$-isogenies for elliptic curves over number fields $K$. Sutherland has shown that over $\mathbb{Q}$ there is just one failure, which occurs for $l=7$ and a unique $j$-invariant, and has given a classification of such failures when $K$ does not contain the quadratic subfield of the $l$'th cyclotomic field. In this paper we provide a classification of failures for number fields which do contain this quadratic field, and we find a new `exceptional' source of such failures arising from the exceptional subgroups of $\mbox{PGL}_2(\mathbb{F}_l)$. By constructing models of two modular curves, $X_{\text{s}}(5)$ and $X_{S_4}(13)$, we find two new families of elliptic curves for which the principle fails, and we show that, for quadratic fields, there can be no other exceptional failures.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
The proportion of plane cubic curves over ${\mathbb Q}$ that everywhere locally have a point
We show that the proportion of plane cubic curves over ${\mathbb Q}_p$ that have a ${\mathbb Q}_p$-rational point is a rational function in $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. As a consequence, we obtain the density of plane cubic curves over ${\mathbb Q}$ that have points everywhere locally; numerically, this density is shown to be $\approx 97.3\%$.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Explicit n-descent on elliptic curves. III. Algorithms
This is the third in a series of papers in which we study the n-Selmer group of an elliptic curve, with the aim of representing its elements as curves of degree n in P^{n-1}. The methods we describe are practical in the case n=3 for elliptic curves over the rationals, and have been implemented in Magma. One important ingredient of our work is an algorithm for trivialising central simple algebras. This is of independent interest: for example, it could be used for parametrising Brauer-Severi surfaces.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Minimisation and reduction of 2-, 3- and 4-coverings of elliptic curves
In this paper we consider models for genus one curves of degree n for n = 2, 3 and 4, which arise in explicit n-descent on elliptic curves. We prove theorems on the existence of minimal models with the same invariants as the minimal model of the Jacobian elliptic curve and provide simple algorithms for minimising a given model, valid over general number fields. Finally, for genus one models defined over Q, we develop a theory of reduction and again give explicit algorithms for n = 2, 3 and 4.
0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv
Explicit n-descent on elliptic curves, I. Algebra
This is the first in a series of papers in which we study the n-Selmer group of an elliptic curve, with the aim of representing its elements as genus one normal curves of degree n. The methods we describe are practical in the case n=3 for elliptic curves over the rationals, and have been implemented in Magma.
0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv
Explicit n-descent on elliptic curves, II. Geometry
This is the second in a series of papers in which we study the n-Selmer group of an elliptic curve. In this paper, we show how to realize elements of the n-Selmer group explicitly as curves of degree n embedded in P^{n-1}. The main tool we use is a comparison between an easily obtained embedding into P^{n^2-1} and another map into P^{n^2-1} that factors through the Segre embedding P^{n-1} x P^{n-1} --> P^{n^2-1}. The comparison relies on an explicit version of the local-to-global principle for the n-torsion of the Brauer group of the base field.
0 citations0 reviewsNo code linkedOpen access