Source: Rev. Mat. Iberoamericana Volume 23, Number 3
(2007), 1115-1124.
We prove Serre's conjecture for the case of Galois representations
of Serre's weight $2$ and level $1$. We do this by combining the
potential modularity results of Taylor and lowering the level for
Hilbert modular forms with a Galois descent argument, properties of
universal deformation rings, and the non-existence of $p$-adic
Barsotti-Tate conductor $1$ Galois representations proved in
[Dieulefait, L.: Existence of families of Galois representations and new
cases of the Fontaine-Mazur conjecture. J. Reine Angew. Math. 577 (2004),
147-151].
References
Böckle, G.: On the isomorphism $R_\emptyset \rightarrow T_\emptyset$. Appendix to: Khare, C.: On isomorphisms between deformation rings and Hecke rings, 218-222. Invent. Math. 154 (2003), 199-222.
Brueggeman, S.: The nonexistence of certain Galois extensions unramified outside $5$. J. Number Theory 75 (1999), 47-52.
Deligne, P.: Formes modulaires et représentations $\ell$-adiques. In Séminaire Bourbaki, 355, 139-172. Lecture Notes in Mathematics 179. Springer-Verlag, 1971.
Dieulefait, L.: On the images of the Galois representations attached to genus $2$ Siegel modular forms J. Reine Angew. Math. 553 (2002), 183-200.
Dieulefait, L.: Explicit determination of the images of the Galois representations attached to abelian surfaces with $\mathrmEnd(A)=\mathbbZ$. Experiment. Math. 11 (2002), 503-512.
Dieulefait, L.: Existence of families of Galois representations and new cases of the Fontaine-Mazur conjecture. J. Reine Angew. Math. 577 (2004), 147-151.
Edixhoven, B.: The weight in Serre's conjectures on modular forms. Invent. Math. 109 (1992), 563-594.
Jarvis, F.: Correspondences on Shimura curves and Mazur's principle at $p$. Pacific J. Math. 213 (2004), 267-280.
Khare, C. and Ramakrishna, R.: Finiteness of Selmer groups and deformation rings. Invent. Math. 154 (2003), 179-198.
Khare, C. and Wintenberger, J-P.: On Serre's reciprocity conjecture for $2$-dimensional $\mathrmmod p$ representations of $\mathrmGal(\overline\mathbb Q/\mathbb Q)$. Preprint, (2004); available at: http://arxiv.org/math.NT/0412076.
Ramakrishna, R.: Deforming Galois representations and the conjectures of Serre and Fontaine-Mazur. Ann. of Math. (2) 156 (2002), 115-154.
Ribet, K.: On modular representations of $\Gal(\bar\Q / \Q)$ arising from modular forms. Invent. Math. 100 (1990), 431-476.
Ribet, K.: Images of semistable Galois representations. Olga Taussky-Todd: in memoriam. Pacific J. Math. (1997), Special Issue, 277-297.
Schoof, R.: Abelian varieties over $\Q$ with bad reduction in one prime only. Compos. Math. 141 (2005), 847-868.
Serre, J-P.: Sur les représentations modulaires de degré $2$ de $\Gal(\bar\mathbbQ / \mathbbQ)$. Duke Math. J. 54 (1987), 179-230.
Mathematical Reviews (MathSciNet):
MR885783
Serre, J-P.: Œ uvres. Vol. III. 1972-1984. Springer-Verlag, Berlin, 1986.
Mathematical Reviews (MathSciNet):
MR926691
Skinner, C. and Wiles, A.: Residually reducible representations and modular forms. Inst. Hautes Études Sci. Publ. Math. 89 (1999), 5-126.
Tate, J.: The non-existence of certain Galois extensions of $\Q$ unramified outside $2$. In Arithmetic Geometry (Tempe, AZ, 1993), 153-156. Contemp. Math. 174. Amer. Math. Soc., Providence, RI, 1994.
Taylor, R.: On Galois representations associated to Hilbert modular forms. Invent. Math. 98 (1989), 265-280.
Taylor, R.: Remarks on a conjecture of Fontaine and Mazur. J. Inst. Math. Jussieu 1 (2002), 125-143.
Taylor, R.: On the meromorphic continuation of degree two $L$-functions. Doc. Math. 2006, Extra Vol., 729-779 (electronic).
Taylor, R.: On icosahedral Artin representations. II. Amer. J. Math. 125 (2003), 549-566.
Wiles, A.: Modular elliptic curves and Fermat's last theorem. Ann. of Math. (2) 141 (1995), 443-551.