Congruences between Hilbert modular forms: constructing ordinary lifts

Under mild hypotheses, we prove that if F is a totally real field, k is the algebraic closure of the finite field with l elements and r : G_F --> GL_2(k) is irreducible and modular, then there is a finite solvable totally real extension F'/F such that r|_{G_F'} has a modular lift which is ordinary at each place dividing l. We deduce a similar result for r itself, under the assumption that at places v|l the representation r|_{G_F_v} is reducible. This allows us to deduce improvements to results in the literature on modularity lifting theorems for potentially Barsotti-Tate representations and the Buzzard-Diamond-Jarvis conjecture. The proof makes use of a novel lifting technique, going via rank 4 unitary groups.

[1]  Toby Gee.  Automorphic lifts of prescribed types , 2008, 0810.1877.

[2]  Toby Gee,et al.  The Sato-Tate conjecture for Hilbert modular forms , 2009, 0912.1054.

[3]  Peter Hoffman,et al.  Projective representations of the symmetric groups - Q-functions and shifted tableaux , 1992, Oxford mathematical monographs.

[4]  David Geraghty,et al.  Potential automorphy and change of weight , 2010, 1010.2561.

[5]  Michael Harris,et al.  A Family of Calabi–Yau Varieties and Potential Automorphy II , 2011 .

[6]  J. Arthur,et al.  Simple algebras, base change, and the advanced theory of the trace formula , 1989 .

[7]  David Geraghty,et al.  Serre weights for rank two unitary groups , 2011, 1106.5586.

[8]  Toby Gee.  A Modularity Lifting Theorem for Weight Two Hilbert Modular Forms , 2006 .

[9]  Richard Taylor.  On the Meromorphic Continuation of Degree Two L-Functions , 2006 .

[10]  Toby Gee,et al.  COMPANION FORMS FOR UNITARY AND SYMPLECTIC GROUPS , 2010, 1001.2044.

[11]  Michael Harris,et al.  Automorphy for some l-adic lifts of automorphic mod l Galois representations , 2008 .

[12]  Richard Taylor,et al.  A family of Calabi-Yau varieties and potential automorphy , 2010 .

[13]  L. Clozel.  Changement de base pour les représentations tempérées des groupes réductifs réels , 1982 .

[14]  Mark Kisin,et al.  The Fontaine-Mazur conjecture for {GL}_2 , 2009 .

[15]  M. Harris.  Potential Automorphy of Odd-Dimensional Symmetric Powers of Elliptic Curves and Applications , 2009 .

[16]  A. Wiles,et al.  Bigness in Compatible Systems , 2009, 0908.1991.

[17]  Ravi Ramakrishna.  Deforming Galois representations and the conjectures of Serre and Fontaine-Mazur , 2002 .

[18]  Richard Taylor,et al.  The Geometry and Cohomology of Some Simple Shimura Varieties. , 2002 .