Howe duality for the dual pair $SL_2(\mathbb R) \times F_{4,1}$: a ping-pong of $K$-types

1. Énoncé du problème

L'article traite de la dualité de Howe (correspondance de theta) pour une paire duale exceptionnelle dans le contexte des groupes de Lie réels. Plus précisément, il examine la restriction d'une représentation minimale (holomorphe) $\Pi$ du groupe exceptionnel $G(J)$ (de type $E_7$) à la paire duale :
$$SL_2(\mathbb{R}) \times G \subset G(J)$$
où :

• $G(J)$ est le groupe simplement connexe de type $E_7$ de rang réel 3, construit via la construction de Koecher-Tits à partir de l'algèbre de Jordan exceptionnelle $J$ (matrices hermitiennes 3x3 sur les octonions réels).
• $G = \text{Aut}(J, e)$ est le groupe des automorphismes de l'algèbre de Jordan fixant un élément spécifique $e$. Pour le choix de $e$ correspondant à la signature $(+, -, +)$, $G$ est une forme réelle non compacte de type $F_4$ (spécifiquement $F_{4,1}$, de rang scindé 1).
• La paire duale est analogue à la paire classique $SL_2(\mathbb{R}) \times O(p, q)$ dans $Sp_{2n}(\mathbb{R})$.

Le défi central : Alors que la dualité de Howe avait été établie précédemment pour le cas où $G$ est compact (conduisant à une décomposition en séries discrètes holomorphes), cet article vise à prouver la dualité pour le cas non compact. L'objectif est de montrer que pour les modules irréductibles $\sigma$ de $SL_2(\mathbb{R})$ et $\pi$ de $G$, les relèvements de theta $\Theta(\sigma)$ et $\Theta(\pi)$ sont non nuls, de longueur finie, et possèdent des quotients irréductibles uniques qui correspondent bijectivement.

2. Méthodologie

L'auteur emploie une stratégie basée sur l'analyse des K-types et les identités See-Saw, évitant la construction directe de représentations continues pour privilégier le travail avec les modules $(\mathfrak{g}, K)$.

A. La stratégie « Ping-Pong »

L'innovation méthodologique centrale est un argument de « ping-pong » impliquant les types (représentations irréductibles des sous-groupes compacts maximaux) des modules.

1. Identité See-Saw : L'article utilise un diagramme see-saw au sein de $G(J)$ impliquant un sous-groupe $H$ de type $E_6$. Cela permet à l'auteur de relier la multiplicité d'un K-type dans un relèvement à la multiplicité d'un type $SO(2)$ dans le relèvement dual.
   $$\text{Hom}_K(\Theta(\sigma), \tau) \cong \text{Hom}_{SL_2}(\Theta(\tau), \sigma)$$
2. Relèvements explicites de types : L'auteur calcule explicitement les relèvements de theta de K-types spécifiques ($\tau(m,n)$) et de types $SO(2)$($2m+4$).
   • Le relèvement d'un K-type $\tau(m,n)$ est montré être un module induit spécifique sur $SL_2$.
   • Le relèvement d'un type $SO(2)$ est montré être un quotient d'un module de Verma généralisé.
3. Chaînes d'inclusion : En établissant que le relèvement de theta d'un module avec un type « minimal » ne contient que des types spécifiques, l'auteur construit des chaînes d'inclusions entre les espaces Hom. Si les dimensions des extrémités de ces chaînes correspondent, tous les morphismes intermédiaires sont des isomorphismes, prouvant l'unicité et l'existence.

B. Cadre algébrique

• Modules : Le travail est mené dans la catégorie des modules $(\mathfrak{g}, K)$ et des modules $(\mathfrak{sl}_2, SO(2))$ de longueur finie.
• Définition du relèvement de theta : Pour un module $\pi$, $\Theta(\pi) = (\Pi \otimes \pi^\vee)_{\mathfrak{g}}$ (co-invariants).
• Caractères infinitésimaux : La correspondance est vérifiée pour préserver les caractères infinitésimaux, en mappant le caractère d'une représentation $SL_2$ vers un caractère spécifique dans le système de racines $F_4$.

3. Contributions clés

1. Calcul explicite des relèvements de types

L'article fournit des formules précises pour les relèvements de theta de types spécifiques, qui servent de « coups » fondamentaux dans le jeu de ping-pong :

