Deformations of representations of fundamental groups of complex varieties

Resumen Técnico: Deformaciones de Representaciones de Grupos Fundamentales

1. Problema y Contexto

El artículo aborda el estudio local de las variedades de representaciones de grupos fundamentales de variedades complejas suaves. Específicamente, se centra en describir la estructura del anillo local completo $\hat{\mathcal{O}}_\rho$ de la variedad de representaciones $\text{Hom}(\pi_1(X, x), G)$ en un punto dado $\rho$, donde $G$ es un grupo algebraico lineal.

El objetivo principal es generalizar y unificar dos resultados clásicos previos:

1. Goldman-Millson (1988): Para variedades compactas Kähler y representaciones de monodromía de variaciones de Hodge polarizables, demostraron que $\hat{\mathcal{O}}_\rho$ tiene una presentación cuadrática (relaciones de grado $\le 2$).
2. Kapovich-Millson (1998): Para variedades no compactas y representaciones de imagen finita, demostraron que existe una presentación homogénea ponderada con pesos específicos en generadores y relaciones.

El problema central es entender cómo la Teoría de Hodge Mixta (MHS) impone restricciones algebraicas sobre las deformaciones de estas representaciones, especialmente en casos no compactos y con monodromía no trivial en el infinito.

2. Metodología

El autor emplea una combinación sofisticada de teoría de deformaciones, álgebra homotópica y geometría algebraica:

• Álgebras DG Lie y $L_\infty$:

  • Se asocia al problema una álgebra de formas diferenciales $C^\infty$ con valores en el sistema local $\text{ad}_\rho$, denotada como $L$, que tiene estructura de álgebra diferencial graduada (DG) Lie.
  • Siguiendo a Goldman-Millson, el functor de deformación $\text{Def}_\rho$ es isomorfo a $\text{Def}_{L, \epsilon}$.
  • Para tratar casos no formales (donde $L$ no es cuasi-isomorfo a su cohomología), el autor utiliza álgebras $L_\infty$. La cohomología $H(L)$ hereda una estructura de $L_\infty$ (operaciones multilineales $\ell_r$) tal que $L$ y $H(L)$ son cuasi-isomorfos como álgebras $L_\infty$. Esto permite describir las deformaciones mediante operaciones en espacios vectoriales de dimensión finita.

• Teoría de Hodge Mixta y Complejos Mixtos:

  • Se construye una estructura de Hodge Mixta (MHS) sobre la cohomología $H(L)$ y, crucialmente, sobre el anillo de deformación $\hat{\mathcal{O}}_\rho$.
  • Para lograr esto, se utiliza la teoría de Módulos de Hodge Mixtos de Morihiko Saito y los functores de Thom-Whitney (introducidos por Navarro Aznar). Estos functores permiten construir resoluciones de sistemas locales que preservan simultáneamente la estructura de álgebra DG Lie y la estructura de Hodge, evitando problemas de conmutatividad en el nivel de cadenas.

• Análisis de Pesos:

  • La clave técnica reside en el análisis de los pesos de la filtración de peso $W_\bullet$ en la cohomología $H(L)$.
  • El autor demuestra que las operaciones superiores $\ell_r$ de la estructura $L_\infty$ respetan esta filtración de pesos.
  • Dado que los pesos en $H^1(L)$ y $H^2(L)$ están acotados en ciertos casos, esto fuerza a que muchas operaciones $\ell_r$ sean nulas (si los pesos no coinciden), reduciendo las ecuaciones de deformación a un número finito de ecuaciones polinómicas homogéneas ponderadas.

3. Contribuciones Clave

1. Construcción Functorial de MHS:
   Se construye un Diagrama de Hodge Mixto de Álgebras Lie ($L$) que calcula la cohomología de $X$ con coeficientes en $\text{ad}_\rho$. Esta construcción es functorial respecto a la variedad $X$, el punto base $x$ y la representación $\rho$, y es invariante bajo cuasi-isomorfismos.

