text:
# Formes non tempérées pour "U"(3) et conjectures de Bloch-Kato

## 1. Introduction

### 1.1. Énoncé du théorème principal

Soit $`E/F`$ une extension $`CM`$, $`(\rho ,V)`$ une représentation de Gal($`\overline{E}/E`$) sur une extension finie $`L`$ de $`_p`$, continue, irréductible, et géométrique (cf. \[FP, page 650\]). On note $`\tau `$ l’élément non trivial de $`\text{Gal}(E/F)`$ et $`\rho ^{}`$ la représentation sur $`V^{}`$ donnée par $`g{}_{}{}^{t}\rho (\tau g\tau )^1`$. On suppose que la représentation $`\rho `$ vérifie111Notons par exemple que si $`\rho _F`$ est une représentation de $`\text{Gal}(\overline{F}/F)`$ vérifiant $`\rho _F^{}\rho _F(1)`$, sa restriction $`\rho `$ à Gal($`\overline{E}/E`$) vérifie 1. C’est la cas par exemple d’un twist convenable des représentation attachés aux formes modulaires

(1) $`\rho ^{}=\rho (1),`$
$`\rho (1)`$ est un twist à la Tate de $`\rho `$.

Il est conjecturé que la fonction $`L`$ complète de $`\rho `$, notée $`L(\rho ,s)`$, admet un prolongement méromorphe à tout le plan complexe, holomorphe en zéro si $`\rho `$ n’est pas le caractère cyclotomique, ce que nous supposerons. Sous l’hypothèse 1, cette fonction admet une équation fonctionnelle de la forme

$$L(\rho ,s)=ϵ(\rho ,s)L(\rho ,s),\text{ avec }ϵ(\rho \mathrm{,0})=\pm 1,$$

En particulier, $`ϵ(\rho \mathrm{,0})=1`$ si et seulement si la fonction $`L(\rho ,s)`$ s’annule en $`0`$ à l’ordre impair.

À la suite de Janssen, Bloch-Kato, Fontaine-Perrin-Riou, notons $`H_f^1(\text{Gal(}\overline{E}/E\text{)},\rho )`$ le sous groupe de $`H^1(\text{Gal(}\overline{E}/E\text{)},\rho )`$ paramétrant les extensions $`U`$ de la représentation triviale $`1`$ par $`\rho `$

$$0VU10$$

qui ont bonne réduction en toute place, ce qui signifie que les suites

$$0V^{I_w}U^{I_w}10$$

sont exactes pour toute place $`w`$ de $`E`$ ne divisant pas $`p`$, $`I_w`$ désignant un sous-groupe d’inertie en $`w`$ et que les suites

$$0D_{cris,w}(V)D_{cris,w}(U)10$$

sont exactes pour toute place $`w`$ divisant $`p`$. La conjecture de Bloch et Kato (cf. \[FP, 3.4.5\]) implique que

###### Conjecture 1.1.

Si $`ϵ(\rho \mathrm{,0})=1`$, alors $`dimH_f^1(\text{Gal(}\overline{E}/E\text{)},\rho )1`$.

Cet article propose une nouvelle méthode pour aborder cette conjecture, basée sur des congruences entre formes automorphes non tempérées et tempérées. Son but est d’en démontrer le cas particulier suivant :

###### Théorème 1.1.

Supposons que $`E`$ est un corps quadratique imaginaire. Soit $`\chi `$ un caractère de Hecke algébrique sur $`E`$, qui vérifie

$$\chi ^{}=\chi (1)$$

et dont le type à l’infini est de la forme

$$zz^a\overline{z}^{1a},$$

avec $`a2`$. Soit $`p`$ un nombre premier décomposé dans $`E`$ et non ramifié pour $`\chi `$, et $`\chi _p:\text{Gal(}\overline{E}/E\text{)}L^{}`$ une réalisation $`p`$-adique de $`\chi `$ sur un corps $`L`$. Alors, si $`ϵ(\chi \mathrm{,0})=ϵ(\chi _p\mathrm{,0})=1`$, on a

$$dimH_f^1(\text{Gal(}\overline{E}/E\text{)},\chi _p)1.$$

Autrement dit, il existe une extension non triviale ayant bonne réduction partout de la forme

(2) $`0\chi _pU10.`$
Notons que ce théorème peut se démontrer facilement à partir de la conjecture d’Iwasawa pour les corps quadratiques imaginaires, prouvée par Rubin (\[Ru1\]). Cependant, notre méthode est différente (Rubin utilise des systèmes d’Euler et non des formes automorphes), susceptible de généralisations ultérieures (voir plus bas) et donne une information supplémentaire : elle prouve que les réductions modulo $`m^n`$, ($`m`$ idéal maximal de $`𝒪_L`$, $`n`$ entier arbitraire) de l’extension (2) dont le théorème affirme l’existence apparaissent comme sous-quotient de la cohomologie étale de variétés algébriques sur $`E`$. Cet énoncé est prédit par la conjecture de Fontaine-Mazur et ne découle pas de la preuve de Rubin.

### 1.2. La méthode

#### 1.2.1.

Le théorème 1.1 est une généralisation du théorème principal de la thèse d’un des auteurs (cf. \[Bel1\] théorème VIII.1.7.2), où il est prouvé, sous les mêmes hypothèses, l’existence d’une extension non triviale ayant bonne réduction partout sur $`𝒪_L/m`$ de la forme $`0\overline{\chi }_pU10`$, et ce pour un ensemble de densité non nulle de $`p`$. La méthode utilisée ici est similaire à celle de cette thèse, à une variante près (l’emploi de familles $`p`$-adiques combinées avec un résultat de Kisin, au lieu d’augmentation du niveau) dont l’idée est due à Urban et Skinner. Ils ont en effet récemment annoncé (cf. \[Sk-Ur\]) un analogue du théorème 1.1 pour des formes modulaires ordinaires de niveau $`1`$, par une méthode semblable. Il nous a semblé bon de reprendre cette idée dans notre cas, notamment parce qu’elle nous permet de se passer d’hypothèses sur $`p`$, que les familles $`p`$-adiques pour $`U(n)`$ sont construites dans \[Che\], et qu’elle est plus simplement généralisable (voir 1.3).

#### 1.2.2.

Expliquons le principe de la méthode employée. La première idée est d’utiliser les formules de multiplicités, données par des conjectures d’Arthur, des représentations automorphes dans le spectre discret. Pour certaines représentations non tempérées, ces formules font apparaître le signe de certains facteurs $`ϵ`$. Plus précisément, dans le cas du groupe unitaire $`\text{U}(3)`$ compact à l’infini attaché au corps quadratique imaginaire $`E`$, ces formules sont démontrées par Rogawski et affirment que pour $`\chi `$ un caractère de Hecke comme dans l’énoncé du théorème, il existe dans le spectre discret de $`E`$ une représentation $`\pi (\chi )`$, minimalement ramifiée222Voir la proposition 4.1 pour plus de détails, dont la représentation galoisienne associée $`\rho :\text{Gal(}\overline{E}/E\text{)}\text{GL}_3(L)`$ est de la forme $`\rho =\chi _p1\chi _p(1)`$ si, et seulement si, $`ϵ(\chi \mathrm{,0})=1`$.

#### 1.2.3.

Plaçons-nous sous cette hypothèse. On dispose donc de $`\pi (\chi )`$ et de sa représentation galoisienne associée $`\rho `$. L’étape suivante est d’obtenir une déformation génériquement irréductible $`\rho ^{}`$ de $`\rho `$, i.e. une représentation $`\rho ^{}`$ de Gal($`\overline{E}/E`$) sur un anneau de valuation discrète $`R`$ de corps résiduel $`L`$ avec $`(\rho ^{}_RL)^{ss}=\rho `$, et $`\rho ^{}_RFrac(R)`$ irréductible ; il faut également contrôler la ramification de $`\rho ^{}`$ ainsi que son comportement aux places divisant $`p`$. Le méthode utilisée pour construire $`\rho ^{}`$ consiste à placer $`\mathrm{\Pi }(\chi )`$ dans une famille $`p`$-adique de formes automorphes333C’est là la principale différence avec \[Bel1\] où l’on ne construisait qu’une déformation de $`\overline{\rho }\overline{\chi }_p1\overline{\chi }_p(1)`$ à l’aide d’un théorème d’augmentation du niveau. Notons cependant que l’on pourrait aussi prouver le théorème 1.1 à l’aide de cette méthode, en construisant des déformations de $`\overline{\rho }`$ qui sont congrues à $`\rho `$ modulo $`m^n`$, à l’aide de théorèmes d’augmentation du niveau modulo $`m^n`$. On obtiendrait ainsi des extensions modulo $`m^n`$, puis on passerait à la limite sur $`n`$. Cette méthode fera l’objet d’un travail ultérieure, dans un cadre un peu différent.

Pour contrôler la ramification de $`\rho ^{}`$ aux places $`w`$ de $`E`$ ne divisant pas $`p`$, en particulier aux places où $`\chi `$ est ramifié, on est obligé d’imposer aux formes de la famille $`p`$-adique construite de contenir certains types de Buschnell et Kutsko. Pour traduire l’existence de ces types en termes de la ramification de $`\rho ^{}`$, on bute sur la difficulté suivante : il ne semble pas connu 444On ne peut appliquer à nos formes le résultat principal de \[HT\] car elles n’en vérifient pas l’hypothèse, à savoir d’être de carré intégrable en au moins une place finie. que la construction de la représentation galoisienne $`\rho `$ attachée à une forme automorphe pour $`\text{U}(3)`$ est compatible, en chaque place, avec la correspondance de Langlands locale. Nous montrons comment contourner cette difficulté. Pour contrôler le comportement de $`\rho ^{}`$ aux places $`w`$ divisant $`p`$, on utilise une forme convenable d’un résultat récent de Kisin.

#### 1.2.4.

La dernier étape consiste à appliquer une vieille idée de Ribet (cf. \[Ribet\]) : l’existence d’une déformation de $`\rho `$ comme ci-dessus implique l’existence d’extensions non triviales entre les facteurs de $`\rho `$. Dans le cas de Ribet, $`\rho `$ n’avait que deux facteurs et Ribet montrait qu’on pouvait obtenir les extensions d’un facteur par l’autre dans les deux sens possibles. Mais c’est un fait incontournable (cf. \[Be-Gr\] ) que quand $`\rho `$ a plus de deux facteurs irréductibles, on ne peut assurer l’existence de toutes les extensions entre ces facteurs. On obtient seulement une disjonction d’assertions d’existence. Autrement dit, pour montrer l’existence de l’extension cherchée, on est ramené à montrer la non-existence de certaines autres extensions, non-existence qui a une signification arithmétique globale, étant aussi un cas des conjectures de Bloch-Kato. Dans \[Bel1\] ainsi que dans la méthode décrite dans \[Sk-Ur\] (voir loc. cit. dernier paragraphe), la preuve de ces cas de non-existence repose sur des résultats récents et difficiles de Rubin (\[Ru1\]) et de Kato ($`p`$-adic Hodge theory and values of Zeta functions of modular forms, prépublication) respectivement. Dans cet article, le seul cas de non-existence que nous avons à vérifier est celui d’une extension ayant bonne réduction partout du caractère trivial par le caractère cyclotomique, qui est une application élémentaire de la théorie de Kummer.

### 1.3. Généralisations

Tout d’abord, l’hypothèse sur $`p`$ dans le théorème 1.1 est inessentielle, et devrait être supprimée lorsque les familles $`p`$-adiques seront disponibles aux places non décomposées et en niveau sauvage (travail en cours d’un des auteurs avec K.Buzzard).

La méthode que nous avons esquissée ci-dessus se prête à des généralisations aux groupes unitaires $`\text{U}(n)`$ compact à l’infini associé à un corps quadratique imaginaire $`E`$. Cependant, on ne dispose pas pour l’instant pour ces groupes, si $`n4`$, de la construction d’une représentation galoisienne attachée à chaque forme automorphe et vérifiant les propriétés attendues en presque toute place, pas plus que l’on ne dispose des cas nécessaires des formules de multiplicités d’Arthur (cependant des progrès ont été fait récemment dans le cas $`n=4`$). Nous avons néanmoins pris garde à énoncer et à démontrer la plupart des lemmes que nous utilisons sous une forme générale, en vue de leur utilisation pour le cas de $`\text{U}(n)`$. Nous comptons revenir sur ce cas dans un avenir proche.

Enfin, il semble par contre plus délicat de généraliser cette méthode au cas où $`E`$ est un corps $`CM`$ quelconque, et non quadratique imaginaire (voir à ce propos la remarque 9.1).

### 1.4. Plan de l’article

Indiquons brièvement le contenu des différentes parties de cet article. Dans la partie 2, nous fixons les conventions (concernant essentiellement les normalisations de la théorie du corps de classes et de la correspondance de Langlands locales) et les principales notations que nous utiliserons. La partie 3 décrit la construction par Blasius et Rogawski du système de représentations $`l`$-adiques attaché aux formes automorphes pour $`U(3)`$. Nous démontrons quelques résultats concernant la compatibilité de cette construction avec la correspondance de Langlands locale. La partie 4 construit et décrit la représentation non tempérée $`\pi (\chi )`$ discutée plus haut.

Les parties 5, 6 et 7 sont rédigées dans une plus grande généralité. La partie $`5`$ fait, pour GL(n), la théorie des différents choix possibles d’une forme propre ancienne de niveau iwahorique en $`p`$, attachée à une forme non ramifiée en $`p`$. La partie $`6`$ traite des raffinements des représentations $`p`$-adiques cristallines, contrepartie galoisienne de la théorie précédente, et des familles de telles représentations raffinées. On y énonce en particulier, sous une forme adaptée à notre usage, un résultat récent de Kisin. La partie 7 contient les résultats nécessaires sur les pseudo-caractères et les représentations galoisiennes, ainsi que la généralisation adéquate du lemme de Ribet.

Dans la partie 8 nous revenons aux groupes unitaires à trois variables, et construisons des familles $`p`$-adiques passant par $`\pi (\chi )`$. Enfin, la partie 9 montre le théorème principal.

Les auteurs555Durant la rédaction de cet article l’un des auteurs (Joël Bellaïche) a bénéficié de l’aide du Bell fund et du Ellentuck Fund sont heureux de remercier Laurent Berger, Pierre Colmez, Laurent Clozel, Michael Harris, Guy Henniart et Éric Urban pour de nombreuses et utiles conversations durant la réalisation de cet article.

## 2. Notations et conventions

### 2.1. Corps et groupes de Galois

Dans tout cet article, on note $`E`$ une corps quadratique imaginaire, $`\overline{E}`$ la clôture algébrique de $`E`$ dans $``$, $`𝔸_E`$ l’anneau des adèles de $`E`$, $`W_E`$ et Gal($`\overline{E}/E`$) les groupes de Weil et de Galois de $`\overline{E}`$ sur $`E`$. Pour $`v`$ place de $`E`$ on notera $`D_v`$ un sous-groupe de décomposition de Gal($`\overline{E}/E`$) en $`v`$, $`I_v`$ le sous-groupe d’inertie de $`D_v`$, et $`\text{Frob}_vD_v`$ un Frobénius géométrique. On note $`\tau \text{Gal}(\overline{E}/)`$ la conjugaison complexe, $`\tau ^2=1`$.

### 2.2. Anti-auto-duale

Soit $`\rho `$ une représentation de $`W_E`$ ou de Gal($`\overline{E}/E`$) dans $`\text{GL}_n(A)`$, où $`A`$ est un anneau commutatif. On notera $`\rho ^{}`$ la représentation définie par

$$\rho ^{}(g)={}_{}{}^{t}\rho (\tau g\tau )^1$$

### 2.3. Représentations algébriques

Soit $`w=(k_1\mathrm{}k_n)^n`$, on note $`V_w`$ la représentation algébrique de $`\text{GL}_n/`$ de plus haut poids $`w`$ relativement au Borel supérieur de $`\text{GL}_n`$. C’est l’unique représentation algébrique irréductible de $`\text{GL}_n/`$ telle que le tore diagonal de $`\text{GL}_n`$ agissent sur la droite stable par le Borel supérieur par $`\text{diag}(x_1,\mathrm{},x_n)_{i=1}^nx_i^{k_i}`$. On note

$$^{n,+}:=\{(k_1,\mathrm{},k_n)^n,k_1\mathrm{}k_n\}$$

$$^{n,}:=\{(k_1,\mathrm{},k_n)^n,k_1<k_2<\mathrm{}<k_n\}$$

Si $`w=(k_1,\mathrm{},k_n)^n`$, on pose

$$w=(k_n,\mathrm{},k_1)^n\text{ et }\delta (w)=\text{Min}_{i=1}^{n1}(k_ik_{i+1})$$

Si $`w^{n,+}`$, $`w^{n,+}`$ et $`\delta (w)`$. Le dual de $`V_w`$ est alors $`V_w`$. Si $`F`$ est un corps de caractéristique $`0`$, on notera $`V_w(F)`$ la représentation de $`\text{GL}_n/F`$ extension des scalaires à $`F`$ de $`V_w`$.

### 2.4. Correspondance de Langlands locale

Nous précisons dans ce paragraphe les conventions choisies pour fixer l’isomorphisme de réciprocité de la théorie du corps de classes ainsi que la correspondance de Langlands locale pour $`\text{GL}_n`$. Soit $`F`$ un corps de nombres, on normalise l’isomorphisme d’Artin de la théorie du corps de classes globale

$$\text{rec}_F:𝔸_F^{}/\overline{F^{}(F_{})^{0,}}\text{Gal}(\overline{F}/F)^{ab}$$

en demandant qu’il envoie toute uniformisante locale $`\pi _v`$ en une place finie $`v`$ sur le Frobenius géométrique de $`D_v/I_v`$, avec l’abus de langage évident. Pour toute place $`v`$ de $`F`$, on dispose alors par restriction de $`\text{rec}_F`$, d’un isomorphisme du corps de classes local

$$\text{rec}_{F_v}:F_v^{}W_F^{ab}$$

compatible à l’isomorphisme global.

Supposons maintenant que $`F`$ est un corps local non archimédien. On choisit la normalisation à la Langlands pour la correspondance de Langlands locale pour $`\text{GL}_n(F)`$, notée $`L`$ (voir par exemple \[HT\] p.2). Ainsi, pour $`\pi `$ une représentation irréductible lisse de $`\text{GL}_n(F)`$, $`L(\pi )`$ est une représentation complexe $`\mathrm{\Phi }`$-semisimple de dimension $`n`$ du groupe de Weil-Deligne $`WD_F`$ (cf. \[Tate, 4.1\]). Pour $`n=1`$, $`\pi `$ est un caractère de $`GL_1(F)=F^{}`$ et $`L(\pi )`$ est le caractère de $`W_F`$ qui s’en déduit via l’isomorphisme $`\text{rec}_{F_v}`$ ci-dessus. Par exemple, $`L`$ envoie le quotient de Langlands de l’induite parabolique attachée à deux représentations lisses irréductible $`\pi _1`$ et $`\pi _2`$ sur la somme directe $`L(\pi _1)L(\pi _2)`$.

Soit $`l`$ un nombre premier, on fixe $`\iota _l:\overline{}_l`$ un isomorphisme de corps. Pour $`\pi `$ une représentation lisse irréductible de $`\text{GL}_n(F)`$, $`F`$ un corps local non archimédien, on peut voir $`Ł(\pi )`$, par transport de structure via $`\iota _l`$ comme une représentation sur $`\overline{}_l`$ en fait définie sur une extension finie de $`_l`$, et on peut donc lui associer une représentation notée $`L_l(\pi )`$ du groupe de Weil ordinaire $`W_F`$ sur $`\overline{}_l`$, comme en \[Tate, 4.2.1\].

### 2.5. Caractères de Hecke

Soit $`\chi :E^{}\backslash 𝔸_E^{}^{}`$ un caractère de Hecke de $`E`$, pour toute place $`v`$ de $`E`$ on note $`\chi _v`$ la restriction de $`\chi `$ à $`E_v^{}`$ et $`\chi _f`$ sa restriction aux idèles finies $`𝔸_{f,E}^{}`$. On identifie $`E_{}`$ à $``$ via l’inclusion $`E`$. On suppose dans ce qui suit que $`\chi `$ est algébrique, i.e $`\chi _{\mathrm{}}(z)=z^a\overline{z}^b`$ avec $`a,b`$, et on fixe encore $`l`$ et $`\iota _l`$ comme dans la section précédente en supposant de plus $`l=v_1v_2`$ totalement décomposé dans $`E`$, $`v_1`$ étant la place définie par $`E\stackrel{\iota _l}{}\overline{_l}`$. À $`(\chi ,\iota _l)`$ on peut alors associer un caractère continu $`\overline{E^{}}\backslash 𝔸_{f,E}^{}\overline{}_l^{}`$ défini par la formule:

$$x\iota _l(\chi _f(x)))x_{v_1}^ax_{v_2}^b$$

