Modular forms and \(p\)-adic Hodge theory. (English) Zbl 0877.11034

Saito, Takeshi

Invent. Math. 129, No. 3, 607-620 (1997).

For an elliptic modular form, 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 T. Tsuji [Invent. Math. 137, No. 2, 233–411 (1999; Zbl 0945.14008)]. 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 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, M. Rapoport, and T. Zink for \(\ell\) [Invent. Math. 68, 21-101 (1982; Zbl 0498.14010)] and of A. Mokrane for \(p\) [Duke Math. J. 72, 301-377 (1993; Zbl 0834.14010)].

Reviewer: Takeshi Saito (Tokyo)

MSC:

11F85	\(p\)-adic theory, local fields
11S37	Langlands-Weil conjectures, nonabelian class field theory
14F30	\(p\)-adic cohomology, crystalline cohomology
11F70	Representation-theoretic methods; automorphic representations over local and global fields

Keywords:

\(p\)-adic Hodge theory; \(p\)-adic representation; elliptic modular form; absolute Galois group; local Langlands correspondence; representation of the Weil-Deligne group

Citations:

Zbl 0206.49901; Zbl 0616.10025; Zbl 0498.14010; Zbl 0834.14010; Zbl 0945.14008