🔢 mathematics

From some Pisot numerations to topological groups

Cet article introduit un analogue en tant que groupe topologique des entiers $p$ -adiques pour les systèmes de numération de Pisot qui préservent les zéros, démontrant que ces groupes se projettent de manière homomorphe sur un tore et sont continûment isomorphes à un tore lorsque la numération est unimodulaire.

Auteurs originaux : Olivier Carton, Jake Sudbery, Reem Yassawi

Publié 2026-06-30

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Olivier Carton, Jake Sudbery, Reem Yassawi

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous ayez une façon très spéciale de compter les nombres, différente du système habituel en base 10 que nous utilisons au quotidien. Au lieu de puissances de 10 (1, 10, 100...), vous utilisez une séquence de nombres qui croît selon une règle spécifique, comme la célèbre suite de Fibonacci (1, 1, 2, 3, 5, 8...). Cela est appelé un système de numération de Pisot.

Dans notre monde normal, si vous additionnez deux nombres, n'importe quelle « retenue » (comme quand 5 + 5 = 10, et que l'on reporte le 1) ne se déplace que vers la gauche. Mais dans ces systèmes de comptage spéciaux, les retenues peuvent s'embrouiller et se déplacer à la fois vers la gauche et vers la droite. Cela rend le calcul avec eux complexe et brise les règles habituelles de la construction des systèmes de numération.

L'idée principale : Construire une « Ville Numérique »

Les auteurs de cet article ont voulu construire une « ville mathématique » (un groupe topologique) pour ces systèmes de comptage spéciaux, de la même manière que les mathématiciens ont construit une ville d'entiers p-adiques pour les systèmes standards en base $p$ .

Considérez les entiers p-adiques comme une ville où chaque adresse est une chaîne infinie de chiffres. Dans cette ville, deux nombres sont considérés comme « proches » s'ils partagent une longue queue de chiffres identiques à la fin. Cela crée une structure très ordonnée et élégante.

Les auteurs se sont posé la question suivante : Peut-on construire une ville similaire pour ces systèmes de comptage de type Fibonacci ?

Le problème : Le chaos des « retenues »

Dans les mathématiques standards, si vous additionnez deux nombres, le résultat est prévisible. Dans ces systèmes spéciaux, parce que les retenues peuvent sauter d'un côté à l'autre, la manière habituelle de définir la « proximité » ne fonctionne pas. Si vous essayez d'additionner deux nombres, le résultat peut paraître très différent des entrées d'une manière qui brise la structure fluide de la ville.

Pour corriger cela, les auteurs ont introduit le concept de « préservation des zéros ».

