##  [McKay Correspondence](/mckay-correspondence-0) 

 Definition

A relationship connecting finite group actions on complex vector spaces (notably finite subgroups of SL(2,C) and higher-dimensional analogues) with geometric and representation-theoretic invariants of the quotient singularities and their resolutions, often matching irreducible representations to components in a resolution or features of derived categories.

 

 

 

 

 

 





## Principle

Principle

The core idea maps algebraic data (irreducible representations of the group) to geometric data (exceptional divisors, components of the resolution, or objects in derived categories) so that representation-theoretic multiplicities and combinatorics mirror intersection-theoretic and cohomological structures of the resolved quotient.

 

 

 

 

 





## Demonstration

Demonstration

In dimension two, a finite subgroup of SL(2,C) yields a quotient singularity C2/G whose minimal resolution has an exceptional divisor with dual graph given by an ADE Dynkin diagram; the nodes correspond to nontrivial irreducible representations of G, illustrating the classical McKay correspondence.

 

 

 

 

## Misapplication

Misapplication

Assuming the simplest 1-to-1 correspondence holds without modifications in higher dimensions or for actions not preserving volume (outside SL), or treating non-crepant resolutions as if they satisfied the same matching; such naive extensions typically fail or require derived-category enhancements.

 

 

 

 

 





## Consequence

Consequence

Provides a bridge between group representation theory and algebraic geometry: representation-theoretic invariants inform the geometry of resolutions and vice versa, leading to classifications of singularities, computations of cohomology, and insights used in string-theory-inspired mathematics.

 

 

 

 

## Reversal

Reversal

From the geometric side, features of a crepant resolution (exceptional locus, intersection matrix, derived category generators) can be used to reconstruct or label representations of the acting group, turning geometric invariants back into representation-theoretic data.

 

 

 

 

 





## Boundary

Boundary

Best understood in low dimensions (classically dimension two) and in contexts with crepant or minimal resolutions; in higher dimensions or for non-crepant settings the correspondence must be refined (e.g., via derived categories or noncommutative resolutions).

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension occurs between the classical, graphical ADE version and modern derived-category or noncommutative reformulations; there is subtlety in whether the correspondence is literal (node-to-representation) or categorical (equivalence of derived categories).

 

 

 

 

 





## Synthesis

Synthesis

The McKay Correspondence ties finite-group representation data to the geometry of quotient singularities and their resolutions by identifying representations with geometric pieces or categorical generators, thereby translating algebraic representation structure into concrete geometric and cohomological information.