Modular forms and \(p\)-adic Hodge theory (Q1365354): Difference between revisions

For an elliptic modular form, \textit{P. Deligne} constructs an associated \(\ell\)-adic representation of the absolute Galois group \(\text{Gal} (\overline\mathbb{Q}/ \mathbb{Q})\) [Sémin. Bourbaki 1968/69, No. 355, 139-172 (1971; Zbl 0206.49901)]. In the paper, it is shown that the construction is compatible with the local Langlands correspondence at \(p= \ell\) in the sense of Fontaine using a result of Carayol for \(p\neq\ell\). More precisely, the restriction to the local Galois group \(\text{Gal} (\overline \mathbb{Q}_p/ \mathbb{Q}_p)\) of the \(p\)-adic representation \(V_p(f)\) associated to a modular form \(f\) is potentially semi-stable as follows from a theorem of \textit{T. Tsuji} [Invent. Math. 137, No. 2, 233--411 (1999; Zbl 0945.14008)]. \textit{J.-M. Fontaine} has associated a representation of the Weil-Deligne group to a potentially semi-stable representation by using the ring \(B_{st}\) [Représentations \(\ell\)-adiques potentiellement semi-stables. Périodes \(p\)-adiques, Astérisque 223, 321-347 (1994)]. On the other hand, an automorphic representation \(\pi_f\) of the adele group \(GL_2 (\mathbb{A})\) is associated to a modular form \(f\). By factoring the tensor product \(\pi_f= \bigotimes \pi_{p,f}\), we obtain an irreducible admissible representation \(\pi_{p,f}\) of \(GL_2 (\mathbb{Q}_p)\). The main result asserts that the representation of the Weil-Deligne group associated to \(V_p(f)\) corresponds to the irreducible admissible representation \(\pi_{p,f}\) of \(GL_2 (\mathbb{Q}_p)\) in the sense of the local Langlands correspondence. The proof goes as follows. Since the correspondence is established for \(\ell \neq p\) by \textit{H. Carayol} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 19, 409-468 (1986; Zbl 0616.10025)], it suffices to compare \(p\) and \(\ell\). The comparison is made by reducing to the Lefschetz trace formula, which is the same for \(p\) and \(\ell\), by using the weight spectral sequences of Steenbrink, \textit{M. Rapoport}, and \textit{T. Zink} for \(\ell\) [Invent. Math. 68, 21-101 (1982; Zbl 0498.14010)] and of \textit{A. Mokrane} for \(p\) [Duke Math. J. 72, 301-377 (1993; Zbl 0834.14010)].