Joint extreme values of Dirichlet (L)-functions and their logarithmic derivatives

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie analytique des nombres, se concentrant sur l'étude des valeurs extrêmes des fonctions $L$ de Dirichlet $L(s, \chi)$ et de leurs dérivées logarithmiques $L'/L(s, \chi)$.

• Contexte : Les valeurs extrêmes de ces fonctions sont cruciales pour comprendre la distribution des sommes de caractères, les nombres de classes et la répartition des zéros des fonctions $L$. Des travaux antérieurs (Granville-Soundararajan, Aistleitner et al., Yang) ont établi des bornes inférieures pour les valeurs extrêmes d'une seule fonction $L$ ou de sa dérivée logarithmique en un point $s$ (généralement $s=1$ ou $s=\sigma \in (1/2, 1)$).
• Objectif : L'auteur vise à généraliser ces résultats en étudiant les valeurs extrêmes conjointes. Plus précisément, il cherche à démontrer l'existence de caractères de Dirichlet $\chi$ modulo $q$ (où $q$ est un grand nombre premier) tels que les produits de plusieurs fonctions $L$ (ou de leurs dérivées) associées aux puissances d'un même caractère ($\chi, \chi^2, \dots, \chi^\ell$) atteignent simultanément des valeurs très élevées.
• Hypothèse clé : Le caractère $\chi$ doit avoir un ordre supérieur à $\ell$ ($\text{ord}(\chi) > \ell$) pour garantir que les puissances $\chi^j$ ne coïncident pas avec le caractère principal $\chi_0$.

2. Méthodologie : La Méthode de Résonance

L'article utilise la méthode de résonance (ou resonance method), une technique puissante introduite par Voronin et développée par Soundararajan, Aistleitner, Bondarenko et Seip.

• Principe : Pour montrer l'existence d'un caractère $\chi$ maximisant une fonctionnelle $F(\chi)$, on construit un « résonateur » $R(\chi)$, qui est une somme de Dirichlet pondérée conçue pour amplifier les valeurs de $F(\chi)$ pour certains caractères tout en restant contrôlée en moyenne.
• Construction du résonateur : L'auteur définit une fonction multiplicative complète $r(n)$ et le résonateur $R(\chi) = \sum r(n)\chi(n) = \prod_{p \le X} (1 - r(p)\chi(p))^{-1}$.
• Stratégie de preuve :
  1. On définit deux sommes : $S_1 = \sum_{\chi} |R(\chi)|^2$ et $S_2 = \sum_{\chi} F(\chi) |R(\chi)|^2$.
  2. En utilisant l'orthogonalité des caractères de Dirichlet, on exprime $S_1$ et $S_2$ en termes de sommes sur les entiers.
  3. On établit une borne inférieure pour le rapport $S_2/S_1$. Si ce rapport est grand, cela implique qu'il existe au moins un caractère $\chi$ pour lequel $F(\chi)$ est grand.
  4. Approximation : Les fonctions $L$ et $L'/L$ sont approximées par des polynômes de Dirichlet tronqués (via des lemmes techniques de type Landau-Titchmarsh et des résultats sur les régions sans zéros).
  5. Contrôle des exceptions : Il est démontré que la contribution des caractères exceptionnels (caractère principal et éventuel caractère exceptionnel $\chi_e$ lié aux zéros de Siegel) est négligeable par rapport à la somme totale.

3. Résultats Principaux

L'article établit quatre théorèmes majeurs couvrant les cas $s=1$ et $s=\sigma \in (1/2, 1)$, pour les fonctions $L$ et leurs dérivées logarithmiques.

A. Valeurs extrêmes conjointes de $L(s, \chi)$

• Théorème 1.1 (Cas $s=1$) : Pour tout entier fixé $\ell \ge 1$, il existe un caractère $\chi$ tel que :
  $$\prod_{j=1}^\ell |L(1, \chi^j)| \ge e^{\ell\gamma} \left( (\log_2 q)^\ell + \ell(\log_3 q - C(\ell))(\log_2 q)^{\ell-1} + O((\log_2 q)^{\ell-2}(\log_3 q)^2) \right)$$
  où $C(\ell) = (\ell+1)/2 + \log_2 4$. Ce résultat affine les travaux d'Aistleitner et al. (2019) en fournissant un terme secondaire explicite et une erreur plus précise.