Par composition avec $`\text{rec}_E`$, on en déduit un caractère $`l`$-adique de Gal($`\overline{E}/E`$) que nous noterons $`\chi _l`$ (à ne pas confondre avec une composante locale de $`\chi `$, mais c’est sans ambiguïté).

### 2.6. Poids de Hodge

Dans ce paragraphe, $`p`$ est un nombre premier fixé, $`\mu _{p^n}`$ désigne le Gal($`\overline{}_p/_p`$)-module des racines $`p^n`$-ièmes de l’unité de $`\overline{}_p`$. On note $`\omega `$ le caractère cyclotomique $`\text{Gal(}\overline{}_p/_p\text{)}\text{End}__p(\underset{n\mathrm{}}{lim}\mu _{p^n})=_p^{}`$. On note $`_p(1)`$ le $`_p`$-espace vectoriel de dimension $`1`$ muni d’une action de Gal($`\overline{}_p/_p`$) par le caractère cyclotomique. Notre convention est que cette représentation est de Hodge-Tate de poids de Hodge $`1`$ (cf. \[Sen1\]). Si $`n`$, on note $`_p(n):=_p(1)^n`$, et si $`V`$ est un $`_p`$-espace vectoriel représentation de Gal($`\overline{}_p/_p`$), $`V(n):=V__p_p(n)`$.

Si $`F`$ est un corps local et $`V`$ un $`F`$-espace vectoriel de dimension finie qui est une représentation continue de Gal($`\overline{}_p/_p`$), nous noterons $`D_{cris}(V):=(V__pB_{cris})^{\text{Gal(}\overline{}_p/_p\text{)}}`$ (cf. \[Fo1\] §2.3, 3.1). Il hérite de $`B_{cris}`$ d’un endomorphisme $`K`$-linéaire $`\phi `$, le Frobénius cristallin, et lorsque nous parlerons des valeurs propres de ce dernier, ce sera toujours vu comme $`K`$-endomorphisme. On rappelle que $`V`$ est dite cristalline sur $`dim_KD_{cris}(V)=dim_K(V)`$ (cf. \[Fo2\] 5.4). On parlera parfois, par abus, du Frobénius cristallin de $`V`$ pour celui de $`D_{cris}(V)`$.

### 2.7. Géométrie rigide

Si $`X/F`$ est un affinoide sur un corps local $`F`$, on notera $`A(X)`$ la $`F`$-algèbre affinoide de $`X`$. Si $`X`$ est réduit, la norme sup. sur $`X`$ fait de $`A(X)`$ une $`F`$-algèbre de Banach commutative. On notera $`A(X)^0`$ les éléments de $`A(X)`$ de norme $`1`$. $`𝔸^n`$ désigne l’espace affine rigide analytique de dimension $`n`$ sur $`_p`$.

## 3. Rappel sur la classification de Rogawski

### 3.1. Les groupes unitaires considérés

Soit $`f`$ la forme hermitienne sur $`E^3`$ de matrice

$$\left(\begin{array}{ccc}& & 1\\ & 1& \\ 1& & \end{array}\right)$$

Comme Rogawski (\[Rog1\] p. 66,67), on note $`\text{U}(\mathrm{2,1})`$ le groupe unitaire sur $``$ défini par cette forme, il est quasi-déployé. On fixe $`\text{U}(3)`$ une forme intérieure de $`\text{U}(\mathrm{2,1})`$ compacte à l’infini, inchangée aux places finies (\[Clo, lemme 2.1\]).

### 3.2. Classification de Rogawski

#### 3.2.1.

Suivant Rogawski, et comme prédit par les conjectures d’Arthur, les représentations automorphes discrètes des groupes $`\text{U}(\mathrm{2,1})`$ et $`\text{U}(3)`$ sont regroupées en $`A`$-paquets de $`5`$ types (\[Rog1, 2.9\]). Chaque $`A`$-paquet $`\mathrm{\Pi }`$ possède un changement de base $`\pi _E`$ qui est une représentation automorphe de $`\text{GL}_3/E`$ (\[Rog1, 2.8\]).

#### 3.2.2.

Étant donné un nombre premier $`l`$ et un isomorphisme de corps $`\iota _l:\overline{}_l`$, on peut associer grâce au travaux de Rogawski à un $`A`$-paquet $`\mathrm{\Pi }`$ de $`\text{U}(3)`$ (resp. de $`\text{U}(\mathrm{2,1})`$ s’il est cohomologique à l’infini) une représentation $`l`$-adique continue, semi-simple, découpée dans la cohomologie $`l`$-adique des surfaces de Picard:

$$\rho _l(\mathrm{\Pi }):\text{Gal(}\overline{E}/E\text{)}\text{GL}_3(\overline{}_l),$$

caractérisée par la propriété suivante, pour toute place finie $`w`$ de $`E`$:

(3) $`\text{Si }w\text{ ne divise pas }l\text{disc}(E)\text{ et si }(\pi _E)_w\text{ est non ramifiée, }\rho _l(\mathrm{\Pi })_{|D_w}L_l((\pi _E)_w)`$
Autrement dit $`\rho _l`$ est non ramifiée en $`w`$, et le polynôme caractéristique d’un Frobénius géométrique $`\text{Frob}_w`$ est égal à celui de la matrice de Hecke de $`(\pi _E)_w`$. En conséquence, $`\rho _l\rho _l^{}`$. Lorsque $`\mathrm{\Pi }`$ est sous-entendu, on notera $`\rho _l`$ pour $`\rho _l(\mathrm{\Pi })`$. Bien que le choix de $`\iota _l`$ n’est pas apparent dans la notation $`\rho _l`$, il sera toujours sous-entendu.

#### 3.2.3.

Nous nommons et décrivons ci-dessous les 5 types de $`A`$-paquets, ainsi que les propriétés des représentations galoisiennes associées quand elles existent. Quand le $`A`$-paramètre $`a`$ et le $`L`$-paramètre $`\varphi `$ du changement de base $`\pi _E`$ du paquet considéré ont un sens non conjectural (i.e. se factorise par le quotient $`W_E\times SL_2()`$ du groupe conjectural $`L_E\times SL_2()`$), nous les donnons.

L’existence de $`\rho _l`$ satisfaisant 3 résulte, dans les cas non triviaux, du théorème 1.9.1 de \[Bla-Rog1\], mais le lecteur prendra garde que la définition de $`\rho _l`$ que nous prenons (motivée par la vérification de 3 §3.2.2) ne coïncide pas avec la représentation appelée $`\rho _l`$ loc. cit., que nous noterons $`\rho _{l,rog}`$ ci-dessous (qui d’ailleurs n’est pas toujours de dimension 3).

* Cas stable tempéré; l’existence de $`\rho _l`$ résulte de \[Bla-Rog1, théorème 1.9.1 (a)\]. Notre $`\rho _l`$ est $`\rho _{l,rog}(1)`$ avec les notations de loc. cit. La représentation $`\rho _l`$ est irréductible666Nous ne nous servirons pas de ce fait. Voir la remarque suivant la proposition 9.1 et satisfait $`\rho _l\rho _l^{}`$.
* Cas endoscopique tempéré de type $`(\mathrm{2,1})`$; l’existence de $`\rho _l`$ résulte de \[Bla-Rog1, théorème 1.9.1 (b)\] (on définit $`\rho _l`$ comme $`\rho _{l,rog}(1)\chi _l^1\chi _l(1)`$ avec les notations de loc. cit.).

On a $`\rho _l\tau _l\chi _l`$, avec $`\tau _l`$ irréductible de dimension $`2`$, $`\tau _l\tau _l^{}`$, $`\chi _l=\chi _l^{}`$.
* Cas endoscopique tempéré de type $`(\mathrm{1,1,1})`$ ; le $`A`$-paramètre $`a`$ est trivial sur facteur $`SL_2()`$, et l’on a

$$a_{|L_E}=\varphi =\psi _1\psi _2\psi _3,$$

$`\psi _i:W_E^{}`$ vérifiant $`\psi _i=\psi _i^{}`$. Les $`A`$-paquets de ce type sont cohomologiques quand les caractères de Hecke $`\psi _i`$ sont algébriques, on définit $`\rho _l`$ par $`(\psi _1)_l(\psi _2)_l(\psi _3)_l`$
* Cas endoscopique non tempéré; le $`A`$-paramètre $`a`$ vérifie

$$wW_E,a(w)=\left(\begin{array}{ccc}\chi (w)& & \\ & \psi (w)& \\ & & \chi (w)\end{array}\right)$$

$`\chi `$ et $`\psi `$ sont des caractères de Hecke de $`E`$ vérifiant $`\chi =\chi ^{}`$, $`\psi =\psi ^{}`$, et

$$a_{|\text{SL}_2()}\left(\begin{array}{cc}\alpha & \beta \\ \gamma & \delta \end{array}\right)=\left(\begin{array}{ccc}\alpha & 0& \beta \\ 0& 1& 0\\ \gamma & 0& \delta \end{array}\right).$$

Nous noterons le $`A`$-paquets correspondant $`\mathrm{\Pi }(\chi ,\psi )`$. Le $`L`$-paramètre $`\varphi `$ vérifie donc

$$wW_E,\varphi (w)=\left(\begin{array}{ccc}\chi (w)|w|^{1/2}& & \\ & \psi (w)& \\ & & \chi (w)|w|^{1/2}\end{array}\right),$$

et l’on pose, si $`\chi ||^{1/2}`$ et $`\psi `$ sont algébriques, auquel cas $`\varphi `$ est cohomologique à l’infini

$$\rho _l=(\chi ||^{1/2})_l\psi _l(\chi ||^{1/2})_l.$$

Nous analyserons les $`A`$-paquets de ce type de manière beaucoup plus détaillée dans la section suivante.
* Cas stable non tempéré ; le $`A`$-paramètre $`a`$ vérifie

$$wW_E,a(w)=\left(\begin{array}{ccc}\chi (w)& & \\ & \chi (w)& \\ & & \chi (w)\end{array}\right),$$

$`\chi `$ est un caractère de Hecke de $`E`$ vérifiant $`\chi =\chi ^{}`$ et $`a_{|\text{SL}_2()}`$ est la représentation irréductible de dimension $`3`$. On a donc pour $`L`$-paramètre

$$\varphi (w)=\left(\begin{array}{ccc}\chi (w)|.|^1& & \\ & \chi (w)& \\ & & \chi (w)|.|\end{array}\right),$$

$`\chi \chi ^{}`$. Les $`A`$-paquets correspondants sont des singletons, composés des représentations automorphes de dimension $`1`$.

### 3.3. Propriétés de $`\rho _l`$.

On conjecture naturellement que la construction $`\mathrm{\Pi }\rho _l`$ est compatible avec la correspondance de Langlands locale. Plus précisément, on s’attend à ce que l’énoncé suivant soit vérifié:

(COMP) Si $`\mathrm{\Pi }`$ est un $`A`$-paquet, de changement de base $`\pi _E`$, alors pour tout $`l`$, et pour toute place finie $`v`$ de $`E`$ ne divisant pas $`l`$, la Frobenius-semi-simplifié de la représentation galoisienne $`(\rho _l)_{|D_v}`$ est isomorphe à $`L_l((\pi _E)_v)`$.

Il est vrai pour les places finies $`v`$ ne divisant pas $`\text{disc}(E)\text{cond}(\chi _0)`$, (c’est la propriété 3, §3.2.2). De plus, on pourrait montrer qu’il est vrai pour tout $`v`$ si $`\pi _E`$ est de carré intégrable à au moins une place finie, en utilisant \[HT, théorème \]. Malheureusement cette hypothèse ne sera jamais vérifiée dans les cas que nous aurons à traiter.

Nous allons démontrer dans ce qui suit les cas particuliers de (COMP) dont nous aurons besoin. La propriété suivante est une extension de la propriété 3 aux places divisant $`\text{disc}(E)`$. Il sera utile de nous placer dans un contexte un peu plus général : Soit $`F`$ un corps totalement réel, $`\text{U}(3)/F`$ le groupe unitaire à trois variables associé à l’extension $`EF/F`$, compact à toutes les places à l’infini. Pour $`\mathrm{\Pi }`$ un $`A`$-paquet de $`\text{U}(3)/F`$, les travaux de Rogawski définissent encore, tout comme dans le cas $`F=`$, un changement de base $`\pi _{EF}`$ à $`\text{GL}_3/EF`$, et des représentations galoisiennes $`\rho _l`$ de $`\text{Gal}(\overline{}/EF)`$, vérifiant l’analogue de 3 §3.2.2.

###### Proposition 3.1.

Si $`\mathrm{\Pi }`$ est un $`A`$-paquet de $`\text{U}(3)_F`$, de changement de base $`\pi _{EF}`$, alors pour tout $`l`$, et pour toute place finie $`v`$ de $`EF`$ ne divisant pas $`l`$$`\pi _{EF}`$ est non ramifiée, $`\rho _l|D_v`$ est non ramifiée.

Preuve: Soit $`v`$ une place finie de $`EF`$ ne divisant pas $`l`$ et telle que $`(\pi _{EF})_v`$ est non ramifiée, on veut montrer que $`\rho _l`$ est non ramifiée en $`v`$. On note $`w`$ la place de $`F`$ que divise $`v`$. Montrons d’abord le résultat si $`w`$ ne divise pas le discriminant relatif de $`EF/F`$.

Soit $`G_F^{}`$ désigne la forme intérieure de $`\text{U}(3)_F`$ quasi-déployée à toutes les places finies de $`F`$ et à une seule place infinie, par \[Rog1, théorème 2.6.1\], le $`A`$-paquet $`\mathrm{\Pi }`$ se transfère en un $`A`$-paquet $`\mathrm{\Pi }^{}`$ cohomologique du groupe $`G_F^{}`$. $`\rho _l`$ est alors construite dans la cohomologie de la variété de Shimura associé à $`G_F^{}`$, sans structure de niveau en $`w`$. Or cette variété de Shimura a bonne réduction en $`v`$ quand $`v`$ est non ramifié dans $`EF/F`$ : cela résulte d’un simple calcul de déformation du problèmes de modules dont cette variété de Shimura est l’espace de module, comme celui fait en \[Bel1, proposition I.2.1.5\]. Cela conclut.

On suppose donc que $`v`$ divise le discriminant de $`EF/F`$, en particulier $`v`$ divise un premier $`p`$ ramifié dans $`E`$, $`pl`$. Soit $`F^{}`$ un corps quadratique réel ramifié en $`p`$ et tel que $`EF^{}/F^{}`$ est décomposé en l’unique place de $`F^{}`$ au-dessus de $`p`$. Il est aisé de voir qu’un tel corps existe toujours. Par exemple si $`p2`$, $`E=(\sqrt{pD})`$ avec $`D`$ sans facteur carré, alors il existe $`D^{}`$ premier à $`p`$ et sans facteur carré tel que $`DD^{}`$ est un carré modulo $`p`$, $`F^{}=(\sqrt{pD^{}})`$ convient. Alors $`EF`$ ne contient pas $`F^{}`$, $`FF^{}`$ est totalement réel et ramifié au dessus de $`w`$, en une place que l’on note $`w^{}`$, et $`EFF^{}/FF^{}`$ est alors décomposé au dessus de $`w^{}`$.

Notons $`\pi _{EFF^{}}`$ le changement de base, à la Arthur-Clozel (\[AC\], théorème 4.2, chapitre 3) de $`\pi _{EF}`$ à $`\text{GL}_{3}^{}{}_{EFF^{}}{}^{}`$. La représentation $`\pi _{EFF^{}}`$ satisfait $`\pi _{EFF^{}}^\tau \pi _{EFF^{}}^{}`$, car c’est déjà le cas de $`\pi _{EF}`$. D’après Rogawski (\[Roglivre, page xi\]) elle descend donc en un $`A`$-paquet $`\mathrm{\Pi }_{FF^{}}`$ du groupe unitaire à trois variables quasi-déployé $`\text{U}(\mathrm{2,1})_{FF^{}}`$ sur $`FF^{}`$, et même à $`\text{U}(3)_{FF^{}}`$. Mais s’il on suit les constructions précédentes, un groupe de décomposition en $`v`$ de $`\text{Gal}(\overline{}/EF)`$ s’identifie à un groupe de décomposition en $`w^{}`$ de $`\text{Gal}(\overline{}/EFF^{})`$, et $`\pi _{EFF^{}}`$ est toujours non ramifiée en $`w^{}`$. On applique alors le premier paragraphe à $`FF^{}`$ et $`\mathrm{\Pi }_{FF^{}}`$, ce qui conclut. $`\mathrm{}`$

###### Proposition 3.2.

Soit $`\mathrm{\Pi }`$ un $`A`$-paquet de $`\text{U}(3)`$, $`l`$ un nombre premier, $`v`$ une place finie de $`E`$ ne divisant pas $`l`$, telle que $`L((\pi _E)_v)=\varphi _1\varphi _2\varphi _3`$, où les $`\varphi _i`$ sont des caractères continus $`E_v^{}^{}`$. Soit $`I^{}:=\text{rec}_v(\text{Ker}((\varphi _1\varphi _2\varphi _3)_{|𝒪_{E_v}^{}}))`$, alors $`\rho _l(I^{})=1`$.

Preuve: Soit $`p`$ premier au dessous de $`v`$, considérons l’extension abélienne finie de $`E_v`$ définie par

$$M:=\overline{E_v}^{\text{rec}_{E_v}(\text{Ker}(\varphi _1\varphi _2\varphi _3))}$$

Supposons que l’on sache trouver un corps de nombres $`F/`$ ayant les propriétés suivantes :

* $`F`$ est totalement réel,
* $`F`$ est construit à partir de $``$ et d’extensions abéliennes successives,
* $`EF`$ admet une place $`w`$ divisant $`v`$ telle que $`(EF)_w/E_v`$ soit isomorphe à $`M/E_v`$.

Soit $`\pi _{EF}`$ le changement de base à $`EF`$ de $`\pi _E`$ (\[AC, théorème 4.2 et 5.1\], applicable par ii.), par compatibilité du changement de base global au changement de base local appliqué à l’extension $`(EF)_w/E_v`$, on a que $`(\pi _{EF})_w`$ est non ramifiée (utilisant iii.). Si $`\mathrm{\Pi }_F`$ est le $`A`$-paquet de $`\text{U}(3)_F`$ changement de base à $`F`$ de $`\mathrm{\Pi }`$ par le changement de base de Rogawski, son changement de base à $`E`$ est $`\pi _{EF}`$ par multiplicité $`1`$ forte dans le spectre discret de $`\text{GL}(3)`$. La proposition 3.1 conclut.

Il reste à trouver un tel corps de nombres $`F`$. Fixons $`K/`$ un corps quadratique réel ayant une place $`v^{}`$ divisant $`p`$ tel que $`K_v^{}__pE_v`$. D’après Artin-Tate (\[AT, théorème 5, page 103\]), on peut trouver une extension abélienne finie $`F`$ de $`K`$ totalement réelle, et ayant une place $`v^{\prime \prime }`$ divisant $`v^{}`$ telle que $`F_{v^{\prime \prime }}/K_v^{}`$ soit isomorphe à $`M/E_v`$. $`EFE_{}F`$ est alors décomposé au dessus de $`F_{v^{\prime \prime }}`$, le choix d’une place $`w`$ de $`EF`$ au dessus de $`v^{\prime \prime }`$ satisfait donc iii, ce qui conclut. $`\mathrm{}`$

###### Proposition 3.3.

Soit $`l`$ un nombre premier décomposé dans $`E`$, $`\iota _l`$ comme plus haut, $`\mathrm{\Pi }`$ un $`A`$-paquet pour $`\text{U}(3)`$ de changement de base $`\pi _E`$, $`v_1`$ une place de $`E`$ divisant $`l`$ telle que $`(\pi _E)_v`$ est non ramifiée, alors :

1. $`(\rho _l(\mathrm{\Pi }))_{|D_v}`$ est cristalline en $`v`$.
2. Le polynôme caractéristique du Frobénius cristallin de $`(\rho _l(\mathrm{\Pi }))_{|D_v}`$ est l’image par $`\iota _l`$ de $`L((\pi _E)_v)(\text{Frob}_v)`$, $`\text{Frob}_v`$ étant un Frobénius géométrique de $`W_{F_v}`$,
3. Si le $`L`$-paramètre de $`\mathrm{\Pi }_{\mathrm{}}`$ a sa restriction à $`W_{}=^{}`$ de la forme $`(z/\overline{z})^{a_1}(z/\overline{z})^{a_2}(z/\overline{z})^{a_3}`$ avec $`(a_1,a_2,a_3)^3`$, $`a_1>a_2>a_3`$, les poids de Hodge-Tate de $`(\rho _l(\mathrm{\Pi }))_{|D_v}`$ sont les $`a_i`$ si $`v`$ est la place de $`E`$ induite par $`E\stackrel{\iota _l}{}\overline{}_l`$, les $`a_i`$ sinon.

