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).
Researcher profile
John Voight
John Voight contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
3topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
14 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
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
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
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 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
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