Conjecture de Zimmer

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Zimmer.

En mathématiques, la conjecture de Zimmer est une conjecture énoncée par Robert Zimmer en 1983, et démontrée depuis. Elle affirme que certaines symétries ne peuvent exister en petites dimensions. Elle peut être considérée comme une version « non linéaire » du théorème de super-rigidité (en) de Gregori Margulis.

Énoncé

Le programme de Zimmer[1] est une collection de conjectures selon lesquelles les groupes suffisamment grands n’agissent que trivialement sur des variétés compactes de dimension relativement petite. La conjecture de Zimmer en fait partie. De manière informelle, la conjecture décrit les « circonstances dans lesquelles les espaces géométriques peuvent présenter certains types de symétries »[2]. La conjecture dit qu'il peut exister des symétries (spécifiquement des réseaux ) en dimension élevée qui ne peuvent exister dans des dimensions inférieures.

Soit Γ {\displaystyle \Gamma } un réseau dans un groupe de Lie rang r ≥ 2 {\displaystyle r\geq 2} . Le théorème de la super-rigidité de Margulis dit que les représentations linéaires de Γ {\displaystyle \Gamma } sont ou bien des restrictions de représentations de G {\displaystyle G} ou bien ont une image finie. La conjecture de Zimmer est une conjecture analogue pour les actions de groupe sur les variétés. Elle affirme qu'une action de Γ {\displaystyle \Gamma } sur une variété de dimension au plus r − 1 {\displaystyle r-1} doit se factoriser sur un groupe fini. En particulier, elle dit pour les réseaux dans le groupe spécial linéaire S L ( n , R ) {\displaystyle SL(n,\mathbb {R} )} que les actions sur les variétés de dimension au plus n − 2 {\displaystyle n-2} factorisent sur les actions d'un groupe fini.

L'énoncé formel du théorème qui la démontre est[3] :

Théorème — Soit Γ {\displaystyle \Gamma } un sous-groupe d’indice fini dans S L ( n , Z ) {\displaystyle SL(n,\mathbb {Z} )} et soit ρ : Γ → Diff 1 ( M ) {\displaystyle \rho :\Gamma \to {\text{Diff}}^{1}(M)} une représentation dans le groupe des difféomorphismes de classe C 1 {\displaystyle C^{1}} d’une variété compacte M {\displaystyle M} de dimension d < n − 1 {\displaystyle d<n-1} . Alors l’image ρ ( Γ ) {\displaystyle \rho (\Gamma )} est finie.

Discussion

Pour n = 3 {\displaystyle n=3} , c'est-à-dire les actions de réseaux Γ ⊂ S L ( 3 , R ) {\displaystyle \Gamma \subset SL(3,\mathbb {R} )} sur le cercle, il est connu par des travaux de Witte, Ghys[4] et Burger-Monod que de telles actions ont un point fixe global . Pour les actions en dimension un, la conjecture a été résolue indépendamment par Burger et Mo- nod et par Ghys (par des techniques de nature plus ergodique). Un résultat antérieur de Witte Morris[5], montre que tout réseau non-cocompact dans S L ( n , R ) {\displaystyle SL(n,\mathbb {R} )} , pour n > 3 {\displaystyle n>3} , n’agit que trivialement (image finie) sur la droite réelle R {\displaystyle \mathbb {R} } par homéomorphismes. Pour ce cas, un « point final »[3] a été mis par Deroin et Hurtado[6] en 2020[3].

Pour les réseaux cocompacts en S L ( n , R ) {\displaystyle SL(n,\mathbb {R} )} et aussi pour S L ( n , Z ) {\displaystyle SL(n,\mathbb {Z} )} , Brown, Fisher et Hurtado[7] ont prouvé la conjecture pour les actions C 2 {\displaystyle C^{2}} , pourvu que n > 3 {\displaystyle n>3} .

Notes et références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Zimmer's conjecture » (voir la liste des auteurs).

Bibliographie

  • Aaron Brown, David Fisher et Sebastian Hurtado, « Zimmer’s conjecture for actions of S L ( m , Z ) {\displaystyle SL(m,\mathbb {Z} )}  », Inventiones mathematicae, vol. 221,‎ , p. 1001–1060 (arXiv 1710.02735).
  • Kevin Hartnett, « A Proof About Where Symmetries Can’t Exist », Quanta Magazine,‎ (lire en ligne, consulté le ).
  • Michele Triestino, « La conjecture de Zimmer (d’après Brown, Fisher, et Hurtado) », La Gazette des mathématiciens, no 169,‎ (lire en ligne, consulté le ).
  • Serge Cantat, « Progrès récents concernant le programme de Zimmer », Séminaire Bourbaki,‎ 2017–2018, Exposé 1136.
  • David Fisher, « Recent progress in the Zimmer program », Arxiv,‎ (arXiv 1711.07089).
  • Étienne Ghys, « Sur les groupes engendrés par des difféomorphismes proches de l’identité », Bol. Soc. Brasil. Mat. (N.S.), vol. 24, no 2,‎ , p. 137-178.
  • D. Witte Morris, Ratner’s theorems on unipotent flows, University of Chicago Press, coll. « Chicago Lectures in Mathematics », , xii+203.
  • Bertrand Deroin et Sebastian Hurtado, « Non left-orderability of lattices in higher rank semi-simple Lie groups », Arxiv,‎ (arXiv 2008.10687).
  • Robert J. Zimmer, « Actions of semisimple groups and discrete subgroups », dans Proceedings of the International Congress of Mathematicians, vol. 1, 2, Berkeley, Amer. Math. Soc., , p. 1247-1258.
  • icône décorative Portail des mathématiques