Connected components of the ranges of twisted divisor functions on number fields

Résumé technique : Composantes connexes des images des fonctions diviseurs tordues sur les corps de nombres

Énoncé du problème
Cet article étudie la structure topologique de l'image des fonctions diviseurs tordues définies sur le monoïde des idéaux entiers d'un corps de nombres. Soit $K$ une extension finie de $\mathbb{Q}$, $\mathcal{O}_K$ son anneau d'entiers, et $\mathcal{I}_K$ le monoïde des idéaux entiers. Pour un paramètre complexe $r$ et un caractère de Dirichlet $\chi$, la fonction diviseur d'idéaux tordue est définie par :
$$\sigma_{r,K,\chi}(I) = \sum_{J|I} N(J)^{-r}\chi(N(J))$$
où $N(J)$ désigne la norme de l'idéal. L'objet principal d'étude est l'adhérence de l'image, $\overline{\sigma_{r,K,\chi}(\mathcal{I}_K)}$, et plus spécifiquement le nombre de ses composantes connexes, noté $C_{r,K,\chi}$.

Alors que le cas $K=\mathbb{Q}$ et $\chi$ étant le caractère trivial (la fonction diviseur standard $\sigma_r$) a été étudié de manière approfondie (par exemple par Laatsch, Defant, Sanna et Zubrilina), ce travail généralise ces investigations aux corps de nombres arbitraires et aux caractères tordus. Les questions centrales abordées sont :

1. Le nombre de composantes connexes $C_{r,K,\chi}$ est-il fini pour $r$ réel $> 1$ et $\chi$ à valeurs réelles ?
2. Quelles valeurs peut prendre $C_{r,K,\chi}$ lorsque le caractère $\chi$ varie (pour $K$ et $r$ fixés) ?
3. Comment se comporte $C_{r,K}$ lorsque le corps de nombres $K$ varie, notamment en ce qui concerne les bornes inférieures et l'illimitation ?

Méthodologie
L'article emploie une combinaison de théorie analytique des nombres, de théorie algébrique des nombres et d'arguments topologiques. Les composants méthodologiques clés incluent :

• Partitionnement et analyse des écarts : La technique centrale consiste à partitionner le domaine (idéaux ou entiers) en fonction de la divisibilité par les petits facteurs premiers. En analysant les « écarts » dans l'image de la fonction diviseur créés par ces partitions, les auteurs établissent des bornes inférieures sur le nombre de composantes connexes. Cela repose sur la démonstration que les images d'ensembles de partition disjoints ont des adhérences disjointes.
• Théorème de densité de Chebotarev : Pour traiter les corps de nombres généraux $K$, les auteurs utilisent le théorème de densité de Chebotarev pour estimer la distribution des idéaux premiers ayant des comportements de décomposition spécifiques (par exemple, les premiers qui se décomposent complètement par rapport à ceux qui restent inerts). Cela permet la construction de corps avec des distributions de normes souhaitées.
• Coefficients de la fonction zêta de Dedekind : La croissance du nombre d'idéaux d'une norme donnée, $a_K(n)$, est bornée en utilisant les coefficients de la fonction zêta de Dedekind $\zeta_K(s)$. Ces bornes sont cruciales pour établir l'existence d'« écarts » dans l'image pour de grandes valeurs de $r$.
• Théorie constructive des corps : Pour prouver des résultats d'illimitation pour les extensions de degré fixe, l'article construit des corps de nombres spécifiques en utilisant le théorème de Dedekind-Kummer. En sélectionnant des polynômes irréductibles unitaires avec des types de factorisation prescrits modulo des nombres premiers spécifiques, les auteurs s'assurent que certains nombres premiers rationnels choisis se décomposent complètement ou restent inerts dans le corps construit $K$.
• Sélection récursive de nombres premiers : La construction de « normes puissantes en $r$ » (normes qui génèrent des écarts) implique la sélection récursive de suites de nombres premiers rationnels suffisamment espacés pour satisfaire des inégalités spécifiques impliquant le paramètre $r$.

Contributions et résultats clés