• Proposition 3.1 : Le relèvement d'un K-type $\tau(m, n)$ (poids maximal $m\lambda + n\mu$) est isomorphe à :
  $$\Theta(\tau(m, n)) \cong U(\mathfrak{sl}_2) \otimes_{U(\mathfrak{so}(2))} (2m + 4)$$
  Cela identifie le relèvement comme un module généré par le caractère $2m+4$ de $SO(2)$.
• Proposition 3.2 : Le relèvement d'un caractère $SO(2)$ $(2m+4)$ est un quotient d'un module de Verma généralisé induit à partir d'un module $K$ de dimension finie $F_m$, où $F_m$ est une somme directe de K-types spécifiques $\tau(k, 0)$.

2. Preuve de la longueur finie et de l'admissibilité

L'auteur prouve que pour tout module de longueur finie $\sigma$ (resp. $\pi$), le relèvement de theta $\Theta(\sigma)$ (resp. $\Theta(\pi)$) est admissible et de longueur finie. Cela est réalisé en montrant que les relèvements sont annihilés par des idéaux de codimension finie dans le centre de l'algèbre enveloppante universelle.

3. Le théorème principal de dualité (Théorème 2.4)

L'article établit une bijection entre les représentations irréductibles de la paire duale basée sur leurs types « minimaux » :

• Sens direct : Si $\sigma$ est un module $(\mathfrak{sl}_2, SO(2))$ irréductible contenant le type $(2m+4)$ mais aucun type plus petit $(2n+4)$, alors $\Theta(\sigma)$ possède un quotient irréductible unique. Ce quotient contient le K-type $\tau(m, 0)$ avec multiplicité un et aucun type $\tau(n, 0)$ pour $n < m$.
• Sens inverse : Réciproquement, si $\pi$ est un module $(\mathfrak{g}, K)$ irréductible contenant $\tau(m, 0)$ mais aucun type plus petit de ce type, alors $\Theta(\pi)$ possède un quotient irréductible unique contenant le type $(2m+4)$ et aucun type plus petit.

4. Résultats

• Existence et unicité : La correspondance de theta pour la paire $SL_2(\mathbb{R}) \times F_{4,1}$ est bien définie pour les modules irréductibles, produisant des quotients irréductibles uniques.
• Propriété sans multiplicité : Les quotients irréductibles résultants ont des K-types sans multiplicité.
• Classification : La correspondance est entièrement déterminée par le K-type « minimal » (ou le type $SO(2)$) de la représentation. La application préserve l'ordre de ces types.
• Structure du relèvement : Le relèvement d'une représentation n'est pas seulement une existence abstraite ; sa structure est décrite explicitement en termes de modules induits et de sommes de K-types spécifiques.

5. Importance

• Extension aux groupes exceptionnels : Ce travail étend la théorie de la dualité de Howe des groupes classiques (comme $Sp_{2n}$ et $O(p,q)$) et des cas exceptionnels compacts à la forme réelle exceptionnelle non compacte $F_{4,1}$.
• Avancement méthodologique : La technique de « ping-pong » utilisant les K-types et les identités see-saw fournit une alternative algébrique robuste aux méthodes analytiques pour prouver la dualité dans des contextes exceptionnels complexes. Elle démontre que des résultats structurels profonds peuvent être obtenus en analysant la combinatoire des K-types et des caractères infinitésimaux.
• Fondement pour la théorie globale : Puisque la représentation minimale $\Pi$ apparaît comme une composante locale d'une représentation globale, l'établissement de la dualité de Howe locale est une étape cruciale pour comprendre la correspondance de theta globale pour les groupes exceptionnels, ce qui a des implications pour les formes automorphes et le programme de Langlands.
• Résolution du cas « rang scindé un » : L'article traite spécifiquement le cas où $G$ a un rang scindé un, un scénario souvent plus subtil que le cas compact en raison de la présence de séries continues et de représentations non unitaires, pourtant l'approche algébrique par modules $(\mathfrak{g}, K)$ navigue avec succès dans ces complexités.

En résumé, l'article de Savin fournit une preuve algébrique rigoureuse de la dualité de Howe pour la paire $SL_2(\mathbb{R}) \times F_{4,1}$, utilisant un argument novateur de « ping-pong » sur les K-types pour établir une correspondance précise et sans multiplicité entre les représentations irréductibles des deux groupes.