*(English)*Zbl 1005.11030

We cite from the excellent introduction of this beautiful paper:

In this paper we give criteria for the modularity of certain two-dimensional Galois representations. Originally conjectural criteria were formulated for compatible systems of $\lambda $-adic representations, but a more suitable formulation for our work was given by *J.-M. Fontaine* and *B. Mazur* [Elliptic curves, modular forms, and Fermat’s Last Theorem (Hong Kong, 1993), Internatational Press, Ser. Number Theory 1, 41-78 (1995; Zbl 0839.14011)]. Throughout this paper $p$ will denote an odd prime.

Conjecture (Fontaine-Mazur): Suppose that $\rho :\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\text{GL}}_{2}\left(E\right)$ is a continuous representation, irreducible and unramified outside a finite set of primes, where $E$ is a finite extension of ${\mathbb{Q}}_{p}$. Suppose also that

(i) ${\rho |}_{{I}_{p}}\simeq \left(\genfrac{}{}{0pt}{}{*\phantom{\rule{4pt}{0ex}}*}{0\phantom{\rule{4pt}{0ex}}1}\right)$, where ${I}_{p}$ is an inertia group at $p$,

(ii) $det\rho =\psi {\epsilon}^{k-1}$ for some $k\ge 2$ and is odd,

where $\epsilon $ is the cyclotomic character and $\psi $ is of finite order. Then $\rho $ comes from a modular form.

To say that $\rho $ comes from a modular form is to mean that there exists a modular form $f$ with the property that $T\left(\ell \right)f=trace\rho \left({\text{Frob}}_{\ell}\right)f$ for all $\ell $ at which $\rho $ is unramified. Here $T\left(\ell \right)$ is the $\ell $th Hecke operator, and an arbitrary embedding of $E$ into $\u2102$ is chosen so that $trace\rho \left({\text{Frob}}_{\ell}\right)$ can be viewed in $\u2102$.

Fontaine and Mazur actually state a more general conjecture where condition (i) is replaced by a more general, but more technical, hypothesis. The condition which we use, which we refer to as the condition that $\rho $ be ordinary, is essential to the methods of this paper.

If we pick a stable lattice in ${E}^{2}$, and reduce $\rho $ modulo a uniformizer $\lambda $ of ${O}_{E}$, the ring of integers of $E$, we get a representation $\overline{\rho}$ of $\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ into ${\text{GL}}_{2}({O}_{E}/\lambda )$. If $\overline{\rho}$ is irreducible, then it is uniquely determined by $\rho $. In general we write ${\overline{\rho}}^{ss}$ for the semisimplification of $\overline{\rho}$, and this is uniquely determined by $\rho $ in all cases. Previous work on this conjecture has mostly focused on the case where $\overline{\rho}$ is irreducible [cf. *A. Wiles*, Ann. Math. (2) 141, 443-551 (1995; Zbl 0823.11029); *F. Diamond*, Ann. Math. (2) 144, 137-166 (1996; Zbl 0867.11032)]. In that case the main theorems prove weakened versions of the conjecture under the important additional hypothesis that $\overline{\rho}$ has some lifting which is modular. This hypothesis, which is in fact a conjecture of Serre, is as yet unproved.

In this paper we consider the case where $\overline{\rho}$ is reducible, and we prove the following theorem.

Theorem. Suppose that $\rho :\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\text{GL}}_{2}\left(E\right)$ is a continuous representation, irreducible and unramified outside a finite set of primes, where $E$ is a finite extension of ${\mathbb{Q}}_{p}$. Suppose also that ${\overline{\rho}}^{ss}\simeq 1\otimes \chi $ and that

(i) ${\chi |}_{{D}_{p}}\ne 1$, where ${D}_{p}$ is a decomposition group at $p$,

(ii) ${\rho |}_{{I}_{p}}\simeq \left(\genfrac{}{}{0pt}{}{*\phantom{\rule{4pt}{0ex}}*}{0\phantom{\rule{4pt}{0ex}}1}\right)$,

(iii) $det\rho =\psi {\epsilon}^{k-1}$ for some $k\ge 2$ and is odd,

where $\epsilon $ is the cyclotomic character and $\psi $ is of finite order. Then $\rho $ comes from a modular form.

We also prove similar but weaker statements when $\mathbb{Q}$ is replaced by a general totally real number field.

