Lubin's conjecture for height-one $p$-adic dynamical systems over $(p^2-p)$-tame extensions

Cet article prouve une conjecture de Lubin dans de nouveaux cas en démontrant que, sur des extensions dont l'indice de ramification est premier à $p^2-p$, l'ensemble des suites cohérentes attachées à une paire commutante de séries formelles de hauteur 1 forme un caractère cristallin de poids 1 pour lequel l'élément non inversible agit comme un endomorphisme.

L'essentiel

Imaginez que vous avez deux danseurs, f et u, qui évoluent sur une petite scène circulaire (un disque mathématique) dans un monde très spécial appelé les nombres $p$-adiques.

Voici l'histoire racontée simplement, avec des images pour mieux comprendre ce que Martin Debaisieux a prouvé dans son article.

1. Le Mystère de la Danse (La Conjecture de Lubin)

Dans ce monde mathématique, f est un danseur qui "écrase" la scène (il n'est pas réversible, il ne peut pas revenir en arrière facilement), tandis que u est un danseur agile qui peut faire des pas en avant et en arrière (il est inversible).

La règle du jeu est simple : ils doivent danser ensemble sans se gêner. Si l'un fait un pas, puis l'autre, le résultat doit être le même que si l'ordre était inversé ($f$ puis $u$ = $u$ puis $f$).

Le grand mathématicien Lubin a émis une hypothèse il y a longtemps : Si ces deux danseurs peuvent danser ensemble parfaitement, c'est qu'ils suivent tous les deux les règles d'une "danse invisible" cachée derrière la scène.

Cette "danse invisible", c'est ce qu'on appelle un groupe formel. C'est comme une structure mathématique rigide (un peu comme une grille de danse ou un système de coordonnées) qui dicte exactement comment les mouvements doivent s'additionner. Lubin pensait que si $f$ et $u$ commutent, c'est qu'ils sont en fait des "membres" de ce groupe caché.

2. Le Problème : La Scène est Glissante

Le problème, c'est que dans certaines conditions (quand la scène est très "glissante" ou complexe, ce que les mathématiciens appellent une extension à ramification), il est très difficile de prouver que cette grille de danse existe vraiment.

Jusqu'à présent, on savait que c'était vrai si la scène était très simple. Mais si la scène devient un peu plus complexe (mais pas trop !), le mystère restait entier.

3. La Solution de Martin : Le Détective et le Miroir

Martin Debaisieux, l'auteur de l'article, a résolu ce mystère pour un type de scène spécifique (quand la complexité est "tame", c'est-à-dire qu'elle ne dépasse pas une certaine limite liée au nombre $p$).

Voici comment il a fait, étape par étape, avec des analogies :

A. La Collection de Traces (Le Module de Tate)

Imaginez que vous enregistrez toutes les positions possibles où les danseurs peuvent s'arrêter après avoir répété leur mouvement des milliers de fois. Vous obtenez une liste infinie de points.
En mathématiques, on appelle cela le Module de Tate. C'est comme une boîte à outils qui contient toutes les "traces" laissées par le danseur $f$.

• L'idée clé : Si Lubin avait raison, cette boîte à outils ne serait pas juste une liste de points, mais elle aurait une structure très précise (comme un système de coordonnées) qui correspond à la "danse invisible".

B. Le Miroir Magique (La Théorie de Hodge $p$-adique)

Martin utilise un outil puissant appelé la théorie de Hodge $p$-adique. Imaginez que c'est un miroir magique très sophistiqué.

• D'un côté du miroir, vous avez la liste des points (les traces des danseurs).
• De l'autre côté, le miroir transforme cette liste en un objet mathématique très pur et très structuré (un "caractère cristallin").
• Ce miroir a une propriété incroyable : il peut transformer une simple liste de points en une grille de danse parfaite (un groupe formel), à condition que la liste ait certaines propriétés de symétrie.

C. Le Test de la "Poids" (Le Poids 1)

Pour que le miroir fonctionne et crée la grille de danse, il faut que la liste des points ait un "poids" spécifique. En mathématiques, on parle de "poids de Hodge-Tate".
Martin a prouvé que, dans son cas précis (la scène n'est pas trop glissante), la liste des points a exactement le bon "poids" (le poids 1). C'est comme si le miroir disait : "Ah ! Cette liste a le bon format, je peux la transformer en une vraie grille de danse !".

D. La Reconstruction (Le Retour en Arrière)

Une fois que le miroir a créé la grille de danse (le groupe formel $H$), Martin doit faire le travail inverse :

1. Il regarde comment le danseur $f$ agit sur cette nouvelle grille.
2. Il utilise cette information pour "reconstruire" la grille originale cachée derrière la scène de départ.
3. Il montre que cette grille reconstruite est bien définie sur le sol de la scène d'origine (sur les entiers de $K$).

4. Le Résultat Final

Grâce à cette méthode, Martin a prouvé que :
Oui, la conjecture de Lubin est vraie !

Si vous avez deux danseurs ($f$ et $u$) qui dansent bien ensemble sur cette scène spécifique, alors il existe bel et bien une grille de danse invisible (un groupe formel) qui régit leurs mouvements. Ils ne dansent pas au hasard ; ils suivent les règles d'une structure mathématique profonde et élégante.

En Résumé

• Le problème : Deux objets mathématiques qui coopèrent semblent suivre des règles cachées.
• L'outil : Un miroir mathématique (théorie de Hodge) qui transforme des listes de points en structures géométriques.
• La découverte : En vérifiant que la "forme" de la liste est correcte, on peut prouver que la structure cachée existe vraiment.
• L'impact : Cela confirme une vieille intuition de Lubin et ouvre la porte à mieux comprendre comment les nombres et les symétries interagissent dans des mondes complexes.

C'est un peu comme si, en observant les empreintes de pas de deux amis qui marchent ensemble, vous pouviez prouver qu'ils suivent tous les deux le même plan d'architecture invisible d'un bâtiment, même si vous ne voyiez jamais le bâtiment lui-même.

Résumé technique

Voici un résumé technique détaillé de l'article « LUBIN'S CONJECTURE FOR HEIGHT-ONE p-ADIC DYNAMICAL SYSTEMS OVER (p2 −p)-TAME EXTENSIONS » de Martin Debaisieux, rédigé en français.

1. Problématique et Contexte

Conjecture de Lubin :
L'article s'attaque à la conjecture formulée par Jonathan Lubin concernant les systèmes dynamiques $p$-adiques. Soient $f$ (non inversible) et $u$ (inversible, non de torsion) deux séries formelles définies sur l'anneau des entiers $\mathcal{O}_K$ d'une extension finie $K$ de $\mathbb{Q}_p$. Si $f$ et $u$ commutent ($f \circ u = u \circ f$), et sous certaines hypothèses techniques (racines simples, coefficient linéaire de $f$ étant une uniformisante de $\mathbb{Z}_p$), la conjecture postule qu'il existe un groupe formel $F$ sur $\mathcal{O}_K$ tel que $f$ et $u$ soient des endomorphismes de $F$.

État de l'art et lacunes :

• Le cas de hauteur 1 sur $\mathbb{Z}_p$ a été résolu par Specter ([Spe18]) en retrouvant les séries de Lubin-Tate.
• Berger ([Ber19]) a résolu le cas de toute hauteur finie sur $\mathbb{Z}_p$ en utilisant uniquement l'analyse $p$-adique.
• L'apport de cet article : Il résout le cas de hauteur 1 sur des extensions $K/\mathbb{Q}_p$ dont l'indice de ramification $e_K$ est premier à $p^2 - p$ (extensions $(p^2-p)$-tame), à condition que le coefficient linéaire de la série inversible $u$ appartienne à $\mathbb{Z}_p^\times$. C'est une généralisation significative car le groupe formel sous-jacent n'est pas nécessairement un groupe de Lubin-Tate (contrairement au cas sur $\mathbb{Z}_p$).

2. Méthodologie

L'approche de l'auteur repose sur une généralisation de l'analyse de Specter, combinée à des outils puissants de la théorie de Hodge $p$-adique intégrale. La stratégie se décompose en trois étapes majeures :

A. Analyse du système dynamique et module de Tate latent

L'auteur considère l'ensemble $T_f$ des suites cohérentes de $f$ (suites $(x_n)$ telles que $f(x_{n+1}) = x_n$).

• Action de Galois : En utilisant le fait que $u$ commute avec $f$, l'action des itérés de $u$ sur $T_f$ permet de reconstruire une action de Galois explicite.
• Caractère cristallin : L'auteur définit un caractère $\chi_f : G_L \to \mathbb{Z}_p^\times$ (où $L$ est une extension finie de $K$ engendrée par les points fixes de $u$) qui décrit l'action de Galois sur $T_f$.
• Poids de Hodge-Tate : L'objectif est de prouver que ce caractère est cristallin de poids de Hodge-Tate 1. Cela implique, par l'équivalence de catégories de Fontaine, l'existence d'un groupe formel associé.

B. Reconstruction via la théorie de Hodge $p$-adique intégrale

Pour passer du caractère $\chi_f$ au groupe formel concret, l'auteur utilise la chaîne de foncteurs d'équivalence développée par Kisin et Zink :

1. Module de Breuil-Kisin : À partir du module de Tate $T_f$, on construit un module de Breuil-Kisin formel $M_f$ sur l'anneau de Kisin $S$. L'action de $f$ est encodée ici par multiplication par son coefficient linéaire.
2. Fenêtre (Window) : On étend ce module en une fenêtre $S$-window $W_f$ sur $\mathcal{O}_L$, en suivant les travaux de Kisin ([Kis09]).
3. Groupe $p$-divisible : En utilisant le foncteur de Zink ([Zin01]), on transforme la fenêtre en un groupe $p$-divisible connecté $\Gamma_f$ de hauteur 1 sur $\mathcal{O}_L$.

C. Récupération du groupe formel latent

Le groupe $p$-divisible $\Gamma_f$ possède un groupe formel associé $F$.

• Contrôle des coefficients : Une difficulté majeure est de s'assurer que le groupe formel obtenu est bien celui "latent" au système dynamique initial (c'est-à-dire que $f$ agit exactement comme la série donnée, et pas seulement comme un endomorphisme abstrait). L'auteur montre que l'action de $f$ sur chaque étape de la construction (module, fenêtre, groupe $p$-divisible) préserve les coefficients de la série formelle grâce à la structure du module de Tate.
• Descente : Une fois le groupe formel $F$ construit sur $\mathcal{O}_L$, l'unicité du groupe formel associé à un caractère cristallin de poids 1 permet de descendre la structure sur l'anneau de base $\mathcal{O}_K$.

3. Résultats Principaux

Théorème Principal (Théorème 3.1) :
Soit $K/\mathbb{Q}_p$ une extension finie telle que $(e_K, p^2 - p) = 1$. Soit $(f, u)$ une paire commutante de séries formelles dans $S_0(\mathcal{O}_K)$ (séries sans terme constant) satisfaisant :

• $f$ a exactement $p$ racines dans le disque unité ouvert et toutes les racines de ses itérés sont simples.
• $f'(0)$ est une uniformisante de $\mathbb{Z}_p$.
• $u'(0) \in \mathbb{Z}_p^\times$ est non de torsion.

Alors, il existe un groupe formel $F$ sur $\mathcal{O}_K$ tel que $f, u \in \text{End}_{\mathcal{O}_K}(F)$.

Points clés techniques :

• Poids 1 : La preuve démontre que le caractère $\chi_f$ associé aux suites cohérentes est bien de poids de Hodge-Tate 1, ce qui est crucial pour l'équivalence avec les groupes formels de hauteur 1.
• Condition de ramification : La condition $(e_K, p^2 - p) = 1$ est utilisée pour garantir l'irréductibilité de certains polynômes de Weierstrass associés aux itérés de $f$, assurant ainsi que l'action de Galois est transitive sur les racines.
• Hypothèse sur $u'(0)$ : L'auteur suppose $u'(0) \in \mathbb{Z}_p^\times$. Bien que raisonnable, il note que cela n'est pas déduit directement des hypothèses originales de Lubin, mais c'est une restriction nécessaire pour la méthode actuelle.

4. Signification et Impact

• Résolution partielle d'une conjecture ouverte : Ce travail résout les cas de hauteur 1 pour des extensions ramifiées (sous condition de tame par rapport à $p^2-p$), comblant un vide laissé par les travaux antérieurs sur $\mathbb{Z}_p$.
• Méthodologie hybride : L'article démontre l'efficacité de combiner l'analyse dynamique $p$-adique (suites cohérentes, polygones de Newton) avec la théorie de Hodge $p$-adique intégrale (modules de Breuil-Kisin, fenêtres, groupes $p$-divisibles).
• Structure cachée : Il confirme l'intuition de Lubin selon laquelle la commutation d'une série non inversible et d'une série inversible implique l'existence d'une structure de groupe formel sous-jacente, même dans des contextes de ramification non triviale.
• Limites et perspectives : Les cas restants (hauteur > 1 sur ces extensions, ou extensions très ramifiées où $(e_K, p^2-p) \neq 1$) restent ouverts. La condition sur le coefficient linéaire de $u$ est également un point à affiner pour une résolution complète de la conjecture.

En résumé, cet article fournit une preuve rigoureuse de la conjecture de Lubin dans un cadre étendu en exploitant la correspondance profonde entre les systèmes dynamiques $p$-adiques et la théorie des représentations galoisiennes cristallines.