Die Gruppe der Isotopie‑Klassen von Selbsthomöomorphismen einer topologischen Fläche oder Mannigfaltigkeit, wobei die Gruppenoperation durch Komposition von Vertretern induziert wird; Elemente sind Homöomorphismen modulo Isotopie.

Prinzip

Geometrische Symmetrien einer Fläche nach kontinuierlicher Verformung ordnen: Homöomorphismen gelten als gleich, wenn sie durch eine Isotopie verbunden sind, und die Zusammensetzung von Repräsentanten definiert die Gruppenstruktur.

Demonstration

Für eine geschlossene orientierbare Fläche vom Geschlecht g ≥ 2 wird die Abbildungs‑Klassengruppe von Dehn‑Twists entlang einfacher geschlossener Kurven erzeugt; sie wirkt eigentliche diskontinuierlich auf dem Teichmüllerraum, dessen Quotient den Modulraum der Riemannschen Strukturen liefert.

Fehlanwendung

Die MCG mit der gesamten Homöomorphismengruppe verwechseln (nicht nach Isotopie quotieren) oder Isotopie mit Homotopie gleichsetzen; dadurch werden Elemente überzählt und strukturelle Resultate wie die Nielsen–Thurston‑Klassifikation werden zerstört.

Konsequenz

Korrekt angewandt kodiert sie Modulräume geometrischer Strukturen, steuert mögliche Flächenbündel über Monodromie‑Darstellungen und liefert diskrete Invarianten zur Klassifikation der Dynamik von Flächenabbildungen bis auf Isotopie.

Umkehrung

Statt Isotopieklassen zu bilden, behält man die volle Homöomorphismengruppe (feineres, oft unendlichdimensionales topologisches Objekt) oder man betrachtet Homotopieklassen (grobere Struktur); jede Umkehrung produziert unterschiedliche algebraische Objekte und Invarianten.

Abgrenzung

Gilt vornehmlich für Selbsthomöomorphismen von Mannigfaltigkeiten (klassisch Flächen) modulo Isotopie; gibt nicht automatisch Auskunft über stetige Automorphismen algebraischer Invarianten, ohne die Verbindung von MCG zu Out(π1) oder zur Wirkung auf Homologie herzustellen. In höheren Dimensionen sind Isotopie‑ vs. Pseudoisotopie‑Probleme sowie die Unterscheidung topologisch/smooth relevant.

Semantische Spannung

Steht im Spannungsfeld zu Out(π1) (äußere Automorphismen der Fundamentalgruppe) und zu Braid‑Gruppen für punktierte Flächen: MCG ist geometrisch (Isotopieklassen), Out(π1) algebraisch, und Übereinstimmung tritt nur in eingeschränkten Fällen auf.

Synthese

Die Gruppe der Abbildungs‑Klassen fasst geometrische Symmetrien einer Mannigfaltigkeit modulo kontinuierlicher Verformung algebraisch zusammen: Durch das Quotientieren nach Isotopie entsteht eine diskrete Gruppe, die Modulräume, Monodromie und die großskalige Dynamik von Flächenabbildungen bestimmt, mit klaren Grenzen bei Wechsel der Kategorie und Dimension.