Correlations of zeros of a family of $L$-functions in function fields with symplectic symmetry

Résumé Technique : Corrélations des Zéros d'une Famille de Fonctions L dans les Corps de Fonctions avec Symétrie Symplectique

Énoncé du Problème
Le papier traite de la distribution statistique des zéros des fonctions $L$ dans le cadre des corps de fonctions, en se concentrant spécifiquement sur la densité à $n$-niveaux des zéros pour des familles de fonctions $L de Dirichlet quadratiques. Bien que la connexion entre les zéros des fonctions $L$ et la théorie des matrices aléatoires (RMT) soit bien établie pour les termes principaux, le calcul précis des termes d'ordre inférieur et des corrélations à niveaux supérieurs ($n > 1$) demeure un défi complexe. Les auteurs visent à adapter la méthodologie développée par Mason et Snaith — initialement formulée pour les corps de nombres — au contexte des corps de fonctions sur $\mathbb{F}_q[T]$. Les familles spécifiques étudiées sont :

1. Les fonctions $L$ de Dirichlet quadratiques associées à des polynômes moniques sans carré de degré $2g+1$ (courbes hyperelliptiques de genre $g$).
2. Les fonctions $L$ associées aux caractères premiers (polynômes irréductibles moniques de degré $2g+1$).
   L'objectif est de dériver des formules explicites et conjecturales pour la densité à $n$-niveaux des zéros dans ces familles, étendant ainsi les travaux précédents qui étaient largement limités à la densité à 1-niveau.

Méthodologie
Les auteurs emploient le cadre de la « Conjecture des Rapports » (Ratios Conjecture), adapté des travaux de Conrey, Farmer, Zirnbauer et Snaith, et plus précisément de la reformulation de type théorie des ensembles introduite par Mason et Snaith. Les étapes méthodologiques centrales sont les suivantes :

1. Reformulation de type Théorie des Ensembles : Les auteurs réécrivent la Conjecture des Rapports pour les fonctions $L$ de Dirichlet quadratiques (initialement proposée par Andrade et Keating) en utilisant la notation d'ensemble. Ils définissent des ensembles de décalages $A = \{\alpha_1, \dots, \alpha_K\}$ et $B = \{\gamma_1, \dots, \gamma_Q\}$ et expriment la moyenne des rapports de fonctions $L$ comme une somme sur les sous-ensembles $D \subseteq A$. Cette formulation implique des produits d'Euler et des fonctions zeta associées à l'anneau des polynômes, notées $\zeta_A(s)$.
2. Différentiation : Pour passer des rapports aux densités, les auteurs différencient la formule du rapport conjectural par rapport aux décalages. En posant $B=A$ et en différenciant, ils dérivent une expression pour la moyenne des produits des dérivées logarithmiques des fonctions $L$ ($L'/L$). Ce processus utilise le Lemme 5.1 (de la thèse de Mason) pour gérer la différenciation des sommes exponentielles sur les partitions d'ensembles.
3. Analyse des Résidus : Le papier analyse les pôles des expressions résultantes. En utilisant l'équation fonctionnelle des fonctions $L$ et les propriétés de $\zeta_A(s)$, les auteurs calculent les résidus aux pôles spécifiques (où les décalages somment à zéro). Cela conduit à une structure récursive pour la densité à $n$-niveaux, permettant la réduction des corrélations à $n$-points en termes d'ordres inférieurs.
4. Intégration par Contour : Les auteurs appliquent le théorème des résidus de Cauchy pour déplacer les contours d'intégration de la ligne critique vers l'axe imaginaire. Ils démontrent que les singularités de l'intégrande s'annulent de manière appropriée, permettant de dériver une formule intégrale finale pour la densité à $n$-niveaux.

Contributions Clés et Résultats
Le papier présente les résultats principaux suivants :

• Conjecture 3.1 : Une reformulation de type théorie des ensembles de la Conjecture des Rapports pour la famille des fonctions $L$ de Dirichlet quadratiques sur les corps de fonctions. Cela fournit une expression compacte de la moyenne des rapports de fonctions $L$ impliquant des produits d'Euler et des combinaisons spécifiques de fonctions zeta.
• Théorèmes 3.2 & 3.3 : Des formules pour les rapports différenciés et les résidus des expressions résultantes. Ces théorèmes établissent les relations récursives nécessaires pour calculer les corrélations d'ordre supérieur.
• Théorème 3.4 : Le résultat principal, fournissant une formule conjecturale explicite pour la densité à $n$-niveaux des zéros pour la famille des fonctions $L$ de Dirichlet quadratiques associées aux courbes hyperelliptiques. La formule exprime la densité comme une somme sur les partitions de l'ensemble $\{1, \dots, n\}$, impliquant des intégrales de la fonction de rapport différenciée $J^*_{DL}$ contre une fonction de test $f$.
• Théorème 3.5 : Une extension de la formule de densité à $n$-niveaux à la famille des fonctions $L$ associées aux caractères premiers. Les auteurs notent que la structure du produit d'Euler diffère légèrement de celui du cas quadratique en raison de la nature de la moyenne sur les nombres premiers plutôt que sur tous les polynômes sans carré.
• Vérification (Section 8) : Les auteurs calculent explicitement la densité à 1-niveau en utilisant leur formule générale à $n$-niveaux. Ils démontrent que ce résultat correspond parfaitement à la formule de densité à 1-niveau établie précédemment par Andrade et Keating (Théorème 1.2), validant ainsi la cohérence de leur approche généralisée.

Signification
Le papier revendique une importance dans les domaines suivants :

• Généralisation : Il généralise avec succès la méthodologie de Mason et Snaith au contexte des corps de fonctions, allant au-delà de la densité à 1-niveau pour fournir un cadre pour les densités à $n$-niveaux.
• Cohérence : En retrouvant les résultats connus de densité à 1-niveau pour les familles de caractères quadratiques et premiers, le papier confirme que le cadre de la Conjecture des Rappots adapté est robuste et cohérent avec les résultats rigoureux existants dans le contexte des corps de fonctions.
• Aperçu Arithmétique : Les formules dérivées offrent un outil systématique pour prédire à la fois les termes principaux et les termes d'ordre inférieur dans le comportement statistique des zéros. Ceci est crucial pour comprendre comment des caractéristiques arithmétiques subtiles (telles que la structure spécifique des produits d'Euler dans les corps de fonctions) influencent la distribution à petite échelle des zéros, pouvant potentiellement révéler des écarts par rapport au comportement universel prédit par la théorie des matrices aléatoires.

Le travail ne prétend pas prouver la Conjecture des Rapports, mais suppose plutôt sa validité pour dériver des formules explicites pour la densité à $n$-niveaux, fournissant une cible concrète pour une future vérification rigoureuse dans le contexte des corps de fonctions.