Sharp Bounds for Moments of the Dedekind Zeta Function

Résumé Technique : Bornes Précises pour les Moments de la Fonction Zeta de Dedekind

Énoncé du Problème
Le problème central abordé dans cet article est l'établissement de bornes supérieures précises pour les moments de la fonction zeta de Dedekind, $\zeta_K(s)$, associée à une extension galoisienne finie $K/\mathbb{Q}$, sur la droite critique $\Re(s) = 1/2$. Plus précisément, les auteurs étudient les moments décalés :
$$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt$$
sous l'hypothèse de la Conjecture de Riemann Généralisée (CRG).

Avant ce travail, le comportement asymptotique de ces moments était conjecturé de l'ordre de $T(\log T)^{[K:\mathbb{Q}]k^2}$ pour le cas non décalé ($a_j=1, b_j=0$). Bien que Soundararajan ait établi des bornes presque précises pour la fonction zeta de Riemann ($K=\mathbb{Q}$) et que Harper les ait affinées jusqu'à l'ordre conjecturé, l'extension aux fonctions zeta de Dedekind se heurtait à des limitations. Milinovich et Turnage-Butterbaugh ont prouvé une borne avec un $\epsilon$ supplémentaire dans l'exposant du logarithme pour les extensions galoisiennes générales. Hagen a récemment supprimé ce $\epsilon$, mais uniquement pour les extensions galoisiennes finies solvables. L'écart persistait pour les extensions galoisiennes finies arbitraires, où la borne précise était inconnue.

Méthodologie
Les auteurs adaptent et affinent la méthode introduite par Harper pour la fonction zeta de Riemann, qui repose sur l'approximation du logarithme de la fonction zeta par de courts polynômes de Dirichlet et sur l'utilisation d'une décomposition « long-court » de l'intervalle d'intégration. L'innovation technique centrale de cet article réside dans l'adaptation de ce cadre à la structure arithmétique des fonctions zeta de Dedekind via le Théorème de Densité de Chebotarev.

Étapes méthodologiques clés :

1. Approximation : En utilisant la CRG, les auteurs approchent $\log |\zeta_K(1/2 + it)|$ par une somme sur les idéaux premiers, en se concentrant spécifiquement sur la contribution des nombres premiers rationnels qui se scindent complètement dans $K$.
2. Décomposition : L'intervalle $[T, 2T]$ est partitionné en un ensemble « bon » $\mathcal{T}$ où les polynômes de Dirichlet sont petits, et en une union d'ensembles « mauvais » $S(j)$ où ils dépassent certains seuils.
3. Application de Chebotarev : Une étape cruciale consiste à évaluer des sommes de la forme \sum_{p \le x, p \text{ se scinde}} \frac{\cos(\alpha \log p)}. En appliquant le Théorème de Densité de Chebotarev à la classe de conjugaison identité, les auteurs montrent que la densité des nombres premiers se scindant complètement dans $K$ est de $1/[K:\mathbb{Q}]$ de la densité totale des nombres premiers.
4. Amélioration de l'Exposant : L'application directe de la méthode de Harper à $\zeta_K(s)$ sans exploiter la structure de Galois produirait une borne avec l'exposant $[K:\mathbb{Q}]^2 k^2$. En utilisant le comportement de scindement des nombres premiers, les auteurs réduisent la contribution effective des sommes de nombres premiers, améliorant l'exposant de $[K:\mathbb{Q}]^2 k^2$ à l'optimal conjectural $[K:\mathbb{Q}] k^2$.

Contributions Clés et Résultats

• Théorème 1.1 (Résultat Principal) : En supposant la CRG, les auteurs établissent une borne supérieure pour les moments décalés de $\zeta_K(s)$ pour toute extension galoisienne finie $K/\mathbb{Q}$. La borne est :
  $$\int_0^T \prod_{j=1}^{2k} \left| \zeta_K\left(\frac{1}{2} + i(t + b_j)\right) \right|^{a_j} dt \ll T (\log T)^{[K:\mathbb{Q}](\sum a_j^2)/4} \prod_{1 \le i < j \le 2k} g(|b_i - b_j|)^{[K:\mathbb{Q}] a_i a_j / 2}$$
  où $g(x)$ est une fonction de corrélation définie par morceaux en fonction de la séparation $|b_i - b_j|$. Ce résultat est valable pour toutes les extensions galoisiennes finies, et non seulement les extensions solvables.

• Corollaire 1.2 : En posant $a_j=1$ et $b_j=0$, les auteurs récupèrent la borne supérieure précise pour les moments non décalés :
  $$\int_0^T \left| \zeta_K\left(\frac{1}{2} + it\right) \right|^{2k} dt \ll_{K,k} T (\log T)^{[K:\mathbb{Q}]k^2}$$
  Ceci étend le résultat de Hagen des extensions solvables à toutes les extensions galoisiennes finies.

• Corollaire 1.3 (Déviations Importantes) : L'article dérive une borne supérieure pour la mesure de l'ensemble où $\log |\zeta_K(1/2 + it)|$ dépasse un seuil $V \asymp \sqrt{\log \log T}$. Sous l'hypothèse de la CRG, la mesure décroît en $e^{-V^2/2}$, correspondant à l'heuristique gaussienne prédite par la théorie des matrices aléatoires.

• Corollaire 1.4 (Intervalles Courts) : Les auteurs appliquent leurs bornes de moments pour étudier la variance des coefficients $r_K(n)$ (le nombre d'idéaux de norme $n$) dans des intervalles courts. Ils fournissent une estimation conditionnelle de la variance du terme d'erreur dans l'estimation de la moyenne de $r_K(n)$, améliorant les bornes précédentes pour les extensions galoisiennes.

Signification
L'article affirme combler une lacune importante dans la théorie analytique des fonctions $L$ en établissant la borne supérieure conjecturalement optimale pour les moments des fonctions zeta de Dedekind pour la large classe des extensions galoisiennes finies. La signification est double :

1. Généralisation : Il lève la contrainte de solvabilité requise par le travail récent de Hagen, démontant que la borne précise est valable pour toute extension galoisienne finie.
2. Raffinement Méthodologique : Les auteurs stipulent explicitement que la clé de leur amélioration par rapport à une application naïve de la méthode de Harper est l'utilisation du Théorème de Densité de Chebotarev pour rendre compte du comportement de scindement des nombres premiers. Cela permet de réduire l'exposant du facteur logarithmique de $[K:\mathbb{Q}]^2 k^2$ à $[K:\mathbb{Q}] k^2$.

Les auteurs notent que bien que leur méthode repose fortement sur la structure de Galois, étendre ces bornes précises à des corps de nombres arbitraires (non galoisiens) reste un problème ouvert nécessitant de nouvelles idées.