text:
# Filtrations de type Hasse-Arf et monodromie 𝑝-adique

## Introduction

Le principal propos de cet article est d’appliquer la théorie de Christol-Mebkhout à la démonstration de la “conjecture de monodromie locale $`p`$-adique” de Crew.

### 0.1.

Si $`k`$ est un corps fini de caractéristique $`p`$, la structure du groupe de Galois $`G_{k((z))}=Gal(k((z))^{sep}/k((z)))`$ est plus compliquée qu’en caractéristique $`0`$, et partant, la théorie de ses représentations en est plus riche.

Dans le cas des représentations $`\mathrm{}`$-adiques (continues, de dimension finie, avec $`\mathrm{}p`$) ou, ce qui revient au même, des faisceaux étales $`\mathrm{}`$-adiques sur $`Speck((z))`$, le théorème de monodromie locale de Grothendieck affirme que l’inertie $`=G_{\overline{k}((z))}`$ agit de manière quasi-unipotente: un sous-groupe d’indice fini agit de manière unipotente; en d’autres termes, la représentation de l’inertie devient extension itérée de représentations triviales si on remplace $`\overline{k}((z))`$ par une extension finie séparable convenable (en général non abélienne).

Dans , Crew conjecture un analogue $`p`$-adique de ce théorème, pour les $`F`$-isocristaux surconvergents sur $`Speck((z))`$, et met en valeur son importance.

Ces isocristaux surconvergents “locaux” sont, en langage plus concret (mais qui obscurcit un peu l’analogie avec les faisceaux étales $`\mathrm{}`$-adiques), des modules différentiels $`M`$ sur le corps différentiel $`^{}`$ des fonctions analytiques bornées sur une “mince” couronne $`𝒞(]r\mathrm{,1}[)`$ de rayon intérieur $`r`$ non précisé, à coefficients dans un corps $`K`$ complet pour une valuation discrète $`p`$-adique de corps résiduel $`k`$.

Un point technique important dans la conjecture de Crew est le passage de $`^{}`$ à l’anneau $``$ des fonctions analytiques non nécessairement bornées sur une couronne $`𝒞(]r\mathrm{,1}[)`$ de rayon intérieur non précisé (qui a l’avantage sur $`^{}`$ d’être auto-dual pour la dualité locale de Dwork).

Toute extension finie séparable de $`k((z))`$ donne naissance à une extension finie de $`^{}`$ et de $``$ respectivement, et la conjecture affirme que si $`M`$ admet une structure de Frobenius, alors $`M`$ est quasi-unipotent, i.e. devient extension itérée de modules différentiels triviaux sur une extension finie de $``$ provenant d’une extension finie séparable de $`k((z))`$. Cette conjecture “explique” les isocristaux surconvergents sur $`Speck((z))`$ admettant une structure de Frobenius en termes des représentations $`p`$-adiques de $`G_{k((z))}`$ dont l’image de l’inertie est finie.

Le passage de $`^{}`$ (en faveur chez Dwork-Robba) à $``$ était aussi la clé des progrès que Christol et Mebkhout ont accomplis dans l’étude des équations différentielles $`p`$-adiques, avec pour motivation la conjecture de l’indice de Robba. L’une de leurs innovations majeures est la théorie des “pentes $`p`$-adiques” des modules différentiels sur $``$, définies en terme de convergence de solutions en divers points génériques. Comme application de leur théorème de l’indice, ils obtiennent une propriété d’intégralité à la Hasse-Arf pour la filtration par les pentes $`p`$-adiques.

C’est là l’outil essentiel dont nous nous servons pour démontrer la conjecture de Crew, sous la forme renforcée suivante (et sans supposer $`k`$ fini).

###### 0.1.1 Théorème.

Tout module différentiel de présentation finie sur $``$ admettant une structure de Frobenius est quasi-unipotent, i.e. possède une base de solutions dans $`^{}[\mathrm{log}z]`$, où $`^{}`$ est l’extension finie étale de $``$ issue d’une extension finie séparable convenable de $`k((z))`$.

Notre résultat est plus précis: il détermine le groupe tannakien attaché à la catégorie des modules différentiels admettant une structure de Frobenius sur une “couronne $`p`$-adique infiniment mince” (théorème 7.1.1), et relie directement cette catégorie à celle des représentations $`p`$-adiques du corps local $`k((z))`$ à inertie finie.

En fait, nous élucidons d’abord la structure de cette catégorie de modules différentiels, pour en déduire la structure de ses objets.

### 0.2.

On rencontre deux types généraux de filtrations dans diverses situations tannakiennes concrètes: celles du type “pentes frobeniusiennes”, qui se comportent “additivement” pour le produit tensoriel, et qui ont été formalisées par Saavedra \[28, IV\]; et celles pour lesquelles le produit tensoriel de deux objets de pentes $`\lambda `$ est de pentes $`\lambda `$ (c’est le cas de la filtration par les pentes $`p`$-adiques).

Nous formalisons ce second type de filtration par les pentes, dans une catégorie tannakienne quelconque. On peut attacher à tout objet son polygône de Newton suivant la recette classique. Dans tous les exemples intéressants, il s’avère que le polygône de Newton de tout objet est à sommets entiers. Nous appelons filtration de type Hasse-Arf une filtration par les pentes ayant cette propriété remarquable.

En pratique, comme l’illustre l’exemple originel de la filtration de Hasse-Arf sur les représentations finies d’un groupe de Galois local, on dispose en outre de fonctorialités (changements de base finis) vérifiant certaines compatibilités partielles (de type Herbrand) vis-à-vis des filtrations, qui enrichissent beaucoup la théorie. Nous adaptons une part de ce formalisme au cas des filtrations de type Hasse-Arf abstraites.

On obtient alors une situation où interfèrent la théorie des représentations (aspect tannakien), la combinatoire (intégralité des polygônes de Newton), et des transferts. Cette situation est extrêmement rigide. On peut démontrer, sous certaines hypothèses sur les objets de dimension un, un théorème de structure général (5.2.1) qui est la principale innovation technique de l’article.

Ce théorème n’a rien de “$`p`$-adique”: la possibilité de l’appliquer aux isocristaux surconvergents repose essentiellement sur les résultats de Christol-Mebkhout. A posteriori, le théorème de monodromie locale $`p`$-adique 0.1.1 permet de retrouver et comprendre beaucoup de leurs énoncés de manière galoisienne, et même d’aller plus loin dans l’analyse des modules différentiels irréductibles (§7).

### 0.3.

Le théorème de monodromie locale $`\mathrm{}`$-adique de Grothendieck vaut non seulement pour les corps locaux de caractéristique $`p>0`$, mais aussi pour les corps locaux $`K`$ d’inégales caractéristiques $`(0,p)`$. Pour un tel corps, l’analogue $`p`$-adique du théorème de monodromie locale est la conjecture de Fontaine  sur les représentations $`p`$-adiques de corps $`p`$-adiques, qui s’énonce ainsi:

Toute représentation de De Rham est potentiellement semistable.

Le lien entre cette conjecture et celle de Crew a été mis en lumière dans un travail récent remarquable de Berger  (un pas antérieur important étant le théorème de surconvergence de ). Il y démontre entre autres:

###### 0.3.1 Théorème.

$`(\mathrm{Berger}`$ $`)`$. Il existe un $``$-foncteur fidèle et exact de la catégorie des représentations $`p`$-adiques de De Rham de $`K`$ vers celle des modules différentiels de présentation finie sur $`_K`$ admettant une structure de Frobenius. En outre, une représentation est potentiellement semistable si et seulement si le module différentiel associé est quasi-unipotent.

La conjecture de Fontaine résulte immédiatement des théorèmes 0.3.1 et 0.1.1.

### 0.4.

L’article se termine par une brève discussion de la conjecture de Dwork sur les structures de Frobenius, et des extensions canoniques.

Les idées contenues dans ce texte sont une évolution de celles de  (où un contre-exemple putatif proposé par Z. Mebkhout, longtemps resté en suspens, était mis au ban d’essai). Je remercie Bruno Chiarellotto et Pierre Colmez de m’avoir fortement encouragé à les rédiger enfin, en m’expliquant le lien avec le travail de L. Berger et la conjecture de J.-M. Fontaine. Je les remercie aussi, ainsi que R. Crew, pour leurs commentaires sur le texte.

## 1. Filtrations par les pentes dans les catégories tannakiennes

### 1.1.

On formalise ici quelques propriétés des filtrations par les pentes rencontrées dans divers contextes (voir \[20, II\] pour le cadre différentiel, \[21, I\] pour le cadre des représentations galoisiennes $`\mathrm{}`$-adiques).

On se donne une catégorie tannakienne $`𝒯`$ sur un corps $`E`$. Par sous-catégorie tannakienne de $`𝒯`$, on entendra toujours une sous-catégorie strictement pleine contenant l’unité $`\mathrm{𝟏}`$, stable par sous-quotient (au sens de $`𝒯`$), par $``$, $``$ et dualité .

On se donne un système décroissant, indexé par $`\lambda 𝐑_0`$, de sous-foncteurs $`E`$-linéaires exacts $`F^{>\lambda }`$ du foncteur identique de $`𝒯`$.

Ces endofoncteurs définissent un système d’endofoncteurs $`E`$-linéaires exacts

$$gr^\lambda =(\underset{}{\mathrm{lim}}_{\mu <\lambda }F^{>\mu })/F^{>\lambda }\text{ pour}\lambda >0,\text{et}gr^0=id/F^{>0}$$

(pour vérifier l’exactitude, on peut remarquer que comme tout objet $`M`$ est de longueur finie, on a $`\underset{}{\mathrm{lim}}_{\mu <\lambda }F^{>\mu }(M)=F^{>\nu }(M)`$ pour $`\nu <\lambda `$ convenable).

On note $`𝒯_\lambda `$ la sous-catégorie pleine de $`𝒯`$ formée des objets sur lesquels $`F^{>\lambda }`$ s’annule. C’est une catégorie abélienne, en vertu de l’exactitude de $`F^{>\lambda }`$.

Faisons en outre les hypothèses suivantes: pour tous $`M,NOb(𝒯)`$ et tout $`\lambda 0`$, on a

$`FP_1)`$ $`\underset{}{\mathrm{lim}}_{\lambda 0}F^{>\lambda }`$ est le foncteur nul,

$`FP_2)`$ $`\underset{}{\mathrm{lim}}_{\mu >\lambda }F^{>\mu }=F^{>\lambda }`$,

$`FP_3)`$ $`F^{>\lambda }(\mathrm{𝟏})=0`$,

$`FP_4)`$ $`F^{>\lambda }(M)=F^{>\lambda }(N)=0F^{>\lambda }(MN)=0.`$

$`FP_5)`$ $`F^{>\lambda }(M)=0F^{>\lambda }(M^{})=0.`$

Alors les $`𝒯_\lambda `$ forment un système croissant de sous-catégories tannakiennes de $`𝒯`$, dont la réunion est égale à $`𝒯`$. Notons que la condition de “continuité à droite” $`FP_2)`$ se traduit par:

$$𝒯_\lambda =\underset{\mu >\lambda }{}𝒯_\mu .$$

###### 1.1.1 Définition.

Un système de foncteurs $`F^{>\lambda }`$ comme ci-dessus sera appelé une *filtration par les pentes* de $`𝒯`$ 111on prendra garde à ne pas confondre cette notion avec celle de $``$-filtration introduite dans \[28, IV.2.1\], qui n’a rien à voir..
Comme tout objet $`M`$ de $`𝒯`$ est de longueur finie, sa filtration $`F^{>\lambda }(M)`$ n’a qu’un nombre fini de sauts $`\lambda _0,\lambda _1,\mathrm{}`$ (tels que $`gr_{\lambda _i}(M)0)`$, qui définissent les pentes de $`M`$. Il est parfois utile de convenir que $`0`$ est de pente $`\mathrm{}`$.

###### 1.1.2 Remarque.

Les conditions $`FP_4)`$ et $`FP_5)`$ se traduisent par: si les pentes de $`M`$ et $`N`$ sont $`\lambda `$, il en est de même des pentes de $`MN,M^{}`$ et $`N^{}`$.

###### 1.1.3 Lemme.

On a une décomposition canonique, fonctorielle, de tout objet $`M=gr^\mu (M)`$, et $`F^{>\lambda }(M)=_{\mu >\lambda }gr^\mu (M)`$. Pour $`\mu \lambda `$, on a $`Hom_𝒯(gr^\lambda (M),gr^\mu (M))=0`$.

Démonstration. De la condition $`FP_5)`$, on tire, par symétrie, que $`gr^\lambda (M)=0gr^\lambda (M^{})=0`$. Soit $`\lambda _0`$ la plus petite pente de $`M`$. Par récurrence sur la longueur de $`M`$, il suffit, pour la première assertion, de montrer que la projection $`Mgr^{\lambda _0}(M)`$ admet une section.

Considérons le monomorphisme $`gr^{\lambda _0}(M)^{}M^{}`$. Son image est purement de pente $`\lambda _0`$, donc le composé $`gr^{\lambda _0}(M)^{}M^{}gr^{\lambda _0}(M^{})`$ est encore un monomorphisme. En passant au dual, on trouve que le composé $`(gr^{\lambda _0}(M^{}))^{}Mgr^{\lambda _0}(M)`$ est un épimorphisme, d’où la première assertion.

La seconde assertion résulte de là et de ce que $`gr^\lambda gr^\mu (M)=0`$. $`\mathrm{}`$

###### 1.1.4 Corollaire.

Tout objet indécomposable de $`𝒯`$ n’a qu’une seule pente. $`\mathrm{}`$

### 1.2.

On suppose maintenant $`𝒯`$ munie d’un foncteur fibre

$$\omega :𝒯Vec_E.$$

Notons $`G`$ le $`E`$-groupe affine $`Aut^{}\omega `$. Par la théorie tannakienne, le système des $`𝒯_\lambda `$ définit un système décroissant de sous-groupe fermés normaux $`G^{>\lambda }G`$, tels que $`G_\lambda :=G/G^{>\lambda }Aut^{}\omega _{|𝒯_\lambda }.`$ Pour $`\lambda =0`$, on écrit plutôt $`G_0`$ que $`G_0`$ (puisqu’il n’y a pas de pente négative). Terminologie: $`G^{>0}`$ est le “sous-groupe sauvage”, et $`G_0`$ le “quotient modéré”.

On a

$$\omega (M)^{G^{>\lambda }}=_{\mu \lambda }\omega (gr^\mu (M))$$

$$G^{>\lambda }=1(\text{par}FP_1),$$

tandis que la condition $`FP_2)`$ se traduit par:
$`SC)`$ $`G^{>\lambda }=\overline{{\displaystyle \underset{\mu >\lambda }{}}G^{>\mu }}\text{(adhérence de Zariski de la réunion)}.`$

###### 1.2.1 Remarques.

a) Si $`𝒯^{}𝒯`$ est une sous-catégorie tannakienne, la restriction à $`𝒯^{}`$ de la filtration par les pentes de $`𝒯`$ définit une filtration de $`Aut^{}\omega _{|𝒯^{}}`$ qui n’est autre que la filtration par l’image des $`G^{>\lambda }`$ par l’épimorphisme canonique $`G=Aut^{}\omega Aut^{}\omega _{|𝒯^{}}`$ ($`𝒯_\lambda ^{}=𝒯_\lambda 𝒯^{}`$).

