Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

1. Problema e Contexto

O artigo aborda a teoria de Hodge de fibrados lagrangianos sobre variedades simpléticas holomorfas (que podem ser não compactas). O foco central é a relação entre dois objetos aparentemente distintos associados a um fibrado lagrangiano $\pi: M \to B$, onde $M$ é uma variedade simplética holomorfa de dimensão $2n$ e $B$ é uma variedade complexa de dimensão $n$:

1. Os feixes de formas holomorfas $\Omega^{n+k}_M$ na variedade total $M$.
2. Os feixes pervertidos $P_i$ que surgem no Teorema da Decomposição da imagem direta $R\pi_* \mathbb{Q}_M[2n]$.

O problema principal reside em entender a estrutura profunda que conecta a cohomologia das fibras (que são variedades abelianas) e as singularidades do fibrado, especialmente em relação a duas conjecturas recentes de Maulik, Shen e Yin:

• A Conjectura de Simetria de Shen e Yin, que prevê uma isomorfismo entre complexos derivados $G_{i,k}$ e $G_{k,i}$.
• A relação entre a "perverse filtration" (filtragem pervertida) e a filtragem de Hodge.

Até então, muitos resultados sobre variedades hiper-Kähler (um caso especial compacto) dependiam fortemente da existência de uma métrica hiper-Kähler e da teoria de formas harmônicas. O objetivo deste trabalho é estabelecer essas relações e simetrias sem assumir a existência de uma métrica hiper-Kähler, aplicando-se assim a variedades não compactas e a fibrados lagrangianos gerais (como o fibrado de Hitchin).

2. Metodologia

A abordagem de Schnell combina ferramentas avançadas de geometria algébrica e análise complexa:

• Módulos de Hodge (Saito): O autor utiliza a teoria de módulos de Hodge de Morihiko Saito para tratar a imagem direta $R\pi_* \mathbb{Q}_M[2n]$ como um módulo de Hodge polarizável. Isso permite definir uma filtragem de Hodge $F^\bullet$ nos feixes pervertidos $P_i$.
• Correspondência BGG: O artigo emprega a correspondência de Bernstein-Gelfand-Gelfand (BGG), que estabelece uma equivalência entre a categoria derivada de módulos graduados sobre a álgebra simétrica $S_B = \text{Sym}(T_B)$ e a categoria derivada de módulos sobre a álgebra de formas holomorfas $\Omega_B$. Isso permite traduzir problemas sobre feixes pervertidos (via módulos D) para problemas sobre formas holomorfas.
• Teorema da Decomposição: A estrutura da imagem direta é decomposta em feixes pervertidos $P_i$. O autor analisa a imagem direta das formas holomorfas $R\pi_* \Omega^{n+k}_M$ e a relaciona com os termos graduados da filtragem de Hodge dos módulos $P_i$.
• Formas Simpléticas e Kähler: O autor constrói operadores específicos usando a forma simplética holomorfa $\sigma$ (tipo $(2,0)$) e uma forma Kähler $\omega$ (tipo $(1,1)$). Ele define operadores de Weil (elementos de Weil) associados às representações do álgebra de Lie $\mathfrak{sl}_2(\mathbb{C})$ induzidas por $\sigma$ e $\omega$.
• Análise de Operadores no Derivado: A prova central envolve a análise de comutadores e relações de Serre entre operadores definidos no nível da categoria derivada, demonstrando que certas transformações são isomorfismos.

3. Principais Contribuições e Resultados

A. Teorema de Lefschetz Relativo Simplético

O autor prova um novo teorema de Lefschetz relativo para a forma simplética. Enquanto o teorema de Lefschetz clássico (para formas Kähler) é conhecido para morfismos projetivos, a versão para formas simpléticas em fibrados lagrangianos é mais sutil.

• Resultado: O operador induzido pela forma simplética, $\sigma_1: G_{i,-k} \to G_{i+k, k}[2k]$, é um isomorfismo na categoria derivada para todo $k \ge 1$.
• Significado: Isso estabelece uma simetria fundamental que não depende da métrica hiper-Kähler.

