Una relación que conecta datos de representaciones de grupos finitos para ciertas acciones lineales (notablemente subgrupos finitos de SL(2,C)) con invariantes geométricos de singularidades cociente y sus resoluciones, a menudo realizada al emparejar el grafo de representaciones con grafos de intersección o de tipo Dynkin y extendida a contextos de categorías derivadas y teoría de cuerdas.

Principio

La simetría discreta de una acción lineal se refleja en la geometría del cociente: las representaciones irreducibles y sus relaciones tensoriales producen un grafo combinatorio (el grafo de McKay) que coincide con la configuración de ciclos excepcionales o diagramas de Dynkin que aparecen en resoluciones mínimas/crepantes de la singularidad.

Demostración

Para un subgrupo finito G ⊂ SL(2,C), el grafo de McKay construido a partir del anillo de representaciones es el diagrama de Dynkin afín ADE asociado a la resolución mínima de C^2/G; los nodos corresponden a representaciones irreducibles y curvas excepcionales, y la adyacencia codifica el tensorizado con la representación estándar de dimensión 2.

Aplicación incorrecta

Aplicar la correspondencia bidimensional de McKay en dimensiones superiores o para grupos que no satisfacen hipótesis especiales de determinante/crepancia sin invocar categorías derivadas, stacks u otras hipótesis conduce a identificaciones erróneas entre representaciones y rasgos geométricos.

Consecuencia

Aplicada correctamente, la correspondencia une teoría de representaciones y geometría: predice patrones de intersección de divisores excepcionales, guía construcciones de resoluciones y equivalencias de categorías derivadas, e informa invariantes como la cohomología del orbifold y números de Hodge 'stringy'.

Inversión

En vez de comenzar por un grupo y predecir geometría, puede empezarse por la geometría de una resolución y recuperar restricciones sobre los grupos de simetría posibles; la inversión enfatiza la reconstrucción de datos grupales a partir de invariantes geométricos.

Límite

El McKay clásico es para subgrupos finitos de SL(2,C); las generalizaciones en dimensiones superiores requieren resoluciones crepantes, realces en categorías derivadas o formulaciones en stacks y pueden fallar o necesitar modificaciones cuando estas estructuras están ausentes.

Tensión semántica

Existe tensión entre la identificación combinatoria ADE original en dimensión dos y las generalizaciones derivadas/crepantes más amplias: el diccionario simple nodo↔curva compite con equivalencias derivadas más sofisticadas y con invariantes puramente representaciónales como tablas de caracteres.

Síntesis

La correspondencia de McKay enlaza datos de representaciones de grupos finitos con la geometría de singularidades cociente: en su forma clásica el grafo de McKay reproduce diagramas de Dynkin de resoluciones, y en sus formas extendidas establece profundas equivalencias entre teoría de representaciones, geometría e invariantes homológicos.