b) Soit $`E^{}/E`$ une extension finie. On a une notion d’extension des scalaires $`𝒯_{(E^{})}`$ à la Saavedra cf. \[28, III.1\]: c’est la catégorie des $`E^{}`$-modules dans $`𝒯`$222si $`E^{}/E`$ est séparable, $`𝒯_{(E^{})}`$ peut aussi se décrire comme l’enveloppe pseudo-abélienne de la catégorie obtenue à partir de $`𝒯`$ en étendant les scalaires à $`E^{}`$, cf. \[4, 5.3.2\].; $`𝒯_{(E^{})}`$ est naturellement équivalente à $`Rep_E^{}(G_EE^{})`$, et on a un foncteur $`MME^{}`$ de $`𝒯`$ vers $`𝒯_{(E^{})}`$. Si $`𝒯`$ est munie d’une filtration par les pentes, il existe une unique filtration par les pentes $`𝒯_{(E^{})}`$ compatible avec ce foncteur: les pentes d’un $`E^{}`$-module dans $`𝒯`$ sont les pentes de l’objet de $`𝒯`$ sous-jacent. Les groupes $`G_E^{}^{>\lambda }`$ correspondants ne sont autres que les $`G^{>\lambda }_EE^{}`$.

###### 1.2.2 Notation.

Pour tout $`\lambda >0`$, on pose $`G^{(\lambda )}={\displaystyle \underset{\mu <\lambda }{}}G^{>\mu }.`$

Ce sont des sous-groupes fermés normaux de $`G`$, et on a les propriétés suivantes:

$$\underset{\lambda >0}{}G^{(\lambda )}=1,G^{>\lambda }=\overline{\underset{\mu >\lambda }{}G^{(\mu )}}\lambda 0,G^{>\lambda }G^{(\lambda )}\lambda >0,$$

$`CG)`$ $`{\displaystyle \underset{\lambda >\mu >0}{}}G^{(\mu )}=G^{(\lambda )}`$ (continuité à gauche),

$`SS1)`$ pour tout $`MOb(𝒯)`$ et tout $`\lambda >0`$, la sous-représentation triviale $`\omega (M)^{G^{(\lambda )}}`$ est facteur direct de $`\omega (M)`$ en tant que représentation de $`G^{(\lambda )}`$.

Cette dernière condition (“semisimplicité pour la valeur propre $`1`$”) vient de ce que pour tout $`\lambda >0`$,

$$\omega (M)^{G^{(\lambda )}}=_{\mu <\lambda }\omega (gr^\mu (M))$$

admet $`_{\mu \lambda }\omega (gr^\mu (M))`$ comme supplémentaire stable sous $`G^{(\lambda )}`$.

###### 1.2.3 Théorème.

La donnée d’une filtration par les pentes $`(F^{>\lambda })_{\lambda 0}`$ sur $`𝒯`$ équivaut à celle d’une filtration décroissante séparée $`(G^{(\lambda )}G)_{\lambda >0}`$ par des sous-groupes fermés normaux vérifiant les conditions $`CG)`$ et $`SS1)`$.

Démonstration. Pour toute filtration par les pentes, on vient de voir que système des $`G^{(\lambda )}`$ définis en 1.2.2 vérifient les conditions du théorème. Observons en outre que $`F^{>\lambda }(M)`$ est déterminé par

$$\omega (F^{>\lambda }(M))=\mathrm{Ker}(\omega (M)\omega (M)_{G^{>\lambda }})$$

$`\omega (M)_{G^{(\lambda )}}`$ désigne l’espace quotient des co-invariants (qui est canoniquement isomorphe à l’espace des invariants puisque ce dernier admet un supplémentaire stable).

Passons à la réciproque. On se donne une filtration $`G^{(\lambda )}G`$ comme dans le théorème. Pour tout $`\lambda 0`$, on pose $`G^{>\lambda }=\overline{_{\mu >\lambda }G^{(\mu )}}`$. Ils forment aussi une filtration décroissante séparée par des sous-groupes fermés normaux, et vérifient l’analogue de la condition $`SS1)`$ (en fait l’image de $`G^{>\lambda }`$ dans $`GL(\omega (M))`$ s’identifie à l’image de l’un des $`G^{(\mu )}`$). Puisque $`G^{>\lambda }`$ est normal dans $`G`$, $`\mathrm{Ker}(\omega (M)\omega (M)_{G^{>\lambda }})`$ est $`G`$-stable, donc s’identifie à $`\omega (F^{>\lambda }(M))`$ pour un sous-objet $`F^{>\lambda }(M)`$ de $`M`$. On obtient ainsi un foncteur $`MF^{>\lambda }(M)`$.

Compte tenu de $`SS1)`$, la formation des co-invariants est exacte, donc $`M\omega (F^{>\lambda }(M))`$ est exact, et finalement $`MF^{>\lambda }(M)`$ est exact puisque $`\omega `$ est fidèle et exact. Les conditions $`FP_1)`$ et $`FP_3)`$ sont clairement remplies. La condition $`FP_2)`$ se traduit par $`SC)`$, qui est avec la définition ci-dessus de $`G^{>\lambda }`$ une tautologie: $`\overline{_{\nu >\lambda }G^{(\nu )}}=\overline{_{\mu >\lambda }\overline{_{\nu >\mu }G^{(\nu )}}}`$. Quant à $`FP_4)`$ et $`FP_5)`$, elles suivent de ce que la sous-catégorie pleine de $`𝒯`$ formée des objets $`M`$ tels que $`G^{>\lambda }`$ agisse trivialement sur $`\omega (M)`$ est une sous-catégorie tannakienne, ce qui est clair.

Il est aussi clair que cette construction $`(G^{(\lambda )})(F^{>\lambda })`$ est inverse à gauche de la construction $`(F^{>\lambda })(G^{(\lambda )})`$ de 1.2.2. Il reste à voir que c’est aussi un inverse à droite, ce qui revient à voir que

$$G^{(\lambda )}=\underset{\mu <\lambda }{}\overline{\underset{\nu >\mu }{}G^{(\nu )}}.$$

L’inclusion $``$ est claire; il s’agit de montrer l’inclusion opposée. C’est là qu’intervient la condition $`CG)`$: $`G^{(\lambda )}={\displaystyle \underset{\mu <\lambda }{}}G^{(\mu )}`$. On conclut du fait que $`G^{(\mu )}\overline{_{\nu >\mu }G^{(\nu )}}`$. $`\mathrm{}`$

###### 1.2.4 Corollaire.

On a les inclusions:

$$_{\mu <\lambda }gr^\lambda (M)gr^\mu (N)gr^\lambda (MN),$$

$$gr^\lambda (M)gr^\lambda (N)_{\mu \lambda }gr^\mu (MN),$$

$$_{\mu <\lambda }(\underset{¯}{Hom}(gr^\lambda (M),gr^\mu (N)\underset{¯}{Hom}(gr^\mu (M),gr^\lambda (N)))gr^\lambda (\underset{¯}{Hom}(M,N)),$$

$$\underset{¯}{Hom}(gr^\lambda (M),gr^\lambda (N))_{\mu \lambda }gr^\mu (\underset{¯}{Hom}(M,N)).$$

Démonstration. Par $`FP_4)`$ et $`FP_5)`$, on a

$$gr^\lambda (M)gr^\mu (N)_{\nu max(\lambda ,\mu )}gr^\nu (MN),$$

$$\underset{¯}{Hom}(gr^\lambda (M),gr^\mu (N))_{\nu max(\lambda ,\mu )}gr^\nu (\underset{¯}{Hom}(M,N)),$$

d’où les deuxième et quatrième inclusions du corollaire. Démontrons la première (la troisième est analogue). On a $`(\omega (gr^\lambda (M)))^{G^{(\lambda )}}=0`$ et $`(\omega (gr^\mu (N)))^{G^{(\lambda )}}=\omega (gr^\mu (N))`$ si $`\mu <\lambda `$. On a donc $`(\omega (gr^\lambda (M)gr^\mu (N)))^{G^{(\lambda )}}=0`$, d’où $`gr^\lambda (M)gr^\mu (N)=gr^\lambda (gr^\lambda (M)gr^\mu (N))`$. $`\mathrm{}`$

###### 1.2.5 Remarque.

Les $`G^{(\lambda )}`$ étant des sous-groupes normaux non nécessairement caractéristiques, on doit prendre garde au fait que la filtration par les pentes n’est pas nécessairement invariante par auto-équivalence de $`𝒯`$. On a toutefois le

###### 1.2.6 Sorite.

Toute auto-équivalence de $`𝒯`$ qui est naturellement isomorphe au $``$-foncteur identique respecte la filtration par les pentes. En particulier, si $`u:𝒯𝒯^{}`$ est une équivalence de catégories tannakiennes, et si on munit $`𝒯^{}`$ de la filtration par les pentes induite par $`u`$, tout quasi-inverse respecte les filtrations par les pentes.

## 2. Polygônes de Newton et filtrations de Hasse-Arf

### 2.1. Polygônes de Newton

Soit $`𝒯`$ une catégorie tannakienne sur $`E`$ munie d’une filtration par les pentes $`(F^{>\lambda })`$. Soit $`M`$ un objet de $`𝒯`$. Soient comme ci-dessus $`\lambda _i,i=\mathrm{0,1}\mathrm{},`$ les pentes de $`M`$, rangées dans l’ordre croissant.

On définit le polygône de Newton $`NP(M)`$ comme l’enveloppe convexe dans $`𝐑_0^2`$ des points $`(_0^idimgr^{\lambda _j}(M),_0^i\lambda _jdimgr^{\lambda _j}(M)),i0`$, auxquels on joint par convention l’axe vertical.

L’ordonnée du sommet le plus à droite (i.e. d’abscisse maximale) de $`NP(M)`$ s’appelle la hauteur du polygône de Newton.

###### 2.1.1 Lemme.

La règle $`MNP(M)`$ s’étend en un homomorphisme $`NP`$ du groupe de Grothendieck $`K_0(𝒯)`$ (pour les suites exactes) vers le groupe attaché au monoïde additif des sous-ensembles convexes polygônaux de $`𝐑_0^2`$. En outre $`NP(M^{})=NP(M)`$.

C’est clair, compte tenu de l’exactitude de $`gr^\lambda `$ et de la propriété $`FP_5)`$ des filtrations par les pentes. $`\mathrm{}`$

###### 2.1.2 Lemme.

La règle $`Mhauteur(NP(M))`$ s’étend en un homomorphisme

$$hNP:K_0(𝒯)𝐑$$

qui détermine complètement la filtration par les pentes.

Noter que par 1.1.4, tout indécomposable $`M`$ a une seule pente, donnée par $`hNP(M)/dim(M)`$. Par Krull-Schmidt, il est alors clair que $`hNP`$ détermine complètement la filtration par les pentes. $`\mathrm{}`$

### 2.2. Filtrations de Hasse-Arf

###### 2.2.1 Définition.

Une filtration de type Hasse-Arf \- ou plus brièvement: filtration de Hasse-Arf - est une filtration par les pentes telle que tous les polygônes de Newton soient à sommets dans $`𝐍^2`$.

Cette propriété d’intégralité joue un rôle essentiel dans la suite. On notera que dans le cas d’une filtration de Hasse-Arf, les pentes de tout objet sont des nombres rationnels.

###### 2.2.2 Lemme.

Supposons donnée une filtration par les pentes $`(F^{>\lambda })`$ sur $`𝒯`$. Les conditions suivantes sont équivalentes:
a) $`(F^{>\lambda })`$ est une filtration de Hasse-Arf,
b) pour tout objet $`M`$, la hauteur du polygône de Newton de $`M`$ est un entier.
c) $`hNP`$ est à valeurs dans $`𝐙`$.
d) pour tout objet irréductible $`M`$, le produit de la pente de $`M`$ par la dimension de $`M`$ est un entier.

Démonstration. En vertu de 2.1.1, $`a)`$ équivaut à l’intégralité du polygône de Newton des objets irréductibles, ce qui se traduit indifféremment par $`b),c)`$ ou $`d)`$. $`\mathrm{}`$

Nous suggérons au lecteur de lire l’appendice A pour voir une manifestation de la rigidité qu’impose cette condition “combinatoire” dans le cas simple où les pentes $`0`$ sont non entières.

## 3. Exemples de filtrations de Hasse-Arf

### 3.1. Représentations galoisiennes finies

Il s’agit de l’exemple de base qui justifie la terminologie précédente. Soit $`K`$ est un corps henselien pour une valuation discrète à corps résiduel $`k`$ parfait d’exposant caractéristique $`p1`$. On a des suites exactes

$$1G_K=Gal(K^{sep}/K)Gal(k^{sep}/k)1$$

$$1𝒫\mathrm{\Pi }_{\mathrm{}\mathrm{car}k}𝐙_{\mathrm{}}1$$

$`𝒫`$ est un pro-$`p`$-groupe (donc trivial si $`p=1`$). On a $`=G_{K^{hs}}`$, où $`K^{hs}`$ est l’henselisé strict de $`K`$.

On considère ici $`G_K,`$ et $`𝒫`$ comme schémas en groupes profinis constants sur $`E`$, de sorte que les objets de $`Rep_E(G_K)`$ sont des représentations d’image finie par définition.

Soient $`G_K^{(\lambda )}G_K`$ les groupes de ramification de $`K`$ en numérotation supérieure (cf. ). Alors par le théorème de Hasse-Arf (et via la proposition 1.2.3), les groupes $`G_K^{(\lambda )}`$ munissent $`Rep_E(G_K)`$ d’une filtration de Hasse-Arf. La hauteur du polygône de Newton d’une représentation $`V`$ de $`G_K`$ s’appelle le conducteur de Swan de  $`V`$, cf. . Le théorème de Hasse-Arf équivaut à dire que c’est toujours un entier333récemment, Abbes et Saito ont défini une filtration par les pentes sur $`Rep_E(G_K)`$ sans l’hypothèse que $`k`$ soit parfait , mais il n’est pas clair que ce soit une filtration de Hasse-Arf..

Les groupes $`G_K^{>\lambda }`$ sont aussi parfois notés $`G_K^{(\lambda +)}`$. Notons que le groupe d’inertie $`G_K^{(0)}`$ n’est pas pris en compte par le formalisme des filtrations par les pentes: les pentes ne distinguent pas entre extensions non ramifiées et extensions modérément ramifiées.

### 3.2. Représentations $`\mathrm{}`$-adiques

Ici on prend $`E=\overline{𝐐}_{\mathrm{}}`$ ($`\mathrm{}p`$), et $`K`$ comme ci-dessus. On considère la catégorie tannakienne $`Rep_{cont}(G_K/\overline{𝐐}_{\mathrm{}})`$ des représentations $`\mathrm{}`$-adiques du groupe compact $`G_K`$, c’est-à-dire des représentations dans un $`\overline{𝐐}_{\mathrm{}}`$-espace de dimension finie qui proviennent de représentations continues définies sur une extension finie non précisée de $`𝐐_{\mathrm{}}`$. On note $`Rep_{cont}^F(/\overline{𝐐}_{\mathrm{}})`$ la catégorie tannakienne qu’on obtient en appliquant le $``$-foncteur $`Res_{G_K}^{}`$. C’est une sous-catégorie tannakienne de $`Rep_{cont}(/\overline{𝐐}_{\mathrm{}})`$ (si $`k`$ est fini, on peut la voir comme la sous-catégorie des représentations admettant “une structure de Frobenius”).

Les groupes de ramification de $`G_K`$ définissent une filtration de Hasse-Arf sur $`Rep_{cont}^F(/\overline{𝐐}_{\mathrm{}})`$, étudiée en détail dans .

Un argument de compacité bien connu montre que $`𝒫`$ agit toujours à travers un groupe fini (cf. \[21, 1.10\]). Une version du théorème de monodromie locale $`\mathrm{}`$-adique de Grothendieck \[32, App.\] s’énonce ainsi: supposons que

$`()`$ aucune extension finie de $`k`$ ne contient toutes les racines de l’unité d’ordre une puissance de $`\mathrm{}`$. (C’est évidemment le cas si $`k`$ est fini).

