We prove a modularity lifting theorem for potentially Barostti-Tate representations over totally real fields, generalising recent results of Kisin. Unfortunately, there was an error in the original version of this paper, meaning that we can only obtain a slightly weaker result in the case where the representations are potentially ordinary; an erratum has been added explaining this error.
Updated version of 2013 Arizona WInter School notes on modularity lifting theorems for for two-dimensional p-adic representations, using wherever possible arguments that go over to the n-dimensional (self-dual) case.
In this paper, we prove a minimal modularity lifting theorem for Galois representations (conjecturally) associated to Siegel modular forms of genus two which are holomorphic limits of discrete series at infinity.
We prove a non-minimal modularity lifting theorem for ordinary Galois representations over imaginary quadratic fields, conditional on a local-global compatibility conjecture for ordinary torsion classes.
We prove an integral R = T theorem for odd two dimensional p-adic representations of the absolute Galois group which are unramified at p, extending results of [CG] to the non-minimal case. We prove, for any p, the existence of Katz modular forms modulo p of weight one which do not lift to characteristic zero.
We prove a modularity lifting theorem for minimally ramified deformations of two-dimensional odd Galois representations, over an arbitrary number field. The main ingredient is a generalization of the Taylor-Wiles method in which we patch complexes rather than modules.
In this short paper we generalise a result of Diamond--Sasaki connecting geometric modularity of algebraic weights to geometric modularity of non-algebraic weights and vice versa. In particular, we show that geometric modularity of non-algebraic weights implies geometric modularity of multiple algebraic weights, which is easy to see. More significantly, we show that geometric modularity of multiple algebraic weights sometimes implies geometric modularity of a non-algebraic weight. This connects work of Diamond--Sasaki to earlier work on generalisations of the weight part of Serre's conjecture.
In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura varieties, in particular, to contexts in which the relevant automorphic forms contributed to cohomology in exactly two degrees. In this sequel, we extend our method to the general case in which Galois representations are expected to occur in cohomology, contingent on the (as yet unproven) existence of certain Galois representations with the expected properties. A…
We prove an analogue of the main result of Buzzard and Taylor (Annals of Mathematics 149 (1999), 905-919) for totally real fields in which p is unramified. This can be used to prove certain cases of the strong Artin conjecture over totally real fields.
We extend the modularity lifting result of the arXiv:1111.2804 to allow Galois representations with some ramification at p. We also prove modularity mod 2 and 5 of certain Galois representations. We use these results to prove many new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent p-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in arXiv:1111.2804.
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular.
We prove modularity lifting theorems for l-adic Galois representations of any dimension satisfying a unitary type condition and a Fontaine-Laffaille type condition at l. This extends the results of Clozel, Harris and Taylor, and the subsequent work by Taylor. The proof uses the Taylor-Wiles method, as improved by Diamond, Fujiwara, Kisin and Taylor, applied to Hecke algebras of unitary groups, and results of Labesse on stable base change and descent from unitary groups to GL_n.
We give a direct approach to recover some of the results of Wiles and Tayor on modularity of certain 2-dimensional p-adic representations of the absolute Galois group of Q.
We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" conditi…
In this paper we study deformations of mod $p$ Galois representations $τ$ (over an imaginary quadratic field $F$) of dimension $2$ whose semi-simplification is the direct sum of two characters $τ_1$ and $τ_2$. As opposed to our previous work we do not impose any restrictions on the dimension of the crystalline Selmer group $H^1_Σ(F, {\rm Hom}(τ_2, τ_1)) \subset {\rm Ext}^1(τ_2, τ_1)$. We establish that there exists a basis $\mathcal{B}$ of $H^1_Σ(F, {\rm Hom}(τ_2, τ_1))$ arising from automorphic representations over $F$ (Theorem 8.1). Assuming among other things that the elements of $\mathcal{…
We find some modularity criterion for a product of Klein forms of the congruence subgroup $Γ_1(N)$ and, as its application, construct a basis of the space of modular forms for $Γ_1(13)$ of weight $2$. In the process we face with an interesting property about the coefficients of certain theta function from a quadratic form and prove it conditionally by applying Hecke operators.
We prove modularity for a huge class of rigid Calabi-Yau threefolds over $\Q$. In particular we prove that every rigid Calabi-Yau threefold with good reduction at 3 and 7 is modular.
The Shimura correspondence connects modular forms of integral weights and half-integral weights. One of the directions is realized by the Shintani lift, where the inputs are holomorphic differentials and the outputs are holomorphic modular forms of half-integral weight. In this article, we generalize this lift to differentials of the third kind. As an application we obtain a modularity result concerning the generating series of winding numbers of closed geodesics on the modular curve.
In 1919, P. A. MacMahon studied generating functions for generalized divisor sums. In this paper, we provide a framework in which to view these generating functions in terms of Jacobi forms, and prove that they are quasi-modular forms.
We prove that any abelian surface defined over $\Q$ of $GL_2$-type having quaternionic multiplication and good reduction at 3 is modular. We generalize the result to higher dimensional abelian varieties with ``sufficiently many endomorphisms".
It is believed that any p-adic Galois representation which is potentially semistable arises from a modular form. The main theorem of Wiles establishes this modularity when the representation in question satisfies various technical restrictions, together with the key hypothesis that its reduction modulo p arises itself from a modular form. This article explains how a strong version of Wiles' "lifting theorem" implies the modularity of all hypergeometric abelian varieties - so-called because their periods are expressed in terms of values of classical hypergeometric functions. While this strong v…
We prove modularity of some two dimensional, 2-adic Galois representations over totally real fields that are nearly ordinary and that are residually dihedral. We do this by employing the strategy of Skinner and Wiles, using Hida families, together with the 2-adic patching method of Khare and Wintenberger. As an application we deduce modularity of some elliptic curves over totally real fields that have good ordinary or multiplicative reduction at places above 2.
We prove Rogers-Ramanujan type identities for the Nahm sums associated with the tadpole Cartan matrix of rank $3$. These identities reveal the modularity of these sums, and thereby we confirm a conjecture of Penn, Calinescu and the first author in this case. We show that these Nahm sums together with some shifted sums can be combined into a vector-valued modular function on the full modular group. We also present some conjectures for a general rank.
We express a family of Hecke--Appell-type sums of Hikami and Lovejoy in terms of mixed mock modular forms; in particular, we express the sums in terms of Appell functions and theta functions. Hikami and Lovejoy's family of Hecke--Appell-type sums was obtained by considering certain duals of generalized quantum modular forms.
We give a different approach to the well-known modularity lifting results of Wiles and Taylor. Instead of Taylor-Wiles systems we use a Galois cohomological discovery of R. Ramakrishna. This paper is 2 years older than math.NT/0210296 where another approach to modularity lifting results was presented.
In this paper we prove the finiteness of the set of S-integral points of a punctured rational elliptic curve without complex multiplication using the Chabauty-Kim method. This extends previous results of Kim in the complex multiplication case. The key input of our approach is the use of modularity techniques to prove the vanishing of certain Selmer groups involved in the Chabauty-Kim method.
Motivated by the relationship of classical modular functions and Picard--Fuchs linear differential equations of order 2 and 3, we present an analogous concept for equations of order 4 and 5.
We show that an infinite family of odd complex 2-dimensional Galois representations ramified at 5 having nonsolvable projective image are modular, thereby verifying Artin's conjecture for a new case of examples. Such a family contains the original example studied by Buhler. In the process, we prove that an infinite family of residually modular Galois representations are modular by studying $Λ$-adic Hecke algebras.
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.
We prove modularity of formal series of Jacobi forms that satisfy a natural symmetry condition. They are formal analogues of Fourier-Jacobi expansions of Siegel modular forms. From our result and a theorem of Wei Zhang, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension and for all orthogonal Shimura varieties.
We prove that (not necessarily rigid) Calabi-Yau threefolds defined over the rationals which contain sufficiently many elliptic ruled surfcaes are modular (under mild restrictions on the primes of bad reduction). Our proof uses the results of Dieulefait and Manoharmayum who proved modularity of rigid Calabi-Yau threefolds.
We exhibit three double octic Calabi--Yau threefolds over the certain quadratic fields and prove their modularity. The non-rigid threefold has two conjugate Hilbert modular forms of weight [4,2] and [2,4] attached while the two rigid threefolds correspond to a Hilbert modular form of weight [4,4] and to the twist of the restriction of a classical modular form of weight 4.
We prove the modularity of Maschke's octic and two Calabi-Yau threefolds derived from it as double octic and quotient thereof by the Heisenberg group, as conjectured by Bini and van Geemen. The proofs rely on automorphisms of the varieties and isogenies of K3 surfaces.
We use the adelic language to show that any homomorphism between Jacobians of modular curves arises from a linear combination of Hecke modular correspondences. The proof is based on a study of the actions of $\mathrm{GL}_2$ and Galois on the étale cohomology of the tower of modular curves. We also make this result explicit for Ribet's twisting operators on modular abelian varieties.
In this paper, we study modularity of several functions which naturally arose in a recent paper of Lau and Zhou on open Gromov-Witten potentials of elliptic orbifolds. They derived a number of examples of indefinite theta functions, and we provide modular completions for several such functions which involve more complicated objects than ordinary modular forms. In particular, we give new closed formulas for special indefinite theta functions of type $(1,2)$ in terms of products of mock modular forms. This formula is also of independent interest.
We find and propose an explanation for a large variety of modularity-related symmetries in problems of 3-manifold topology and physics of 3d $\mathcal{N}=2$ theories where such structures a priori are not manifest. These modular structures include: mock modular forms, $SL(2,\mathbb{Z})$ Weil representations, quantum modular forms, non-semisimple modular tensor categories, and chiral algebras of logarithmic CFTs.
We prove that the ancestor Gromov-Witten correlation functions of one-dimensional compact Calabi-Yau orbifolds are quasi-modular forms. This includes the pillowcase orbifold which can not yet be handled by using Milanov-Ruan's B-model technique. We first show that genus zero modularity is obtained from the phenomenon that the system of WDVV equations is essentially equivalent to the set of Ramanujan identities satisfied by the generators of the ring of quasi-modular forms for a certain modular group associated to the orbifold curve. Higher genus modularity then follows by using tautological re…
We prove the Landau-Ginzburg/Calabi-Yau correspondence between the Gromov-Witten theory of each elliptic orbifold curve and its Fan-Jarvis-Ruan-Witten theory counterpart via modularity. We show that the correlation functions in these two enumerative theories are different representations of the same set of quasi-modular forms, expanded around different points on the upper-half plane. We relate these two representations by the Cayley transform.