Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces

=== RASCUNHO ===
Enunciado do Problema

O artigo aborda a conjectura da Simetria de Espelho Homológica (HMS) para superfícies log Calabi–Yau complexas afins suaves. Especificamente, dada uma superfície tal como $U$, o objetivo é construir um "objeto espelho" $U^\vee$ — um esquema $\mathbb{Z}$ de tipo finito e quase-projetivo — tal que a categoria derivada de feixes coerentes em $U^\vee$ seja equivalente à categoria de Fukaya envolta derivada da completação de Liouville $\widehat{U}$ de $U$.

A superfície $U$ é definida como o complemento $Y \setminus D$ de um divisor anticanônico reduzido e efetivo $D$ em uma superfície projetiva suave $Y$. O artigo distingue dois casos não sobrepostos baseados na geometria da compactificação $(Y, D)$:

1. Interior de Looijenga: $D$ contém pelo menos um nó em qualquer compactificação log Calabi–Yau.
2. Elíptica: $D$ é suave (uma curva elíptica).

Embora a categoria de Fukaya envolta $W(\widehat{U}, k)$ seja bem definida até equivalência de deformação, construir explicitamente o espelho algébrico $U^\vee$ e provar a equivalência $D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$ para campos arbitrários $k$ permanece um desafio, particularmente para o caso elíptico, onde algoritmos anteriores eram menos uniformes.

Metodologia

A abordagem do autor baseia-se na tradução da geometria simplética de $U$ em dados combinatórios via "diagramas de raios racionais" e, em seguida, na aplicação de teoremas existentes de simetria de espelho. A metodologia procede em três estágios principais:

1. Construção de Modelos Toricos Generalizados:
   O artigo estabelece que toda superfície log Calabi–Yau afim admite um "modelo tórico generalizado". Isso envolve partir de uma superfície tórica projetiva suave $(X, D_X)$, realizar o "suavizamento nodal" (deformando cadeias de componentes de fronteira em curvas suaves) e, então, realizar uma sequência de "blowups não-tóricos" em pontos específicos (especificamente no ponto $-1 \in \mathbb{G}_m$ nos divisores de fronteira).

   • Para interiores de Looijenga, o modelo é derivado de um início tórico onde os componentes de fronteira são suavizados e sofreram blowups.
   • Para casos elípticos, os modelos são derivados de $\mathbb{P}^2$ ou $\mathbb{P}^1 \times \mathbb{P}^1$. O autor utiliza "triângulos de Symington" e "trocas nodais" (modificações locais substituindo cantos por nós) para codificar os blowups não-tóricos. No caso elíptico, a construção baseia-se em triplas de Markov específicas (por exemplo, $(29, 5, 2)$) para embutir o número necessário de triângulos de Symington disjuntos.

2. Codificação via Diagramas de Raios Racionais:
   As operações geométricas (blowups e trocas nodais) são traduzidas em um "diagrama de raios racionais" $R$. Este diagrama consiste em uma coleção finita de raios de inclinação racional em $\mathbb{R}^2 partindo da origem, cada um equipado com uma multiplicidade inteira não negativa representando o número de nós (ou blowups) naquele raio.

   • O diagrama define um manufoldo de Liouville $U_R$ (via uma fibração quase tórica com singularidades foco-foco) e um esquema algébrico correspondente $U^\vee_R$ (construído realizando blowups tóricos e blowups não-tóricos em $-1$ em uma superfície tórica definida pelo fan dos raios).

3. Argumento de Torelli Simplético:
   A contribuição técnica central é provar que o manufoldo de Liouville $\widehat{U}$ associado à superfície original $U$ é fortemente exato e simpleticamente homeomorfo ao manufoldo $U_R$ construído a partir do diagrama.

   • O autor constrói uma "estrutura de graduação preferencial" nos complementos dos divisores de fronteira usando a forma de volume holomorfa.
   • Utilizando o Teorema de Torelli Simplético para pares log Calabi–Yau simpléticos (especificamente para pares ortogonais), o autor demonstra que os invariantes simpléticos (formas de interseção e áreas simpléticas) da compactificação algébrica $(Y, D'')$ e da compactificação quase tórica $(M_{AT}, D_{AT})$ coincidem.
   • Essa coincidência implica a existência de um homeomorfismo simplético fortemente exato e preservador de graduação $\Phi: \widehat{U} \to U_R$.

Principais Contribuições e Resultados

• Construção Algorítmica de Espelhos: O artigo fornece um procedimento explícito e algorítmico para construir o espelho $U^\vee$ para qualquer superfície log Calabi–Yau afim $U$.
  • Caso 1 (Looijenga): O espelho é obtido tomando o fan de um modelo tórico de $U$ e realizando blowups não-tóricos em $-1$ nos divisores de fronteira, com o número de blowups determinado pelos blowups não-tóricos no modelo de $U$.
  • Caso 2 (Elíptico):
    • Se $U = \mathbb{P}^1 \times \mathbb{P}^1 \setminus V_{2,2}$, o espelho é construído via blowups tóricos em cantos e blowups não-tóricos em $-1$.
    • Para outros casos elípticos (caracterizados pelo número de auto-interseção $d = D^2 \in \{1, \dots, 9\}$), o espelho é definido por um fan específico com raios $(1, 0), (7, 1), (-41, -5)$, e $(2d-17, -2)$, com multiplicidades $9-d, 1, 1, 1$ respectivamente.
• Prova de Simetria de Espelho: O teorema principal (Teorema 1.4) afirma que, para qualquer superfície log Calabi–Yau afim $U$, o esquema construído $U^\vee$ é um $k$-espelho para qualquer campo $k$. Isto é:
  $$D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$$
• Uniformidade: O artigo oferece uma abordagem mais uniforme para o caso elíptico comparada a algoritmos anteriores (como os de Hacking–Keating), unificando o tratamento de diferentes superfícies elípticas através da estrutura de diagramas de raios racionais.
• Preservação de Graduação: Um resultado técnico significativo é a prova de que o homeomorfismo simplético construído preserva as estruturas de graduação naturais induzidas pela condição log Calabi–Yau, o que é necessário para a equivalência das categorias $A_\infty$.

Significância e Alegações

O artigo estabelece a conjectura HMS para a classe específica de superfícies log Calabi–Yau afins ao reduzir o problema aos resultados conhecidos de Hacking e Keating [12]. O autor afirma explicitamente que o resultado é um "caso especial" do teorema principal de [12], com a novidade residindo na construção do diagrama de raios racionais específico que modela a geometria simplética de $U$.

A significância do trabalho é dupla:

1. Acessibilidade Algorítmica: Fornece um método concreto para gerar o esquema espelho para uma ampla classe de superfícies, incluindo variedades de caracteres de Painlevé (mencionadas como uma família específica coberta pelo Caso 1).
2. Unificação Teórica: Ao utilizar o teorema de Torelli simplético e o conceito de diagramas de eigenrays exatos, o artigo preenche a lacuna entre a construção algébrica do espelho e a topologia simplética do espaço original, garantindo que a equivalência se mantenha sobre campos arbitrários $k$.

O autor observa que, embora a computação do modelo tórico no Caso 1 possa ser computacionalmente dispendiosa, o processo é teoricamente algorítmico. O artigo não propõe novas aplicações experimentais, mas sim solidifica o framework teórico para a simetria de espelho neste cenário geométrico específico, baseando-se nos resultados estruturais de Eliashberg-Gromov relativos a manufoldos de Liouville e na geometria algébrica de pares log Calabi–Yau.