Alors tout objet de $`Rep_{cont}^F(/\overline{𝐐}_{\mathrm{}})`$ est quasi-unipotent, i.e. la restriction de la représentation à un sous-groupe ouvert de $``$ est unipotente (et agit à travers le facteur $`𝐙_{\mathrm{}}`$ de l’inertie modérée).

Si $`{}_{}{}^{F}G`$ est le groupe tannakien sur $`\overline{𝐐}_{\mathrm{}}`$ associé au foncteur “espace sous-jacent”, de sorte que $`Rep_{cont}^F(/\overline{𝐐}_{\mathrm{}})Rep_{\overline{𝐐}_{\mathrm{}}}{}_{}{}^{F}G`$, on déduit de ce théorème que

$${}_{}{}^{F}G\times 𝔾_a,{}_{}{}^{F}G_{}^{>0}𝒫$$

comme $`\overline{𝐐}_{\mathrm{}}`$-groupes affines. La filtration $`({}_{}{}^{F}G_{}^{(\lambda )})`$ correspond évidemment à celle de $``$ par l’isomorphisme précédent.

### 3.3. Modules différentiels sur un corps local d’égale caractéristique nulle

Soit $`E((z))`$ un corps de séries formelles sur un corps $`E`$ de caractéristique nulle. Soit $`MC(E((z))/E)`$ la catégorie tannakienne sur $`E`$ des $`E((z))[\frac{d}{dz}]`$-modules de $`E((z))`$-dimension finie.

La théorie formelle des modules différentiels (Turrittin, Levelt…) associe fonctoriellement à tout objet de $`MC(E((z))/E)`$ une filtration selon les pentes, cf. \[20, II\]. La hauteur du polygône de Newton d’un objet $`M`$ de $`MC(E((z))/E)`$ s’appelle l’irrégularité (formelle) de  $`M`$. C’est toujours un entier (trivialement), qui s’interprète comme un indice, cf. .

On obtient ainsi une filtration de Hasse-Arf sur $`MC(E((z))/E)`$. La structure des groupes $`G^{(\lambda )}`$ est étudiée en détail dans \[20, II\].

Dans loc. cit. , Katz construit aussi une extension canonique de tout objet de $`MC(E((z))/E)`$ en un module différentiel sur $`𝐏^1\{0,\mathrm{}\}`$, d’où un foncteur fibre canonique $`\omega :MC(E((z))/E)Vec_E`$ en prenant la fibre au point $`1`$.

### 3.4. Modules différentiels sur des couronnes $`p`$-adiques

Soit $`K`$ un corps complet pour une valuation discrète - ou plus généralement un corps maximalement complet444i.e. tel que toute intersection de disques emboîtés non vides est non vide. \- d’inégales caractéristiques. On note $`k`$ le corps résiduel (de caractéristique $`p>0`$).

Soit $`=_{K,z}`$ l’anneau (intègre) des fonctions analytiques dans un couronne non circonférenciée $`𝒞(]r\mathrm{,1}[)`$ de diamètre intérieur non précisé555Cet anneau différentiel apparaît dans les travaux de Robba (e.g. , \[27, 3.11\]).. Soit $`MC(/K)`$ la catégorie tannakienne sur $`K`$ des $`[\frac{d}{dz}]`$-modules de présentation finie sur $``$. On peut montrer que tout tel module est en fait automatiquement libre de type fini sur $``$ ().

On considère la sous-catégorie pleine $`MCS(/K)`$ de $`MC(/K)`$ formée des modules différentiels solubles vers le bord extérieur, i.e. dont le rayon de convergence au point générique de module $`\rho `$ tend vers $`1`$ avec $`\rho `$. Il est facile de voir que c’est une sous-catégorie tannakienne, stable par extension.

$``$ On doit à Christol et Mebkhout , la construction d’une filtration de type Hasse-Arf sur $`MCS(/K)`$: la filtration par les pentes $`p`$-adiques.

Le facteur $`gr^\lambda (M)`$ est caractérisé par la propriété suivante: pour tout $`\rho <1`$ suffisamment proche de $`1`$, le rayon de convergence de toute solution de $`gr^\lambda (M)`$ non nulle au point générique $`t_\rho `$ de module $`\rho `$ est $`\rho ^{1+\lambda }`$.

Ou, ce qui revient au même: $`F^{>\lambda }(M)=0`$ $`M`$ admet une base de solutions analytiques dans le disque non circonférencié de centre $`t_\rho `$ et de rayon $`\rho ^{1+\lambda }`$ (pour tout $`\rho `$ suffisamment proche de $`1`$).

La hauteur du polygône de Newton de $`M`$ s’appelle l’irrégularité $`p`$-adique de $`M`$. C’est toujours un entier (du fait qu’elle s’interprète comme un indice, fait beaucoup plus profond que dans le cas formel).

$``$ Soit $`E=\overline{K}`$ une clôture algébrique de $`K`$, et posons $`_{\overline{K}}=_K\overline{K}`$. On voit immédiatement que $`K`$ est algébriquement fermé dans $``$, donc $`_{\overline{K}}`$ est intègre.

Soit $`MC(_{\overline{K}}/\overline{K})`$ la catégorie des $`_{\overline{K}}[\frac{d}{dz}]`$-modules de présentation finie sur $`_{\overline{K}}`$. Tout objet de $`MC(_{\overline{K}}/\overline{K})`$ provient par extension des scalaires d’un objet de $`MC(_KL/L)`$ pour une extension finie convenable $`L/K`$. On déduit de ce qui précède qu’il est libre sur $`_{\overline{K}}`$. La catégorie $`MC(_{\overline{K}}/\overline{K})`$ est tannakienne sur $`\overline{K}`$.

On a une sous-catégorie tannakienne $`MCS(_{\overline{K}}/\overline{K})`$ formée des modules différentiels solubles au bord extérieur. La filtration par les pentes $`p`$-adiques n’est pas sensible aux extensions finies des scalaires, donc se transporte sans problème en une filtration de Hasse-Arf de $`MCS(_{\overline{K}}/\overline{K})`$.

$``$ Soient $`h`$ un entier $`1`$, et $`\sigma `$ un automorphisme continu de $`\overline{K}`$ relevant l’automorphisme $`xx^{p^h}`$ de $`\overline{k}`$. Il y a un unique automorphisme $`\sigma `$-linéaire $`\phi _h`$ de $`=_{K,z}`$ tel que $`zz^{p^h}`$. On dit qu’un objet $`M`$ de $`MC(_{\overline{K}}/\overline{K})`$ admet une structure de Frobenius d’ordre $`h`$ (resp. une structure de Frobenius) si $`\phi _h^{}MM`$ (resp. pour $`h`$ non précisé).

D’après un théorème de Christol-Mebkhout (cf. ), la sous-catégorie pleine $`MCF(_{\overline{K}}/\overline{K})`$ de $`MC(_{\overline{K}}/\overline{K})`$ formée des objets admettant une structure de Frobenius est en fait une sous-catégorie tannakienne, stable par extension (ce théorème devient d’ailleurs facile si on se limite à la sous-catégorie de $`MC(_{\overline{K}}/\overline{K})`$ formée des objets semisimples, cf. \[3, 5.3. rem. a\]). Par un argument bien connu dû à Dwork, $`MCF(_{\overline{K}}/\overline{K})`$ est en fait une sous-catégorie de $`MCS(_{\overline{K}}/\overline{K})`$. Insistons sur le fait que seule l’existence d’une structure de Frobenius est prise en compte dans la définition de $`MCF(_{\overline{K}}/\overline{K})`$, et non la structure de Frobenius elle-même, i.e. le choix d’un isomorphisme $`\phi _h^{}MM`$.

### 3.5.

En revanche, le formalisme des pentes frobeniusiennes attachées aux $`F`$-cristaux ne rentre pas dans le formalisme des filtrations par les pentes étudié dans cet article: d’une part, les pentes peuvent être négatives, d’autre part les conditions $`FP_4)`$ et $`FP_5)`$ ne sont pas satisfaites. En fait, ces “pentes” rentrent dans le formalisme de Saavedra des $``$-filtrations666comme me l’a fait observer J. Sauloy, les pentes rencontrées dans la théorie des modules aux $`q`$-différences s’écartent de même du formalisme de cet article (et s’apparentent en fait aux pentes frobeniusiennes)..

## 4. Induction et induction tensorielle

### 4.1. Rappels, cf. \[22, 10.3\]

Soit $`H`$ un groupe. Soit $`\mathrm{\Gamma }𝔖_n`$ un sous-groupe du groupe des permutations de $`\{\mathrm{1,2},\mathrm{},n\}`$. Le produit en volute $`\mathrm{\Gamma }H`$ est le produit semi-direct de $`\mathrm{\Gamma }`$ avec $`H^n`$, $`\mathrm{\Gamma }`$ agissant par permutation des facteurs; explicitement, $`\sigma \mathrm{\Gamma }𝔖_n`$ agit par

$$\sigma ^1(h_1,\mathrm{},h_n)\sigma =(h_{\sigma (1)},\mathrm{},h_{\sigma (n)}).$$

Supposons que $`H`$ soit sous-groupe d’indice fini $`n`$ d’un groupe $`G`$. Alors le choix d’un ensemble ordonné $`\gamma _1,\mathrm{},\gamma _n`$ de représentants des classes à droite modulo $`H`$ définit un homomorphisme injectif

$$G𝔖_nH:g\sigma _g.(\gamma _{\sigma _g(1)}^1g\gamma _1,\mathrm{},\gamma _{\sigma _g(n)}^1g\gamma _n),$$

$`\sigma _g`$ est la permutation définie par la condition que les $`\gamma _{\sigma _g(i)}^1g\gamma _iH`$.

Cet homomorphisme ne dépend qu’à automorphisme intérieur près du choix des $`\gamma _i`$.

Fixons un anneau de base $`E`$. Par $`E`$-représentation d’un groupe, nous sous-entendons que le $`E`$-module sous-jacent est libre de type fini. Soit $`V`$ une $`E`$-représentation de $`H`$. Alors on munit $`V^n`$ d’une représentation du produit en volute $`𝔖_nH`$ en posant

$$(\sigma ^1.(h_1,\mathrm{},h_n))(v_1,\mathrm{},v_n)=(h_{\sigma (1)}v_{\sigma (1)},\mathrm{},h_{\sigma (n)}v_{\sigma (n)}).$$

Sa restriction à $`G`$ est une $`E`$-représentation de $`G`$, appelée induite de $`V`$, et notée $`Ind_H^G(V)`$.

De même, on munit $`V^n`$ d’une représentation de $`𝔖_nH`$ en posant

$$(\sigma ^1.(h_1,\mathrm{},h_n))(v_1\mathrm{}v_n)=h_{\sigma (1)}v_{\sigma (1)}\mathrm{}h_{\sigma (n)}v_{\sigma (n)}.$$

Sa restriction à $`G`$ est une $`E`$-représentation de $`G`$, appelée tenseur-induite de $`V`$, et notée $`{}_{}{}^{}Ind_H^G(V)`$.

Ces constructions sont compatibles à tout changement de base $`EE^{}`$, et sont fonctorielles en $`V`$.

### 4.2. Quelques propriétés, cf. \[5, 3.3, 3.15\], \[22, 10.3\]

1) $`Res_G^H[Ind_H^G(V)]_{i=1}^{i=n}{}_{}{}^{\gamma _i}V,Res_G^H[{}_{}{}^{}Ind_H^G(V)]_{i=1}^{i=n}{}_{}{}^{\gamma _i}V`$,

$`{}_{}{}^{\gamma _i}V=\gamma _iV`$ est la représentation conjuguée de $`V`$ par $`\gamma _i`$.

2) Si $`H`$ est normal dans $`G`$, on a un isomorphisme canonique

$$Ind_H^G(V)_EInd_H^G(W)_iInd_H^G({}_{}{}^{\gamma _i}V_EW)$$

Cette propriété se prouve à l’aide du théorème de décomposition de Mackey, cf. \[5, 3.3.5\]. En itérant, on trouve

$$(Ind_H^G(V))^n\underset{i_1,\mathrm{},i_{n1}}{}Ind_H^G((\underset{j=1,\mathrm{}n1}{}{}_{}{}^{\gamma _{i_j}}V)V)$$

dont $`Ind_H^G(Res_G^H({}_{}{}^{}Ind_H^G(V)))`$ est un facteur direct. Si $`n`$ est inversible dans $`E`$, $`{}_{}{}^{}Ind_H^G(V)`$ est facteur direct de ce dernier $`G`$-module (\[5, 3.6.9\]), donc facteur direct de $`(Ind_H^G(V))^n`$.

3) Soit $`H^{}`$ un sous-groupe d’indice $`n`$ d’un groupe $`G^{}`$. Soient $`\phi :GG^{}`$ un homomorphisme de groupes induisant un homomorphisme $`\psi :HH^{}`$ et un isomorphisme $`G/HG^{}/H^{}`$. Choisissons des représentants $`\gamma _i,\gamma _i^{}`$ compatibles qui se correspondent sous $`\phi `$. Soit $`V^{}`$ une $`E`$-représentation de $`H^{}`$, et notons $`\psi ^{}(V^{})`$ la représentation de $`H`$ (de même module sous-jacent) via $`\psi `$.

Alors on a des isomorphismes canoniques

$$Ind_H^G(\psi ^{}(V^{}))\phi ^{}(Ind_H^{}^G^{}(V^{})),{}_{}{}^{}Ind_H^G(\psi ^{}(V^{}))\phi ^{}({}_{}{}^{}Ind_H^{}^G^{}(V^{})).$$

Cette propriété se prouve en deux temps. Si $`\phi `$ est surjectif, le résultat est immédiat (voir aussi loc. cit. 10.3.2.(4)). Si $`\phi `$ est injectif, cela résulte du théorème de Mackey, dans le cas d’une seule double classe (et de sa version multiplicative, cf. loc. cit. 10.3.3). Le cas général s’obtient par composition.

### 4.3. Variante “géométrico-algébrique”

La propriété 3) ci-dessus jointe à la compatibilité de l’induction et de la tenseur-induction à tout changement de base $`EE^{}`$ permet de transposer ces constructions du cadre des groupes abstraits au cadre des schémas en groupes affines.

Plus précisément, soient $`G`$ un schéma en groupes affine sur $`E`$ et $`H`$ un sous-schéma en groupes fermé tel que le quotient $`G/H`$ soit représentable par un $`E`$-schéma fini constant de rang $`n`$ (i.e. par $`(SpecE)^n`$). Alors à toute $`E`$-représentation $`V`$ de $`H`$, on peut attacher son induite $`Ind_H^G(V)`$ (resp. sa tenseur-induite $`{}_{}{}^{}Ind_H^G(V)`$) qui est une $`E`$-représentation de $`G`$ de module sous-jacent $`V^n`$ (resp. $`V^n`$). Les propriétés ci-dessus valent encore dans ce cadre.

Dans toute la suite, $`E`$ sera un corps de caractéristique nulle.

Si $`V`$ est une représentation semisimple de $`H`$, $`Ind_H^G(V)`$ et $`{}_{}{}^{}Ind_H^G(V)`$ sont alors des représentations semisimples de $`G`$ (cf. loc. cit. 10.3.4).

### 4.4. Le cas normal

On suppose en outre que $`H`$ est normal dans $`G`$, et on identifie le groupe quotient $`G/H`$ à un sous-groupe de $`𝔖_n`$. On peut donc identifier $`G`$ à un sous-groupe fermé de $`G/HH𝔖_nH`$. Notons que l’application $`g\sigma _gG/H𝔖_n`$ de 4.1 n’est autre que l’action par translation à gauche de $`G`$ sur $`G/H`$.

