Remarks on Serre's modularity conjecture

Abstract

In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conductor. Assuming GRH, infinitely many cases of even level will also be proved.

exposition improved, several Lemmas added to make the paper more readable

References in corpus (1)

• Modularity of rigid Calabi-Yau threefolds over Q

Cited by in corpus (5)

• How to facet a gemstone: from potential modularity to the proof of Serre's modularity conjecture
• Solving Fermat-type equations $x^4+d{y}^2=z^p$ via modular Q-curves over polyquadratic fields
• Which quaternion algebras act on a modular abelian variety?
• On the modularity of rigid Calabi-Yau threefolds: Epilogue
• On the classification of geometric families of 4-dimensional Galois representations