Infinitely many holes in connectedness loci for collinear affine iterated function systems

Résumé technique : Infinité de trous dans les loci de connexité pour les systèmes de fonctions itérées affines colinéaires

Énoncé du problème
Cet article étudie la topologie des loci de connexité pour une famille spécifique de systèmes de fonctions itérées (IFS) affines. Les systèmes sont définis par $n$ applications colinéaires sur le plan complexe avec des translations espacées uniformément. Plus précisément, pour un entier $n \ge 2$, l'IFS est donné par $f_t(z) = t + z/c$ où $t$ appartient à l'ensemble $A_n = \{-n+1, -n+3, \dots, n-1\}$. Le locus de connexité $M_n$ est l'ensemble des paramètres $c \in \mathbb{C} \setminus \mathbb{D}$ (où $\mathbb{D}$ est le disque unité ouvert) pour lesquels l'attracteur $E(c, n)$ est connexe.

Alors que le cas $n=2$ (deux applications) avait été étudié précédemment par Calegari, Koch et Walker, qui avaient prouvé l'existence d'une infinité de « trous » (composantes connexes bornées du complément du locus) s'accumulant en un point de renormalisation, le statut de $M_n$ pour $n \ge 3$ était une conjecture ouverte. Cet article vise à prouver que pour tout $n \ge 2$, le locus $M_n$ contient une infinité de trous.

Méthodologie et cadre théorique
Les auteurs emploient une combinaison de la théorie des racines arithmétiques et de techniques géométriques de « capture finie » dérivées d'un préprint compagnon [4].

1. Formulation arithmétique : Le locus de connexité $M_n$ est caractérisé comme la clôture des racines de polynômes moniques dont les coefficients non principaux appartiennent à l'intervalle entier $D_n = \{-n+1, \dots, n-1\}$. Cette équivalence repose sur un critère de « point marqué » : $c \in M_n$ si et seulement si $2c$ appartient à l'attracteur de différence $E(c, N)$, où $N = 2n-1$.
2. Piège géométrique et enveloppe : La preuve utilise un « piège » canonique $C_0(c)$ (un parallélogramme ouvert centré en 0) et une « enveloppe fermée » $E_{enc}(c, N)$.
   • Certification d'intérieur : Si un paramètre $c$ permet à une orbite inverse finie de $2c$ de tomber à l'intérieur du piège $C_0(c)$, alors $c$ appartient à l'intérieur de $M_n$.
   • Certification d'extérieur : Si un arbre inverse fini de $2c$ devient vide (c'est-à-dire qu'aucune orbite inverse admissible ne subsiste à l'intérieur de l'enveloppe), alors $c \notin M_n$.
3. Construction de témoin de boucle : Pour prouver l'existence d'un trou, les auteurs construisent un « témoin de boucle » $(\Gamma, c^*)$. Celui-ci consiste en une courbe de Jordan $\Gamma \subset M_n$ et un paramètre témoin $c^*$ situé à l'intérieur de la composante bornée de $\Gamma$ tel que $c^* \notin M_n$. L'existence d'une telle paire implique qu'un trou existe à l'intérieur de $\Gamma$.

Contributions clés et construction
Le cœur de l'article est la construction d'une « famille stationnaire » de trous pour $n \ge 3$.

• Parallélogrammes fantômes : Les auteurs définissent un « parallélogramme fantôme » de profondeur $m$ comme un quintuplet de mots $(d^{(1)}, d^{(2)}, d^{(3)}, d^{(4)}; w)$ où les quatre mots de coins sont admissibles (appartiennent à l'alphabet $A_N$), mais le mot milieu $w$ est inadmissible (contient un chiffre impair, n'appartient donc pas à $A_N$).
• Configuration de base : Pour chaque $n \ge 3$, un ensemble spécifique de quatre mots admissibles de longueur 18 est construit. Leur mot milieu $w_1$ possède un chiffre impair à la 10ème position, ce qui en fait un mot fantôme. Les frontières des quatre charts correspondants forment une courbe de Jordan $\Gamma_{n,1}$ dans $M_n$.
• Transport stationnaire : Un opérateur de renormalisation $R$ est défini, qui transforme les mots de longueur $m$ en mots de longueur $m+3$. Cet opérateur préserve la relation de milieu et la propriété « fantôme » (le premier chiffre impair se décale mais reste impair). En itérant cet opérateur, les auteurs génèrent une séquence infinie de parallélogrammes fantômes de profondeur croissante $m_k = 3k + 15$.
• Paramètres témoins : Pour chaque niveau $k$, le mot milieu $w_k$ définit un polynôme $W_{w_k}(c)$. Les auteurs prouvent que dans une « boîte témoin » $B_n$ spécifique, il existe une racine unique $c_{n,k}$ de $W_{w_k}$.
  • En utilisant le théorème de Rouché et des bornes algébriques explicites, ils montrent que $c_{n,k}$ se trouve à l'intérieur de la courbe de Jordan $\Gamma_{n,k}$ formée par les frontières des quatre charts admissibles au niveau $k$.
  • Ils prouvent par ailleurs que $c_{n,k}$ n'est pas dans $M_n$ car son arbre inverse devient vide à une profondeur finie (spécifiquement, $T_{m_k-1}(c_{n,k}) = \emptyset$).

Résultats

1. Infinité de trous : Pour tout $n \ge 2$, le locus de connexité $M_n$ possède une infinité de trous.
   • Pour $n=2$, le résultat découle de l'inversion du paramètre et des travaux connus de Calegari–Koch–Walker.
   • Pour $n \ge 3$, le résultat est prouvé par la construction d'une séquence infinie de trous disjoints $(\Gamma_{n,k}, c_{n,k})$ pour $k$ impair.
2. Point d'accumulation algébrique : La séquence des paramètres témoins $c_{n,k}$ converge vers un point limite unique $\xi_n$ lorsque $k \to \infty$.
   • Ce $\xi_n$ est l'unique zéro d'un polynôme explicite de degré 13, $Q_n(c)$, situé dans la boîte témoin $B_n$.
   • $\xi_n$ se situe sur la frontière de $M_n$ ($\xi_n \in \partial M_n$) et est un nombre algébrique de degré au plus 13.
   • Tout voisinage de $\xi_n$ contient une infinité de trous distincts de $M_n$.

Signification et affirmations
L'article prétend résoudre une conjecture concernant la topologie des loci de connexité pour les IFS affines colinéaires possédant plus de deux applications.

• Généralisation : Il étend le phénomène connu d'« infinité de trous » du cas à deux applications ($n=2$) à tous les $n \ge 3$.
• Mécanisme : Contra à l'effet du cas $n=2$ où le mécanisme est lié à la géométrie spécifique de deux applications, l'article démontre un mécanisme « stationnaire » basé sur le transport d'une « vacance fantôme » (un chart central manquant dû à un mot milieu inadmissible). Ce mécanisme est uniforme pour tous les $n \ge 3$.
• Certification : Les preuves reposent sur des certificats algébriques exacts (vérifications de signes, de comptage de racines et de non-intersection) plutôt que sur l'inspection visuelle, garantissant que les trous sont rigoureusement établis.
• Point limite : L'identification d'un point de frontière algébrique canonique $\xi_n$ où ces trous s'accumulent fournit une description structurelle précise du comportement de renormalisation pour ces systèmes.

L'article ne propose pas de nouvelles applications ou configurations expérimentales ; sa contribution est strictement théorique, faisant progresser la compréhension de la topologie fractale des espaces de paramètres de ces systèmes.