Hecke Eigenvalues of Ikeda Lifts

Résumé technique : Valeurs propres de Hecke des relèvements d'Ikeda

Énoncé du problème
L'article examine les valeurs propres de Hecke $\lambda_F(T)$ associées aux relèvements d'Ikeda, qui sont des formes de Siegel cuspidales de genre $2n$ construites à partir de formes modulaires elliptiques de genre 1. Bien qu'il soit établi que les valeurs propres de Hecke $\lambda_F(p)$ pour l'opérateur $T(p)$ sont positives pour les relèvements d'Ikeda, la positivité des valeurs propres $\lambda_F(p^r)$ pour les puissances supérieures $r \ge 1$ demeure une question non triviale. Les approches précédentes reposaient sur des relations de séries de Dirichlet impliquant la fonction $L$ de spin, en analysant spécifiquement le polynôme numérateur $P(x)$ dans le développement du facteur local. Cependant, des formules explicites pour ce numérateur ne sont connues que pour de petits genres ($n \le 4$), limitant la capacité de généraliser les résultats de positivité à un genre $n$ arbitraire. Les auteurs visent à établir la positivité de $\lambda_F(p^r)$ pour tout $n$ sans dépendre de la forme explicite du numérateur de la série de Dirichlet.

Méthodologie
Les auteurs adoptent une approche algébrique directe en calculant l'image sphérique des opérateurs de Hecke $T(p^r)$ sous l'application sphérique $\Omega$. La méthodologie se déroule comme suit :

1. Construction de l'application sphérique : L'article utilise l'application sphérique $\Omega: H_{n,p} \to \mathbb{Q}[x_0, \dots, x_n]^{W_n}$, qui applique les éléments de l'algèbre de Hecke locale sur les polynômes invariants par le groupe de Weyl. La valeur propre $\lambda_F(T)$ est obtenue en évaluant $\Omega(T)$ aux paramètres $p$-de Satake de la forme $F$.
2. Réduction au groupe linéaire général : Les auteurs relient l'application sphérique pour le groupe symplectique à celle du groupe linéaire général. Ils utilisent une formule explicite pour l'image sphérique de $T(p^r)$ dans le cas du groupe linéaire général (dérivée des représentations de l'algèbre de convolution et des fonctions symétriques) pour construire la formule symplectique.
3. Spécialisation aux relèvements d'Ikeda : L'innovation technique centrale réside dans la substitution des paramètres de Satake spécifiques d'un relèvement d'Ikeda dans la formule symplectique générale. Les paramètres de Satake du relèvement d'Ikeda $F$ sont dérivés de ceux de la forme elliptique sous-jacente $f$ (notés $a, a^{-1}$).
4. Termes s'annulant : Une étape critique consiste à analyser la somme sur le groupe symétrique $S_{2n}$ présente dans la formule générale. Les auteurs prouvent que pour les relèvements d'Ikeda, les coefficients $c(\sigma(a_1, \dots, a_{2n}))$ s'annulent pour toutes les permutations $\sigma \neq \text{id}$. Cette simplification drastique réduit la somme complexe à un seul terme correspondant à la permutation identité.
5. Analyse polynomiale : La formule explicite résultante pour $\lambda_F(p^r)$ est exprimée comme un polynôme en $p^{\pm 1/2}$. Les auteurs analysent les coefficients de ce polynôme, établissant des bornes sur leur magnitude et identifiant le terme dominant.

Contributions et résultats clés

• Formule explicite : L'article dérive une expression en forme close pour les valeurs propres de Hecke $\lambda_F(p^r)$ d'un relèvement d'Ikeda $F \in S_{k+n}(\Gamma_{2n})$ en fonction des paramètres de Satake $a, a^{-1}$ de la forme elliptique génératrice $f$.
  $$\lambda_F(p^r) = p^{r(nk - \frac{n}{2})} \sum_{0 \le \delta_1 \le \dots \le \delta_{2n} \le r} a^{-nr + \sum \delta_i} p^{\sum (-n-\frac{1}{2}+i)\delta_i} \frac{\phi_{2n}(p^{-1})}{\phi_{k_1}(p^{-1})\dots\phi_{k_t}(p^{-1})}$$
  où $\phi_m$ sont des polynômes spécifiques liés à la structure de l'algèbre de Hecke.

• Positivité pour les grands nombres premiers : En analysant la structure polynomiale, les auteurs prouvent que $\lambda_F(p^r)$ peut être écrit comme un polynôme en $p^{1/2}$ à coefficients entiers dans $\mathbb{Z}[a, a^{-1}]$. Ils démontrent que le coefficient dominant est 1 et que les coefficients restants sont bornés. Par conséquent, pour tout $r \ge 1$ fixé, la valeur propre $\lambda_F(p^r)$ est strictement positive pour tous les nombres premiers $p$ suffisamment grands.

• Borne inférieure explicite : L'article fournit une borne inférieure concrète pour les nombres premiers $p$ garantissant la positivité. Spécifiquement, $\lambda_F(p^r) > 0$ pour tous :
  $$p > \left( 4n \left( 2rn^2 + 2n(2n-1) \right) \right)^2$$
  Cette borne est dérivée des estimations précises des coefficients polynomiaux obtenues dans la Proposition 3.

Signification
L'article revendique une importance en fournissant une méthode pour déterminer la positivité des valeurs propres de Hecke pour les relèvements d'Ikeda de genre arbitraire sans dépendre de la connaissance explicite du polynôme numérateur dans la série de Dirichlet de la fonction $L$ de spin. Cela contourne la limitation des résultats précédents qui étaient restreints au genre $n \le 4$. Le résultat généralise le théorème de Breulmann (qui reliait la positivité des valeurs propres au relèvement de Saito-Kurokawa pour le genre 2) à la classe plus large des relèvements d'Ikeda pour tout genre $2n$. Le travail établit que, de manière similaire au cas de genre 2, les valeurs propres de Hecke des relèvements d'Ikeda sont positives pour les grands nombres premiers, offrant des preuves supplémentaires concernant les propriétés arithmétiques de ces relèvements.