We complete the description of semistable models for modular curves associated with maximal subgroups of $\mathrm{GL}_2 ({\mathbb F}_p )$ (for $p$ any prime, $p>5$). That is, in the new cases of non-split Cartan modular curves and exceptional subgroups, we identify the irreducible components and singularities of the reduction mod $p$, and the complete local rings at the singularities. We review the case of split Cartan modular curves. This description suffices for computing the group of connected components of the fibre at $p$ of the Néron model of the Jacobian.
We produce an integral model for the modular curve $X(Np^m)$ over the ring of integers of a sufficiently ramified extension of $\mathbf{Z}_p$ whose special fiber is a {\em semistable curve} in the sense that its only singularities are normal crossings. This is done by constructing a semistable covering (in the sense of Coleman) of the supersingular part of $X(Np^m)$, which is a union of copies of a Lubin-Tate curve. In doing so we tie together nonabelian Lubin-Tate theory to the representation-theoretic point of view afforded by Bushnell-Kutzko types. For our analysis it was essential to work …
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})$.
We construct an integral model for Lubin-Tate curves as moduli of finite subgroups of formal deformations over complete Noetherian local rings. They are p-adic completions of the modular curves X_0(p) at a mod-p supersingular point. Our model is semistable in the sense that the only singularities of its special fiber are normal crossings. Given this model, we obtain a uniform presentation for the Dyer-Lashof algebra of Morava E-theories at height 2 as local moduli of power operations in elliptic cohomology.
This brief note only contains a modest contribution: we just fix some inaccuracies in the proof of the prime level weight 2 case of Serre's conjecture given in Khare's preprint "On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p", for the case of trivial character. More precisely, the modularity lifting result needed at a crucial step is the one for the case of a deformation corresponding to a $p$-adic semistable (in the sense of Fontaine) Galois representation attached to a semistable abelian variety, but in Khare's preprint it is applied a le…
For an optimal modular parametrization $J_0(n) \twoheadrightarrow E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^0(E, Ω^1)$. Multiple authors generalized his conjecture to higher dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic etale and de Rham coho…
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…
Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are noncongruence. These groups as well as their modular forms are central players of this survey article. Differences between congruence and noncongruence subgroups and modular forms will be discussed. We will mainly focus on three interesting aspects of modular forms for noncongruence subgroups: the unbounded denominator property, modularity of the Galois represen…
Let $f$ be a cuspidal Hecke eigenform of level 1. We prove the automorphy of the symmetric power lifting $\mathrm{Sym}^n f$ for every $n \geq 1$. We establish the same result for a more general class of cuspidal Hecke eigenforms, including all those associated to semistable elliptic curves over $\mathbb{Q}$.
In this paper we will use experimental and computational methods to find modular forms for non-congruence subgroups, and the modular forms for congruence subgroups that they are associated with via the Atkin--Swinnerton-Dyer correspondence. We also prove a generalization of a criterion due to Ligozat for an eta-quotient to be a modular function.
Let $K$ be a totally real field, and let $S$ be a finite set of non-archimedean places of $K$. It follows from the work of Merel, Momose and David that there is a constant $B_{K,S}$ so that if $E$ is an elliptic curve defined over $K$, semistable outside $S$, then for all $p>B_{K,S}$, the representation $\barρ_{E,p}$ is irreducible. We combine this with modularity and level lowering to show the existence of an effectively computable constant $C_{K,S}$, and an effectively computable set of elliptic curves over $K$ with CM $E_1,\dotsc,E_n$ such that the following holds. If $E$ is an elliptic cur…
We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).
We present a database of several hundred modular forms up to and including weight six on noncongruence subgroups of index $\leq 17$. In addition, our database contains expressions for the Belyi map for genus zero subgroups and equations of the corresponding elliptic curves for genus one subgroups and numerical approximations of noncongruence Eisenstein series to 1500 digits precision.
In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup (with algebraic coefficients) have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence subgroups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine…
We introduce and study families of finite index subgroups of the modular group that generalize the congruence subgroups. Such groups, termed $ϕ$-congruence subgroups, are obtained by reducing homomorphisms $ϕ$ from the modular group into a linear algebraic group modulo integers. In particular, we examine two families of examples, arising on the one hand from a map into a quasi-unipotent group, and on the other hand from maps into symplectic groups of degree four. In the quasi-unipotent case we also provide a detailed discussion of the corresponding modular forms, using the fact that the tower …
In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit equations over $\bf Q$ for the canonical embeddings of the associated modular curves.
We research the location of the zeros of the Eisenstein series and the modular functions from the Hecke type Faber polynomials associated with the normalizers of congruence subgroups which are of genus zero and of level at most twelve. In Part I, we will consider the general theory of modular functions for the normalizers.
In this paper we show two classes of noncongruence subgroups satisfy the so-called unbounded denominator property. In particular, we establish our conjecture in [KL08] which says that every type II noncongruence character group of Gamma^0(11) satisfies the unbounded denominator property.
Let $A$ be a semistable abelian variety defined over ${\bf Q}$ with bad reduction only at one prime $p$. Let $L= {\bf Q}(A[\ell])$ be the $\ell$-division field of $A$ for a prime $\ell$ not equal to $p$ and let $F={\bf Q}(μ_\ell)$ be the cyclotomic field generated by the group of $\ell^{th}$-roots of unity. We study the varieties $A$ for which $H={\rm Gal(L/F)}$ is "small" in the sense that $H$ is an $\ell$-group or, more generally, that $H$ is nilpotent. We show that if $\ell=2$ or 3 and $H$ is nilpotent then the reduction of $A$ at $p$ is totally toroidal, so its conductor is $p^{\dim A}$. T…
In this paper, we study the torsion subgroup of $J_0(N)$ over the field generated by those points in the cuspidal group, where $N$ is an odd positive integer. We prove that, considered as Hecke modules, this group and the cuspidal subgroup are both supported at the maximal Eisenstein ideals.
For any positive integer $N$, we prove that the rational torsion subgroup of $J_0(N)$ agrees with its rational cuspidal subgroups up to a factor of $6N\prod_{p\mid N}(p^2-1)$. Moreover, for modular Jacobians of the form $J_0(DC)$ with $D$ a positive square-free integer and $C$ any positive divisor of $D$, we prove that the $ψ$-part of the torsion subgroup of $J_0(DC)$ agrees with the $ψ$-part of its cuspidal subgroup up to a factor of $6D\prod_{p\mid D}(p^2-1)$, where $ψ$ is any quadratic character of conductor dividing $C$.
We present two approaches that can be used to compute modular forms on noncongruence subgroups. The first approach uses Hejhal's method for which we improve the arbitrary precision solving techniques so that the algorithm becomes about up to two orders of magnitude faster in practical computations. This allows us to obtain high precision numerical estimates of the Fourier coefficients from which the algebraic expressions can be identified using the LLL algorithm. The second approach is restricted to genus zero subgroups and uses efficient methods to compute the Belyi map from which the modular…
We research the location of the zeros of the Eisenstein series and the modular functions from the Hecke type Faber polynomials associated with the normalizers of congruence subgroups which are of genus zero and of level at most twelve. In Part II, we will observe the location of the zeros of the above functions by numerical calculation.
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this paper is essentially a generalization of Kitaoka's previous work which studied the full modular case, but some modification is necessary to obtain estimates which are sharp with respect to the level aspect.
Deligne proved that the weights of Siegel modular forms on any congruence subgroup of the Siegel modular group of genus g>1 must be integral or half integral. We give a different proof for this. It uses Mennicke's result that subgroups of finite index of the Siegel modular group are congruence subgroups and some techniques from a paper of Bass-Milnor-Serre.
Let $D$ be an odd square-free positive integer and $C$ a divisor of $D$. For any quadratic character $χ$ modulo $C$, we prove that the $χ$-part of the group $J_0(DC)_\text{tor}$ of torsion points of $J_0(DC)$ coincides with the $χ$-part of its cuspidal subgroup, away from those primes of bad reduction or where possible congruences between oldforms and newforms occur.
After Zagier proved that the traces of singular moduli $j(z)$ are Fourier coefficients of a weakly holomorphic modular form, various properties of the traces of the singular values of modular functions mostly on the full modular group $PSL_2(\mathbb{Z})$ have been investigated such as their exact formulas, limiting distribution, duality, and congruences. The purpose of this paper is to generalize these arithmetic properties of traces of singular values of a weakly holomorphic modular function on the full modular group to those on a congruence subgroup $Γ_0(N)$.
In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conducto…
Let $\frak{n}$ be a square-free ideal of $\mathbb{F}_q[T]$. We study the rational torsion subgroup of the Jacobian variety $J_0(\frak{n})$ of the Drinfeld modular curve $X_0(\frak{n})$. We prove that for any prime number $\ell$ not dividing $q(q-1)$, the $\ell$-primary part of this group coincides with that of the cuspidal divisor class group. We further determine the structure of the $\ell$-primary part of the cuspidal divisor class group for any prime $\ell$ not dividing $q-1$.
We derive explicit isomorphisms between certain congruence subgroups of the Siegel modular group, the Hermitian modular group over an arbitrary imaginary-quadratic number field and the modular group over the Hurwitz quaternions of degree 2 and the discriminant kernels of special orthogonal groups SO 0 (2, n), n = 3, 4, 6. The proof is based on an application of linear algebra adapted to the number theoretical needs.
We give a new, simple proof of the trace formula for Hecke operators on modular forms for finite index subgroups of the modular group. The proof uses algebraic properties of certain universal Hecke operators acting on period polynomials of modular forms, and it generalizes an approach developed by Don Zagier and the author for the modular group. This approach leads to a very simple formula for the trace on the space of cusp forms plus the trace on the space of modular forms. As applications, we investigate what happens when varying the weight or the level in the trace formula.
We derive an explicit isomorphism between the Hilbert modular group and certain congruence subgroups on the one hand and particular subgroups of the special orthogonal group $SO(2, 2)$ on the other hand. The proof is based on an application of linear algebra adapted to number theoretical needs.
We study modular forms for the minimal index noncongruence subgroups of the modular group. Our main theorem is a proof of the unbounded denominator conjecture for these groups, and we also provide a study of the Fourier coefficients of Eisenstein series for one of these minimal groups.
Let $p$ be a prime number such that the modular curve $X_0(p)$ has genus at least two. We show that the only points of the reduction mod $p$ of $X_0(p)$ with image in the reduction mod $p$ of $J_0(p)$ in the cuspidal group are the two cusps. This answers a question of Robert Coleman. For the proof we give a description of the special fibre of the Néron model of the jacobian of a semi-stable curve in terms of divisors. We also study to what extent the morphism from a semistable curve with given base point to the Néron model of its jacobian is a closed immmersion. Implicitly, logarithmic structu…
We study the rational torsion subgroup of the modular Jacobian $J_0(N)$ for $N$ a square-free integer. We give a new proof of a result of Ohta on a generalization of Ogg's conjecture: for a prime number $p \nmid 6N$, the $p$-primary part of the rational torsion subgroup equals that of the cuspidal subgroup. Whereas previous proofs of this result used explicit computations of the cardinalities of these groups, we instead use their structure as modules for the Hecke algebra.
We give new examples of weight three cusp forms on noncongruence subgroups of SL(2, Z) whose Scholl representation is modular and which satisfy three term Atkin-Swinnerton-Dyer relations.
We obtain new results on the geometry of Hilbert modular varieties in positive characteristic and morphisms between them. Using these results and methods of rigid geometry, we develop a theory of canonical subgroups for abelian varieties with real multiplication.
In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) = 4a^2-2p mod p, if p = a^2+b^2 (where a is odd). Later, Zagier found some generalizations of Apery numbers, so called sporadic sequences, and recently Osburn and Straub proved similar congruences for all but one of the six Zagier's sporadic sequences (three cases were already known to be true) and conjectured the congruence for the sixth sequence. In this paper…
It is known that the Selberg zeta function for the modular group has an expression in terms of the class numbers and the fundamental units of the indefinite binary quadratic forms. In the present paper, we generalize such a expression to any congruence subgroup of the modular groups in SL(2,R) and SL(2,C).
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups Γ_0 (pq) with p and q distinct odd primes, giving an answer to a question of Merel in these cases. We also compute the winding elements explicitly for these congruence subgroups. Our results are explicit versions of the Manin-Drinfeld Theorem.
Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local result from a ``reciprocity'' theorem for CL (canonical lift) points on A. Furthermore we prove similar global and local results for intersections between subgroups of A and isogeny classes in A. Finally we …
Let $A$ be the ring of elements in an algebraic function field $K$ over a finite field $F_q$ which are integral outside a fixed place $\infty$. In an earlier paper we have shown that the Drinfeld modular group $G=GL_2(A)$ has automorphisms which map congruence subgroups to non-congruence subgroups. Here we prove the existence of (uncountably many) normal genuine non-congruence subgroups, defined to be those which remain non-congruence under the action of every automorphism of $G$. In addition, for all but finitely many cases we evaluate $ngncs(G)$, the smallest index of a normal genuine non-co…
Colmez has given a recipe to associate a smooth modular representation Omega(W) of the Borel subgroup of GL_2(Q_p) to a F_p^bar-representation W of Gal(Qp^bar/Qp) by using Fontaine's theory of (phi,Gamma)-modules. We compute Omega(W) explicitly and we prove that if W is irreducible and dim(W)=2, then Omega(W) is the restriction to the Borel subgroup of GL_2(Q_p) of the supersingular representation associated to W in Breuil's correspondence.
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups $Γ_0(N)$ with $N$ odd square-free. We also compute the winding elements explicitly for these congruence subgroups. This gives an answer to a question of Merel in these cases. Our results are explicit versions of the Manin-Drinfeld Theorem [Thm. 6]. These results are the generalization of the paper [1] results to odd square-free level.
For a positive integer $N$, let $\mathscr C(N)$ be the subgroup of $J_0(N)$ generated by the equivalence classes of cuspidal divisors of degree $0$ and $\mathscr C(N)(\mathbb Q):=\mathscr C(N)\cap J_0(N)(\mathbb Q)$ be its $\mathbb Q$-rational subgroup. Let also $\mathscr C_{\mathbb Q}(N)$ be the subgroup of $\mathscr C(N)(\mathbb Q)$ generated by $\mathbb Q$-rational cuspidal divisors. We prove that when $N=n^2M$ for some integer $n$ dividing $24$ and some squarefree integer $M$, the two groups $\mathscr C(N)(\mathbb Q)$ and $\mathscr C_{\mathbb Q}(N)$ are equal. To achieve this, we show that…
Given an imaginary quadratic extension $K$ of $\mathbb Q$, we give a classification of the maximal nonelementary subgroups of the Picard modular group $\operatorname{PSU}_{1,2}(\mathcal O_K)$ preserving a complex geodesic in the complex hyperbolic plane $\mathbb H^2_\mathbb C$. Complementing work of Holzapfel, Chinburg-Stover and Möller-Toledo, we show that these maximal $\mathbb C$-Fuchsian subgroups are arithmetic, arising from a quaternion algebra $\Big(\!\begin{array}{c} D\,,D_K\\\hline\mathbb QQ\end{array} \!\Big)$ for some explicit $D\in\mathbb N-\{0\}$ and $D_K$ the discriminant of $K$.…
We study the automorphisms of the non-split Cartan modular curves $X_{ns}(p)$ of prime level $p$. We prove that if $p\geq 37$ all the automorphisms preserve the cusps. Furthermore, if $p\equiv 1\text{ mod }12$ and $p\neq 13$, the automorphism group is generated by the modular involution given by the normalizer of a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_p)$. We also prove that for every $p\geq 37$ such that $X_{ns}(p)$ has a CM rational point, the existence of an exceptional rational automorphism would give rise to an exceptional rational point on the modular curve $X_{ns}^+(p)$ a…
We establish a correspondence between generalized quiver gauge theories in four dimensions and congruence subgroups of the modular group, hinging upon the trivalent graphs which arise in both. The gauge theories and the graphs are enumerated and their numbers are compared. The correspondence is particularly striking for genus zero torsion-free congruence subgroups as exemplified by those which arise in Moonshine. We analyze in detail the case of index 24, where modular elliptic K3 surfaces emerge: here, the elliptic j-invariants can be recast as dessins d'enfant which dictate the Seiberg-Witte…
Let $A$ be the coordinate ring of a projective smooth curve over a finite field minus a closed point. For a nontrivial ideal $I \subset A$, Drinfeld defined the notion of structure of level $I$ on a Drinfeld module. We extend this to that of level $N$, where $N$ is a finitely generated torsion $A$-module. The case where $N=(I^{-1}/A)^d$, where $d$ is the rank of the Drinfeld module,coincides with the structure of level $I$. The moduli functor is representable by a regular affine scheme. The automorphism group $\mathrm{Aut}_{A}(N)$ acts on the moduli space. Our theorem gives a class of subgroup…
