Zeros of Hecke polynomials arising from weak eigenforms

1. Problématique et Contexte

L'article s'inscrit dans la lignée des travaux fondateurs de Rankin et Swinnerton-Dyer (1978) et d'Asai, Kaneko et Ninomiya (1997), qui ont établi que les zéros de certaines séries modulaires et polynômes associés (dits « polynômes diviseurs » ou « polynômes de Hecke ») se situent sur l'arc de cercle unité $A$ du domaine fondamental de $SL_2(\mathbb{Z})$, ou plus précisément, que leurs images par la fonction modulaire $j$ sont réelles et situées dans l'intervalle $[0, 1728]$.

Le problème central abordé par Gomez est l'extension de ce phénomène à une classe beaucoup plus large de formes : les formes de Maass harmoniques faibles (weak harmonic Maass forms). Plus spécifiquement, l'auteur étudie les formes faibles propres de Hecke ($F$) de poids $2-k$ (où $k$ est un entier pair positif) ayant des coefficients de Fourier réels. L'objectif est de définir des polynômes de Hecke $P_n(F; x)$ associés à ces formes et de démontrer que, pour $n$ suffisamment grand, tous leurs zéros sont simples et appartiennent à l'intervalle $[0, 1728]$.

Ce travail généralise les résultats précédents de Ono et Gomez (2022) qui étaient limités à une forme spécifique de poids $-10$.

2. Méthodologie

La preuve repose sur une analyse fine de l'action des opérateurs de Hecke sur l'arc $A$ et sur la décomposition des formes de Maass en séries de Poincaré.

A. Construction des Polynômes de Hecke

Pour une forme faible propre $F$ de poids $2-k$ avec son ombre (shadow) $G = \xi_{2-k}(F)$, l'auteur définit une fonction $H_n(F; \tau)$ via l'action de l'opérateur de Hecke $T_{2-k}(n)$ :
$$H_n(F; \tau) := \Delta(\tau)^{b(k-2)} \tilde{E}_{k-2}(\tau) \cdot \left( n^{k-1} F(\tau) | T_{2-k}(n) - a(n)F(\tau) \right)$$
où $a(n)$ est la valeur propre de Hecke de l'ombre $G$, $\Delta$ est le discriminant modulaire, et $\tilde{E}_{k-2}$ est une combinaison de séries d'Eisenstein.
L'auteur démontre que $H_n(F; \tau)$ est une fonction modulaire faiblement holomorphe de poids 0, ce qui implique qu'elle est un polynôme en $j(\tau)$. On note ce polynôme $P_n(F; x)$.

B. Décomposition en Séries de Poincaré de Maass

Pour analyser le comportement de $H_n(F; \tau)$ sur l'arc $A = \{ \tau \in \mathbb{H} : |\tau|=1, -1/2 \le \text{Re}(\tau) \le 0 \}$, Gomez utilise le fait que toute forme de Maass harmonique peut s'écrire comme une combinaison linéaire de séries de Poincaré de Maass ($F_{2-k, -l}$).
L'expression de $H_n(F; \tau)$ est donc réécrite comme une somme de ces séries.

C. Analyse Asymptotique et Approximation par une Onde Cosinus

La stratégie clé consiste à isoler le terme dominant dans l'expression de $H_n(F; \tau)$ lorsque $\tau = e^{i\theta}$ (avec $\theta \in [\pi/3, \pi/2]$).

1. Terme Principal : L'action de Hecke sur la série de Poincaré dominante (correspondant au terme de plus bas ordre dans le développement de Fourier de $F$) génère un terme qui se comporte asymptotiquement comme une onde cosinus amortie.
2. Contrôle de la Queue (Tail) : Les termes restants (la « queue » de la série et les autres composantes de la combinaison linéaire) sont bornés rigoureusement en utilisant :
   • Les propriétés des fonctions de Whittaker $M_{\kappa, \mu}$.
   • Les estimations des sommes de Kloosterman.
   • Les bornes de Deligne pour les coefficients des formes cuspales holomorphes.
   • Des inégalités impliquant les fonctions de Bessel $I$ et $J$.