Preuve: La proposition est immédiate si le $`L`$-paramètre de $`\mathrm{\Pi }`$ est somme de trois caractères, il ne reste donc qu’à traiter les cas où $`\mathrm{\Pi }`$ est stable tempéré ou endoscopique tempéré de type $`(\mathrm{2,1})`$ (cf. §3.2). Nous nous placerons par exemple dans le premier cas, le second se traitant de manière identique.

Soit $`F`$ un corps quadratique réel décomposé au dessus de $`l`$, $`\mathrm{\Pi }_F`$ le changement de base à $`F`$ du $`A`$-paquet $`\mathrm{\Pi }`$ (\[Rog1\] 2.6.1), d’après \[Roglivre, page xi\] $`\mathrm{\Pi }_F`$ descend en un $`A`$-paquet cohomologique du groupe $`H/F`$ suivant : $`H/F`$ est une forme intérieure du groupe quasi-déployé sur $`\text{U}(\mathrm{2,1})/F`$, non quasi-déployée uniquement à l’une des deux places infinies. Supposons donc que $`\mathrm{\Pi }_F`$ est stable tempéré, on peut choisir une représentation non ramifiée en $`l`$, disons $`\pi `$, dans ce $`A`$-paquet. Par \[Rog1\] §4.3, $`\rho _l(\pi )(1)`$ apparaît dans la cohomologie $`l`$-adique d’un schéma abélien $`A`$ sur une certaine surface de Picard $`X_U/O_{EF}`$, cette dernière étant projective sur $`O_{EF}`$ par l’hypothèse sur $`H`$, et lisse sur $`O_{(EF)_v}`$ car on peut la choisir un niveau $`U`$ qui soit maximal hyperspécial en $`v`$ par notre hypothèse sur $`v`$. L’assertion $`1`$ résulte alors de \[Fa2\] .

Il est bien connu qu’alors la propriété $`2`$ découle de la construction de motivique de $`\rho _l(\mathrm{\Pi })(1)`$ (\[Rog1\] §4.3) et d’un théorème de Katz-Messing (\[KMe, théorème 2.2\]), combinés à (3) §3.2.2 et au changement de base lisse en cohomologie $`l`$-adique. De même, la propriété $`3`$ découle d’un théorème de G.Faltings (\[Fa1\]). $`\mathrm{}`$.

## 4. Représentation non tempérée attachée à un caractère de Hecke

### 4.1. Hypothèses sur le caractère de Hecke

Soit $`\chi _0`$ un caractère de Hecke de $`E`$, vérifiant

$$\chi _0(z\overline{z})=1,z𝔸_E^{},\text{ et }\chi _{0,\mathrm{}}(z_{\mathrm{}})=z_{\mathrm{}}^k/|z_{\mathrm{}}|^k,\text{ }k\text{ est un entier impair positif }$$

Par la première hypothèse, sa fonction $`L`$ complète $`L(\chi _0,s)`$ a pour équation fonctionnelle (\[Tate\] 3.6.8 et 3.6.1)

$$L(\chi _0,s)=\epsilon (\chi _0,s)L(\chi _0\mathrm{,1}s),\epsilon (\chi _0\mathrm{,1}/2)=\pm 1$$

On utilisera de plus le caractère algébrique $`\chi :=\chi _0|.|^{1/2}`$, dont on note $`\chi _v`$ la composante locale en une place $`v`$ de $`E`$. On a $`\chi ^{}=\chi |.|^1`$, et si $`\mathrm{}`$ désigne $`E`$, $`\chi _{\mathrm{}}(z)=z^{(k+1)/2}\overline{z}^{(1k)/2}`$. On notera $`\text{cond}(\chi _0)`$ le conducteur de $`\chi _0`$, qui est aussi celui de $`\chi `$, et $`\text{disc}(E)`$ le discriminant de $`E`$.

Dans les sous-parties qui suivent, nous décrivons, suivant Rogawski, les composantes locales du $`A`$-paquet endoscopique non tempéré $`\mathrm{\Pi }(\chi \mathrm{,1})`$.

### 4.2. Composantes locales en $`p`$ décomposé

#### 4.2.1.

Soit $`p=v_1v_2`$ est un nombre premier décomposé dans $`E`$, la donnée des $`v_i`$ nous fournit un isomorphisme $`\text{U}(3)(_p)\text{GL}_3(E_{v_i})=\text{GL}_3(_p)`$. Il faut noter que ces deux isomorphismes diffèrent d’un automorphisme extérieur de $`\text{GL}_3(_p)`$. Fixons celui avec $`v_1`$ par exemple.

#### 4.2.2.

Soit $`P=MN`$ le parabolique standard de $`\text{U}(3)(_p)=\text{GL}_3(_p)`$ de type $`(\mathrm{2,1})`$, considérons le caractère complexe lisse $`\lambda _p`$ de $`M=\text{GL}_2(_p)\times \text{GL}_1(_p)`$ défini par $`\lambda _p(x,y)=\chi _{0,v_1}(det(x))`$. L’induite parabolique normalisée de $`\lambda _p`$ est irréductible (\[Rog2\] p.196), on la note $`\pi _p^n(\chi _0)`$.

#### 4.2.3.

Si $`\chi `$ est non ramifié en $`p`$ (décomposé), $`\pi _p^n(\chi _0)`$ est non ramifiée, et a donc un vecteur fixe par n’importe quel compact maximal. On en choisit un, noté $`K_p`$, égal à $`\text{U}(3)(_p)`$ pour $`p`$ assez grand (\[Ti, 3.9.1\]).

### 4.3. Composantes locales en $`p`$ inerte ou ramifiée

#### 4.3.1.

Suivant Rogawski (\[Rog2\] p. 396), définissons pour $`p`$ un nombre premier inerte ou ramifié dans $`F`$, une représentation lisse irréductible $`\pi _p^n(\chi _0)`$ de $`\text{U}(\mathrm{2,1})(_p)=\text{U}(3)(_p)`$ de la manière suivante :

On voit $`\chi _{0,p}`$ comme caractère du tore diagonal de $`\text{U}(3)(_p)`$ par :

$$\left(\begin{array}{ccc}\alpha & & \\ & \beta & \\ & & \overline{\alpha }^1\end{array}\right)\chi _{0,p}(\alpha )$$

L’induite parabolique normalisée de $`\chi _p`$ a deux facteurs de Jordan-Hölder, dont l’un est non tempéré, on le note $`\pi _p^n(\chi _0)`$ (\[Roglivre\] p. 173, \[KE\] p. 126)

#### 4.3.2.

Si $`p`$ est inerte et $`\chi `$ non ramifié en $`p`$, $`\pi _p^n(\chi _0)`$ est non ramifiée et a donc un vecteur fixe par n’importe quel compact maximal hyperspécial. Là encore, on en choisit un $`K_p`$, que l’on prend égal à $`\text{U}(3)(_p)`$ quand on le peut (pour presque tout $`p`$, cf. \[Ti, 3.9.1\])

#### 4.3.3.

Si $`p`$ est ramifié, le groupe $`\text{U}(3)(_p)`$ est un groupe unitaire ramifié et n’a donc pas de compact maximal hyperspécial, mais l’une des deux classes de conjugaison de compacts maximaux est très spéciale au sens de \[La, page 88\]. Si $`\chi `$ est non ramifié en $`p`$, la représentation $`\pi _p^n(\chi _0)`$ admet un vecteur fixe par n’importe quel compact maximal très spécial d’après \[La, prop 3.6.2\]. On en choisit un que l’on note $`K_p`$.

### 4.4. Composantes locales à l’infini

Tout $`L`$-paramètre ”relevant” de $`\text{U}(3)()`$ a sa restriction à $`W_{}=^{}`$ de la forme :

$$z(z/\overline{z})^{a_1}(z/\overline{z})^{a_2}(z/\overline{z})^{a_3},a_1>a_2>a_3^3$$

Si $`k_1k_2k_3^3`$, On note $`\pi _{1,\mathrm{}}(k_1,k_2,k_3)`$ la représentation de $`\text{U}(3)()`$ sur $`V_{k_1,k_2,k_3}()`$ (2), déduite de l’inclusion $`\text{U}(3)()\text{U}(3)()\text{GL}_3()`$ donnée par $`E`$. Son $`L`$-paramètre a pour changement de base à $`^{}`$ le morphisme plus haut avec $`(a_1,a_2,a_3):=(k_1+1,k_2,k_21)`$ (\[Rog1\] §3.1).

### 4.5. Existence de $`\pi (\chi _0)`$

###### Proposition 4.1.

Supposons que $`k>1`$, et que $`\epsilon (\chi _0\mathrm{,1}/2)=1`$, alors il existe une unique représentation automorphe $`\pi (\chi _0)`$ de $`\text{U}(3)`$ dont le changement de base à $`E`$ a pour $`L`$-paramètre le morphisme $`W_E\text{GL}_3()`$ défini par

$$\left(\begin{array}{ccc}\chi _0|.|^{1/2}& & \\ & 1& \\ & & \chi _0|.|^{1/2}\end{array}\right)$$

et telle que

* Pour toute place $`v,\pi (\chi _0)_v=\pi _v^n(\chi _0)`$,
* $`\pi (\chi _0)_{\mathrm{}}=\pi _{1,\mathrm{}}(\frac{k1}{2},\frac{k1}{2}\mathrm{,1})`$.

Preuve: D’après \[Rog2\], page 397, le $`A`$-paquet $`\mathrm{\Pi }(\chi \mathrm{,1})`$ existe pour $`\text{U}(3)`$, car $`k>1`$. D’après \[Rog2\], page 395 et 396, les $`A`$-paquets locaux correspondants sont les singletons $`\{\pi _p^n(\chi _0)\}`$ quand $`p`$ est décomposé (cf. 4.2.2) et des paires $`\{\pi _p^n(\chi _0),\pi _p^s(\chi _0)\}`$ quand $`p`$ est inerte ou ramifié (où $`\pi _p^n`$ a été définie en 4.3.1). Enfin, d’après \[Rog2\] page 397, le $`A`$-paquet local à l’infini est un singleton $`\{\pi (\chi _0)_{\mathrm{}}\}`$ avec $`\pi (\chi _0)_{\mathrm{}}:=\pi _{1,\mathrm{}}(\frac{k1}{2},\frac{k1}{2}\mathrm{,1})`$.

Considérons la représentation de $`\text{U}(3)(𝔸)`$ :

$$\pi (\chi _0)=(\underset{p\text{ premier}}{}\pi _p^n(\chi _0))\pi (\chi _0)_{\mathrm{}}.$$

D’après \[Rog2\], théorème 1.2, la multiplicité de $`\pi `$ dans le spectre automorphe de $`\text{U}(3)`$ est $`(1+\epsilon (\chi _0\mathrm{,1}/2)(1)^N)/2`$, où $`N`$, défini dans \[Roglivre\] page 243, est le nombre de places à l’infini de $``$$`\text{U}(3)`$ est compact; on a donc $`N=1`$, et la multiplicité de $`\pi (\chi _0)`$ est donc 1. $`\mathrm{}`$

### 4.6. Types

###### Proposition 4.2.

Pour $`p`$ un nombre premier divisant $`disc(\chi _0)`$, il existe un groupe $`K_J=K_J(p)`$ de $`\text{U}(3)(_p)`$, et une représentation irréductible $`J=J(p)`$ de $`K_J`$ tels que

* $`\text{Hom}_{K_J}(J,\pi _p^n(\chi _0)(\chi _0^1det))0`$.
* Pour toute représentation lisse irréductible $`\pi `$ de $`\text{U}(3)(_p)`$ vérifiant $`\text{Hom}_{K_J}(J,\pi )0`$, pour toute place $`v`$ de $`E`$ au-dessus de $`p`$, notant $`\pi _{E_v}`$ le changement de base de $`\pi `$ à $`E_v`$, il existe trois caractères lisses non ramifiés $`\varphi _1,\varphi _2,\varphi _3:E_{v}^{}{}_{}{}^{}^{}`$, tels que

$$L(\pi _{E,v})=\varphi _1\varphi _2\varphi _3\chi _0^1.$$

En particulier, si $`lp`$, $`I^{}:=\mathrm{ker}(\chi _l)_{|I_v}`$, et si $`\pi `$ est la composante en $`p`$ d’une représentation automorphe irréductible $`\pi ^{}`$ de $`\text{U}(3)`$, alors $`\rho _l(\pi ^{})(I^{})=1`$.

Preuve:  Supposons d’abord que $`p=v_1v_2`$ est décomposé dans $`E`$. On note $`G=\text{GL}_3(_p)=\text{U}(3)(_p)`$ (l’isomorphisme dépendant de la place $`v_1`$, comme en 4.2.1), $`P`$ le parabolique standard de type $`(\mathrm{2,1})`$, $`M=\text{GL}_2(_p)\times \text{GL}_1(_p)`$ son Levi (comme en 4.2.2), $`N`$ son radical unipotent, $`\chi _0=\chi _{0,v_1}`$ et $`m`$ la $`p`$-valuation du conducteur de $`\chi _0`$.

Notons $`K_J`$ le sous-groupe de $`G`$ des matrices dont la réduction modulo $`p^m`$ est de la forme

$$\left(\begin{array}{ccc}& & \\ & & \\ 0& 0& y\end{array}\right),$$

et notons $`J`$ le caractère complexe lisse de ce groupe qui à une matrice comme ci-dessus associe $`\chi _0(y)^1`$.

Par définition (cf. 4.2.2 pour la définition de $`\lambda _p`$), $`\pi _p^n(\chi _0)\chi _0^1det`$ est la représentation de $`G`$ sur l’espace

$$V:=\{f:G,f\text{ lisse},bP,gG,f(bg)=\lambda _p(b)\delta _P^{1/2}(b)\chi _0^1(det(b))f(g)\}$$

donnée par $`(g.f)(x)=f(xg)`$. Définissons $`f:G`$ par

$`f(bk)`$ $`=`$ $`\lambda _p(b)\delta _P^{1/2}(b)\chi _0^1(det(b))\chi _0(k)bP,kK_J,`$
$`f(g)`$ $`=`$ $`0gG\backslash PK_J`$
On vérifie aisément que $`f`$ est bien définie, et qu’elle définit un élément non nul de $`\text{Hom}_{K_J}(J,\pi _p^n(\chi _0)(\chi _0^1det)).`$

Inversement, soit $`\pi `$ une représentation lisse irréductible de $`G`$, et supposons que

$$\text{Hom}_{K_J}(J,\pi )0.$$

Notons $`B_JK_J`$ l’ensemble des matrices de $`K_J`$ qui sont triangulaires supérieures modulo $`p`$. On a alors $`B_JM=B\times \text{GL}_1(_p)`$ ou $`B`$ est le sous-groupe d’Iwahori standard (constitué des matrices triangulaires supérieures modulo $`p`$) de $`\text{GL}_2(_p)`$. La restriction de $`J`$ à $`B_JM`$ étant simplement le caractère $`\chi _0^1`$ sur le second facteur $`\text{GL}_1(_p)`$, le couple $`(B_JM,J_{|B_JM})`$ est un $`𝔰_M`$-type de $`B_J`$, où $`𝔰_M(M)`$ (le spectre de Bernstein de $`M`$, cf. \[Bus, page 772\]) est la classe d’équivalence inertielle de $`(T,\chi _0^1)`$, $`T`$ désigne le tore maximal standard de $`\text{GL}_3(_p)`$ et $`\chi _0^1`$ le caractère de $`T`$ envoyant $`\text{diag}(x,y,z)`$ sur $`\chi _0^1(z)`$.

Il résulte immédiatement de la définition de recouvrement (cover) (\[Bus-Kut1, 8.1\]) que $`(B_J,J_{|B_J})`$ est un $`G`$-recouvrement de $`(B_JM,J_{|B_JM})`$. Le corollaire \[Bus-Kut1, 8.4\] (ou bien \[Bus-Kut2, page 55\]) assure alors que $`(B_J,J_{|B_J})`$ est un $`𝔰`$-type pour $`G`$, où $`𝔰(G)`$ est la classe d’équivalence inertielle de $`(T,\chi _0^1)`$. Comme $`\pi `$ contient $`(K_J,J)`$, elle contient aussi $`(B_J,J)`$, est son support cuspidale est donc de la forme $`(\varphi _1,\varphi _2,\chi _0^1\varphi _3)`$, où les $`\varphi _i`$ sont des caractères lisses non ramifiés de $`_p^{}`$. Autrement dit, d’après les propriétés de la correspondance de Langlands locale, $`L(\pi )`$ a pour semi-simplification $`\varphi _1\varphi _2\chi _0^1\varphi _3`$. Nous voulons maintenant montrer que $`L(\pi )`$ est semi-simple. Comme $`\chi _0^1\varphi _3`$ est ramifié, mais pas $`\varphi _1`$ et $`\varphi _2`$, on peut en tous cas écrire $`L(\pi )=r\chi _0^1\varphi _3`$, où $`r^{ss}=\chi _1\chi _2`$, et nous voulons montrer que $`r`$ est semi-simple.

D’après ce qui précède et les propriétés de $`L`$, il existe une représentation lisse irréductible $`(\rho ,W)`$ de $`\text{GL}_2(_p)`$ de support cuspidal $`(\varphi _1,\varphi _2)`$ telle que

$$\pi \text{Ind}_P(\rho (\varphi _3\chi _0^1)),L(\rho )=r$$

$`\rho (\varphi _3\chi _0^1`$) désigne la représentation du parabolique standard sur $`W`$ qui à $`(x,y)\text{GL}_2(_p)\times \text{GL}_1(_p)=M`$ associe $`\varphi _3(y)\chi _0(y)^1\rho (x)\text{End}(W)`$. L’espace de cette induite est l’ensemble des fonctions $`f:GW`$, lisses, vérifiant $`m=(x,y)\text{GL}_2(_p)\times \text{GL}_1(_p)=M,uN,gG,`$

(4) $`f(mug)=\delta _P^{1/2}(m)\chi _0^1(y)\varphi _3(y)\rho (x)f(g).`$
Comme $`\text{Hom}_{K_J}(J,\pi )0`$, il existe une fonction non nulle $`f:GW`$ dans l’espace de $`\text{Ind}_P(\rho (\varphi _3\chi _0^1))`$ qui vérifie

(5) $`(k.f)(g)=f(gk)=f(g)J_K(k)=f(g)\chi _0(k)^1.`$
Choisissons $`v=f(g)W`$ non nul. Combinant les équations 4 et 5, il vient

$$x\text{GL}_2(_p),\rho (x)v=v.$$

La représentation $`\rho `$ est donc non ramifiée si bien que $`r=L(\rho )`$ est semi-simple, et finalement $`L(\pi )=\varphi _1\varphi _2\varphi _3\chi _0^1.`$

Le “en particulier” découle alors de la proposition 3.2

Le cas où $`p`$ est inerte ou ramifié dans $`E`$ est plus simple, grâce aux travaux de L.Blasko (\[Blas\]) : $`\pi _p^n(\chi _0)`$ appartient à la série principale, et son type défini en \[Blas, partie 7, page 181\] fait l’affaire. $`\mathrm{}`$

## 5. $`I`$-invariants et algèbre d’Atkin-Lehner

### 5.1. Notations

#### 5.1.1.

Dans toute cette section, $`p`$ est un nombre premier fixé. $`T`$ désigne le tore diagonale de $`G:=\text{GL}_n(_p)`$, $`B`$ son Borel supérieur, $`K:=\text{GL}_n(_p)`$, $`W𝔖_nK`$, $`IK`$ le sous-groupe d’Iwahori composé des éléments triangulaires supérieurs modulo $`p`$, $`\mathrm{\Delta }`$ le sous-groupe de $`T`$ des éléments à coefficients dans $`p^{}`$, $`\mathrm{\Delta }^+`$ le sous-monoïde de $`\mathrm{\Delta }`$ des éléments de la forme $`\text{diag}(p^{a_1},\mathrm{},p^{a_n})`$ avec $`a_1\mathrm{}a_n`$. Si $`X`$ est un groupe topologique localement compact, $`\delta _X`$ désigne le caractère module de $`X`$.

#### 5.1.2.

Si $`U`$ est un sous-groupe compact ouvert de $`G`$, l’algèbre de Hecke de $`G`$ relativement à $`U`$, $`𝒞^{\mathrm{}}(U\backslash G/U)`$, est l’algèbre de convolution des fonctions complexes lisses à support compact sur $`G`$ invariantes à droite et à gauche par $`U`$. Si $`gG`$, on note $`[UgU]𝒞^{\mathrm{}}(U\backslash G/U)`$ la fonction caractéristique de de $`UgUG`$, on prend la convention que $`[U]^2=[U]`$. $`𝒞^{\mathrm{}}(I\backslash G/I)`$ est l’algèbre de Hecke-Iwahori, on note $`𝒜(p)`$ son sous-anneau de engendré $`[1/p]`$ et les fonctions caractéristiques $`[IuI]`$, $`u\mathrm{\Delta }^+`$. Il est connu (par exemple \[Rog3\] §1) que $`𝒜(p)`$ est commutative, et que pour chaque $`u,u^{}\mathrm{\Delta }^+`$, $`[IuI]`$ est inversible dans $`𝒜(p)`$, $`[IuI][Iu^{}I]=[Iuu^{}I]`$ et $`IuIu^{}I=Iuu^{}I`$. On pose

