Dirichlet Series and Asymptotics for Generalized Legendre Factorials

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie analytique des nombres et de l'arithmétique des anneaux de Dedekind. Il vise à généraliser et à expliquer de manière conceptuelle le comportement asymptotique de fonctions factorielles définies par des formules de type Legendre.

• Contexte classique : La formule de Legendre classique décrit la valuation $p$-adique de la factorielle $n!$ pour un nombre premier $p$ :
  $$v_p(n!) = \sum_{k \ge 0} \left\lfloor \frac{n}{p^k} \right\rfloor.$$
• Généralisation : Les auteurs considèrent un corps de nombres $K$ avec son anneau d'entiers $\mathcal{O}_K$, et un ensemble fini d'idéaux premiers $S$. Ils définissent une fonction factorielle généralisée $n!_{K,f}$ en remplaçant la puissance standard $p^k$ par une séquence arithmétique dépendant d'une fonction $f$ définie sur les idéaux premiers de $K \setminus S$.
• Définition : Pour un idéal premier $\mathfrak{p} \notin S$, la valuation est donnée par :
  $$v_{\mathfrak{p}}(n!_{K,f}) = \sum_{k \ge 0} \left\lfloor \frac{n}{f(\mathfrak{p})N(\mathfrak{p})^k} \right\rfloor,$$
  où $N(\mathfrak{p})$ est la norme absolue de l'idéal.
• Objectif : Déterminer le comportement asymptotique de $\log(n!_{K,f})$ (ou de sa fonction de somme partielle) lorsque $n \to \infty$. Ce travail répond partiellement à une question posée par Bhargava concernant la formule de Stirling pour ses factorielles généralisées sur des anneaux de Dedekind.

2. Méthodologie

L'approche principale de l'article repose sur l'analyse complexe et la théorie des séries de Dirichlet, plutôt que sur l'analyse combinatoire directe ou l'étude des fonctions de type Chebyshev utilisées dans des travaux antérieurs.

1. Définition de la fonction incrémentale :
   Les auteurs étudient l'incrément logarithmique $B_{K,f,S}(n)$ :
   $$B_{K,f,S}(n) = \log \left( \frac{n!_{K,f}}{(n-1)!_{K,f}} \right).$$
   La fonction de somme partielle est définie par $S_{K,f,S}(x) = \sum_{n \le x} B_{K,f,S}(n)$.

2. Représentation par Série de Dirichlet :
   L'observation clé est que la fonction $B_{K,f,S}(n)$ admet une représentation naturelle en série de Dirichlet :
   $$D_{K,f,S}(s) = \sum_{n \ge 1} \frac{B_{K,f,S}(n)}{n^s}.$$
   En utilisant la proposition 3.3, ils démontrent que cette série se factorise en :
   $$D_{K,f,S}(s) = \zeta(s) H_{K,f,S}(s),$$
   où $\zeta(s)$ est la fonction zêta de Riemann et $H_{K,f,S}(s)$ est une série liée aux idéaux premiers.

3. Lien avec la fonction zêta de Dedekind :
   Sous l'hypothèse de croissance $f(\mathfrak{p}) = c N(\mathfrak{p}) + O(N(\mathfrak{p})^{1-\delta})$, la fonction $H_{K,f,S}(s)$ est comparée à la dérivée logarithmique de la fonction zêta de Dedekind tronquée $\zeta_{K,S}(s)$.
   Ils montrent que :
   $$D_{K,f,S}(s) = \zeta(s) \left[ c^{-s} \left( -\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s) \right) + J_{K,f,S}(s) \right],$$
   où $J_{K,f,S}(s)$ est une fonction holomorphe dans un demi-plan contenant $s=1$.

4. Analyse des pôles :
   L'analyse locale autour de $s=1$ révèle que $D_{K,f,S}(s)$ possède un pôle double en $s=1$ (résultant du produit d'un pôle simple de $\zeta(s)$ et d'un pôle simple de la dérivée logarithmique de $\zeta_{K,S}$).

