Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Resumo Técnico: Seções de Fibrações Lagrangianas

Enunciado do Problema
O artigo aborda a existência de seções para fibrações lagrangianas $\pi: M \to X$ em variedades hiperkähler compactas de holonomia máxima (variedades holomorficamente simétricas irredutíveis). Embora a base $X$ seja conhecida por ser biholomorfa a $\mathbb{CP}^n$ (sob suposições de suavidade), a existência de uma seção holomorfa global ou mesmo meromorfa é uma obstrução topológica e geométrica não trivial.

Tentativas anteriores de construir tais seções usando argumentos puramente topológicos (por exemplo, representando classes de homologia por subvariedades) falharam, particularmente para superfícies K3 e fibrações elípticas. O problema central é determinar se, sob condições específicas, é possível deformar a estrutura complexa de $M$ para admitir uma seção meromorfa sem alterar o tipo deformacional da variedade.

Metodologia
Os autores empregam uma abordagem de múltiplos estágios combinando geometria algébrica, álgebra homológica e geometria diferencial complexa:

1. Deformações de Twistor Degeneradas: O mecanismo central é o uso de "deformações de twistor degeneradas" (ou torções de Tate-Shafarevich). Dada uma fibração lagrangiana $\pi: M \to X$ e uma forma $(2,0)+(1,1)$ fechada $\eta$ na base $X$, pode-se deformar a estrutura complexa de $M$ para uma nova estrutura $I_\eta$ tal que a forma $\Omega + \pi^*\eta$ se torne holomorficamente simétrica. Crucialmente, se uma seção suave $S$ existe, a forma $\eta = -S^*\Omega$ torna $S$ holomorfa na estrutura deformada.
2. Construção Local via Média: Os autores primeiro constroem uma seção suave sobre uma reta geral $C \cong \mathbb{CP}^1 \subset X$. Isso depende de:
   • Teorema de Thom: Representar uma classe de homologia específica no pré-imagem $\pi^{-1}(C)$ por uma subvariedade suave de dimensão 2.
   • Modelos de Néron e Estruturas de Torsor: Utilizar a estrutura de grupo abeliano (ou estrutura de torsor) das fibras suaves. Ao "tirar a média" dos pontos de interseção da subvariedade com as fibras (usando a lei de grupo), eles constroem uma seção suave $\sigma: C \to M$.
   • Suposição de Primitividade: A construção requer que a fibra geral seja primitiva na homologia inteira para garantir a existência de uma multisseção com multiplicidade total 1.
3. Extensão via Correntes de Dolbeault: A principal obstrução para estender a deformação local de uma vizinhança de $C$ para toda a base $X = \mathbb{CP}^n$ reside no grupo de cohomologia $H^1(UC, \mathcal{O})$. Os autores definem uma "classe de Dolbeault" associada à seção. Eles provam que esta classe de Dolbeault é nula ao realizá-la como uma corrente e mostrar que é exata, permitindo assim a extensão da forma fechada $\eta$ para toda a base.
4. Princípio da Holografia: Uma vez que uma seção holomorfa existe sobre uma vizinhança de uma curva racional ampla $C$, os autores aplicam um "princípio da holografia" (Teorema 5.12). Este princípio afirma que qualquer mapa holomorfo de uma vizinhança de uma curva racional ampla em $\mathbb{CP}^n$ para uma variedade Kähler estende-se a um mapa meromorfo em todo o $\mathbb{CP}^n$.

Principais Contribuições e Resultados

• Teorema 1.1 (Resultado Principal): Seja $\pi: M \to \mathbb{CP}^n$ uma fibração lagrangiana em uma variedade hiperkähler compacta de holonomia máxima. Assuma que a fibra geral é primitiva na homologia inteira e que as fibras são reduzidas fora de um subconjunto de codimensão 2. Então, existe um parâmetro $t_0 \in H^2(\mathbb{CP}^n, \mathbb{C})$ tal que a deformação de twistor degenerada $(M, I_{t_0})$ admite uma seção meromorfa $\pi: (M, I_{t_0}) \to \mathbb{CP}^n$.
• Anulação da Obstrução (Teorema 6.19): O artigo prova que a classe de Dolbeault associada à seção suave construída sobre uma reta é nula. Este é o passo crítico que permite que a deformação de twistor degenerada local seja estendida globalmente.
• Refinamento de Argumentos de Homologia (Seção 4): Os autores abordam as sutilezas em relação à classe de homologia da seção construída. Eles demonstram que, embora o procedimento de "média" modifique a classe de homologia da multisseção inicial, a classe resultante é unicamente determinada e compatível com a estrutura global, resolvendo preocupações levantadas por J. Kollár sobre a preservação de classes de homologia.
• Comparação com Torções de Tate-Shafarevich: O artigo distingue sua abordagem do trabalho recente de J. Kollár sobre torções de Tate-Shafarevich. Enquanto Kollár constrói seções racionais para fibrações abelianas via torções que podem não preservar o tipo deformacional da variedade, o uso dos autores de deformações de twistor degeneradas garante que a variedade resultante permaneça deformacionalmente equivalente à $M$ original.

Significância e Alegações
O artigo afirma resolver o problema topológico de construir uma seção suave para fibrações lagrangianas ao desenvolver uma abordagem algebro-geométrica robusta que supera as limitações de métodos topológicos anteriores.

• Equivalência Deformacional: Uma alegação significativa é que a variedade resultante com uma seção meromorfa é uma deformação de twistor degenerada da variedade original. Diferente de outras construções (como certas torções de Tate-Shafarevich), esta deformação preserva o tipo deformacional da variedade hiperkähler.
• Necessidade de Primitividade: Os autores argumentam explicitamente que a primitividade da fibra geral é uma condição necessária para a existência de uma seção bimeromorfa, citando exemplos (sistema de Mukai de Hellmann) onde fibras não primitivas impedem tais seções.
• Generalidade: O resultado aplica-se a todas as fibrações lagrangianas em variedades hiperkählerses que satisfazem as condições de primitividade e de fibras reduzidas, fornecendo um quadro unificado para a existência de seções neste contexto.

O artigo não afirma construir seções para todas as fibrações lagrangianas sem a suposição de primitividade, nem afirma que a seção é holomorfa na estrutura complexa original; em vez disso, estabelece a existência de uma seção dentro de uma família específica e bem definida de deformações da estrutura complexa.