1. Finitude des composantes (Théorème 1.2) :
   L'article démontre que pour tout $r$ réel $> 1$, toute extension finie $K/\mathbb{Q}$ et tout caractère de Dirichlet $\chi$ à valeurs réelles, le nombre de composantes connexes $C_{r,K,\chi}$ est fini. Cela étend le résultat précédent de Sanna pour $K=\mathbb{Q}$ au cadre général des corps de nombres. La preuve utilise un argument d'induction descendante sur les idéaux premiers de $\mathcal{O}_K$, établissant que l'image est une union finie d'intervalles fermés disjoints.

2. Réalisation des comptes de composantes pour $K=\mathbb{Q}$ (Théorèmes 1.3 et 1.4) :

   • Pour un $r > 1$ fixe, lorsque le caractère $\chi$ varie, la valeur $C_{r,\mathbb{Q},\chi}$ prend toutes les entiers positifs suffisamment grands.
   • Il existe un seuil $r_0$ tel que pour tout $r > r_0$, $C_{r,\mathbb{Q},\chi}$ prend toute valeur entière positive lorsque $\chi$ varie. Cela est démontré en construisant des caractères principaux dont les modules sont composés d'ensembles spécifiques de nombres premiers pour contrôler le nombre de « sauts » dans l'image de la fonction.

3. Bornes inférieures améliorées (Théorème 1.5) :
   Pour $r \ge 3$ et un caractère $\chi$ de module $m$, l'article établit une nouvelle borne inférieure :
   $$C_{r,\mathbb{Q},\chi} \ge 2^{\pi_m(2r-2) - \delta_m}$$
   où $\pi_m(x)$ compte les nombres premiers $\le x$ premiers avec $m$, et $\delta_m$ dépend de la parité de $m$. Cela améliore les bornes précédentes d'Achenjang et Berger.

4. Bornes inférieures exponentielles pour les corps généraux (Théorème 1.6) :
   Pour les extensions galoisiennes finies $K/\mathbb{Q}$, l'article dérive une nouvelle borne inférieure exponentielle pour $C_{r,K}$ lorsque $r \to \infty$. Plus précisément, pour tout $\epsilon > 0$, il existe des constantes telles que :
   $$\log C_{r,K} > \mu_{K,\epsilon} \left( \frac{r^{1/(1+\epsilon)}}{\log r} \right)$$
   Cela implique que pour un corps $K$ fixe, le nombre de composantes est illimité lorsque $r$ augmente.

5. Illimitation sur les extensions de degré fixe (Théorème 1.7) :
   En fixant le paramètre $r > 1$ et le degré $s \ge 2$, l'article démontre que l'ensemble des valeurs $\{C_{r,K} : [K:\mathbb{Q}]=s\}$ est illimité. En construisant des extensions de degré $s$ où des suites spécifiques de nombres premiers se décomposent complètement (créant de petites normes) tandis que d'autres restent inerts (créant de grandes normes), les auteurs génèrent un nombre arbitraire d'écarts dans l'image, réalisant ainsi un nombre arbitrairement grand de composantes connexes.

Signification et affirmations
L'article prétend fournir une généralisation complète de l'étude topologique des images des fonctions diviseurs, passant des entiers rationnels aux corps de nombres arbitraires. Sa signification réside dans :

• Généralisation : L'extension des résultats de finitude et du comptage des composantes de $\mathbb{Q}$ aux corps de nombres généraux $\mathcal{I}_K$.
• Précision quantitative : La fourniture de bornes inférieures explicites et améliorées pour le nombre de composantes, incluant des taux de croissance exponentielle en fonction de $r$ et du degré du corps.
• Complétude de l'image : La démonstration que le nombre de composantes connexes est non seulement fini, mais peut être contrôlé pour prendre n'importe quelle valeur entière suffisamment grande (et toutes les valeurs entières pour $r$ grand) en faisant varier le caractère.
• Insight structurel : La révélation que la topologie de l'image est profondément liée au comportement de décomposition des nombres premiers dans le corps de nombres et aux propriétés arithmétiques du module du caractère.

Les auteurs ne prétendent pas résoudre la valeur exacte de $C_{r,K,\chi}$ pour tous les paramètres, mais établissent plutôt la finitude, l'illimitation et la réalisabilité de ces valeurs, offrant un cadre pour comprendre la complexité topologique des fonctions diviseurs en théorie algébrique des nombres.