The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

1. Énoncé du problème

L'article traite de la conjecture locale de Gross–Prasad (GP) pour les groupes réductifs réels, en se concentrant spécifiquement sur la dichotomie epsilon (Partie 2) pour les paramètres L locaux tempérés.

• Contexte : Soit $F = \mathbb{R}$. Considérons une paire d'espaces quadratiques non dégénérés $(W, V)$ sur $\mathbb{R}$ avec $W \subset V$ et $W^\perp$ déployé de dimension impaire. Soit $G = SO(W) \times SO(V)$ et $H = SO(W) \ltimes N$ (où $N$ est le radical unipotent). Pour une représentation admissible irréductible $\pi$ de $G(\mathbb{R})$, la multiplicité est définie par $m(\pi) = \dim \text{Hom}_{H(\mathbb{R})}(\pi, \xi)$, où $\xi$ est un caractère générique.
• La Conjecture : La conjecture GP prédit que pour un paramètre L local générique $\phi$, la somme des multiplicités sur le paquet L de Vogan pertinent est égale à 1 (Partie 1), et elle identifie quelle représentation spécifique du paquet a une multiplicité égale à 1, basée sur un caractère $\chi_\phi$ (Partie 2, la dichotomie epsilon).
• État des lieux :
  • La Partie 1 (Somme des multiplicités) a été prouvée pour les paramètres tempérés sur $\mathbb{R}$ par le second auteur (Luo) dans [Luo21].
  • La Partie 2 (Dichotomie epsilon) était connue pour les corps $p$-adiques (Waldspurger) et pour les corps complexes, mais restait ouverte pour les paramètres tempérés sur $\mathbb{R}$.
• Objectif : Prouver que pour les paramètres L locaux tempérés sur $\mathbb{R}$, la représentation unique $\pi_\phi$ telle que $m(\pi_\phi)=1$ satisfait la relation de caractère $\chi_{\pi_\phi} = \chi_\phi$.

2. Méthodologie

Les auteurs suivent la stratégie établie par Waldspurger pour le cas $p$-adique ([Wal12b]), en l'adaptant au contexte archimédien. La preuve procède par une réduction en trois étapes :

A. Réduction à la parité bonne

En utilisant les résultats de [MR20] et [Ren24], les auteurs réduisent le cas général tempéré aux paramètres de bonne parité.

• Mécanisme : Ils décomposent la représentation standard du paramètre L en composantes de « bonne parité » (type O) et de « mauvaise parité » (type Sp et type GL).
• Résultat : L'induction parabolique établit une bijection entre les paquets L du groupe complet et du groupe restreint à la partie de bonne parité, préservant les multiplicités et les nombres de racines. Cela réduit le problème aux paramètres dont l'image ne contient que des constituants irréductibles de type O.

B. Réduction endoscopique

Pour les paramètres de bonne parité, les auteurs appliquent l'endoscopie ordinaire pour réduire le problème à des cas où le groupe de composantes $S_\phi$ est petit (trivial ou $\mathbb{Z}/2\mathbb{Z}$).

• Stratégie : Pour un élément $s \in S_\phi$, ils relient la multiplicité sur $G$ aux multiplicités géométriques stables sur les groupes endoscopiques $G^s = SO(V^+) \times SO(V^-) \times SO(W^+) \times SO(W^-)$.
• Identité clé : Ils visent à prouver l'identité :
  $$\sum_{\pi \in \Pi_{rel}} \chi_\pi(s) m(\pi) = \chi_\phi(s)$$
  Celle-ci est transformée en une identité impliquant des multiplicités géométriques stables ($m^S_{geom}$).

C. Modifications archimédiennes (La contribution technique centrale)

La preuve $p$-adique repose sur l'endoscopie tordue et des lemmes spécifiques qui ne se traduisent pas directement sur $\mathbb{R}$. Les auteurs introduisent deux modifications critiques :

1. Organisation du signe de Kottwitz : Contrairement au cas $p$-adique (où il existe peu de formes intérieures), $\mathbb{R}$ possède de nombreuses formes intérieures pures. Les auteurs organisent l'union des classes de conjugaison semi-simples régulières sur les formes intérieures pures en fixant le signe de Kottwitz $e(G_\alpha)$. Ils prouvent la Proposition 3.2.4, décrivant explicitement l'union de ces classes en termes des données du paramètre.
2. Formule de multiplicité géométrique et germes : La preuve nécessite de retrouver le « germe » d'un caractère de distribution à partir du caractère lui-même.
   • Dans le cas $p$-adique, cela reposait sur une conjecture de Waldspurger.
   • Sur $\mathbb{R}$, les auteurs prouvent le Lemme 4.2.2, un analogue archimédien de [Wal10b, Lem. 13.4 (ii)], en utilisant la formule de Rossmann [Ros78] pour les intégrales orbitales. Cela leur permet d'exprimer le germe $c_\Theta(x)$ comme une limite du quasi-caractère $\Theta$.
   • Ils établissent le Corollaire 4.2.3, reliant la multiplicité géométrique stable à la multiplicité stable.

