Domaine qui étudie les groupes finis engendrés au moyen de leurs actions sur des espaces métriques et topologiques et via des objets géométriques à grande échelle (graphes de Cayley, quasi-isométries), utilisant des invariants grossiers pour relier propriétés algébriques et comportements géométriques et dynamiques.

Principe

Considérer un groupe fini engendré comme un objet géométrique via son graphe de Cayley ou ses actions sur des espaces métriques ; classer et comparer les groupes par des invariants grossiers préservés par quasi-isométrie et par la géométrie des espaces où ils agissent proprement ou cocompactement.

Démonstration

Exemple concret : le graphe de Cayley d'un groupe libre est un arbre, si bien que la géométrie à grande échelle du groupe libre est en arbre ; des notions comme taux de croissance, fonction de Dehn et hyperbolicité au sens de Gromov traduisent la complexité algébrique et les propriétés décisionnelles en langage géométrique.

Mauvaise application

Confondre des propriétés algébriques fines (présence de sous-groupes finis particuliers ou présentations spécifiques) avec des invariants géométriques grossiers qui ne sont pas préservés par quasi-isométrie ; méprendre des traits combinatoires locaux d'une présentation avec des propriétés géométriques globales.

Conséquence

Bien appliquées, les méthodes géométriques transforment des questions de théorie des groupes en problèmes géométriques et dynamiques, produisant des résultats de rigidité et de classification, des conséquences algorithmiques et des ponts entre topologie, géométrie et algèbre.

Inversion

L'inverse est la théorie des groupes purement algébrique ou combinatoire qui ignore les actions géométriques et les invariants grossiers, se concentrant sur des manipulations au niveau des présentations sans référence à la structure géométrique à grande échelle.

Limite

Le champ porte principalement sur les groupes finis engendrés (souvent finis présentés) et leurs actions sur des espaces métriques ; il exclut les invariants sensibles à des systèmes de générateurs infinis, les tables de caractères purement représentationnelles et les propriétés invisibles à grande échelle.

Tension sémantique

Tension sémantique avec la théorie combinatoire et algébrique des groupes ainsi qu'avec la topologie de basse dimension : un même objet algébrique peut être étudié par des données combinatoires fines ou par la forme géométrique grossière, et ces perspectives divergent parfois sur l'importance des propriétés.

Synthèse

La théorie géométrique des groupes traite les groupes finis engendrés comme des objets géométriques, employant actions, graphes de Cayley et invariants de quasi-isométrie pour traduire des questions algébriques en langage métrique et topologique, révélant ainsi la structure à grande échelle, la rigidité et le comportement dynamique.