Pointwise ergodic averages along the Omega function in number fields

Résumé Technique : Moyennes Ergodiques Ponctuelles le long de la Fonction Omega dans les Corps de Nombres

Énoncé du Problème
Cet article étudie les propriétés de convergence des moyennes ergodiques le long de séquences arithmétiques définies par la fonction Omega ($\Omega$) et la fonction des facteurs premiers distincts ($\omega$) dans le contexte des corps de nombres. Le problème central aborde deux comportements contrastés dans les systèmes dynamiques :

1. Échec de la Convergence Ponctuelle : Dans les systèmes ergodiques généraux (spécifiquement les systèmes de conservation de mesure inversibles et non atomiques), ces moyennes échouent-elles à converger ponctuellement ? Présentent-elles la « propriété de balayage fort » (strong sweeping-out property), où la limite supérieure de la moyenne d'une fonction caractéristique est 1 et la limite inférieure est 0 pour presque tout point ?
2. Convergence dans les Systèmes Uniquement Ergodiques : Ces moyennes convergent-elles ponctuellement vers la moyenne spatiale lorsque le système dynamique sous-jacent est uniquement ergodique ?

Les auteurs étendent les résultats précédents de Bergelson et Richter (pour $\mathbb{Q}$) et de Donoso et al. (pour les entiers de Gauss) à des corps de nombres arbitraires et à des schémas de moyennage plus complexes, tels que les sommes de carrés ($m^2+n^2$).

Méthodologie
L'article emploie une synthèse de la théorie ergodique et de la théorie analytique des nombres. La méthodologie est divisée en deux branches principales :

1. Établir le Balayage Fort (Échec de la Convergence) :

   • Les auteurs utilisent un critère introduit par del Junco et Rosenblatt, qui repose sur la vérification d'une inégalité maximale pour les opérateurs de moyennage.
   • Pour vérifier cette inégalité sans calcul direct sur des systèmes arbitraires, ils emploient un principe de transfert (Proposition 2.11) qui réduit le problème à la vérification du comportement du schéma de moyennage sur un intervalle fini d'entiers.
   • Crucialement, les auteurs lient la propriété de balayage fort au théorème d'Erdős–Kac. Ils prouvent que si un schéma de moyennage satisfait un théorème de type Erdős–Kac (c'est-à-dire que la distribution de la fonction arithmétique, normalisée par $\log_2 N$, converge vers une gaussienne standard), alors le schéma présente la propriété de balayage fort.
   • Ils appliquent des résultats de théorie des nombres (Hardy–Ramanujan, Sathé–Selberg, et des extensions spécifiques de Liu et Wu) pour démontrer que $\Omega_K$ et $\omega_K$ sur les idéaux de corps de nombres, ainsi que $\Omega(m^2+n^2)$, satisfont ces conditions de distribution.

2. Établir la Convergence Ponctuelle :

   • Pour les systèmes uniquement ergodiques, les auteurs adoptent une approche impliquant l'invariance par décalage asymptotique.
   • Ils prouvent que pour les suites bornées, la moyenne de $f(T^{c(a)+1}x)$ est asymptotiquement équivalente à la moyenne de $f(T^{c(a)}x)$. Cela repose sur les propriétés statistiques de $\Omega_K$ et $\omega_K$ (spécifiquement le théorème de Hardy–Ramanujan et les formules asymptotiques de Sathé–Selberg) pour montrer que la distribution de poids des fonctions se décale de manière négligeable quand $N \to \infty$.
   • Cette invariance par décalage, combinée à l'unicité ergodique du système, implique la convergence des moyennes ergodiques vers l'intégrale de la fonction par rapport à la mesure invariante.
   • La convergence en norme est dérivée de la théorie spectrale (théorème de Bochner–Herglotz) et du fait que les moyennes convergent vers zéro pour les rotations irrationnelles.

Contributions Clés et Résultats

