Fibrations by Lagrangian tori for maximal Calabi-Yau degenerations and beyond

Resumo Técnico: Fibrados por Tori de Lagrange para Degenerações de Calabi–Yau Maximais e Além

Enunciado do Problema
O artigo aborda a conjectura de Strominger–Yau–Zaslow (SYZ), que postula que a simetria de espelho para variedades de Calabi–Yau surge de fibrados duais por tori lagrangeanos especiais. Especificamente, os autores focam no "limite de estrutura complexa maximal", que corresponde a uma degeneração de Calabi–Yau maximal. Nesse cenário, Kontsevich e Soibelman formularam conjecturas precisas relativas à existência de fibrados de tori lagrangeanos especiais nas fibras de tais degenerações e sua convergência para um espaço métrico (o esqueleto essencial) que satisfaz uma equação de Monge–Ampère real. Embora existam resultados parciais para famílias específicas (por exemplo, famílias de Fermat ou hipersuperfícies), uma construção geral para arbitrarias degenerações de Calabi–Yau maximais permaneceu elusiva. O artigo visa fornecer uma técnica geral para construir tais fibrados e provar suas propriedades assintóticas, especificamente que eles se tornam lagrangeanos especiais e minimizadores de volume conforme o parâmetro de degeneração se aproxima de zero.

Metodologia
Os autores introduzem um novo arcabouço geométrico centrado no Espaço de A'Campo, um espaço "híbrido" que compactifica a degeneração combinando o blowup orientado real do espaço total com o complexo dual da fibra central. A metodologia procede através dos seguintes passos:

1. Construção do Espaço de A'Campo ($A$):
   Os autores utilizam o espaço de A'Campo $A$ associado a um mapa holomorfo $f: X \to \mathbb{C}$ com uma fibra central de interseção normal simples (snc). Este espaço é construído para resolver a indeterminação da degeneração no "raio zero" (a fibra central). Ele é equipado com uma estrutura suave (especificamente uma atlas $C^\infty$) e uma estratificação que levanta os estratos da fibra central.

2. Formas de Kähler por Fibra:
   Uma inovação técnica crítica é a construção de uma família de modificações exatas de uma dada forma de Kähler $\omega_X$ em $X$. Definidas no espaço de A'Campo, estas formas são denominadas $\omega^\varepsilon_q$ para parâmetros $q \in [0, 1]$ e um pequeno $\varepsilon > 0$.

   • A forma é construída como $\omega^\varepsilon_q = \pi^*\omega_X + \varepsilon \cdot (q \cdot \omega^\sharp + (1-q) \cdot \omega^\flat)$.
   • $\omega^\sharp$ é projetada para ser compatível com a estrutura complexa (Kähler) em raio positivo.
   • $\omega^\flat$ é inspirada em modelos "semi-planos" (semi-flat) e é projetada para degenerar para uma métrica euclidiana no complexo dual no raio zero.
   • Os autores provam que, para $\varepsilon$ suficientemente pequeno, estas formas são Kähler por fibra em raio positivo e simpléticas por fibra no raio zero (especificamente na região "genérica" do esqueleto).

3. Fibrado Lagrangiano no Raio Zero:
   A construção do fibrado é realizada primeiro na fronteira do espaço de A'Campo (raio zero).

   • A base do fibrado é um esqueleto expandido ($ES$), um manifold suave (ou manifold do tipo "ivy-like" no caso geral) construído expandindo as faces do esqueleto essencial $\Delta_S$.
   • Nas fibras de "raio zero", os autores constroem explicitamente um fibrado de tori lagrangeanos. Para faces maximais do esqueleto, as fibras são produtos de tori e simplices. Para faces submaximais, eles utilizam funções de Morse nos estratos para definir o fibrado.
   • No caso específico de degenerações de Calabi–Yau maximais, os autores selecionam um modelo onde os estratos são isomórficos a $\mathbb{C}^*$, permitindo uma escolha canônica de funções de Morse (valor absoluto de uma coordenada) que elimina singularidades no fibrado.

4. Transporte para Raio Positivo:
   Utilizando a conexão simplética associada à família de formas $\omega^\varepsilon_q$, os autores transportam os tori lagrangeanos da fibra de raio zero para as fibras próximas $X_z$ da degeneração original. Este transporte preserva a propriedade lagrangeana.

