The Limiting Distribution of Elliptic Dedekind Sums

1. Problématique et Contexte

L'article s'intéresse aux sommes de Dedekind elliptiques, une généralisation des sommes de Dedekind classiques introduite par Sczech.

• Sommes classiques : Pour des entiers $h, k$, la somme $s(h, k)$ apparaît dans la transformation du $\eta$-fonction de Dedekind sous l'action du groupe $SL_2(\mathbb{Z})$. Il est établi (Vardi, 1990) que, pour des sommes classiques normalisées, la distribution limite est une distribution de Cauchy.
• Sommes elliptiques : Sczech a défini des sommes $D(a, c)$ pour des éléments $a, c$ d'un anneau d'entiers $\mathcal{O}_K$ d'un corps quadratique imaginaire $K = \mathbb{Q}(\sqrt{-D})$. Ces sommes sont liées à la transformation de fonctions automorphes sur l'espace hyperbolique supérieur $\mathbb{H}^3$ sous l'action de $SL_2(\mathcal{O}_K)$.
• Conjecture d'Ito : Ito a conjecturé que, pour $D=2$, la moyenne des sommes elliptiques normalisées $\tilde{D}(a, c)$ sur un ensemble de Farey croissant diverge, suggérant un comportement différent des sommes classiques.

Objectif principal : Déterminer la distribution limite des sommes elliptiques normalisées $\tilde{D}(a, c)$ lorsque le paramètre de hauteur $X$ tend vers l'infini, et prouver la conjecture d'Ito.

2. Méthodologie

Les auteurs adoptent une approche dynamique et spectrale, s'inscrivant dans la lignée des travaux de Bettin, Drappeau, Kim, Lee et Lim. La preuve repose sur plusieurs piliers techniques :

A. Développement en fractions continues complexes

L'analyse est basée sur l'expansion en fractions continues de Hurwitz pour les nombres complexes dans le corps $K$ (avec $D \in \{2, 7, 11\}$, cas de classe de nombre 1).

• On définit une application de Gauss généralisée (application de Hurwitz) $G: I_D \to I_D$ sur un domaine fondamental $I_D$.
• Les sommes de Dedekind elliptiques sont exprimées comme des sommes de Birkhoff le long des orbites de cette application, impliquant des fonctions de période $\Psi(z)$ liées aux parties entières complexes.

B. Opérateurs de transfert et analyse spectrale

Le cœur de la méthode réside dans l'étude d'une famille à deux paramètres d'opérateurs de transfert $\mathcal{K}_{s,t}$ agissant sur un espace de Banach de fonctions holomorphes par morceaux $\mathcal{C}(\mathcal{P})$, où $\mathcal{P}$ est une partition de Markov fine du domaine $I_D$.

• Fonction génératrice : La fonction caractéristique de la somme est liée à une série de Dirichlet $H(2s, t)$, qui peut être exprimée via la résolvante de l'opérateur : $H(2s, t) = (I - \mathcal{K}_{s,t})^{-1} \dots$.
• Continuation méromorphe : Les auteurs établissent la continuation méromorphe de $H(2s, t)$ dans une bande $\text{Re}(s) > 1 - \delta$. Cela nécessite une analyse fine du spectre de l'opérateur $\mathcal{K}_{s,t}$ près du point $(1, 0)$.
• Estimation de Dolgopyat : Pour contrôler la décroissance de la fonction caractéristique pour de grandes valeurs de la variable spectrale imaginaire, ils adaptent les estimées de type Dolgopyat (déjà utilisées par Baladi, Vallée, Bettin et Drappeau) pour prouver l'absence de valeurs propres proches de 1 hors de l'axe réel, assurant ainsi la convergence vers une loi normale.

C. Analyse asymptotique des intégrales oscillatoires

Une étape cruciale consiste à développer asymptotiquement la valeur propre dominante $\lambda(s, t)$ de l'opérateur $\mathcal{K}_{s,t}$ autour de $(1, 0)$.

