SMF

Théorèmes de transfert et espaces localement symétriques

Transference principles and locally symmetric spaces

Cornelia Dru,tu
  • Année : 2009
  • Tome : 19
  • Format : Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 11J13, 11J83, 22E46, 53C35
  • Pages : 51-70
Nous expliquons comment les théorèmes de transfert de l'approximation diophantienne peuvent être reformulés en termes de géométrie des espaces localement symétriques ${\mathcal {T}}_n=SO(n) \backslash SL(n,{\mathbb {R}}) /SL(n,{\mathbb {Z}})$, où $n\geq 2$, et comment, à travers ce dictionnaire, ils se transforment en des propriétés géométriques transparentes et faciles à démontrer. En résumé, une famille finie de formes linéaires s'identifie naturellement à un rayon localement géodésique dans un espace ${\mathcal {T}}_n$, et la façon dont cette famille est approximée est reflétée par les hauteurs auxquelles monte le rayon dans le bout cuspidal. La seule différence entre les deux types d'approximations apparaissant dans le théorème de transfert est que la hauteur est mesurée par rapport à deux rayons géodésiques distincts dans une chambre de Weyl $\overline {W}_0$ de ${\mathcal {T}}_n$. Dans cette traduction, le théorème de transfert est équivalent à une relation entre les fonctions de Busemann de deux rayons dans $\overline {W}_0$. Cette relation est alors facile à établir sur $\overline {W}_0$, puisque les deux fonctions de Busemann restreintes à $\overline {W}_0$ deviennent des formes linéaires. On montre qu'elle est alors vérifiée sur tout l'espace ${\mathcal {T}}_n$ à une perturbation constante près.
We explain how the Transference Principles from Diophantine approximation can be interpreted in terms of the geometry of the locally symmetric spaces ${\mathcal {T}}_n=SO(n) \backslash SL(n,{\mathbb {R}}) /SL(n,{\mathbb {Z}})$ with $n\geq 2$, and how, via this dictionary, they become transparent geometric remarks and can be easily proved. Indeed, a finite family of linear forms is naturally identified to a locally geodesic ray in a space ${\mathcal {T}}_n$ and the way this family is approximated is reflected by the heights at which the ray rises in the cuspidal end. The only difference between the two types of approximation appearing in a Transference Theorem is that the height is measured with respect to different rays in $\overline {W}_0$, a Weyl chamber in ${\mathcal {T}}_n$. Thus the Transference Theorem is equivalent to a relation between the Busemann functions of two rays in $\overline {W}_0$. This relation is easy to establish on $\overline {W}_0$, because restricted to it the two Busemann functions become two linear forms. Since ${\mathcal {T}}_n$ is at finite Hausdorff distance from $\overline {W}_0$, the same relation holds up to a bounded perturbation on the whole of ${\mathcal {T}}_n$.
Approximation diophantienne, espace localement symétrique
Diophantine approximation, locally symmetric space