Groupe totalement discontinu

En mathématiques, un groupe totalement discontinu est un groupe topologique totalement discontinu. De tels groupes topologiques sont nécessairement séparés. L'intérêt se focalise sur les groupes localement compacts totalement discontinus (aussi appelés groupes de type td, ou groupes td). Le cas compact a été largement étudié – ce sont les groupes profinis – mais pendant longtemps on n'a pas su pas grand-chose du cas général. Un théorème de van Dantzig des années 1930, affirmant que tout groupe de ce type contient un sous-groupe ouvert compact, était tout ce qui était connu. Plus tard les travaux révolutionnaires de George Willis en 1994 ont ouvert le domaine en montrant que tout groupe localement compact totalement discontinu contient un sous-groupe dit bien rangé et une fonction particulière sur ses automorphismes, la fonction d'échelle, donnant un paramètre quantifiable de la structure locale. Des avancées portant sur la structure globale des groupes totalement discontinus ont été obtenues en 2011 par Pierre-Emmanuel Caprace et Nicolas Monod, avec notamment une classification des groupes caractéristiquement simples et des . Dans un groupe localement compact et totalement discontinu, chaque voisinage de l'identité contient un sous-groupe ouvert compact. Réciproquement, si dans un groupe, l'identité a une base de voisinages formée de sous-groupes ouverts compacts, alors il est localement compact et totalement discontinu. Soient G un groupe localement compact et totalement discontinu, U un sous-groupe ouvert compact de G et un automorphisme continu de G. On note : On dit que U est bien rangé pour si et si et sont fermés. L'indice de dans est fini et indépendant de U qui est bien rangé pour . On définit la fonction d'échelle comme cet indice. La restriction aux automorphismes intérieurs donne une fonction sur G qui a des propriétés intéressantes. Pour x dans G, en notant , où est l'automorphisme intérieur associé, on a notamment les propriétés suivantes : est continue ; chaque fois que x dans G est un élément compact ; pour tout entier naturel ; la fonction modulaire sur G est donnée par .