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

Resumen Técnico: Espejo SYZ de las Superficies de Hirzebruch $F_k$ y Homotopía de Morse

Enunciado del Problema
Este artículo aborda el problema de establecer la Simetría de Espejo Homológica (HMS) para las superficies de Hirzebruch $F_k$ como variedades complejas. Si bien la HMS para superficies tóricas Fano (específicamente $F_1$) fue establecida previamente por Futaki, Kajiura y el autor utilizando homotopía de Morse, la extensión a casos no Fano ($F_k$ para $k \geq 2$) presenta desafíos significativos. A diferencia del caso $F_1$, las coordenadas duales de las fibraciones de Strominger-Yau-Zaslow (SYZ) para $F_k$ no pueden expresarse explícitamente de una manera que permita el cálculo directo de las intersecciones de secciones lagrangianas utilizando coordenadas del poliedro momento. Además, el comportamiento de la categoría de homotopía de Morse difiere entre el caso Fano ($k=1$) y los casos no Fano ($k \geq 2$), particularmente en lo que respecta a la minimalidad de la categoría.

Metodología
El autor emplea la construcción SYZ de pares espejo mediante fibraciones de toros duales y utiliza el marco de la homotopía de Morse sobre el poliedro momento, siguiendo el enfoque de Futaki y Kajiura [9, 10, 16].

1. Configuración SYZ: El artículo considera la superficie de Hirzebruch $F_k$ como una variedad tórica equipada con una métrica de Kähler. Construye la fibración de toros duales $M \to B$ sobre el interior del poliedro momento $P$. La variedad espejo $\check{M}$ se identifica con el fibrado de toros sobre $B$.
2. Lado Complejo (Categoría DG): El lado complejo está modelado por la categoría derivada de haces coherentes $Db(\text{Coh}(F_k))$. El autor se centra en una colección fuertemente excepcional completa de haces lineales, denotada como $Ec = (\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1))$, que genera la categoría derivada. Se define una categoría DG $DG(F_k)$ que consiste en estos haces lineales holomorfos con conexiones específicas.
3. Lado Simpético (Homotopía de Morse): El lado simpético está modelado por la categoría $Mo(P)$ de homotopía de Morse ponderada. Los objetos en esta categoría son secciones lagrangianas de la fibración de toros duales $M \to B$. El autor construye secciones lagrangianas $L(a,b)$ que corresponden a los haces lineales en la colección excepcional.
4. Análisis de Intersecciones: Un paso técnico crítico implica calcular las intersecciones de estas secciones lagrangianas. Dado que las coordenadas duales explícitas son difíciles de manejar para un $k$ general, el autor calcula las intersecciones con respecto a las coordenadas duales (como se hizo en trabajos anteriores [16]) e investiga las componentes conexas de estas intersecciones dentro del poliedro momento $P$.
5. Morfismos y Diferenciales: Los espacios de morfismos en $Mo(P)$ están generados por las componentes conexas de la intersección de secciones lagrangianas que satisfacen condiciones específicas de la variedad de estabilidad (M1 y M2). La diferencial $m_1$ y la composición $m_2$ se definen mediante árboles de gradiente y sus áreas simpéticas.

Contribuciones y Resultados Clave

• Extensión a Casos No Fano: El resultado principal es la prueba de que la Simetría de Espejo Homológica se cumple para las superficies de Hirzebruch $F_k$ para cualquier entero positivo $k$. Esto extiende el resultado anterior para $F_1$ al régimen no Fano (donde $F_k$ es débilmente Fano para $k=2$ y ni siquiera débilmente Fano para $k \geq 3$).
• Equivalencia de Categorías: El artículo establece un cuasi-isomorfismo DG entre la subcategoría completa de la categoría de homotopía de Morse, $Mo_{Ec}(P)$, y la subcategoría completa de la categoría DG de haces lineales holomorfos, $V'_{Ec}$ (que es cuasi-isomorfa a $DGEc(F_k)$).
  $$Mo_{Ec}(P) \simeq V'_{Ec} \simeq DGEc(F_k)$$
  En consecuencia, las categorías trianguladas inducidas por estas categorías DG son equivalentes:
  $$Tr(Mo_{Ec}(P)) \simeq Db(\text{Coh}(F_k))$$
• Análisis de Minimalidad: El artículo investiga la minimalidad de la categoría de homotopía de Morse.
  • Para la colección fuertemente excepcional completa $Ec$, la subcategoría $Mo_{Ec}(P)$ es minimal (los productos superiores $m_k$ para $k \geq 3$ se anulan, y la diferencial es trivial sobre los generadores de esta subcolección específica).
  • Sin embargo, la categoría completa $Mo(P)$ no es minimal para $k \geq 2$. El autor proporciona un contraejemplo concreto para $F_2$ (específicamente el espacio de morfismos entre $L(0,0)$ y $L(-7,3)$). En este caso, la intersección de secciones lagrangianas no es conexa, y existe una trayectoria de gradiente entre componentes conexas distintas, lo que resulta en una diferencial no trivial $m_1$. Esto contrasta con el caso $F_1$, donde $Mo(P)$ es minimal.
• Correspondencia Explícita: El autor construye una correspondencia explícita $\iota$ entre los generadores de la categoría de homotopía de Morse (componentes conexas de intersecciones) y los elementos de la base de la cohomología del lado complejo (secciones holomorfas), mostrando compatibilidad con la composición.

Significado
El artículo reclama importancia al extender el enfoque SYZ-homotopía de Morse a una clase más amplia de superficies tóricas más allá del caso Fano. Al demostrar que la HMS se cumple para $F_k$ ($k \geq 2$) utilizando el poliedro momento de la propia variedad tórica (en lugar de un poliedro derivado de un ameba tropical como en el enfoque de Abouzaid [1]), el trabajo valida la robustez del marco de Futaki-Kajiura. Destaca que, aunque la categoría completa de homotopía de Morse puede exhibir un comportamiento no minimal en casos no Fano, la restricción a una colección fuertemente excepcional completa recupera la equivalencia necesaria con la categoría derivada de haces coherentes. Esto proporciona un ejemplo concreto de simetría de espejo homológica para superficies tóricas no Fano.