In the irreducible case the proof consists of identifying certain universal deformation rings associated to $\overline{\rho}$ with certain Hecke rings. However in the reducible case, even for a fixed ${\overline{\rho}}^{ss}\simeq 1\oplus \chi $, we have to consider all the deformation rings corresponding to the possible extensions of $\chi $ by 1. These deformation rings are not nearly as well-behaved as in the irreducible case. They are not in general equidimensional. Indeed there is a part corresponding to the reducible representations whose dimension grows with ${\Sigma}$, the finite set of primes at which we permit ramification in the deformation problem. Just as in the irreducible case, we do not know whether there is an irreducible lifting for each extension of $\chi $ by 1, but happily we do not need to assume this.

In a previous paper [*C. Skinner* and *A. Wiles*, Proc. Natl. Acad. Sci. USA 94, 10520-10527 (1997; Zbl 0924.11044)] we examined some special cases where we could identify the deformation rings with Hecke rings. These cases roughly corresponded to the condition that there is a unique extension of 1 by $\chi $. In this paper we proceed quite differently. In particular we do not identify the deformation rings with Hecke rings. As we mentioned earlier, we consider the problem over a general totally real number field. This is not just to extend the theorem but is, in fact, an essential part of the proof. For it allows us by base change to restrict ourselves to situations where the part of the deformation ring corresponding to reducible representations has large codimension inside the full deformation ring. It should be noted that the base change we choose depends on ${\Sigma}$.

We now give an outline of the paper. In §2 we introduce and give a detailed analysis of certain deformation rings ${R}_{\mathcal{D}}$. These are associated to an extension $c$ of $\chi $ by 1. They are given as the universal deformation ring of the representation

where the implied extension is given by $c$. Here ${\mathbb{Q}}_{{\Sigma}}$ is the maximal extension of $\mathbb{Q}$ unramified outside ${\Sigma}$ and $\infty $, although in the main body of the paper $\mathbb{Q}$ is replaced by a totally real field $F$. In §3 we give a corresponding detailed analysis of certain nearly ordinary Hecke rings introduced by Hida. We say that a prime of ${R}_{\mathcal{D}}$ is pro-modular if the trace of the corresponding representation occurs in a Hecke ring in a sense that is made precise in §4. If all the primes on an irreducible component of ${R}_{\mathcal{D}}$ are pro-modular then we say that the component is pro-modular. If all the irreducible components of ${R}_{\mathcal{D}}$ are pro-modular then we say that ${R}_{\mathcal{D}}$ is pro-modular.

The above theorem is deduced from our main result, which establishes the pro-modularity of ${R}_{\mathcal{D}}$ for suitable $\mathcal{D}$. There are three main steps in the proof of this latter result:

(I) We show that if $\U0001d52d$ is a “nice” prime of ${R}_{\mathcal{D}}$ then every component containing $\U0001d52d$ is pro-modular.

(II) We show that ${R}_{\mathcal{D}}$ has a nice prime $\U0001d52d$.

(III) We show that ${R}_{\mathcal{D}}$ is pro-modular.

The proof of step (I) is modelled on that for the residually irreducible case and is given in §§5-8. The point is that the representation associated to ${R}_{\mathcal{D}}/\U0001d52d$ is irreducible of dimension one and pro-modular. However the techniques of the irreducible case have to be modified, as this representation, which we now view as our residual representation, takes values in an infinite field of characteristic $p$. We should note also that the analog of the patching argument of *R. Taylor* and *A. Wiles* [Ann. Math. (2) 141, 553-572 (1995; Zbl 0823.11030)] is here performed on the deformation rings rather than on the Hecke rings.

The proof of step (III) is given in Proposition 4.1. Steps (I) and (II) show that some irreducible component at the minimum level is modular. Then we use a connectivity result of M. Raynaud to show that there is a nice prime in every component at the minimum level. By step (I) again we deduce pro-modularity at the minimum level. A more straightforward argument then shows that there is a nice prime in every component of ${R}_{\mathcal{D}}$, so that we can again apply step (I) to deduce pro-modularity.

For step (II) we proceed as follows. First we show, using the result of §3.4 (which in turn uses techniques for proving the existence of congruences between cusp forms and Eisenstein series), that ${R}_{\mathcal{D}}$ has a nice prime for some extension ${c}_{0}$ of $\chi $ by 1. Using commutative algebra we show that there are primes in the subring of traces of ${R}_{\mathcal{D}}$ which correspond to representations with other reduction types, i.e. corresponding to a different extension $c$ (the pair 1, $\chi $ are fixed though). We make a construction to show that we can achieve all extensions in this way, and hence find nice primes for all extensions $c$. These primes are necessarily primes of the ring of traces which do not extend to ${R}_{\mathcal{D}}$ itself. The proof of step (II) is given in Proposition 4.2. At the start of the proof of this proposition is a more detailed outline of how we carry out step (II).

