Accueil🇫🇷Chercher

Réseau (sous-groupe discret)

En théorie des groupes le terme réseau désigne un sous-groupe d'un groupe topologique localement compact vérifiant les conditions suivantes :

  • est discret dans , ce qui est équivalent à la condition qu'il existe un voisinage ouvert de l'identité de tel que ;
  • est de covolume fini dans , c'est-à-dire qu'il existe sur l'espace quotient une mesure Borélienne de masse totale finie et invariante par (agissant par translations à droite).
  • Un réseau est dit uniforme quand le quotient est compact.

On dit alors que est un réseau de . L'exemple le plus simple (et l'origine de la terminologie) est celui des groupes abéliens : le sous-groupe est un réseau uniforme (voir aussi : Réseau (géométrie)).

Le cadre classique pour étudier cette notion est celui des groupes de Lie : la notion de réseau a été originellement développée pour extraire les propriétés essentielles des groupes arithmétiques.

Généralités

Tous les groupes topologiques ne possèdent pas de réseau. Il est facile de vérifier qu'un groupe localement compact contenant un réseau est nécessairement unimodulaire, ce qui n'est pas vrai de tous les groupes : un exemple simple de groupe non-unimodulaire est le groupe des matrices triangulaires supérieures.

Il est plus difficile de construire des groupes unimodulaires ne contenant pas de réseau : des exemples sont donnés par certains groupes nilpotents de matrices[1].

Enfin, il existe même des groupes topologiques simples (ce qui implique immédiatement qu'ils sont unimodulaires) ne contenant pas de réseau[2].

Groupes de Lie semi-simples

Groupes arithmétiques

Un théorème d'Armand Borel affirme que tout groupe de Lie semi-simple contient des réseaux uniformes et non-uniformes. La construction repose sur les groupes arithmétiques, qui sont construits de la manière suivante. Tout groupe de Lie réel peut s'écrire comme l'ensemble des points réels d'un groupe algébrique défini sur . L'idée de la construction est que le sous-groupe est un réseau dans . La définition exacte plus technique :

Définition Un sous-groupe est un sous-groupe arithmétique s'il existe :

  • un -groupe algébrique et un plongement ;
  • un morphisme surjectif tels que et soient commensurables (i.e. leur intersection est d'indice finie dans chacun).

Un théorème difficile dû à Borel et Harish-Chandra[3] - [4] affirme que si est semisimple alors un tel sous-groupe est toujours un réseau. La preuve du théorème de Borel consiste alors en la construction de sous-groupes arithmétiques dans tous les groupes réels.

En pratique on utilise la restriction des scalaires de Weil pour construire des groupes arithmétiques.

Réseaux non-arithmétiques

Dans certains groupes de Lie on peut construire d'autres réseaux que les sous-groupes arithmétiques. Un cas flagrant est ou les réseaux admettent des espaces de déformations (voir Espace de Teichmüller). Le groupe contient des réseaux non-arithmétiques obtenus à partir du théorème de chirurgie de Dehn hyperbolique de William Thurston. Des constructions existent aussi pour les groupes orthogonaux [5] et pour les groupes unitaires [6].

Théorème d'arithméticité de Margulis

Un théorème spectaculaire dû à Grigori Margulis (amélioré plus tard par Kevin Corlette et Gromov--Schoen) affirme que dans tout groupe de Lie simple qui n'est pas isogène à l'un des groupes tout réseau est en fait arithmétique[7].

Autres groupes

Groupes algébriques sur les corps locaux

Si est un corps local et un -groupe algébrique semisimple on peut construire des réseaux de en utilisant les groupes -arithmétiques. Le théorème d'arithméticité de Margulis est aussi valide dans ce cadre.

Groupes d'automorphismes d'arbres

Si est un arbre régulier alors le groupe des automorphismes est un groupe localement compact (pour la topologie ouverte-fermée) contenant de nombreux réseaux.

On peut aussi étudier des sous-groupes fermés cocompacts de . Ces derniers contiennent des réseaux s'ils sont unimodulaires et cocompacts[8].

Propriétés intéressantes

Propriété (T) de Kazhdan

Un réseau d'un groupe localement compact a la propriété si et seulement si le groupe l'a lui-même. Comme les groupes de Lie simples de rang supérieur ont la propriété leurs réseaux donnent des exemples de groupes discrets ayant cette propriété.

Une application de ces résultats est la construction de graphes expanseurs via les graphes de Cayley de leurs quotients finis[9].

Rigidité

Le théorème de rigidité de Mostow-Prasad affirme que tout isomorphisme entre réseaux de groupes de Lie (à l'exception de provient d'un isomorphisme entre les groupes de Lie eux-mêmes (ce théorème a été démontré par George Mostow pour des réseaux uniformes et étendu au cas général par Gopal Prasad)[10].

Le théorème de superrigidité de Margulis[7] étend cet énoncé au cas des morphismes (pas forcément injectifs) d'un réseau d'un groupe de Lie simple vers un autre groupe de Lie dont l'image n'est pas forcément un réseau (il suffit qu'elle soit de fermeture de Zariski semisimple, et non-bornée), dans le cas où le rang du groupe source est plus grand que 2. C'est un élément essentiel de la preuve du théorème d'arithméticité.

Notes et références

  1. (en) M. S. Raghunathan, Discrete subgroups of Lie groups, Springer, , 226 p. (ISBN 0-387-05749-8), Remark II.2.14
  2. (en) Uri Bader, Pierre-Emmanuel Caprace, Tsachik Gelander et Shahar Mozes, « Simple groups without lattices », Bull. London Math. Soc., vol. 44, (lire en ligne)
  3. (en) M. S. Raghunathan, Discrete subgroups of Lie groups, Springer, , 226 p. (ISBN 0-387-05749-8), Chapter X
  4. (en) Vladimir Platonov et Andrei Rapinchuk, Algebraic groups and number theory, Boston/San Diego/New York etc., AcademicPress, , 614 p. (ISBN 0-12-558180-7), Chapter 4
  5. (en) Misha Gromov et Ilya Piatetski-Shapiro, « Nonarithmetic groups in Lobachevsky spaces », Pub. Math. IHES, vol. 66,
  6. (en) Pierre Deligne et George Mostow, Commensurabilities among Lattices in PU (1,n), Princeton University Press,
  7. (en) Grigori Margulis, Discrete subgroups of semisimple Lie groups, Springer,
  8. (en) Hyman Bass et Alex Lubotzky, Tree Lattices, Birkhäuser,
  9. (en) Alex Lubotzky, Discrete Groups, Expanding Graphs and Invariant Measures, Birkhäuser
  10. (en) George Mostow, Strong Rigidity of locally symmetric spaces, Princeton University Press
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.