On note aussi $`\underset{¯}{H}`$ l’image de $`HGL(V)`$, $`\overline{G}`$ l’image de $`GGL(V^n)`$ (représentation induite), $`\overline{H}`$ l’image de $`H`$ dans $`\overline{G}`$, $`{}_{}{}^{}\overline{G}`$ l’image de $`GGL(V^n)`$ (représentation $``$-induite), et enfin $`{}_{}{}^{}\overline{H}`$ l’image de $`H`$ dans $`{}_{}{}^{}\overline{G}`$.

###### 4.4.1 Lemme.

a) On a des plongements naturels

$$\overline{G}G/H\underset{¯}{H},{}_{}{}^{}\overline{G}G/H\underset{¯}{H}.$$

b) Si $`dimV1`$ (resp. $`dimV>1`$), ces plongements induisent des isomorphismes $`\overline{G}/\overline{H}G/H`$ (resp. $`\overline{G}/\overline{H}{}_{}{}^{}\overline{G}/{}_{}{}^{}\overline{H}`$);
c) On a des triangles commutatifs naturels d’épimorphismes

$$\begin{array}{ccccccccccc}G& & & & \overline{G}& & H& & & & \overline{H}\\ & & & & & & & & & & \\ & & {}_{}{}^{}\overline{G}& & & & & & {}_{}{}^{}\overline{H}.\end{array}$$

Démonstration. a) est immédiat.

b) suit de ce que si $`dimV1`$ (resp. $`dimV>1`$), l’action de $`𝔖_n`$ sur $`V^n`$ (resp. $`V^n`$) par permutation des facteurs est fidèle.

c) résulte de ce que $`{}_{}{}^{}Ind_H^G(V)`$ est facteur direct de $`(Ind_H^G(V))^n`$. $`\mathrm{}`$

### 4.5. Un cas particulier

Supposons $`\underset{¯}{H}`$ simple777i.e. distinct de $`𝔾_a`$, et n’admettant aucun sous-groupe fermé normal distinct de $`1`$ et de lui-même. Un tel groupe algébrique est soit fini, soit connexe semisimple., et supposons que $`G/H`$ soit le groupe cyclique $`C_{\mathrm{}}`$ à $`\mathrm{}`$ éléments, avec $`\mathrm{}=n`$ premier. Rappelons que dans le produit en volute $`C_{\mathrm{}}\underset{¯}{H}`$, $`C_{\mathrm{}}`$ agit sur $`\underset{¯}{H}^{\mathrm{}}`$ par permutation circulaire des facteurs $`\underset{¯}{H}`$. Notons $`p_i,p_{ij}`$ les projections de $`\underset{¯}{H}^{\mathrm{}}`$ sur le $`i`$-ème facteur (resp. sur le produit des $`i`$-ème et $`j`$-ème facteurs).

Commençons par une variante du lemme de Goursat.

###### 4.5.1 Lemme.

Soit $`H^{}`$ un sous-groupe fermé de $`C_{\mathrm{}}\underset{¯}{H}`$ contenu dans $`\underset{¯}{H}^{\mathrm{}}`$, stable sous l’action intérieure de $`C_{\mathrm{}}`$, et tel que $`p_1(H^{})=\underset{¯}{H}`$. Alors $`H^{}=\underset{¯}{H}^{\mathrm{}}`$ ou bien $`H^{}`$ est un groupe de la forme

$$\{(h=\phi _1(h),\phi _2(h),\mathrm{},\phi _{\mathrm{}}(h))|h\underset{¯}{H}\}\underset{¯}{H}$$

où les $`\phi _j`$ sont des automorphismes de $`\underset{¯}{H}`$.

Démonstration. La stabilité de $`H^{}`$ sous $`C_{\mathrm{}}`$ entraîne immédiatement que les $`p_j(H^{})=\underset{¯}{H}`$ pour chaque $`j`$. D’après le lemme de Goursat, $`p_{1j}`$ est surjective à moins que $`p_{1j}(H^{})`$ ne soit le graphe d’un automorphisme $`\phi _j`$. La stabilité de $`H^{}`$ sous le groupe simple $`C_{\mathrm{}}`$ entraîne que ceci arrive simultanément pour tout $`j1`$, ou n’arrive pour aucun $`j1`$. $`\mathrm{}`$

On suppose $`V0`$.

###### 4.5.2 Proposition.

a) Sous les hypothèses précédentes, on est dans l’un des deux cas suivants:
Cas I) $`\overline{G}=C_{\mathrm{}}\underset{¯}{H}`$ (produit en volute); ses seuls sous-groupes fermés normaux sont $`\mathrm{\hspace{0.33em}1},\underset{¯}{H}^{\mathrm{}},\overline{G}`$.
Cas II) $`\overline{G}=C_{\mathrm{}}\underset{¯}{H}`$ (produit semi-direct); si le produit n’est pas isomorphe à un produit direct, ses seuls sous-groupes fermés normaux sont $`\mathrm{\hspace{0.33em}1},\underset{¯}{H},\overline{G}`$.

Dans les deux cas, il n’y a pas de chaîne de sous-groupes fermés normaux de $`\overline{G}`$ de longueur $`>3`$ ($`1`$ et $`\overline{G}`$ étant compris).

b) Si $`dimV>1`$, on a $`\overline{G}={}_{}{}^{}\overline{G}`$. Dans le cas I), si $`V`$ est une représentation absolument irréductible de $`H`$, alors $`{}_{}{}^{}Ind_H^G(V)`$ est une représentation absolument irréductible de $`G`$ (et même de $`H`$).

Démonstration. a) On sait que $`\overline{G}/\overline{H}C_{\mathrm{}}`$ (lemme 4.4.1). Donc $`\overline{H}`$ est un sous-groupe fermé de $`C_{\mathrm{}}\underset{¯}{H}`$ stable par $`C_{\mathrm{}}`$. De la formule $`Res_G^H[Ind_H^G(V)]{}_{}{}^{\gamma _i}V`$, on déduit que $`p_1(\overline{H})=\underset{¯}{H}`$. On déduit du lemme précédent qu’on est dans l’un des cas I) ou II). Soit $`G^{}`$ un sous-groupe fermé normal non trivial de $`\overline{G}`$. Alors $`H^{}=G^{}\underset{¯}{H}^{\mathrm{}}`$ est un sous-groupe fermé normal non trivial de $`\overline{H}`$ stable sous l’action intérieure de $`C_{\mathrm{}}`$. Comme $`\underset{¯}{H}`$ est simple, $`p_1(H^{})=\underset{¯}{H}`$ ou $`1`$. On termine la classification des sous-groupes fermés normaux en appliquant de nouveau le lemme précédent.

b) Montrons que l’on ne peut avoir simultanément $`\overline{H}=\underset{¯}{H}^{\mathrm{}}`$ et $`{}_{}{}^{}\overline{H}=\underset{¯}{H}`$, ou vice-versa. La seconde possibilité est exclue par le point $`c)`$ du lemme 4.4.1: on a un épimorphisme $`\overline{H}{}_{}{}^{}\overline{H}`$. Ce point et le lemme précédent excluent en fait aussi la première possibilité: en effet, le noyau $`\underset{¯}{H}^{\mathrm{}}{}_{}{}^{}\overline{H}=\underset{¯}{H}`$ serait un sous-groupe fermé normal de $`\underset{¯}{H}^{\mathrm{}}`$ ($`1,\underset{¯}{H}^{\mathrm{}}`$), stable par permutation circulaire des $`\mathrm{}`$ facteurs, ce qui est impossible.

Pour la dernière assertion de b), on remarque que si $`V`$ est une représentation absolument irréductible de $`H`$ de dimension $`>1`$, $`Res_G^H[{}_{}{}^{}Ind_H^G(V)]{}_{}{}^{\gamma _i}V`$ est une représentation absolument irréductible de $`\underset{¯}{H}^{\mathrm{}}`$. $`\mathrm{}`$

Remarquons que comme $`\underset{¯}{H}`$ est simple, le groupe des automorphismes extérieurs $`Out(\underset{¯}{H})`$ est fini (si $`\underset{¯}{H}`$ est infini, cela découle du théorème classique correspondant pour les algèbres de Lie semisimples).

###### 4.5.3 Lemme.

Plaçons-nous dans le cas II) de la proposition précédente. Supposons en outre que $`\mathrm{}`$ ne divise pas $`|Out(\underset{¯}{H})|`$. Alors $`VRes_G^H(W)=Res_{\overline{G}}^{\overline{H}}(W)`$ pour une représentation absolument irréductible convenable $`W`$ de $`\overline{G}`$, et $`\overline{G}`$ est isomorphe au produit direct $`C_{\mathrm{}}\times \underset{¯}{H}`$.

Démonstration. L’hypothèse entraîne que l’action $`C_{\mathrm{}}Aut(\underset{¯}{H})`$ définissant le produit semi-direct $`C_{\mathrm{}}\underset{¯}{H}`$ s’effectue par automorphismes intérieurs, donc provient d’un homomorphisme $`C_{\mathrm{}}\underset{¯}{H}`$ puisque $`\underset{¯}{H}`$ est simple. On peut ainsi enrichir la représentation $`V`$ en une représentation $`W`$ de $`\overline{G}`$ (absolument irréductible tout comme $`V`$) via $`C_{\mathrm{}}\underset{¯}{H}`$, dont l’image n’est autre que $`\underset{¯}{H}`$. Quitte à composer cet homomorphisme $`\overline{G}\overline{H}=\underset{¯}{H}`$ avec un automorphisme de $`\overline{H}`$, on obtient une rétraction de $`\overline{H}\overline{G}`$. $`\mathrm{}`$

## 5. Un théorème de structure pour les filtrations de Hasse-Arf

Dans l’exemple classique des représentations galoisiennes, l’efficacité du formalisme des groupes de ramification vient en grande partie de la possibilité de faire une extension finie du corps de base (lemme de Herbrand, etc…). En particulier, pour une extension modérément ramifiée $`L/K`$ d’indice de ramification $`n`$, on a $`G_L^{(n\lambda )}=G_K^{(\lambda )}G_L`$.

Nous allons adapter une partie de ce formalisme de changement de base au cas des filtrations de type Hasse-Arf abstraites.

### 5.1. Cadre

$``$ On fixe un ensemble $`𝐏`$ de nombres premiers (éventuellement vide). On suppose que l’ensemble $`𝐏^{}`$ des nombres premiers n’appartenant pas à $`𝐏`$ est infini. On pose $`\widehat{𝐙}_{(𝐏^{})}=\mathrm{\Pi }_\mathrm{}𝐏𝐙_{\mathrm{}}`$.

$``$ On se donne un groupe profini $``$. On suppose que $``$ s’inscrit dans une suite exacte

$$1𝒫\widehat{𝐙}_{(𝐏^{})}1$$

$`𝒫`$ est un pro-$`𝐏`$-groupe 888Une telle suite exacte se scinde pour raison de cardinal (cf. \[31, 5.9. cor. 1\]), mais peu importe ici.. (En pratique, $``$ sera le groupe d’inertie d’un corps henselien $`K`$ pour une valuation discrète à corps résiduel $`k`$ parfait, de sorte que $`|𝐏|=0`$ ou $`1`$; si $`𝐏`$ est vide, $`𝒫`$ est trivial.)

Tout sous-groupe d’indice fini de $`\widehat{𝐙}_{(𝐏^{})}`$, en particulier l’image de tout sous-groupe ouvert $`U`$ de $``$, est de la forme $`n_U.\widehat{𝐙}_{(𝐏^{})}`$, donc canoniquement isomorphe à $`\widehat{𝐙}_{(𝐏^{})}`$. Pour tout $`n`$ premier à $`𝐏`$, la préimage de $`n\widehat{𝐙}_{(𝐏^{})}`$ dans $`U`$ est notée $`U^{(n)}`$, de sorte que $`U/U^{(n)}𝐙/n𝐙`$. Noter que si $`U`$ est normal dans $``$, $`U^{(n)}`$ l’est aussi (comme intersection de $`U`$ et de la préimage de $`nn_U\widehat{𝐙}_{(𝐏^{})}`$ dans $``$).

$``$ Soit $`E=\overline{E}`$ un corps algébriquement clos de caractéristique nulle. On considère $``$ comme $`E`$-schéma en groupes affine constant, de même que ses sous-groupes ouverts.

On se donne un épimorphisme de $`E`$-groupes affines

$$G.$$

Pour tout sous-groupe ouvert normal $`U`$, on pose $`G_U=G\times _{}U`$. Pour toute inclusion $`U^{}U`$ de sous-groupes ouverts normaux de $``$, on note $`\iota _{U^{}U}:G_U^{}G_U`$ l’inclusion correspondante. On a donc un système inductif de catégories tannakiennes neutralisées

$$Rep_EG\mathrm{}Rep_EG_U\stackrel{\iota _{U^{}U}^{}=Res_{G_U}^{G_U^{}}}{}Rep_EG_U^{}\mathrm{}$$

indexé par les sous-groupes ouverts normaux de $``$. On a par ailleurs des foncteurs $`Ind_{G_U^{}}^{G_U}`$ et $`{}_{}{}^{}Ind_{G_U^{}}^{G_U}`$ qui vont dans l’autre sens.

On peut identifier $`Rep_EU`$ (resp. $`Rep_E\widehat{𝐙}_{(𝐏^{})}`$) à la sous-catégorie tannakienne de $`Rep_EG_U`$ formée des représentations $`V`$ telles que $`\iota _{U^{}U}^{}(V)`$ (resp. $`\iota _{U^{(n)}U}^{}(V)`$) soit isomorphe à $`\mathrm{𝟏}^{dimV}`$ pour $`U^{}`$ convenable (resp. pour $`n`$ premier à $`𝐏`$ convenable).

$``$ Enfin on suppose les $`Rep_EG_U`$ munies de filtrations de Hasse-Arf $`(F^{>\lambda })`$ avec les conditions de compatibilité suivantes: pour tout $`U`$ (normal), tout $`\lambda `$, et tout $`n`$ premier à $`𝐏`$,

$`Comp_1)`$ $`F^{>n\lambda }\iota _{U^{(n)},U}^{}=\iota _{U^{(n)},U}^{}F^{>\lambda },`$

$`Comp_2)`$ il existe une équivalence de catégories tannakiennes

$$\rho _{U^{(n)},U}^{}:Rep_EG_URep_EG_{U^{(n)}}$$

compatible aux filtrations de Hasse-Arf999on n’impose aucune relation entre $`\rho _{U^{(n)},U}^{}`$ et $`\iota _{U^{(n)},U}^{}`$..

###### 5.1.1 Remarque.

En termes des filtrations $`(G_U^{(\lambda )})`$ attachées aux filtrations de Hasse-Arf et par le dictionnaire tannakien, ces conditions s’écrivent de manière équivalente:

$`Comp_1^{})`$ $`\iota _{U^{(n)},U}(G_{U^{(n)}}^{(n\lambda )})=G_U^{(\lambda )}`$,

$`Comp_2^{})`$ il existe un isomorphisme $`\rho _{U^{(n)},U}:G_{U^{(n)}}G_U`$ envoyant $`G_{U^{(n)}}^{(\lambda )}`$ sur $`G_U^{(\lambda )}`$.

(Heuristiquement, ces deux conditions sont les mâchoires d’un étau qui force l’existence de pentes fractionnaires, dès lors qu’il y a des pentes non nulles.)

### 5.2. Le théorème de structure

Rappelons qu’un caractère d’un $`E`$-groupe affine est un homomorphisme de ce groupe affine vers $`𝔾_m`$ (ou ce qui revient au même, une représentation de dimension $`1`$ sur $`E`$). Rappelons aussi que le radical est le plus grand sous-groupe fermé normal connexe pro-résoluble.

