The M öbius Disjointness Conjecture on infinite-dimensional torus

Cet article démontre que la conjecture de disjonction de Möbius de Sarnak est vérifiée pour un flot distal et irrégulier défini sur le tore de dimension infinie $\mathbb{T}^\omega$.

L'essentiel

🌌 Le Mystère des Nombres et de l'Infini : Une Danse sur un Tapis Magique

Imaginez que vous êtes face à deux mondes qui semblent ne jamais se rencontrer :

1. Le monde des Nombres (la Théorie des Nombres) : C'est le domaine des nombres premiers (2, 3, 5, 7...) et d'une suite de nombres très capricieuse appelée la fonction de Möbius. Cette fonction change de signe de manière imprévisible, comme un dé qui tourne sans jamais s'arrêter sur le même chiffre.
2. Le monde du Mouvement (la Dynamique) : C'est l'étude de systèmes qui bougent, tournent et évoluent dans le temps, comme une planète autour d'une étoile ou une balle qui rebondit.

La grande question de ce papier :
Le mathématicien Peter Sarnak a émis une hypothèse (une conjecture) brillante il y a quelques années : « La fonction de Möbius est si désordonnée qu'elle ne peut jamais "danser" en rythme avec un système dynamique qui n'est pas trop chaotique. » En termes simples : si vous essayez de mélanger la suite des nombres de Möbius avec un système qui tourne de manière régulière, le résultat moyen devrait toujours tendre vers zéro. C'est comme si vous essayiez de synchroniser une musique de jazz totalement libre avec une marche militaire stricte : ça ne colle pas, ça s'annule.

Ce papier de Qingyang Liu, Jing Ma et Hongbo Wang vient prouver que cette hypothèse est vraie pour un système particulièrement étrange et complexe : le tore de dimension infinie.

---

🎡 L'Analogie du Tapis de Danse Infini

Pour comprendre leur découverte, imaginons un tapis de danse, mais pas n'importe lequel.

1. Le Tapis (Le Tore Infini) :
   Imaginez un tapis de danse qui n'a pas seulement une longueur et une largeur, mais une infinité de dimensions. C'est comme un immeuble infini où chaque étage est un cercle. Vous êtes un danseur qui doit bouger sur tous les étages en même temps.

   • En mathématiques : C'est le "Tore Infini" ($T_\omega$).

2. La Chorégraphie (Le Système T) :
   Le système décrit dans le papier est une chorégraphie très spécifique :

   • Vous avancez d'un pas régulier sur le premier étage (c'est simple).
   • Mais sur le deuxième étage, votre pas dépend de votre position sur le premier.
   • Sur le troisième étage, votre pas dépend de votre position sur le premier, mais décalée dans le temps.
   • Et ainsi de suite, à l'infini.
     C'est une machine à étages imbriqués. Si vous changez un tout petit peu votre position au rez-de-chaussée, cela modifie votre trajectoire sur tous les étages supérieurs, un peu comme un effet papillon, mais de manière très contrôlée.

3. Le Problème de la "Régularité" :
   Habituellement, pour prouver que la musique de jazz (Möbius) ne colle pas avec la marche militaire (le système), on a besoin que le système soit "lisse" et prévisible.

   • Dans ce papier, les auteurs montrent que même si ce système infini est très complexe et que sa moyenne de mouvement ne se stabilise jamais (il est "irrégulier"), il reste assez "propre" pour que la fonction de Möbius ne puisse pas s'y accrocher.

---

🔍 Comment ont-ils résolu l'énigme ?

Les auteurs utilisent deux stratégies principales, comme deux clés différentes pour ouvrir la même porte.

Clé 1 : La "Rigidité Polynomiale" (Le Mécanisme de l'Horloge)

Imaginez que votre tapis de danse infini a un secret : bien qu'il semble bouger de façon folle, il a tendance à revenir très près de sa position de départ à des moments précis, et ce retour est très prévisible mathématiquement.

• L'analogie : C'est comme une horloge qui, au lieu de faire un tic-tac parfait, fait des petits bonds. Mais si vous attendez assez longtemps (à un rythme polynomial), vous verrez que l'aiguille revient exactement là où elle était, avec une précision incroyable.
• Le résultat : Les auteurs prouvent que ce système infini a cette propriété de "retour précis". Comme la fonction de Möbius est trop désordonnée pour suivre ces retours précis, elle s'annule.

Clé 2 : La "Complexité Sous-Polynomiale" (Le Puzzle Facile)

Imaginez que vous essayez de décrire la position de votre danseur sur le tapis infini après $N$ secondes.

• Si le système était chaotique, vous auriez besoin d'une quantité astronomique d'informations (des milliards de pages) pour décrire toutes les positions possibles.
• Les auteurs montrent que, pour ce système, le nombre d'informations nécessaires pour décrire le mouvement reste très faible (beaucoup moins que ce qu'on attendrait pour un système infini).
• L'analogie : C'est comme si, au lieu d'avoir un labyrinthe infini et labyrinthique, le tapis de danse avait en fait une structure très simple, presque plate, cachée sous des couches de complexité apparente.
• Le résultat : Un système "simple" (en termes de complexité) ne peut pas cacher la fonction de Möbius. Elle finit toujours par ressortir et s'annuler.

