Modularity lifting beyond the Taylor–Wiles method

• Published in: Inventiones mathematicae 2018-01, Vol.211 (1), p.297-433
• Main Authors: Calegari, Frank, Geraghty, David
• Format: Article
• Language: English
• Subjects: Algebra; Curves; Hoisting; Homology; Mathematics; Mathematics and Statistics; Modularity; Number theory; Representations; Rings (mathematics); Theorems
• ISSN: 0020-9910; 1432-1297
• DOI: 10.1007/s00222-017-0749-x

We prove new modularity lifting theorems for p -adic Galois representations in situations where the methods of Wiles and Taylor–Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the automorphic forms in question contribute to a single degree of cohomology. In practice, this imposes several restrictions—one must be in a Shimura variety setting and the automorphic forms must be of regular weight at infinity. In this paper, we essentially show how to remove these restrictions. Our most general result is a modularity lifting theorem which, on the automorphic side, applies to automorphic forms on the group GL ( n ) over a general number field; it is contingent on a conjecture which, in particular, predicts the existence of Galois representations associated to torsion classes in the cohomology of the associated locally symmetric space. We show that if this conjecture holds, then our main theorem implies the following: if E is an elliptic curve over an arbitrary number field, then E is potentially automorphic and satisfies the Sato–Tate conjecture. In addition, we also prove some unconditional results. For example, in the setting of GL ( 2 ) over Q , we identify certain minimal global deformation rings with the Hecke algebras acting on spaces of p -adic Katz modular forms of weight 1. Such algebras may well contain p -torsion. Moreover, we also completely solve the problem (for p odd) of determining the multiplicity of an irreducible modular representation ρ ¯ in the Jacobian J 1 ( N ) , where N is the minimal level such that ρ ¯ arises in weight two.