D. Vérification des cas de base

Après les réductions, le problème est ramené à des « cas de base » où le paramètre L est soit irréductible, soit une somme d'une représentation irréductible et de son contragrédient (par exemple, $SO(2,2) \times SO(2,1)$).

• Les auteurs vérifient directement ces cas de faible rang en utilisant la correspondance theta et les coïncidences de faible rang (par exemple, $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$).
• Ils utilisent des paires duales see-saw et la préservation de la généricité sous la correspondance theta pour montrer que l'élément distingué est bien l'élément générique.

3. Contributions clés

1. Preuve de la dichotomie epsilon sur $\mathbb{R}$ : L'article complète la preuve de la conjecture locale de Gross–Prasad pour les paramètres tempérés sur les nombres réels, résolvant le dernier cas ouvert de la conjecture dans le contexte archimédien.
2. Formule de multiplicité géométrique archimédienne : Les auteurs adaptent avec succès la formule de multiplicité géométrique de Waldspurger au cas réel. Cela implique :
   • La preuve de l'analogue archimédien du lemme crucial concernant les valeurs spéciales des intégrales orbitales (Lemme 4.2.2) en utilisant la formule de Rossmann.
   • L'établissement de la relation entre les multiplicités géométriques stables et les multiplicités stables (Corollaire 5.3.6).
3. Paramétrisation des formes intérieures : Ils fournissent une description précise (Proposition 3.2.4) de l'union des classes de conjugaison semi-simples régulières sur les formes intérieures pures avec un signe de Kottwitz fixe, une étape nécessaire pour gérer l'ensemble plus large de formes intérieures dans $\mathbb{R}$ par rapport aux corps $p$-adiques.
4. Réduction endoscopique sur $\mathbb{R}$ : Ils démontrent que la stratégie de réduction endoscopique, précédemment réussie dans le cas $p$-adique, peut être adaptée avec succès à $\mathbb{R}$ sans endoscopie tordue, à condition que les entrées géométriques soient correctement traitées.

4. Résultats principaux

• Théorème 1.0.2 / Théorème 2.3.2 : Sur $\mathbb{R}$, la Partie (2) de la conjecture locale de Gross–Prasad vaut pour les paramètres L locaux tempérés. Plus précisément, si $\pi_\phi$ est la représentation unique dans le paquet L de Vogan pertinent ayant une multiplicité 1, alors son caractère $\chi_{\pi_\phi}$ sur le groupe de composantes $S_\phi$ coïncide avec le caractère explicite $\chi_\phi$ défini par Gross et Prasad.
• Proposition 3.2.4 : Une classification de l'union des classes de conjugaison semi-simples régulières sur les formes intérieures pures avec un signe de Kottwitz fixe.
• Lemme 4.2.2 et Corollaire 4.2.3 : La dérivation du germe d'un caractère de distribution à partir du caractère lui-même dans le contexte archimédien, permettant l'utilisation de la formule de multiplicité géométrique.
• Proposition 5.3.4 : L'identité endoscopique reliant la somme des multiplicités pondérées par les caractères au produit des multiplicités géométriques stables sur les groupes endoscopiques.

5. Importance

• Achèvement de la conjecture GP : Ce travail, combiné aux résultats antérieurs (Luo [Luo21] pour la Partie 1, Chen [Che21] pour la réduction générique, et Waldspurger pour le cas $p$-adique), établit la conjecture locale de Gross–Prasad complète pour les représentations tempérées sur $\mathbb{R}$ et $\mathbb{C}$.
• Pont entre $p$-adique et archimédien : L'article démontre que les résultats structurels profonds du programme de Langlands (spécifiquement l'endoscopie et la conjecture de Gross–Prasad) valent uniformément sur les corps locaux, malgré les différences techniques significatives en analyse harmonique (intégrales orbitales, formules de caractères) entre les corps $p$-adiques et réels.
• Avancement méthodologique : L'application réussie de la formule de Rossmann pour résoudre le problème du « germe » dans le cas réel fournit un modèle pour traiter des problèmes similaires de multiplicité géométrique dans d'autres contextes archimédiens où les outils combinatoires $p$-adiques échouent.
• Fondement pour les travaux futurs : Les techniques développées ici, en particulier le traitement des signes de Kottwitz et des multiplicités géométriques stables sur $\mathbb{R}$, sont essentielles pour étendre ces résultats aux paramètres génériques (non tempérés) et pour de nouvelles investigations sur la conjecture globale de Gross–Prasad.