---

🏆 Pourquoi est-ce important ?

Avant ce papier, on savait que cette règle fonctionnait pour des systèmes simples (comme un cercle) ou des systèmes à 2 dimensions.
Ce papier est une victoire majeure car il étend cette règle à un monde infini.

• L'impact : Cela confirme que la connexion entre les nombres premiers (le monde des mathématiques pures) et la dynamique des systèmes (le monde du mouvement) est beaucoup plus profonde et universelle qu'on ne le pensait. Même dans des systèmes infinis et complexes, le chaos des nombres premiers reste "indépendant" de la structure du mouvement.

En résumé

Les auteurs ont pris un système de danse infini, très compliqué et un peu bizarre, et ils ont prouvé qu'il est "trop propre" pour que la fonction de Möbius (le désordre mathématique) puisse s'y mélanger. C'est comme si vous aviez prouvé que même dans un univers infini, le chaos ne peut pas toujours gagner : il y a toujours une structure sous-jacente qui empêche le désordre total.

Le message clé : La fonction de Möbius reste le grand solitaire des mathématiques, incapable de trouver un rythme commun, même avec les systèmes les plus infinis et les plus complexes.

Résumé technique

1. Problématique et Contexte

Conjecture de Disjointé de Möbius (Sarnak) :
La conjecture énoncée par Peter Sarnak postule que la fonction de Möbius $\mu(n)$ est linéairement disjointe de tout flot dynamique $(X, T)$ à entropie topologique nulle. Formellement, pour toute fonction continue $f \in C(X)$ et tout point $x \in X$, la moyenne pondérée suivante doit tendre vers zéro :
$$\lim_{N \to \infty} \frac{1}{N} \sum_{n \le N} \mu(n) f(T^n x) = 0$$

Le Défi Spécifique :
L'article se concentre sur un cas particulier complexe : les flots définis sur le tore infini-dimensionnel $\mathbb{T}^\omega = \prod_{k=1}^\infty \mathbb{T}$ (produit direct complet de copies du cercle unité).
Le système étudié est un produit skew (ou skew-product) infini-dimensionnel $T : \mathbb{T}^\omega \to \mathbb{T}^\omega$ défini par :
$$T : (x_1, x_2, \dots, x_k, \dots) \mapsto (x_1 + \alpha, x_2 + h(x_1), \dots, x_k + h(x_1 + (k-2)\beta), \dots)$$
où :

• $\alpha \in \mathbb{R}$ et $\beta \in \mathbb{R} \setminus \mathbb{Q}$ (irrationnel).
• $h : \mathbb{R} \to \mathbb{R}$ est une fonction 1-périodique de classe $C^{1+\varepsilon}$.

Particularités du système :

• Ces flots sont distaux (la distance entre deux orbites distinctes ne tend jamais vers zéro), ce qui implique une entropie topologique nulle (théorème de Parry).
• Ils sont irréguliers au sens où la moyenne de Birkhoff n'existe pas pour tous les points $x \in \mathbb{T}^\omega$.
• L'objectif est de prouver que la conjecture de Sarnak tient pour cette classe de systèmes, généralisant des résultats antérieurs obtenus sur le tore bidimensionnel $\mathbb{T}^2$.

---

2. Méthodologie

Les auteurs adoptent une approche bifurquée selon la nature arithmétique du paramètre de rotation $\alpha$.

A. Cas où $\alpha$ est rationnel

• Approche : Arithmétique pure.
• Outil : Le théorème réduit à une estimation classique de Davenport sur les sommes exponentielles impliquant la fonction de Möbius.
• Logique : Lorsque $\alpha$ est rationnel, la dynamique sur la première coordonnée est périodique. La structure du produit skew permet de décomposer la somme en classes de résidus modulo le dénominateur de $\alpha$, rendant l'application du lemme de Davenport directe.

B. Cas où $\alpha$ est irrationnel

• Approche : Théorie des systèmes dynamiques et analyse harmonique.
• Stratégie : Les auteurs établissent la conjecture en démontrant que le système satisfait l'un des deux critères dynamiques suffisants pour la disjointé de Möbius, développés récemment par Huang-Wang-Ye et Kanigowski-Lemanczyk-Radziwill :
  1. Rigidité à taux polynomial (PR rigidity) : Le système possède une séquence de temps $\{r_n\}$ où l'opérateur de Koopman converge rapidement vers l'identité pour une sous-ensemble dense de fonctions.
  2. Complexité de mesure sous-polynomiale : Le nombre de boules nécessaires pour couvrir l'espace (avec une erreur de mesure $\epsilon$) croît plus lentement que toute puissance $n^\tau$.

