Résumé technique : Mesures de Hausdorff logarithmiques positives des ensembles exceptionnels pour les conjectures de Littlewood $p$-adique et $t$-adique

1. Énoncé du problème

L'article traite des propriétés métriques des ensembles exceptionnels associés à deux conjectures majeures de l'approximation diophantienne : la conjecture de Littlewood $p$-adique et la conjecture de Littlewood $t$-adique.

• La conjecture de Littlewood $p$-adique : Introduite par de Mathan et Teulié, elle postule que pour tout nombre réel $x \in \mathbb{R}$ et pour tout nombre premier $p$,
  $$\liminf_{q \to \infty} q |q|_p \|qx\| = 0,$$
  où $| \cdot |_p$ est la valeur absolue $p$-adique normalisée et $\| \cdot \|$ est la distance à l'entier le plus proche.
• La conjecture de Littlewood $t$-adique : Un analogue en corps de fonctions sur un corps fini $\mathbb{F}_q$, affirmant que pour tout série de Laurent formelle $\Theta \in \mathbb{F}_q((t^{-1}))$,
  $$\inf_{0 \neq Q \in \mathbb{F}_q[t]} |Q| |Q|_t |\langle Q\Theta \rangle| = 0,$$
  où $|Q| = q^{\deg Q}$, $|Q|_t = q^{-v_t(Q)}$, et $\langle \cdot \rangle$ désigne la partie fractionnaire.

Il est connu que si des contreexemples existent, ils doivent appartenir à l'ensemble des nombres bornés (badly approximable), qui est de mesure de Lebesgue nulle. De plus, des résultats antérieurs d'Einsiedler, Katok, Lindenstrauss et Kleinbock ont établi que la dimension de Hausdorff de ces ensembles exceptionnels est nulle. La question centrale abordée par cet article est : Si ces ensembles exceptionnels sont non vides, quelle est leur "taille" dans un sens métrique plus fin ? Plus précisément, les auteurs étudient leur taille par rapport aux mesures de Hausdorff logarithmiques, qui sont plus sensibles que les mesures standards en loi de puissance lorsque la dimension est nulle.

2. Méthodologie

Les auteurs emploient une combinaison de la théorie des systèmes dynamiques, de la dynamique symbolique et des principes de distribution de masse pour dériver des bornes inférieures sur les mesures de Hausdorff des ensembles exceptionnels.

2.1 Formulation dynamique

Le problème est reformulé en termes d'orbites de cartes dynamiques spécifiques :

• Pour le cas $p$-adique, la carte est $T_p(y) = py \pmod 1$ sur le cercle $\mathbb{T} = \mathbb{R}/\mathbb{Z}$. L'ensemble exceptionnel $E_p$ est lié aux fermetures d'orbites $F_p(x)$ des contreexemples.
• Pour le cas $t$-adique, la carte est le décalage à gauche unidirectionnel $T$ sur l'espace des séries de Laurent $I_q = t^{-1}\mathbb{F}_q[[t^{-1}]]$. L'ensemble exceptionnel $E_q^{(t)}$ est analysé via les fermetures d'orbites $K(\Theta)$.

2.2 Estimations diophantiennes uniformes

Une étape technique centrale consiste à établir une borne inférieure uniforme sur la qualité d'approximation pour tous les points dans la fermeture de l'orbite d'un contreexemple.

• Si $x$ est un contreexemple avec $m_p(x) > 0$, les auteurs prouvent que pour tout $y$ dans la fermeture de l'orbite de $x$, et pour tout entier $q$, la quantité $q|q|_p \|qy\|$ est minorée par une constante positive $\beta$.
• De même, pour le cas $t$-adique, une borne inférieure uniforme $c$ est établie pour l'orbite de tout contreexemple $\Theta$.

2.3 Temps de retour et séparation des cylindres

Les bornes diophantiennes uniformes sont traduites en contraintes sur les temps de retour aux cylindres dans la représentation symbolique (expansion en base-$p$ ou coefficients de séries de Laurent).

• Lemme 2.7 (Temps de retour) : Si un point $y$ et son itéré $T^d y$ tombent dans le même cylindre d'ordre $n$, le décalage $d$ doit satisfaire $n < d + \text{const}$.
• Cela implique que les préimages d'un cylindre sous la carte sont deux à deux disjointes pour un nombre suffisamment grand d'itérations. Cette séparation empêche la masse de l'orbite de se concentrer trop lourdement sur de petits intervalles.

2.4 Principe de distribution de masse

Les auteurs construisent des mesures de probabilité de Borel invariantes supportées sur les fermetures d'orbites (en utilisant des limites faibles de mesures empiriques). En combinant la disjointure des préimages avec les bornes uniformes, ils dérivent une borne supérieure sur la mesure de tout ensemble $U$ de petit diamètre $r$ :
$$\mu(U) \lesssim \frac{1}{\log(1/r)}.$$
En appliant le principe de distribution de masse (Lemme 2.1), cette borne supérieure sur la mesure implique une borne inférieure sur la mesure de Hausdorff par rapport à la fonction de jauge $h(r) = 1/\log(1/r)$.

