Polystability of Stokes representations and differential Galois groups

Resumen Técnico: Poliestabilidad de Representaciones de Stokes y Grupos de Galois Diferenciales

Enunciado del Problema
Este artículo aborda la caracterización de puntos poliestables y estables en el contexto de variedades de caracteres salvajes (espacios de móduli de Betti irregulares). Si bien la teoría de poliestabilidad para representaciones del grupo fundamental de una curva suave (el caso "tame" o moderado) está bien establecida mediante los teoremas de Richardson —vinculando la poliestabilidad a la reductividad lineal del grupo de Galois diferencial (clausura de Zariski de la monodromía)—, la extensión de estos resultados al caso "salvaje" (conexiones con singularidades irregulares) permanecía incompleta. Específicamente, los autores tienen como objetivo caracterizar los puntos de las variedades de caracteres salvajes, que parametrizan representaciones de Stokes (representaciones de monodromía salvaje), en términos de sus grupos de Galois diferenciales intrínsecos y las propiedades geométricas de los sistemas locales de Stokes subyacentes.

Metodología
Los autores emplean una combinación de la Teoría de Invariantes Geométricos (GIT), específicamente el criterio de Hilbert–Mumford, y la geometría algebraica de los fenómenos de Stokes. La metodología procede en tres etapas principales:

1. Generalización de los Resultados de Richardson (Secciones 2 y 3): El artículo establece primero versiones "torcidas" de los teoremas de Richardson respecto a la acción de conjugación simultánea de un grupo reductivo $G$ sobre productos de grupos y bitorsos. Esto implica analizar la clausura de Zariski de subgrupos generados por elementos en entornos torcidos (que involucran automorfismos de $G$). Los autores demuestran que la poliestabilidad en estos espacios producto torcidos es equivalente a la reductividad lineal de la clausura de Zariski del subgrupo generado.
2. Aplicación a Variedades de Representaciones Salvajes (Sección 4): Los autores aplican estos resultados algebraicos generalizados a la variedad de representaciones salvajes $R = \text{THom}_S(\Pi, G)$, que parametriza sistemas locales de Stokes enmarcados sobre una superficie de Riemann salvaje $\Sigma$. Al incrustar esta variedad en los espacios producto abstractos analizados en las secciones anteriores, relacionan la estabilidad de las representaciones de Stokes con las propiedades de sus grupos de Galois diferenciales asociados, $\text{Gal}(\rho)$. Este grupo se define como la clausura de Zariski del subgrupo generado por la monodromía, la monodromía formal, los automorfismos de Stokes y los toros de Ramis.
3. Caracterización Intrínseca mediante Sistemas Locales de Stokes (Sección 5): El artículo se desplaza desde la variedad de representaciones extrínseca hacia los objetos intrínsecos: los sistemas locales de Stokes. Los autores definen nociones de "irreducibilidad" y "reductividad" (semisimplicidad) para sistemas locales de Stokes en términos de reducciones del grupo estructural a subgrupos parabólicos y de Levi. Demuestran que estas propiedades geométricas intrínsecas corresponden precisamente a las condiciones de estabilidad de las representaciones asociadas.

Contribuciones y Resultados Clave

• Caracterización de la Poliestabilidad (Teorema 2 y Teorema 4): El resultado principal establece que una representación de Stokes $\rho$ es poliestable si y solo si su grupo de Galois diferencial $\text{Gal}(\rho)$ es un grupo linealmente reductivo. En el lenguaje intrínseco, esto es equivalente a que el sistema local de Stokes $L$ sea "semisimple" (admitiendo una reducción de Levi irreducible). Esto generaliza el resultado del caso moderado de Richardson al entorno salvaje con clases irregulares arbitrarias y posibles torsiones interiores.
• Caracterización de la Estabilidad (Teorema 3 y Teorema 4): El artículo demuestra que una representación de Stokes $\rho$ es estable si y solo si $\text{Gal}(\rho)$ no está contenido en ningún subgrupo parabólico propio de $G$ (o, en el caso torcido, no preserva ningún subgrupo parabólico propio). Intrínsecamente, esto corresponde a que el sistema local de Stokes $L$ sea irreducible (no teniendo reducciones parabólicas propias).
• Marco Torcido: Los resultados se formulan para manejar entornos "torcidos", donde el grupo estructural $G$ puede variar sobre la curva (torsiones interiores) o donde las clases irregulares están torcidas. Esto requiere trabajar con grupos de la forma $G \rtimes \text{Aut}(G)$ y definir grupos de Galois como subgrupos de $\text{Aut}(G)$ que actúan sobre $G$.
• Parametrización Algebraica: El trabajo proporciona una caracterización algebraica intrínseca de los puntos de la variedad de caracteres salvajes (el espacio de móduli de representaciones de Stokes), identificándolos como clases de isomorfismo de sistemas locales de Stokes semisimples.

Significado y Afirmaciones
Los autores sitúan este trabajo como una completación necesaria del enfoque algebro-geométrico hacia las variedades de caracteres salvajes, complementando las construcciones analíticas anteriores de espacios de móduli de Hodge no abeliano salvajes como variedades hiperkahlerianas.

• Generalización de la Teoría Clásica: El artículo afirma extender con éxito la correspondencia fundamental entre poliestabilidad y reductividad lineal (conocida en el caso moderado a través de Deligne, Schlesinger y Richardson) al caso irregular (salvaje).
• Enfoque Intrínseco: Una contribución significativa es el establecimiento de un enfoque "intrínseco" para estos resultados. En lugar de depender únicamente de la variedad de representaciones, los autores caracterizan la estabilidad directamente a través de la teoría de reducciones de sistemas locales de Stokes (reducciones parabólicas y de Levi), reflejando los teoremas de Narasimhan–Seshadri y Mehta–Seshadri para conexiones planas unitarias.
• Fundamental para la Teoría de Hodge No Abeliana: Los resultados se presentan como un paso fundamental para comprender la estructura del "espacio de Hodge no abeliano". Al identificar los puntos estables (sistemas locales de Stokes irreducibles), el artículo se alinea con conjeturas sobre la correspondencia entre haces armónicos salvajes y conexiones meromorfas/campos de Higgs. Los autores notan que estos sistemas irreducibles corresponden a los datos de entrada para la construcción de métricas armónicas salvajes.
• Alcance: El artículo establece explícitamente que cubre el caso de estructura formal arbitraria en polos y grupos estructurales reductivos complejos arbitrarios, incluidos los casos torcidos. No afirma resolver la existencia de la métrica hiperkahleriana en sí misma, sino que proporciona la caracterización algebraica de los puntos del móduli que tales métricas parametrizarían.

Los autores reconocen que las pruebas dependen en gran medida del teorema de Hilbert–Mumford y que la formulación de las afirmaciones intrínsecas requirió un esfuerzo considerable para corregirlas. También señalan que, aunque sus resultados se superponen con trabajos recientes de tesis en el entorno moderado con torsiones interiores, su alcance es más amplio, cubriendo el entorno salvaje completo con clases irregulares arbitrarias.