L'auteur montre que l'écart entre la fonction normalisée $e^{\frac{2-k}{2}i\theta} e^{-2\pi mn \sin \theta} H_n^*(F; e^{i\theta})$ et la fonction cosinus modèle $f_{mn}(\theta)$ est strictement inférieur à 2 pour $n$ suffisamment grand.

3. Résultats Principaux

Théorème 1.1 (Construction et Degré)

Pour toute forme faible propre $F$ de poids $2-k$ avec des coefficients réels, il existe un polynôme unitaire $P_n(F; x) \in \mathbb{R}[x]$ de degré $m_n - b(k-2)$ tel que $P_n(F; j(\tau)) = H_n(F; \tau)$. Ici, $m$ est lié au terme dominant de $F$ et $b(k)$ est un entier dépendant de $k \pmod{12}$.

Théorème 1.2 (Localisation et Simplicité des Zéros)

Sous une condition explicite sur $n$ (de la forme $C_F n^{k-1} e^{-\pi n \sqrt{3}/2} < 1$), le polynôme $P_n(F; x)$ possède exactement $\deg(P_n)$ zéros distincts (simples) tous situés dans l'intervalle $[0, 1728]$.

• La condition sur $n$ garantit que l'approximation par l'onde cosinus est suffisamment précise pour que les zéros de la fonction modulaire correspondent aux zéros de l'onde cosinus.
• L'auteur fournit également des critères précis pour déterminer si $0$ ou $1728$ sont des zéros du polynôme, en fonction de la congruence de $k$ modulo 6 ou 4.

4. Contributions Clés

1. Généralisation aux Formes de Maass : Passage des formes modulaires holomorphes classiques (séries d'Eisenstein, formes cuspales) aux formes de Maass harmoniques faibles, un domaine beaucoup plus vaste et complexe en raison de la partie non-holomorphe.
2. Méthode Unifiée : Utilisation d'une approche basée sur les séries de Poincaré de Maass pour traiter uniformément une large classe de formes, évitant ainsi des calculs spécifiques pour chaque forme.
3. Bornes Explicites : Fourniture de constantes explicites ($C_F$) et de conditions précises sur $n$ pour assurer la localisation des zéros, rendant le résultat effectif et vérifiable.
4. Lien avec l'Ombre : Mise en évidence du rôle crucial de l'ombre (shadow) de la forme de Maass (qui est une forme modulaire holomorphe) dans la détermination des valeurs propres de Hecke et de la structure du polynôme.

5. Signification et Impact

Ce travail consolide et étend la « conjecture » implicite selon laquelle les zéros des polynômes modulaires associés aux opérateurs de Hecke tendent à se concentrer sur l'axe réel (via la fonction $j$) pour une grande variété de formes automorphes.

• Théorie des Nombres : Il renforce la compréhension de la distribution des zéros des formes automorphes, un sujet central reliant l'analyse complexe, la théorie des nombres et la physique mathématique (via les formes de Maass).
• Formes de Maass : Il ouvre la voie à l'étude des propriétés spectrales et géométriques des formes de Maass faibles, qui jouent un rôle croissant dans la théorie des formes modulaires (notamment via la correspondance de Shimura et les formes mock).
• Généralisation du Modèle : En prouvant que le phénomène observé par Rankin-Swinnerton-Dyer et Asai-Kaneko-Ninomiya n'est pas une curiosité liée aux formes holomorphes, mais une propriété structurelle plus profonde des opérateurs de Hecke agissant sur l'espace des formes faibles, l'article offre un cadre théorique robuste pour de futures recherches sur les zéros de fonctions $L$ et de polynômes modulaires.

En résumé, Kevin Gomez démontre que la géométrie des zéros des polynômes de Hecke est robuste : même dans le contexte complexe des formes de Maass harmoniques, les zéros restent confinés à l'intervalle réel $[0, 1728]$ et sont simples pour les indices $n$ élevés.