2.5 Constructions explicites (caractéristique impaire)

Pour la conjecture $t$-adique sur des corps de caractéristique impaire, les auteurs affinent leurs résultats en utilisant la construction de contreexemple explicite de Lai et Sprang. Cette construction permet une analyse plus précise de la "ramification" de l'ensemble à différentes échelles, conduisant à une fonction de jauge plus forte avec un exposant plus élevé.

3. Contributions clés et résultats

3.1 Résultats pour la conjecture de Littlewood $p$-adique

Théorème 2.2 : Si l'ensemble des contreexemples $E_p$ est non vide, alors pour tout $x \in E_p$, la fermeture de l'orbite $F_p(x)$ possède une mesure de Hausdorff logarithmique positive par rapport à la jauge $h_1(r) = 1/\log(1/r)$.

• Corollaire 2.3 : Par conséquent, si $E_p$ est non vide, elle a la cardinalité du continu.
• Corollaire 2.4 : La dimension de Hausdorff logarithmique de $E_p$ est au moins égale à 1 ($\dim_{\log} E_p \ge 1$).

Les auteurs notent que cela ne contredit pas les résultats de dimension de Hausdorff nulle d'Einsiedler et al., car un ensemble peut avoir une dimension nulle mais une mesure positive par rapport à une jauge logarithmique.

3.2 Résultats pour la conjecture de Littlewood $t$-adique

Théorème 3.1 : Pour toute puissance de nombre premier $q$, si l'ensemble exceptionnel $E_q^{(t)}$ est non vide, alors :

1. La fermeture de l'orbite de tout contreexemple possède une mesure $h_1$ positive.
2. L'ensemble exceptionnel complet $E_q^{(t)}$ a une mesure $h_1$ infinie.
3. $E_q^{(t)}$ a la cardinalité du continu et une dimension logarithmique d'au moins 1.

Théorème 3.2 (Résultat plus fort pour $q$ impair) : En utilisant la construction de Lai-Sprang pour $q$ impair, les auteurs prouvent un résultat nettement plus fort. Soit $A_q = \frac{q-1}{2} \log_2(q-1)$.

• Il existe un sous-ensemble $C_q \subset E_q^{(t)}$ tel que $0 < H_{h_{A_q}}(C_q) < \infty$, où $h_{A_q}(r) = 1/(\log(1/r))^{A_q}$.
• L'ensemble exceptionnel complet satisfait $H_{h_{A_q}}(E_q^{(t)}) = \infty$.
• Cela implique $\dim_{\log} E_q^{(t)} \ge A_q$.
• Note : Pour $q=3$, $A_3=1$. Pour $q \ge 5$, $A_q > 1$.

Caractéristique 2 : L'article note que pour la caractéristique 2, la conclusion avec l'exposant 1 reste conditionnelle à l'existence d'un contreexemple, car la construction spécifique utilisée pour les caractéristiques impaires ne s'applique pas directement.

4. Signification et affirmations

L'article affirme aborder les conjectures de Littlewood sous un angle "métrique", complétant les résultats de "dimension" existants.

• Affiner la "petitesse" des contreexemples : Alors que les travaux précédents ont montré que si des contreexemples existent, ils forment un ensemble de dimension de Hausdorff nulle, cet article démontre que de tels un ensemble ne peut pas être "trop petit". Plus précisément, il ne peut pas être dénombrable, et il doit porter une mesure positive (ou infinie) par rapport aux jauges logarithmiques.
• Cardinalité : Les résultats établissent définitivement que tout ensemble exceptionnel non vide doit avoir la cardinalité du continu.
• Piste potentielle de preuve : Les auteurs suggèrent une stratégie potentielle pour prouver les conjectures elles-mêmes. Si l'on pouvait prouver que l'ensemble exceptionnel a une mesure nulle par rapport à une jauge spécifique $h$ (via des méthodes de borne supérieure) tout en prouvant simultanément que la non-vacuité implique une mesure positive (ou infinie) par rapport à la même jauge (via des méthodes de borne inférieure), l'ensemble serait forcé d'être vide. L'article fournit la machinerie de borne inférieure nécessaire pour les jauges logarithmiques.
• Optimalité : L'article présente modestement ses résultats comme des bornes inférieures. Il pose la question de savoir si ces bornes peuvent être renforcées (par exemple, en augmentant l'exposant $A$ de la jauge) ou si des résultats analogues tiennent pour la conjecture de Littlewood classique.

En résumé, l'article établit que les ensembles exceptionnels pour les conjectures de Littlewood $p$-adique et $t$-adique, s'ils existent, sont métriquement substantiels au sens des mesures de Hausdorff logarithmiques, possédant une cardinalité infinie et des bornes inférieures spécifiques sur leur dimension logarithmique.