Una correspondencia que vincula sistemas holonómicos regulares de ecuaciones diferenciales lineales (o D-módulos holonómicos regulares, es decir, conexiones lineales con singularidades regulares) en variedades complejas con representaciones del grupo fundamental (sistemas locales), emparejando datos analíticos de solución con datos topológicos de monodromía.

Principio

La idea organizadora es que la continuación analítica de soluciones locales alrededor de singularidades produce representaciones de monodromía; el funtor de soluciones asocia a un D-módulo holonómico regular un haz localmente constante (o un haz perverso) cuyos estereotipos llevan la representación del grupo fundamental, y esta asignación es una equivalencia en la categoría holonómica regular.

Demostración

Considerar una ecuación diferencial lineal en el plano complejo puncturado con singularidades regulares; la continuación analítica de una base de soluciones locales alrededor de la singularidad da una representación de π1, y la correspondencia asigna al sistema diferencial el sistema local de monodromía resultante.

Aplicación incorrecta

Aplicar la correspondencia a sistemas con singularidades irregulares o a módulos no holonómicos; en esos casos se necesitan datos adicionales (fenómenos de Stokes) y la equivalencia ingenua entre D-módulos y sistemas locales falla.

Consecuencia

Se pueden clasificar las ecuaciones diferenciales lineales regulares por sus representaciones de monodromía y transferir problemas entre ecuaciones diferenciales analíticas y descripciones topológicas o de teoría de representaciones, permitiendo métodos algebraicos y categóricos para estudiar soluciones.

Inversión

La dirección inversa construye un sistema diferencial (hasta equivalencia) a partir de una representación dada del grupo fundamental produciendo una conexión plana o D-módulo cuyas secciones horizontales realizan esa monodromía; en los casos regulares esto proporciona una equivalencia de categorías.

Límite

Requiere la hipótesis holonómica regular (singularidades regulares, holonomía) y se formula en el marco complejo-analítico o algebraico; excluye singularidades irregulares salvo que se enriquezcan con datos de Stokes u otras estructuras.

Tensión semántica

Existe tensión con teorías para singularidades irregulares (fenómenos de Stokes) y con refinamientos microlocales o derivados (haces perversos, Riemann–Hilbert derivado), donde la correspondencia simple debe enriquecer o reemplazarse.

Síntesis

La correspondencia de Riemann-Hilbert unifica perspectivas analíticas y topológicas al afirmar que, para sistemas holonómicos regulares, la estructura analítica de las ecuaciones diferenciales (soluciones y continuación) y la estructura topológica de los sistemas locales (representaciones de monodromía) son descripciones equivalentes.