A digit-sum formula for Böttcher coordinates

1. Contexte et Problématique

L'article s'inscrit dans le domaine de la dynamique non-archimédienne, plus précisément dans l'étude des coordonnées de Böttcher pour les germes analytiques sur les anneaux $p$-adiques.

• Objet d'étude : L'auteur considère la famille de polynômes définie par $\phi(x) = x^{p^2} + p^2 x^{p^2+1}$, où $p$ est un nombre premier impair ($p \ge 3$).
• Coordonnée de Böttcher : Il s'agit de trouver la série formelle $f_\phi(x) = x \sum_{k \ge 0} \frac{a_k}{k!} x^k$ qui conjugue $\phi$ à sa partie dominante monomiale, satisfaisant l'équation fonctionnelle :
  $$\phi(f_\phi(x)) = f_\phi(x^{p^2})$$
• Problème : Déterminer les propriétés de congruence modulo $p$ des coefficients $a_k$ de cette série.
• Antécédents : Salerno et Silverman avaient précédemment observé des motifs remarquables modulo $p$ dans ces coefficients et formulé une conjecture (Conjecture 25 de [8]) concernant les classes de résidus spécifiques (notamment pour les indices de la forme $p^m$, $p^m-1$, etc.). L'objectif de Ren est de prouver cette conjecture de manière inconditionnelle et d'établir une formule générale reliant les coefficients à la somme des chiffres de l'indice en base $p$.

2. Méthodologie

La preuve repose sur une analyse fine de la récurrence satisfaite par les coefficients $a_k$, obtenue par comparaison des coefficients dans l'équation fonctionnelle. La méthode se distingue par une séparation stricte des cas selon la classe de résidu de l'indice $k$ modulo $p$.

A. La récurrence A-B-C

L'équation fonctionnelle est réécrite sous la forme d'une relation de récurrence pour $a_k$ :
$$a_k = A_k[x^k] - B_k[x^k] - C_k[x^k]$$
où $A_k, B_k, C_k$ sont des termes issus du développement de $\phi(f_\phi(x))$ et $f_\phi(x^{p^2})$.

• Lemme structurel (Prop. 2.1) : Le terme $A_k$ s'annule toujours modulo $p$ pour $k \ge 1$.
• Lemme structurel (Prop. 2.2) : Le terme $C_k$ est congru à $a \cdot a_{k-1} \pmod p$ si $k \equiv a \pmod p$ ($a \neq 0$), et à $0$ si $p \mid k$.

B. Analyse des termes survivants (Prop. 2.2 et 3.3)

L'analyse du terme $B_k$ (le plus complexe) utilise la formule de Legendre pour l'ordre $p$-adique des factorielles. L'auteur démontre que seuls certains monômes dans le développement de $B_k$ survivent modulo $p$.

• Cas $p \mid k$ (Cas divisible) : L'auteur identifie une structure de partition vectorielle des monômes survivants. Il utilise une identité de coefficients pour une série exponentielle tronquée (Lemme 3.1) pour résoudre le cas où l'indice est une puissance de $p$.
• Cas $k \not\equiv 0 \pmod p$ : L'analyse repose sur la notion de "défaut de retenue" (carry defect) dans l'addition en base $p$. Seuls les monômes correspondant à des additions sans retenue (ou avec un nombre très restreint de retenues) contribuent.

C. Outils combinatoires avancés

Pour traiter le cas général ($k \not\equiv 0 \pmod p$), l'auteur introduit des outils sophistiqués :

1. Partitions vectorielles : Les indices sont encodés par des vecteurs de chiffres $d = (d_1, \dots, d_r)$. Les termes de la récurrence sont exprimés via des partitions de ces vecteurs.
2. Cumulants multivariés : L'expansion du terme $B_k$ est réorganisée en utilisant des cumulants multivariés associés à une série génératrice de moments.
3. Effondrement dimensionnel : Un résultat clé (Prop. 5.4) montre que ces cumulants multivariés s'effondrent en une fonction d'une seule variable, reliant la structure complexe des partitions à une opération simple impliquant l'opérateur $N = y \frac{d}{dy}$ appliqué à un polynôme tronqué $F_a(y)$.

3. Résultats Principaux

L'article établit deux théorèmes majeurs.

Théorème 1.1 : Formule de la somme des chiffres

Soit $k \ge 1$. Décomposons $k$ en base $p$ :
$$k = a + d_1 p + d_2 p^2 + \dots + d_r p^r, \quad 0 \le a, d_i \le p-1$$
Soit $s = d_1 + \dots + d_r = S_p(k) - a$, où $S_p(k)$ est la somme des chiffres de $k$ en base $p$.
Alors, le coefficient $a_k$ vérifie la congruence :
$$a_k \equiv (-1)^s (a+1)^s a^a \pmod p$$
Une version plus forte est également prouvée :
$$a_k \equiv (-1)^{S_p(k)} (a+1)^{S_p(k)-1} \pmod p$$
(Note : Pour $a=0$, la formule s'interprète avec $0^0=1$ et donne $a_k \equiv (-1)^{S_p(k)}$).

Théorème 1.2 : Preuve de la Conjecture de Salerno-Silverman

L'article déduit la conjecture originale concernant les indices spécifiques :

• $a_{p^m} \equiv (-1)^m \pmod p$
• $a_{p^m - 1} \equiv 0 \pmod p$
• $a_{p^m - 2} \equiv -1 \pmod p$

De plus, l'auteur fournit une description explicite du premier bloc de coefficients ($0 \le n \le p-1$) :
$$a_n \equiv (-1)^n (n+1)^{n-1} \pmod p$$

4. Contributions Clés

1. Unification des cas : La preuve sépare et traite systématiquement le cas divisible ($a=0$) et le cas général ($a \neq 0$), offrant une compréhension unifiée de la structure des coefficients.
2. Description combinatoire complète : L'article donne une description complète des "monômes survivants" de la coordonnée de Böttcher via des partitions vectorielles, clarifiant pourquoi seuls certains termes contribuent modulo $p$.
3. Réduction aux cumulants : La réduction d'une somme de partitions multivariées complexe à un cumul à une seule variable (via l'opérateur $N$) est une innovation technique majeure qui simplifie considérablement le calcul.
4. Résolution de conjectures : La preuve inconditionnelle de la conjecture de Salerno-Silverman valide des observations empiriques antérieures et établit une formule générale reliant la dynamique complexe $p$-adique à l'arithmétique des chiffres en base $p$.

5. Signification et Impact

Ce travail apporte une contribution significative à la théorie de la dynamique $p$-adique et à la combinatoire arithmétique.

• Il établit un lien profond entre les propriétés analytiques des coordonnées de Böttcher (qui décrivent la géométrie de l'ensemble de Julia et le bassin d'attraction) et des invariants arithmétiques simples (somme des chiffres).
• Les techniques développées, notamment l'utilisation des partitions vectorielles et des cumulants pour analyser les récurrences non-linéaires en caractéristique $p$, pourraient être appliquées à d'autres problèmes de dynamique non-archimédienne ou de théorie des nombres.
• La formule obtenue permet de calculer efficacement les coefficients modulo $p$ sans avoir à itérer la récurrence complète, offrant ainsi un outil puissant pour l'étude de la convergence et des propriétés de ces séries dans les anneaux $p$-adiques.