We now briefly indicate the extra restriction in the case of a general totally real field $F$. We need to be able to make large solvable extensions of $F\left(\chi \right)$, the splitting field of $\chi $, with prescribed local behavior at a finite number of primes and such that the relative class number is controlled. When $F\left(\chi \right)$ is abelian over $\mathbb{Q}$ we can do this using a theorem of Washington about the behavior of the $p$-part of the class number of ${\mathbb{Z}}_{\ell}$-extensions. In the general case such a result is not known.

Finally we note that the ordinary hypothesis, which is essential to our method, is frequently satisfied in applications. For example, suppose that $\rho $ (with $\overline{\rho}$ reducible) arises as the $\lambda $-adic representation associated to an abelian variety $A$ over $\mathbb{Q}$ with a field of endomorphisms $K\hookrightarrow {\text{End}}_{\mathbb{Q}}\left(A\right)\otimes \mathbb{Q}$ such that $dimA=[K:\mathbb{Q}]$. Then the nearly ordinary hypothesis will hold provided $A$ is semistable at $p$, or even if $A$ acquires semistability over an extension of ${\mathbb{Q}}_{p}$ with ramification degree $<p-1$. This can be verified by considering the Zariski closure of $ker\left(\lambda \right)$ in the Neron model of $A$.

##### Keywords:

modularity; two-dimensional Galois representations; universal deformation rings; Hecke rings##### References:

[1] | H. Carayol, Sur les représentations -adiques associées aux formes modulaires de Hilbert,Ann. Sci. Ec. Norm. Sup. IV, Ser. 19 (1986), 409–468. |

[2] | P. Cartier, La conjecture locale de Langlands pour GL(2) et la démonstration de Ph. Kutzko, inBourbaki Seminar, Vol. 1979/1980, Lecture Notes in Math.,842, Springer, (1981), 112–138. · doi:10.1007/BFb0089931 |

[3] | C.-L. Chai, Arithmetic minimal compactification of the Hilbert-Blumenthal moduli spaces,Ann. of Math. (2)131 (1990), no. 3, 541–554. · Zbl 0754.14030 · doi:10.2307/1971469 |

[4] | J. Coates,p-adic L-functions and Iwasawa’s theory, inAlgebraic number fields: L-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975), Academic Press (1977), 269–353. |

[5] | P. Deligne, Formes modulaires et représentations de GL(2), inModular functions of one variable, II, Lecture Notes in Math.,349, Springer, (1973), 55–105. · doi:10.1007/978-3-540-37855-6_2 |

[6] | P. Deligne, K. Ribet, Values of abelian L-functions at negative integers over totally real fields,Invent. Math. 59 (1980), no. 3, 227–286. · Zbl 0434.12009 · doi:10.1007/BF01453237 |

[7] | B. De Smit, K. Rubin, R. Schoof, Criteria for complete intersections, inModular forms and Fermat’s Last Theorem, Springer (1997), 343–356. |

[8] | F. Diamond, On deformation rings and Hecke rings,Ann. of Math. (2),144 (1996), no. 1, 137–166. · Zbl 0867.11032 · doi:10.2307/2118586 |

[9] | F. Diamond, The Taylor-Wiles construction and multiplicity one,Invent. Math. 128 (1997), no. 2, 379–391. · Zbl 0916.11037 · doi:10.1007/s002220050144 |

[10] | F. Diamond, R. Taylor, Non optimal levels of mod modular representations,Invent. Math. 115 (1994), no. 3, 435–462. · Zbl 0847.11025 · doi:10.1007/BF01231768 |

[11] | J.-M. Fontaine, B. Mazur, Geometric Galois representations, inElliptic Curves, modular forms, and Fermat’s Last Theorem (Hong Kong, 1993), Internat. Press (1995), 41–78. |

[12] | S. Gelbart,Automorphic Forms on Adele Groups, Annals of Math. Studies, Vol. 83, Princeton University Press (1975). |

[13] | P. Gérardin, J.-P. Labesse, The solution of a base change problem for GL(2) (following Langlands, Saito, Shintani), inAutomorphic forms, representations and L-functions, Proc. Symp. Pure Math., XXXIII, part 2, 115–133. |

[14] | A. Grothendieck, Éléments de la géométrie algébrique IV, Étude locale des schémas et des morphismes de schémas (deuxième partie),Publ. Math. de l’IHES 24 (1965). |