$$u_i:=\text{diag}(1,\mathrm{}\mathrm{,1},p,\mathrm{},p)\mathrm{\Delta }^+,\text{ où }p\text{ apparaît }i\text{ fois}\mathrm{,\hspace{0.17em}\hspace{0.17em}0}in$$

### 5.2. $`I`$-invariants des représentations non ramifiées

#### 5.2.1.

Soit $`\psi =(\psi _1,\mathrm{},\psi _n):(_p^{})^n^{}`$ un caractère lisse et non ramifié, $`X(\psi )`$ la représentation complexe lisse irréductible non ramifiée de $`G`$ de $`L`$-paramètre valant sur le Frobénius géométrique:

$`\left(\begin{array}{ccc}\psi _1(p)& & \\ & \mathrm{}& \\ & & \psi _n(p)\end{array}\right)`$
Voyant $`\psi `$ comme un caractère complexe lisse de $`B`$ trivial sur les unipotents supérieurs, on pose

$$\text{Ind}_B(\psi ):=\{f:G,\text{ lisses},f(bg)=\delta _B^{1/2}(b)\psi (b)f(g)bB\}$$

vue comme représentation lisse de $`G`$ par translation à droite les fonctions. On sait alors que $`X(\psi )`$ est l’unique sous-quotient irréductible non ramifié de $`\text{Ind}_B(\psi )`$. Le caractère de l’algèbre de Hecke non-ramifiée de $`G`$ sur la droite des $`K`$-invariants de $`X(\psi )`$ (ou encore de $`\text{Ind}_B(\psi )`$, ce qui est la même chose) est bien connu: si $`t_{p,i}`$ est la valeur propre de l’opérateur de Hecke $`T_{p,i}:=[Ku_iK]|det(u_i)|`$ comme plus haut, on a

$$\underset{i=0}{\overset{n}{}}(1\psi _i(p)T)=\underset{i=0}{\overset{n}{}}(1)^ip^{i(i1)/2}t_{p,i}T^i$$

#### 5.2.2.

Nous allons commencer par décrire la représentation de $`𝒜(p)`$ sur les $`I`$-invariants de $`\text{Ind}_B(\psi )`$. On verra les caractères de $`T`$ par restriction comme des caractères de $`\mathrm{\Delta }^+`$, puis de $`𝒜(p)`$. Pour tout caractère $`\theta :T^{}`$, $`\sigma W`$, on dispose d’un caractère $`\theta ^\sigma `$ défini par $`\theta ^\sigma (t)=\theta (\sigma ^1t\sigma )`$; ainsi $`(\psi _1,\mathrm{},\psi _n)^\sigma =(\psi _{\sigma (1)},\mathrm{},\psi _{\sigma (n)})`$.

###### Lemme 5.1.

(\[Che\] 4.8.4) La semi-simplification de $`\text{Ind}_B(\psi )^I`$ comme $`𝒜(p)`$-module est

$$_{\sigma W}\delta _B^{1/2}\psi ^\sigma $$

Remarques: Le calcul ci-dessus et la formule pour le polynôme de Hecke de $`X`$ montrent que si $`\sigma W`$, $`\psi ^\sigma (U_i)`$ (noter la disparition du $`\delta _B^{1/2}`$) est un produit de $`i`$ valeurs propres “distinctes” du Frobénius géométrique dans la représentation de $`W__p`$ attachée à $`X`$ par la correspondance de Langlands locale non ramifiée.

En particulier, supposons $`\text{Ind}_B(\psi )`$ irréductible, alors $`\text{Ind}_B(\psi )=X(\psi )`$, $`dim_{}(X(\psi )^I)=n!`$ et l’action de $`𝒜(p)`$ sur les $`I`$-invariants de $`X`$ est calculée par le lemme. Ceci se produit en particulier quand $`\psi `$ est essentiellement tempérée (i.e $`|\psi _i(p)|`$ indépendant de $`i`$, \[Z\] 4.2) mais pas pour la représentation $`\pi _p^n(\chi _0)`$ introduite en §4.2.2 ($`p`$ décomposé dans $`E`$ et ne divisant pas $`\text{cond}(\chi _0)`$). Pour traiter ce cas là, nous aurons besoin du résultat général suivant, impliquant par ailleurs le lemme précédent.

#### 5.2.3.

Soit $`P=MNB`$ un parabolique de Levi $`M`$, $`\psi :M^{}`$ un caractère non ramifié, $`\text{Ind}_P(\psi )`$ l’induite parabolique lisse normalisée:

$$\text{Ind}_P(\psi ):=\{f:G,\text{lisses},f(pg)=\delta _P^{1/2}(p)\psi (p)f(g)pB\}$$

Soit $`W_PW`$ le sous-groupe de Coxeter correspondant à $`PG`$, pour chaque $`\sigma W`$ on choisit l’unique élément dans $`W_P.\sigma `$ de longueur minimale (\[Hum\] prop. 1.10 c)), et on note $`W(P)`$ l’ensemble des représentants de $`W_P\backslash W`$ obtenu. On pose $`z:=\delta _P/\delta _B=\delta _{BM}`$.

###### Lemme 5.2.

La semi-simplification de $`\text{Ind}_P(\psi )^I`$ comme $`𝒜(p)`$-module est

$$_{\sigma W(P)}\delta _B^{1/2}(z^{1/2}\psi )^\sigma $$

Remarques: Le lemme montre que l’unique sous-quotient non ramifié de $`\text{Ind}_P(\psi )`$ est isomorphe à $`X(\psi .z^{1/2})`$. Si $`\text{Ind}_P(\psi )`$ est irréductible (voir \[Z\] 3.2,4.2), il coïncide donc avec $`X(\psi .z^{1/2})`$ dans ce cas.

Preuve: On pose $`X^{}=\text{Ind}_P(\psi )^I`$, c’est un module sous l’algèbre de Hecke-Iwahori de $`G`$, en particulier sous $`𝒜(p)`$. La décomposition de Bruhat-Iwahori $`G=_{\sigma W(P)}P\sigma I`$ montre que $`dim_{}(X^{})=|W|/|W_P|`$. On considère la $``$-base de $`X^{}`$ suivante: si $`\sigma W(P)`$, $`e_\sigma `$ est l’élément de $`X^{}`$ nul hors de $`P\sigma I`$ et tel que $`e_\sigma (\sigma )=1`$. $`e_\sigma (\sigma ^{})=0`$ ou $`1`$ selon que $`\sigma ^{}W_P.\sigma `$ ou non . Si $`\sigma ^{}W`$, on commence par calculer $`[I\sigma ^{}I](e_1)`$. La décomposition de Bruhat-Iwahori, ainsi que la multiplication des cellules, montre que $`(I\sigma ^{}I)(\sigma ^1PI)=\mathrm{}`$ à moins que $`\sigma W_P\sigma _{}^{}{}_{}{}^{1}`$. En particulier, $`[I\sigma ^{}I](e_1)=a_\sigma ^{}e_{\sigma _{}^{}{}_{}{}^{1}}`$$`a_\sigma ^{}^{}`$ (car $`[I\sigma ^{}I]`$ est inversible dans l’algèbre de Hecke-Iwahori).

La décomposition de Bruhat-Iwahori montre que si $`u\mathrm{\Delta }^+`$, $`(IuI)\sigma ^1PI`$ est vide à moins que $`\sigma W_P`$, ce qui implique que $`e_1`$ est propre sous l’action de $`𝒜(p)`$, de caractère $`[IuI](\delta ^{1/2}\psi )(u)|(IuIPI)/I|`$. Quand $`u_i=u`$, on peut calculer $`|(IuIPI)/I|=|(I^uPI)/(I^uI)|`$, $`I^u:=u^1Iu`$, on vérifie qu’il vaut $`z^{1/2}(u)`$.

Par les relations de Bernstein (\[Rog3\] §1, §5), on en déduit que si l’on ordonne la base des $`e_\sigma `$, $`\sigma W(P)`$, par ordre croissant avec la longueur de $`\sigma `$, l’action de $`𝒜(p)`$ est triangulaire supérieure. Toujours par les relations de Bernstein, on trouve alors les caractères de l’énoncé (voir par exemple \[Che\] §4.8.4 pour des détails supplémentaires). $`\mathrm{}`$

#### 5.2.4.

L’exemple qui nous intéresse est le cas de la représentation non ramifiée $`X(\psi ):=\pi _p^n(\chi _0)`$ définie en 4.2.2, $`\pi _p^n(\chi _0)`$ est l’induite du parabolique standard $`P`$ de type $`(\mathrm{2,1})`$ du caractère $`\chi _0(det(.))\times 1`$. On trouve $`W(P)=\{1,(\mathrm{3,2}),(\mathrm{3,2,1})\}`$. Si $`\sigma W(P)`$, le triplet $`(\psi ^\sigma (u_1),\psi ^\sigma (u_2/u_1),\psi ^\sigma (u_3/u_2))`$ associé à $`\sigma `$ est alors explicitement donné par:

$`\sigma =1`$, $`(1,\chi _{v_1}^{}(p),\chi _{v_1}(p))`$

$`\sigma =(\mathrm{3,2})`$, $`(\chi _{v_1}^{}(p)\mathrm{,1},\chi _{v_1}(p))`$

$`\sigma =(\mathrm{3,2,1})`$, $`(\chi _{v_1}^{}(p),\chi _{v_1}(p)\mathrm{,1})`$

## 6. Déformations des représentations cristallines raffinées

### 6.1. Raffinement d’une représentation cristalline

#### 6.1.1.

Soit $`F`$ un corps local, $`V`$ un $`F`$-espace vectoriel de dimension finie muni d’une représentation continue de Gal($`\overline{}_p/_p`$). Nous supposerons que $`V`$ est cristalline, que ses poids de Hodge-Tate $`k_1<\mathrm{}<k_n`$ sont tous distincts et que les valeurs propres du Frobénius de $`D_{cris}(V)`$ sont dans $`F`$ (cf. 2.6 pour les conventions). Imitant Mazur (\[Ma\]), on appellera raffinement de $`V`$ la donnée d’un ordre $`:=(\phi _1,\mathrm{},\phi _n)F^n`$ sur les valeurs propres du Frobénius de $`D_{cris}(V)`$. On notera $`(V,)`$ la représentation $`V`$ munie de son raffinement $``$.

#### 6.1.2.

La donnée d’un raffinement $``$ de $`V`$ nous permet de définir des $`F_i():=\phi _i/p^{k_i}F^{}`$ et des $`U_i():=_{j=1}^iF_j`$, $`1in`$. La donnée de tous les $`F_i()`$, ou encore celle des $`U_i()`$, est bien sur équivalente à celle de $``$. Notons que $`F_i()`$ est encore une valeur propre du Frobénius de $`D_{cris}(V(k_i))`$, et $`U_i()`$ en est une de celui de $`\mathrm{\Lambda }^i(D_{cris}(V))D_{cris}(\mathrm{\Lambda }^i(V))`$. On rappelle que la formation de $`D_{cris}`$ commute aux opérations tensorielles sur les représentations cristallines (\[Fo2\] 1.5.2, 5.1.2).

#### 6.1.3.

Remarques: i) Si le polynôme caractéristique du Frobénius de $`D_{cris}(V)`$ a $`n=dim_F(V)`$ racines distinctes, alors $`V`$ admet exactement $`n!`$ raffinements. C’est la cas par exemple si $`V`$ est ordinaire (cf. \[PR\]). Dans ce cas, on dispose de plus d’un raffinement canonique donné par $`|\phi _i|=p^{k_i}`$, appelé raffinement ”ordinaire” (il ne nous sera pas utile dans la suite).

ii) Un des intérêts essentiels de la notion de raffinement dans ce texte vient de ce que la théorie des familles $`p`$-adiques de formes automorphes produit des déformations de représentations cristallines raffinées de Gal($`\overline{}_p/_p`$). Il faut bien noter que de telles déformations d’une même représentation $`V`$ mais partant de raffinements distincts sont en général très différentes (par exemple l’une peut être génériquement irréductible, l’autre non).

### 6.2. Raffinements et algèbre d’Atkin-Lehner

#### 6.2.1.

Par commodité d’exposition, nous nous restreignons à $`\text{U}(3)`$ plutôt qu’à un groupe unitaire quelconque, c’est de toutes façons suffisant pour les objectifs de ce texte. Soit $`p`$ un nombre premier décomposé dans $`E`$, $`\iota :\overline{}_p`$ un isomorphisme de corps, $`v_1`$ la place de $`E`$ au dessus de $`p`$ donnée par $`E\stackrel{𝜄}{}\overline{}_p`$, $`v_2`$ l’autre place, $`p=v_1v_2`$. La donnée de $`v_1`$ nous permet de plus d’identifier $`\text{U}(3)(_p)`$ à $`\text{GL}_3(_p)`$ comme en 4.2.2. Fixons $`\mathrm{\Pi }`$ une représentation automorphe irréductible de $`\text{U}(3)`$ telle que $`\mathrm{\Pi }_p`$ est non ramifiée et $`\mathrm{\Pi }_{\mathrm{}}=\pi (k_1k_2k_3)`$. Comme dans 5.2.1, $`\mathrm{\Pi }_p=X(\psi )`$ pour un certain caractère non ramifié $`\psi :T^{}`$.

#### 6.2.2.

On a vu dans 3.2.2 que la donnée de $`\iota `$ permet d’associer à $`\mathrm{\Pi }`$ une représentation semi-simple continue $`\rho _p:\text{Gal(}\overline{E}/E\text{)}\text{GL}_3(F)=\text{GL}_F(V)`$, $`V`$ étant un espace vectoriel de dimension $`3`$ sur un certain corps local $`F`$. On rappelle que $`D_{v_i}`$ est un groupe de décomposition dans Gal($`\overline{E}/E`$) associé à la place $`v_i`$ de $`E`$, et on note $`V_i`$ la représentation continue de Gal($`\overline{}_p/_p`$) sur $`V`$ obtenue par restriction de $`V`$ à $`D_{v_i}`$. Puisque $`\rho _p^{}\rho _p`$, on sait que $`V_2V_1^{}`$. De plus, par la proposition 3.3 §3.2, $`V_1`$ est cristalline de poids de Hodge-Tate $`k_11<k_2<k_3+1`$, et son Frobénius cristallin a même polynôme caractéristique (modulo $`\iota `$) que l’image du Frobénius géométrique de $`W__p^{nr}`$ dans le $`L`$-paramètre de $`X(\psi )`$, i.e $`_{i=1}^3(X\iota (\psi _i(p)))`$. Nous allons donner une interprétation automorphe de certains raffinements de $`V_1`$ en terme de $`\mathrm{\Pi }_p`$.

#### 6.2.3.

La semi-simplification de $`𝒜(p)`$ agissant sur $`\mathrm{\Pi }_p^I`$ a été calculée en 5.2.2, c’est une somme de caractères de $`𝒜(p)`$ de la forme $`\delta _B^{1/2}\psi ^\sigma `$, pour certains $`\sigma W`$. On dira que $`\sigma `$ est accessible pour $`\mathrm{\Pi }`$ si $`\delta _B^{1/2}\psi ^\sigma `$ apparaît, cela ne dépend que de $`\mathrm{\Pi }_p`$, et il est équivalent de demander qu’il existe un vecteur $`v\mathrm{\Pi }^I`$ sur lequel $`𝒜(p)`$ agisse par $`\delta _B^{1/2}\psi ^\sigma `$. Pour tout $`\sigma W`$, le lemme 5.1 §5.2.2 montre que l’on construit un raffinement $`(\sigma )`$ de $`V_1`$ en posant

$$(\sigma ):=(\psi _{\sigma (3)}(p),\psi _{\sigma (2)}(p),\psi _{\sigma (1)}(p))$$

Un raffinement de $`V_1`$ sera dit accessible s’il est de la forme $`(\sigma )`$ avec $`\sigma `$ accessible pour $`\mathrm{\Pi }`$. Si $`\mathrm{\Pi }_p`$ est irréductible, on a vu en 5.1 que tous les raffinements de $`V_1`$ sont alors accessibles. Cela se produit en particulier quand $`\mathrm{\Pi }_p`$ est tempérée. Par contre, si $`\mathrm{\Pi }=\pi (\chi _0)`$, les raffinements accessibles sont ceux donnés dans 5.2.4. Dans ce cas précis, on remarque par exemple que $`V_1`$ est ordinaire mais que le raffinement ordinaire n’est pas accessible.

#### 6.2.4.

Soit $`s=(k_1k_2k_3)^3`$, notons $`\nu _s`$ le caractère $`\mathrm{\Delta }p^{}`$ sur le vecteur de plus haut poids de $`V_s^{}()=V_s()`$. D’après 6.2.2 et 2.3, si $`1i3`$, $`(\delta _B^{1/2}\nu _s)(u_i/u_{i1})`$ est une puissance de $`p`$ d’exposant le $`i^{ieme}`$ poids de Hodge-Tate (rangés par ordre croissant) de $`V_1`$. On pose

$$U_i^s:=\frac{[Iu_iI]}{\nu _s(u_i)}𝒜(p)$$

Avec ces notations, $`(\sigma )`$ est encore le raffinement de $`V_1`$ défini par ses $`U_i((\sigma ))`$ avec la formule $`U_i((\sigma )):=(\delta _B^{1/2}\psi ^\sigma )(U_i^s)`$.

### 6.3. Variation de représentations cristallines raffinées, d’après M.Kisin

#### 6.3.1.

Soit $`F_p`$ un corps local, $`X`$ un $`F`$-affinoide réduit d’anneau $`A(X)`$, la norme réduite de $`A(X)`$ en fait une algèbre de Banach. Soit $`M:=A(X)^n`$, $`G`$ un groupe topologique, $`\rho :G\text{GL}(M)`$ une représentation continue. Si $`FE_p`$ est un sous-corps complet, $`xX(E)`$, on note $`M_x:=M_{A(X)}E`$, $`A(X)E`$ étant l’évaluation en $`x`$, et $`\rho _x:G\text{GL}_n(E)=\text{GL}_E(M_x)`$.

#### 6.3.2.

Soit $`X`$ un $`F`$-affinoide réduit d’anneau $`A(X)`$, on se donne

* a) $`\kappa =(\kappa _1,\mathrm{},\kappa _n):X𝔸^n`$, un $`F`$-morphisme analytique,
* b) $`ZX(F)`$ un sous-ensemble Zariski-dense tel que $`\kappa (Z)^{3,}`$.
* c) $`M:=A(X)^n`$, et $`\rho :\text{Gal(}\overline{}_p/_p\text{)}\text{GL}_{A(X)}(M)`$ une représentation continue,
* d) $`F_1,\mathrm{},F_nA(X)`$,

On suppose de plus que:

i) Pour tout réel $`C>0`$, $`\{zZ,\delta (\kappa (z))>C\}`$ est Zariski-dense dans $`X(F)`$,

ii) Pour tout $`xX(F)`$, $`\kappa (x)F^n`$ est l’ensemble des poids de Hodge-Tate-Sen de $`M_z`$, rangés par ordre croissant si $`xZ`$,

iii) Pour tout $`zZ`$, $`M_z`$ est cristalline,

iv) Si $`zZ`$, $`(p^{\kappa _1(z)}F_1(z),\mathrm{},p^{\kappa _n(z)}F_n(z))`$ est un raffinement de $`M_z`$,

v) $`|F_i|`$ est constant sur $`X`$,

vi) Deux éléments de $`\kappa (Z)`$ diffèrent d’un élément de $`(p1)^n`$.

Faisons quelques remarques sur ces hypothèses. L’existence de $`\kappa `$ satisfaisant $`ii)`$ n’est pas directement conséquence des travaux de Sen (\[Sen1\], \[Sen2\]), à cause de l’hypothèse ”rangés par ordre croissant sur $`Z`$”. Nous ne savons pas dans quelle mesure l’existence de $`F_i`$ satisfaisant iv) est automatique (condition sur $`\kappa `$ ?), cf. \[Ki\] à ce sujet. Nous ne savons pas non plus si vi) est automatique. Dans la pratique (cf. §8), ces hypothèses seront satisfaites et $`\kappa `$ sera un morphisme fini sur son image, dominant restreint à chaque composante irréductible de $`X`$.

#### 6.3.3.

On se place sous les hypothèses a), b), c), ii), iii) et iv) de 6.3.2. On notera $`A(X)(\kappa _i)`$ le $`A(X)`$-module $`A(X)`$ sur lequel on fait agir continument Gal($`\overline{}_p/_p`$) par le composé du caractère cyclotomique par caractère suivant de $`_p^{}`$:

$$x(x/\tau (x))^{\kappa _i}\tau (x)^{n_i}A(X)^{}$$

