Ein polygonales Gebiet im Überlagerungsraum (typischerweise euklidische oder hyperbolische Ebene), dessen Kanten durch eine diskrete Gruppe von Isometrien gepaart werden, so dass die Identifikation der Kantenpaare eine Quotientenfläche oder ein Orbifold ergibt; Innenpunkte bilden unter der Projektion injektive Bilder.

Prinzip

Ein Fundamentpolygon ist eine polygonale Wahl eines Fundamentalbereichs für die eigentlichen diskontinuierlichen Gruppenaktionen: Kanten werden durch Gruppenelemente zugeordnet, Ecken entsprechen Bahnen und das Polygon pflastert den Überlagerungsraum unter der Gruppenaktion.

Demonstration

Konkrete Beispiele sind ein Quadrat mit identifizierten gegenüberliegenden Seiten, das einen Torus ergibt, ein Oktogon in der hyperbolischen Ebene mit Seitentausch, das eine geschlossene Flächen höheren Geschlechts liefert, und polygonale Fundamentalbereiche für Fuchsische Gruppen im hyperbolischen Disk.

Fehlanwendung

Jedes beliebige polygonale Gebiet mit Kantenpaarungen als Fundamentpolygon zu bezeichnen, ohne zu prüfen, dass die Gruppe richtig diskontinuierlich wirkt, die Identifikationen Isometrien sind oder das Inneres injektiv auf den Quotienten abbildet; überlappende Teile oder nicht-diskrete Identifikationen sind falsch.

Konsequenz

Richtig konstruiert liefert es eine kombinatorische und geometrische Beschreibung des Quotienten: Präsentationen der Fundamentalgruppe aus Kantenpaarungen, geometrische Zerlegungen der Fläche und Methoden zur Berechnung von Invarianten wie Euler-Charakteristik und Geschlecht.

Umkehrung

Das Gegenteil ist der Überlagerungsraum ohne Identifikationen oder ein Polygon, das keinen vollständigen Fundamentalbereich darstellt (z. B. eine Region, die ihre Translata überlappt); ein solches Polygon definiert die Quotientenstruktur nicht.

Abgrenzung

Gilt wenn eine diskrete Gruppe von Isometrien wirkt und ein polygonaler Fundamentalbereich existiert; schließt kontinuierliche Gruppenwirkungen ohne richtige Diskontinuität, nicht-polygonale Fundamentalbereiche und Konstruktionen aus, die zusätzliche Orbifold-Struktur erfordern, sofern nicht angegeben.

Semantische Spannung

Spannung zwischen dem allgemeinen Begriff Fundamentalbereich (beliebige messbare oder topologische Region) und der polygonalen Spezialisierung; außerdem ist zwischen algebraischen Fundamentpolygonen (kombinatorische Kantenbeschriftung) und metrischen isometrischen Realisierungen zu unterscheiden.

Synthese

Ein fundamentales Polygon ist eine polygonale Wahl eines Fundamentalbereichs für eine diskrete Gruppe von Isometrien auf einem Überlagerungsraum: Durch Paarung der Kanten mit Gruppenelementen erhält man den Quotienten und eine konkrete kombinatorische Beschreibung seiner Topologie und Geometrie.