• Cela implique l'évaluation d'intégrales oscillatoires de la forme $\int (e^{it\Psi(z)} - 1) d\mu(z)$, où $\mu$ est la mesure invariante du système dynamique.
• La densité de cette mesure $\mu$ est singulière (liée à une intégrale sur un domaine fractal), ce qui rend le calcul délicat. Les auteurs utilisent des développements de Taylor et la sommation de Poisson pour obtenir le comportement asymptotique de ces intégrales, révélant un terme dominant en $t^2 \ln|t|$.

3. Résultats Principaux

Théorème 1.3 : Distribution Limite Gaussienne

Le résultat central de l'article est le suivant :
Pour $D \in \{2, 7, 11\}$, il existe une constante $\kappa_D > 0$ telle que la somme de Sczech normalisée $\tilde{D}(z)$ suit une distribution gaussienne (normale) lorsque $X \to \infty$. Plus précisément, pour $z$ choisi uniformément dans l'ensemble de Farey $K_{\bullet, D}(X)$ :

$$\mathbb{P}_X \left( \frac{\tilde{D}(z)}{\kappa_D \sqrt{\log X \log \log X}} < x \right) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^x e^{-y^2/2} dy + O\left( \frac{1}{(\log \log X)^{1-\epsilon}} \right)$$

Différence fondamentale : Contrairement aux sommes de Dedekind classiques qui convergent vers une loi de Cauchy (à queue lourde), les sommes elliptiques convergent vers une loi Gaussienne.

Corollaire 1.4 : Preuve de la Conjecture d'Ito

En tant que conséquence immédiate, les auteurs prouvent la conjecture d'Ito (Conjecture 1.2). La moyenne restreinte des sommes elliptiques sur un domaine fondamental diverge vers l'infini :
$$\lim_{X \to \infty} \frac{1}{\#(K_2(X) \cap B_2)} \sum_{z \in K_2(X) \cap B_2} |\tilde{D}(z)| = \infty$$
Cela contraste avec le comportement borné attendu pour certaines moyennes classiques, confirmant la nature "plus lourde" mais gaussienne de la distribution elliptique.

4. Contributions Techniques et Significatives

1. Changement de paradigme distributionnel : L'article établit une distinction nette entre le cas unidimensionnel (classique, loi de Cauchy) et le cas de dimension supérieure (elliptique, loi Gaussienne). Cela démontre que la structure arithmétique des corps quadratiques imaginaires modifie profondément les propriétés statistiques des sommes de Dedekind.
2. Adaptation des méthodes dynamiques : Les auteurs réussissent à adapter le cadre dynamique complexe (développé par Kim, Lee, Lim pour le nombre de pas de l'algorithme euclidien complexe) à un problème de sommes de Dedekind où les fonctions de poids ne sont pas à croissance modérée (elles croissent comme $|\alpha|$ et non $\log|\alpha|$).
3. Gestion de la mesure invariante : Le défi majeur résolu est le traitement de la mesure invariante $\mu$, dont la densité est définie par une intégrale sur un domaine fractal. Les auteurs parviennent à extraire les termes asymptotiques nécessaires sans avoir besoin de la forme explicite de la densité, en exploitant la régularité locale et la géométrie de la partition de Markov.
4. Résolution de la conjecture d'Ito : La preuve fournit une réponse définitive à une question ouverte depuis plusieurs années concernant la divergence de la moyenne des sommes elliptiques.

5. Conclusion

Ce papier représente une avancée majeure dans la théorie analytique des nombres, reliant la théorie spectrale des opérateurs de transfert, la dynamique des fractions continues complexes et la théorie des probabilités. Il démontre que les sommes de Dedekind elliptiques, bien que partageant des propriétés algébriques avec leurs homologues classiques, possèdent une structure statistique fondamentalement différente, gouvernée par une loi normale plutôt que par une loi de Cauchy. La méthode développée ouvre la voie à l'étude d'autres sommes arithmétiques dans des contextes de dimension supérieure.