Abstract
We show that if F is a totally real field in which p splits completely and f is a mod p Hilbert modular form with parallel weight 2 < k < p, which is ordinary at all primes dividing p and has tamely ramified Galois representation at all primes dividing p, then there is a “companion form” of parallel weight k′ := p + 1 − k. This work generalises results of Gross and Coleman–Voloch for modular forms over Q.
Similar content being viewed by others
References
Boston N., Lenstra H.W. Jr., and Ribet K.A. (1991). Quotients of group rings arising from two-dimensional representations. C. R. Acad. Sci. Paris Sér. I Math. 312(4): 323–328
Blasius D. and Rogawski J. (1989). Galois representations for Hilbert modular forms. Bull. Am. Math. Soc. (N.S.) 21(1): 65–69
Carayol H. (1986). Sur la mauvaise réduction des courbes de Shimura. Composit. Math. 59(2): 151–230
Carayol H. (1986). Sur les représentations l-adiques associées aux formes modulaires de Hilbert. Ann. Sci. École Norm. Sup. (4) 19(3): 409–468
Clozel, L., Labesse, J.-P.: Changement de base pour les représentations cohomologiques de certains groupes unitaires. Astérisque 257 (1999)
Coleman R.F. and Voloch J.F. (1992). Companion forms and Kodaira–Spencer theory. Invent. Math. 110(2): 263–281
Deligne, P., Rapoport, M.: Les schémas de modules de courbes elliptiques, Modular functions of one variable, II (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972). Lecture Notes in Math., vol 349, pp. 143–316. Springer, Heidelberg (1973)
Drinfel′d V.G. (1976). Elliptic modules. Math. USSR-Sb. (N.S.) 23(4): 561–592
Deligne P. and Serre J.-P. (1975). Formes modulaires de poids 1. Ann. Sci. École Norm. Sup. (4) 7(1974): 507–530
Faltings, G., Chai, C.-L.: Degeneration of abelian varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol 22. With an appendix by David Mumford. Springer, Berlin (1990)
Fujiwara, K.: Level optimisation in the totally real case, preprint 2006, available on Math Arxiv math. NT/0602586 (1999)
Gee, T.: Companion forms over totally real fields II. Duke Math. J. (2007) (in press)
Grothendieck A. (1967). Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV. Inst. Hautes Études Sci. Publ. Math. 32: 361
Gross B.H. (1990). A tameness criterion for Galois representations associated to modular forms (mod p). Duke Math. J. 61(2): 445–517
Harris, M.: The Local Langlands Correspondence: Notes of (Half) a Course at the IHP Spring 2000, appeared in Asterisque, MR2141702 (2000)
Harris M. and Taylor R. (2001). The geometry and cohomology of some simple Shimura varieties, Annals of Mathematics Studies, vol. 151. Princeton University Press, Princeton, NJ, With an appendix by Vladimir G. Berkovich
Harris M. and Taylor R. (2002). Regular models of certain Shimura varieties. Asian J. Math. 6(1): 61–94
Illusie, L.: Déformations de groupes de Barsotti–Tate (d’après A. Grothendieck), Astérisque (1985), no. 127, pp 151–198. Seminar on arithmetic bundles: the Mordell conjecture, Paris (1983/84)
Jarvis F. (1999). Mazur’s principle for totally real fields of odd degree. Compos. Math. 116(1): 39–79
Jarvis F. (2004). Correspondences on Shimura curves and Mazur’s Principle above p. Pacific J. Math. 213(2): 267–280
Jacquet H. and Langlands R.P. (1970). Automorphic forms on GL(2). Lecture Notes in Mathematics, vol 114. Springer, Berlin
Kassaei P.L. (2004). P-adic modular forms over Shimura curves over totally real fields. Compos. Math. 140(2): 359–395
Kato, K.: Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (1988), pp 191–224. Johns Hopkins Univ. Press, Baltimore (1989)
Katz, N.: Serre-Tate local moduli, Algebraic surfaces (Orsay, 1976–78), Lecture Notes in Math., vol 868, pp 138–202. Springer, Berlin (1981)
Katz N.M. and Mazur B. (1985). Arithmetic moduli of elliptic curves, Annals of Mathematics Studies, vol 108. Princeton University Press, Princeton
Kottwitz R.E. (1992). On the λ-adic representations associated to some simple Shimura varieties. Invent. Math. 108(3): 653–665
Langlands R.P. (1980). Base change for GL(2), Annals of Mathematics Studies, vol 96. Princeton University Press, Princeton
Lansky J. and Raghuram A. (2004). Conductors and Newforms for U(1, 1). Proc. Indian Acad. Sci. 114(4): 319–343
Mazur B. and Wiles A. (1984). Class fields of abelian extensions of Q. Invent. Math. 76(2): 179–330
Saito T. (1997). Modular forms and p-adic Hodge theory. Invent. Math. 129(3): 607–620
Saito, T.: Hilbert modular forms and p-adic Hodge theory, preprint 2006, available on Math Arxiv as arXiv:math/0612077
Savitt D. (2005). On a conjecture of Conrad, Diamond and Taylor. Duke Math. J. 128(1): 141–197
Taylor R. (1989). On Galois representations associated to Hilbert modular forms. Invent. Math. 98(2): 265–280
Wiese G. (2004). Dihedral Galois representations and Katz modular forms. Documenta Math. 9: 123–133
Wiles A. (1980). Modular curves and the class group of Q(ζ p ). Invent. Math. 58(1): 1–35
Wiles A. (1988). On ordinary λ-adic representations associated to modular forms. Invent. Math. 94(3): 529–573