Séminaire Arithmétique et Géométrie Algébrique
Approximation d'un nombre réel par des nombres algébriques de degré borné
11
juin 2024
logo_team
Intervenant : Anthony Poëls
Institution : Institut Camille Jordan
Heure : 14h00 - 15h00
Lieu : 3L15

Dans son papier fondateur de 1961, Wirsing étudie comment on peut approcher un nombre réel transcendant ξ donné par des nombres algébriques α de degré au plus n, en terme de leur hauteur naïve H(α). Il montre que l'exposant ω_n*(ξ) mesurant cette qualité d'approximation est au moins égal à (n + 1)/2. Il remarque aussi que rien ne suggère que cette estimation soit optimale, et qu'on pourrait même avoir toujours ω_n*(ξ) ≥ n (cette inégalité étant une égalité presque partout au sens de la mesure de Lebesgue). Depuis ses travaux, toutes les améliorations de la borne inférieure de Wirsing étaient de la forme n/2 + O(1), jusqu'à ce que Badziahin et Schleischitz prouvent en 2021 que ω_n*(ξ) ≥ an pour tout n ≥ 4, où a = 1/√3 ≃ 0.577. Dans la première partie de cet exposé, nous nous attarderons sur cet historique et les idées derrière la preuve originelle de Wirsing. Dans un second temps, en utilisant une nouvelle approche qui s'inspire partiellement de la géométrie paramétrique des nombres, nous montreront que ω_n*(ξ) ≥ an pour tout n ≥ 2, où a = 1/(2 − log 2) ≃ 0.765.

Voir tous les événements