B. Prova da Conjectura de Simetria de Shen e Yin

O artigo prova que os complexos $G_{i,k}$ e $G_{k,i}$ são isomorfos na categoria derivada de feixes coerentes sobre $B$.

• Mecanismo: A simetria é explicada geometricamente como uma reflexão em um "hexágono" de complexos, gerada pelo grupo simétrico $S_3$ (o grupo de Weyl de $\mathfrak{sl}_3(\mathbb{C})$). As reflexões correspondem às ações de $\omega$ (forma Kähler) e $\sigma$ (forma simplética).

C. Relação entre Formas Holomorfas e Feixes Pervertidos (Teorema Principal)

O resultado central (Teorema 22) estabelece uma isomorfismo profundo:
$$\bigoplus_{k=-n}^n G_{i,k}[i+k] \cong \bigoplus_{k=-n}^n G_{k,i}[i+k]$$
Isso significa que, ao tomar o graduado da filtragem de Hodge dos feixes pervertidos e aplicar a correspondência BGG, obtém-se um objeto isomorfo ao graduado da filtragem pervertida da imagem direta das formas holomorfas.

• Interpretação: "Tomar o graduado da filtragem de Hodge comuta com tomar o graduado da filtragem pervertida" ($\text{gr}_F \circ \text{gr}_P \cong \text{gr}_P \circ \text{gr}_F$).

D. Ação da Álgebra de Lie $\mathfrak{sl}_3(\mathbb{C})$ e $\mathfrak{sl}_4(\mathbb{C})$

• Caso Não Compacto: O autor demonstra que a soma direta de todos os complexos $G_{i,k}$ (com deslocamentos apropriados) admite uma ação do álgebra de Lie $\mathfrak{sl}_3(\mathbb{C})$. Os geradores são os operadores $\omega_2$ (Kähler), $\sigma_1$ (simplético) e seus duais, satisfazendo as relações de Serre.
• Caso Compacto: Se $M$ e $B$ são compactos, a ação se estende para $\mathfrak{sl}_4(\mathbb{C}) \cong \mathfrak{so}_6(\mathbb{C})$, generalizando resultados anteriores de Looijenga-Lunts e Verbitsky para variedades hiper-Kähler, mas sem usar a métrica hiper-Kähler.

E. Simetria "Perverse = Hodge" Numérica

O artigo fornece uma nova prova para a simetria numérica $H^j(B, G_{i,k}) \cong H^j(B, G_{k,i})$ para variedades hiper-Kähler compactas irredutíveis, removendo a dependência da métrica hiper-Kähler e substituindo-a pela existência de uma estrutura de fibrado lagrangiano.

4. Significado e Impacto

• Generalização: Os resultados se aplicam a fibrados lagrangianos em variedades simpléticas holomorfas não compactas, incluindo o fibrado de Hitchin (desde que o posto e o grau sejam coprimos), onde métricas hiper-Kähler globais podem não existir ou ser difíceis de construir.
• Independência de Métrica: A maior contribuição conceitual é demonstrar que as simetrias profundas da cohomologia de variedades hiper-Kähler e a estrutura de seus fibrados lagrangianos são consequências da teoria de Hodge e da geometria simplética, e não dependem da existência de uma métrica hiper-Kähler específica.
• Estrutura Derivada: O trabalho destaca que essas simetrias e ações de álgebras de Lie são visíveis apenas na categoria derivada, e não necessariamente no nível dos feixes ou cohomologia individual.
• Ferramentas Novas: A aplicação da correspondência BGG e da teoria de módulos de Hodge para conectar a filtragem pervertida e a filtragem de Hodge abre novas vias para estudar a cohomologia de espaços de moduli e fibrados lagrangianos.

Em resumo, o artigo estabelece uma ponte rigorosa entre a teoria de Hodge de módulos pervertidos e a geometria das formas holomorfas em fibrados lagrangianos, provando conjecturas importantes e revelando uma rica estrutura de simetria governada por álgebras de Lie clássicas, tudo isso sem recorrer à métrica hiper-Kähler.