A curve X over the field Q of rational numbers is modular if it is dominated by X_1(N) for some N; if in addition the image of its jacobian in J_1(N) is contained in the new subvariety of J_1(N), then X is called a new modular curve. We prove that for each integer g at least 2, the set of new modular curves over Q of genus g is finite and computable. For the computability result, we prove an algorithmic version of the de Franchis-Severi Theorem. Similar finiteness results are proved for new modular curves of bounded gonality, for new modular curves whose jacobian is a quotient of the new part of J_0(N) with N divisible by a prescribed prime, and for modular curves (new or not) with levels in a restricted set. We study new modular hyperelliptic curves in detail. In particular, we find all new modular curves of genus 2 explicitly, and construct what might be the complete list of all new modular hyperelliptic curves of all genera. Finally we prove that for each field k of characteristic zero and each integer g at least 2, the set of genus g curves over k dominated by a Fermat curve is finite and computable.
In this note, we propose the modular height of an abelian variety defined over a field of finite type over Q. Moreover, we prove its finiteness property.
We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the finiteness of the genus of simple algebraic groups of type $\textsf{G}_2$. These applications involve the double cosets of adele groups of algebraic groups over arbitrary finitely generated fields: while over number fields these double cosets are associated with the class numbers of algebraic groups and hence have been actively analyzed, similar question over more…
We study vector-valued Siegel modular forms of genus 2 and level 2. We describe the structure of certain modules of vector-valued modular forms over rings of scalar-valued modular forms.
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.
Let K be a number field with ring of integers O, and let G be a finite-index subgroup of SL(n,O). Using a classical construction from the geometry of numbers and the theory of modular symbols, we exhibit a finite spanning set for the highest nonvanishing rational cohomology group of G.
We investigate certain finiteness questions that arise naturally when studying approximations modulo prime powers of p-adic Galois representations coming from modular forms. We link these finiteness statements with a question by K. Buzzard concerning p-adic coefficient fields of Hecke eigenforms. Specifically, we conjecture that for fixed N, m, and prime p with p not dividing N, there is only a finite number of reductions modulo p^m of normalized eigenforms on Γ_1(N). We consider various variants of our basic finiteness conjecture, prove a weak version of it, and give some numerical evidence.
We prove multiplicity one for vector valued holomorphic Siegel modular forms of weights greater or equal to 3 and the full Siegel modular group and give a trace formula for the action of the Hecke operators T(p) in the regular cases.
We prove that there exist exactly eight Siegel modular forms with respect to the congruence subgroups of Hecke type of the paramodular groups of genus two vanishing precisely along the diagonal of the Siegel upper half-plane. This is a solution of a question formulated during the conference "Black holes, Black Rings and Modular Forms" (ENS, Paris, August 2007). These modular forms generalize the classical Igusa form and the forms constructed by Gritsenko and Nikulin in 1998.
In this paper, we introduce modular polynomials for the congruence subgroup $Γ_0(M)$ when $ X_0(M) $ has genus zero and therefore the polynomials are defined by a Hauptmodul of $ X_0(M) $. We show that the intersection number of two curves defined by two modular polynomials can be expressed as the sum of the numbers of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of positive definite binary quadratic forms over $\mathbb{Z}$. We also show that the intersection numbers can be also combinatorially written by Fourier coefficients of the Siegel Eisenstein series of degree 2, weight 2 with respec…
This article lays the foundations for the study of modular forms transforming with respect to representations of Fuchsian groups of genus zero. More precisely, we define geometrically weighted graded modules of such modular forms, where the graded structure comes from twisting with all isomorphism classes of line bundles on the corresponding compactified modular curve, and we study their structure by relating it to the structure of vector bundles over orbifold curves of genus zero. We prove that these modules are free whenever the Fuchsian group has at most two elliptic points. For three or mo…
We extend Igusa's description of the relation between invariants of binary sextics and Siegel modular forms of degree two to a relation between covariants and vector-valued Siegel modular forms of degree two. We show how this relation can be used to effectively calculate the Fourier expansions of Siegel modular forms of degree two.
We study $p$-adic families of cohomological automorphic forms for ${\mathrm{GL}}(2)$ over imaginary quadratic fields and prove that families interpolating a Zariski-dense set of classical cuspidal automorphic forms only occur under very restrictive conditions. We show how to computationally determine when this is not the case and establish concrete examples of families interpolating only finitely many Bianchi modular forms.
We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first direct image. Using this, we deduce the Hodge and Tate conjectures hold for these varieties.
In this paper we study the Coleman-Oort conjecture for superelliptic curves, i.e., curves defined by affine equations $y^n=F(x)$ with $F$ a separable polynomial. We prove that up to isomorphism there are at most finitely many superelliptic curves of fixed genus $g\geq 8$ with CM Jacobians. The proof relies on the geometric structures of Shimura subvarieties in Siegel modular varieties and the stability properties of Higgs bundles associated to fibred surfaces.
We prove that there is only a finite number of genus 2 curves C defined over Q such that there exists a nonconstant morphism pi:X_1(N) --->C defined over Q and the jacobian of C, J(C), is a Q-factor of the new part of the jacobian of X_1(N), J_1(N)^{new}. Moreover, we prove that there are only 149 genus two curves of this kind with the additional requeriment that their jacobians are Q-simple. We determine the corresponding newforms and present equations for all these curves.
We describe a method to determine all the isomorphism classes of principal polarizations of the modular abelian surfaces $A_f$ with quaternionic multiplication attached to a normalized newform $f$ without complex multiplication. We include an example of $A_f$ with quaternionic multiplication for which we find numerically a curve $C$ whose Jacobian is $A_f$ up to numerical approximation, and we prove that it has quaternionic multiplication and is isogenous to $A_f$.
In this paper we present an algorithm for computing Hecke eigensystems of Hilbert-Siegel cusp forms over real quadratic fields of narrow class number one. We give some illustrative examples using the quadratic field $\Q(\sqrt{5})$. In those examples, we identify Hilbert-Siegel eigenforms that are possible lifts from Hilbert eigenforms.
An invariant of a model of genus one curve is a polynomial in the coefficients of the model that is stable under certain linear transformations. The classical example of an invariant is the discriminant, which characterizes the singularity of models. The ring of invariants of genus one models over a field is generated by two elements. Fisher normalized these invariants for models of degree n=2,3,4 in such a way that these invariants are moreover defined over the integers. We provide an alternative way to express these normalized invariants using modular forms. This method relies on a direct co…
We show how one can use the representation theory of ternary quartics to construct all vector-valued Siegel modular forms and Teichmüller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichmüller cusp forms on \overline{M}_g and the middle cohomology of symplectic local systems on M_g. In genus 3, we make this explicit in a large number of cases.
We show that there exist genus one curves of every index over the rational numbers, answering affirmatively a question of Lang and Tate. The proof is "elementary" in the sense that it does not assume the finiteness of any Shafarevich-Tate group. On the other hand, using Kolyvagin's construction of a rational elliptic curve whose Mordell-Weil and Shafarevich-Tate groups are both trivial, we show that there are infinitely many curves of every index over every number field.
Modular polynomials are an important tool in many algorithms involving elliptic curves. In this article we investigate their generalization to the genus 2 case following pioneering work by Gaudry and Dupont. We prove various properties of these genus 2 modular polynomials and give an improved way to explicitly compute them.
We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the context of spherical fusion categories. For a modular category $\mathcal{C}$ with $N=ord(T)$, the order of the modular $T$-matrix, the Cauchy theorem says that the set of primes dividing the global quantum dimension $D^2$ in the Dedekind domain $\mathbb{Z}[e^{\frac{2πi}{N}}]$ is identical to that of $N$.
We compute explicit rational models for some Hilbert modular surfaces corresponding to square discriminants, by connecting them to moduli spaces of elliptic K3 surfaces. Since they parametrize decomposable principally polarized abelian surfaces, they are also moduli spaces for genus-2 curves covering elliptic curves via a map of fixed degree. We thereby extend classical work of Jacobi, Hermite, Bolza etc., and more recent work of Kuhn, Frey, Kani, Shaska, Völklein, Magaard and others, producing explicit families of reducible Jacobians. In particular, we produce a birational model for the modul…
We study the finiteness of low degree points on certain modular curves and their Atkin--Lehner quotients, and, as an application, prove the modularity of elliptic curves over all but finitely many totally real fields of degree $5$. On the way, we prove a criterion for the finiteness of rational points of degree $5$ on a curve of large genus over a number field using the results of Abramovich--Harris and Faltings on subvarieties of Jacobians.
We develop an algorithm to compute Fourier expansions of vector valued modular for Weil representations. As an application, we compute explicit linear equivalences of special divisors on modular varieties of orthogonal type. We define three families of Hecke operators for Jacobi forms, and analyze the induced action on vector valued modular forms. The newspaces attached to one of these families are used to give a more memory efficient version of our algorithm.
Let $N\geq 1$ be a square-free integer such that the modular curve $X_0^*(N)$ has genus $\geq 2$. We prove that $X_0^*(N)$ is bielliptic exactly for $19$ values of $N$, and we determine the automorphism group of these bielliptic curves. In particular, we obtain the first examples of nontrivial $Aut(X_0^*(N))$ when the genus of $X_0^*(N)$ is $\geq 3$. Moreover, we prove that the set of all quadratic points over $\mathbb{Q}$ for the modular curve $X_0^*(N)$ with genus $\geq 2$ and $N$ square-free is not finite exactly for $51$ values of $N$.
Triangular modular curves are a generalization of modular curves that arise from quotients of the upper half-plane by congruence subgroups of hyperbolic triangle groups. These curves also arise naturally as a source of Belyi maps with monodromy $\text{PGL}_2(\mathbb{F}_q)$ or $\text{PSL}_2(\mathbb{F}_q)$. We present a computational approach to enumerate Borel-type triangular modular curves of low genus, and we carry out this enumeration for prime level and small genus.
We prove that up to scaling there are only finitely many integral lattices L of signature (2,n) with n>20 or n=17 such that the modular variety defined by the orthogonal group of L is not of general type. In particular, when n>107, every modular variety defined by an arithmetic group for a rational quadratic form of signature (2,n) is of general type. We also obtain similar finiteness in n>8 for the stable orthogonal groups. As a byproduct we derive finiteness of lattices admitting reflective modular form of bounded vanishing order, which proves a conjecture of Gritsenko and Nikulin.
Sturm obtained the bounds for the number of the first Fourier coefficients of elliptic modular form $f$ to determine vanishing of $f$ modulo a prime $p$. In this paper, we study analogues of Sturm's bound for Siegel modular forms of genus 2. We show the resulting bound is sharp. As an application, we study congruences involving Atkin's $U(p)$-operator for the Fourier coefficients of Siegel mdoular forms of genus 2.
The Bogomolov Conjecture is a finiteness statement about algebraic points of small height on a smooth complete curve defined over a global field. We verify an effective form of the Bogomolov Conjecture for all curves of genus at most 4 defined over a function field of characteristic zero. We recover the known result for genus 2 curves and in many cases improve upon the known bound for genus 3 curves. For many curves of genus 4 with bad reduction, the conjecture was previously unproved.
Associated to an open subgroup $G$ of $\GL_2(\Zhat)$ satisfying conditions $-I \in G$ and $\det(G) \subsetneq (\Zhat)^{\times}$ there is a modular curve $X_G$ which is a smooth compact curve defined over an extension of $\Q.$ In this article, we give a complete list of all such prime power level genus $0$ modular curves with a point.
For positive integers $g$ and $N$, let $\mathcal{F}_N$ be the field of meromorphic Siegel modular functions of genus $g$ and level $N$ whose Fourier coefficients belong to the $N$th cyclotomic field. We present explicit generators of $\mathcal{F}_N$ over $\mathcal{F}_1$ in terms of quotient of theta constants, when $g\geq2$ and $N\geq 3$.
The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the forms F defined by the symmetric cube of a non-CM elliptic curve E over the rationals, and those defined by anticyclotomic twists (of even non-zero weight) of the base change of such an E to an imaginary qu…
We prove divisibility results for the Fourier coefficients of canonical basis elements for the spaces of weakly holomorphic modular forms of weight $0$ and levels $6, 10, 12, 18$ with poles only at the cusp at infinity. In addition, we show that these Fourier coefficients satisfy Zagier duality in all weights, and give a general formula for the generating functions of such canonical bases for all genus zero levels.
Higher genus modular graph tensors map Feynman graphs to functions on the Torelli space of genus-$h$ compact Riemann surfaces which transform as tensors under the modular group $Sp(2h , \mathbb Z)$, thereby generalizing a construction of Kawazumi. An infinite family of algebraic identities between one-loop and tree-level modular graph tensors are proven for arbitrary genus and arbitrary tensorial rank. We also derive a family of identities that apply to modular graph tensors of higher loop order.
In this article we will show how to compute $U_p$ acting on spaces of overconvergent $p$-adic modular forms when $X_0(p)$ has genus 1. We first give a construction of Banach bases for spaces of overconvergent $p$-adic modular forms, and then give an algorithm to approximate both the characteristic power series of the $U_p$ operator and eigenvectors of finite slope for $U_p$, and present some explicit examples. We will also relate this to the conjectures of Clay on the slopes of overconvergent modular forms.
We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N…
We address the problem of the determination of the images of the Galois representations attached to genus 2 Siegel cusp forms of level 1 having multiplicity one. These representations are symplectic. We prove that the images are as large as possible for almost every prime, if the Siegel cusp form is not a Maass spezialform and verifies two easy to check conditions.
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting provided by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
We study the cohomology of certain local systems on moduli spaces of principally polarized abelian surfaces with a level 2 structure. The trace of Frobenius on the alternating sum of the étale cohomology groups of these local systems can be calculated by counting the number of pointed curves of genus 2 with a prescribed number of Weierstrass points over the given finite field. This cohomology is intimately related to vector-valued Siegel modular forms. The corresponding scheme in level 1 was carried out in [FvdG]. Here we extend this to level 2 where new phenomena appear. We determine the cont…
A modular form for an even lattice L of signature (2,n) is said to be 2-reflective if its zero divisor is set-theoretically contained in the Heegner divisor defined by the (-2)-vectors in L. We prove that there are only finitely many even lattices with n>6 which admit 2-reflective modular forms. In particular, there is no such lattice in n>25 except the even unimodular lattice of signature (2,26). This proves a conjecture of Gritsenko and Nikulin in the range n>6.
Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting which has been established by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.
This project was sponsored through the Schiff Fellowship program of Brandeis University. This project involved using the power series method to construct a third order nonlinear ordinary differential equation, a Schwarzian equation, for each of the "genus zero" modular functions, described in the Conway-Norton paper. We first use the Borcherd recursion formuli to generate, in each case, a modular function up to whatever degree we desire, and then use the fact that there is a Schwarzian equation, determined by a single rational function we call a Q-value. By similar power series methods, we com…
Lehner's 1949 results on the $j$-invariant showed high divisibility of the function's coefficients by the primes $p\in\{2,3,5,7\}$. Expanding his results, we examine a canonical basis for the space of level $p$ modular functions holomorphic at the cusp 0. We show that the Fourier coefficients of these functions are often highly divisible by these same primes.
We formulate a detailed conjectural Eichler-Shimura type formula for the cohomology of local systems on a Picard modular surface associated to the group of unitary similitudes $\mathrm{GU}(2,1,\mathbb{Q}(\sqrt{-3}))$. The formula is based on counting points over finite fields on curves of genus three which are cyclic triple covers of the projective line. Assuming the conjecture we are able to calculate traces of Hecke operators on spaces of Picard modular forms. We provide ample evidence for the conjectural formula. Along the way we prove new results on characteristic polynomials of Frobenius …