$`n_i=\kappa _i(z)`$ est un entier bien défini modulo $`(p1)`$ indépendamment de $`zZ`$ par l’hypothèse $`vi)`$, $`\tau :_p^{}\mu _{p1}(_p)`$ la réduction modulo $`p`$ composée par le caractère de Teichmüller. Si $`zZ`$, $`A(X)(\kappa _i)_z`$ est un caractère cristallin de Gal($`\overline{}_p/_p`$).

Si $`N`$ est un $`A(X)`$-module de libre type fini muni d’une représentation continue de Gal($`\overline{}_p/_p`$), on notera $`N(\kappa _i):=N_{A(X)}A(X)(\kappa _i)`$ vue comme représentation de Gal($`\overline{}_p/_p`$). On a donc défini les $`M(\kappa _i)`$, leurs évaluations en $`zZ`$ sont cristallines de poids $`(\kappa _1(z)\kappa _i(z),\mathrm{},\kappa _n(z)\kappa _i(z))^{n,}`$.

#### 6.3.4.

On se place dans les hypothèses de 6.3.2:

###### Proposition 6.1.

Soit $`xX(F)`$, $`\kappa (x)=(k_1,\mathrm{},k_n)`$ alors

$$D_{cris}((\mathrm{\Lambda }^iV_x)(k_1+\mathrm{}+k_i))^{\phi =F_1(x)\mathrm{}F_i(x)}\text{ est non nul.}$$

Si de plus les $`k_i`$ sont entiers, alors

$$D_{cris}(\mathrm{\Lambda }^i(V_x))^{\phi =_{j=1}^ip^{k_j}F_j(x)}\text{ est non nul}$$

Preuve: La seconde assertion découle de la première. Soit $`i\{1,\mathrm{},n\}`$ fixé, on pose $`N:=\mathrm{\Lambda }^i(M)(\kappa _1)\mathrm{}(\kappa _i)`$. Rappelons que, comme dit plus haut (6.1.2), la formation de $`D_{cris}(V)`$ commute aux opérations tensorielles sur la catégorie des représentations cristallines. En particulier, si $`xZ`$, on en déduit que $`N_x`$ est cristalline, de plus petit poids de Hodge-Tate égal à $`0`$, et que $`_{j=1}F_j(x)`$ est une racine de son Frobénius cristallin. Remplaçant $`\kappa `$ par $`(\kappa _{J_1},\mathrm{},\kappa _{J_r})`$, les $`J_j`$ parcourant l’ensemble ordonné lexicographiquement des $`r=\left(\genfrac{}{}{0pt}{}{n}{i}\right)`$ parties à $`i`$ éléments de $`\{1,\mathrm{},n\}`$, $`\kappa _{(m_1\mathrm{}m_i)}:=_{j=1}^i\kappa _{m_j}`$, les conditions $`i)`$, $`ii)`$, $`iii)`$, $`iv)`$ et $`v)`$ sont satisfaites pour $`N`$ à la place de $`M`$.

En fait, seule la première valeur propre va servir pour la suite. On est ramené à prouver la proposition pour $`M`$ et $`i=1`$, et on peut supposer que le premier poids de Hodge-Tate des points dans $`Z`$ est nul.

A partir de là, on suit Kisin \[Ki\] 6.3. Par l’hypothèse $`iv)`$ et 5.14 il suffit donc de vérifier les hypothèses de sa proposition 5.13. Dans ses notations $`M:=M`$, $`I:=Z`$, et si $`zX(F)`$ est d’idéal maximal $`m_z`$, $`R_z:=A/m_z=F`$. Pour chaque entier positif $`k`$, on définit $`I_k`$ comme étant l’ensemble des points dans $`Z`$ ayant leur second poids de Hodge-Tate plus grand que $`k`$, et tels que $`v(F_1(x))<k`$. $`I_k`$ est Zariski-dense dans $`X(_p)`$ par $`i)`$, il satisfait donc les conditions 2 et 3 de loc. cit. 5.13. Soit $`xI_k`$, par hypothèse $`M_x`$ a pour plus petit poids de Hodge-Tate $`0`$ et $`D_{cris}(M_x)^{\phi =F_1(x)}`$ est non nul, il existe donc une application Gal($`\overline{}_p/_p`$)-équivariante non nulle $`M_x^{}(\text{Fil}^0(B_{cris})__pF)^{\phi =F_1(x)}`$. Cette application ne se factorise pas par $`Fil^k(B_{cris})__pF`$ car par faible-admissibilité de $`D_{cris}(M_x)`$, $`Fil^k(D_{cris}(M_x))^{\phi =F_1(x)}`$ est encore faiblement admissible, de plus petit poids de Hodge-Tate $`k`$, mais $`v(F_1(x))<k`$ par hypothèse. On conclut mot à mot comme dans les $`3`$ dernières lignes de la preuve de loc. cit. 6.4. $`\mathrm{}`$

Remarques:  i) En général, il est bien sur faux que sous les hypothèses de la proposition 6.1, $`D_{cris}(V(k_i))^{\phi =F_i(x)}`$ est non nul si $`i>1`$. La considération d’une famille $`p`$-adique de formes modulaires passant par une forme modulaire parabolique propre de niveau $`\mathrm{\Gamma }_0(p)`$ qui est $`p`$-nouvelle en donne un contre-exemple.

ii) Ce que l’on a fait pour les $`\mathrm{\Lambda }^i`$ vaut de même aussi naturellement pour n’importe quel foncteur de Schur de $`\text{GL}(n)`$, c’est en fait une conséquence de la proposition ci-dessus.

iii) Si $`n=3`$, l’isomorphisme canonique $`V^{}det(V)\mathrm{\Lambda }^2(V)`$ permet de reformuler la proposition pour $`i=2`$ en terme de $`V^{}`$. Elle montre alors que $`D_{cris}(V(k_1))^{\phi =F_1(x)}`$ et $`D_{cris}(V^{}(k_3))^{\phi =F_3(x)^1}`$ sont non nuls.

## 7. Extensions et pseudo-représentations

### 7.1. Existences de réseaux stables

#### 7.1.1.

Soit $`K`$ un corps de caractéristique $`0`$, $`V=K^r`$, $`G`$ un groupe, $`\rho :G\text{GL}(V)`$ une représentation semi-simple. Soit $`(\rho =_{i=1}^n\rho _i,V=_{i=1}^nW_i)`$ la décomposition isotypique de $`(\rho ,V)`$ : pour chaque $`i`$, $`(W_i,\rho _i)`$ est somme directe de $`n_i`$ copies d’une représentation irréductible $`(V_i,\rho _i^{})`$, et $`\rho _i^{}\simeq ̸\rho _j^{}`$ si $`ij`$.

On dira que $`V`$ satisfait la condition (ABS) si les $`\rho _i^{}`$ sont absolument irréductibles.

On suppose dès maintenant et dans tout §7.1 que $`V`$ satisfait (ABS). On fixe de plus $`A`$ un sous-anneau intègre noethérien de $`K`$ tel que $`K=\text{Frac}(A)`$ et $`\text{tr}(\rho (G))A`$.

#### 7.1.2.

Si $`B`$ est un sous-anneau de $`K`$, on appelle $`B`$-réseau de $`V`$ un sous-$`B`$-module libre $`\mathrm{\Lambda }`$ tel que $`K.\mathrm{\Lambda }=V`$. Si $`V`$ est une représentation de $`G`$, on dit qu’un $`B`$-réseau est stable s’il est stable sous l’action de $`G`$.

###### Lemme 7.1.

i) L’image de $`A[G]`$ dans $`End_K(V)`$ est de type fini sur $`A`$.

ii) Si $`A`$ est normal, $`\text{tr}(\rho _i^{}(G))A`$.

iii) Si $`A`$ est principal, $`V_i`$ admet un $`A`$-réseau stable.

iv) Plus généralement, si $`P\text{Spec}(A)`$ tel que $`A_P`$ est de valuation discrète, il existe $`gA\backslash P`$ tel que $`V_i`$ admet un $`A_g`$-réseau stable.

v) Supposons de plus que $`A`$ est soit une algèbre affinoide, soit local complet, $`G`$ un groupe topologique, si $`T:GA`$ est continue, alors les $`g\text{tr}(\rho _i^{}(g))`$ sont continus. De plus, tout $`A`$-réseau stable est une représentation continue de $`G`$.

Preuve: Par la théorie des modules semi-simples, l’image de $`K[G]`$ dans $`\text{End}(V)`$ est somme directe de ses images dans les $`\text{End}(W_i)`$. De plus, l’image de $`K[G]`$ dans $`\text{End}(W_i)`$ est l’action diagonale de $`\text{End}(V_i)`$ dans $`\text{End}(W_i)`$. En particulier, on dispose d’un $`e_iK[G]`$ tel que $`\rho (e_i)`$ est le projecteur $`G`$-équivariant sur $`W_i`$. Aussi,

$$fK^{},gG,\text{tr}(\rho _i(g))=\text{tr}(\rho (e_ig))fA$$

On déduit la même assertion pour $`\rho _i^{}`$, en remplaçant $`f`$ par $`f/n_i`$.

Soit $`i`$ fixé, $`d=dim(V_i)`$, on fixe une base de $`V_i`$ nous permettant de l’identifier à $`K^d`$. La représentation $`\rho _i^{}`$ étant absolument irréductible, un théorème de Wedderburn assure l’existence de $`g_1,\mathrm{},g_{d^2}G`$, tels que les $`\rho _i^{}(g_k)`$ engendrent $`\text{End}(V_i)`$ comme $`K`$-espace vectoriel. Ainsi,

$$M:=((\text{tr}(\rho _i^{}(g_kg_l)))_{1k,ld^2})\text{GL}_{d^2}(K)$$

Soit $`f^{}K^{}`$ tel que $`M^1`$ et les $`\rho _i^{}(g_k)`$ soient à coefficients dans $`f^{}A`$, alors pour tout $`gG`$ on a $`\rho _i^{}(g)ff^{}/n_iM_d(A)`$. Autrement dit,

(7)
$$A^d\rho _i^{}(G).A^dff^{}/n_iA^d$$

En particulier, $`A[\rho _i^{}(G)]`$ s’injecte dans $`\text{Hom}_A(A^d,(ff^{}/n_i)A^d)`$. Comme $`A`$ est noethérien, cela prouve $`i)`$. De plus, si $`A`$ est principal, (7) montre que $`A[\rho _i^{}(G)].A^d`$ est un réseau stable, cela montre $`iii)`$. On en déduit $`ii)`$ car un anneau normal est intersection d’anneaux de valuation discrète. $`iv)`$ est une conséquence de $`ii)`$ et $`i)`$.

La première assertion de $`v)`$ découle de $`n_i\text{tr}(\rho _i^{}(g))=\text{tr}(\rho (e_ig))`$, prouvons la seconde. Si $`\mathrm{\Lambda }`$ est un réseau stable de $`V`$, il suffit de vérifier que $`\psi :G\text{End}_A(\mathrm{\Lambda })`$ est continue, car alors $`g\psi (g)^1=\psi (g^1)`$ le sera aussi. On rappelle que si $`A`$ est affinoide (\[BGR\] 3.7.3) ou local complet, tout $`A`$-module de type fini a une topologie canonique et que toute application $`A`$-linéaire entre deux tels modules est continue et fermée. Par $`i)`$, on peut trouver $`g_1,\mathrm{},g_sG`$ engendrant $`M:=A[\rho (G)]`$, on munit $`M`$ de la topologie discutée ci-dessus. Il suffit de montrer que $`\psi ^{}:GM`$ est continue. Par semi-simplicité de $`V`$ comme $`G`$-représentation, l’application $`\psi ^{}:GA^s`$, $`g(\text{tr}(g_ig))`$, induit une injection $`A`$-linéaire $`MA^s`$, nécessairement continue et fermée. La continuité de $`\psi ^{}`$ conclut. $`\mathrm{}`$

### 7.2. Représentations attachées aux pseudo-caractères

#### 7.2.1.

Soit $`G`$ un groupe, $`A`$ un anneau commutatif, on rappelle qu’une fonction $`T:GA`$ est un pseudo-caractère sur $`G`$, de dimension $`n`$, à coefficients dans $`A`$ si

$$g,hG,T(gh)=T(hg)$$

$$g=(g_1,\mathrm{},g_{n+1})G^{n+1},\underset{\sigma =c_1\mathrm{}c_r𝔖_{n+1}}{}ϵ(\sigma )\underset{i=1}{\overset{r}{}}f(c_i(g))=0$$

$`n`$ est le plus petit entier ayant la propriété ci-dessus
Ici $`\sigma =c_1\mathrm{}c_r`$ est la décomposition en cycles de $`\sigma `$, et si $`c=(j_1,\mathrm{},j_s)`$ est un cycle $`c(g)=_{i=1}^sg_{j_i}`$, cf. \[Tay\] §1, \[Rou\] §2.

La trace d’une représentation $`\rho :G\text{GL}_n(A)`$ est en particulier un pseudo-caractère sur $`G`$, à coefficients dans $`A`$ (cf. loc. cit.); il est de dimension $`n`$ si $`A`$ est intègre de caractéristique $`0`$ (cf. \[Rou\] 2.4). On discute de l’assertion réciproque dans les paragraphes qui suivent.

#### 7.2.2.

Si $`A=F`$ est un corps, il est connu que quitte à faire une extension séparable finie de $`F`$, $`T`$ est la trace d’une représentation semi-simple $`G\text{GL}_n(F)`$, unique à isomorphisme près, satisfaisant la propriété (ABS) de 7.1.1 (voir \[Tay\] §1 théorème 1, \[Rou\] 4.2 dans cette généralité). On dira que $`T`$ est absolument irréductible si cette représentation l’est.

Soient $`F`$ un corps, $`BF`$ un sous-anneau, $`\rho :G\text{GL}_n(F)`$ une représentation de $`G`$, on suppose de plus que $`\text{tr}(\rho (G))B`$, la discussion ci-dessus implique immédiatement le:

###### Corollaire 7.1.

Sous ces hypothèses, si $`m`$ est un idéal maximal de $`B`$ de corps résiduel $`k`$ de caractéristique $`0`$, alors la réduction modulo $`m`$ de $`\text{tr}(\rho )`$ est la trace d’une représentation semi-simple

$$\rho _m^{ss}:G\text{GL}_n(\overline{k})$$

$`\rho _m^{ss}`$ est unique à isomorphisme près, définie sur une extension finie de $`k`$.

Notons qu’il est clair que si $`\rho (G)\text{GL}_n(B)`$, cela a un sens de réduire $`\rho `$ modulo $`m`$, et qu’alors $`\rho _m^{ss}`$ est la semi-simplification de cette réduction. Dans le cas où $`B=A(X)`$ est une algèbre affinoide, $`xX`$, $`m`$ l’idéal maximal de $`B`$ défini par $`x`$, on notera aussi $`\rho _x^{ss}`$ pour $`\rho _m^{ss}`$.

#### 7.2.3.

Supposons $`A`$ quelconque, mais que pour tout $`m\text{Specmax}(A)`$, la réduction modulo $`m`$ de $`T`$, $`T_m:GA/m`$ est absolument irréductible. Quitte à remplacer $`A`$ par une extension étale finie, il est encore vrai que $`T`$ est la trace d’une unique représentation $`G\text{GL}_n(A)`$ (\[Rou\] 5.1).

Supposons finalement que $`A`$ est intègre, que $`T:GFrac(A)`$ déduit de $`T`$ soit absolument irréductible, mais que les $`T_m`$ ne sont pas tous absolument irréductibles. On ne peut plus alors attacher canoniquement de représentation à $`T`$ mais, au moins sous certaines hypothèses développées plus bas, un ensemble de représentations non toutes isomorphes en général. Pour nos applications, le cas intéressant sera celui où $`A`$ est une algèbre affinoide intègre de dimension $`1`$.

###### Lemme 7.2.

Soient $`F`$ un corps local, $`X`$ un $`F`$-affinoide intègre de dimension $`1`$, et $`T:GA(X)`$ un pseudo-caractère de dimension $`n`$, il existe :

i) Un $`F`$-affinoide $`Y`$ régulier intègre, de dimension $`1`$, fini et surjectif sur $`X`$,

ii) Une représentation semi-simple $`\rho _{K(Y)}:G\text{GL}_n(K(Y))`$ de trace $`T`$, satisfaisant (ABS).

Preuve: En considérant la composée $`T:GA(X)K(X)`$, §7.2.2 assure que $`T`$ est la trace d’une représentation semi-simple $`G\text{GL}_n(L)`$ satisfaisant (ABS) (cf. 7.1.1), pour une extension finie $`L/K(X)`$. Soit $`A^{}`$ la normalisation de $`A`$ dans $`L`$, c’est un anneau de Dedekind car $`A`$ est intègre noethérien de dimension $`1`$. D’après \[BGR\] 6.1.2, proposition 4, $`A^{}`$ est une $`F`$-algèbre affinoide finie sur $`A`$, on l’écrit $`A(Y)`$, en particulier $`L=K(Y)`$. Ceci prouve i) et ii). $`\mathrm{}`$

#### 7.2.4.

Soit $`Y`$ un $`F`$-affinoide intègre de dimension $`1`$, $`yY(F)`$ un point régulier, $`G`$ un groupe et $`T:GA(Y)`$ un pseudo-caractère qui est la trace d’une représentation semi-simple $`G\text{GL}_n(K(Y))`$ satisfaisant (ABS). D’après 7.1 iv), $`K(Y)^n`$ a un $`A(Y)_g`$ réseau stable $`\mathrm{\Lambda }_0`$, pour $`gA(Y)`$ ne s’annulant pas en $`y`$.

On note $`𝒪`$ l’anneau local rigide de $`A(Y)`$ en $`y`$, c’est un anneau de valuation discrète (voir \[BGR\] 7.3.2 proposition 8), on pose $`L:=\text{Frac}(𝒪)`$. $`𝒪\mathrm{\Lambda }_0`$ est un $`𝒪`$-réseau de $`L^n:=K(Y)_{K(Y)}L^n`$ stable par $`G`$. On supposera que l’anneau local algébrique en $`y`$ est principal d’idéal maximal engendré par $`zA(Y)`$, on peut toujours faire cette hypothèse quitte à rétrécir $`Y`$.

Soient $`\mathrm{\Omega }_1`$ et $`\mathrm{\Omega }_2`$ deux ouverts affinoides de $`Y`$ contenant $`y`$, $`\mathrm{\Lambda }_i`$ un $`A(\mathrm{\Omega })_i`$-réseau stable de $`L^n`$ pour $`i=\mathrm{1,2}`$. On dira que $`\mathrm{\Lambda }_1`$ et $`\mathrm{\Lambda }_2`$ sont équivalents s’il existe $`\mathrm{\Omega }_3\mathrm{\Omega }_1\mathrm{\Omega }_2`$ un ouvert affinoide de $`Y`$ contenant $`x`$ tel qu’il existe $`r`$ vérifiant

$$z^rA(\mathrm{\Omega }_3)\mathrm{\Lambda }_1=A(\mathrm{\Omega }_3)\mathrm{\Lambda }_2L^n$$

On note $`S^{}`$ l’ensemble des classes pour cette relation d’équivalence, $`[\mathrm{\Lambda }_i]S`$ la classe du $`A(\mathrm{\Omega }_i)`$-réseau stable $`\mathrm{\Lambda }_i`$.

###### Lemme 7.3.

* $`S`$ et $`S^{}`$ sont non vides,
* L’application $`S^{}S`$, $`[\mathrm{\Lambda }][𝒪\mathrm{\Lambda }]`$ est une bijection,
* Si $`s=[\mathrm{\Lambda }]S^{}`$, les représentations de $`G`$ sur les $`F`$-espaces vectoriels $`\mathrm{\Lambda }/z\mathrm{\Lambda }`$ et $`(𝒪\mathrm{\Lambda })/z(𝒪\mathrm{\Lambda })`$ sont isomorphes.

Cette dernière classe d’isomorphisme ne dépend pas du choix de $`\mathrm{\Lambda }`$ tel que $`s=[\mathrm{\Lambda }]`$, on l’appelle la représentation résiduelle de $`s`$.

Preuve: On a déjà montré le premier point. L’application de l’énoncé est clairement bien définie. Montrons l’injectivité. Avec les notations du paragraphe ci-dessus, supposons que $`𝒪\mathrm{\Lambda }_1=z^p𝒪\mathrm{\Lambda }_2`$, $`p`$. On peut supposer $`p=0`$. Si $`e_1^i,\mathrm{},e_n^i`$ une $`A(\mathrm{\Omega }_i)`$-base de $`\mathrm{\Lambda }_i`$, on note $`M\text{GL}_n(𝒪)`$ la matrice des $`e^1`$ dans la base des $`e^2`$. On peut trouver $`\mathrm{\Omega }_3\mathrm{\Omega }_1\mathrm{\Omega }_2`$ un affinoide de $`Y`$ contenant $`x`$ tel que $`M\text{GL}_n(A(\mathrm{\Omega }_3))`$. Alors $`A(\mathrm{\Omega }_3)\mathrm{\Lambda }_1=A(\mathrm{\Omega }_3)\mathrm{\Lambda }_2`$.

