The Shimura-Taniyama-Weil modularity conjecture asserts that all elliptic curves over Q arise as images of quotients of the Poincare upper half plane by congruence subgroups of the modular group SL2(Z).Ìý Wiles proved Fermat’s Last Theorem by establishing the modularity of semistable elliptic curves over Q.ÌýSubsequent work of Breuil-Conrad-Diamond-Taylor established the modularity of ellipticÌý curves over Q in full generality. My work with J-P. Wintenberger gave a proof of Ìýthe generalized Shimura-Taniyama-Weil conjecture which assertsÌýthat all “odd, rank 2 motives over Qâ€� are modular.ÌýThis isÌý a corollary of our proof of Serre’s modularity conjecture.
Very littleÌýis known when one looks at the same question over finite extensions of Q. I will talk about the recent beautiful Ìýwork ofÌý Ana Caraiani and James Newton which proves modularity of all ellipticÌý curves over Q(i). An inputÌýinto their proof is a result, proved in joint work with Patrick Allen and Jack Thorne, that proves the analogÌý of Serre’s conjecture for mod 3 representations that arise from ellipticÌý curves over Q(i).
My talk will give a general introduction to this circle of ideas centred around the modularity conjecture for motives and GaloisÌý representations over number fields. We know only fragments of what isÌý conjectured, but what little we know is already quite remarkable!