Skip to main content
Log in

Deformations of Galois representations and exceptional monodromy, II: raising the level

  • Published:
Mathematische Annalen Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Notes

  1. 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}}\).

  2. For \(\ell \) sufficiently large relative to \(\Sigma \), this condition will be shown always to hold in the forthcoming thesis of Booher ([1]).

  3. 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.

  4. 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

  1. Booher, J.: Stanford PhD thesis (2016)

  2. 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)

  3. Demazure, M.: Lectures on \(p\)-divisible groups. Lecture Notes in Mathematics, vol. 302. Springer, Berlin-New York (1972)

  4. 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)

  5. 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)

  6. 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)

  7. Deligne, P., Serre, J.-P.: Formes modulaires de poids \(1\). Ann. Sci. École Norm. Sup. (4) 7 (1974), 507–530 (1975)

  8. Khare, C., Ramakrishna, R.: Finiteness of Selmer groups and deformation rings. Invent. Math. 154(1), 179–198 (2003)

  9. Khare, C., Wintenberger, J.-P.: Serre’s modularity conjecture. I. Invent. Math. 178(3), 485–504 (2009)

  10. Kare, C., Wintenberger, J.-P.: Serre’s modularity conjecture. II. Invent. Math. 178(3), 505–586 (2009)

  11. Mazur, B.: Rational isogenies of prime degree (with an appendix by D. Goldfeld). Invent. Math. 44(2), 129–162 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  12. Patrikis, S.: Deformations of Galois representations and exceptional monodromy. Invent. Math. 205(2), 1–68 (2016)

  13. Ramakrishna, R.: Lifting Galois representations. Invent. Math. 138(3), 537–562 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ramakrishna, R.: Deforming Galois representations and the conjectures of Serre and Fontaine–Mazur. Ann. Math. (2) 156(1), 115–154 (2002)

  15. Ribet, K.A.: On \(l\)-adic representations attached to modular forms. II. Glasgow Math. J. 27, 185–194 (1985)

  16. Serre, J.-P.: Propriétés galoisiennes des points d’ordre fini des courbes elliptiques. Invent. Math. 15(4), 259–331 (1972)

  17. Serre, J.-P.: Quelques applications du théorème de densité de Chebotarev. Inst. Hautes Études Sci. Publ. Math. (1981), no. 54, 323–401

  18. 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)

    Article  MathSciNet  MATH  Google Scholar 

  19. 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)

  20. Silverman, J.H.: Advanced Topics in the Arithmetic of Elliptic Curves. Springer, New York (1994)

    Book  MATH  Google Scholar 

  21. Weston, T.: Unobstructed modular deformation problems. Am. J. Math. 126(6), 1237–1252 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  22. Yun, Z.: Motives with exceptional Galois groups and the inverse Galois problem. Invent. Math. 196(2), 267–337 (2014)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stefan Patrikis.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00208-016-1459-1

Navigation