Pour la surjectivité, considérons $`\mathrm{\Lambda }`$ un $`𝒪`$-réseau stable par $`G`$ quelconque dans $`L^n`$. On sait que l’image $`C`$ de $`A(Y)[G]`$ dans $`\text{End}_{K(Y)}(K(Y)^n)\text{End}_LL^n`$ est de type fini sur $`A(Y)`$ par le lemme 7.1 i). $`C`$ est de plus trivialement un sous-$`A(Y)`$-module de $`\text{End}_𝒪(\mathrm{\Lambda })`$. On choisit $`m_1`$,…,$`m_r`$ une famille $`A(Y)`$-génératrice de $`C`$, ainsi que $`e_1`$,…,$`e_n`$ une $`𝒪`$-base du $`𝒪`$-réseau $`\mathrm{\Lambda }`$. On peut trouver un voisinage affinoide $`\mathrm{\Omega }`$ de $`x`$ dans $`Y`$ tel que l’ensemble de tous les $`m_i`$ soient à coefficients dans $`A(\mathrm{\Omega })`$ dans la base des $`e_i`$. $`_{i=1}^nA(\mathrm{\Omega })e_i`$ est alors $`A(\mathrm{\Omega })`$-réseau stable de $`L^n`$ qui convient.

Les autres assertions sont immédiates. $`\mathrm{}`$

On rappelle que pour tout affinoide $`Y`$ réduit, $`A(Y)`$ est canoniquement normé par sa norme du sup. Conservant les hypothèses de tout ce paragraphe, supposant de plus que $`G`$ est un groupe topologique et que $`T:GA(Y)`$ est continue, alors pour tout $`A(\mathrm{\Omega })`$-réseau stable comme plus haut, le lemme 7.1 v) montre que la représentation déduite $`G\text{GL}_n(A(\mathrm{\Omega }))`$ est continue. En corollaire du lemme 7.3, on obtient alors le

###### Corollaire 7.2.

Si $`T:GA(Y)`$ est continue, alors pour tout $`𝒪`$-réseau stable $`\mathrm{\Lambda }`$ de $`L^n`$, la représentation résiduelle de $`G`$ sur $`\mathrm{\Lambda }/z\mathrm{\Lambda }`$ est continue.

### 7.3. Variante d’un lemme de Ribet

Soit $`A`$ un anneau de valuation discrète, $`K`$ son corps des fractions, $`m`$ un idéal maximal de $`A`$, et $`k=A/m`$. Soit $`G`$ un groupe, $`\tau `$ un automorphisme de $`K`$. Pour $`\rho `$ une représentation de $`G`$ sur un espace $`V`$ de dimension finie sur $`K`$, et $`\mathrm{\Lambda }`$ un $`A`$-réseau stable (dans la suite nous dirons simplement un réseau stable), on note $`\overline{\rho }_\mathrm{\Lambda }`$ la représentation sur $`\mathrm{\Lambda }/m\mathrm{\Lambda }k^n`$. Par le théorème de Brauer-Nesbitt (\[CR, 30.16\]), $`\overline{\rho }_\mathrm{\Lambda }^{ss}`$ ne dépend pas du réseau stable $`\mathrm{\Lambda }`$ (s’il en existe un), on la note $`\overline{\rho }^{ss}`$. Pour $`\rho `$ une représentation sur $`K`$ ou $`k`$ on note $`\rho ^{}`$ la représentation $`g\rho (\tau (g))^{}`$.

###### Proposition 7.1.

Soit $`\rho `$ une représentation de $`G`$ de dimension $`n`$ sur $`K`$ admettant un réseau stable. On suppose que $`\rho \rho ^{}`$ est absolument irréductible et que $`\overline{\rho }^{ss}\varphi \varphi ^{}\psi `$$`\varphi `$, $`\varphi ^{}`$ et $`\psi `$ sont trois représentations absolument irréductibles deux à deux non isomorphes.

Alors :

* Soit il existe un réseau stable $`\mathrm{\Lambda }`$, tel que $`\overline{\rho }_\mathrm{\Lambda }`$ admette un sous-quotient $`r`$ de dimension $`2`$, vérifiant $`rr^{}`$ et tel que $`r`$ est une extension non triviale de $`\varphi ^{}`$ par $`\varphi `$.
* Soit il existe un réseau stable $`\mathrm{\Lambda }`$, tel que $`\overline{\rho }_\mathrm{\Lambda }\overline{\rho }_\mathrm{\Lambda }^{}`$, $`\overline{\rho }_\lambda `$ admet une unique sous-représentation $`r`$ de dimension $`2`$ et un unique sous-quotient $`r^{}`$ de dimension $`2`$, avec $`r`$ extension non triviale de $`\psi `$ par $`\varphi `$, $`r^{}`$ extension non triviale de $`\varphi ^{}`$ par $`\psi `$, et $`r^{}r^{}`$.

#### 7.3.1.

Pour prouver la proposition, notons d’abord qu’on peut supposer que $`A`$ est un anneau de valuation discrète complet, ce que l’on fait. En effet, si $`A^{}`$ est le complété de $`A`$ en $`m`$, $`K^{}`$ le corps des fractions de $`A^{}`$, $`A^{}`$ est de valuation discrète complet de corps résiduel $`k`$. L’extension $`\rho ^{}`$ de $`\rho `$ à $`K^{}`$ vérifie encore toutes les hypothèses du théorème. Si $`\mathrm{\Lambda }^{}`$ est un $`A^{}`$-réseau stable, $`\mathrm{\Lambda }=\mathrm{\Lambda }^{}V`$ est un $`A`$-réseau stable de $`V`$, et $`\rho _\mathrm{\Lambda }\rho _\mathrm{\Lambda }^{}^{}`$, si bien que la conclusion du théorème pour $`K^{}`$ entraîne la conclusion pour $`K`$.

#### 7.3.2.

Nous prouverons la proposition en utilisant le dictionnaire de \[Bel2\] et \[Be-Gr\]. Rappelons quelques notions et résultats utiles de ces articles, auquel nous renvoyons au lecteur pour de plus amples détails.

Soit $`𝒳`$ l’immeuble de Bruhat-tits de $`\text{PGL}_n(K)`$, $`X`$ l’ensemble de ses sommets. Soit $`𝒮`$ la partie de $`𝒳`$ fixe par $`\rho (G)`$, $`S=𝒮X`$. D’après \[Be-Gr, prop. 4.1.1\] et \[Bel2, prop. 2.4.1 et 3.3.2\], $`𝒮`$ est contenue dans un sous-appartement $`𝒜`$ de dimension 2 (car $`\overline{\rho }^{ss}`$ est sans multiplicité, et a trois facteurs de Jordan-Hölder), clos (\[Bel2, prop. 3.1.3\]), borné (car $`\rho `$ est irréductible, \[Bel2, prop 3.2.1\]), et les points de $`S`$ (qui sont donc en nombre fini) correspondent aux classes d’homothéties de réseaux stables par $`\rho `$ (\[Bel2, prop. 3.1.2\]). Pour $`xS`$ on note $`\overline{\rho }_x`$ une réduction $`\overline{\rho }_\mathrm{\Lambda }`$ pour $`\mathrm{\Lambda }`$ un représentant de $`x`$, ce qui est bien définie à isomorphisme près.

L’ensemble $`𝒮`$ est un polygone dans l’appartement $`𝒜`$ (un plan), dont les sommets sont des sommets de $`𝒜`$ et les côtés des réunions d’arêtes de $`𝒜`$ (\[Be-Gr, 2.1\]).

À $`𝒮`$ on peut attacher, comme en \[Be-Gr, 2.1.2\] un graphe orienté d’ensemble de sommets $`\{\varphi ,\varphi ^{},\psi \}`$, d’ensemble d’arêtes $`A(\{\varphi ,\varphi ^{},\psi \}^2\mathrm{\Delta })`$ ($`\mathrm{\Delta }`$ la diagonale) connexe en tant que graphe orienté, muni d’une bijection $`c`$ de $`A`$ sur les côtés de $`𝒮`$, vérifiant les propriétés suivantes

* Pour tout arête $`a=(u,v)A`$ il existe une extension $`r_a`$ non triviale de $`v`$ par $`u`$, et pour $`xc(a)S`$, $`r_a`$ apparaît comme sous-quotient de $`\overline{\rho }_x`$. Réciproquement, si $`xS`$, et si $`\overline{\rho }_x`$ contient comme sous-quotient une extension triviale de $`v`$ par $`u`$, alors $`x`$ est sur $`c(u,v)`$. (\[Be-Gr, prop. 4.2.1\])
* Si $`a`$ et $`a^{}`$ sont deux arêtes de $`A`$ non opposées l’une de l’autre, les côtés $`c(a)`$ et $`c(a^{})`$ du polygone $`𝒮`$ se coupent en un sommet. (\[Be-Gr, prop. 2.2.4\])

#### 7.3.3.

Par hypothèse, il existe un isomorphisme de $`K`$-espaces vectoriels $`\varphi `$ de $`V`$ dans $`V^{}`$ tel que

(8) $`gG,\rho (\tau (g))=\phi ^1\rho ^{}(g)\phi .`$
Si $`\mathrm{\Lambda }`$ est un réseau de $`V`$, on note $`\mathrm{\Lambda }^{}`$ le réseau dual dans $`V^{}`$. L’application $`\mathrm{\Lambda }\mathrm{\Lambda }^{}`$ passe au quotient et définit une bijection naturelle $`b`$ entre l’ensemble des sommets de l’immeuble $`X`$ de $`\text{PGL}(V)`$ et celui de l’immeuble $`X^{}`$ de $`\text{PGL}(V^{})`$, qui s’étend en un morphisme d’immeubles de $`𝒳`$ dans $`𝒳^{}`$. Il est clair que si $`𝒮^{}`$ désigne la partie de $`𝒳^{}`$ stable par $`\rho ^{}`$, on a

$$S^{}=b(S).$$

Par ailleurs l’application $`\phi `$ induit un isomorphisme d’immeubles $`\phi _{}`$ de $`𝒳`$ dans $`𝒳^{}`$. On déduit immédiatement de (8) que

$$\phi _{}(S)=S^{}.$$

L’isomorphisme $`t:=b^1\phi _{}`$ de $`𝒳`$ laisse donc stables $`𝒮`$ et $`S`$. Si $`xS`$, $`\phi `$ induit par passage au quotient un isomorphsime

(9) $`\overline{\rho }_x^{}\overline{\rho }_{t(x)}.`$
#### 7.3.4.

Terminons la preuve. Comme le graphe $`(V,A)`$ est connexe en tant que graphe orienté, il y a un chemin qui va de $`\varphi `$ à $`\varphi ^{}`$. Il y a donc deux possibilités :

Soit $`(\varphi ,\varphi ^{})A`$, dans ce cas $`c(\varphi ,\varphi ^{})`$ est un côté de $`𝒮`$, et pour $`xc(\varphi ,\varphi ^{})S`$, $`\overline{\rho }_x`$ contient comme sous-quotient $`r_{(\varphi ,\varphi ^{})}`$ qui est une extension non triviale de $`\varphi ^{}`$ par $`\varphi `$. De plus, $`t`$ envoie côté de $`𝒮`$ sur côté de $`𝒮`$, et par (9), les points $`x`$ du côté $`t(c(\varphi ,\varphi ^{}))`$ sont tels que $`\rho _x`$ admette comme sous quotient $`r_{\varphi ,\varphi ^{}}^{}`$ qui est encore une extension non triviale de $`\varphi ^{}`$ par $`\varphi `$. On en déduit d’après 7.3.2 i) que $`t(c(\varphi ,\varphi ^{}))=c(\varphi ,\varphi ^{})`$ et donc, d’après (9) que $`r_{(\varphi ,\varphi ^{})}^{}r_{(\varphi ,\varphi ^{})}`$, ce qui montre qu’on est dans le cas a. de la proposition.

Soit $`(\varphi ,\psi )`$ et $`(\psi ,\varphi ^{})`$ sont des arêtes de $`A`$. Par 7.3.2 ii), $`c(\varphi ,\psi )`$ et $`c(\psi ,\varphi ^{})`$ se coupent en un sommet $`x`$. Par un raisonnement semblable à celui ci-dessus, $`t(c(\varphi ,\psi ))=c(\psi ,\varphi ^{})`$ et $`t(c(\psi ,\varphi ^{}))=c(\psi ,\varphi )`$, d’où $`t(x)=x`$. La réduction $`\overline{\rho }_x`$ vérifie donc $`\overline{\rho }_x\overline{\rho }_x^{}`$, et on est dans le cas b. de la proposition.

## 8. Déformation $`p`$-adique de $`\chi 1\chi ^{}`$

### 8.1. Notations pour les espaces de formes automorphes

#### 8.1.1.

On fixe encore $`p=v_1v_2`$ décomposé dans $`E`$, $`N`$ un entier premier à $`p`$, ainsi qu’un isomorphisme de corps $`\iota :\overline{}_p`$, $`_p`$ le complété de $`\overline{}_p`$.

La donnée de $`v_1`$ nous permet d’identifier canoniquement $`\text{U}(3)(_p)`$ à $`\text{GL}_3(_p)`$ comme dans 4.2.1. Soit $`K_f`$ un compact ouvert de $`\text{U}(3)(𝔸_f)`$, décomposé place par place, égal à un compact maximal hyperspécial aux places ne divisant pas $`pN\text{disc}(K)`$, et à un compact très spécial aux places divisant $`\text{disc}(K)`$ mais pas $`pN`$, et à l’Iwahori $`I`$ de $`\text{GL}_3(_p)`$ en $`p`$.

On fixe une représentation irréductible complexe lisse $`J`$ de $`K_f`$ définie sur $`\overline{}`$, triviale restreinte aux places ne divisant pas $`N`$. $`J`$ est de dimension finie, $`\iota `$ nous permet de la voir à coefficients dans un corps local fixé $`F_0`$ et de considérer $`J(F)`$ pour chaque $`F_0F_p`$ comme étant une $`F`$-représentation lisse de $`K_f`$. On note $``$ l’espace des fonctions complexes lisses sur $`\text{U}(3)()\backslash \text{U}(3)(𝔸)`$, vu comme représentation de $`\text{U}(3)(𝔸)`$ par translation à droite.

#### 8.1.2.

Si $`w=(k_1k_2k_3)^3`$, l’espace des formes automorphes pour $`\text{U}(3)`$ de ”poids automorphes” $`w`$ et de type $`(K_f,J)`$ est le $``$-espace vectoriel

$$S_w(K_f,J,):=\text{Hom}_{\text{U}(3)()\times K_f}(V_w()_{}J,)$$

On note $``$ l’anneau engendré par l’algèbre de Hecke globale (sur $``$) hors de $`pN`$ et par l’algèbre d’Atkin-Lehner $`𝒜(p)`$ en $`p`$. $``$ est commutatif, et on notera $`_A:=_{}A`$, pour tout anneau $`A`$. $`S_w(K_f,J,)`$ est de manière naturelle un module sur $`_{}`$. Si $`V`$ est un $`A[(I\mathrm{\Delta }^+I)K_f]`$-module, on notera $`H^0(V)`$ le $`_A`$-module des fonctions

$$\text{U}(3)()\backslash \text{U}(3)(𝔸_f)V,\text{telles que }x\text{U}(3)(𝔸_f),uK_f,u.f(xu)=f(x)$$

C’est une vérification classique que la donnée de $`\iota `$ permet de voir $`H^0(V_w(F_0)_{F_0}J^{}(F_0))`$ comme une $`F_0`$-structure de $`S_w(K_f,J,)`$, et ce comme $`_{F_0}`$-module. On pose777Noter le $`w`$ dans la définition

$$S_w^{cl}:=H^0(V_w(F_0)_{F_0}J^{}(F_0))$$

#### 8.1.3.

Par la finitude du nombre de classes (\[Bor\] 5.1), $`\text{U}(3)(𝔸_f)`$ s’écrit comme réunion finie

$$\text{U}(3)(𝔸_f)=\underset{i=1}{\overset{h}{}}\text{U}(3)()x_iK_f$$

de plus $`\mathrm{\Gamma }_i:=x_i\text{U}(3)()x_i^1K_f`$ est un groupe fini car compact discret. Pour un $`A[I\mathrm{\Delta }^+I,K_f]`$-module $`V`$, l’application $`A`$-linéaire

$$\phi _V:H^0(V)_{i=1}^hV^{\mathrm{\Gamma }_i},f(f(x_1),\mathrm{},f(x_h))$$

est un isomorphisme $`A`$-linéaire fonctoriel en $`V`$. On déduit que sur les $``$-espaces vectoriels, $`VH^0(V)`$ est exact et commute à l’extension des scalaires en $`A`$.

Enfin, on en déduit aussi que $`S_w^{cl}`$ est de dimension finie sur $`F_0`$. De plus, si $`V`$ est normé par $`|.|`$ tel que $`K_f`$ y agisse par automorphismes continus de norme $`1`$, $`H^0(V)`$ est naturellement normé par

$$|f|:=\text{Sup}_{x\text{U}(3)(𝔸_f)}|f(x)|=\text{Sup}_{i=1}^h|f(x_i)|$$

### 8.2. Familles $`p`$-adiques typées pour $`\text{U}(3)`$

#### 8.2.1.

Soit $`w=(k_1k_2k_3)^3`$, $`\alpha =(\alpha _1,\alpha _2,\alpha _3)(^0)^3`$, on note $`S_w^{cl,\alpha }`$ le plus grand sous-$`_{\overline{}_p}`$-module de $`S_w^{cl}_{F_0}\overline{}_p`$ sur lequel $`U_i^w𝒜(p)`$ (cf. 6.2.4), $`1i3`$, n’a que des valeurs propres de valuation $`\alpha _i`$. On dira que $`w`$ est $`\alpha `$-régulier si $`\delta (w)>\alpha _1+\alpha _21`$.

Si $`r]\mathrm{0,1}]`$, $`x_p^3`$, on note $`B(x,r)`$ la boule fermée de $`_p^3`$ de centre $`x`$ de rayon $`r`$.

#### 8.2.2.

Fixons $`fS_w^{cl}_{F_0}\overline{}_p`$ une forme propre pour $``$.

###### Proposition 8.1.

Il existe un corps local $`F`$, $`r|F|[\mathrm{0,1}[`$, $`X`$ un $`F`$-affinoide réduit, $`\pi :XB(w,r)`$ un $`F`$-morphisme fini, $`a:A(X)^0`$ et $`x_fX(F)`$ tels que :

i) Si $`1i3`$, l’application

$$\pi ^1(^3B(w,r)(F))^0,xv(a(U_i^{\pi (x)})(x))$$

est constante, disons égale à $`\alpha _i`$. On pose $`\alpha =(\alpha _1,\alpha _2,\alpha _3)`$.

ii) Si $`w^{}B(w,r)(w+(p1)^3)`$ est $`\alpha `$-régulier, l’application

$$X(_p)\text{Hom}(,_p),x(\chi _x:ha(h)(x))$$

induit une bijection entre $`\pi ^1(w^{})`$ et l’ensemble des caractères de $``$ dans $`S_w^{}^{cl,\alpha }`$ comptés sans multiplicités.

iii) $`\chi _{x_f}`$ est le caractère de $``$ sur $`f`$.

iv) L’image de $``$ dans $`A(X)^0`$ est d’adhérence compacte.

v) La restriction de $`\pi `$ a chaque composante irréductible de $`X`$ est surjective sur $`B(w,r)`$. Cette propriété est de plus encore vérifiée pour le changement de base de $`\pi `$ à tout fermé irréductible de $`B(w,r)`$.

vi) $`\pi ^1(B(w,r)(_p))(_p)X(F)`$.

Preuve: C’est essentiellement une conséquence des techniques de \[Che\], à ceci près que nous expliquons ici comment gérer la présence du type $`J`$, et le fait que le niveau n’est pas nécessairement net (cf. 4.1. loc. cit.).

Soit $`B:=B(\mathrm{0,1})/_p`$ d’algèbre affinoide $`A(B):=_p<T_1,T_2,T_3>`$. On considère le $`A(B)`$-module de Banach orthonormalisable noté $`S_{(\tau ^{k_3},\tau ^{k_2},\tau ^{k_1})}(1)`$ dans \[Che\], §3.6. $`M`$ est en particulier un $`A(B)[I\mathrm{\Delta }^+I]`$-module (loc. cit. 3.6.2), $`I`$ agissant par endomorphismes de norme $`1`$. Nous ne prendrons pas exactement la même paramétrisation des poids que dans \[Che\] (voir loc. cit. §2.3), nous choisissons ici l’unique telle que les spécialisations $`M_w^{}`$ en $`w^{}^{3,+}B(_p)`$ contiennent $`V_w^{}(_p)__p\tau ^{w^{}w}`$ comme représentation de $`I`$ (cf. remarques 3.7.2, loc. cit. pour la notation $`\tau ^w`$). En particulier, $`M_w`$ contient $`V_w(_p)`$ comme sous-représentation de $`I\mathrm{\Delta }^+I`$.

