Meromorphic Group Actions and the Support Theorem for Lagrangian Fibrations

Resumo Técnico: Ações de Grupos Meromórficos e o Teorema de Suporte para Fibrações Lagrangianas

Enunciado do Problema
O artigo aborda a estrutura geométrica e cohomológica de fibrações lagrangianas $f: X \to B$ em espaços complexos holomorfos simpléticos. Enquanto o teorema de Liouville–Arnold descreve a dinâmica de tais sistemas sobre o lóbulo regular (onde as fibras são toros compactos), o comportamento sobre as fibras singulares e sobre toda a base $B$ permanece complexo. Especificamente, os autores investigam se uma família de grupos de Lie comutativos pode ser construída para agir fielmente no espaço total $X$ sobre toda a base $B$, incluindo fibras singulares, e como essa ação de grupo governa a topologia da fibração.

Um objetivo central é provar um "Teorema de Suporte" para o Teorema da Decomposição do complexo de imagem direta $Rf_* \mathbb{R}_X[\dim X]$ (ou $Rf_* IC_X$ no caso singular). Este teorema relaciona os possíveis suportes (variedades irredutíveis $Z \subseteq B$) que aparecem na decomposição à geometria das fibras da família de grupos, especificamente aos seus quocientes de toro compacto maximal.

Metodologia
Os autores empregam uma síntese de geometria analítica complexa, teoria de Hodge e a teoria de álgebras de Hopf. A metodologia procede em três estágios principais:

1. Construção de Ações de Grupos Meromórficos:

   • Partindo do teorema de Liouville–Arnold, os autores integram campos vetoriais hamiltonianos verticais para definir uma ação holomorfa do feixe cotangente $T^*B$ no lóbulo regular.
   • Eles estendem isso para todo o espaço $X$ utilizando o espaço de Douady relativo de $X \times_B X$. Ao analisar o componente irredutível que contém a imagem do morfismo de classificação, eles constroem uma família de grupos meromórficos $G \to B$ (no sentido de Fujiki) agindo sobre $X$.
   • Uma conquista técnica fundamental é provar que esta construção produz uma família suave de grupos de Lie comutativos agindo meromorficamente em $X$, mesmo quando $X$ é singular ou não compacto, desde que $X$ seja Kähler e $B$ seja uma variedade complexa. Isso remove a dependência de suposições algébricas prévias ou condições sobre o lóbulo crítico.

2. Liberdade Cohomológica via Módulos de Hopf:

   • Os autores estabelecem um "Teorema de Liberdade" para a cohomologia das fibras. Eles utilizam a estrutura de grupos meromórficos, que admitem uma decomposição $1 \to L \to G \to T \to 1$ (onde $L$ é algébrico linear e $T$ é um toro compacto).
   • Utilizando a teoria de Hodge mista, eles mostram que a cohomologia $H^*(X_b)$ de uma fibra é um comodódulo livre sobre a álgebra de Hopf $H^*(T_b)$.
   • Crucialmente, eles adaptam a construção de divisão de Deligne para o teorema da decomposição para mostrar que a filtração perversa na cohomologia das fibras é compatível com a estrutura de comodódulo. Isso permite tratar a cohomologia do complexo de imagem direta como um módulo livre sobre a cohomologia do quociente de toro compacto maximal.

3. Prova do Teorema de Suporte:

   • Combinando a liberdade dos módulos de cohomologia com a condição de $\delta$-regularidade (um limite para a dimensão da parte linear do grupo sobre a base), os autores restringem os possíveis suportes no Teorema da Decomposição.
   • Eles demonstram que, se $Z \subseteq B$ é um suporte, sua codimensão é determinada pela dimensão do quociente de toro compacto maximal $T_b$ do grupo sobre um ponto geral de $Z$.

Principais Contribuições e Resultados

• Teorema A (Existência de Ação de Grupo): Para uma fibração lagrangiana $f: X \to B$ com $X$ Kähler (possivelmente singular) e $B$ suave, existe uma família suave $G \to B$ de grupos de Lie comutativos agindo fielmente e meromorficamente em $X$. Isso generaliza resultados anteriores que exigiam configurações algébricas ou condições específicas sobre o lóbulo crítico.
• Teorema B (Teorema de Liberdade): A cohomologia singular $H^*(X_b, \mathbb{R})$ de uma fibra é um módulo livre sobre a álgebra de cohomologia $H^*(T_b, \mathbb{R})$, onde $T_b$ é o quociente de toro compacto maximal do componente da identidade do grupo. Este resultado é válido para complexos construtíveis sob a ação do grupo, incluindo o complexo de interseção $IC_X$ para $X$ singular.
• Teorema C (Teorema de Suporte): Se $Z \subseteq B$ é um suporte no Teorema da Decomposição para $Rf_* IC_X$, então $\dim Z = \dim T_b$ para um $b \in Z$ geral. Além disso, a soma direta de feixes perversos simples suportados em $Z$ é construída a partir da cohomologia dos quocientes de toro compacto e de um sistema local com monodromia finita.
• Generalização para Espaços Singulares: Os resultados são estendidos para espaços holomorfos simpléticos singulares (no sentido de Beauville) utilizando geometria de Poisson e resoluções funcionais de singularidades, provando que as propriedades de equidimensionalidade e flatness necessárias para a prova se mantêm neste contexto mais amplo.

Significância e Alegações
O artigo afirma fornecer uma descrição completa e intrínseca dos suportes no Teorema da Decomposição para fibrações lagrangianas, unificando os contextos algébrico e Kähler.

• Eliminação de Condições: Os autores enfatizam que sua construção da ação de grupo elimina a necessidade da "condição (1)" (sobrejetividade do lóbulo não-crítico) usada em trabalhos anteriores, e não exige que a fibração seja algébrica.
• Compatibilidade de Hodge: O uso de coeficientes reais é motivado pela necessidade de a estrutura de módulo ser canônica e compatível com estruturas de Hodge mistas. Os autores observam que, embora os resultados valham sobre $\mathbb{Q}$, a estrutura de módulo não é canônica nesse cenário.
• Interpretação Geométrica: O Teorema de Suporte fornece uma caracterização geométrica da decomposição: o "tamanho" dos suportes é governado diretamente pelo "tamanho" dos quocientes de toro compacto da família de grupos atuante. Isso vincula a topologia do complexo de imagem direta diretamente à geometria da ação de grupo construída via o mecanismo de Liouville–Arnold.
• Aplicabilidade: O arcabouço aplica-se tanto a fibrações lagrangianas suaves quanto singulares, incluindo aquelas que surgem no contexto de sistemas de Hitchin e espaços de módulos, oferecendo uma ferramenta robusta para analisar a topologia desses espaços sem depender de modelos algébricos específicos.

Os autores posicionam seu trabalho como um passo significativo para a compreensão da estrutura global de sistemas integráveis em geometria complexa, preenchendo a lacuna entre a visão local de Liouville–Arnold e o comportamento global singular da fibração.