Eine Beziehung, die endliche Gruppenwirkungen auf komplexen Vektorräumen (insbesondere endliche Untergruppen von SL(2,C) und höhere Analoga) mit geometrischen und darstellungstheoretischen Invarianten der Quotienten-Singularitäten und ihrer Auflösungen verbindet, oft indem irreduzible Darstellungen Komponenten einer Auflösung oder Objekte in abgeleiteten Kategorien zugeordnet werden.

Prinzip

Die Kernidee ordnet algebraische Daten (irreduzible Darstellungen der Gruppe) geometrischen Daten (ausgezeichnete Divisoren, Komponenten der Auflösung oder Objekte in abgeleiteten Kategorien) zu, so dass darstellungstheoretische Multiplizitäten und Kombinatorik den Schnitt- und Kohomologiestrukturen der aufgelösten Quotienten entsprechen.

Demonstration

In zwei Dimensionen ergibt eine endliche Untergruppe von SL(2,C) eine Quotientensingularität C2/G, deren minimale Auflösung einen außergewöhnlichen Divisor mit Dualgraph in Form eines ADE-Dynkin-Diagramms hat; die Knoten entsprechen den nichttrivialen irreduziblen Darstellungen von G, ein klassisches Beispiel der McKay-Korrespondenz.

Fehlanwendung

Die Annahme, dass die einfachste Eins-zu-Eins-Korrespondenz ohne Modifikationen in höheren Dimensionen oder für Wirkungen außerhalb von SL gilt, oder das Behandeln nicht-crepante Auflösungen als hätten sie dasselbe Zuordnungsprinzip; solche naiven Erweiterungen scheitern in der Regel oder erfordern abgeleitete Kategorien als Verfeinerung.

Konsequenz

Sie bildet eine Brücke zwischen Gruppenrepräsentationstheorie und algebraischer Geometrie: darstellungstheoretische Invarianten informieren über die Geometrie von Auflösungen und umgekehrt, was zur Klassifikation von Singularitäten, Berechnung von Kohomologie und zu Einsichten führt, die in von Physik inspirierten Mathematiken Verwendung finden.

Umkehrung

Von der geometrischen Seite können Merkmale einer crepanten Auflösung (außergewöhnlicher Locus, Schnittmatrix, Generatoren der abgeleiteten Kategorie) verwendet werden, um Darstellungen der wirkenden Gruppe zu rekonstruieren oder zu kennzeichnen und damit geometrische Invarianten in darstellungstheoretische Daten zurückzuführen.

Abgrenzung

Am besten verstanden in niedrigen Dimensionen (klassisch in zwei Dimensionen) und in Kontexten mit crepanten oder minimalen Auflösungen; in höheren Dimensionen oder nicht-crepanten Situationen muss die Korrespondenz verfeinert werden (z. B. durch abgeleitete Kategorien oder nichtkommutative Auflösungen).

Semantische Spannung

Es besteht Spannung zwischen der klassischen grafischen ADE-Version und modernen abgeleiteten oder nichtkommutativen Reformulierungen; es ist subtil, ob die Korrespondenz wörtlich (Knoten ↔ Darstellung) oder kategorial (Äquivalenz abgeleiteter Kategorien) zu verstehen ist.

Synthese

Die McKay-Korrespondenz übersetzt darstellungstheoretische Daten endlicher Gruppen in die Geometrie von Quotienten-Singularitäten und deren Auflösungen, indem sie Darstellungen mit geometrischen Komponenten oder kategorialen Erzeugern identifiziert und so algebraische Strukturen in konkrete geometrische und kohomologische Information überführt.