McKay Correspondence

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.

McKay Correspondence

- Pure Mathematics -
Algebra Dictionary
Definition
A relationship connecting finite group representation data for certain linear actions (notably finite subgroups of SL(2,C)) with geometric invariants of quotient singularities and their resolutions, often realized by matching the representation graph to intersection or Dynkin-type graphs and extended to derived-category and string-theoretic contexts.