Techniques clés utilisées :

• Développement en fraction continue : Utilisation des convergents $p_k/q_k$ de $\alpha$ pour construire les séquences de rigidité.
• Analyse de Fourier sur $\mathbb{T}^\omega$ : Exploitation de la densité des polynômes trigonométriques et des propriétés du groupe dual $\mathbb{Z}^\infty$.
• Conjugaison de systèmes : Dans le cas de la complexité de mesure, les auteurs construisent des isomorphismes mesurables entre le système skew $T$ et des rotations simples (ou des systèmes à spectre discret) en utilisant des fonctions de transfert (cobordures) dérivées des coefficients de Fourier de $h$.
• Distinction des cas pour $h$ : Pour la preuve de la complexité de mesure, ils distinguent si l'ensemble des indices $M$ (lié aux approximations diophantiennes de $\alpha$ et aux coefficients de Fourier de $h$) est fini ou infini.

---

3. Résultats Principaux

Le résultat central de l'article est le Théorème 1.1 :

Théorème 1.1 : Soit $T$ défini comme ci-dessus avec $\alpha \in \mathbb{R}$, $\beta \in \mathbb{R} \setminus \mathbb{Q}$, et $h$ une fonction 1-périodique de classe $C^{1+\varepsilon}$. Alors la conjecture de disjointé de Möbius est vraie pour le système $(\mathbb{T}^\omega, T)$.

Détails des résultats intermédiaires :

1. Théorème 3.1 (Rigidité Polynomiale) :
   Pour $\alpha$ irrationnel et $h \in C^{1+\varepsilon}$, le système $(\mathbb{T}^\omega, T, \nu)$ possède une rigidité à taux polynomial pour toute mesure invariante $\nu$. Cela implique directement la conjecture de Sarnak via le critère de Kanigowski et al.

2. Théorème 3.2 (Complexité de Mesure Sous-Polynomiale) :
   Pour $\alpha$ irrationnel et $h \in C^\infty$ (lisse), le système possède une complexité de mesure sous-polynomiale. Cela fournit une preuve alternative et indépendante de la conjecture pour cette sous-classe de régularité, basée sur le critère de Huang, Wang et Ye.

3. Généralisation par rapport aux travaux antérieurs :

   • L'article généralise les résultats de Liu et Sarnak (sur $\mathbb{T}^2$) et de Liu (sur les flots irréguliers de Furstenberg sur $\mathbb{T}^\omega$).
   • Contrairement aux travaux précédents sur les flots irréguliers de Furstenberg qui imposaient des conditions techniques restrictives sur les coefficients de Fourier de $h$ (liées à la croissance exponentielle des dénominateurs des convergents), le Théorème 1.1 s'applique à toute fonction $h \in C^{1+\varepsilon}$ sans conditions supplémentaires sur ses coefficients de Fourier.
   • Le résultat est valable pour tout $\alpha \in \mathbb{R}$, sans restriction diophantienne (contrairement à de nombreux résultats en théorie KAM).

---

4. Signification et Impact

• Avancée Théorique : Ce travail constitue une étape majeure dans la compréhension de la conjecture de Sarnak au-delà des systèmes de dimension finie. Il démontre que la structure distale, même dans un espace de dimension infinie et avec une régularité faible ($C^{1+\varepsilon}$), suffit à garantir la disjointé de Möbius.
• Méthodologie Unifiée : L'article offre une double preuve (rigidité et complexité de mesure) qui enrichit la boîte à outils des chercheurs en systèmes dynamiques. La preuve par rigidité est particulièrement notable car elle fonctionne avec une régularité $C^{1+\varepsilon}$, ce qui est optimal pour certaines applications en théorie KAM.
• Lien entre Arithmétique et Dynamique : En traitant le cas rationnel via l'arithmétique et le cas irrationnel via la dynamique, l'article illustre parfaitement l'interconnexion profonde entre la théorie analytique des nombres (sommes de Möbius, approximations diophantiennes) et la théorie ergodique.
• Ouverture de nouvelles pistes : La question de savoir si la rigidité à taux polynomial implique toujours une complexité de mesure sous-polynomiale reste ouverte, mais ce papier fournit des exemples concrets où les deux propriétés coexistent pour des systèmes complexes.

En résumé, Liu, Ma et Wang ont réussi à étendre la validité de la conjecture de Sarnak à une classe très large de flots distaux infinis, en levant des restrictions techniques antérieures et en consolidant les liens entre l'analyse harmonique, la théorie des nombres et la dynamique topologique.