Deformations of representations of fundamental groups of complex varieties

1. Problema e Contexto

O artigo aborda o estudo local das variedades de representação de grupos fundamentais de variedades complexas suaves. Especificamente, o objetivo é descrever a estrutura do anel local formal $\hat{\mathcal{O}}_\rho$ da variedade de representação $\text{Hom}(\pi_1(X, x), G)$ em um ponto $\rho$, onde $G$ é um grupo algébrico linear e $\rho$ é uma representação do grupo fundamental $\pi_1(X, x)$.

O problema central é entender as restrições impostas pela geometria da variedade $X$ (especialmente quando $X$ é não compacta ou possui singularidades no infinito) sobre a teoria de deformações de $\rho$. Trabalhos anteriores estabeleceram resultados importantes em casos específicos:

• Goldman-Millson (1988): Para $X$ compacta de Kähler e $\rho$ monodromia de uma variação de estrutura de Hodge polarizável, mostraram que $\hat{\mathcal{O}}_\rho$ possui uma apresentação quadrática.
• Kapovich-Millson (1998): Para $X$ não compacta e $\rho$ com imagem finita, mostraram que existe uma apresentação ponderada (weighted-homogeneous) com pesos específicos nos geradores e relações.

O artigo visa generalizar e unificar esses resultados, tratando o caso onde $\rho$ é a monodromia de uma Variação de Estrutura de Hodge Mista Admissível (VMHS) sobre uma variedade algébrica suave ou uma variedade quase-Kähler, com monodromia unipotente no infinito.

2. Metodologia

A metodologia combina Teoria de Hodge Mista, Teoria de Deformação via Álgebras DG e $L_\infty$, e Categorias Monoidais Simétricas. O trabalho divide-se em duas partes principais:

A. Construção Geométrica (Seções 4-6)

O autor constrói um objeto $L$ que é simultaneamente uma Álgebra Diferencial Graduada (DG) de Lie e um Complexo de Hodge Misto (MHC).

• Álgebra DG de Lie: $L$ é a álgebra de formas diferenciais $C^\infty$ com valores no sistema local $\text{ad}_\rho$ (o fibrado adjunto associado à representação).
• Complexo de Hodge Misto: Para garantir que a cohomologia de $L$ carregue uma estrutura de Hodge mista, o autor utiliza funtores de Thom-Whitney (introduzidos por Navarro Aznar). Esses funtores permitem resolver feixes de forma que preservem a estrutura de álgebra comutativa ou de Lie ao nível de cadeias, evitando problemas de comutatividade do produto cup em cochains.
• Casos Geométricos: O artigo trata separadamente:
  1. VHS não degenerantes: Em variedades compactas ou extensíveis.
  2. VMHS degenerantes em curvas: Utilizando a teoria de Steenbrink-Zucker e filtragens de monodromia relativa.
  3. Caso Geral (Módulos de Hodge Misto): Utilizando a teoria de Saito para variedades de dimensão superior, garantindo a existência de um MHC para VMHS admissíveis.

B. Análise Algébrica e Teoria de Deformação (Seção 7)

Uma vez estabelecido que $L$ é um "Diagrama de Hodge Misto de Álgebras de Lie", o autor aplica a teoria de deformação:

• Álgebras $L_\infty$: Em vez de trabalhar apenas com a álgebra DG de Lie $L$, o autor utiliza a estrutura de $L_\infty$ na cohomologia $H(L)$. Pelo teorema de transferência de homotopia, a teoria de deformação de $L$ é isomorfa à de $H(L)$ equipado com operações multilineares superiores ($\ell_r$).
• Interação com Pesos: A chave da prova é observar que as operações $\ell_r$ respeitam a filtragem de peso do MHC.
  • Se os geradores (em $H^1(L)$) têm pesos estritamente positivos, e as relações (em $H^2(L)$) têm pesos limitados, então muitas operações $\ell_r$ de ordem alta devem se anular por incompatibilidade de pesos.
  • Isso força a série infinita que define a teoria de deformação a tornar-se um sistema finito de equações polinomiais.

3. Principais Contribuições e Resultados

Teorema Principal (Teorema 1.1 e 1.4)

O autor demonstra que, para uma representação $\rho$ que surge da monodromia de uma VMHS admissível com monodromia unipotente no infinito:

1. Existe uma Estrutura de Hodge Mista (MHS) no anel local formal $\hat{\mathcal{O}}_\rho$, functorial em relação a $X$ e ao ponto base.
2. O anel $\hat{\mathcal{O}}_\rho$ admite uma apresentação ponderada (weighted-homogeneous). Os pesos dos geradores são derivados dos pesos de $H^1(X, \text{ad}_\rho)$ e os pesos das relações são limitados pelos pesos de $H^2(X, \text{ad}_\rho)$.

Generalização de Resultados Anteriores

• Recuperação de Goldman-Millson: No caso compacto com VHS polarizável, os pesos de $H^1$ são 1 e $H^2$ são 2. As operações de ordem superior ($r \ge 3$) desaparecem, resultando em uma apresentação quadrática (equações de grau 2).
• Recuperação de Kapovich-Millson: No caso de imagem finita, os pesos de $H^1$ são 1 e 2, e os de $H^2$ são 2, 3 e 4. Isso permite equações de grau até 4, recuperando o resultado de apresentação ponderada.
• Novo Caso (VMHS): O trabalho estende esses resultados para VMHS admissíveis em variedades não compactas, fornecendo equações ponderadas mesmo quando a apresentação não é estritamente quadrática ou de grau limitado por um pequeno número fixo (dependendo do comportamento no infinito).

Estrutura Functorial

O artigo prova que a construção do MHC é lax simétrica monoidal. Isso significa que a estrutura de Hodge mista é compatível com produtos tensoriais de sistemas locais, permitindo tratar o sistema adjunto $\text{ad}_\rho$ e módulos sobre ele de forma consistente dentro da categoria de VMHS.

4. Significado e Impacto

• Unificação Teórica: O trabalho fornece uma estrutura unificada que explica por que os resultados de Goldman-Millson e Kapovich-Millson funcionam: ambos são consequências da estrutura de Hodge mista na cohomologia com coeficientes locais.
• Ferramenta para Restrições de Grupos: Ao fornecer descrições explícitas (equações ponderadas) das variedades de representação, o método oferece novas ferramentas para identificar quais grupos não podem ser grupos fundamentais de variedades algébricas suaves (problema de realizabilidade).
• Avanço em Hodge Misto: A aplicação sistemática de funtores de Thom-Whitney e módulos de Hodge mistos de Saito para resolver problemas de deformação de representações de grupos fundamentais abre novas vias de pesquisa na interseção entre geometria algébrica, topologia e teoria de Hodge.
• Atualização (Nota do Autor): O autor nota que resultados mais recentes (como Bakker-Brunebarbe-Tsimerman, 2024) generalizam ainda mais estes resultados usando estruturas de twistor mistas, mas o presente trabalho permanece fundamental pela sua abordagem direta via teoria de Hodge mista clássica e sua clareza na construção das equações ponderadas.

Em resumo, o artigo estabelece que a geometria da variedade de base (via estrutura de Hodge mista) dita diretamente a estrutura algébrica das deformações do grupo fundamental, permitindo a escrita explícita de equações que definem a variedade de representação local.