• Théorème 1.2 (Cas $s=\sigma \in (1/2, 1)$) : Il existe un caractère $\chi$ tel que :
  $$\prod_{j=1}^\ell |L(\sigma, \chi^j)| \ge \exp\left( (\kappa^{1-\sigma} S(\sigma, \ell) + o(1)) \frac{(\log q)^{1-\sigma}}{(\log_2 q)^\sigma} \right)$$
  La constante $S(\sigma, \ell)$ est donnée explicitement par une somme alternée de coefficients binomiaux. L'auteur note que lorsque $\sigma \to 1$, l'effet de la croissance avec $\ell$ est significatif, tandis qu'il est supprimé lorsque $\sigma \to 1/2$.

B. Valeurs extrêmes conjointes des dérivées logarithmiques $L'/L(s, \chi)$

• Théorème 1.3 (Cas $s=1$) : Il existe un caractère $\chi$ tel que :
  $$(-1)^\ell \text{Re} \prod_{j=1}^\ell \frac{L'}{L}(1, \chi^j) \ge (\log_2 q)^\ell + (\ell \log_3 q + Q(\ell))(\log_2 q)^{\ell-1} + \dots$$
  La constante $Q(\ell)$ est explicite et négative, décroissant comme $-\ell \log \ell$. Ce résultat améliore la borne de D. Yang (2023) en termes de précision du terme secondaire.
• Théorème 1.4 (Cas $s=\sigma \in (1/2, 1)$) : Sous la condition $1 \le \ell < (2-2\sigma)^{-1}$, il existe un caractère $\chi$ tel que :
  $$(-1)^\ell \text{Re} \prod_{j=1}^\ell \frac{L'}{L}(\sigma, \chi^j) \ge (\eta^{\ell(1-\sigma)} H(\sigma, \ell) + o(1)) (\log q)^{\ell(1-\sigma)} (\log_2 q)^{\ell(1-\sigma)}$$
  La constante $H(\sigma, \ell)$ fait intervenir des factorielles et des produits de termes dépendant de $\sigma$.

4. Contributions Techniques et Innovations

1. Généralisation aux puissances de caractères : Contrairement aux études précédentes sur des points harmoniques ($s, s+it, \dots$) ou des familles indépendantes, ce travail traite de la structure multiplicative interne d'un seul caractère $\chi$ et de ses puissances $\chi^j$. Cela révèle une corrélation forte entre les valeurs extrêmes de ces fonctions liées.
2. Précision des termes secondaires : L'article ne se contente pas d'obtenir l'ordre de grandeur principal. Il calcule explicitement les termes secondaires (impliquant $\log_3 q$ et des constantes comme $\gamma$, $\log 4$, et des sommes harmoniques), offrant une description beaucoup plus fine du comportement asymptotique.
3. Gestion des erreurs et des exceptions : L'auteur affine les estimations des contributions des caractères exceptionnels et des erreurs d'approximation des polynômes de Dirichlet, permettant d'obtenir des bornes d'erreur plus serrées que dans la littérature antérieure.
4. Lien avec la structure du groupe des caractères : Le travail met en lumière comment l'action du groupe multiplicatif des caractères modulo $q$ influence la distribution conjointe des valeurs des fonctions $L$.

5. Signification et Implications

• Théorie des nombres : Ces résultats renforcent la compréhension de la distribution des valeurs des fonctions $L$ et valident les prédictions des modèles probabilistes (modèles de matrices aléatoires) dans un contexte de dépendance structurelle (puissances d'un même caractère).
• Lien avec les zéros : L'étude des dérivées logarithmiques est directement liée à la distribution des zéros des fonctions $L$. Les valeurs extrêmes conjointes suggèrent que pour certains caractères, plusieurs fonctions $L(s, \chi^j)$ peuvent simultanément s'approcher de zéros dans une même région, révélant une forme de « clustering » conjoint des zéros.
• Perspectives : Ces résultats ouvrent la voie à l'étude de la corrélation entre les valeurs extrêmes de différentes familles de fonctions $L$ et pourraient avoir des applications dans l'étude des constantes d'Euler-Kronecker et des propriétés arithmétiques des corps de nombres cyclotomiques.

En résumé, l'article de Shengbo Zhao représente une avancée significative en affinant les bornes inférieures pour les valeurs extrêmes conjointes des fonctions $L$ de Dirichlet et de leurs dérivées, en exploitant la structure algébrique des caractères via la méthode de résonance.