5. Análise Assintótica:
   Os autores analisam o comportamento destes fibrados transportados conforme o parâmetro $z \to 0$ ao longo de caminhos específicos no plano $(z, q)$. Eles estudam o limite de Gromov–Hausdorff das métricas reescaladas e a convergência das formas de volume.

Principais Contribuições e Resultados

• Construção Geral (Teorema 6.14): O artigo estabelece uma técnica geral para construir fibrados de tori lagrangeanos para qualquer degeneração de Kähler com uma fibra central snc, desde que um subconjunto de componentes seja escolhido para definir um "esqueleto essencial".
• Degenerações de Calabi–Yau Maximais (Teorema 1.1): Para qualquer degeneração de Calabi–Yau maximal que admita um modelo semi-estável, os autores provam a existência de uma família de formas de Kähler $\omega_q$ e uma família suave de mapas $l_{z,q}$ definindo um fibrado de tori lagrangeano em uma região genérica da fibra.
  • A base deste fibrado é o esqueleto expandido $ES$.
  • O limite de Gromov–Hausdorff das fibras reescaladas é o esqueleto essencial $\Delta_S$ equipado com uma métrica euclidiana.
• Especialidade Assintótica (Teorema 1.2): O artigo prova que, para caminhos "tame" (comportados) aproximando-se da degeneração, os tori lagrangeanos na região genérica tornam-se assintoticamente especiais.
  • Preenchimento de Volume: O volume da região genérica (fibrada por tori) converge para o volume total da fibra.
  • Ricci-Flatness Assintótica: As formas construídas aproximam a métrica Ricci-flat no sentido de que a razão de suas formas de volume pela forma de volume holomorfa converge para uma constante.
  • Condição Especial: A parte imaginária da forma de volume holomorfa restrita aos tori desaparece assintoticamente (até uma fase), implicando que os tori são assintoticamente lagrangeanos especiais.
  • Classe de Maslov: As fibras possuem classe de Maslov trivial.
• Resolução de Singularidades na Base: Os autores constroem uma base $ES$ que é um manifold suave (no caso de Calabi–Yau), evitando as singularidades frequentemente associadas ao locus discriminante em outras construções. O discriminante é empurrado para a região "não-genérica", que possui volume vanishing (nulo) no limite.

Significância e Alegações
Os autores alegam que seu trabalho fornece uma versão assintótica da previsão de Kontsevich–Soibelman para o caso geral de degenerações de Calabi–Yau maximais.

• Existência: Eles provam a existência de fibrados de tori lagrangeanos com as propriedades assintóticas esperadas (especialidade, minimização de volume, convergência de Gromov–Hausdorff para o esqueleto essencial) sem restringir a famílias específicas como hipersuperfícies de Fermat.
• Análogo Arquimediano: A construção é apresentada como um análogo arquimediano dos fibrados de tori afinoides não-arquimedianos construídos por Nicaise, Xu e Yu. A base $ES$ mostra-se homeomorfa ao interior da base não-arquimediana.
• Novidade Técnica: O artigo enfatiza a novidade da construção do espaço híbrido de A'Campo combinada com a deformação específica de formas de Kähler ($\omega^\varepsilon_q$) que permite uma transição suave entre a geometria complexa da fibra e a geometria tropical do esqueleto.
• Modéstia: Os autores declaram explicitamente que seus resultados são "assintóticos". Eles não alegam construir fibrados lagrangeanos especiais para cada fibra em um raio positivo fixo, nem alegam que as formas construídas são exatamente as métricas Ricci-flat. Em vez disso, mostram que as formas e os fibrados construídos aproximam o comportamento SYZ conjectural conforme o parâmetro de degeneração desaparece. Eles observam que o volume da região "não-genérica" não desaparece em relação às suas formas construídas, distinguindo sua abordagem da métrica Ricci-flat exata, onde o volume se concentra inteiramente na região genérica.

Em resumo, o artigo oferece um arcabouço robusto e geral para realizar o quadro SYZ no contexto de degenerações de Calabi–Yau maximais, unindo a geometria complexa das fibras e a geometria tropical do complexo dual através de uma deformação simplética cuidadosamente projetada.