Abstract
Building on lifting results of Ramakrishna, Khare and Ramakrishna proved a purely Galois-theoretic level-raising theorem for odd representations \(\bar{\rho } :\mathrm {Gal}(\overline{\mathbb {Q}}/\mathbb {Q}) \rightarrow \mathrm {GL}_2(\overline{\mathbb {F}}_{\ell })\). In this paper, we generalize these techniques from type A1 to general (semi-)simple groups. We then strengthen our previous results on constructing geometric Galois representations with exceptional monodromy groups, achieving such constructions for almost all \(\ell \), rather than a density-one set, and achieving greater flexibility in the Hodge numbers of the lifts; the latter improvement requires the new level-raising result.
Similar content being viewed by others
Notes
We remind the reader precisely what this means with our notational conventions: q is a place of F with a fixed extension, also denoted q, to \(\widetilde{F}\), and \(\bar{\rho }|_{\Gamma _{\widetilde{F}_q}}\) satisfies a Ramakrishna-type deformation condition with respect to some root \(\alpha \), which is now fixed. The tangent space of this deformation condition is denoted \(L_q^{\mathrm {Ram}}\), and the corresponding tangent space for unramified deformations is denoted \(L_q^{\mathrm {un}}\).
For \(\ell \) sufficiently large relative to \(\Sigma \), this condition will be shown always to hold in the forthcoming thesis of Booher ([1]).
See [21, Proposition 4.4, Theorem 5.5]. Note, however, that his final claim is only valid—or at least proven—for elliptic curves, not general weight two modular forms.
We note there is a typo in [12, Theorem 8.4]: the integers \(r_{\alpha }\) there must satisfy \(r_{\alpha } \equiv 2 \pmod {\ell -1}\), since, in the notation of that argument, \(\alpha \circ \bar{\rho }_T= \bar{\kappa }^2\).
References
Booher, J.: Stanford PhD thesis (2016)
Conrad, B.: Reductive group schemes, Autour des schémas en groupes, Panoramas et Synthèses [Panoramas and Syntheses], vols. 42–43, Société Mathématique de France, Paris, p. 458 (2014)
Demazure, M.: Lectures on \(p\)-divisible groups. Lecture Notes in Mathematics, vol. 302. Springer, Berlin-New York (1972)
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)
Diamond, F., Kramer, K.: Appendix: classification of \(\overline{\rho }_{E, l}\) by the \(j\)-invariant of \(E\), Modular forms and Fermat’s last theorem (Boston, MA, 1995), pp. 491–498. Springer, New York (1997)
Dettweiler, M., Reiter, S.: Rigid local systems and motives of type \(G_2\). Compos. Math. 146(4), 929–963 (2010) (With an appendix by Michael Dettweiler and Nicholas M. Katz)
Deligne, P., Serre, J.-P.: Formes modulaires de poids \(1\). Ann. Sci. École Norm. Sup. (4) 7 (1974), 507–530 (1975)
Khare, C., Ramakrishna, R.: Finiteness of Selmer groups and deformation rings. Invent. Math. 154(1), 179–198 (2003)
Khare, C., Wintenberger, J.-P.: Serre’s modularity conjecture. I. Invent. Math. 178(3), 485–504 (2009)
Kare, C., Wintenberger, J.-P.: Serre’s modularity conjecture. II. Invent. Math. 178(3), 505–586 (2009)
Mazur, B.: Rational isogenies of prime degree (with an appendix by D. Goldfeld). Invent. Math. 44(2), 129–162 (1978)
Patrikis, S.: Deformations of Galois representations and exceptional monodromy. Invent. Math. 205(2), 1–68 (2016)
Ramakrishna, R.: Lifting Galois representations. Invent. Math. 138(3), 537–562 (1999)
Ramakrishna, R.: Deforming Galois representations and the conjectures of Serre and Fontaine–Mazur. Ann. Math. (2) 156(1), 115–154 (2002)
Ribet, K.A.: On \(l\)-adic representations attached to modular forms. II. Glasgow Math. J. 27, 185–194 (1985)
Serre, J.-P.: Propriétés galoisiennes des points d’ordre fini des courbes elliptiques. Invent. Math. 15(4), 259–331 (1972)
Serre, J.-P.: Quelques applications du théorème de densité de Chebotarev. Inst. Hautes Études Sci. Publ. Math. (1981), no. 54, 323–401
Serre, J.-P.: Exemples de plongements des groupes \({\rm PSL}_2({ F}_p)\) dans des groupes de Lie simples. Invent. Math. 124(1–3), 525–562 (1996)
Serre, J-P.: Abelian \(\ell \)-Adic Representations and Elliptic Curves, A K Peters Ltd., Wellesley, MA, With the collaboration of Willem Kuyk and John Labute (1998) (Revised reprint of the 1968 original)
Silverman, J.H.: Advanced Topics in the Arithmetic of Elliptic Curves. Springer, New York (1994)
Weston, T.: Unobstructed modular deformation problems. Am. J. Math. 126(6), 1237–1252 (2004)
Yun, Z.: Motives with exceptional Galois groups and the inverse Galois problem. Invent. Math. 196(2), 267–337 (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
I am grateful to Chandrashekhar Khare and Bjorn Poonen for helpful conversations. I also thank the anonymous referee for many helpful comments.
Rights and permissions
About this article
Cite this article
Patrikis, S. Deformations of Galois representations and exceptional monodromy, II: raising the level. Math. Ann. 368, 1465–1491 (2017). https://doi.org/10.1007/s00208-016-1459-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-016-1459-1