Una equivalencia (bajo hipótesis) entre módulos de sistemas locales complejos semisimple (representaciones del grupo fundamental) en una variedad kähleriana compacta o proyectiva suave y módulos de fibrados de Higgs politables con clases de Chern racionales nulas, mediada por métricas armónicas y la teoría de Hodge no abeliana.

Principio

La teoría de Hodge no abeliana traduce datos diferencial-topológicos (conexiones planas o sistemas locales) en datos algebro-geométricos (fibrados de Higgs con condiciones de estabilidad) mediante una métrica armónica que resuelve las ecuaciones de Hitchin–Simpson; la estabilidad y la anulación de las clases de Chern seleccionan los objetos adecuados para una equivalencia.

Demostración

En una curva proyectiva compleja suave, Narasimhan–Seshadri y Hitchin–Simpson implican que las representaciones unitarias irreducibles corresponden a fibrados estables con campo de Higgs nulo, y más generalmente las representaciones complejas semisimple corresponden a fibrados de Higgs politables con clases de Chern nulas vía la correspondencia de Hodge no abeliana.

Aplicación incorrecta

Aplicar la correspondencia sin comprobar las hipótesis (kähleriana compacta, estabilidad, anulación de clases de Chern) o asumir un comportamiento idéntico en situaciones no compactas, singulares o con ramificación salvaje; la confusión entre la descomposición de Hodge abeliana y la correspondencia no abeliana es habitual.

Consecuencia

Proporciona vínculos profundos entre geometría algebraica, geometría diferencial y teoría de representaciones: los espacios de módulos de sistemas locales y de fibrados de Higgs corresponden (a menudo como espacios analíticos reales o complejos), lo que permite técnicas como variaciones de Hodge, heurísticas de simetría espejo e ideas para el Langlands geométrico.

Inversión

Las traducciones inversas (de fibrados de Higgs a sistemas locales y viceversa) forman parte de la equivalencia pero requieren resolver EDP no lineales (ecuaciones de Hitchin) o aplicar la correspondencia de Riemann–Hilbert; en situaciones salvajes o irregulares la inversión ingenua falla y debe sustituirse por análogos irregulares/no lineales.

Límite

Requiere hipótesis de compacidad kähleriana o proyectiva, control de singularidades y condiciones de estabilidad/polystabilidad; existen variantes para casos no compactos o irregulares (parabólico, moderado, salvaje) pero exigen datos adicionales y son técnicamente más delicadas.

Tensión semántica

Se sitúa cerca de la correspondencia de Riemann–Hilbert y de la teoría de Hodge clásica; la tensión radica en la diferencia entre descomposiciones lineales abelianas y equivalencias modulares intrínsecamente no lineales: la Hodge no abeliana es una equivalencia dependiente de la métrica, no una identificación puramente algebraica.

Síntesis

La Correspondencia De Hodge No Abeliana es el diccionario no lineal entre los mundos planos/representacionales y los teóricos de Higgs: bajo hipótesis de compacidad y estabilidad, métricas armónicas realizan una equivalencia entre sistemas locales semisimple y fibrados de Higgs politables con clases de Chern nulas, uniendo análisis, geometría y topología.