Birkhoff genericity on affine subspaces in horospheres

Résumé Technique : Généricité de Birkhoff sur les sous-espaces affines dans les horosphères

Énoncé du Problème
L'article étudie la généricité de Birkhoff des points sur les sous-espaces affines de l'orbite horosphérique expansive d'un flot diagonal simple uniformément expansif sur l'espace des réseaux unimodulaires, $X = \mathrm{SL}_{n+1}(\mathbb{R})/\mathrm{SL}_{n+1}(\mathbb{Z})$. Plus précisément, les auteurs considèrent l'action d'un sous-groupe diagonal à un paramètre $\{a_t\}$ sur des points $u x_0$, où $u$ varie sur un sous-espace affine propre $A$ du sous-groupe horosphérique expansif $U^+_a \cong \mathbb{R}^n$.

Alors que le théorème ergodique de Birkhoff garantit que presque tout point de l'espace entier $X$ est générique, et que des résultats antérieurs ont établi la généricité pour les translatés de mesures lisses sur des sous-variétés sous des actions diagonales, ce travail traite de la question spécifique de savoir si les points initiaux restreints à un sous-espace affine $A$ sont génériques. Les auteurs cherchent à déterminer les conditions sous lesquelles les moyennes temporelles de fonctions continues le long de l'orbite diagonale de points de $A$ convergent vers la moyenne spatiale par rapport à la mesure de probabilité $\mu_X$ invariante par $G$.

Méthodologie
La stratégie de preuve étend les techniques développées par Shi, Shah et d'autres, en intégrant les méthodes de systèmes dynamiques avec l'approximation diophantienne. La méthodologie se déroule à travers plusieurs étapes clés :

1. Non-évasion de la masse : Les auteurs établissent d'abord que pour presque tout point du sous-espace affine, la trajectoire ne « s'échappe pas vers l'infini » (c'est-à-dire que la masse des mesures de moyenne temporelle ne se concentre pas dans le cusp) ; cela est réalisé en construisant une fonction de hauteur de Margulis $\alpha_\varepsilon$ et en analysant son taux de croissance exponentielle le long des trajectoires d'un sous-groupe diagonal commutant $\{b_t\}$. Ils relient ce taux de croissance à l'exposant diophantien $\omega(A)$ de la matrice définissant le sous-espace affine. Si $\omega(A) < n$, le taux de croissance est contrôlé, assurant la non-divergence.

2. Invariance unipotente et rigidité de mesure : En utilisant le résultat de non-évasion et les théorèmes de rigidité de mesure de Ratner pour les flux unipotents, les auteurs montrent que toute limite faible-$*$ des mesures de moyenne temporelle est invariante sous un sous-groupe unipotent. Si une telle mesure limite n'est pas la pleine mesure $G$-invariante, elle doit être supportée sur un « sous-manifold singulier » (une orbite fermée d'un sous-groupe algébrique propre).

3. Évitement des sous-manifolds singuliers : Pour prouver que la mesure limite est effectivement la pleine mesure $G$-invariante, les auteurs doivent montrer que les trajectoires évitent ces sous-manifolds singuliers. Ils construisent une fonction de hauteur spécialisée $\beta_N$ relative au sous-manifold singulier $N$. Cette fonction est conçue pour se contracter sous l'action du flot $\{a_t\}$ (spécifiquement via la composante $c_t$ du flot) tout en s'étendant sous la composante $\{b_t\}$.

4. Obstructions diophantiennes : Le cœur de l'argument lie l'échec de la contraction de la fonction de hauteur (ce qui impliquerait que la trajectoire reste proche du sous-manifold singulier) à des propriétés diophantiennes spécifiques du sous-espace affine. Les auteurs démontrent que si la trajectoire ne converge pas vers l'équidistribution, le sous-espace affine doit satisfaire l'une des deux conditions diophantiennes « mauvaises » suivantes :

   • La matrice définissante possède un exposant diophantien $\omega(A) \ge n$.
   • Le sous-espace affine est « Liouville » dans un sens spécifique : il est arbitrairement bien approximé par des sous-espaces affines de dimension inférieure définis sur un corps de nombres réel $F$ de degré $m \ge 2$, où $n+1 = mr$.