Pour une représentation de $`G`$ ou $`G_U`$, nous emploierons de manière interchangeable les expressions “modérée” et “de pente $`0`$”.

###### 5.2.1 Théorème.

a) On fait les hypothèses supplémentaires suivantes sur les caractères de $`G_U`$, pour tout sous-groupe ouvert normal $`U`$ de $``$:

$`\chi _1)`$ tout caractère d’ordre fini de $`G_U`$ provient d’un caractère de $`U`$,
$`\chi _2)`$ tout caractère modéré d’ordre fini de $`G_U`$ provient d’un caractère du quotient $`\widehat{𝐙}_{(𝐏^{})}`$ de $`U`$, et réciproquement,
$`\chi _3)`$ toute représentation irréductible modérée de $`G_U`$ est de dimension un, i.e. est un caractère.

Alors les homomorphismes canoniques

$$G/Rad(G)\pi _0(G)$$

sont des isomorphismes. De plus le sous-groupe sauvage $`G^{>0}`$ est extension du pro-$`𝐏`$-groupe $`𝒫`$ par un groupe pro-résoluble connexe, et le quotient modéré $`G_0=G/G^{>0}`$ est extension du pro-$`𝐏^{}`$-groupe $`\widehat{𝐙}_{(𝐏^{})}`$ par un groupe pro-résoluble connexe.

b) On suppose en outre que

$`Ext)`$ pour tout $`m`$, il existe au plus une classe d’isomorphisme d’extensions itérées $`N_m`$ de $`\mathrm{𝟏}`$ de dimension $`m`$ dans $`Rep_EG`$,
$`Ind)`$ tout objet indécomposable de $`Rep_EG`$ est de la forme $`VN_m`$, où $`V`$ est irréductible.

Alors la composante neutre de $`G^{>0}`$ est un pro-tore, et $`G_0`$ est un groupe dont la composante neutre est un pro-tore, ou bien le produit de $`𝔾_a`$ par un tel groupe.

c) Enfin, si de plus

$`\chi _4)`$ tout caractère de $`G_U`$ est d’ordre fini,

alors $`G^{>0}𝒫,`$ et $`G`$ ou $`\times 𝔾_a`$.

Démonstration. a) Nous procédons en cinq étapes, dont les principales sont 2) et 4).

1) Examinons d’abord l’épimorphisme $`\pi _0(G)`$. Pour montrer que c’est un isomorphisme, il suffit de montrer que pour toute représentation $`R`$$`G`$ agit à travers un groupe fini, $`G`$ agit en fait à travers $``$.

Notons $`G^R`$ le groupe fini $`Im(GGL(R))`$. Le système des sous-groupes $`G_U^R`$ de $`G^R`$ (indexé par le système ordonné filtrant des sous-groupes normaux ouverts $`U`$ de $``$) est stationnaire. Fixons $`U`$ pour lequel $`G_U^R`$ est minimum. Il s’agit de voir que $`G_U^R=1`$.

Supposons le contraire, et soit $`\underset{¯}{H}`$ un quotient simple de $`G_U^R`$. Alors la filtration de $`\underset{¯}{H}`$ par les images des $`G_U^{>\lambda }`$ n’a qu’un saut, ce qui entraîne que les irréductibles $`\mathrm{𝟏}`$ de la sous-catégorie $`Rep_E\underset{¯}{H}`$ de $`Rep_EG_U`$ sont purement d’une pente $`\lambda `$ (qui peut être nulle). Nous allons montrer que $`\underset{¯}{H}`$ est abélien.

Le cas de pente $`0`$ résulte de l’hypothèse $`\chi _3)`$. On va donc se restreindre au cas $`\lambda 0`$. Par la vertu des filtrations de Hasse-Arf, le nombre $`\lambda .dimV`$ est un entier $`>0`$.

2) Si $`\underset{¯}{H}`$ est non-abélien, il existe une représentation irréductible $`V`$ de dimension $`>1`$; elle est fidèle puisque $`\underset{¯}{H}`$ est simple.

Soit $`\mathrm{}`$ un nombre premier $`𝐏^{}`$ ne divisant pas $`|Out(\underset{¯}{H})|`$, ni $`dimV`$ ni $`\lambda .dimV`$ (les “côtés” du polygône de Newton). Il en existe puisque $`𝐏^{}`$ est infini.

Grâce à $`Comp_2)`$, commençons par transférer le problème sur $`U^{(\mathrm{})}`$ au moyen de $`\rho _{U^{(\mathrm{})},U}^{}`$. On voit donc $`\underset{¯}{H}`$ comme l’image de $`H=G_{U^{(\mathrm{})}}`$ dans $`GL(V)`$.

Considérons la représentation induite $`Ind_H^{G_U}(V)`$. On est dans la situation d’application de 4.5.2 et 4.5.3, dont on reprend les notations (avec $`G_U`$ au lieu de $`G`$). Dans l’un ou l’autre des cas I), II), il n’y a pas de chaîne de sous-groupes fermés normaux de $`\overline{G}`$ de longueur $`>3`$ ($`1`$ et $`\overline{G}`$ étant compris). Il suit que la filtration de $`\overline{G}`$ par les images des $`G^{>\lambda }`$ au plus deux sauts. On a $`\iota _{U^{(\mathrm{})},U}^{}(Ind_H^{G_U}(V)){}_{}{}^{\gamma _i}V`$, d’où l’on déduit par $`Comp_1)`$ que $`\lambda /\mathrm{}`$ est l’un d’entre eux. Quant aux représentations de $`\overline{G}`$ se factorisant par $`C_{\mathrm{}}`$, leur restriction à $`H`$ est triviale; donc, toujours par $`Comp_1)`$, l’autre saut est $`0`$. Autrement dit, dans la catégorie tannakienne $`Rep_E\overline{G}`$ engendrée par $`Ind_H^{G_U}(V)`$, on ne rencontre que les pentes $`\lambda /\mathrm{}`$ et $`0`$; on a $`\overline{G}^{(\lambda /\mathrm{})}=\overline{H}`$.

Examinons le cas I) de 4.5.2: l’objet $`{}_{}{}^{}Ind_H^{G_U}(V)`$ de $`Rep_E\overline{G}`$ est alors irréductible de dimension $`>1`$. Par $`\chi _3)`$, sa pente est donc non nulle. Elle vaut donc $`\lambda /\mathrm{}`$. Comme $`\mathrm{}`$ ne divise ni $`dimV`$ ni $`\lambda .dimV`$, donc pas non plus $`\lambda .dim({}_{}{}^{}Ind_H^{G_U}(V))=\lambda .(dimV)^{\mathrm{}}`$, c’est impossible par 2.2.2.

Examinons le cas II): l’hypothèse que $`\mathrm{}Out(\underset{¯}{H})|`$ entraîne que $`V`$ est de la forme $`Res_{\overline{G}}^{\overline{H}}(W)`$, pour un objet $`W`$ irréductible de $`Rep_E\overline{G}`$ de dimension $`>1`$, cf. 4.5.3. Par $`\chi _3)`$, la pente de $`W`$ est donc non nulle. Elle vaut donc $`\lambda /\mathrm{}`$. Or c’est impossible par 2.2.2 puisque $`\mathrm{}\lambda .dimW=\lambda .dimV`$.

3) On tire de ce qui précède que $`\underset{¯}{H}`$ est en fait cyclique d’ordre premier. Il en découle que la représentation irréductible $`V`$ est de dimension $`1`$. L’hypothèse $`\chi _1)`$ contredit alors le choix initial du sous-groupe $`U`$. On conclut que l’homomorphisme $`\pi _0(G)`$ est un isomorphisme.

4) Examinons à présent l’épimorphisme $`G/Rad(G)\pi _0(G)`$. Pour montrer que c’est un isomorphisme, il suffit de montrer que pour toute représentation $`R`$$`G`$ agit à travers $`G/Rad(G)`$, $`G`$ agit en fait à travers un groupe fini.

D’après l’étape précédente, on sait qu’il existe un sous-groupe ouvert normal $`U`$ tel que l’image de $`G_U`$ dans $`GL(\iota _{U,}^{}R)`$ soit connexe. Quitte à remplacer $``$ par $`U`$, on peut donc supposer l’image de $`G`$ dans $`GL(R)`$ connexe. Il s’agit de voir qu’elle est triviale.

Supposons le contraire, et soit $`\underset{¯}{H}`$ un quotient simple de cette image. Puisque $`\underset{¯}{H}`$ est simple, la filtration de $`\underset{¯}{H}`$ n’a qu’un cran, ce qui entraîne que les irréductibles $`\mathrm{𝟏}`$ de la sous-catégorie $`Rep_E\underset{¯}{H}`$ de $`Rep_EG`$ sont purement d’une pente $`\lambda `$ (qui ne peut être nulle en vertu de $`\chi _3)`$). Comme $`\underset{¯}{H}`$ est non-abélien (puisque $`Rad(G)`$ agit trivialement), il existe une représentation irréductible $`V`$ de dimension $`>1`$; elle est fidèle puisque $`\underset{¯}{H}`$ est simple. La suite de la démonstration s’effectue comme en 2), et mène à une contradiction.

5) On conclut de ce qui précède que la suite

$$1Rad(G)G1$$

est exacte, ce qui prouve la première partie de l’assertion $`a)`$.

Passons à la seconde partie de $`a)`$. Le radical du quotient modéré $`G_0`$ n’est autre que l’image du radical de $`G`$. On en déduit que $`G_0/Rad(G_0)`$ s’identifie au quotient de $``$ par l’image $`^{>0}`$ de $`G^{>0}`$ dans $``$.

Toute représentation $`V`$ de $`G`$ provenant d’une représentation du quotient $`G_0/Rad(G_0)`$ est semisimple et d’image finie. Par $`\chi _3)`$, elle est somme directe de caractères modérés de $`G`$. Soit $`V`$ une représentation irréductible de $`G_0/Rad(G_0)`$. Par $`\chi _3)`$, cette représentation provient d’un caractère modéré (d’ordre fini) de $`G`$, qu’on peut identifier à des caractères (d’ordre fini) de $`/^{>0}`$ d’après ce qui précède. On conclut alors par $`\chi _2)`$ que $`/^{>0}=\widehat{𝐙}_{(𝐏^{})}`$, donc que $`^{>0}=𝒫`$. Ceci achève la preuve de a).

b) L’hypothèse $`Ext)`$ entraîne que les sommes finies d’extensions itérées de $`\mathrm{𝟏}`$ forment une sous-catégorie tannakienne de $`Rep_EG`$ isomorphe à $`Vec_E`$ où à $`Rep_E𝔾_a`$. L’hypothèse $`Ind)`$ implique que toute représentation de $`G`$ est somme directe finie d’une représentation du quotient de $`G`$ par son radical unipotent, tensorisée avec une extension itérée de $`\mathrm{𝟏}`$, d’où le résultat par le dictionnaire tannakien, en combinant avec $`a)`$.

c) Compte tenu de ce qui précède, il suffit de montrer que sous la condition $`\chi _4)`$, le radical de $`G`$ coïncide avec le radical unipotent. Or ceci se teste sur les quotients de dimension finie de $`G`$. On se ramène comme au pas 4) au cas où ces quotients sont connexes. L’assertion est alors claire. $`\mathrm{}`$

### 5.3. Premiers exemples

1) Dans l’exemple 3.1 des représentations galoisiennes d’un corps strictement henselien, $`Comp_1)`$ et $`Comp_2)`$ sont satisfaites de même que toutes les conditions du théorème, mais ce dernier n’apporte rien: $`G=`$.

2) Dans l’exemple 3.2 des représentations $`\mathrm{}`$-adiques locales, le théorème s’applique pour $`{}_{}{}^{F}G`$ mais il ne donne rien de plus que le théorème de monodromie locale $`\mathrm{}`$-adique de Grothendieck, d’ailleurs équivalent à la condition $`\chi _4)`$ dans cette situation.

3) Dans l’exemple 3.3 des modules différentiels sur $`E((z))`$, on retrouve une partie des résultats de Katz . Voici comment.

On prend pour $``$ le groupe de Galois absolu de $`E((z))`$ (qui coïncide avec le groupe d’inertie puisque $`E`$ est supposé algébriquement clos; on a $`𝐏=\mathrm{}`$). On a donc $`\widehat{𝐙}`$, et tout ouvert $`U`$ est de la forme $`^{(n)}\widehat{𝐙}`$.

Soit $`\omega `$ le foncteur fibre canonique de Katz sur $`MC(E((z))/E)`$ (cf. 3.3), et posons $`G=Aut^{}\omega `$. Comme ce foncteur est construit comme la fibre en $`1`$ de l’extension canonique, on a un carré commutatif pour tout $`n>0`$

$$\begin{array}{ccc}MC(E((z^{1/n}))/E)& \stackrel{\omega }{}& Rep_EG_{^{(n)}}\\ _{E\left(\left(z\right)\right)}E\left(\left(z^{1/n}\right)\right)& & \iota _{^{(n)}}^{}& & \\ MC(E((z))/E)& \stackrel{\omega }{}& Rep_EG.\end{array}$$

La sous-catégorie de $`MC(E((z))/E)`$ formée des objets qui deviennent triviaux par ramification kummerienne $`zz^n`$ d’ordre $`n`$ non précisé s’envoie sur $`Rep_E`$, et correspond, dualement, à un épimorphisme $`G`$. Il est bien connu qu’une telle ramification $`\iota _{^{(n)}}^{}`$ multiplie les pentes par $`n`$ (\[20, 2.2.11.2\]). Le changement de variable $`zz^{1/n}`$ induit un isomorphisme $`MC(E((z))/E)MC(E((z^{1/n}))/E)`$ de catégories tannakiennes compatible aux filtrations par les pentes, qui se transporte en une équivalence $`\rho _{^{(n)},}^{}`$. Enfin, les conditions $`\chi _1),\chi _2),\chi _3),Ext),Ind)`$ du théorème sont satisfaites (mais pas $`\chi _4)`$).

Comme $`𝐏`$ est vide, le théorème montre que $`G^{>0}`$ est un pro-tore (connexe). Dans \[20, 2.6.5\], Katz identifie son groupe des caractères au groupe abélien $`E((z))/E[[z]]`$.

## 6. Le contexte $`p`$-adique

### 6.1.

Nous nous plaçons maintenant dans le cadre 3.4 des modules différentiels sur des couronnes $`p`$-adiques. Nous allons commencer par montrer comment il se moule dans le cadre 5.1.

Pour nous raccrocher à la littérature sur ce sujet , nous supposerons désormais que $`K`$ est à valuation discrète ($`p`$-adique), de corps résiduel $`k`$ parfait.

Il découle de l’hypothèse de discrétion que le sous-anneau $`^{}=_{K,z}^{}`$ de $``$ des fonctions qui sont bornées vers le bord extérieur est en fait un corps. C’est même un corps henselien (muni de la norme sup), de corps résiduel $`k((z))`$.

On prend $`=G_{\overline{k}((z))}`$, le groupe d’inertie du corps local $`k((z))`$; $`𝒫`$ est le groupe d’inertie sauvage. On a donc $`𝐏=\{p\}`$. On prend $`E=\overline{K}`$.

### 6.2. Changements de base finis

Toute extension finie séparable de $`k((z))`$ est de la forme $`k^{}((z^{}))`$ et se relève en une extension finie non ramifiée $`_{K^{},z^{}}^{}`$ de $`_{K,z}^{}`$ (on prendra garde à ce que l’équation liant $`z^{}`$ à $`z`$ est en général fort complexe; on peut toutefois choisir $`z^{}`$ de sorte que $`z`$ soit un polynôme sans terme constant en $`z^{}`$).

