Ein Fachgebiet, das endlich erzeugte Gruppen über ihre Wirkungen auf metrischen und topologischen Räumen sowie über grob-geometrische Objekte (Cayley-Grafen, Quasi-Isometrien) untersucht und großskalige Invarianten verwendet, um algebraische Eigenschaften mit geometrischem und dynamischem Verhalten zu verbinden.

Prinzip

Betrachte eine endlich erzeugte Gruppe als geometrisches Objekt durch ihren Cayley-Grafen oder ihre Aktionen auf metrischen Räumen; klassifiziere und vergleiche Gruppen mittels grober Invarianten, die unter Quasi-Isometrie erhalten bleiben, und durch die Geometrie der Räume, auf denen sie ordentlich oder kokompakt wirken.

Demonstration

Konkretes Beispiel: Der Cayley-Graf einer freien Gruppe ist ein Baum, daher ist die großskalige Geometrie der freien Gruppe baumähnlich; Begriffe wie Wachstumsrate, Dehn-Funktion und Gromov-Hyperbolizität fassen algebraische Komplexität und Entscheidbarkeitseigenschaften in geometrischer Sprache zusammen.

Fehlanwendung

Fehlerhaft ist es, feine algebraische Eigenschaften (etwa das Vorkommen bestimmter endlicher Untergruppen oder spezieller Präsentationen) mit grob-geometrischen Invarianten gleichzusetzen, die nicht unter Quasi-Isometrie erhalten bleiben; lokale kombinatorische Merkmale einer Präsentation mit globalen geometrischen Eigenschaften zu verwechseln.

Konsequenz

Richtig eingesetzt wandeln geometrische Methoden gruppentheoretische Fragen in geometrische und dynamische Probleme um und führen zu Resultaten über Steifigkeit und Klassifikation, algorithmischen Konsequenzen und Verbindungen zwischen Topologie, Geometrie und Algebra.

Umkehrung

Das Gegenstück ist die rein algebraische oder kombinatorische Gruppentheorie, die geometrische Aktionen und grobe Invarianten ignoriert und sich stattdessen auf Präsentationsmanipulationen ohne Bezug zur großskaligen Geometrie konzentriert.

Abgrenzung

Geltungsbereich sind vor allem endlich erzeugte (oft endlich präsentierte) Gruppen und ihre Aktionen auf metrischen Räumen; ausgeschlossen sind Invarianten, die empfindlich auf unendliche Erzeugendensysteme reagieren, rein darstellungenstheoretische Tabellen und Eigenschaften, die auf großer Skala nicht sichtbar sind.

Semantische Spannung

Semantische Spannung besteht gegenüber der kombinatorischen und algebraischen Gruppentheorie sowie der Tieftopologie: Dasselbe algebraische Objekt kann über feine kombinatorische Daten oder über grobe geometrische Gestalt betrachtet werden, und diese Perspektiven widersprechen sich gelegentlich darüber, welche Eigenschaften vorrangig sind.

Synthese

Die geometrische Gruppentheorie behandelt endlich erzeugte Gruppen als geometrische Objekte und nutzt Aktionen, Cayley-Grafen und Quasi-Isometrie-Invarianten, um algebraische Fragen in metrische und topologische Sprache zu übersetzen und so großskalige Struktur, Steifigkeit und dynamisches Verhalten aufzudecken.