2. Generalización de Presentaciones Homogéneas Ponderadas:
   El artículo demuestra que, bajo ciertas condiciones de monodromía (unipotente en el infinito), el anillo local $\hat{\mathcal{O}}_\rho$ admite una presentación homogénea ponderada.

   • Los generadores heredan sus pesos de $H^1(L)$.
   • Las relaciones heredan sus pesos de $H^2(L)$.
   • Esto unifica los resultados de Goldman-Millson (pesos 1 y 2) y Kapovich-Millson (pesos 1, 2 en generadores y 2, 3, 4 en relaciones).

3. Uso de Módulos de Hodge Mixtos:
   Se extiende la validez de estos resultados al caso más general de variedades algebraicas suaves o variedades cuasi-Kähler con variaciones de Hodge mixta (VMHS) admisibles, utilizando la teoría de Saito para manejar la degeneración en el divisor a infinito.

4. Resultados Principales

• Teorema 1.1: Sea $\rho$ la representación de monodromía de una VMHS admisible sobre una variedad compleja suave $X$ con monodromía unipotente en el infinito. Entonces, existe una estructura de Hodge mixta sobre $\hat{\mathcal{O}}_\rho$, functorial en $X$ y $x$. Además, se obtiene una presentación homogénea ponderada de $\hat{\mathcal{O}}_\rho$ mediante una descomposición de la filtración de peso.

• Teorema 1.3 (Versión Algebraica): Si los pesos de $H^1(L)$ son estrictamente positivos, entonces $\hat{\mathcal{O}}_\rho$ tiene una presentación homogénea ponderada donde los pesos de los generadores provienen de $H^1(L)$ y los pesos de las relaciones están limitados por los de $H^2(L)$.

• Casos Específicos Recuperados y Generalizados:

  • Caso Compacto Kähler (VHS polarizable): Se recupera la formalidad y la presentación cuadrática (Goldman-Millson/Eyssidieux-Simpson).
  • Imagen Finita: Se recupera la presentación con pesos 1, 2 en generadores y 2, 3, 4 en relaciones (Kapovich-Millson).
  • Curvas y Monodromía Unipotente: Se demuestra la existencia de una presentación homogénea ponderada, aunque los pesos superiores no están acotados universalmente sin hipótesis adicionales.
  • Caso General (VMHS): Aunque no siempre se puede garantizar un número finito de ecuaciones (presentación finita) para VMHS generales, el método permite escribir explícitamente ecuaciones homogéneas ponderadas.

5. Significado e Impacto

• Unificación Teórica: El trabajo logra unificar dos líneas de investigación aparentemente distintas (variedades compactas vs. no compactas, VHS vs. imagen finita) bajo el paraguas de la teoría de Hodge mixta y las álgebras $L_\infty$.
• Restricciones Topológicas: Proporciona herramientas concretas para demostrar que ciertos grupos no pueden ser grupos fundamentales de variedades complejas suaves, basándose en las restricciones de peso que impone la estructura de Hodge mixta sobre sus deformaciones.
• Avance en Teoría de Deformaciones: Introduce una metodología robusta que combina la teoría de módulos de Hodge mixtos (geometría profunda) con el formalismo de álgebras $L_\infty$ (álgebra homotópica) para estudiar la estructura local de espacios de moduli.
• Actualización: El autor nota en la versión final que la hipótesis de "monodromía local cuasi-unipotente" se ha reducido a "monodromía local unipotente" para la validez estricta de sus resultados, reconociendo trabajos posteriores (como Bakker-Brunebarbe-Tsimerman) que generalizan estos resultados usando estructuras de twistor mixtas.

En resumen, Lefèvre demuestra que la estructura de Hodge mixta no es solo un invariante cohomológico, sino que dicta la geometría algebraica local de las variedades de representaciones, imponiendo una estructura de pesos que simplifica drásticamente las ecuaciones que definen las deformaciones.