La dérivation $`d/dz`$ et le Frobenius de $`_{K,z}^{}`$ s’étendent (de manière unique) à $`_{K^{},z^{}}^{}`$ à (\[36, 2.6\]). Ils s’étendent aussi à l’extension étale finie $`_{K^{},z^{}}:=_{K,z}_{_{K,z}^{}}_{K^{},z^{}}^{}`$ de $`_{K,z}`$.

$``$ Tout sous-groupe ouvert normal $`U`$ correspond à une extension galoisienne $`\overline{k}((z_U))/\overline{k}((z))`$, qui donne lieu à une extension étale finie $`_{\overline{K},z_U}`$ de $`_{\overline{K},z}`$, galoisienne de groupe $`/U`$ (et qu’on peut supposer contenue dans une clotûre algébrique fixée du corps des fractions de $`_{\overline{K},z}`$). Notons $`\stackrel{~}{}`$ l’extension étale de $`_{\overline{K},z}`$ réunion de ces extensions finies. Elle est munie d’une action de $``$, d’un Frobenius étendant $`\phi `$, et d’une dérivation étendant $`d/dz`$ (elle définit en particulier un ind-objet de $`MCF(_{\overline{K}}/\overline{K})`$).

$``$ Notons $`MC(\stackrel{~}{}/\overline{K})`$ la catégorie tannakienne des modules différentiels de présentation finie sur $`\stackrel{~}{}`$. Lorsque $`U^{}U`$ décrivent les sous-groupes ouverts normaux de $``$, les opérations

$$_{_{\overline{K},z_U}}_{\overline{K},z_U^{}},_{_{\overline{K},z_U}}\stackrel{~}{}$$

définissent une tour de $``$-foncteurs exacts fidèles

$$MC(_{\overline{K},z_U}/\overline{K})\stackrel{j_{U^{}U}^{}}{}MC(_{\overline{K},z_U^{}}/\overline{K})\stackrel{j_U^{}^{}}{}MC(\stackrel{~}{}/\overline{K}),$$

qui se restreint en une tour de $``$-foncteur exacts fidèles

$$MCF(_{\overline{K},z_U}/\overline{K})\stackrel{j_{U^{}U}^{}}{}MCF(_{\overline{K},z_U^{}}/\overline{K})\stackrel{j_U^{}^{}}{}MCF(\stackrel{~}{}/\overline{K}),\text{cf.}\text{ }\text{[34, 3.2]}.$$

Ici $`MCF(\stackrel{~}{}/\overline{K})`$ désigne la sous-catégorie pleine de $`MC(\stackrel{~}{}/\overline{K})`$ formée dans l’image d’un $`j_U^{}^{}`$. Remarquons que tout objet $`\stackrel{~}{M}`$ de $`MC(\stackrel{~}{}/\overline{K})`$ provient d’un objet $`M_U`$ de $`MC(_{\overline{K},z_U}/\overline{K})`$ pour $`U`$ convenable, donc est libre en tant que $`\stackrel{~}{R}`$-module (puisque $`M_U`$ est libre sur $`_{\overline{K},z_U}`$, cf. 3.4).

$``$ On a de même, par adjonction, des foncteurs (exacts fidèles) dans l’autre sens:

$$MC(_{\overline{K},z_U^{}}/\overline{K})\stackrel{j_{U^{}U}}{}MC(_{\overline{K},z_U}/\overline{K}),MCF(_{\overline{K},z_U^{}}/\overline{K})\stackrel{j_{U^{}U}}{}MCF(_{\overline{K},z_U}/\overline{K}).$$

$``$ La catégorie tannakienne des modules différentiels sur le corps de fractions $`L=Q(\stackrel{~}{})`$ admet un foncteur fibre à valeurs dans $`Vec_{\overline{K}}`$, cf. appendice B.1.4. On le fixe. On en déduit un foncteur fibre

$$\stackrel{~}{\omega }:MCF(\stackrel{~}{}/\overline{K})Vec_{\overline{K}},$$

puis des foncteurs fibre compatibles

$$\omega _U=\stackrel{~}{\omega }j_U^{}:MCF(_{\overline{K},z_U}/\overline{K})Vec_{\overline{K}}.$$

On abrège $`\omega _{}`$ en $`\omega `$, et on note $`G`$ le $`\overline{K}`$-schéma en groupes affine $`Aut^{}\omega `$.

$``$ Considérons la sous-catégorie tannakienne $`MCF(_{\overline{K},z}/\overline{K})_{}`$ de $`MCF(_{\overline{K},z}/\overline{K})`$ formée des objets $`M`$ que $`j_{}^{}`$ trivialise, i.e. tels que l’homomorphisme canonique

$$(M_{}\stackrel{~}{})^{}_{\overline{K}}\stackrel{~}{}j_{}^{}(M)$$

soit un isomorphisme. On a alors un isomorphisme canonique

$$\omega (M)=\stackrel{~}{\omega }((M_{}\stackrel{~}{})^{}_{\overline{K}}\stackrel{~}{})=(M_{}\stackrel{~}{})^{}$$

d’où une action de $``$ sur $`\omega (M)`$ via son action sur $`\stackrel{~}{}`$. On en déduit aussi un homomorphisme $`Aut^{}\omega _{MCF(_{\overline{K},z}/\overline{K})_{}}`$ (où $``$ est vu comme $`\overline{K}`$-schéma en groupes affine). C’est en fait un isomorphisme, car $`\omega _{MCF(_{\overline{K},z}/\overline{K})_{}}`$ (isomorphe au foncteur fibre $`M(M_{}\stackrel{~}{})^{}`$) admet un quasi-inverse donné par $`V(\stackrel{~}{}_{\overline{K}}V)^{}.`$

$``$ L’inclusion $`MCF(_{\overline{K},z}/\overline{K})_{}MCF(_{\overline{K},z}/\overline{K})`$ correspond donc, par le dictionnaire tannakien, à un épimorphisme

$$G.$$

L’action du groupe fini $`/U`$ sur $`_{\overline{K},z_U}`$ induit une action de $`/U`$ sur $`MCF(_{\overline{K},z_U}/\overline{K})`$ par auto-$``$-équivalences. L’argument des droites de Katz \[20, 1.4.5\] s’applique dans notre contexte101010pour la commodité du lecteur, rappelons brièvement en quoi consiste cet argument. Le seul point épineux est de montrer que le noyau $`G_U`$ de la flèche $`G=Aut^{}\omega /U`$ est contenu dans $`Aut^{}\omega _U`$. Pour cela, il suffit d’après Chevalley de démontrer que toute droite $`L`$ dans une représentation arbitraire de $`G`$, qui est stable par $`Aut^{}\omega _U`$, est en fait stable par $`G_U`$. Katz montre que $`Aut^{}\omega `$ permute les droites distinctes conjuguées de $`L`$ sous le groupe fini $`/U`$, ce qui entraîne bien que $`G_U`$ stabilise ces conjuguées, donc $`L`$., et montre que la suite

$$1Aut^{}\omega _UAut^{}\omega /U1$$

est exacte, d’où $`Aut^{}\omega _U=G_U`$. On a donc un diagramme strictement commutatif de $``$-foncteurs

$$\begin{array}{ccccc}MCF(_{\overline{K},z_U}/\overline{K})& & \stackrel{\omega _U}{}& & Rep_{\overline{K}}G_U\\ j_U^{}& & & & \iota _U^{}\\ MCF(_{\overline{K},z}/\overline{K})& & \stackrel{\omega }{}& & Rep_{\overline{K}}G\end{array}$$

où les foncteurs $`\iota _U^{}`$ désignent comme précédemment les foncteurs de restriction des représentations.

De même, les foncteurs $`j_U`$ correspondent à l’induction des représentations.

### 6.3. Filtration de Hasse-Arf sur les $`Rep_{\overline{K}}G_U`$ et compatibilités en $`U`$

Ceci permet de définir la filtration de Hasse-Arf de $`Rep_{\overline{K}}G_U`$ en transportant la filtration par les pentes $`p`$-adiques de $`MCF(_{\overline{K},z_U},\overline{K})`$.

Examinons à présent le lien entre ces catégories tannakiennes $`Rep_{\overline{K}}G_U`$ (munies de leurs filtrations de Hasse-Arf) pour une extension kummerienne. Le changement de variable $`z_Uz_{U^{(n)}}`$ induit un isomorphisme $`_{\overline{K},z_U}_{\overline{K},z_{U^{(n)}}}`$, d’où un isomorphisme

$$MCF(_{\overline{K},z_U}/\overline{K})MCF(_{\overline{K},z_{U^{(n)}}}/\overline{K})$$

de catégories tannakiennes compatible aux filtrations par les pentes, qui se transporte en une équivalence $`\rho _{U^{(n)},U}^{}:Rep_{\overline{K}}G_URep_{\overline{K}}G_{U^{(n)}}`$ compatible aux filtrations de Hasse-Arf (utiliser le sorite 1.2.6), d’où $`Comp_2)`$.

De même, il est connu que $`j_{U^{(n)}U}^{}`$ multiplie les pentes par $`n`$, cf. \[11, 6.3.5\]. En utilisant de nouveau le sorite 1.2.6, on en déduit que $`\iota _{U^{(n)}U}^{}`$ fait de même, d’où $`Comp_1)`$.

### 6.4. Vérification des hypothèses de 5.2.1

Les conditions $`\chi _1),\chi _2)`$ et $`\chi _4)`$ relèvent de la théorie de Robba des équations différentielles de rang un (sur $`_{\overline{K},z_U}`$).

Rappelons brièvement les étapes (avec $`U=`$ pour alléger les notations). Comme $`^{}=(^{})^{}`$ (et de même après toute extension finie de $`K`$), on voit que tout objet $`M`$ de dimension $`1`$ de $`MC(_{\overline{K}}/\overline{K})`$ est défini sur $`_{L,z}^{}`$ pour une extension finie convenable $`L/K`$. Par approximation-troncation cf. \[9, 44.5\], il est même défini sur $`L(z)`$. La condition de solubilité au bord extérieur de la couronne devient la condition de Dwork usuelle (solubilité dans le disque générique $`D(t_1\mathrm{,1}^{})`$). Un analogue $`p`$-adique des produits de Weierstrass (cf. \[27, 5.3, 5.4, 10.11\])111111Robba demande de passer à un corps algébriquement clos et maximalement complet, mais Matsuda  a montré qu’on peut s’en dispenser, du moins pour $`p>2`$. permet de trouver une base telle que l’opérateur différentiel correspondant à $`M`$ s’écrive

$$=\frac{d}{dz}+\frac{a_1}{z}+\mathrm{}\frac{a_n}{z^n},|a_i|1;$$

$`n1=\lambda `$ est la pente $`p`$-adique. La condition de solubilité implique $`a_1𝐙_p`$, mais l’hypothèse plus forte d’existence d’une structure de Frobenius implique121212en fait: équivaut à cette condition, cf. ; mais peu importe ici. $`a_1𝐙_{(p)}=𝐙_p𝐐`$.

En particulier, $`\frac{d}{dz}+\frac{a_1}{z}`$ si la pente est nulle, i.e. si le caractère correspondant de $`G`$ est modéré. On voit donc que l’homomorphisme résidu, donné par $`a_1`$ mod. $`𝐙`$, induit un isomorphisme

$$X(G_0)𝐙_{(p)}/𝐙$$

$`X(G_0)`$ désigne le groupe des caractères du quotient modéré de $`G`$.

L’inverse de cet isomorphisme est d’ailleurs donné par l’homomorphisme $`X(\widehat{𝐙}_{(p^{})})X(G_0)`$ induit par $`G_0\widehat{𝐙}_{(p^{})}`$ (dualité de Pontriaguine). D’où $`\chi _2)`$.

On a

$$^{p^N}=\frac{d}{dz}+\frac{p^Na_1}{z}+\mathrm{}\frac{p^Na_n}{z^n}\frac{d}{dz}+\frac{p^Na_1}{z}$$

pour $`N>>0`$, donc le caractère de $`G`$ correspondant à $``$ est fini. Ceci donne $`\chi _4)`$.

La condition $`\chi _1)`$ revient à dire que $``$ se trivialise sur une extension $`_{\overline{K},z_U}`$ de $`_{\overline{K},z}`$ comme ci-dessus. Cela découle de l’existence d’une structure de Frobenius sur $``$, qu’on peut supposer définie sur $`^{}`$ (puisque $`^{}=(^{})^{}`$) et de pente frobeniusienne nulle, cf. \[13, 4.11\] (Tsuzuki  en donne une version en toute dimension).

La condition $`\chi _3)`$ est nettement plus substantielle: c’est le “théorème de monodromie locale $`p`$-adique modérée” de , en présence d’une structure de Frobenius (voir aussi ).

Enfin, les conditions $`Ext)`$ et $`Ind)`$ sont démontrées dans \[12, 6.0.18, 6.0.16, 6.0.17\] comme conséquence du théorème de l’indice de Christol-Mebkhout.

Nous sommes à même d’appliquer 5.2.1, ce qui nous donnera le théorème de monodromie locale $`p`$-adique.

## 7. Le théorème de monodromie locale $`p`$-adique

### 7.1.

Le théorème suivant est le résultat principal de cet article. Il donne la structure de $`MCF(_{\overline{K}}/\overline{K})Rep_{\overline{K}}G`$.

On rappelle que le corps $`p`$-adique $`K`$ est supposé à valuation discrète et à corps résiduel $`k`$ parfait, que $``$ est le groupe d’inertie de $`Gal(k((z))^{sep}/k((z)))`$, et que $`𝒫`$ est son $`p`$-Sylow (inertie sauvage).

###### 7.1.1 Théorème.

On a des isomorphismes canoniques

$$G\times 𝔾_a,G^{>0}𝒫$$

de $`\overline{K}`$-groupes affines.

###### 7.1.2 Complément.

L’isomorphisme $`G^{>0}𝒫`$ identifie la filtration $`(G^{(\lambda )})`$ provenant de la filtration par les pentes $`p`$-adiques à la filtration de $`𝒫`$ par les groupes de ramification supérieurs.

Démonstration. Le théorème résulte du théorème 5.2.1 pour $`U=`$, dont toutes les hypothèses sont remplies ainsi que nous l’avons vu au §précédent, et compte tenu du fait qu’il y a des extensions non triviales de $`\mathrm{𝟏}`$ par $`\mathrm{𝟏}`$.

Le complément résulte de là et du théorème de Matsuda-Tsuzuki  (voir aussi  qui en donne une élégante preuve géométrique). Rappelons la démarche de Tsuzuki, légèrement transposée à notre contexte: on a deux homomorphismes

$$K_0(Rep_{\overline{K}})𝐙$$

donnés l’un par le conducteur de Swan des représentations galoisiennes, l’autre par l’irrégularité $`p`$-adique des objets de $`MCF(_{\overline{K}}/\overline{K})`$ associés. Par 2.1.2, il s’agit de montrer que ces deux homomorphismes coïncident. Tensorisant avec $`𝐐`$ et appliquant le théorème d’induction d’Artin (cf. ), on se ramène au cas des caractères. En dimension un, le problème se traite par un calcul direct, voir , . $`\mathrm{}`$

###### 7.1.3 Corollaire.

Supposons $`k`$ fini. Alors les classes d’isomorphisme d’objets de $`MCF(_{\overline{K}}/\overline{K})`$ forment un ensemble dénombrable.

En effet, le groupe profini $``$ est alors métrisable: l’ensemble de ses sous-groupes ouverts est dénombrable, cf. \[31, 1.3\]. $`\mathrm{}`$

###### 7.1.4 Exemple.

Pour tout premier $`p`$, les opérateurs de Bessel $`B_\nu `$ normalisés à la Dwork forment une famille à un paramètre $`\nu 𝐙_p`$ d’opérateurs différentiels solubles dans le disque générique. Vus comme opérateurs à coefficients dans $`^{}`$, ils sont en fait tous isomorphes (et munis d’une structure de Frobenius), cf. \[3, 7.5\]. Dans loc. cit. , on détermine en fait la représentation galoisienne associée (le cas intéressant est $`p=2`$), ce qui s’avère nettement plus difficile que d’en prouver l’existence.

