In this paper, we will study modular Abelian varieties with odd congruence numbers by examining the cuspidal subgroup of $J_0(N)$. We will show that the conductor of such Abelian varieties must be of a special type. For example, if $N$ is the conductor of an absolutely simple modular Abelian variety with an odd congruence number, then $N$ has at most two prime divisors, and if $N$ is odd, then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. In the second half of this paper, we will focus on modular elliptic curves with odd modular degree. Our results, combined with the work of Agashe, Ribet, and Stein, finds necessary condition for elliptic curves to have odd modular degree. In the process we prove Watkins's conjecture for elliptic curves with odd modular degree and a nontrivial rational torsion point.
We show that certain abelian varieties over $\Q$ with bad reduction at one prime only are modular by using methods based on the tables of Odlyzko and class field theory.
We describe extension classes arising in the $\ell$-adic and Hodge cohomology of Hilbert modular varieties, generalising results of Caspar to arbitrary dimensions. We show that this description is consistent with the "plectic conjectures" of Nekovář and the second author.
We formulate a question regarding uniform versions of "large Galois image properties" for modular abelian varieties of higher dimension, generalizing the well-known case of elliptic curves. We then answer our question affirmatively in the exceptional image case, and provide lower estimates for uniform bounds in the remaining cases.
In this paper, we determine all modular Jacobian varieties $J_1(M,MN)$ over the number field $\mathbb{Q}(ζ_M)$ with the Mordell-Weil rank zero following the method of Derickx, Etropolski, van Hoeij, Morrow, and Zureick-Brown.
Let $F$ be a totally real number field and let $p$ be a prime unramified in $F$. We prove the existence of Galois pseudo-representations attached to mod $p^m$ Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties for $F$ of level prime to $p$.
We give a new construction of $p$-adic overconvergent Hilbert modular forms by using Scholze's perfectoid Shimura varieties at infinite level and the Hodge--Tate period map. The definition is analytic, closely resembling that of complex Hilbert modular forms as holomorphic functions satisfying a transformation property under congruence subgroups. As a special case, we first revisit the case of elliptic modular forms, extending recent work of Chojecki, Hansen and Johansson. We then construct sheaves of geometric Hilbert modular forms, as well as subsheaves of integral modular forms, and vary ou…
Runge's method is a tool to figure out integral points on curves effectively in terms of height. This method has been generalised to varieties of any dimension, unfortunately its conditions of application are often too restrictive. In this paper, we provide a further generalisation intended to be more flexible while still effective, and exemplify its applicability by giving finiteness results for integral points on some Siegel modular varieties. As a special case, we obtain a totally explicit finiteness result for integral points on the Siegel modular variety $A_2(2)$.
We generalize to Hilbert modular varieties of arbitrary dimension the work of W. Duke (Inventiones 1988) on the equidistribution of Heegner points and of primitive positively oriented closed geodesics in the Poincare upper half plane, subject to certain subconvexity results. We also prove vanishing results for limits of cuspidal Weyl sums associated with analogous problems for the Siegel upper half space of degree 2. In particular, these Weyl sums are associated with families of Humbert surfaces in Siegel 3-folds and of modular curves in these Humbert surfaces.
We will study modular Abelian varieties with odd congruence numbers, by studying the cuspidal subgroup of $J_0(N)$. We show the conductor of such Abelian varieties must be of a special type, for example if $N$ is odd then $N=p^α$ or $N=pq$ for some prime $p$ and $q$. We then focus our attention to modular elliptic curves, and using result of Agashe, Ribet, and Stein, we try to classify all elliptic curves of odd modular degree. Our studies prove many cases of the Stein and Watkins's conjecture on elliptic curves with odd modular degree.
The main result of this paper is a characterization of the abelian varieties $B/K$ defined over Galois number fields with the property that the zeta function $L(B/K;s)$ is equivalent to the product of zeta functions of non-CM newforms for congruence subgroups $Γ_1(N)$. The characterization involves the structure of End(B), isogenies between the Galois conjugates of $B$, and a Galois cohomology class attached to $B/K$. We call the varieties having this property strongly modular. The last section is devoted to the study of a family of abelian surfaces with quaternionic multiplication. As an illu…
Let $S$ be a finite set of primes. We prove that a form of finite Galois descent obstruction is the only obstruction to the existence of $\mathbb{Z}_{S}$-points on integral models of Hilbert modular varieties, extending a result of D.Helm and F.Voloch about modular curves. Let $L$ be a totally real field. Under (a special case of) the absolute Hodge conjecture and a weak Serre's conjecture for mod $\ell$ representations of the absolute Galois group of $L$, we prove that the same holds also for the $\mathcal{O}_{L,S}$-points.
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.
We describe the supersingular locus of the Siegel 3-fold with a parahoric level structure. We also study its higher dimensional generalization. Using this correspondence and a deep result of Li and Oort, we evaluate the number of irreducible components of the supersingular locus of the Siegel moduli space $\calA_{g,1,N}$ for arbitrary $g$.
We consider the analogue of the André-Oort conjecture for Drinfeld modular varieties which was formulated by Breuer. We prove this analogue for special points with separable reflex field over the base field by adapting methods which were used by Klingler and Yafaev to prove the André-Oort conjecture under the generalized Riemann hypothesis in the classical case. Our result extends results of Breuer showing the correctness of the analogue for special points lying in a curve and for special points having a certain behaviour at a fixed set of primes.
We propose an action of a certain motivic cohomology group on the coherent cohomology of Hilbert modular varieties, extending conjectures of Venkatesh, Prasanna, and Harris. The action is described in two ways: on cohomology modulo $p$ and over $\mathbb C$, and we conjecture that they both lift to an action on cohomology with integral coefficients. The conjecture is supported by theoretical evidence based on Stark's conjecture on special values of Artin $L$-functions, and by numerical evidence in base change cases.
We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $κ$, we give a geometric definition of the space of overconvergent modular forms of weight $κ$ in terms of sections of a sheaf. We show that our sheaves live in analytic families, interpolating the classical sheaves for integral weights. We define an action of the Hecke algebra, including a completely continuous operator at $p$. In some simple cases, we also build the eigenvariety.
This paper presents the current status on modularity of Calabi-Yau varieties since the last update in 2003. We will focus on Calabi-Yau varieties of dimension at most three. Here modularity refers to at least two different types: arithmetic modularity and geometric modularity. These will include: (1) the modularity (automorphy) of Galois representations of Calabi-Yau varieties (or motives) defined over Q or number fields, (2) the modularity of solutions of Picard--Fuchs differential equations of families of Calabi-Yau varieties, and mirror maps (mirror moonshine), (3) the modularity of generat…
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.
In this paper, we prove the existence of certain lifts of Hilbert cusp forms to general odd spin groups. We then use those lifts to provide evidence for a conjecture of Gross on the modularity of abelian varieties not of ${\rm GL}_2$-type.
Let ρbe a modulo p representation of the absolute Galois group of a totally real number field. Under the assumptions that ρhas large image and admits a low weight crystalline modular deformation we show that any low weight crystalline deformation of ρunramified outside a finite set of primes will be modular. We follow the approach of Wiles as generalized by Fujiwara. The main new ingredient is an Ihara type lemma for the local component at ρof the middle degree cohomology of a Hilbert modular variety. As an application we relate the algebraic p-part of the value at 1 of the adjoint L-function …
These are the notes from a survey talk given at Arbeitstagung 2001 covering the author's work with Lev Borisov and Sorin Popescu on toric varieties, modular forms, and equations of modular curves.
This is a survey article about Siegel modular varieties over the complex numbers. It is written mostly from the point of view of moduli of abelian varieties, especially surfaces. We cover compactification of Siegel modular varieties; classification of the compactified varieties by Kodaira dimension, etc.; moduli of abelian surfaces and especially applications of the lifting of Jacobi forms to modular forms; projective models of some special Siegel modular 3-folds; non-principally polarized abelian surfaces; and constructing degenerating families of abelian varieties.
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.
Let $F$ be a totally real field of degree $g$, and let $p$ be a prime number. We construct $g$ partial Hasse invariants on the characteristic $p$ fiber of the Pappas-Rapoport splitting model of the Hilbert modular variety for $F$ with level prime to $p$, extending the usual partial Hasse invariants defined over the Rapoport locus. In particular, when $p$ ramifies in $F$, we solve the problem of lack of partial Hasse invariants. Using the stratification induced by these generalized partial Hasse invariants on the splitting model, we prove in complete generality the existence of Galois pseudo-re…
For a prime number $q\geq 5$ and a positive integer $N$ prime to $q$, Ribet proved the action of the Hecke algebra on the component group of the Jacobian variety of the modular curve of level $Nq$ at $q$ is "Eisenstein", which means the Hecke operator $T_\ell$ acts by $\ell+1$ when $\ell$ is a prime number not dividing the level. In this paper, we completely compute the action of the Hecke algebra on this component group by a careful study of supersingular points with extra automorphisms.
Consider a $q$-Weil polynomial $f$ of degree $2g$. Using an equidistribution assumption that is too strong to be true, we define and compute a product of local relative densities of matrices in $\rm{GSp}_{2g}(\mathbb{F}_\ell)$ with characteristic polynomial $f\mod\ell$ when $g$ is an odd prime. This infinite product is closely related to a ratio of class numbers. When $g=3$ we conjecture that the product gives the size of an isogeny class of principally polarized abelian threefolds.
We compute the tautological ring for a Hilbert modular variety at an unramified prime. The method generalises that of van der Geer from the Siegel case.
We consider several maps that occur naturally between modular Shimura varieties, Hilbert-Blumenthal varieties and the moduli spaces of polarized abelian varieties when forgetting certain endomorphism structures. We prove that, up to birational equivalences, these forgetful maps coincide with the natural projection by suitable abelian groups of Atkin-Lehner involutions.
We give an abstract characterization of the Satake compactification of a general Drinfeld modular variety. We prove that it exists and is unique up to unique isomorphism, though we do not give an explicit stratification by Drinfeld modular varieties of smaller rank which is also expected. We construct a natural ample invertible sheaf on it, such that the global sections of its $k$-th power form the space of (algebraic) Drinfeld modular forms of weight $k$. We show how the Satake compactification and modular forms behave under all natural morphisms between Drinfeld modular varieties; in particu…
For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert modular variety associated to a quaternion algebra $D$ over $F$ that is split at $\mathfrak{p}$ and a $p$-adically admissible representation of $\mbox{PGL}_2(F_{\mathfrak{p}})$. Applied to infinitesimal $p$-adic deformations of the local factor at $\mathfrak{p}$ of a cuspidal automorphic representation $π$ of $D^*(\mathbb{A})$ this yields a natural construction…
We use vanishing results for sheaf cohomology on Siegel modular varieties to study two lifting problems: (a) When can Siegel modular forms (mod p) be lifted to characteristic zero? This uses and extends previous results for cusp forms by Stroh and Lan-Suh. (b) When is the restriction of Siegel modular forms to the boundary of the moduli space a surjective map? We investigate this question in arbitrary characteristic, generalising analytic results of Weissauer and Arakawa.
We define two-parameter generalizations of Andrews' $(k+1)$-marked odd Durfee symbols and $2k$th symmetrized odd rank moments, and study the automorphic properties of some of their generating functions. When $k=0$ we obtain families of modular forms and mock modular forms. When $k \geq 1$, we find quasimodular forms and quasimock modular forms.
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 define modular equations in the setting of PEL Shimura varieties as equations describing Hecke correspondences, and prove upper bounds on their degrees and heights. This extends known results about elliptic modular polynomials, and implies complexity bounds for number-theoretic algorithms using these modular equations. In particular, we obtain tight degree bounds for modular equations of Siegel and Hilbert type for abelian surfaces.
We correct the proof of the theorem in the previous paper presented by the first named author, which concerns Sturm bounds for Siegel modular forms of degree $2$ and of even weights modulo a prime number dividing $2\cdot 3$. We give also Sturm bounds for them of odd weights for any prime numbers, and we prove their sharpness. The results cover the case where Fourier coefficients are algebraic numbers.
The modular degree m_E of an elliptic curve E/Q is the minimal degree of any surjective morphism X_0(N) -> E, where N is the conductor of E. We give a necessarily set of criteria for m_E to be odd. Specializing to N prime our results imply a conjecture of Mark Watkins. As a technical tool we also prove a certain multiplicity one result for p=2 that may be of independent interest.
We construct local charts for the ramified cusps of the Hilbert modular variety of level $Γ_1(\mathfrak{c},\mathfrak{n})$. This allows us, following closely M. Rapoport and C.-L. Chai, to construct arithmetic toroidal and minimal compactifications of these modular varieties. Some applications to modular forms are given. See our joint work with J. Tilouine for other applications.
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.
In this paper we describe the general theory of constructing toroidal compactifications of locally symmetric spaces and using these to compute dimension formulas for spaces of modular forms. We focus explicitly on the case of the orthogonal locally symmetric spaces arising from quadratic forms of signature $(2,n)$, giving explicit details of the constructions, structures and results in these cases. This article does not give explicit cone decompositions, compute explicit intersection pairings, or count cusps and thus does not give any complete formulas for the dimensions. This article is still…
We consider the generalised Jacobian $J_{0}(N)_{\mathbf{m}}$ of the modular curve $X_{0}(N)$ of level $N$, with respect to the modulus $\mathbf{m}$ consisting of all cusps on the modular curve. When $N$ is odd, we determine the group structure of the rational torsion $J_{0}(N)_{\mathbf{m}}(\mathbb{Q})_{tor}$ up to $2$-primary and $l$-primary parts for any prime $l$ dividing $N$. Our results extend those of Wei--Yamazaki for squarefree levels and Yamazaki--Yang for prime-power levels.
Let $\cal A$ be a maximal (or more generally a hereditary) order in a central simple algebra over a global field $F$ of positive characteristic. We study the reduction of the modular scheme of $\cal A$-elliptic sheaves at all places of $F$. We show that some of these varieties - for different $\cal A$ - are twists of each other. This result can be viewed as a global analogue of the Cherednik-Drinfeld theorem for these varieties.
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.
We prove that the automorphism groups of simple polarized abelian varieties of odd prime dimension over finite fields are cyclic, and give a complete list of finite groups that can be realized as such automorphism groups.
Let F be a number field and N an integral ideal in its ring of integers. Let f be a modular newform over F of level Gamma0(N) with rational Fourier coefficients. Under certain additional conditions, Guitart-Masdeu-Sengun constructed a p-adic lattice which is conjectured to be the Tate lattice of an elliptic curve E whose L-function equals that of f. The aim of this note is to generalize this construction when the Hecke eigenvalues of f generate a number field of degree d >= 1, in which case the geometric object associated to f is expected to be, in general, an abelian variety A of dimension d.…