On fixe une norme sur $`J(F_0)`$ et on définit le $`A(B)`$-module de Banach des formes $`p`$-adiques pour $`\text{U}(3)`$, de type $`J`$, comme étant

$$S:=H^0(M__pJ^{}(F_0))$$

L’application $`\phi _S`$ montre que $`S(M__pJ^{}(F_0))^{\mathrm{\Gamma }_i}`$ est un $`A(B)`$-isomorphisme. $`S`$ est donc un $`A(B)`$-module de Banach satisfaisant la condition (Pr) de \[Bu\] §2, on a donc bien une théorie des séries caractéristiques pour ses endomorphismes compacts (voir \[Col\] A, \[Bu\] §2).

Si $`U`$ est l’opérateur de Hecke agissant sur $`S`$ donné par la double classe $`I\text{diag}(1,p,p^2)I`$, alors $`U`$ est $`A(B)`$-linéaire compact (\[Che\] 3.6.2). Il faut remarquer de plus que si $`w^{}w+(p1)^{3,+}`$, $`S_w^{}S_w^{}^{cl}`$, et $`U_{|S_w^{}^{cl}}`$ coïncide alors avec $`U_1^wU_2^wU_3^w`$. On pose $`g(T):=det(1TU_{|S})1+TA(B)\{\{T\}\}`$, c’est une fonction analytique sur $`B\times 𝔸^1`$.

On fixe $`FF_0`$ un corps local contenant les valeurs propres $`\lambda _i`$ des $`U_i^w`$ sur $`f`$, on note $`\alpha _i:=v(\lambda _i)`$, $`\alpha _3=0`$. Utilisant \[Che\] 5.4, il est aisé de voir que pour un certain $`r[\mathrm{0,1}[|F|`$, $`g`$ se restreint en une fonction analytique sur $`B(w,r)\times 𝔸^1`$ qui se factorise de la forme $`g_{|A(B(w,r))}=PS`$, avec $`P1+TA(B(w,r))[T]`$, $`S1+TA(B(w,r))\{\{T\}\}`$, $`(S,T)=1`$ et tels que $`xB(w,r)(F)`$, $`P_x`$ a toutes ses racines de valuation $`\alpha _1\alpha _2`$, et $`S_x`$ n’en a pas.

On applique à la donnée ci-dessus la construction des variétés de Hecke locales faite en §6.2 loc. cit. On découpe tout d’abord un sous-$`_{B(w,r)}`$-module $`N`$ de $`S_{B(w,r)}`$, localement libre de rang fini sur $`A(B(w,r))`$, sur lequel $`det(1TU)=Q`$. Quitte à diminuer $`r`$, on peut remplacer $`N`$ par un facteur direct $`N^{}`$ ayant la propriété que $`xB(w,r^{})(F),det(1T[I\text{diag}(\mathrm{1,1},p)I]_{|N_x^{}})`$ a exactement pour racines celles de $`det(1T[I\text{diag}(\mathrm{1,1},p)I]_{|N_x})`$ qui sont de valuation $`\alpha _1`$. On définit alors $`X`$ comme l’affinoide d’algèbre l’image de $`_{B(w,r)}`$ dans $`\text{End}_{A(B(w,r))}(N^{})`$. Si $`X`$ n’est pas réduit, on le remplace par sa nilréduction. On dispose alors de $`XB(w,r)`$, $`a`$ et $`x_f`$ comme dans l’énoncé de la proposition 8.1 satisfaisant i), ii) et iii). Il faut noter que la proposition de 4.7.1 loc. cit. (”classicité des formes de poids régulier”) est encore vérifiée pour nos espaces de formes typées, la preuve étant rigoureusement analogue.

Quitte à remplacer $`F`$ par une extension finie, vi) vient de ce qu’il n’existe qu’un nombre fini d’extensions de $`_p`$ de degré donné. La première partie de la condition v) provient de 6.4.2. loc. cit. La seconde se ramène à la première en utilisant le lemme 6.2.5 loc. cit. (bien qu’il soit énoncé avec un idéal $`m`$ maximal, une modification immédiate de sa preuve marche pour tout idéal $`m`$).

Enfin pour iv), on note que si $`0<r^{}<r|F|`$, alors $`B(w,r^{})B(w,r)`$ est compacte sur les algèbres affinoides, ainsi donc que $`A(X)A(X)\widehat{}_{A(B(w,r))}A(B(w,r^{}))`$. On conclut car $`a()A(X)^0`$ et l’image d’un borné par une application compacte entre espaces de Banach sur un corps local est d’adhérence compacte. $`\mathrm{}`$

#### 8.2.3.

Un point de $`X(F)`$ sera dit classique si $`\pi (x)w+(p1)^{3,+}`$ et si le caractère $`\chi _x`$ de $``$ qui lui correspond par le $`ii)`$ de la proposition 8.1 est réalisé dans $`S_{\pi (x)}^{cl}_{F_0}F`$. Les points classiques sont Zariski-denses dans $`X(_p)`$ par $`v)`$, $`i)`$, $`ii)`$ ci-dessus ainsi que le lemme 6.4.7 de \[Che\].

### 8.3. Pseudo-caractères galoisiens

#### 8.3.1.

On se replace dans les hypothèses du paragraphe précédent. Fixons $`xX(F)`$ un point classique, et $`fS_{\pi (x)}^{cl}_{F_0}F`$ un vecteur de caractère $`\chi _x`$ sous $``$. On peut considérer un constituant irréductible $`\mathrm{\Pi }`$ de la représentation automorphe de $`\text{U}(3)`$ engendrée par $`f`$, $`\mathrm{\Pi }_l`$ est alors déterminée par $`\chi `$ pour tout $`l`$ premier ne divisant pas $`N`$. En particulier, la représentation galoisienne $`p`$-adique continue semi-simple associée à $`\mathrm{\Pi }`$ dans 3.2.2, que nous noterons disons $`V(x)`$, ne dépend que de $`x`$ et pas du $`\mathrm{\Pi }`$ choisi, par le théorème de Cebotarev. Soit $`T(x):\text{Gal(}\overline{E}/E\text{)}F`$ la trace de cette représentation, elle est continue et la détermine.

Si $`T:EA(X)`$ est une application d’un ensemble $`E`$ à valeur dans $`A(X)`$, $`xX(F)`$, on notera $`T_x`$ la composition de $`T`$ par l’évaluation en $`x`$. On renvoie en 7.2.1 pour les généralités sur les pseudo-caractères.

###### Corollaire 8.1.

Il existe un unique pseudo-caractère continu de dimension $`3`$,

$$T:\text{Gal(}\overline{E}/E\text{)}_{Np}A(X)$$

tel que pour tout $`xX(F)`$ classique, $`T_x=T(x)`$. Il satisfait $`gG`$, $`T(\tau g\tau )=T(g^1)`$.

Preuve: On définit tout d’abord $`T`$ sur certaines classes de conjugaisons de Frobénius. Soit $`l=v_1v_2`$ un nombre premier totalement décomposé dans $`E`$ comme en 4.2.1, on suppose que $`(l,Np)=1`$, on pose alors

$$T(\text{Frob}_{v_1}):=l^1a([\text{GL}_3(_l)\text{diag}(\mathrm{1,1},l)\text{GL}_3(_l)])(x)$$

$$T(\text{Frob}_{v_2}):=l^1a([\text{GL}_3(_l)\text{diag}(l^1\mathrm{,1,1})\text{GL}_3(_l)])(x)$$

Pour voir que c’est bien défini, $`X`$ étant réduit, il suffit de le vérifier sur les points classiques $`xX(F)`$, auquel cas c’est juste $`T(x)(\text{Frob}_{v_i})`$. Par le théorème de Cebotarev, la condition $`iv)`$ de 8.1, et la continuité de $`T(x)`$ si $`x`$ est classique, il vient que $`T`$ se prolonge d’une unique façon sur $`\text{Gal(}\overline{E}/E\text{)}_{Np}`$ en une application continue $`K`$-valuée. Le fait que c’est un pseudo-caractère, l’assertion d’unicité, ainsi que $`T(\tau g\tau )=T(g^1)`$, découlent par Zariski-densité ($`X`$ étant réduit) en se ramenant aux résultats analogues pour les $`T_x`$ avec $`x`$ classiques qui sont connus. $`\mathrm{}`$

#### 8.3.2.

Nous aurons besoin d’un dernier fait:

###### Proposition 8.2.

Il existe une constante $`C>0`$ telle que pour tout $`xX(F)`$ classique, si $`\delta (\pi (x))>C`$ alors $`V(x)`$ est cristalline. En particulier ces points sont Zariski-dense.

Preuve: Soit $`xX(F)`$ classique, on choisit $`fS_{\pi (x)}^{cl}_{F_0}F`$ comme en §8.3.1, ainsi que $`\mathrm{\Pi }`$. On sait que $`\mathrm{\Pi }_p`$ est engendrée par ses $`I`$-invariants, c’est donc un sous-quotient d’une induite complète du Borel $`\text{Ind}_B(\psi )`$ pour un certain $`\psi `$ comme dans 5.2.1. Pour voir que $`V(x)`$ est cristalline il suffit de montrer que $`\mathrm{\Pi }_p`$ est non ramifiée d’après 3.3, ou mieux que $`\text{Ind}_B(\psi )`$ est irréductible. Or on sait que ceci se produit dès que $`ij,\psi _i(p)/\psi _j(p)p`$ (\[Z\] 4.2). Il se trouve que si $`\pi _i(x)=(k_1,k_2,k_3)`$, $`(a_1,a_2,a_3):=(k_11,k_2,k_3+1)`$ alors §6.2.4 montre que

$$p^{a_i}\iota (\psi _i(p))=\frac{\chi _x(U_i^{\pi (x)})}{\chi _x(U_{i1}^{\pi (x)})}$$

La proposition 8.1 i) conclut l’existence de $`C`$. La seconde assertion s’en déduit à la manière de 8.2.3 $`\mathrm{}`$

### 8.4. Déformations de $`\chi 1\chi ^{}`$

#### 8.4.1.

On reprend les notations de 8.2.1, avec $`N:=\text{cond}(\chi _0)`$, $`K_f=K_l`$ où:

* Si est $`l`$ premier à $`p\text{cond}(\chi _0)`$, $`K_l`$ est le sous-groupe défini en 4.2.3, 4.3.2, 4.3.3 selon que $`l`$ est décomposé, inerte ou ramifié,
* Si $`l`$ divise $`\text{cond}(\chi _0)`$, $`K_l`$ est le sous-groupe $`K_J(l)`$ défini en 4.2, $`J:=_{l|N}(J(l)\chi _0det)`$$`J(l)`$ est la représentation de $`K_J(l)`$ définie aussi en 4.2.

On reconsidère la représentation automorphe $`\pi (\chi _0)`$ de $`\text{U}(3)`$, et on fixe dans tout ce qui suit $`\sigma \{1,(\mathrm{2,\hspace{0.17em}3}),(\mathrm{1,\hspace{0.17em}3,\hspace{0.17em}2})\}`$ accessible pour $`\pi (\chi _0)`$ (cf. §6.2.3). On pose $`w:=(\frac{k1}{2},\frac{k1}{2}\mathrm{,1})^{3,+}`$. On peut choisir un $`f0\pi (\chi _0)^I(S_w^{cl}_{F_0}\overline{}_p)`$ propre pour $``$, de caractère sous $`𝒜(p)`$ correspondant à $`\sigma `$ comme dans 6.2.3. On applique alors 8.1 à ce $`f`$, puis 8.1 et 8.3.2 aux conclusions de 8.1, ce qui nous fournit un corps local $`F`$, un $`F`$-affinoide $`X`$, $`x_fX(F)`$, $`B(w,r)𝔸^3`$, un morphisme $`F`$-affinoide fini $`\pi :XB(w,r)`$, un pseudo-caractère $`T`$, des $`F_i`$ et $`C>0`$ comme dans ces propositions.

#### 8.4.2.

Il sera commode de raisonner en terme des poids de Hodge-Tate des $`V(x)`$ plutôt que de leurs ”poids automorphes” $`\pi (x)`$. On définit à cet effet (cf. §6.2.2) $`\kappa :XB(\kappa (w),r)`$ comme étant la composée de $`\pi `$ avec $`(x,y,z)(x1,y,z+1)`$. Ainsi, si $`xX(F)`$ est classique, $`V(x)`$ est de Hodge-Tate de poids $`\kappa (x)`$. On pose

$$\kappa _0:=\kappa (w)=(\frac{k+1}{2},\frac{k1}{2}\mathrm{,0})$$

#### 8.4.3.

Quitte à prendre une extension finie de $`F`$, comme le précisera sa preuve, on a la

###### Proposition 8.3.

Il existe :

a) Un $`F`$-affinoide $`Y`$ intègre régulier de dimension $`1`$, $`y_0Y(F)`$,

b) Une représentation continue semi-simple

$$\rho _{K(Y)}:\text{Gal(}\overline{E}/E\text{)}_{Np}\text{GL}_3(K(Y))$$

satisfaisant (ABS), $`\rho _{K(Y)}^{}\rho _{K(Y)}`$ et $`\text{tr}(\rho _{K(Y)}(\text{Gal(}\overline{E}/E\text{)}))A(Y)`$,

c) Un $`F`$-morphisme

$$\kappa =(\kappa _1,\kappa _2,\kappa _3):Y𝔸^3,\kappa _3:=0,\kappa (y_0)=\kappa _0,$$

d) Une partie $`ZY(F)`$ telle que $`\kappa (Z)\kappa _0+(p1)^{3,}`$,

e) Des fonctions $`F_1`$, $`F_2`$ et $`F_3`$ dans $`A(Y)`$, chacune de valuation constante sur $`Y(_p)`$,

le tout satisfaisant aux propriétés suivantes :

i) Pour tout ouvert affinoide $`\mathrm{\Omega }`$ de $`Y`$ contenant $`y`$, la fonction

$$xZ\delta (\kappa (x))$$

est non majoré sur $`Z\mathrm{\Omega }`$, d’image incluse dans $`^{\text{Max}(C,k)}`$. En particulier, $`Z\mathrm{\Omega }`$ est Zariski-dense dans $`\mathrm{\Omega }`$,

ii) Si $`zZ\{y_0\}`$, $`\rho _z^{ss}:=\rho _{K(Y),z}^{ss}`$ (cf. 7.1) est la représentation galoisienne attachée à une représentation automorphe $`\mathrm{\Pi }`$ irréductible de $`\text{U}(3)`$ telle que $`Hom_{K_f}(J,\mathrm{\Pi })0`$,

iii) $`\rho _{y_0}^{ss}1\chi _p\chi _p^{}`$.

iv) Si $`zZ\{y_0\}`$, $`(\rho _z^{ss})_{|D_{v_1}}`$ est cristalline de poids de Hodge-Tate $`\kappa (z)`$. Elle est raffinée par

$$(p^{\kappa _1(z)}F_1(z),p^{\kappa _2(z)}F_2(z),p^{\kappa _3(z)}F_3(z))$$

v) Ce raffinement est $`(\sigma )`$ en $`y_0`$.

Preuve: Soit $`BB(\kappa _0,r)𝔸^3`$, le fermé affinoide de $`B(\kappa _0,r)`$ défini par $`x_3=0`$, et $`x_2=2x_1+\frac{k3}{2}`$. $`\kappa _0B(F)`$. On pose:

$$𝒵:=\{zB(F)(\kappa _0+(p1)^{3,}),\delta (z)>\text{Max}(C,k,\alpha _1+\alpha _21)\}$$

Le choix de $`B`$, assez arbitraire, est tel que les fonctions $`x_2x_1`$ et $`x_2`$ sont non bornées sur $`U𝒵`$ pour tout $`U`$ ouvert affinoide de $`B`$ contenant $`\kappa _0`$.

On considère $`X_B:=X\times _{B(\kappa _0,r)}B`$, c’est un $`F`$-affinoide de dimension $`1`$, $`x_fX_B(F)`$. Le morphisme déduit par extension des scalaires $`\kappa _B:X_BB`$ est encore fini, surjectif restreint à chaque composante irréductible de $`X_B`$ d’après 8.1 v). On choisit alors $`X^{}`$ une composante irréductible (réduite) de dimension $`1`$ de $`X_B`$ contenant $`x_f`$.

Le pseudo-caractère $`T`$ peut être vu à valeur dans $`A(X^{})`$, par composition $`A(X)A(X_B)A(X^{})`$, et on peut appliquer le lemme 7.2 à la donnée de $`A(X^{})`$ et $`T`$. Il nous fournit un $`F`$-affinoide intègre $`Y`$, régulier de dimension $`1`$, muni d’un morphisme fini et surjectif $`h:YX^{}`$, ainsi qu’une représentation semi-simple $`\rho :G\text{GL}_3(K(Y))`$ de trace $`T`$, satisfaisant (ABS). Quitte à remplacer $`F`$ par une extension finie, on peut choisir $`yY(F)`$ tel que $`h(y)=x`$. Notant que $`T(g^1)=T(\tau .g.\tau )`$ d’après 8.1, on a prouvé a) et b).

On définit $`\kappa `$ comme étant la composée $`Y\stackrel{}{}X^{}X_B\stackrel{\kappa _B}{}B`$. Notons que $`\kappa :YB`$ est plat, car c’est le cas des extensions finies d’anneaux de Dedekind. Cela prouve c). On pose $`Z:=\kappa ^1(𝒵)`$, il satisfait d) par 8.4.2 et i) par choix de $`𝒵`$ et platitude de $`\kappa `$. $`X^{}`$ étant un fermé de $`X`$, on peut y restreindre les $`F_i`$ de 8.4.1, et les définir sur $`Y`$ en les composant au morphisme $`h:YX^{}`$. Ce sont ces derniers que l’on choisit pour e), l’assertion sur les valuations des $`F_i`$ est déjà satisfaite sur $`X`$ par construction (cf. 8.1).

Soit $`zZ\{y_0\}`$, $`\rho _{K(Y),z}^{ss}`$ est la représentation semi-simple de $`\text{Gal(}\overline{E}/E\text{)}_{Np}`$ de trace $`T_z=T_{h(z)}`$ (cf. 7.1, 8.1). Par choix de $`Z`$ et 8.1 iii), $`h(z)X(F)`$ est un point classique, et l’assertion $`ii)`$ découle donc de 8.3.1 et 8.1. On déduit alors iii) de ii), 8.1 iii) et du choix de $`f`$ dans 8.4.1.

La première assertion de iv) est alors une conséquence de ii), 6.2.2, 8.4.2, ainsi que 8.3.2 et le fait que $`\delta (\kappa (z))>C`$ par i). La seconde assertion, ainsi que v), découlent de 6.2.3 et 6.1.2. $`\mathrm{}`$

Remarques: On rappelle que toute la construction ci-dessus dépend du choix initial du $`\sigma 𝔖_3`$ accessible pour $`\pi (\chi _0)`$. Ceci fait, le second choix réellement effectué dans la construction ci-dessus est celui de la composante irréductible $`X^{}`$ de $`X_B^{}`$ passant par $`x_f`$. Il semble difficile d’évaluer le nombre de composantes irréductibles de $`X`$ (ou de $`X_B`$) au voisinage de $`x`$. En ce qui concerne ce texte, chaque choix de composante permet de conclure dans la section 9.

## 9. Construction de l’extension

On reprend les notations de la proposition 8.3, où l’on a fixé $`\sigma =(\mathrm{2,3})`$.

### 9.1. Irréductibilité générique

###### Proposition 9.1.

$`\rho _{K(Y)}`$ est absolument irréductible.

Preuve: D’après 8.3 b), $`\rho _{K(Y)}`$ vérifie la propriété (ABS) (voir 7.1.1). Il suffit donc de montrer que $`\rho _{K(Y)}`$ est irréductible. Supposons par l’absurde que $`\rho _{K(Y)}\rho _{1,K(Y)}\rho _{2,K(Y)}`$, $`\rho _{i,K(Y)}`$ étant une $`K(Y)`$-représentation de $`G`$ de dimension $`0`$. Le lemme 7.1 ii) montre que $`\text{tr}(\pi _i(G))A(Y)`$, car $`A(Y)`$ est régulier d’après 8.3 a). Soit $`zZ`$, l’évaluation en $`z`$ de $`\text{tr}(\rho (g)))=\text{tr}(\rho _1(g))+\text{tr}(\rho _2(g)),g\text{Gal(}\overline{E}/E\text{)}_{Np}`$ a un sens et montre que $`\rho _z^{ss}`$ est réductible (cf. 7.1). Nous allons montrer que c’est absurde par notre choix du raffinement.

