zbMATH — the first resource for mathematics

Serre weights for quaternion algebras. (English) Zbl 1282.11042
Let \(F\) be a totally real number field with absolute Galois group \(G_F = \text{Gal}(\overline{F}/F)\). Let \(p\) be a rational prime. The authors consider the problem of giving an explicit description of the set \(W(\overline{\rho})\) of all possible weights of an irreducible mod \(p\) Galois representation \(\overline{\rho}: G_F \rightarrow \mathrm{GL}_{2}(\overline{\mathbb F}_p)\) arising from an automorphic representation on a totally definite quaternion algebra defined over \(F\) which is ramified at each place \(v \mid p\) in \(F\). Thus, the authors formulate (and for the most part prove) an analogue of Serre’s weight conjecture for automorphic forms on totally definite quaternion algebras ramified at all places above \(p\). This problem has various antecedents in the literature. For instance, it appears in the special case where \(F\) is the rational number field in [C. Khare, Invent. Math. 143, No. 1, 129-155 (2001; Zbl 0971.11028)], and is treated in the analogous setting of Hilbert modular forms with each prime above \(p\) being unramified in the work of K. Buzzard, F. Diamond and F. Jarvis [Duke Math. J. 155, No. 1, 105–161 (2010; Zbl 1227.11070)]. The striking feature about the situation here, as the authors explain nicely in \(\S 3\) (see Lemma 3.3) using the Jacquet-Langlands correspondence and the local Langlands correspondence, is that the property of being modular of some specific given weight is equivalent to the representation having a lift of some specific type. This reduces the study to describing all possible types of liftings, and can be made very explicit via certain computations involving Breuil modules with descent data in the event that the restriction of \(\overline{\rho}\) to decomposition groups at primes dividing \(p\) are all semisimple. A summary of these local computations is given in \(\S 7\), leading to the final result in \(\S 8\), i.e. [Theorem 8.3]. The technical conditions required to establish that their proposed (conjectural) set of weights \(W^{?}(\overline{\rho})\) is equal to \(W(\overline{\rho})\) are essentially determined by their usage of modularity lifting theorems in the style of T. Gee [Invent. Math. 184, No. 1, 1–46 (2011; Zbl 1280.11029)] and M. Kisin [Ann. Math. (2) 170, No. 3, 1085–1180 (2009; Zbl 1201.14034)]. Thus, they must assume that \(p\) is odd and that the restriction of \(\overline{\rho}\) to the cyclotomic field \(F(\zeta_p)\) is irreducible; if \(p = 5\), they must assume additionally that the projective image of \(\overline{\rho}\) is isomorphic to \(\mathrm{PGL}_{2}({\mathbb F}_5)\) and that \([F(\zeta_p):F] =4\). Granted these conditions, along with the condition that for each prime \(v \mid p\) the restriction of \(\overline{\rho}\) to the decomposition group at \(v\) is not a twist of an extension of the trivial character by the cyclotomic character, they establish that \(W(\overline{\rho}) = W^{?}(\overline{\rho})\).

11F33 Congruences for modular and \(p\)-adic modular forms
11F80 Galois representations
Full Text: DOI arXiv
[1] doi:10.1112/S0010437X03000289 · Zbl 1053.11048 · doi:10.1112/S0010437X03000289
[2] doi:10.1215/S0012-7094-04-12816-7 · Zbl 1101.11017 · doi:10.1215/S0012-7094-04-12816-7
[4] doi:10.4007/annals.2009.170.1085 · Zbl 1201.14034 · doi:10.4007/annals.2009.170.1085
[5] doi:10.1007/s00222-009-0207-5 · Zbl 1304.11043 · doi:10.1007/s00222-009-0207-5
[6] doi:10.1090/S0894-0347-07-00576-0 · Zbl 1205.11060 · doi:10.1090/S0894-0347-07-00576-0
[7] doi:10.1215/S0012-7094-94-07413-9 · Zbl 0809.11025 · doi:10.1215/S0012-7094-94-07413-9
[8] doi:10.1007/s002220000103 · Zbl 0971.11028 · doi:10.1007/s002220000103
[9] doi:10.1090/S0894-0347-99-00287-8 · Zbl 0923.11085 · doi:10.1090/S0894-0347-99-00287-8
[11] doi:10.1215/00127094-2010-052 · Zbl 1227.11070 · doi:10.1215/00127094-2010-052
[12] doi:10.1215/S0012-7094-02-11522-1 · Zbl 1042.11030 · doi:10.1215/S0012-7094-02-11522-1
[13] doi:10.1090/S0894-0347-01-00370-8 · Zbl 0982.11033 · doi:10.1090/S0894-0347-01-00370-8
[14] doi:10.2307/2661391 · Zbl 1042.14018 · doi:10.2307/2661391
[15] doi:10.1007/s002080050031 · Zbl 0883.11049 · doi:10.1007/s002080050031
[17] doi:10.1007/BF02761043 · Zbl 0870.11030 · doi:10.1007/BF02761043
[18] doi:10.1215/S0012-7094-87-05413-5 · Zbl 0641.10026 · doi:10.1215/S0012-7094-87-05413-5
[19] doi:10.1007/s11856-008-1035-9 · Zbl 1197.11063 · doi:10.1007/s11856-008-1035-9
[20] doi:10.1016/j.jnt.2008.05.002 · Zbl 1222.14098 · doi:10.1016/j.jnt.2008.05.002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.