Passons de la structure de la catégorie à la structure des objets. Voici deux traductions du théorème, où l’on redescend au corps de base $`K`$.

###### 7.1.5 Corollaire.

Tout objet de $`MC(/K)`$ admettant une structure de Frobenius a une base de solutions dans $`_{K^{},z^{}}[\mathrm{log}z]`$, où $`_{K^{},z^{}}`$ est l’extension finie étale de $`=_{K,z}`$ attachée à une extension finie séparable convenable de $`k((z))`$.

(L’application directe du théorème ne donne le résultat qu’après une extension finie $`L/K^{}`$, mais la descente des constantes est standard, voir par exemple \[20, 4.1.2\])131313au moment de la révision (Oct.01) de cet article soumis, l’auteur a pris connaissance d’une nouvelle prépublication de K. Kedlaya, intitulée ‘a $`p`$-adic local monodromy theorem’, qui donne une autre démonstration de l’énoncé 7.1.5. basée sur des idées complètement différentes des nôtres; il y est fait un usage intensif des structures de Frobenius.. $`\mathrm{}`$

Nous dirons qu’un objet de $`MC(/K)`$ est absolument indécomposable (resp. absolument irréductible) s’il le reste après toute extension finie $`L/K`$ des scalaires.

###### 7.1.6 Corollaire.

Tout objet absolument indécomposable $`M`$ de $`MC(/K)`$ admettant une structure de Frobenius devient, après une éventuelle extension finie du corps de base $`K`$, isomorphe à un objet de la forme

$$MU_m,$$

$`M`$ provient d’une $`K`$-représentation (finie) absolument irréductible de $``$, et $`U_m`$ est l’objet de dimension $`m`$ représenté par $`(z\frac{d}{dz})^m`$ (extension itérée $`m`$-ième de $`\mathrm{𝟏}`$ par lui-même et indécomposable). En particulier, $`M`$ provient d’un objet de $`MC(^{}/K)`$ admettant une structure de Frobenius. $`\mathrm{}`$

De là, on tire aisément:

###### 7.1.7 Corollaire.

Tout objet $`M^{}`$ de $`MC(^{}/K)`$ admettant une structure de Frobenius et tel que $`M^{}_{^{}}`$ soit absolument irréductible a une base de solutions dans l’extension finie non ramifiée de $`^{}=_{K,z}^{}`$ attachée à une extension finie séparable convenable de $`k((z))`$. $`\mathrm{}`$

Suivant , disons qu’un objet $`M`$ de $`MCS(/K)`$ est complètement irréductible si $`gr^0(\underset{¯}{End}(M))=K.id`$.

###### 7.1.8 Corollaire.

Tout objet complètement irréductible de $`MC(/K)`$ admettant une structure de Frobenius est absolument irréductible et de dimension une puissance de $`p`$.

L’énoncé sur la dimension avait été conjecturé dans \[12, 3.0.12\] (en fait pour tout objet complètement irréductible de pente $`>0`$ de $`MCS(/K)`$).

Démonstration. Passons à l’objet correspondant $`M`$ de $`MCF(_{\overline{K}}/\overline{K})`$, et à la représentation $`V`$ de $`G`$ associée. On a $`dimM=dim_{\overline{K}}V`$. L’hypothèse de complète irréductibilité se traduit par

$$(End(V))^{G^{>0}}=\overline{K}.id,$$

c’est-à-dire par l’irréductibilité de $`\underset{¯}{End}(Res_G^{G^{>0}}(V))`$ d’après Schur (noter que puisque $`G^{>0}`$ agit à travers un groupe fini, cette représentation est semisimple). A fortiori, $`Res_G^{G^{>0}}(V)`$ est irréductible (donc $`V`$ aussi). Comme en vertu du théorème 7.1.1, $`G^{>0}=𝒫`$ est un pro-$`p`$-groupe, la dimension de cette représentation est une puissance de $`p`$ (\[30, 6.5\]). $`\mathrm{}`$

### 7.2. Sur une conjecture de Dwork

L’existence de structures de Frobenius n’est que faiblement utilisée dans le texte. Il serait intéressant de remplacer $`MCF(_{\overline{K}}/\overline{K})`$ par la sous-catégorie tannakienne maximale $`MCS^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ de $`MCS(_{\overline{K}}/\overline{K})`$ formée des objets d’exposants et résidus déterminantiels non-Liouville et dans $`𝐙_{(p)}/𝐙`$, cf. . On obtiendrait ainsi la coïncidence de $`MCF(_{\overline{K}}/\overline{K})`$ et $`MCS^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ conjecturée dans loc. cit. (et antérieurement, sous une forme légèrement moins précise, par Dwork, comme me l’a fait remarquer G. Christol). Le seul problème qu’on rencontre pour ce faire est celui de la stabilité de $`MCS^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ lorsqu’on passe à une extension finie étale de $`_{\overline{K}}`$ induite par une extension finie séparable de $`\overline{k}((z))`$ du type Artin-Schreier. Certains modules différentiels peuvent acquérir des pentes nulles lors d’une telle extension, et il ne semble pas facile alors d’en contrôler les exposants.

Pour tourner (quelque peu artificiellement) cette difficulté, on peut introduire la sous-catégorie pleine $`MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ de $`MCS^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ formée des objets $`M`$ tels que pour tout sous-groupe normal ouvert $`U`$, $`j_U^{}(M)`$ appartienne à $`MCS^{𝐙_{(p)}/𝐙}(_{\overline{K},z_U}/\overline{K})`$. Comme $`j_U^{}`$ est un $``$-foncteur, $`MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ est bien une sous-catégorie tannakienne de $`MC(_{\overline{K}}/\overline{K})`$. Elle contient $`MCF(_{\overline{K}}/\overline{K})`$. On dispose de foncteurs

$$j_U^{}:MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K},z_U}/\overline{K}).$$