D’après 8.3 e), $`v(F_i(.)):X(F),xv(F_i(x))`$ est constante, on la note $`\alpha _i`$. En évaluant en $`y_0`$, 8.3 iv), v) ainsi que 5.2.4 appliqué à $`(\mathrm{3,\; 2})`$ montrent que:

$$(\alpha _1,\alpha _2,\alpha _3)=(1,\frac{k1}{2},\frac{k+1}{2})$$

Notons qu’avec ce choix, $`i,j\{\mathrm{1,2,3}\},\alpha _i0\text{ et }\alpha _i+\alpha _j0`$. De plus, si $`ij`$, $`|\alpha _i|<k`$ et $`|\alpha _i+\alpha _j|<k`$.

D’après 8.3 iv), $`\rho _z^{ss}`$ est cristalline de poids de Hodge-Tate $`k_i:=\kappa _i(z)`$, avec $`k_1<k_2<k_3`$, et les valeurs propres de son Frobénius cristallin ont pour valuation $`k_1+\alpha _1`$, $`k_2+\alpha _2`$ et $`k_3+\alpha _3`$. Par le théorème $`A`$ de \[CF\], pour voir que $`\rho _z^{ss}`$ est irréductible, il suffit de voir que $`D:=D_{cris}(\rho _z^{ss})`$ n’admet pas de sous-module filtré faiblement admissible. Si $`D^{}`$ est un tel sous-module de rang $`1`$, alors par faible admissibilité $`t_H(D^{})=t_N(D^{})`$ (cf. loc. cit.) entraîne $`k_i=k_j+\alpha _j`$ pour un couple $`(i,j)`$. Mais par 8.3 i), $`|k_ik_j|>k`$, les inégalités sur les $`\alpha _i`$ entraînent donc $`i=j`$ puis $`\alpha _i=0`$, ce qui est absurde. De même, si $`D^{}`$ est un sous-module filtré faiblement admissible de rang $`2`$ de $`D`$, on arrive à une contradiction en résolvant $`k_i^{}+k_j^{}=k_i+k_j+\alpha _i+\alpha _j`$. $`\mathrm{}`$

Remarques: Une légère modification de la preuve montrerait qu’en fait $`\rho _{K(Y)}^{}{}_{|D_{v_1}}{}^{}`$ est irréductible. Notons de plus que l’argument d’irréductibilité étant local en $`p`$, il n’utilise pas le fait que les représentations galoisiennes attachées aux représentations automorphes stables tempérées sont globalement irréductibles, mais simplement 3.3. Le point clé est que nous disposons d’un $`\sigma `$ accessible tel que le raffinement $`(\sigma )`$ est aussi éloigné que possible du raffinement ordinaire au point $`y_0`$.

### 9.2. L’inertie aux places ne divisant pas $`p`$

#### 9.2.1.

Nous allons préciser l’action de l’inertie aux places de $`E`$ ne divisant pas $`p`$. Pour énoncer commodément nos résultats, on introduit

$$\rho _{K(Y)}^{}:=\rho _{K(Y)}_F(\chi _p^{})^1.$$

###### Proposition 9.2.

Soit $`w`$ une place de $`E`$ au-dessus de $`lp`$. Alors

* Si $`w`$ ne divise pas $`\text{cond}(\chi _0)`$, $`\rho _{K(Y)}`$ et $`\rho _{K(Y)}^{}`$ sont non ramifiées en $`w`$.
* Si $`w`$ divise $`\text{cond}(\chi _0)`$, on a

$$dim_{K(Y)}(\rho _{K(Y)}^{})^{I_w}=2.$$

Le reste de la sous-section est consacré a la preuve de cette proposition. D’après 8.3 a), b) et 7.1 iv) appliqué en l’idéal maximal de $`y_0`$, on peut trouver $`gA(Y)`$ avec $`g(y_0)0`$, tel que $`\rho _{K(Y)}`$ admette un $`A(Y)_g`$-réseau stable. On note $`\rho `$ la représentation de $`G`$ définie par ce réseau, $`S`$ l’ensemble fini des zéros de $`g`$, et pour $`yY\backslash S`$, $`\rho _y`$ la réduction de $`\rho `$ en $`y`$.

Remarquons que $`\rho _y`$ est bien définie à isomorphisme près, et non plus seulement à semi-simplification près. De plus, $`\rho _{K(Y)}`$ étant semi-simple, $`\rho _z`$ l’est aussi pour un sous-ensemble infini de $`Z(Y\backslash S)`$, que l’on note $`Z^{}`$. Enfin, si $`zZ^{}`$, alors $`\rho _z^{ss}\rho _z`$ est par 8.3 ii) la représentation galoisienne attachée à une représentation automorphe notée $`\mathrm{\Pi }(z)`$ de $`\text{U}(3)`$, comme en 8.3.1.

#### 9.2.2. Le cas $`w`$ ne divisant pas $`\text{cond}(\chi _0)`$

Il suffit de montrer que les $`\rho _z`$ sont non ramifiées pour $`zZ^{}`$. Par construction (cf. 8.4.1), $`\mathrm{\Pi }(z)`$ a un vecteur fixe par le compact maximal $`K_l`$. Si $`l`$ est non ramifié dans $`E`$, $`K_l`$ est hyperspécial (4.2.3, 4.3.2) et $`\mathrm{\Pi }(z)`$ est non ramifié, si bien que la représentation galoisienne $`\rho _z`$ associée l’est aussi, d’apres la propriété 3 §3.2.2. Si $`l`$ est ramifié, $`K_l`$ est très spécial (4.3.3), si bien que d’après \[La\] p.88, le changement de base $`\pi _E`$ est non ramifié, et on en déduit encore que $`\rho _z`$ est non ramifiée, cette fois d’après la proposition 3.1.

#### 9.2.3. Le cas $`w`$ divisant $`\text{cond}(\chi _0)`$

Par construction (cf. 8.4.1), on a

$$\text{Hom}_{K_J(l)}(J(l),(\mathrm{\Pi }(z)(\chi _0det)^1)_l)0$$

D’après 4.2, il existe un sous-groupe ouvert $`I_w^{}`$ de $`I_w`$ tel que pour tout $`zZ^{}`$ on a $`\rho _z^{}(I_w^{})=1`$. On en tire $`\rho _{K(Y)}^{}(I_w^{})=1`$.

Notons que pour démontrer la proposition, il suffit de le faire après une extension finie de $`K(Y)`$. Mais il existe une extension finie $`F^{}/F`$ telle que la représentation $`\rho _{K(Y)}^{}{}_{|I_w}{}^{}`$, qui se factorise par le groupe fini $`I_w/I_w^{}`$, soit définie sur $`F^{}`$. Autrement dit, si $`L`$ est une extension composée de $`K(Y)`$ et $`F^{}`$ et $`\rho _L^{}:=\rho _{K(Y)}^{}_{K(Y)}L`$, alors $`\rho _{L}^{}{}_{|I_w}{}^{}`$ est isomorphe à $`\theta _F^{}L`$, où $`\theta `$ est une représentation de $`I_w`$ sur $`F^{}`$ triviale sur $`I_w^{}`$. Comme $`\theta `$ est nécessairement semi-simple, on en déduit par évaluation des traces en $`y_0`$ que $`(\rho _{|I_w}^{})_{y_0}^{ss}\theta `$. En particulier, $`\theta 11((\chi _p^{})^1)_{|I_w}`$ d’après 8.3 point iii). La proposition en découle.

### 9.3. Application des méthodes à la Ribet et Kisin

Dans ce paragraphe on tire les fruits de la variante du lemme de Ribet démontré dans la proposition 7.1, et la proposition 6.1 ”à la Kisin”. Introduisons encore quelques notations : on pose

$$u:=\chi ^{}(\text{Frob}_{v_1})$$

Notons alors qu’on a $`\chi (\text{Frob}_{v_1})=up^1`$. Notons $`D_{cris,v_1}`$ le foncteur $`D_{cris,v_1}(V):=D_{cris}(V_{|D_{v_1}})`$, qui est exact à gauche. L’action du Frobenius cristallin $`\phi `$ sur les droites $`D_{cris,v_1}(\chi _p^{})`$, $`D_{cris,v_1}(\chi _p)`$ et $`D_{cris,v_1}(1)`$ est la multiplication respectivement par $`u`$, $`up^1`$ et $`1`$ (cf. §2.6). Ces trois nombres sont deux à deux distincts, puisque leur valuations (respectivement $`(k1)/2`$, $`(k+1)/2`$ et $`0`$) le sont.

###### Proposition 9.3.

Il existe une représentation continue $`\overline{\rho }:\text{Gal(}\overline{E}/E\text{)}\text{GL}_3(F)`$ vérifiant

* Pour toute place $`w`$ de $`E`$ ne divisant pas $`p`$ on a

(10) $`dim_F(\overline{\rho }(\chi _p^{})^1)^{I_w}`$ $``$ $`2\text{ si }w|\text{disc}(\chi _0)`$
(11) $`dim_F(\overline{\rho }(\chi _p^{})^1)^{I_w}`$ $`=`$ $`3\text{ si }w\text{disc}(\chi _0)`$
* $`D_{cris,v_1}(\overline{\rho })^{\varphi =u}`$ est non nul.
* On a $`\overline{\rho }^{ss}\chi _p\chi _p^{}1`$. Une des deux assertions suivantes est vraie :

+ Soit $`\overline{\rho }`$ admet un sous-quotient $`r`$ de dimension $`2`$, vérifiant $`rr^{}`$ et tel que $`r`$ est une extension non triviale de $`\chi _p^{}`$ par $`\chi _p`$.
    + Soit $`\overline{\rho }\overline{\rho }^{}`$, $`\overline{\rho }`$ admet une unique sous-représentation $`r_1`$ de dimension $`2`$ et un unique sous-quotient $`r_2`$ de dimension $`2`$, avec $`r_1`$ extension non triviale de $`1`$ par $`\chi _p`$, $`r_2`$ extension non triviale de $`\chi _p^{}`$ par $`1`$, et $`r_1r_{2}^{}{}_{}{}^{}`$.

Preuve : Notons $`𝒪`$ l’anneau local rigide de $`Y`$ en $`y_0`$, $`L`$ le corps des fractions de cet anneau, et $`\rho _L:=\rho _{K(Y)}_{K(Y)}L`$. L’anneau $`𝒪`$ est de valuation discrète, de corps résiduel $`F`$. Le représentation $`\rho _L`$ est irréductible d’après la proposition 9.1

D’après la proposition 8.3 ii), $`\overline{\rho _l}^{ss}`$ est la somme de trois caractères, $`\chi _p`$, $`\chi _p^{}`$ et $`1`$. Ces trois caractères sont deux à deux distincts (ils n’ont pas les mêmes poids) et on est donc en mesure d’appliquer la proposition 7.1 à $`\rho _L`$. Cette proposition affirme précisément l’existence d’un $`𝒪`$-réseau $`\mathrm{\Lambda }L^3`$ stable par $`\rho _L`$, tel que la représentation réduite associée $`\overline{\rho }:=\overline{\rho _L}_\mathrm{\Lambda }`$ vérifie soit la condition iii.a soit la condition iii.b de 9.3. $`𝒪`$ étant de valuation discrète, il résulte immédiatement de la proposition 9.2 que $`\overline{\rho }`$ vérifie la propriété ii.

Nous allons montrer que $`\overline{\rho }`$ vérifie ii. Le lemme 7.3 appliqué à $`\rho _L`$ a $`y_0`$ et à la classe d’homothéties $`s`$ du réseau $`\mathrm{\Lambda }`$ donne l’existence d’un ouvert affinoide $`\mathrm{\Omega }Y`$ contenant $`y_0`$, telle que la représentation $`\rho _L`$ admet un $`A(\mathrm{\Omega })`$-réseau stable $`M`$ ; notant $`\rho `$ la représentation $`\text{Gal(}\overline{E}/E\text{)}\text{GL}(M)`$, le lemme 7.3 assure que $`\rho _{y_0}\overline{\rho }`$. $`\overline{\rho }`$ est continue d’après le corollaire 7.2.

Nous allons maintenant appliquer la proposition 6.1 à la donnée de $`\rho _{|D_{v_1}}:D_{v_1}\text{GL}_3(A(\mathrm{\Omega }))`$, de $`\kappa _{|\mathrm{\Omega }}`$ et des $`F_{i}^{}{}_{|\mathrm{\Omega }}{}^{}`$ (cf. §6.3.2). On choisit pour ensemble ”$`Z`$loc. cit. l’ensemble $`Z\mathrm{\Omega }`$ auquel on enlève le sous-ensemble des $`z`$ tels que $`\rho _z`$ n’est pas semi-simple. Ce dernier est fini car $`\rho _{K(\mathrm{\Omega })}`$ est semi-simple. La proposition 8.3 assure que les hypothèses i) à vi) de 6.3.2 de la proposition 6.1 sont vérifiées, iii) par notre choix de $`Z`$. On voit donc que

$$D_{cris,v_1}(\rho _{y_0})^{\varphi =F_1(y_0)\kappa _1(y_0)}\text{ est non nul},$$

$`\kappa _1`$ et $`F_1`$ sont ceux donnés par la proposition 8.3. D’après les points iv) et v) de 8.3, $`p^{\kappa _1(y_0)}F_1(y_0)`$ est la première valeur propre du raffinement $`((\mathrm{3,2}))`$ de $`\rho _{y_0}^{}{}_{|D_{v_1}}{}^{}`$, donc d’après 5.2.4, $`p^{\kappa _1(y_0)}F(y_0)=\chi ^{}(p)=u`$, ce qui prouve ii. $`\mathrm{}`$.

### 9.4. Élimination du cas a.

Nous voulons montrer, par l’absurde, que l’on n’est pas dans le cas iii. a. de la proposition précédente. On se place donc dans ce cas. La représentation $`\overline{\rho }`$ admet comme sous-quotient une extension non triviale $`r`$ de $`\chi _p^{}`$ par $`\chi _p`$. Par conséquent, $`\overline{\rho }^{}:=\overline{\rho }(\chi _p^{})^1`$ contient comme sous-quotient $`r^{}:=r(\chi _p^{})^1`$, extension non triviale de $`F`$ (la représentation triviale sur $`F`$) par $`F(1)`$ (le caractère cyclotomique sur $`F`$).

###### Lemme 9.1.

La représentation $`r^{}`$ est cristalline en $`v_1`$ et en $`v_2`$.

Preuve : Il suffit de le prouver pour $`r`$, car $`\chi _p^{}`$ est cristallin en $`v_1`$ et $`v_2`$, $`\chi ^{}`$ étant non ramifié en ces places. De plus, comme $`rr^{}`$, il suffit de le prouver en $`v_1`$. Comme $`D_{cris,v_1}`$ est exact à gauche, ainsi que le foncteur $`VD_{cris,v_1}(V)^{\varphi =u}`$, on voit que

$$dim_FD_{cris,v_1}(\overline{\rho })^{\varphi =u}dim_FD_{cris,v_1}(r)^{\varphi =u}+dim_FD_{cris,v_1}(1)^{\varphi =u}.$$

Comme $`D_{cris,v_1}(1)^{\varphi =u}=0`$ car $`u1`$, il résulte de i. que $`D_{cris,v_1}(r)^{\varphi =u}`$ est non nul.

Utilisant encore que $`D_{cris,v_1}`$ est exact à gauche il vient

$$D_{cris,v_1}(\chi _p)D_{cris,v_1}(r)$$

et il y a donc dans $`D_{cris,v_1}(r)`$ deux droites sur lesquelles $`\phi `$ agit par $`u`$ et par $`up^1`$ ce qui implique qu’elles sont distinctes. On en déduit que $`dim_FD_{cris,v_1}(r)=2`$, i.e. $`r`$ est cristalline en $`v_1`$. $`\mathrm{}`$

###### Lemme 9.2.

La représentation $`r^{}`$ est non ramifiée en toutes les places $`w`$ ne divisant pas $`p`$.

Preuve : Si $`w`$ ne divise pas $`\text{cond}(\chi _0)`$, $`\overline{\rho }^{}`$ est non ramifiée en $`w`$ d’après ii., et $`r^{}`$ non plus.

Si $`w`$ divise $`\text{cond}(\chi _0)`$, l’exactitude à gauche du foncteur des invariants sous $`I_w`$ donne

$$dim_F(\overline{\rho }^{})^{I_w}dim_Fr_{}^{}{}_{}{}^{I_w}+dim_F((\chi _p^{})^1)^{I_w}$$

Comme $`((\chi _p^{})^1)^{I_w}=0`$, il découle de i. que $`r^{}`$ est non ramifié. $`\mathrm{}`$.

L’existence de $`r^{}`$ est alors en contradiction avec le lemme bien connu suivant,

###### Lemme 9.3.

Soit $`E`$ est un corps quadratique imaginaire, $`F/_p`$ un corps local, alors il n’existe pas d’extension non triviale de représentations continues de Gal($`\overline{E}/E`$) de $`F`$ par $`F(1)`$ qui soit non ramifiée hors de $`p`$ et cristalline en les places divisant $`p`$.

Preuve: La théorie de Kummer entraine que la dimension sur $`F`$ du groupe de ces extensions est égale au rang de $`𝒪_E^{}`$ (voir par exemple \[Rulivre\], proposition 1.6.4). Ce dernier groupe est fini si $`E`$ est quadratique imaginaire. $`\mathrm{}`$

###### Remarque 9.1.

Dans le lemme précédent, il est essentiel que les extensions considérées soient non ramifiées (resp. cristallines) à toutes les places. Si on relâche la condition à une place quelconque, de telles extensions non triviales existent. Par ailleurs il est essentiel que le corps de base $`E`$ soit quadratique imaginaire. Pour tout autre corps, à part $``$, l’énoncé précédent serait mis en défaut : on construirait par la théorie de Kummer une extension non triviale, en partant d’une unité de $`E`$ qui n’est pas racine de $`1`$. En fait, l’énoncé précédent correspond, par les conjectures de Bloch-Kato, au fait que la fonction $`\zeta `$ du corps $`E`$ ne s’annule pas en $`s=0`$. Comme on le sait, ceci n’est vrai que pour $`E`$ quadratique imaginaire ou $``$. C’est ici, et ici seulement à part la formule de multiplicité 4.1, que l’on utilise dans ce papier l’hypothèse que $`E`$ est quadratique imaginaire. Tout le reste marcherait tout aussi bien en travaillant avec $`E/F`$ extension $`CM`$, et le groupe unitaire $`\text{U}(3)`$ compact à toutes les places à l’infini sur $`F`$. Dans ce cadre, la preuve de 4.1 montre que l’analogue de la représentation automorphe $`\pi (\chi _0)`$ existe si et seulement si $`\epsilon =(1)^{dim_{}F}`$. En particulier, si $`dimF`$ est pair, on peut avoir $`L(\chi _0\mathrm{,1}/2)0`$, et on ne s’attend alors pas à ce qu’une extension de $`\chi _p`$ par $`1`$ cristalline existe. On voit que dans ce cas, c’est un élément non trivial de $`H_f^1(E,_p(1))`$ qu’aurait construit notre méthode.

### 9.5. Fin de la preuve

On est donc dans le cas b. de la proposition.

###### Lemme 9.4.

$`r_1`$ et $`r_2`$ sont cristallines en $`v_1`$ et en $`v_2`$.

Preuve : Comme $`r_1r_2^{}`$, la cristallinité de $`r_1`$ en $`v_2`$ (resp. $`v_1`$) équivaut à celle de $`r_2`$ en $`v_1`$ (resp. $`v_2`$). Il suffit donc de prouver que $`r_1`$ et $`r_2`$ sont cristallines en $`v_1`$.

En ce qui concerne $`r_1`$, extension non triviale de $`1`$ par $`\chi _p`$, on observe que les poids de Hodge-Tate en $`v_1`$ de $`\chi _p`$ et $`1`$ sont respectivement $`(k+1)/2`$ et $`0`$, avec $`(k+1)/22=02`$. Une telle extension est automatiquement cristalline d’après \[FP\] proposition 3.1.

Considérons la représentation $`r_2`$, pour laquelle le même argument de poids ne marche plus. Cependant la cristallinité de $`r_2`$ en $`v_1`$ se montre exactement comme celle de $`r`$ dans le lemme 9.1, à l’aide du point i. $`\mathrm{}`$.

La représentation $`r_1`$ fournit une extension de $`1`$ par $`\chi _p`$, non triviale, qui a bonne réduction aux deux places divisant $`p`$ d’après le lemme précédent. Comme $`\chi _p`$ n’est pas le caractère cyclotomique, une telle extension a automatiquement bonne réduction (voir l’introduction) aux places ne divisant pas $`p`$ : cf. par exemple \[Rulivre, lemme 1.3.5\]. Ceci prouve le théorème 1.1.

Joël Bellaïche : Institute for Advanced Studies
Einstein drive, Princeton, NJ 08540, États-unis
email : jbellaic@ias.edu
Gaëtan Chenevier : Département de mathématiques et applications, École normale supérieure
45 rue d’Ulm, 75005 Paris, France
email : chenevie@ens.fr