Eine Beziehung, die Darstellungsdaten endlicher Gruppen für bestimmte lineare Aktionen (insbesondere endliche Untergruppen von SL(2,C)) mit geometrischen Invarianten von Quotientensingularitäten und deren Auflösungen verknüpft, häufig realisiert durch Übereinstimmung des Darstellungsgraphen mit Schnitt- oder Dynkin‑Graphen und erweitert zu abgeleiteten Kategorie‑ und stringtheoretischen Kontexten.

Prinzip

Diskrete Symmetrie einer linearen Aktion schlägt sich in der Geometrie des Quotienten nieder: irreduzible Darstellungen und ihre Tensorrelationen erzeugen einen kombinatorischen Graphen (den McKay‑Graph), der mit der Konfiguration der Ausnahmezyklen oder Dynkin‑Diagrammen in minimalen/crepanten Auflösungen der Singularität übereinstimmt.

Demonstration

Für eine endliche Untergruppe G ⊂ SL(2,C) ist der aus dem Darstellungsgliedring konstruierte McKay‑Graph das affine ADE‑Dynkin‑Diagramm, das mit der minimalen Auflösung von C^2/G assoziiert ist; Knoten entsprechen irreduziblen Darstellungen und Ausnahmekurven, und Adjazenz kodiert Tensorierung mit der standardmäßigen 2‑dimensionalen Darstellung.

Fehlanwendung

Die naive zweidimensionale McKay‑Zuordnung in höheren Dimensionen oder für Gruppen, die spezielle Determinanten/Crepant‑Hypothesen nicht erfüllen, anzuwenden, ohne abgeleitete Kategorien, Stacks oder zusätzliche Hypothesen zu verwenden, führt zu falschen Zuordnungen zwischen Darstellungen und geometrischen Merkmalen.

Konsequenz

Richtig angewandt verbindet die Korrespondenz Darstellungstheorie mit Geometrie: Sie sagt Schnittmuster von Ausnahmedivisoren voraus, leitet Konstruktionen von Auflösungen und Äquivalenzen abgeleiteter Kategorien und informiert über Invarianten wie Orbifold‑Kohomologie und stringy Hodge‑Zahlen.

Umkehrung

Statt von der Gruppe aus die Geometrie vorherzusagen, kann man mit der Geometrie einer Auflösung beginnen und daraus Einschränkungen an mögliche Symmetriegruppen gewinnen; die Umkehrung betont die Rekonstruktion gruppentheoretischer Daten aus geometrischen Invarianten.

Abgrenzung

Die klassische McKay‑Korrespondenz gilt für endliche Untergruppen von SL(2,C); Verallgemeinerungen in höhere Dimensionen erfordern crepante Auflösungen, Erweiterungen auf abgeleitete Kategorien oder Stack‑Formulierungen und können scheitern oder modifiziert werden, wenn diese fehlen.

Semantische Spannung

Es besteht Spannung zwischen der ursprünglichen kombinatorischen ADE‑Identifikation in zwei Dimensionen und den weiter gefassten abgeleiteten/crepanten Verallgemeinerungen: das einfache Knoten↔Kurve‑Lexikon konkurriert mit anspruchsvolleren abgeleiteten Äquivalenzen und rein darstellungstheoretischen Invarianten wie Charaktertafeln.

Synthese

Die McKay‑Korrespondenz verbindet Darstellungsdaten endlicher Gruppen mit der Geometrie von Quotientensingularitäten: in klassischer Form reproduziert der McKay‑Graph Dynkin‑Diagramme von Auflösungen, und in erweiterten Formen schafft sie tiefe Entsprechungen zwischen Darstellungstheorie, Geometrie und homologischen Invarianten.