Local Langlands correspondence in rigid families (Q2305475)

Let \(p\) be a prime number. A \(p\)-adic eigenvariety parametrizes \(p\)-adic automorphic forms which are associated with global \(p\)-adic Galois representations, interpolating the classical global Langlands correspondence. The paper under review shows that the \(p\)-adic correspondences on the eigenvariety are compatible with the local Langlands correspondences for places outside \(p\).\par Let \(U\) be a unitary group over a totally real field \(F^+\) of rank \(n\), \(n\geq 2\), that splits on an unramified quadratic CM extension \(F/F^+\). Assume that \(U\) is compact at infinite places and quasi-split at all finite places. Let \(\Sigma_p\) be the set of all places of \(F^+\) above \(p\) and let \(\Sigma\) be a finite set of places of \(F^+\) containing \(\Sigma_p\). Assume furthermore that all places of \(v\in \Sigma\) split in \(F\) and denote by \(\Sigma_0=\Sigma\setminus \Sigma_p\). Let \(K^{p}=K_{\Sigma_0}K^{\Sigma_0}=\prod_{v\in\Sigma_0}K_v\prod_{v\notin \Sigma} K_v\) be a tame level where for \(v\in \Sigma_0\), \(K_v\) is a compact open subgroup of \(U(F_v^{+})\simeq \mathrm{GL}_n(F_{\widetilde{v}})\) for a chosen \(\widetilde{v}\mid v\) and \(K_v\) is hyperspecial if \(v\notin \Sigma_0\). For a point \(y\) on the eigenvariety \(Y(K^p,\overline{r})\) of the tame level \(K^p\), where \(\overline{r}:\mathrm{Gal}(\overline{F}/F)\rightarrow \mathrm{GL}_n(\overline{\mathbb{F}}_p)\) is some absolutely irreducible representation, there is an associated \(p\)-adic Galois representation \(r_y:\mathrm{Gal}(\overline{F}/F)\rightarrow \mathrm{GL}_n(\overline{\mathbb{Q}}_p)\) which deforms \(\overline{r}\). There is also a coherent sheaf \(\mathcal{M}\) over \(Y(K^p,\overline{r})\) from the construction of the eigenvariety the dual of whose global section is the Emerton's Jacquet module of some subspace of \(p\)-adic automorphic forms of \(U\) of the tame level \(K^p\). \par Now consider \(\mathcal{M}_y'\) the dual of the fiber of \(\mathcal{M}\) at \(y\) and let \(K_{\Sigma_0}\) vary, we get a smooth admissible representation \(\varinjlim_{K_{\Sigma_0}} \mathcal{M}_y'\) of \(\prod_{v\in\Sigma_0}\mathrm{GL}_n(F_{\widetilde{v}})\). For \(v\in \Sigma_0\), let \(\pi_{r_y,v}\) be the irreducible smooth representation of \(\mathrm{GL}_n(F_{\widetilde{v}})\) associated with \(r_y\mid_{\mathrm{Gal}(\overline{F}_{\widetilde{v}}/F_{\widetilde{v}})}\) via the local Langlands correspondence. One of the main results of the paper states that under certain strongly generic assumption, there exists \(m_y\in \mathbb{Z}_{>0}\) such that up to semisimplification \[ \varinjlim_{K_{\Sigma_0}} \mathcal{M}_y'\simeq (\bigotimes_{v\in \Sigma_0}\pi_{r_y,v})^{\oplus m_y}. \] Without the strongly generic assumption, \(\varinjlim_{K_{\Sigma_0}} \mathcal{M}_y'\) still has finite length and its irreducible subquotients share the same supercuspidal support with \(\bigotimes_{v\in \Sigma_0}\pi_{r_y,v}\). Moreover if \(K_v\) are Iwahori subgroups for all \(v\in \Sigma_0\), it is proved that the generic representation with the same supercuspidal support as \(\bigotimes_{v\in \Sigma_0}\pi_{r_y,v}\) indeed appears in \(\varinjlim_{K_{\Sigma_0}} \mathcal{M}_y'\).\par The proof in the paper uses an idea of Scholze in his proof of the local Langlands correspondence for \(\mathrm{GL}_n\). Let \(W_{F_{\widetilde{v}}}\) be the Weil group of \(F_{\widetilde{v}}\). There is an element \(f_{\tau}\) associated with \(\tau=(\tau_{\widetilde{v}})\in \prod_{v\in\Sigma_0}W_{F_{\widetilde{v}}}\) in the Bernstein center of smooth representations of \(\prod_{v\in \Sigma_0}\mathrm{GL}_n(F_{\widetilde{v}})\) such that \(f_{\tau}\) acts on \(\bigotimes_{v\in \Sigma_0}\pi_{r_y,v}\) via scaling by \(\prod_{v\in\Sigma_{0}}\mathrm{tr}(\tau_{\widetilde{v}}\mid\mathrm{WD}(r_y\mid_{\mathrm{Gal}(\overline{F}_{\widetilde{v}}/F_{\widetilde{v}})}))\) the trace of \(\tau\) on the associated Weil-Deligne representations. The traces vary analytically on the eigenvariety. The authors prove that \(f_{\tau}\) acts on \(\mathcal{\mathcal{M}}_y'\) via scaling also by \(\prod_{v\in\Sigma_{0}}\mathrm{tr}(\tau_{\widetilde{v}}\mid\mathrm{WD}(r_y\mid_{\mathrm{Gal}(\overline{F}_{\widetilde{v}}/F_{\widetilde{v}})}))\) by interpolating the result for classical points of noncritical slope which are dense on the eigenvariety. \par In the last section of the paper, the authors compare their work with that of \textit{J. Bellaïche} and \textit{G. Chenevier} [Families of Galois representations and Selmer groups. Paris: Société Mathématique de France (2009; Zbl 1192.11035); Compos. Math. 147, No. 5, 1337--1352 (2011; Zbl 1259.11058)] where certain results above were already known.