Aller au contenu

Réseau (sous-groupe discret)

Un article de Wikipédia, l'encyclopédie libre.

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

[modifier | modifier le code]

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

[modifier | modifier le code]

Groupes arithmétiques

[modifier | modifier le code]

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

[modifier | modifier le code]

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

[modifier | modifier le code]

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]. Dans , il existe une infinité de réseaux non arithmétiques deux-à-deux non commensurables. Dans , la question reste ouverte. En 2023, on ne connaît qu'un nombre fini de classes de commensurabilité de réseaux non-arithmétiques lorsque et [8].

Autres groupes

[modifier | modifier le code]

Groupes algébriques sur les corps locaux

[modifier | modifier le code]

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

[modifier | modifier le code]

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[9].

Propriétés intéressantes

[modifier | modifier le code]

Propriété (T) de Kazhdan

[modifier | modifier le code]

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[10].

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)[11].

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

[modifier | modifier le code]
  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. a et b (en) Grigori Margulis, Discrete subgroups of semisimple Lie groups, Springer,
  8. (en) John Parker, « Complex hyperbolic lattices » [PDF] (consulté le )
  9. (en) Hyman Bass et Alex Lubotzky, Tree Lattices, Birkhäuser,
  10. (en) Alex Lubotzky, Discrete Groups, Expanding Graphs and Invariant Measures, Birkhäuser
  11. (en) George Mostow, Strong Rigidity of locally symmetric spaces, Princeton University Press