Ein Punkt in einem Orbifold, dessen Umgebung auf dem Quotienten des euklidischen Raums durch die Wirkung einer nichttrivialen endlichen Gruppe modelliert ist und der eine lokalisierte Singularität hervorruft, charakterisiert durch die Isotropie- (Stabilisator-)Gruppe und deren lineare Darstellung.

Prinzip

Orbifold-Singularitäten entstehen, wenn lokale Symmetriegruppen Richtungen identifizieren; die Umgebung ist lokal R^n/G für eine endliche Gruppe G, und die Konjugationsklasse von G (sowie seine Aktion) ordnet die möglichen Singularitätstypen und lokalen Invarianten.

Demonstration

In einem zweidimensionalen Kegelorbifold ist ein Kegelpunkt der Ordnung n durch R2 modulo Rotation um 2π/n modelliert; in 3D liefert ein Punkt mit lokalem Stabilisator einer endlichen Untergruppe von SO(3) Quotient-Singularitäten, die durch diese Rotationsgruppen klassifiziert sind.

Fehlanwendung

Orbifold-Singularpunkte als reguläre Mannigfaltigkeitspunkte oder als rein topologische Singularitäten zu behandeln, ohne die Gruppenwirkung und Isotropiedaten zu berücksichtigen; oder Orbifold-Punkte mit Verzweigungspunkten anderer lokaler Modelle zu verwechseln.

Konsequenz

Korrekte Erkennung ermöglicht die Berechnung von Orbifold-Fundamentalgruppen, Orbifold-Euler-Charakteristiken und die konsistente Anwendung von Überlagerungs- und Indextheoremen, die an die Isotropie angepasst sind; sie bestimmt zulässige lokale Geometrien und symmetrieerhaltende Abbildungen.

Umkehrung

Das Gegenteil ist ein regulärer Punkt mit trivialer Isotropie, bei dem lokale Karten echte euklidische Umgebungen sind; die Umkehr entfernt Quotientdaten und stellt die lokale Mannigfaltigkeitsstruktur wieder her.

Abgrenzung

Gilt für Räume mit einem Orbifold-Atlas aus Quotientencharts R^n/G mit endlichem G; schließt wilde Quotient-Konstruktionen mit nicht-endlichen Stabilisatoren, nicht-effektiven Aktionen oder Akkumulation von Singularpunkten aus, die die Orbifold-Axiome verletzen.

Semantische Spannung

Spannung zwischen Orbifold-Singularpunkten und algebraischen Singularitäten mit ähnlicher lokaler Topologie, die jedoch keine Beschreibung als Quotient durch eine endliche Gruppe besitzen; die Unterscheidung der Gruppenwirkungsdaten ist essentiell für orbifold-spezifische Invarianten.

Synthese

Ein Orbifold-Singularpunkt ist eine lokale Quotient-Singularität modelliert auf R^n durch die Wirkung einer endlichen Gruppe; seine Isotropiegruppe und Darstellung bestimmen die lokale Geometrie, Topologie und die zulässigen Orbifold-Strukturen und Abbildungen.