L'analogie : Imaginez que vous essayiez d'empiler des blocs. Dans un système normal, si vous retirez un bloc du bas, toute la tour reste stable. Dans ces systèmes spéciaux, il arrive parfois que retirer un bloc fasse vaciller ou s'effondrer toute la tour.
La solution : Les auteurs ont découvert que si le système « préserve les zéros » (c'est-à-dire que le vacillement est contrôlé et ne devient pas incontrôlable), ils peuvent construire une ville stable. Ils appellent cette nouvelle ville $\mathbb{Z}_U$ .

La grande découverte : La ville est un donut

Une fois cette ville $\mathbb{Z}_U$ construite et ses règles de « proximité » établies, ils ont découvert quelque chose de magnifique sur sa forme.

Ils ont prouvé que cette ville est en fait topologiquement identique à un tore (une forme de donut).

L'analogie : Imaginez que vous preniez une longue bande de papier infinie (représentant tous les nombres possibles dans ce système) et que vous l'enrouliez pour former un tube, puis que vous connectiez les extrémités pour faire un donut. Même si les nombres vont à l'infini, la « forme » de l'ensemble des nombres s'enroule sur elle-même pour former un donut.
Le résultat : Si les règles du système de comptage sont « unimodulaires » (une propriété mathématique spécifique qui maintient l'équilibre), la ville $\mathbb{Z}_U$ est parfaitement identique à cette forme de donut. Si les règles ne sont pas parfaitement équilibrées, la ville se projette toujours sur le donut, mais elle peut s'y enrouler plusieurs fois ou la couvrir de manière plus complexe.

Pourquoi cela importe (selon l'article)

L'article relie trois mondes différents des mathématiques :

Systèmes de comptage : Comment nous écrivons les nombres en utilisant des séquences spéciales (comme Fibonacci).
Topologie : L'étude des formes et des espaces (comme les donuts).
Algèbre : L'étude des groupes et des opérations.

Les auteurs ont montré que la « forme » de l'ensemble des nombres dans ces systèmes spéciaux est un donut. Ils ont également prouvé que cela ne fonctionne que si le système satisfait une condition spécifique appelée « Condition F » (une règle découverte par les mathématiciens Frougny et Solomyak). Si le système suit cette règle, le « chaos des retenues » est maîtrisé, et la forme de donut émerge.

Un exemple visuel

L'article utilise le système Tribonacci (où chaque nombre est la somme des trois précédents) comme exemple.

Ils ont pris la méthode « standard » d'écriture des nombres dans ce système.
Ils ont projeté ces nombres dans un espace géométrique.
Le résultat est une tuile unique et magnifique qui ressemble à une fractale (une forme qui se répète elle-même).
Lorsqu'on assemble toutes ces tuiles, elles remplissent parfaitement un espace sans laisser de vides ni de chevauchements, formant la forme de « donut » décrite précédemment.

Résumé en bref

Cet article traite d'une façon étrange et complexe de compter les nombres, où les retenues mathématiques deviennent désordonnées. Il prouve que si l'on suit un ensemble de règles spécifiques pour contrôler ce désordre, l'ensemble des nombres forme une forme parfaite et lisse : un donut. Cela comble le fossé entre la façon dont nous comptons et les formes géométriques que ces nombres créent.

Résumé technique : De certaines numérations de Pisot aux groupes topologiques

Énoncé du problème
Le groupe additif des entiers $p$ -adiques, $\mathbb{Z}_p$ , est classiquement construit comme la limite projective de groupes finis $\mathbb{Z}/p^n\mathbb{Z}$ ou comme la complétion topologique des entiers naturels $\mathbb{N}$ sous une métrique $p$ -adique dérivée des développements en base- $p$ . Une propriété clé de cette construction est que les retenues se propagent strictement vers la gauche, satisfaisant l'inégalité non archimédienne $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$ .

Cet article traite de la construction d'un groupe topologique analogue pour les systèmes de numération de Pisot. Dans de tels systèmes, les puissances d'une base $p$ sont remplacées par une suite de nombres naturels $(u_n)_{n \geq 0}$ générée par une récurrence linéaire dont le polynôme caractéristique est le polynôme minimal d'un nombre de Pisot (un entier algébrique $\beta > 1$ dont les conjugués se situent strictement à l'intérieur du disque unité). Contrairement aux systèmes en base- $p$ , les numérations de Pisot (par exemple, la numération de Zeckendorf/Fibonacci) présentent une propagation de retenues « non standard », où les retenues peuvent se déplacer à la fois vers la gauche et vers la droite. Par conséquent, les propriétés classiques de la valuation $p$ -adique échouent, et la structure de groupe résultante n'est pas un groupe profini doté d'une topologie de dimension zéro. Les auteurs cherchent à définir un groupe $\mathbb{Z}_U$ qui serve d'analogue à $\mathbb{Z}_p$ pour ces systèmes et à caractériser sa structure topologique.

Méthodologie
Les auteurs construisent le groupe $\mathbb{Z}_U$ à travers les étapes suivantes :

Construction du groupe par quotients :
- Soit $G$ le groupe abélien des séquences de valeurs entières bornées $(g_n)_{n \geq 0}$ pour l'addition composante par composante.
- Une « pseudo-valuation » $\nu_U$ est définie sur les séquences finies basée sur l'ordre du premier chiffre non nul dans l'expansion $U$ -normalisée du nombre représenté.
- Le concept de préservation des zéros est introduit : une numération $U$ préserve les zéros s'il existe une constante $K_c$ telle que pour toute séquence $g$ à entrées bornées, $\nu_U(g) \geq \text{ord}(g) - K_c$ . Cette condition garantit que les retenues ne se propagent pas arbitrairement loin vers la droite.
- Un sous-groupe $H_U \subset G$ est défini comme l'ensemble des séquences $g$ où la valuation des préfixes tend vers l'infini.
- Le groupe des entiers $U$ -adiques est défini comme le quotient $\mathbb{Z}_U := G/H_U$ .
Structure topologique et application :
- Une topologie métrique est définie sur $G$ en utilisant une norme pondérée par les conjugués de $\beta$ , spécifiquement $\|g\|_U = \sum |g_n| \gamma^n$ , où $\gamma < 1$ est le module maximal des conjugués de $\beta$ .
- Un homomorphisme $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$ est construit, associant une séquence à une somme impliquant les conjugués de $\beta$ .
- L'image du sous-groupe $H_U$ par $\tilde{\Phi}$ est montrée comme appartenant à un réseau spécifique $L$ généré par les puissances des conjugués.
- Cela induit un homomorphisme de groupe continu $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$ , où le codomaine est un tore $\mathbb{T}^{d-1}$ .
Équivalence avec la Condition F :
- L'article établit un lien critique entre la condition algébrique de « préservation des zéros » pour la numération $U$ et la Condition F (introduite par Frougny et Solomyak) pour la $\beta$ -numération associée. La Condition F exige que $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$ , signifiant que tout élément de l'anneau $\mathbb{Z}[\beta]$ possède une expansion $\beta$ finie.
- Les auteurs prouvent que $U$ préserve les zéros si et seulement si le $\beta$ associé satisfait la Condition F.

Contributions clés et résultats

Définition de $\mathbb{Z}_U$ : L'article introduit $\mathbb{Z}_U$ comme un groupe topologique qui généralise les entiers $p$ -adiques aux numérations de Pisot. Il est démontré que les éléments de $\mathbb{Z}_U$ peuvent être représentés par des séquences de chiffres normalisées infinies.
Isomorphisme topologique avec un tore :
- Théorème 1 : Si $U$ est une numération de Pisot associée à un nombre de Pisot $\beta$ de degré $d$ et que $U$ préserve les zéros, il existe un épimorphisme de groupe continu $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$ .
- Cas unimodulaire : Si $\beta$ est unimodulaire (la norme de $\beta$ est $\pm 1$ ), alors $\Phi$ est un isomorphisme de groupe continu. Ainsi, $\mathbb{Z}_U$ est topologiquement isomorphe à un tore de dimension $(d-1)$ .
Caractérisation de la préservation des zéros : L'article fournit une procédure de décision pour déterminer quand une numération préserve les zéros en la liant à la Condition F. Il confirme que les numérations $k$ -bonacci standards (incluant Fibonacci) préservent les zéros.
Réalisation géométrique : Le groupe $\mathbb{Z}_U$ admet une représentation géométrique comme un pavage de l'espace euclidien (ou d'un domaine fondamental du tore). La carte $\Phi$ envoie les éléments du groupe vers des points sur le tore, où l'image des expansions normalisées forme un pavage (par exemple, le fractal de Rauzy pour le cas Tribonacci).

Signification et affirmations
Les auteurs positionnent leur travail comme comblant une lacune dans la compréhension de la structure algébrique des systèmes de numération. Bien que des travaux antérieurs (par exemple, Vershik, Rittaud, Vivier) aient exploré les complétions de numérations spécifiques ou des connexions avec les tuiles de Wang, cet article construit explicitement la structure de groupe pour la classe générale des numérations de Pisot satisfaisant la préservation des zéros.

L'article affirme que :

La construction de $\mathbb{Z}_U$ fournit un cadre algébrique rigoureux pour la « décomposition de Fibonacci des naturels » et des systèmes similaires, allant au-delà de la théorie des caractères pour proposer des isomorphismes de groupes explicites.
La condition de préservation des zéros est l'analogue précis de la Condition F dans le contexte de la construction de groupes topologiques à partir de numérations.
Contrairement aux entiers $p$ -adiques qui sont de dimension zéro, ces groupes sont des variétés de dimension supérieure (tore) lorsque le nombre sous-jacent est unimodulaire.
Les résultats sont spécifiques aux numérations et non simplement aux substitutions, bien que les auteurs notent que leurs résultats peuvent être transférés aux $\beta$ -substitutions pour déduire que ces décalages sont presque automorphes (un résultat qui sera détaillé dans des travaux futurs).

L'article note explicitement des limites : la structure multiplicative de $\mathbb{Z}_p$ ne se transpose pas naturellement à $\mathbb{Z}_U$ car la multiplication entière standard n'est pas compatible avec la topologie (elle ne préserve pas les zéros), et les multiplications alternatives (comme celles de Knuth) manquent de distributivité. Ainsi, l'accent reste strictement mis sur la structure de groupe additif topologique.