The unramified computation of a Shimura integral for $\mathrm{SL}(2)\times \mathrm{GL}(2)$

Résumé technique : Le calcul non ramifié d'une intégrale de Shimura pour $SL(2) \times GL(2)$

Énoncé du problème
Cet article traite du calcul local non ramifié d'une intégrale spécifique de type Rankin-Selberg de type Shimura, initialement construite par Ginzburg, Rallis et Soudry [4]. L'intégrale représente la fonction $L$ de produit tensoriel partiel pour une paire de représentations cuspidales génériques automorphes irréductibles : l'une de $SL_2$ et l'autre de $GL_2$. Les auteurs se concentrent spécifólnie sur le cas de faible rang où le rang symplectique est $n=1$ et le rang linéaire général est $k=2$. L'intégrale globale, après dépliement, se réduit à une intégrale locale impliquant une fonction de Whittaker pour $SL_2$, une série theta associée à la représentation de Weil, et une série d'Eisenstein de Siegel sur le double recouvrement métaplectique de $Sp_4$. L'objectif est de prouver que cette intégrale locale est égale au rapport des fonctions $L$ :
$$\frac{L(\pi_\nu \times \tau_\nu, s + 1/2)}{L(\tau_\nu, \text{Sym}^2, 2s + 1)}$$
où $\pi_\nu$ est une représentation non ramifiée de $SL_2(F)$ et $\tau_\nu$ est une représentation non ramifiée de $GL_2(F)$.

Méthodologie
L'article fournit une preuve directe et « intrinsèque » du calcul non ramifié, distincte de l'approche utilisée dans le travail original [4].

• Évitement des équations fonctionnelles : Contrairement à la preuve dans [4], qui repose sur l'équation fonctionnelle locale pour $GL_n \times GL_k$ (développée dans [9]), cet article évite entièrement une telle machinerie.
• Recours aux formules de Casselman-Shalika : Le cœur de la méthode utilise les formules de Casselman-Shalika pour les fonctions de Whittaker non ramifiées sur $SL_2$ et $GL_2$ (Lemme 3.2).
• Dépliement et intégration explicites : Les auteurs effectuent un calcul explicite de l'intégrale locale en :
  1. Utilisant la décomposition d'Iwasawa pour $SL_2(F)$.
  2. Appliquant la représentation de Weil $\omega_\psi$ du produit semi-direct $\widetilde{SL_2} \ltimes H$ (où $H$ est le groupe de Heisenberg) à la fonction de Schwartz.
  3. Décomposant le domaine d'intégration sur les variables du groupe de Heisenberg en parties non ramifiées ($OF$) et ramifiées ($F \setminus OF$).
  4. Évaluant les intégrales résultantes en utilisant les propriétés du facteur de Weil $\gamma_\psi$ et des sommes de caractères, prouvant spécifiquement que certains termes d'ordre supérieur s'annulent (Lemme 3.5).
• Sommation de séries : Le résultat final est obtenu en sommant les séries géométriques résultantes, qui sont identifiées aux fonctions génératrices des polynômes symétriques complets homogènes, permettant ainsi de retrouver la forme explicite des fonctions $L$.

Contributions clés et résultats

• Théorème 3.1 : L'article établit que pour des données non ramifiées et $\text{Re}(s) \gg 0$, l'intégrale locale $I(W^0_\pi, \Phi^0, \tilde{f}^0_{W(\tau, \psi_2), s})$ converge absolument et est égale au rapport $\frac{L(\pi \times \tau, s + 1/2)}{L(\tau, \text{Sym}^2, 2s + 1)}$.
• Correction d'isomorphisme : Les auteurs notent une différence dans l'isomorphisme entre le groupe unipotent $N_Q$ et le groupe de Heisenberg $H$ par rapport à [4]. Cette différence entraîne l'apparition de la section $\tilde{f}_{W(\tau, \psi_2), s}$ (impliquant le caractère $\psi_2(x) = \psi(2x)$) plutôt que $\tilde{f}_{W(\tau, \psi), s}$ dans l'intégrale dépliée.
• Calcul direct : La preuve démontre que pour le cas $n = k-1$ (ici $1 = 2-1$), l'intégration unipotente qui complique typiquement le cas général $n < k$ est absente. Cela permet un calcul direct qui reflète les techniques utilisées pour les cas de rang pair, sans nécessiter la lourde machinerie des équations fonctionnelles pour les groupes linéaires généraux.

Signification et prétentions
L'article affirme offrir une preuve « différente et plus intrinsèque » du calcul non ramifié pour cette intégrale de Shimura spécifique. En contournant l'équation fonctionnelle locale pour les groupes linéaires généraux, les auteurs visent à fournir un calcul qui repose uniquement sur les propriétés de la théorie des représentations des groupes concernés (spécifiquement les formules de Casselman-Shalika).

Les auteurs déclarent modestement que, bien qu'ils ne traitent que le cas de faible rang $n=1, k=2$, ils espèrent que ce calcul pourra « éclairer les techniques pour le calcul direct non ramifié » dans des contextes plus généraux. Ils reconnaissent que des calculs directs similaires pour les groupes orthogonaux ont été réalisés par Kaplan [10, 11], mais soulignent que leur travail évite les équations fonctionnelles utilisées dans la preuve originale de $SL_2 \times GL_2$ par Ginzburg, Rallis et Soudry. Le papier ne propose pas de nouvelles applications ou d'extensions futures au-delà de la portée de ce calcul de preuve spécifique.