On Arthur packets containing a fixed tempered representation

1. Contexte et Problématique

Contexte :
Le travail s'inscrit dans le cadre du programme de Langlands local pour les groupes $p$-adiques. Plus spécifiquement, il traite de la correspondance de Langlands locale établie par Arthur pour les groupes classiques ($Sp_{2n}$, $SO_{2n+1}$, $O_{2n}$). Une notion centrale est celle des paquets d'Arthur locaux ($\Pi_\psi$), qui sont des ensembles finis de représentations irréductibles unitaires associées à un paramètre d'Arthur $\psi$.

Le Problème (Problème 1.1) :
Étant donné une représentation tempérée irréductible fixe $\pi$ d'un groupe $p$-adique $G_n$, déterminer le nombre de paquets d'Arthur locaux distincts qui contiennent $\pi$.

• Ce problème est crucial car la compréhension des intersections de ces paquets est nécessaire pour des applications théoriques, notamment dans la conjecture de Gan-Gross-Prasad et l'étude des relevés theta (theta lifts).
• Bien que le cas des représentations supercuspidales soit résolu (Mœglin), le cas général des représentations tempérées reste complexe en raison des intersections non triviales entre les paquets d'Arthur.

2. Méthodologie et Outils Théoriques

Les auteurs utilisent une approche combinatoire basée sur la paramétrisation des paquets d'Arthur via les multi-segments étendus (extended multi-segments).

• Paramétrisation par multi-segments : Les paquets d'Arthur de bonne parité sont paramétrés par des ensembles de segments étendus $E = \{([A_i, B_i]_\rho, l_i, \eta_i)\}$. Une représentation $\pi(E)$ est associée à chaque multi-segment.
• Opérateurs d'intersection : La théorie des intersections de paquets d'Arthur (développée dans [11, 12]) montre que deux multi-segments $E$ et $E'$ donnent la même représentation $\pi(E) = \pi(E')$ s'ils sont reliés par une composition finie d'opérateurs spécifiques :
  • Échanges de lignes ($R_k$).
  • Opérateurs d'union-intersection ($u_{i}$).
  • Opérateurs de dualité ($dual$) et leurs compositions ($dual \circ u_i \circ dual$).
• Réduction aux blocs : L'apport majeur de la méthodologie est la décomposition d'un multi-segment étendu tempéré $E$ (supporté dans les entiers) en blocs disjoints (Définition 3.3). Ces blocs sont des sous-ensembles maximaux de lignes satisfaisant des conditions de parité et de signe alterné.
• Opérateurs de relèvement (Raising Operators) : Les auteurs définissent un ordre partiel sur les paramètres d'Arthur via des opérateurs de relèvement. Le problème de compter les paquets contenant $\pi$ se réduit à compter le nombre de multi-segments équivalents (sous l'action de ces opérateurs) à un multi-segment donné.

3. Contributions Clés et Résultats Principaux

Le papier se concentre sur le cas où le multi-segment est supporté dans les entiers (integral extended multi-segments).

A. Décomposition en Blocs (Théorème 3.7)

Les auteurs établissent que le nombre de paquets d'Arthur contenant une représentation tempérée $\pi$ (associée à un multi-segment $E$) se factorise selon la décomposition de $E$ en blocs $B_1, \dots, B_k$.
La formule principale est :
$$|\Psi(\pi(E))| = |\Psi(\pi(B_1))| \cdot \prod_{i=2}^{k} |\Psi(\pi(sh_1(B_i)))|$$
Où $sh_1$ désigne un opérateur de décalage (shift) qui traite les blocs suivants le premier comme s'ils ne commençaient pas à zéro. Cela réduit le problème global au calcul du nombre de paquets pour un bloc unique.

B. Comptage pour les Blocs (Théorème 3.6)

Pour un bloc $B$, les auteurs fournissent une formule récursive pour déterminer $|\Psi(\pi(B))|$ en fonction des multiplicités des colonnes ($m_c$) et des blocs réduits ($B'$, $B''$) obtenus par suppression de colonnes.

• Cas commençant à 0 ($c_{min}=0$) :
  • Si la multiplicité de la colonne $c_{max}-1$ est 1 : $|\Psi(\pi(B))| = 3 \cdot |\Psi(\pi(B'))|$.
  • Si la multiplicité est impaire $\ge 3$ : $|\Psi(\pi(B))| = 4 \cdot |\Psi(\pi(B'))| - |\Psi(\pi(B''))|$.
• Cas ne commençant pas à 0 ($c_{min} > 0$) :
  • Si la multiplicité est 1 : $|\Psi(\pi(B))| = 2 \cdot |\Psi(\pi(B'))|$.
  • Si la multiplicité est impaire $\ge 3$ : $|\Psi(\pi(B))| = 3 \cdot |\Psi(\pi(B'))| - |\Psi(\pi(B''))|$.

C. Classification Combinatoire (Sections 5 et 6)

Pour prouver ces formules, les auteurs classifient exhaustivement les multi-segments virtuels équivalents à un bloc donné. Ils introduisent la notion de multi-segments de type YM (basés sur des données $S$ et $T$) qui capturent toute la structure combinatoire nécessaire.

• Ils définissent des opérateurs fondamentaux sur ces structures : séparation ($S$), fusion de chapeaux ($M$), décalage ($U$) et dualisation ($D$).
• Ils démontrent que l'ensemble des paramètres d'Arthur équivalents correspond bijectivement à l'ensemble des données $S$ valides pour un tuple de multiplicités donné.
• Ils prouvent l'indépendance des blocs (Proposition 7.13) : les opérations de relèvement sur un bloc ne peuvent pas affecter les autres blocs d'une décomposition, ce qui justifie la factorisation du comptage.

4. Signification et Implications

• Résolution partielle du Problème 1.1 : Le papier fournit une solution complète et algorithmique pour le cas des représentations tempérées dont les multi-segments associés sont supportés dans les entiers.
• Généralisation des résultats de Mœglin : Ce résultat généralise le cas des représentations supercuspidales (où le nombre de paquets est maximal) à une classe beaucoup plus large de représentations tempérées.
• Applications Futures :
  • Les auteurs mentionnent que ces résultats seront utilisés dans un article à paraître ([10]) pour étudier le nombre de paquets d'Arthur contenant le relevé theta (theta lift) d'une représentation tempérée vers la première occurrence de la tour "going-up".
  • La méthode ouvre la voie à la résolution du cas des demi-entiers (half-integers), bien que cela nécessite des opérateurs supplémentaires (comme la dualité partielle) non présents dans le cas entier.
• Impact Théorique : La décomposition en blocs et la formule de comptage récursive offrent un outil puissant pour analyser la structure fine des paquets d'Arthur, essentielle pour comprendre les multiplicités dans les conjectures de Gan-Gross-Prasad non tempérées.

En résumé, ce travail transforme un problème profond de théorie des représentations en un problème combinatoire structuré, fournissant des formules explicites et récursives pour compter les intersections de paquets d'Arthur pour une large classe de représentations tempérées.