• Critère Général pour le Balayage Fort (Théorème 3.5) : L'article établit que tout schéma de moyennage satisfaisant un théorème de type Erdős–Kac présente la propriété de balayage fort. Cela généralise les résultats précédents de Loyd et Mondal.
• Extension aux Corps de Nombres Arbitraires (Théorème 1.4) : Les auteurs prouvent que pour tout corps de nombres $K$, les moyennes le long de $\Omega_K$ (facteurs premiers totaux) et $\omega_K$ (facteurs premiers distincts) des idéaux satisfont la propriété de balayage fort dans les systèmes ergodiques non atomiques. Cela généralise le résultat de Loyd de $\mathbb{Q}$ à tous les corps de nombres.
• Résolution de la Question 1 (Théorème 3.10) : Le papier répond affirmativement à une question posée par Le, Moreira, Sun et le second auteur concernant les moyennes $\frac{1}{N^2} \sum_{1 \le m,n \le N} f(T^{\Omega(m^2+n^2)}x)$. Les auteurs prouvent que ces moyennes présentent également la propriété de balayage fort en montrant que $\Omega(m^2+n^2)$ satisfait un théorème de type Erdős–Kac (Lemmes 3.8 et 3.9).
• Convergence Ponctuelle dans les Systèmes Uniquement Ergodiques (Théorème 1.5) : Les auteurs prouvent que pour tout système uniquement ergodique $(X, T)$ et toute fonction continue $f$, les moyennes le long de $\Omega_K$ et $\omega_K$ convergent ponctuellement vers $\int f d\mu$. Cela récupère le théorème de Bergelson–Richter pour $\mathbb{Q}$ et l'étend aux entiers de Gauss et aux corps de nombres généraux.
• Convergence en Norme (Théorème 4.6) : L'article établit la convergence de la norme $L^2$ pour ces moyennes dans les systèmes de conservation de mesure généraux.
• Corollaires de Théorie des Nombres : En utilisant les résultats de convergence dynamique, les auteurs dérivent des résultats d'équidistribution pour $\Omega_K$ et $\omega_K$ modulo $m$ (généralisant Pillai–Selberg) et pour les parties fractionnaires $\{\alpha \Omega_K(a)\}$ (généralisant Erdős–Delange).

Signification et Revendications
L'article prétend fournir un cadre unifié pour comprendre la divergence et la convergence des moyennes ergodiques le long de fonctions arithmétiques dans les corps de nombres.

• Concernant la Divergence : Les auteurs affirment que la propriété de balayage fort est un phénomène robuste pour ces moyennes, dépendant uniquement du fait que la fonction arithmétique satisfasse une distribution de type Erdős–Kac. Cela résout la question ouverte concernant le cas spécifique de $\Omega(m^2+n^2)$ et généralise la portée des résultats de divergence connus à tous les corps de nombres.
• Concernant la Convergence : Les auteurs démontrent que si la convergence ponctuelle échoue dans les systèmes ergodiques généraux, elle est restaurée dans les systèmes uniquement ergodiques. Les auteurs notent que leur preuve pour le Théorème 1.5 repose sur un renforcement du théorème des idéaux premiers de Landau et ne fournit pas une nouvelle preuve de ce théorème lui-même.
• Limites et Problèmes Ouverts : Les auteurs notent modestement que leurs méthodes sont insuffisantes pour prouver la convergence pour d'autres types de moyennes ergodiques, telles que celles impliquant $\Omega(N(a))$ (où l'argument est la norme elle-même plutôt que l'idéal). Ils suggèrent qu'un « énoncé dynamique » concernant les actions multiplicatives définies par les idéaux premiers serait nécessaire pour résoudre ces cas, notant que cela reste un problème ouvert.

En résumé, ce travail jette un pont entre la distribution statistique des facteurs premiers dans les corps de nombres et le comportement ergodique des systèmes dynamiques, confirmant que le comportement de « balayage fort » est le résultat générique pour ces moyennes dans les systèmes non atomiques, tandis que la convergence ponctuelle est préservée dans le cadre uniquement ergodique.