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 Voight
John Voight 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
26works
6topics
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
26 published item(s)
preprint2022arXiv
Computing Euclidean Belyi maps
We exhibit an explicit algorithm to compute three-point branched covers of the complex projective line when the uniformizing triangle group is Euclidean.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Definite orthogonal modular forms: Computations, Excursions and Discoveries
We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we investigate endoscopy using theta series and a theorem of Rallis. Along the way, we exhibit many examples and pose several conjectures. As a first application, we express counts of Kneser neighbours in terms of coefficients of classical or Siegel modular forms, complementing work of Chenevier-Lannes. As a second application, we prove new instances of Eisenstein congruences of Ramanujan and Kurokawa-Mizumoto type.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
The canonical ring of a stacky curve
Generalizing the classical theorems of Max Noether and Petri, we describe generators and relations for the canonical ring of a stacky curve, including an explicit Gröbner basis. We work in a general algebro-geometric context and treat log canonical and spin canonical rings as well. As an application, we give an explicit presentation for graded rings of modular forms arising from finite-area quotients of the upper half-plane by Fuchsian groups.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Hypergeometric decomposition of symmetric K3 quartic pencils
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.
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
Rigorous computation of the endomorphism ring of a Jacobian
We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field.
0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv
On basic and Bass quaternion orders
A quaternion order O over a Dedekind domain R is Bass if every R-superorder is Gorenstein, and O is basic if it contains an integrally closed quadratic R-order. In this article, we show that these conditions are equivalent in local and global settings: a quaternion order is Bass if and only if it is basic. In particular, we show that the property of being basic is a local property of a quaternion order.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
A database of Hilbert modular forms
We describe the computation of tables of Hilbert modular forms of parallel weight 2 over totally real fields.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Discriminants and the monoid of quadratic rings
We consider the natural monoid structure on the set of quadratic rings over an arbitrary base scheme and characterize this monoid in terms of discriminants.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
On the arithmetic dimension of triangle groups
Let $Δ=Δ(a,b,c)$ be a hyperbolic triangle group, a Fuchsian group obtained from reflections in the sides of a triangle with angles $π/a,π/b,π/c$ drawn on the hyperbolic plane. We define the arithmetic dimension of $Δ$ to be the number of split real places of the quaternion algebra generated by $Δ$ over its (totally real) invariant trace field. Takeuchi has determined explicitly all triples $(a,b,c)$ with arithmetic dimension $1$, corresponding to the arithmetic triangle groups. We show more generally that the number of triples with fixed arithmetic dimension is finite, and we present an efficient algorithm to completely enumerate the list of triples of bounded arithmetic dimension.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Algebraic curves uniformized by congruence subgroups of triangle groups
We construct certain subgroups of hyperbolic triangle groups which we call "congruence" subgroups. These groups include the classical congruence subgroups of SL_2(ZZ), Hecke triangle groups, and 19 families of arithmetic triangle groups associated to Shimura curves. We determine the field of moduli of the curves associated to these groups and thereby realize the groups PSL_2(q) and PGL_2(q) regularly as Galois groups.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Small isospectral and nonisometric orbifolds of dimension 2 and 3
Revisiting a construction due to Vigneras, we exhibit small pairs of orbifolds and manifolds of dimension 2 and 3 arising from arithmetic Fuchsian and Kleinian groups that are Laplace isospectral (in fact, representation equivalent) but nonisometric.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Algorithmic enumeration of ideal classes for quaternion orders
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the run time of these algorithms and consider several related problems, including the computation of two-sided ideal classes, isomorphism classes of orders, connecting ideals for orders, and ideal principalization. We conclude by giving the complete list of definite Eichler orders with class number at most 2.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Nonvanishing of twists of $L$-functions attached to Hilbert modular forms
We describe algorithms for computing central values of twists of $L$-functions associated to Hilbert modular forms, carry out such computations for a number of examples, and compare the results of these computations to some heuristics and predictions from random matrix theory.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Binary quadratic forms that represent almost the same primes
Jagy and Kaplansky exhibited a table of 68 pairs of positive definite binary quadratic forms that represent the same odd primes and conjectured that this list is complete outside of "trivial" pairs. In this article, we find all pairs of such forms that represent the same primes outside of a finite set.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Computing power series expansions of modular forms
We exhibit a method to numerically compute power series expansions of modular forms on a cocompact Fuchsian group, using the explicit computation a fundamental domain and linear algebra.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Identifying the matrix ring: algorithms for quaternion algebras and quadratic forms
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix ring M_2(R) and, if so, to compute such an embedding. We discuss many variants of this problem, including algorithmic recognition of quaternion algebras among algebras of rank 4, computation of the Hilbert symbol, and computation of maximal orders.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Lattice methods for algebraic modular forms on classical groups
We use Kneser's neighbor method and isometry testing for lattices due to Plesken and Souveigner to compute systems of Hecke eigenvalues associated to definite forms of classical reductive algebraic groups.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Characterizing quaternion rings over an arbitrary base
We consider the class of algebras of rank 4 equipped with a standard involution over an arbitrary base ring. In particular, we characterize quaternion rings, those algebras defined by the construction of the even Clifford algebra.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Explicit methods for Hilbert modular forms
We exhibit algorithms to compute systems of Hecke eigenvalues for spaces of Hilbert modular forms over a totally real field. We provide many explicit examples as well as applications to modularity and Galois representations.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Computing automorphic forms on Shimura curves over fields with arbitrary class number
We extend methods of Greenberg and the author to compute in the cohomology of a Shimura curve defined over a totally real field with arbitrary class number. Via the Jacquet-Langlands correspondence, we thereby compute systems of Hecke eigenvalues associated to Hilbert modular forms of arbitrary level over a totally real field of odd degree. We conclude with two examples which illustrate the effectiveness of our algorithms.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Computing systems of Hecke eigenvalues associated to Hilbert modular forms
We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues associated to Hilbert modular forms over a totally real field.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Nonsolvable number fields ramified only at 3 and 5
For p = 3 and p = 5, we exhibit a finite nonsolvable extension of the rational numbers which is ramified only at p via explicit computations with Hilbert modular forms.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Rings of low rank with a standard involution
We consider the problem of classifying (possibly noncommutative) R-algebras of low rank over an arbitrary base ring R. We first classify algebras by their degree, and we relate the class of algebras of degree 2 to algebras with a standard involution. We then investigate a class of exceptional rings of degree 2 which occur in every rank n >= 1 and show that they essentially characterize all algebras of degree 2 and rank 3.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Shimura curves of genus at most two
In this article, we enumerate all Shimura curves X^D_0(N) of genus at most two.
0 citations0 reviewsNo code linkedOpen access