Principales Contributions et Résultats

• Théorème Principal (Théorème 1.2) : Les auteurs prouvent que si l'exposant diophantien $\omega(A) < n$, alors pour presque tout $u \in A$, l'orbite est de Birkhoff générique, à moins que le sous-espace affine ne soit $(F, r-1)$-Liouville pour un certain corps de nombres réel $F$ de degré $m \ge 2$ satisfaisant $n+1 = mr$.

  • Une conséquence significative est que si $n+1$ est premier, la possibilité (2) ne peut pas se produire ; ainsi, pour $n+1$ premier et $\omega(A) < n$, presque tout point est de Birkhoff générique.
  • La condition $\omega(A) < n$ est montrée comme étant optimale ; si $\omega(A) > n$, l'évasion de masse se produit pour chaque point du sous-espace.

• Non-amélioration de Dirichlet (Théorème 1.4) : En tant qu'application, les auteurs en déduisent que pour presque tout point sur de tels sous-espaces affines, le théorème d'approximation de Dirichlet ne peut être amélioré. Spécifiquement, les ensembles de vecteurs de Dirichlet améliorables intersectés avec le sous-espace affine ont une mesure de Lebesgue nulle au sein du sous-espace. Ce résultat affaiblit les conditions requises dans les travaux précédents (spécifiquement pour le cas $d=1, n \ge 3$) pour établir la non-amélioration.

• Résultats de Densité Logarithmique (Théorème 1.5) : L'article établit des résultats précis de densité logarithmique pour l'ensemble des temps $T$ pour lesquels l'approximation de Dirichlet peut être améliorée d'un facteur $\delta$. Pour presque tout point sur le sous-espace, ces densités sont données par des fonctions continues et strictement croissantes $f(\delta)$ et $g(\delta)$, indépendantes du point spécifique.

• Construction Nouvelle de Fonction de Hauteur : Une nouveauté technique de l'article est la construction d'une fonction de hauteur $\beta_N$ spécifiquement adaptée pour mesurer la distance par rapport aux sous-manifolds singuliers associés aux corps de nombres. Cette fonction combine la fonction de hauteur de Margulis standard avec un terme géométrique mesurant la « distance » au sous-ensemble singulier, satisfaisant des propriétés de contraction spécifiques sous le flot diagonal.

Signification et Revendications
L'article affirme fournir une caractérisation complète de la généricité de Birkhoff pour les sous-espaces affines dans les horosphères, identifiant les obstacles diophantiens précis qui empêchent la généricité. Les auteurs positionnent leur travail comme un complément aux résultats existants sur les courbes non dégénérées et les actions de sous-groupes (citant les travaux de Shi, Kleinbock, Weiss, Solan et Wieser).

La signification réside dans :

1. Généralisation : Étendre les résultats de généricité de Birkhoff des courbes et des sous-variétés générales vers le cas spécifique et structuré des sous-espaces affines.
2. Optimalité : Démontrer que la condition de l'exposant diophantien est nette ; l'article note explicitement que si l'exposant est trop grand, la généricité échoue entièrement en raison de l'évasion de masse.
3. Applications Diophantiennes : Fournir une preuve dynamique de la non-amélioration du théorème de Dirichlet sur ces sous-espaces et quantifier la fréquence des améliorations via la densité logarithmique.
4. Phénomènes de Liouville : Mettre en évidence une obstruction « Liouville » spécifique liée aux corps de nombres de degré $m \ge 2$ qui empêche l'équidistribution, un phénomène qui ne se produit pas lorsque $n+1$ est premier.

Les auteurs ne prétendent pas résoudre le cas critique où $\omega(A) = n$, ni proposer de nouvelles applications expérimentales, maintenant leur concentration sur la classification théorique de la généricité et ses conséquences diophantiennes.