Utilisateur:Flo13nrv/Théorèmes de Ratner
En mathématiques, les théorèmes de Ratner sont un ensemble de théorèmes en théorie ergodique concernant les flots unipotents sur les espaces homogènes démontrés par Marina Ratner au début des années 90. Ces théorèmes sont issus des précédent travaux de Ratner sur les flots horocycliques. L'étude de la dynamique des flots unipotents a joué un rôle majeur dans la preuve de la conjecture d'Oppenheim par Gregori Margulis. Les théorèmes de Ratner ont servi de guide pour les progrès de la compréhension de la dynamique des flots unipotents. Ces théorèmes ont été généralisés en des résultats plus précis et qui s'appliquent dans le contexte général des groupes algébrique semisimple sur un corps local.
Brève description
modifierLe théorème d'adhérences des orbites de Ratner affirme que l'adhérence d'une orbite d'un flot unipotent dans le quotient d'un groupe de Lie par un réseau est une sous-variété. Le théorème d'équidistribution de Ratner précise que cette orbite s'équidistribue dans son adhérence. Le théoreme de classification des mesures de Ratner est l'énoncé, à priori plus faible, que les mesures des probabilités ergodiques invariants sont homogènes (ou algébriques): c'est la première étape pour prouver ensuite le théorème d'équidistribution plus général.
L'énoncé formel du théorème d'adhérences des orbites est le suivant. Soit un groupe de Lie, un réseau de et un sous-groupe à un paramètre de formé d'éléments unipotents, avec le flot associé sur . Alors l'adhérence de chaque orbite de est homogène. Cela signifie qu'il existe un sous-groupe fermé, connexe de tel que l'image de l'orbite (pour l'action de par translation à droite sur ) par la projection canonique sur est fermé, a une mesure fini pour la mesure -invariante et contient l'adhérence de l'orbite de pour le flot comme un sous-ensemble dense.
Exemple:
modifierLe cas le plus simple pour lequel le théorème s'applique est . Dans ce cas il prend la forme explicite suivante; soit un réseau dans et un sous-ensemble invariant par le flot , où . Alors soit il existe tel que (où ), soit .
Du point de vue géométrique, est un groupe fuchsien de covolume fini, donc le quotient du plan hyperbolique par est une orbifold hyperbolique de volume fini. Le théorème précédent implique que chaque horocycle de a son image dans qui est soit une courbe fermé (un horocycle autour d'un cusp dans ) ou est dense dans .
Références
modifierArticles originaux
modifier- Ratner, « Strict measure rigidity for unipotent subgroups of solvable groups », Invent. Math., vol. 101, no 2, , p. 449–482 (DOI 10.1007/BF01231511, MR 1062971)
- Ratner, « On measure rigidity of unipotent subgroups of semisimple groups », Acta Math., vol. 165, no 1, , p. 229–309 (DOI 10.1007/BF02391906, MR 1075042)
- Ratner, « On Raghunathan’s measure conjecture », Ann. of Math., vol. 134, no 3, , p. 545–607 (DOI 10.2307/2944357, MR 1135878)
- Ratner, « Raghunathan’s topological conjecture and distributions of unipotent flows », Duke Math. J., vol. 63, no 1, , p. 235–280 (DOI 10.1215/S0012-7094-91-06311-8, MR 1106945)
- Ratner, « Raghunathan's conjectures for p-adic Lie groups », International Mathematics Research Notices, no 5, , p. 141–146 (DOI 10.1155/S1073792893000145, MR 1219864)
- Ratner, « Raghunathan's conjectures for cartesian products of real and p-adic Lie groups », Duke Math. J., vol. 77, no 2, , p. 275–382 (DOI 10.1215/S0012-7094-95-07710-2, MR 1321062)
- Margulis et Tomanov, « Invariant measures for actions of unipotent groups over local fields on homogeneous spaces », Invent. Math., vol. 116, no 1, , p. 347–392 (DOI 10.1007/BF01231565, MR 1253197)
[[Catégorie:Groupe de Lie]] [[Catégorie:Théorie ergodique]] [[Catégorie:Systèmes dynamiques]]