Changement de base local modéré pour $GL(n)$ II : représentations supercuspidales sauvages
Local tame lifting for $GL(n)$ II: wildly ramified supercuspidals
Anglais
Soit $F$ un corps local non archimédien à corps résiduel fini de caractéristique $p$. Une représentation irréductible $\sigma $ du groupe de Weil $\mathcal{W}_F$ de $F$ est dite sauvagement ramifiée si $\dim \sigma $ est une puissance de $p$ et $\sigma \not \cong \chi \otimes \sigma $ pour tout quasicaractère non ramifié $\chi \neq 1$ de $\mathcal{W}_F$. Notons $\mathcal{G}^{\rm wr}_m(F)$ l'ensemble des classes d'isomorphie de telles représentations de dimension $p^m$. Une représentation irréductible supercuspidale $\pi$ de ${\rm GL}_n(F)$ est dite sauvagement ramifiée si $n$ est une puissance de $p$ et $\pi \not \cong \pi \otimes (\chi \circ \det )$ pour tout quasicaractère non ramifié $\chi \neq 1$ de $F^\times$. Notons $\Scr A^{\rm wr}_m(F)$ l'ensemble des classes d'isomorphie de telles représentations de ${\rm GL}_{p^m}(F)$. Dans cet article, nous faisons deux choses. En premier, nous proposons une définition d'une application de changement de base $\boldsymbol l_{K/F}:\Scr A^{\rm wr}_m(F) \to \Scr A^{\rm wr}_m(F)$, où $K/F$ est une extension finie modérée. La méthode est locale et explicite, basée sur la ification des représentations supercuspidales due à C. Bushnell et Ph. Kutzko et une définition partielle du changement de base modéré (non galoisien), due aux auteurs. Les arguments s'étendent à des corps locaux de caractéristique non nulle. Si le corps $F$ est de caractéristique nulle et que $K/F$ est cyclique de degré premier à $p$, nous montrons que cette application coîncide avec le changement de base au sens de J. Arthur et L. Clozel. Deuxièmement, dans le cas où $F$ est de caractéristique nulle, nous construisons une bijection canonique $\boldsymbol \pi _m^F:\mathcal{G}^{\rm wr}_m(F) \to mathcal{A}^{\rm wr}_m(F)$ qui possède beaucoup des propriétés exigées d'une correspondance de Langlands. Récemment, M. Harris et R. Taylor ont annoncé une preuve, par voie globale et géométrique, des conjectures de Langlands pour ${\rm GL}_n(F)$. Leurs résultats impliquent l'existence d'une bijection canonique $\mathcal{L}_m:\mathcal{G}^{\rm wr}_m(F) \to \mathcal{A}^{\rm wr}_m(F)$. Pour $\sigma \in \mathcal{G}^{\rm wr}_m(F)$, il existe un quasicaractère non ramifié $\chi _\sigma $ de $\mathcal{W}_F$, d'ordre fini divisant $p^m$, tel que $\boldsymbol \pi _m(\sigma ) = \mathcal{L}_m(\sigma \otimes \chi _\sigma )$. Nous espérons que les méthodes du présent article mèneront à une preuve alternative des conjectures locales de Langlands pour ${\rm GL}_n$.