SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

Resumo Técnico: Espelho SYZ de Superfícies de Hirzebruch $F_k$ e Homotopia de Morse

Enunciação do Problema
Este artigo aborda o problema de estabelecer a Simetria Espelho Homológica (HMS) para superfícies de Hirzebruch $F_k$ como variedades complexas. Embora a HMS para superfícies de Fano toricas (especificamente $F_1$) tenha sido anteriormente estabelecida por Futaki, Kajiura e o autor usando homotopia de Morse, a extensão para casos não-Fano ($F_k$ para $k \geq 2$) apresenta desafios significativos. Diferentemente do caso $F_1$, as coordenadas duais das fibradas de Strominger-Yau-Zaslow (SYZ) para $F_k$ não podem ser expressas explicitamente de uma maneira que permita o cálculo direto das interseções de seções lagrangianas usando coordenadas do polítopo momento. Além disso, o comportamento da categoria de homotopia de Morse difere entre o caso Fano ($k=1$) e os casos não-Fano ($k \geq 2$), particularmente no que diz respeito à minimalidade da categoria.

Metodologia
O autor emprega a construção SYZ de pares espelhos via fibradas de toros duais e utiliza o arcabouço da homotopia de Morse no polítopo momento, seguindo a abordagem de Futaki e Kajiura [9, 10, 16].

1. Configuração SYZ: O artigo considera a superfície de Hirzebruch $F_k$ como uma variedade torica equipada com uma métrica de Kähler. Constrói-se a fibrada de toros duais $M \to B$ sobre o interior do polítopo momento $P$. A variedade espelho $\check{M}$ é identificada com o fibrado de toros sobre $B$.
2. Lado Complexo (Categoria DG): O lado complexo é modelado pela categoria derivada de feixes coerentes $Db(\text{Coh}(F_k))$. O autor foca em uma coleção fortemente excepcional completa de fibrados de linha, denotada como $Ec = (\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1))$, que gera a categoria derivada. Uma categoria DG $DG(F_k)$ é definida, consistindo nestes fibrados de linha holomorfos com conexões específicas.
3. Lado Simplético (Homotopia de Morse): O lado simplético é modelado pela categoria $Mo(P)$ de homotopia de Morse ponderada. Os objetos nesta categoria são seções lagrangianas da fibrada de toros duais $M \to B$. O autor constrói seções lagrangianas $L(a,b)$ correspondentes aos fibrados de linha na coleção excepcional.
4. Análise de Interseção: Um passo técnico crítico envolve o cálculo das interseções dessas seções lagrangianas. Como coordenadas duais explícitas são difíceis de manipular para $k$ geral, o autor calcula as interseções em relação às coordenadas duais (como feito em trabalhos anteriores [16]) e investiga as componentes conexas dessas interseções dentro do polítopo momento $P$.
5. Morfismos e Diferenciais: Os espaços de morfismos em $Mo(P)$ são gerados pelas componentes conexas da interseção de seções lagrangianas que satisfazem condições específicas de variedade de estabilidade (M1 e M2). O diferencial $m_1$ e a composição $m_2$ são definidos via árvores de gradiente e suas áreas simpléticas.

Contribuições e Resultados Principais

• Extensão para Casos Não-Fano: O resultado principal é a prova de que a Simetria Espelho Homológica vale para superfícies de Hirzebruch $F_k$ para qualquer inteiro positivo $k$. Isso estende o resultado anterior para $F_1$ ao regime não-Fano (onde $F_k$ é fracamente Fano para $k=2$ e nem mesmo fracamente Fano para $k \geq 3$).
• Equivalência de Categorias: O artigo estabelece um quasi-isomorfismo DG entre a subcategoria cheia da categoria de homotopia de Morse, $Mo_{Ec}(P)$, e a subcategoria cheia da categoria DG de fibrados de linha holomorfos, $V'_{Ec}$ (que é quasi-isomorfa a $DGEc(F_k)$).
  $$Mo_{Ec}(P) \simeq V'_{Ec} \simeq DGEc(F_k)$$
  Consequentemente, as categorias trianguladas induzidas por essas categorias DG são equivalentes:
  $$Tr(Mo_{Ec}(P)) \simeq Db(\text{Coh}(F_k))$$
• Análise de Minimalidade: O artigo investiga a minimalidade da categoria de homotopia de Morse.
  • Para a coleção fortemente excepcional completa $Ec$, a subcategoria $Mo_{Ec}(P)$ é minimal (produtos superiores $m_k$ para $k \geq 3$ desaparecem, e o diferencial é trivial nos geradores desta subcoleção específica).
  • No entanto, a categoria cheia $Mo(P)$ não é minimal para $k \geq 2$. O autor fornece um contraexemplo concreto para $F_2$ (especificamente o espaço de morfismos entre $L(0,0)$ e $L(-7,3)$). Neste caso, a interseção de seções lagrangianas é não-conexa, e existe uma trajetória de gradiente entre componentes conexas distintas, resultando em um diferencial não trivial $m_1$. Isso contrasta com o caso $F_1$, onde $Mo(P)$ é minimal.
• Correspondência Explícita: O autor constrói uma correspondência explícita $\iota$ entre os geradores da categoria de homotopia de Morse (componentes conexas de interseções) e os elementos da base da cohomologia do lado complexo (seções holomorfas), mostrando compatibilidade com a composição.

Significado
O artigo reivindica significado na extensão da abordagem SYZ-homotopia de Morse para uma classe mais ampla de superfícies toricas além do caso Fano. Ao demonstrar que a HMS vale para $F_k$ ($k \geq 2$) usando o polítopo momento da própria variedade torica (em vez de um polítopo derivado de um ameba tropical como na abordagem de Abouzaid [1]), o trabalho valida a robustez do arcabouço Futaki-Kajiura. Destaca-se que, embora a categoria cheia de homotopia de Morse possa exibir comportamento não-minimal em casos não-Fano, a restrição a uma coleção fortemente excepcional completa recupera a equivalência necessária com a categoria derivada de feixes coerentes. Isso fornece um exemplo concreto de simetria espelho homológica para superfícies toricas não-Fano.