[15] | H. Hida, Onp-adic Hecke algebras for GL2 over totally real fields,Ann. of Math. (2)128, (1988), no. 2, 295–384. · Zbl 0658.10034 · doi:10.2307/1971444 |

[16] | H. Hida, On nearly ordinary Hecke algebras for GL(2) over totally real fields, inAlgebraic number theory, Adv. Stud. Pure Math.,17, Academic Press (1989) 139–169. |

[17] | H. Hida, Nearly ordinary Hecke algebras and Galois representations of several variables, inAlgebraic analysis, geometry, and number theory (Baltimore, MD 1988), John Hopkins Univ. Press (1989) 115–134. |

[18] | K. Iwasawa, On {su} extensions of algebraic number fields,Ann. of Math. (2)98 (1973), 246–326. · Zbl 0285.12008 · doi:10.2307/1970784 |

[19] | H. Jacquet, R. Langlands,Automorphic forms on GL(2),Lecture Notes in Math.,114, Springer (1970). |

[20] | P. Kutzko, The Langlands conjecture for GL2 of a local field,Ann. of Math. (2)112, (1980), no. 2, 381–412. · Zbl 0469.22013 · doi:10.2307/1971151 |

[21] | H. Matsumura,Commutative Ring Theory, Cambridge Studies in Advanced Mathematics, 8, Cambridge Univ. Press (1989). |

[22] | B. Mazur, Deforming Galois representations, inGalois Groups over Q, vol. 16, MSRI Publications, Springer (1989). |

[23] | M. Nagata,Local Rings, Interscience Tracts in Pure and Applied Mathematics, no. 13, Interscience Publishers (1962). |

[24] | R. Ramakrishna, On a variation of Mazur’s deformation functor,Comp. Math. 87 (1993), 269–286. |

[25] | M. Raynaud, Théorèmes de Lefschetz en cohomologie cohérent et en cohomologie étale,Bull. Soc. Math. France, Mém. no. 41. Supplément au Bull. Soc. Math. France, Tome 103, Société Mathématique de France (1975). |

[26] | K. Ribet, Congruence relations between modular forms,Proc. Int. Cong. of Math. 17 (1983), 503–514. |

[27] | M. Schlessinger, Functors on Artin rings,Trans. AMS 130 (1968), 208–222. · doi:10.1090/S0002-9947-1968-0217093-3 |

[28] | J-P. Serre, Sur le résidu de la function zêtap-adique d’un corps de nombres,C.R. Acad. Sc. Paris 287, Serie A (1978), 183–188. |

[29] | H. Shimizu, Theta series and modular forms on GL2,J. Math. Soc. Japan 24 (1973), 638–683. · Zbl 0241.10016 · doi:10.2969/jmsj/02440638 |

[30] | G. Shimura, The special values of the zeta functions associated with Hilbert modular forms,Duke Math. J. 45 (1978), 637–679. · Zbl 0394.10015 · doi:10.1215/S0012-7094-78-04529-5 |

[31] | C. Skinner, A. Wiles, Ordinary representations and modular forms,Proc. Nat. Acad. Sci. USA 94 (1997), no. 20, 10520–10527. · Zbl 0924.11044 · doi:10.1073/pnas.94.20.10520 |

[32] | R. Taylor, A. Wiles, Ring-theoretic properties of certain Hecke algebras,Ann. of Math. (2),141 (1995), no. 3, 553–572. · Zbl 0823.11030 · doi:10.2307/2118560 |

[33] | M. Waldschmidt, A lower bound for thep-adic rank of the units of an algebraic number field, inTopics in classical number theory, Vol. I, II (Budapest, 1981), Colloq. Math. Soc. János Bolyai, 34, North-Holland (1984), 1617–1650. |

[34] | L. Washington, The non-p-part of the class number in a cyclotomicZ p -extension,Invent. Math. 49 (1978), no. 1, 87–97. · Zbl 0403.12007 · doi:10.1007/BF01399512 |

[35] | A. Weil,Basic Number Theory, Springer (1967). |

[36] | A. Wiles, Modular elliptic curves and Fermat’s Last Theorem,Ann. of Math. (2),142 (1995), 443–551. · Zbl 0823.11029 · doi:10.2307/2118559 |

[37] | A. Wiles, On ordinary $\lambda $-adic representations associated to modular forms,Invent. Math. 94 (1988), 529–573. · Zbl 0664.10013 · doi:10.1007/BF01394275 |

[38] | A. Wiles, Onp-adic representations for totally real fields,Ann. of Math. (2),123 (1986), 407–456. · Zbl 0613.12013 · doi:10.2307/1971332 |