Khare, Chandrashekhar; Wintenberger, Jean-Pierre Serre’s modularity conjecture. I. (English) Zbl 1304.11041 Invent. Math. 178, No. 3, 485-504 (2009). The authors’ article under review, together with Part II [Invent. Math. 178, No. 3, 505–586 (2009; Zbl 1304.11042)] and M. Kisin [Invent. Math. 178, No. 3, 587–634 (2009; Zbl 1304.11043)], proves Serre’s modularity conjecture [J.-P. Serre, Duke Math. J. 54, 179–230 (1987; Zbl 0641.10026)]. In the reviewer’s opinion, this is one of the major achievements in arithmetic geometry so far. It relies on deep work of, besides the authors, Böckle, Breuil, Buzzard, Carayol, Coleman, Conrad, Deligne, Diamond, Dieulefait, Edixhoven, Fontaine, Fujiwara, Gross, Hida, Kisin, Langlands, Mazur, Ramakrishna, Ribet, Saito, Serre, Shimura, Skinner, Taylor, Wiles, and many others.Serre’s modularity conjecture proposes a complete and very explicit classification of all odd irreducible two-dimensional mod \(p\) representations of \(\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q)\) in terms of modular forms. Among its important consequences are the generalized Taniyama-Shimura-Weil conjecture for abelian varieties of \(\mathrm{GL}_2\)-type over \(\mathbb Q\) and Artin’s conjecture for odd two-dimensional complex representations of \(\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q)\).In this review, we first explain Serre’s modularity conjecture and its consequences in some detail and then give an overview of the proof.Let \(f\) be a cuspidal modular form which is an eigenfunction for all Hecke operators; assume that \(f\) is given by a Fourier series of the form \(q+\sum_{n=2}^\infty a_n q^n\) with \(q = q(z) = e^{2\pi iz}\) and that \(f\) has level \(N\), weight \(k\) and nebentype character \(\chi\). For any prime \(p\) and any embedding \(\iota\colon \mathbb Q(a_n;\, n \in\mathbb N) \hookrightarrow \overline{\mathbb Q}_p\), by a theorem of Shimura, Deligne and Deligne-Serre there is an odd (i.e. the determinant of the image of any complex conjugation is \(-1\)) irreducible Galois representation \(\rho_{f,\iota}\colon\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q) \to\mathrm{GL}_2(\overline{\mathbb Q}_p)\) such that the characteristic polynomial at any prime \(q \nmid Np\) is equal to \(X^2 - \iota(a_q) X + \iota(\chi(q) q^{k-1})\). By choosing an integral model for \(\rho_{f,\iota}\), reducing it modulo the maximal ideal and passing to the semi-simplification, one obtains a continuous Galois representation \(\overline{\rho}_{f,\iota}\colon \mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q) \to \mathrm{GL}_2(\overline{\mathbb F}_p)\). This representation, however, need not be irreducible. Representations arising as \(\rho_{f,\iota}\) or \(\overline{\rho}_{f,\iota}\) are called modular. A continuous Galois representation \(\overline{\rho}\colon\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q) \to \mathrm{GL}_2(\overline{\mathbb F}_p)\) is said to be of \(S\)-type if it is odd and irreducible.Serre’s modularity conjecture (in its qualitative form) and hence the main result of this article and its sequel, when combined with [M. Kisin, loc. cit.], is the theorem: Every \(\overline{\rho}\) of \(S\)-type is modular.The refined or quantitative form of Serre’s modularity conjecture also specifies a weight \(k(\overline{\rho})\) and a level \(N(\overline{\rho})\) for a newform giving rise to \(\overline{\rho}\) according to the principle that the ramification of \(\overline{\rho}\) away from \(p\) is taken account of by the level (\(N(\overline{\rho})\) is taken to be the Artin conductor of \(\overline{\rho}\) outside of \(p\)), whereas the weight \(k(\overline{\rho})\) contains information on the ramification at \(p\). The equivalence of the qualitative and the quantitative form of the conjecture had been established earlier.For a number field \(E\), an \(E\)-rational compatible system of \(2\)-dimensional Galois representations is (roughly speaking) a family \((\rho_\iota)\), indexed by the embeddings \(\iota\colon E \to \overline{\mathbb Q}_p\) for all primes \(p\), where the \(\rho_\iota\colon \mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q) \to \mathrm{GL}_2(\overline{\mathbb Q}_p)\) are continuous semisimple geometric representations such that the Weil-Deligne representations at all primes and the Hodge-Tate weights \((a,b)\) are independent of \(\iota\). It is called regular if \(a \neq b\) and irregular otherwise. A newform \(f\) of weight \(k\) gives rise to a compatible system of Galois representations (by the theorem recalled above), which is regular if and only if \(k \geq 2\). A consequence of the main theorem of the present article is the modularity of compatible systems of Galois representations: Any two-dimensional compatible system of Galois representations over \(\mathbb{Q}\) which is odd and irreducible (meaning that all members satisfy these conditions) arises from a newform (up to twist).We recall that a simple abelian variety \(A\) over \(\mathbb{Q}\) is called modular if it is isomorphic to a quotient of the Jacobian \(J_1(N)_{\mathbb{Q}}\) of the modular curve \(X_1(N)_{\mathbb{Q}}\) for some integer \(N\). We further recall that all such are of \(\mathrm{GL}_2\)-type, which by definition means that \(\mathrm{End}_{\mathbb Q}(A) \otimes \mathbb Q\) contains a number field of absolute degree equal to the dimension of \(A\). The modularity of regular compatible systems implies the generalized Taniyama-Shimura-Weil conjecture: Any simple abelian variety over \(\mathbb Q\) which is of \(\mathrm{GL}_2\)-type is modular. The generalized Taniyama-Shimura-Weil conjecture extends the classical Taniyama-Shimura-Weil conjecture asserting the modularity of rational elliptic curves. For semistable rational elliptic curves, the latter statement had first been proved by A. Wiles [Ann. Math. (2) 141, No. 3, 443–551 (1995; Zbl 0823.11029)] and R. Taylor and A. Wiles [Ann. Math. (2) 141, No. 3, 553–572 (1995; Zbl 0823.11030)], thus giving a proof of Fermat’s Last Theorem. The general case of the classical Taniyama-Shimura-Weil conjecture was settled in [C. Breuil et al., J. Am. Math. Soc. 14, No. 4, 843–939 (2001; Zbl 0982.11033)].Let \(\rho\colon \mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q) \to \mathrm{GL}_2(\mathbb C)\) be an irreducible odd Galois representation. The modularity of irregular odd two-dimensional compatible systems of Galois representations over \(\mathbb Q\) implies that \(\rho\) arises from a newform of weight \(1\), which in turn proves Artin’s conjecture for this representation: The \(L\)-function attached to \(\rho\) admits an analytic continuation to the entire complex plane.We next give an overview of the proof of Serre’s modularity conjecture, as presented in the article under review. The proof skillfully makes use of two main technical ingredients: a modularity lifting theorem requiring only weak local assumptions and a result embedding a representation of \(S\)-type into a compatible system of Galois representations upon which strong local conditions may be imposed. These two results are provided in the sequel to this article [loc. cit.] and are explained in some detail in the review of that article. With the further advancement of modularity lifting techniques, a more streamlined proof might be available in the future, like the one outlined in [C. Khare and J.-P. Wintenberger, Ann. Math. (2) 169, No. 1, 229–253 (2009; Zbl 1196.11076)].In the article under review and its sequel the odd level case in odd characteristic and the weight two case in even characteristic of Serre’s modularity conjecture are proved. The cases left out are shown to be the consequence of a certain modularity lifting hypothesis, which is proved in [M. Kisin, loc. cit.].To convey the main idea of the strategy of proof, we present a simplified version of it. The strategy consists of an induction having two main steps, namely ‘killing ramification in weight \(2\)’ and ‘reduction to weight \(2\)’. Start with a Galois representation \(\overline{\rho}\) of \(S\)-type. The aim is to prove that \(\overline{\rho}\) is modular. Suppose that the conductor \(N(\overline{\rho})\) is divisible by exactly \(r\) primes. By the step ‘reduction to weight \(2\)’ it suffices to prove the modularity of another representation \(\overline{\rho}_1\) of \(S\)-type such that \(N(\overline{\rho}_1)\) is still divisible by at most \(r\) primes but \(k(\overline{\rho}_1) = 2\). Next, the step ‘killing ramification in weight \(2\)’ reduces the modularity of \(\overline{\rho}_1\) to the modularity of yet another representation \(\overline{\rho}_2\) of \(S\)-type such that \(N(\overline{\rho}_2)\) is divisible by at most \(r-1\) primes. By proceeding with \(\overline{\rho}_2\) as with \(\overline{\rho}\) reduces the question inductively to the modularity of a level \(1\) representation, which is the first major result that Khare obtained on Serre’s modularity conjecture [C. Khare, Duke Math. J. 134, No. 3, 557–589 (2006; Zbl 1105.11013)].The true strategy is complicated by the fact that both steps have some technical assumptions: oddness of the conductor, restriction to weight \(2\) in characteristic \(2\) and a locally good dihedral behaviour. An \(S\)-type representation \(\overline{\rho}\) is said to be locally good dihedral if it has a good dihedral prime \(q,\) which along with some congruence conditions on \(q\) means that \(\overline{\rho}\) restricted to a decomposition group at \(q\) is a dihedral group of order \(2 t\) with \(t\) a prime power satisfying certain extra conditions. The conditions ensure that the residual representations involved in the various steps of the proof have nonsolvable images. The nonsolvability is an important assumption for the modularity lifting theorem. The theorem embedding a residual representation into a compatible family is, in fact, devised such that a good dihedral prime can be introduced into the compatible family. This is referred to in the article as ‘raising the levels’, in analogy to the corresponding statement for modular representations. The notion of good dihedral prime turned out to be very useful also in different contexts, as for instance in the reviewer’s article [G. Wiese, in: Modular forms on Schiermonnikoog. Based on the conference on modular forms, Schiermonnikoog, Netherlands, October 2006. Edixhoven, Bas et al., Cambridge: Cambridge University Press, 343–350 (2008; Zbl 1217.12004)].We now explain the basic strategy behind ‘killing ramification in weight \(2\)’. It uses the idea of ‘changing the prime’. Let \(\overline{\rho}\) be an \(S\)-type representation (assumed to be locally good dihedral) of weight \(2\) and residue characteristic \(p\) such that the level \(N(\overline{\rho})\) is divisible by at most \(r\) primes. It can be embedded into a strictly compatible system of Galois representations \((\rho_\iota)\) such that for each \(\iota\) the conductor \(N(\rho_\iota)\) is divisible only by primes that divide \(N(\overline{\rho})\). That \(p\) does not appear in the conductor is owed to the fact that \(\overline{\rho}\) is of weight \(2\). The conductor \(N(\overline{\rho}_s)\) of a residual representation at a prime \(s \mid N(\overline{\rho})\) is by definition away from \(s\) and only divisible by primes dividing \(N(\overline{\rho})\), thus by at most \(r-1\) primes. If \(s\) is not the good dihedral prime, then also \(\overline{\rho}_s\) is locally good dihedral. If \(\overline{\rho}_s\) is modular, then the modularity lifting theorem implies the modularity of the whole compatible system \((\rho_\iota)\), whence that of \(\overline{\rho}\). For ‘reduction to weight \(2\)’ a similar strategy as in [C. Khare, op. cit.; Zbl 1105.11013] is applied, namely an induction on the residue characteristic. Let again \(\overline{\rho}\) be of \(S\)-type, \(N(\overline{\rho})\) divisible by at most \(r\) primes and of residue characteristic \(P\). The authors succeed to reduce the modularity of \(\overline{\rho}\) to the modularity of another Galois representation of residue characteristic \(p<P\) with at most \(r\) primes dividing the conductor, so that they can conclude inductively. In fact, the modularity in weight \(2\) is only needed for residue characteristics less than \(7\). Again, care is taken to ensure that all involved representations are locally good dihedral. Reviewer: Gabor Wiese (Luxembourg) (MR2551763) Cited in 19 ReviewsCited in 155 Documents MSC: 11F80 Galois representations 11R39 Langlands-Weil conjectures, nonabelian class field theory 11F11 Holomorphic modular forms of integral weight Citations:Zbl 0641.10026; Zbl 0823.11029; Zbl 0823.11030; Zbl 0982.11033; Zbl 1196.11076; Zbl 1105.11013; Zbl 1217.12004; Zbl 1304.11042; Zbl 1304.11043 × Cite Format Result Cite Review PDF Full Text: DOI References: [1] Artin, E.: Über eine neue Art von L-Reihen. Abh. Math. Sem. Univ. Hamb. 3, 89–108 (1923) · JFM 49.0123.01 · doi:10.1007/BF02954618 [2] Artin, E.: Zur Theorie de L-Reihen mit allgemeinen Gruppencharakteren. Abh. Math. Sem. Univ. Hamb. 8, 292–306 (1930) · JFM 56.0173.02 · doi:10.1007/BF02941010 [3] Brauer, R.: On Artin’s L-series with general group characters. Ann. Math. 48, 502–514 (1947) · Zbl 0029.01503 · doi:10.2307/1969183 [4] Breuil, C.: Groupes p-divisibles, groupes finis et modules filtrés. Ann. Math. 152, 489–549 (2000) · Zbl 1042.14018 · doi:10.2307/2661391 [5] Buzzard, K., Dickinson, M., Shepherd-Barron, N., Taylor, R.: On icosahedral Artin representations. Duke Math. J. 109(2), 283–318 (2001) · Zbl 1015.11021 · doi:10.1215/S0012-7094-01-10922-8 [6] Buzzard, K.: On level-lowering for mod 2 representations. Math. Res. Lett. 7(1), 95–110 (2000) · Zbl 1024.11025 [7] Carayol, H.: Sur les représentations galoisiennes modulo attachées aux formes modulaires. Duke Math. J. 59(3), 785–801 (1989) · Zbl 0703.11027 · doi:10.1215/S0012-7094-89-05937-1 [8] Coleman, R., Voloch, J.F.: Companion forms and Kodaira-Spencer theory. Invent. Math. 110(2), 263–281 (1992) · Zbl 0770.11024 · doi:10.1007/BF01231333 [9] Deligne, P.: Les constantes des équations fonctionnelles des fonctions L. In: Modular Functions of One Variable, II, Proc. Internat. Summer School, Univ. Antwerp, 1972. Lecture Notes in Math., vol. 349, pp. 501–597. Springer, Berlin (1973) [10] Deligne, P., Serre, J.-P.: Formes modulaires de poids 1. Ann. Sci. Éc. Norm. Supér. Sér. 4(7/4), 507–530 (1974) · Zbl 0321.10026 [11] Diamond, F.: The Taylor-Wiles construction and multiplicity one. Invent. Math. 128(2), 379–391 (1997) · Zbl 0916.11037 · doi:10.1007/s002220050144 [12] Diamond, F.: An extension of Wiles’ results. In: Modular Forms and Fermat’s Last Theorem, Boston, MA, 1995, pp. 475–489. Springer, New York (1997) [13] Dickinson, M.: On the modularity of certain 2-adic Galois representations. Duke Math. J. 109(2), 319–382 (2001) · Zbl 1015.11020 · doi:10.1215/S0012-7094-01-10923-X [14] Edixhoven, B.: The weight in Serre’s conjectures on modular forms. Invent. Math. 109(3), 563–594 (1992) · Zbl 0777.11013 · doi:10.1007/BF01232041 [15] Edixhoven, B.: Serre’s conjecture. In: Modular Forms and Fermat’s Last Theorem, Boston, MA, 1995, pp. 209–242. Springer, New York (1997) · Zbl 0918.11023 [16] Fujiwara, K.: Deformation rings and Hecke algebras in the totally real case. Preprint, arXiv: math/0602606 [17] Fontaine, J.-M., Mazur, B.: Geometric Galois representations. In: Elliptic Curves, Modular Forms, & Fermat’s Last Theorem, Hong Kong, 1993. Ser. Number Theory, I, pp. 41–78. Internat. Press, Cambridge (1995) [18] Godement, R., Jacquet, H.: Zeta Functions of Simple Algebras. Lecture Notes in Mathematics, vol. 260, Springer, New York (1972) · Zbl 0244.12011 [19] Gross, B.: A tameness criterion for Galois representations associated to modular forms (mod p). Duke Math. J. 61(2), 445–517 (1990) · Zbl 0743.11030 · doi:10.1215/S0012-7094-90-06119-8 [20] Huppert, B.: Endliche Gruppen I. Springer, Berlin (1967) · Zbl 0217.07201 [21] Khare, C.: Remarks on mod p forms of weight one. Int. Math. Res. Not. 3, 127–133 (1997). Corrigendum: IMRN 1999, no. 18, p. 1029 · Zbl 0891.11030 · doi:10.1155/S1073792897000093 [22] Khare, C.: Serre’s modularity conjecture: The level one case. Duke Math. J. 134(3), 557–589 (2006) · Zbl 1105.11013 · doi:10.1215/S0012-7094-06-13434-8 [23] Khare, C.: Serre’s modularity conjecture: a survey of the level one case. In: Buzzard, Burns, Nekovar (eds.) Proceedings of the LMS Conference on L-Functions and Galois Representations, Durham, 2004. London Math. Soc. Lecture Note Ser., vol. 320, pp. 270–299. Cambridge Univ. Press, Cambridge (2007) · Zbl 1171.11034 [24] Khare, C., Wintenberger, J.-P.: On Serre’s conjecture for 2-dimensional mod p representations of \(\mathrm {Gal}(\bar {\mathbb {Q}}/\mathbb {Q})\) . Ann. Math. 169(1), 229–253 (2009) · Zbl 1196.11076 · doi:10.4007/annals.2009.169.229 [25] Khare, C., Wintenberger, J.-P.: Serre’s modularity conjecture (II). Invent. Math. (2009). doi: 10.1007/s00222-009-0206-6 · Zbl 1304.11042 [26] Kisin, M.: Crystalline representations and F-crystals. In: Algebraic Geometry and Number Theory. Progr. Math., vol. 253, pp. 459–496. Birkhäuser Boston, Boston (2006) · Zbl 1184.11052 [27] Kisin, M.: Potentially semi-stable deformation rings. J. Am. Math. Soc. 21(2), 513–546 (2008) · Zbl 1205.11060 · doi:10.1090/S0894-0347-07-00576-0 [28] Kisin, M.: Modularity of 2-adic Barsotti-Tate representations. Invent. Math. (2009). doi: 10.1007/s00222-009-0207-5 · Zbl 1304.11043 [29] Kisin, M.: Moduli of finite flat group schemes, and modularity. Ann. Math. (to appear) · Zbl 1201.14034 [30] Kisin, M.: The Fontaine-Mazur conjecture for GL 2. Preprint, available at http://www.math.uchicago.edu/\(\sim\)kisin · Zbl 1251.11045 [31] Langlands, R.: Base Change for GL2. Annals of Math. Series. Princeton University Press, Princeton (1980) · Zbl 0444.22007 [32] Périodes p-adiques. Société Mathématique de France, Paris (1994). Papers from the seminar held in Bures-sur-Yvette, 1988, Astérisque No. 223 (1994) [33] Ribet, K.: Abelian varieties over \(\mathbb{Q}\) and modular forms. In: Algebra and Topology, Taejuon, 1992, pp. 53–79. Korea Adv. Inst. Sci. Tech., Taejuon (1992) [34] Rohrlich, D., Tunnell, J.: An elementary case of Serre’s conjecture. Pac. J. Math. 299–309 (1997). Olga-Taussky-Todd Memorial issue · Zbl 0931.11012 [35] Rosser, J.B., Schoenfeld, L.: Approximate formulas for some functions of prime numbers. Ill. J. Math. 6, 64–94 (1962) · Zbl 0122.05001 [36] Saito, T.: Modular forms and p-adic Hodge theory. Preprint arXiv: math/0612077 · Zbl 0877.11034 [37] Savitt, D.: On a Conjecture of Conrad, Diamond, and Taylor. Duke Math. J. 128(1), 141–197 (2005) · Zbl 1101.11017 · doi:10.1215/S0012-7094-04-12816-7 [38] Serre, J.-P.: Sur les représentations modulaires de degré 2 de \({\mathrm{Gal}}(\overline{\mathbf{Q}}/\mathbf{Q})\) . Duke Math. J. 54(1), 179–230 (1987) · Zbl 0641.10026 · doi:10.1215/S0012-7094-87-05413-5 [39] Skinner, C., Wiles, A.: Residually reducible representations and modular forms. Inst. Hautes Études Sci. Publ. Math. 89, 5–126 (2000) · Zbl 1005.11030 [40] Skinner, C., Wiles, A.: Nearly ordinary deformations of irreducible residual representations. Ann. Fac. Sci. Toulouse Math. (6) 10(1), 185–215 (2001) · Zbl 1024.11036 [41] Skinner, C.: Nearly ordinary deformations of residually dihedral representations (to appear) [42] Taylor, R., Wiles, A.: Ring-theoretic properties of certain Hecke algebras. Ann. Math. (2) 141(3), 553–572 (1995) · Zbl 0823.11030 · doi:10.2307/2118560 [43] Taylor, R.: On icosahedral Artin representations II. Am. J. Math. 125(3), 549–566 (2003) · Zbl 1031.11031 · doi:10.1353/ajm.2003.0021 [44] Tunnell, J.: Artin conjecture for representations of octahedral type. Bull. Am. Math. Soc. 5, 173–175 (1981) · Zbl 0475.12016 · doi:10.1090/S0273-0979-1981-14936-3 [45] Wiese, G.: Dihedral Galois representations and Katz modular forms. Doc. Math. 9, 123–133 (2004) · Zbl 1119.14019 [46] Wiles, A.: Modular elliptic curves and Fermat’s last theorem. Ann. Math. (2) 141(3), 443–551 (1995) · Zbl 0823.11029 · doi:10.2307/2118559 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.