Multiplicity of codimension 1 fibers in Lagrangian fibrations

1. O Problema

O artigo aborda uma questão fundamental na geometria das variedades hiper-Kähler compactas. Seja $\pi: X \to B$ uma fibração lagrangiana de uma variedade hiper-Kähler compacta $X$.

• Contexto: Fibracões lagrangianas são mapas para uma base $B$ onde as fibras genéricas são toros lagrangianos. É esperado que tais fibracões não possuam "fibras múltiplas" de codimensão 1.
• A Conjectura: A conjectura, apontada inicialmente em [Mar96] e explicitada em [KV19], afirma que toda fibra de codimensão 1 em $\pi$ tem multiplicidade 1. Ou seja, para qualquer divisor primo $D \subset B$, a pré-imagem $\pi^{-1}(D)$ deve ser um divisor reduzido (não múltiplo).
• Importância: A ausência de fibras múltiplas de codimensão 1 é uma premissa não comprovada em vários resultados recentes da literatura (ex: [KV19], [DMS24], [Kim24]). A dependência dessa conjectura tornava esses resultados condicionais.
• Desafio Técnico: Em dimensão 2 (superfícies K3), o resultado é bem conhecido e segue de fórmulas locais do fibrado canônico. No entanto, para $\dim X \geq 4$, versões locais falham devido a contraexemplos encontrados em [HO11]. Portanto, a prova deve depender de propriedades globais da variedade $X$.

2. Metodologia

A prova central de Kim não depende da estrutura simplética de $X$, mas sim de uma propriedade topológica global: a simples conexidade de $X$. A estratégia utiliza a construção de coberturas cíclicas.

• Hipótese de Contradição: Assume-se que existe um divisor primo $D \subset B$ tal que sua pré-imagem é $\pi^*(D) = mE$, onde $m \geq 2$ é a multiplicidade e $E$ é um divisor de Weil em $X$.
• Construção da Cobertura Cíclica:
  1. Constrói-se uma cobertura cíclica $\tilde{X} \to X$ de grau $m$ ramificada ao longo do divisor $mE$.
  2. Toma-se a normalização $Y$ dessa cobertura, resultando em um mapa $q: Y \to X$.
• Análise Local e Propriedades de $Y$:
  • O artigo demonstra que, sobre o lugar regular $X_{reg}$, o mapa $q$ é uma cobertura étale finita de grau $m$.
  • Utiliza-se o Lema 2.5 para mostrar que a cobertura cíclica sobre $X$ é a pullback de uma cobertura cíclica sobre a base $B$ (localmente).
  • Prova-se que $Y$ é uma fibração própria e equidimensional sobre uma variedade conexa $\tilde{B}$ (a cobertura cíclica de $B$).
• Conectividade e Simples Conexidade:
  • Como $Y$ é uma fibração sobre uma base conexa, $Y$ é conexa.
  • Portanto, $q: Y \to X$ é uma cobertura étale conexa de grau $m$ sobre $X_{reg}$.
  • Isso induz um homomorfismo sobrejetor do grupo fundamental étale: $\pi_1^{et}(X_{reg}) \to \mathbb{Z}/m\mathbb{Z}$.
  • Conclusão Lógica: Se $X$ é simplesmente conexo (o que é verdade para variedades hiper-Kähler compactas), então $\pi_1^{et}(X_{reg})$ é trivial. A existência de tal homomorfismo para $m \geq 2$ é uma contradição. Logo, $m$ deve ser 1.

3. Contribuições Chave e Resultados Principais

Teorema Principal (Teorema 1.1 e 2.1)

• Teorema 1.1: Seja $X$ uma variedade hiper-Kähler compacta e $\pi: X \to B$ uma fibração lagrangiana. Então, $\pi$ não possui fibras múltiplas de codimensão 1.
• Teorema 2.1 (Versão Geral): Para uma fibração própria e equidimensional $\pi: X \to B$ entre variedades normais e conexas, se existe uma fibra de codimensão 1 com multiplicidade $m$, então existe um homomorfismo sobrejetor $\pi_1^{et}(X_{reg}) \to \mathbb{Z}/m\mathbb{Z}$.
  • Implicação: Se $X_{reg}$ for simplesmente conexo, não há fibras múltiplas.

Generalizações e Consequências

• Teorema 3.1: Para variedades simétricas irredutíveis projetivas, as multiplicidades das fibras de codimensão 1 são limitadas superiormente pelo tamanho do grupo fundamental étale $|\pi_1^{et}(X_{reg})|$. Se o grupo for trivial, não há fibras múltiplas.
• Unconditionalização de Resultados Existentes: O artigo remove a necessidade de assumir a conjectura como hipótese em trabalhos anteriores, tornando os seguintes resultados incondicionais:
  • Teorema 3.2 ([KV19]): O pullback de um gerador do grupo de classes de divisores de Weil de $B$ é primitivo em $\text{Pic}(X)$.
  • Teorema 3.4 ([Voi25]): Se $X$ é projetiva com número de Picard 2, uma fibra singular genérica é reduzida.
  • Teoremas 3.5 e 3.6: Resultados sobre a cohomologia $R^1\pi_*\mathbb{Z}$ e a estrutura de toro principal sobre o lugar suave da base.

4. Significado e Impacto

1. Resolução de uma Conjectura Aberta: O trabalho prova definitivamente a ausência de fibras múltiplas de codimensão 1 em fibracões lagrangianas de variedades hiper-Kähler, um problema que permanecia em aberto e era crucial para o avanço da teoria.
2. Independência de Estrutura Local: A prova demonstra que a propriedade é puramente global, baseada na topologia (simples conexidade) e não na geometria local das fibras singulares, superando as limitações das abordagens locais que falhavam em dimensões superiores.
3. Fortalecimento da Literatura: Ao tornar resultados recentes de Kamenova-Verbitsky, Voisin, DMS e outros incondicionais, o artigo consolida a base teórica para o estudo de fibracões lagrangianas, permitindo que futuros trabalhos utilizem a não existência de fibras múltiplas como um fato estabelecido.
4. Método Robusto: A técnica de usar coberturas cíclicas normalizadas para extrair informações sobre o grupo fundamental étale é apresentada de forma elegante e pode ser aplicável a outros contextos de fibracões em geometria algébrica.

Nota Final: O autor menciona que Kamenova e Verbitsky provaram independentemente o mesmo teorema usando um método diferente, o que reforça a veracidade e a importância do resultado.