On peut alors remplacer dans tout ce qui précède la catégorie $`MCF(_{\overline{K}}/\overline{K})`$ par $`MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$141414pour prouver $`\chi _1)`$, on dispose du théorème de Chiarellotto-Christol  qui montre que les objets de dimension $`1`$ de $`MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})`$ et de $`MCF(_{\overline{K}}/\overline{K})`$ coïncident., et $`G`$ par le groupe tannakien correspondant. Au bout du compte, on obtient la variante affaiblie suivante de la conjecture de Dwork:

###### 7.2.1 Scolie.

$`MCS_{stable}^{𝐙_{(p)}/𝐙}(_{\overline{K}}/\overline{K})=MCF(_{\overline{K}}/\overline{K}).`$ $`\mathrm{}`$

En termes heuristiques: pour les modules différentiels solubles au bord d’une mince couronne, imposer la rationalité des exposants $`p`$-adiques sous une forme suffisamment forte entraîne l’existence d’une structure de Frobenius.

### 7.3. Extensions et foncteurs fibres canoniques

Katz  a introduit la notion d’extension canonique d’une extension séparable de $`k((z))`$ à un revêtement fini étale de $`𝔾_{m,k}`$. Cela fournit une équivalence de catégories pourvu qu’on se limite aux revêtements ‘spéciaux’ de $`𝔾_{m,k}`$, c’est-à-dire modérés à l’infini, et dont le groupe de monodromie géométrique a un unique $`p`$-Sylow. Cette correspondance a été transportée au cadre des modules différentiels quasi-unipotents par Matsuda .

En fait, le corollaire 7.1.1 permet de définir, plus directement, la notion d’extension canonique de tout objet de $`MCF(_{\overline{K}}/\overline{K})`$ en un $`\overline{K}`$-isocristal surconvergent sur $`𝔾_{m,\overline{k}}`$ (muni d’une structure de Frobenius): on peut supposer l’objet indécomposable, et avec les notations de loc. cit. , l’extension de $`U_m`$ est évidente, et celle de $`M`$ s’obtient à partir de l’extension de Katz de la représentation finie de l’inertie correspondante (cf. , nous laissons les détails au lecteur).

En prenant la fibre de l’extension canonique au point $`1𝔾_{m,\overline{k}}`$, on obtient alors un foncteur fibre canonique sur $`MCF(_{\overline{K}}/\overline{K})`$.

## Appendice A Sur les dimensions de représentations irréductibles

### A.1.

On suppose encore que $`E`$ est un corps de caractéristique nulle.

###### A.1.1 Proposition.

Soit $`G`$ un groupe algébrique linéaire sur $`E`$. On suppose que toute représentation irréductible de $`G`$ l’est absolument. Alors les dimensions de ses représentations irréductibles non triviales sont premières entre elles dans leur ensemble.

Démonstration. L’hypothèse entraîne que toute représentation irréductible de $`G`$ sur $`\overline{E}`$ est définie sur $`E`$. On peut donc remplacer $`E`$ par sa clôture algébrique. On distingue plusieurs cas:

a) si $`G`$ est non connexe, le groupe (fini) des composantes connexes $`\pi _0(G)`$ admet des représentations irréductibles non triviales. Quitte à remplacer $`G`$ par $`\pi _0(G)`$, on peut donc supposer $`G`$ fini. Soient $`n_i`$ les dimensions des représentations irréductibles de $`G`$ (avec $`n_0=1`$ pour la représentation triviale). On sait d’une part que $`n_i`$ divise $`|G|`$ (\[30, 6.5\]), et d’autre part que $`|G|=n_i^2=1+_{i>0}n_i^2`$ (\[30, 2.4\]). Ces deux faits entraînent immédiatement que le pgcd des $`n_i,i>0`$ est égal à $`1`$ 151515signalons à ce propos un résultat moins élémentaire de Thompson : si les dimensions $`n_i>1`$ sont toutes divisibles par $`p`$, alors $`G`$ est $`p`$-nilpotent. De nombreux résultats dans cette direction ont été obtenus depuis par l’école de Mayence..

Supposons à présent $`G`$ connexe.

b) Si $`G`$ est résoluble, toute représentation irréductible est de dimension $`1`$.

c) Si $`G`$ n’est pas résoluble, le groupe semisimple quotient de $`G`$ par son radical admet des représentations irréductibles non triviales. Quitte à remplacer $`G`$ par ce quotient, on peut donc supposer $`G`$ semisimple. On note comme d’habitude $`\rho `$ la demi-somme des racines positives. Soit $`V(2m\rho ),m>0`$ la représentation irréductible de $`G`$ de plus haut poids $`2m\rho `$ (a priori c’est une représentation de $`LieG`$, mais elle s’intègre en une représentation de $`G`$ puisque $`2m\rho `$ est dans le réseau des racines). La formule des caractères de Weyl montre que la dimension de $`V(2m\rho )`$ est $`(2m+1)^N`$, où $`N`$ est le nombre de racines positives, cf. \[7, §9, ex. 1\]. Ces dimensions sont premières entre elles. $`\mathrm{}`$

###### A.1.2 Corollaire.

Soit $`𝒯`$ une catégorie tannakienne sur $`E`$, munie d’une filtration de Hasse-Arf. On suppose que $`𝒯`$ contient des objets qui ne sont pas extension itérée de $`\mathrm{𝟏}`$. On suppose qu’il n’y a aucune pente entière non nulle (ce qui est en particulier le cas si les pentes sont $`<1`$). Alors $`𝒯`$ contient des objets irréductibles $`\cong ̸\mathrm{𝟏}`$ de pente nulle.

Démonstration. On peut supposer $`𝒯`$ algébrique, i.e. ayant un générateur tensoriel. Quitte à remplacer $`F`$ par une extension finie (cf. 1.2.1), on peut supposer $`𝒯`$ neutralisée, et que tout objet irréductible l’est absolument. On peut même supposer, en remplaçant le groupe tannakien associé $`G`$ par un quotient (et $`𝒯`$ par la sous-catégorie tannakienne correspondante) que $`G`$ est simple. Supposons par l’absurde que tout objet de pente nulle soit trivial, i.e. somme de copies de $`\mathrm{𝟏}`$. Alors $`G`$ n’a qu’une pente, qui est non entière par hypothèse. Toute représentation irréductible non triviale a une dimension divisible par le dénominateur de cette pente, ce qui est absurde d’après la proposition précédente. $`\mathrm{}`$

###### A.1.3 Remarque.

Ceci s’applique à la catégorie tannakienne engendrée par le module différentiel de Bessel sur l’anneau de Robba $``$ diadique, cf. . Dans ce cas, les pentes sont $`\mathrm{0,1}/\mathrm{3,1}/2`$. On trouve des irréductibles non-triviaux de pente nulle, mais trivialisables par ramification kummerienne $`zz^3`$.

## Appendice B Extensions de Picard-Vessiot infinies

### B.1.

Dans cet appendice, on étend, faute de référence, une petite partie de la théorie de Picard-Vessiot au cas d’une catégorie tannakienne non nécessairement algébrique de modules différentiels.

Soit $`(L,)`$ un corps différentiel de corps de constantes algébriquement clos $`E=L^{}`$. Par module différentiel sur $`L`$, on entend un $`L[]`$-module de dimension finie en tant que $`L`$-espace. Si $`(,)`$ est un corps différentiel extension de $`(L,)`$, on dit qu’un module différentiel $`M`$ sur $`L`$ est soluble dans $``$ si l’homomorphisme canonique $`(M_L)^{}_EM_L`$ est un isomorphisme.

Soit $`𝒯`$ une catégorie tannakienne sur $`E`$ dont les objets sont des modules différentiels sur $`L`$. Observons que $`𝒯`$ est essentiellement petite, et que le cardinal de l’ensemble des classes d’isomorphisme d’objets est $`|L|`$.

###### B.1.1 Définition.

On dit que $`(,)`$ est une extension de Picard-Vessiot (fractionnaire) de $`(L,)`$ pour $`𝒯`$ si les conditions suivantes sont satisfaites:
$`i)`$ $`^{}=E`$,
$`ii)`$ tout objet de $`𝒯`$ est soluble dans $``$,
$`iii)`$ $`(,)`$ est minimal pour ces propriétés.

Lorsque $`𝒯`$ est algébrique (i.e. si tout objet est sous-quotient d’une somme finie de $`M^n(M^{})^m`$ pour un objet $`M`$ convenable), l’existence - et l’unicité à isomorphisme non unique près \- d’une extension de Picard-Vessiot est connue, cf. e.g. \[37, 3, A.1\], \[2, 3.4.4.4\].

Sous $`ii)`$, il est facile de voir que la condition $`iii)`$ équivaut à

$`iv)`$ $``$ est engendré, en tant que corps, par les sous-$`L`$-espaces161616ces sous-espaces sont aussi naturellement des modules différentiels. $`<N^{},(N_L)^{}>`$, où $`N`$ décrit un ensemble de représentants des classes d’isomorphismes d’objets de $`𝒯`$, et $`<>`$ est le crochet de dualité.

###### B.1.2 Définition.

Nous dirons que $`(,)`$ est une extension de Picard-Vessiot partielle de $`(L,)`$ pour $`𝒯`$ si les conditions $`i)`$ et $`iv)`$ ci-dessus sont satisfaites.

En vertu de $`iv)`$ et du fait que le cardinal de l’ensemble des classes d’isomorphisme d’objets de $`𝒯`$ est $`|L|`$, toute extension de Picard-Vessiot partielle vérifie $`||=|L|`$.

###### B.1.3 Proposition.

Il existe une extension de Picard-Vessiot $`(PV(𝒯),)`$ de $`(L,)`$ pour $`𝒯`$.

Démonstration. Fixons un ensemble $`\mathrm{\Omega }`$ contenant $`L`$ et de cardinal strictement supérieur à celui de $`L`$. Considérons l’ensemble $`𝒫`$ des quadruplets $`(L^{},+,.,)`$$`L^{}`$ est un sous-ensemble de $`\mathrm{\Omega }`$ contenant $`L`$, où $`+,.`$ sont des lois de composition faisant de $`L^{}`$ un corps, et où $``$ est une dérivation faisant de $`(L^{},)`$ une extension de Picard-Vessiot partielle de $`(L,)`$ pour $`𝒯`$. On munit $`𝒫`$ d’un ordre partiel correspondant à la notion de sous-corps différentiel. Il est facile de voir que la réunion d’une chaîne d’éléments de $`𝒫`$ est encore un élément de $`𝒫`$. Par Zorn, il existe un élément maximal contenant $`(L,+,.,)`$. Notons $`(PV(𝒯),)`$ ce corps différentiel.

Il s’agit de montrer que tout objet $`M`$ de $`𝒯`$ est soluble dans $`PV(𝒯)`$. Pour cela considérons une extension de Picard-Vessiot $``$ de $`PV(𝒯)`$ pour (la catégorie tannakienne engendrée par) le module différentiel $`M_LPV(𝒯)`$ sur $`PV(𝒯)`$. On a $`||=|L|`$, donc $``$ est plongeable dans $`\mathrm{\Omega }`$.

Il suffit alors de montrer que $`=PV(𝒯)`$, ce qui, par maximalité de $`PV(𝒯)`$, revient à montrer que $``$ est une extension de Picard-Vessiot partielle de $`L`$ pour $`𝒯`$.

Vérifions $`i)`$: comme $``$ est une extension de Picard-Vessiot pour $`M_LPV(𝒯)`$, on a $`^{}=PV(𝒯)^{}`$, donc $`=E`$.

Vérifions $`iv)`$: soit $`^{}`$ le sous-corps de $``$ engendré par les $`<N^{},(N_L)^{}>`$, où $`N`$ décrit un ensemble de représentants des classes d’isomorphismes d’objets de $`𝒯`$. Il contient $`PV(𝒯)`$, donc aussi les $`<N^{}_LPV(𝒯),(N_L)^{}>`$$`N`$ décrit un ensemble de représentants des classes d’isomorphismes d’objets de la catégorie tannakienne engendrée par le module différentiel $`M_LPV(𝒯)`$. Comme $``$ est une extension de Picard-Vessiot pour $`M_LPV(𝒯)`$, on conclut que $`^{}=`$. $`\mathrm{}`$

###### B.1.4 Corollaire.

La catégorie tannakienne $`𝒯`$ est neutre.

En effet, comme dans le cas usuel (où $`𝒯`$ est algébrique), on a un foncteur fibre $`𝒯Vec_E`$ “donné par” $`M(M_LPV(𝒯))^{}`$. $`\mathrm{}`$

###### B.1.5 Remarque.

Comme dans le cas usuel, on peut montrer que $`PV(𝒯)`$ est unique à isomorphisme non unique près.


format: text

text:
# References

IPPP/02/15

DCPT/02/30

12 March 2002

SECONDARY REGGEONS IN PERTURBATIVE QCD
M.G.Ryskin and A.G.Shuvaev

Department of Physics and Institute for Particle Physics Phenomenology,

University of Durham, Durham, DH1 3LE

and

Petersburg Nuclear Physics Institute,

Gatchina, St.Petersburg 188300 Russia

## Abstract

Using the Kirschner-Lipatov equation as a basis, we study high energy elastic quark-quark amplitudes, which correspond to secondary Reggeons and pion exchange in the double-logarithmic approximation of perturbative QCD.

1. The high energy behaviour of elastic scattering amplitudes is described usually in terms of $`t`$-channel Reggeon pole (and cut) exchange, that is in terms of the singularities in the complex moment $`j`$-plane (see, for example, ). The rightmost singularity, the Pomeron, has the quantum numbers of the vacuum and is placed at $`j1`$. In the framework of perturbative QCD the corresponding singularity is formed by the two (reggeized) gluon cut and it’s properties are given by the BFKL equation  (see  for more details).

The secondary Reggeon contribution corresponds to an amplitude with quark-antiquark pair $`t`$-channel exchange. The leading double-logarithmic (DL) asymptotics of this amplitude was calculated in perturbative QCD by Kirschner-Lipatov . It appears that the quark-antiquark cut occurs at

$$j=\omega _0(t)=\sqrt{2C_F\alpha _S/\pi }$$
(1)
for the positive signature amplitude. Here $`\alpha _S`$ is the QCD coupling, $`C_F=(N_c^21)/2N_c`$ and $`N_c=3`$ is the number of colors.

In the $`N_c\mathrm{}`$ limit, the positive (even) and negative (odd) signature DL amplitudes are degenerate and both are given by the sum of the ladder-type Feynman diagrams. For finite $`N_c=3`$, there appear a non-ladder DL contribution to the odd signature amplitude, which shifts the position of the singularity in $`j`$-plane. However this non-ladder DL contribution is not large; numerically $`\omega _0^{()}1.04\omega _0^{(+)}`$, while for a reasonable value of $`\alpha _S=0.25`$ the effective intercept $`\omega _0^{(+)}0.46`$. This is close to the phenomenological intercepts of the $`\omega `$, $`\rho `$ (odd signature) and $`A_2`$ (even signature) trajectories – $`\alpha _R(0)0.5`$ which are approximately degenerate. Besides the $`\omega `$, $`\rho `$, $`f`$ and $`A_2`$ \- Regge poles there are the contributions with other $`t`$-channel quantum numbers, corresponding to $`\pi `$ or $`A_1`$ ( unnatural $`P`$-parity) exchange. In the present paper we discuss the properties of such contributions in the framework of the DL approximation of perturbative QCD.

2. Recall that the DL Kirschner-Lipatov quark-quark amplitude  may be written as the Born amplitude $`A_B`$ (shown by continuous lines in Fig.1) multiplied by a DL function $`F_{DL}(\alpha _S\mathrm{ln}^2s/|t|)`$ which collects the loop contributions caused by the additional gluons. For example, for the simplest colour singlet (in $`t`$-channel) amplitude, the function $`F_{DL}`$ reads

$$F_{DL}^+=\frac{I_1(2n)}{n},n=\sqrt{\frac{C_F\alpha _S(t)}{2\pi }}\mathrm{ln}\frac{s}{|t|}.$$
(2)
Thus

$$A^+(s,t)=A_B\frac{I_1(2n)}{n},$$
(3)
where

$$A_B=\frac{4}{9}4\pi \alpha _S.$$

The factor 4/9 comes from averaging over the colours of the initial quarks. Since the Bessel function $`I_1(2n)e^{2n}`$ at large $`n`$, the high energy ($`\sqrt{s}`$) asymptotics of the amplitude (3,2) takes the form $`A^+s^{2n}=s^{\omega _0^{(+)}}`$.

Note that to DL accuracy, the additional gluons (shown in Fig.1b by the dashed lines) are emitted just by the colour charge of the quark and do not change either the spin structure of the original Born amplitude nor the isospin of the $`t`$-channel $`q\overline{q}`$-pair. Therefore, to select the contribution with known quantum numbers in $`t`$-channel, it is enough to use the Firz relation

$$\gamma _\mu \times \gamma _\mu |_{s\mathrm{channel}}\mathrm{\hspace{0.17em}1}\times \mathrm{\hspace{0.17em}1}\frac{1}{2}\gamma _\nu \times \gamma _\nu +\frac{1}{2}i\gamma _\nu \gamma ^5\times i\gamma _\nu \gamma ^5\gamma ^5\times \gamma ^5|_{t\mathrm{channel}}.$$
(4)
As is seen from (4), there is no tensor ($`\sigma _{\nu \nu ^{}}`$) component in the $`t`$-channel expansion of the Born amplitude. From the phenomenological viewpoint we have to consider the $`A_2`$-trajectory as the even signature component of amplitude generated by the vector ($`\gamma _\nu `$) $`t`$-channel current. The $`\rho `$ and $`\omega `$-trajectories originate from the same vector ($`\gamma _\nu `$) current but with odd signature.

At the Born level, relation (4) means that the amplitudes which correspond to natural and unnatural $`t`$-channel parities (that is $`\gamma _\nu `$ and $`\gamma _\nu \gamma _5`$ or $`1`$ and $`\gamma _5`$ terms in (4) ) are degenerate. Of course, besides this amplitude, we have the interaction of quarks mediated by $`t`$-channel two (and more) gluon exchange, that is by Pomeron (and Pomeron cuts). Moreover the degeneracy between the vector and axial (corresponding to the $`\gamma _\nu \gamma _5`$ term in (4)) amplitudes may be spoiled by higher order loop corrections coming from the region of rather large distances (small quark transverse momenta $`k_t1`$ GeV), where the effects of confinement are not negligible. This point was discussed in . Contrary to the pure ”soft” Regge phenomenological approach (where intercept of the $`A_1`$-trajectory $`\alpha _{A_1}(0)0`$  is lower than that for the $`\rho `$-trajectory $`\alpha _\rho (0)0.5`$) at large scales, the effective (isovector) intercept in the axial ($`\gamma _\nu \gamma _5`$) channel is expected to be a little larger than that in the vector channel , due to the $`s`$-channel pion contribution coming from the boundary between the perturbative and $`k_t1`$ GeV confinement region .

3. Now let us consider the amplitude $`A_5`$ with pion quantum numbers in $`t`$-channel. This amplitude originates from the last ($`\gamma _5`$) term on the r.h.s. of (4). To avoid the admixture of the $`t`$-channel gluon state, we choose here the isovector component 111It is known that due to the $`\gamma _5`$-anomaly in singlet channel, an admixture of the two-gluon state alters strongly the mass and other properties of the $`\eta ^{}`$-meson.. In the Born approximation the high energy spin-flip amplitude is

$$A_5^B\left(\lambda =\frac{1}{2},\lambda ^{}=\frac{1}{2};\frac{1}{2},\frac{1}{2}\right)\alpha _s\frac{t}{s}.$$
(5)
At high orders of $`\alpha _S`$ the amplitude $`A_5^B`$ is multiplied by the same DL function $`F_{DL}^{(+)}`$ (2) for even signature exchange (or by the corresponding function $`F_{DL}^{()}`$ for odd signature exchange). Indeed let us consider the first loop diagram Fig.2a. With the help of Firz identity (4), we replace the $`\gamma _\mu \gamma _\mu `$ vertices of the upper gluon in Fig.2a by the effective $`\gamma _5`$ vertex in Fig.2b in order to select the contribution with pion quantum numbers in $`t`$-channel.

It is convenient to use the light-cone Sudakov variables

$$k_\mu =\alpha p_{A\mu }+\beta p_{B\mu }+k_{\mu t},d^4k_\mu =\frac{s}{2}d\alpha d\beta d^2k_t,s2p_Ap_B,$$
(6)
and to close the contour of the $`\alpha `$-integral on the lower gluon pole $`1/(p_Bk)^2`$. Then the loop integral reads222We consider here the ladder type loop only as the non-ladder DL correction comes from the pure classical current emission and does not depend on the spin structure of the amplitude at all.

$$C_F\frac{g^2}{16\pi ^3}\frac{d^2k_t}{k^4}\frac{sd\beta }{s\beta k_t^2}\underset{\mu =1,2}{}\overline{u}(p_B^{},\lambda ^{})\gamma _\mu ^{}\widehat{k}\gamma _5\widehat{k}^{}\gamma _\mu ^{}u(p_B,\lambda )$$
(7)
$$C_F\frac{\alpha _S}{2\pi }\frac{d\beta }{\beta }\frac{dk_t^2}{k_t^2}\overline{u}\gamma _5u,$$

where within the DL approximation we assume $`k^2k_t^2`$ and $`k_tq_t=(p_Bp_B^{})_t`$; therefore $`k_t^{}k_t`$ and $`(k^{}k)k^2`$. In addition we account for the fact that the $`s`$-channel gluon $`(p_Bk)`$ is on-mass-shell and has only two transverse polarizations $`\mu =1,2`$ (see  for more details).

The interval of the $`d\beta `$ integration is restricted by the same DL constraint $`\beta k_t^2/s`$ as that of the main (vector or axial in $`t`$-channel) component of the quark-quark amplitude . Thus the first loop correction takes the form

$$\frac{1}{2}\frac{C_F\alpha _S}{2\pi }\mathrm{ln}^2\frac{s}{|t|}=\frac{1}{2}n,$$
(8)
which is equal exactly to the corresponding term in the expansion of the DL function $`F_{DL}`$ (2). The same is valid for the DL contribution from higher loops. As was shown in , each higher DL correction does not depend on (or alter) the spin structure of the quark-quark amplitude.

There is an analogous situation for the scalar component (the first term in (4)). Within the DL approximation the scalar and pseudoscalar exchange are degenerate, just as are the vector and axial components, discussed above.

4. Thus at small distances the quark-quark QCD interaction, mediated by the $`q\overline{q}`$ pair ($`t`$-channel) exchange, contains the contributions coming from the vector, axial, scalar and pseudoscalar terms in the Born amplitude. Within the DL approximation these contributions never mix with each other. The higher $`\alpha _S`$ order DL loop corrections simply multiply each term of the Born amplitude by the same function $`F_{DL}(\sqrt{\alpha _S}\mathrm{ln}s/|t|)`$; $`F_{DL}^+`$ (or $`F_{DL}^{}`$) depending on the even (or odd) signature of the amplitude. The ’vector’ and ’axial’ components conserve the $`s`$-channel quark helicities, while the ’scalar’ and ’pseudoscalar’ components flip helicities of the incoming quarks. However these spin-flip amplitudes are suppressed at high energies by one power of $`s`$; the pion-like, pseudoscalar exchange contains an extra factor $`|t|/s`$ in comparision with the ’axial’ contribution. Recall that the ’axial’ ($`A_1`$-like) component describes the spin-spin correlation, that is the difference of the non-flip amplitudes with different helicities of the incoming quark.

Contrary to the ”soft” Regge phenomenology (where the intercepts $`\alpha _{A_1}(0)0`$, $`\alpha _\pi (0)0`$ of the $`A_1`$\- and $`\pi `$-trajectories are smaller than intercepts $`\alpha _R(0)0.5`$ of a natural parity $`\omega `$, $`\rho `$, $`A_2`$-trajectories) the perturbative QCD DL amplitudes with natural and unnatural parities are degenerate; the vector ($`\gamma _\nu `$) term is degenerate with the axial ($`\gamma _\nu \gamma _5`$) one, and the scalar term with the pseudoscalar contribution. Therefore at large scales (i.e. small distances) the high energy spin-spin correlation occurs mainly due to the perturbative QCD interaction; the non-perturbative $`A_1`$-exchange dies out with energy. On the other hand the effective intercept, $`\omega _\pi `$, of the perturbative QCD amplitude with pion $`t`$-channel quantum numbers $`\omega _\pi =\omega _01`$ is much smaller than $`\alpha _\pi (0)0`$. So, for a not too large scale, or $`|t|`$, the spin-flip (unnatural parity) quark-quark interaction should be described mainly by the non-perturbative pion Regge trajectory.

Acknowledgements
We are grateful to Prof. J. Bartels who had initiated this work. The work was supported in part by the UK Particle Physics and Astronomy Research Council and by the NATO Collaborate Linkage Grant SA (PST.CLG.976453)5437.

Figure captions

Fig.1 (a) The quark-quark, and, (b) quark-antiquark Born amplitudes. Higher loop corrections are shown in Fig.1(b) by dotted lines.
Fig2. (a) The first loop $`q\overline{q}`$-amplitude and, (b) the pseudoscalar ( $`t`$-channel) component of the amplitude .