5. Formule de Perron et Déplacement de Contour :
   Pour obtenir l'asymptotique de la somme $S_{K,f,S}(x)$, les auteurs appliquent la formule de Perron tronquée. Ils déplacent le contour d'intégration vers la gauche, en traversant le pôle double en $s=1$ et, éventuellement, un pôle simple associé à un zéro exceptionnel réel $\beta_K$ de $\zeta_K(s)$. Les erreurs sont contrôlées grâce à la région sans zéro connue pour les fonctions zêta de Dedekind.

3. Résultats Principaux

Le théorème principal (Théorème 1.1) établit le comportement asymptotique de la somme partielle $S_{K,f,S}(x)$ sous l'hypothèse que $f(\mathfrak{p}) \sim c N(\mathfrak{p})$.

Théorème 1.1 :
Il existe des constantes $C_{K,f,S} \in \mathbb{R}$ et $c_1 > 0$ telles que :
$$S_{K,f,S}(x) = \frac{1}{c} x \log x + C_{K,f,S} x + O\left(x e^{-c_1 \sqrt{\log x}}\right).$$
Note : Si la fonction zêta de Dedekind $\zeta_K(s)$ possède un zéro réel exceptionnel $\beta_K \in (0, 1)$, un terme supplémentaire $C^*_K x^{\beta_K}$ apparaît.

Conséquences pour la factorielle :
En intégrant ce résultat, on obtient l'asymptotique pour le logarithme de la factorielle généralisée :
$$\log n!_{K,f} = a_{K,f,S} n \log n + C_{K,f,S} n + O\left(n e^{-c_1 \sqrt{\log n}}\right),$$
où $a_{K,f,S} = 1/c$.

Corollaire 7.2 (Anneaux d'entiers $S$) :
Le résultat s'applique aux anneaux d'entiers $S$ ($\mathcal{O}_{K,S}$), qui sont des domaines de Dedekind finiment générés comme $\mathbb{Z}$-algèbres. Cela fournit une formule de Stirling généralisée pour ces structures, répondant partiellement à la question de Bhargava.

4. Contributions Clés

1. Cadre Unificateur Analytique : L'article propose un cadre unifié basé sur les séries de Dirichlet pour étudier les factorielles généralisées, offrant une explication analytique conceptuelle des résultats précédents (comme ceux de [1] ou [7]) qui étaient souvent obtenus par des méthodes combinatoires ou structurelles.
2. Précision du Terme d'Erreur : La méthode permet d'obtenir un terme d'erreur très précis de la forme $O(x e^{-c\sqrt{\log x}})$, ce qui est significativement plus fin que les termes d'erreur typiques de type $O(x^{1-\epsilon})$ souvent trouvés dans des approches élémentaires.
3. Structure des Pôles : La démonstration explicite que la structure asymptotique est gouvernée par un pôle double en $s=1$, reliant directement la croissance de la factorielle à la nature du pôle simple de la fonction zêta de Riemann et de la fonction zêta de Dedekind.
4. Généralisation aux Anneaux d'Entiers : L'extension naturelle aux anneaux d'entiers $S$ permet de traiter des cas où un nombre fini d'idéaux premiers est exclu, montrant que cela n'affecte que les constantes d'ordre inférieur et non le terme dominant.

5. Signification et Impact

Ce travail est significatif car il comble un vide entre la théorie des nombres multiplicative classique et l'étude des structures algébriques généralisées (factorielles de Bhargava).

• Réponse à une question ouverte : Il apporte une réponse partielle mais rigoureuse à la question de Bhargava sur la validité d'une formule de Stirling pour les factorielles généralisées sur les anneaux de Dedekind.
• Outils Analytiques : Il démontre la puissance de la méthode des séries de Dirichlet couplée au déplacement de contour pour résoudre des problèmes d'asymptotique dans des contextes arithmétiques complexes.
• Généralité : La méthode s'applique à une large classe de fonctions $f$ tant qu'elles satisfont une condition de croissance linéaire par rapport à la norme de l'idéal, rendant le résultat applicable à de nombreuses constructions arithmétiques spécifiques.

En résumé, Diaz et Normanyo réussissent à transformer un problème de croissance de factorielles généralisées en un problème d'analyse complexe standard, fournissant ainsi des formules asymptotiques précises et une compréhension profonde de la structure sous-jacente de ces objets arithmétiques.