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

Resumen Técnico: Fibraciones por Toros Lagrangianos para Degeneraciones de Calabi–Yau Maximales y Más Allá

Planteamiento del Probleza
El artículo aborda la conjetura de Strominger–Yau–Zaslow (SYZ), que postula que la simetría espejo para variedades de Calabi–Yau surge de fibraciones duales por toros lagrangianos especiales. Específicamente, los autores se centran en el "límite de estructura compleja máxima", que corresponde a una degeneración de Calabi–Yau maximal. En este entorno, Kontsevich y Soibelman formularon conjeturas precisas respecto a la existencia de fibraciones de toros lagrangianos especiales en las fibras de tales degeneraciones y su convergencia hacia un espacio métrico (el esqueleto esencial) que satisface una ecuación de Monge–Ampère real. Si bien existen resultados parciales para familias específicas (por ejemplo, familias de Fermat o hipersuperficies), una construcción general para arbitrarias degeneraciones de Calabi–Yau maximales ha permanecido esquiva. El artículo tiene como objetivo proporcionar una técnica general para construir tales fibraciones y demostrar sus propiedades asintóticas, específicamente que se vuelven lagrangianas especiales y minimizadoras de volumen a medida que el parámetro de degeneración tiende a cero.

Metodología
Los autores introducen un nuevo marco geométrico centrado en el espacio de A'Campo, un espacio "híbrido" que compactifica la degeneración combinando el blowup orientado real del espacio total con el complejo dual de la fibra central. La metodología procede a través de los siguientes pasos:

1. Construcción del Espacio de A'Campo ($A$):
   Los autores utilizan el espacio de A'Campo $A$ asociado a un mapa holomorfo $f: X \to \mathbb{C}$ con una fibra central de cruce normal simple (snc). Este espacio se construye para resolver la indeterminación de la degeneración en el "radio cero" (la fibra central). Está equipado con una estructura suave (específicamente un atlas $C^\infty$) y una estratificación que eleva los estratos de la fibra central.

2. Formas Kähler por Fibra:
   Una innovación técnica crítica es la construcción de una familia de modificaciones exactas de una forma Kähler dada $\omega_X$. Definidas en el espacio de A'Campo, estas formas se denotan como $\omega^\varepsilon_q$ para parámetros $q \in [0, 1]$ y un $\varepsilon > 0$ pequeño.

   • La forma se construye como $\omega^\varepsilon_q = \pi^*\omega_X + \varepsilon \cdot (q \cdot \omega^\sharp + (1-q) \cdot \omega^\flat)$.
   • $\omega^\sharp$ está diseñado para ser compatible con la estructura compleja (Kähler) en radio positivo.
   • $\omega^\flat$ está inspirado en modelos "semi-planos" (semi-flat) y está diseñado para degenerar a una métrica euclidiana en el complejo dual en el radio cero.
   • Los autores demuestran que, para un $\varepsilon$ suficientemente pequeño, estas formas son Kähler por fibra en radio positivo y simplécticas por fibra en radio cero (específicamente en la región "genérica" del esqueleto).

3. Fibración Lagrangiana en Radio Cero:
   La construcción de la fibración se realiza primero en el límite del espacio de A'Campo (radio cero).

   • La base de la fibración es un esqueleto expandido ($ES$), un manifold suave (o manifold de tipo "ivy-like" en el caso general) construido expandiendo las caras del esqueleto esencial $\Delta_S$.
   • En las fibras de "radio cero", los autores construyen explícitamente una fibración de toros lagrangianos. Para las caras maximales del esqueleto, las fibras son productos de toros y simpléx. Para las caras submaximales, utilizan funciones de Morse en los estratos para definir la fibración.
   • En el caso específico de degeneraciones de Calabi–Yau maximales, los autores seleccionan un modelo donde los estratos son isomorfos a $\mathbb{C}^*$, lo que permite una elección canónica de funciones de Morse (el valor absoluto de una coordenada) que elimina las singularidades en la fibración.

4. Transporte a Radio Positivo:
   Utilizando la conexión simpléctica asociada a la familia de formas $\omega^\varepsilon_q$, los autores transportan los toros lagrangianos desde la fibra de radio cero hacia las fibras cercanas $X_z$ de la degeneración original. Este transporte preserva la propiedad lagrangiana.

5. Análisis Asintótico:
   Los autores analizan el comportamiento de estas fibraciones transportadas a medida que el parámetro $z \to 0$ a lo largo de trayectorias específicas en el plano $(z, q)$. Estudian el límite de Gromov–Hausdorff de las métricas reescaladas y la convergencia de las formas de volumen.

Contribuciones Clave y Resultados

• Construcción General (Teorema 6.14): El artículo establece una técnica general para construir fibraciones de toros lagrangianos para cualquier degeneración Kähler con una fibra central snc, siempre que se elija un subconjunto de componentes para definir un "esqueleto esencial".
• Degeneraciones de Calabi–Yau Maximales (Teorema 1.1): Para cualquier degeneración de Calabi–Yau maximal que admita un modelo semi-estable, los autores demuestran la existencia de una familia de formas Kähler $\omega_q$ y una familia suave de mapas $l_{z,q}$ que definen una fibración de toros lagrangianos en una región genérica de la fibra.
  • La base de esta fibración es el esqueleto expandido $ES$.
  • El límite de Gromov–Hausdorff de las fibras reescaladas es el esqueleto esencial $\Delta_S$ equipado con una métrica euclidiana.
• Especialidad Asintótica (Teorema 1.2): El artículo demuestra que, para trayectorias "tame" (dóciles) que se aproximan a la degeneración, los toros lagrangianos en la región genérica se vuelven asintóticamente especiales.
  • Llenado de Volumen: El volumen de la región genérica (fibrada por toros) converge al volumen total de la fibra.
  • Ricci-Plana Asintótica: Las formas construidas $\omega_q$ aproximan la métrica Ricci-plana en el sentido de que la razón de sus formas de volumen respecto a la forma de volumen holomorfa converge a una constante.
  • Condición Especial: La parte imaginaria de la forma de volumen holomorfa restringida a los toros se anula asintóticamente (salvo por una fase), lo que implica que los toros son asintóticamente lagrangianos especiales.
  • Clase de Maslov: Las fibras tienen clase de Maslov trivial.
• Resolución de Singularidades en la Base: Los autores construyen una base $ES$ que es un manifold suave (en el caso de Calabi–Yau), evitando las singularidades frecuentemente asociadas con el lugar discriminante en otras construcciones. El discriminante se desplaza hacia la región "no genérica", la cual tiene volumen evanescente en el límite.

Significado y Reivindicaciones
Los autores afirman que su trabajo proporciona una versión asintótica de la predicción de Kontsevich–Soibelman para el caso general.

• Existencia: Demuestran la existencia de fibraciones de toros lagrangianos con las propiedades asintóticas esperadas (especialidad, minimización de volumen, convergencia de Gromov–Hausdorff al esqueleto esencial) sin restringirse a familias específicas como las hipersuperficies de Fermat.
• Análogo Archimédico: La construcción se presenta como un análogo archimédico de las fibraciones de toros afinoides no archimédicos construidas por Nicaise, Xu y Yu. Se muestra que la base $ES$ es homeomorfa al interior de la base no archimédica.
• Novedad Técnica: El artículo enfatiza la novedad de la construcción del espacio híbrido de A'Campo combinada con la deformación específica de las formas Kähler ($\omega^\varepsilon_q$) que permite una transición suave entre la geometría compleja de la fibra y la geometría tropical del esqueleto.
• Modestia: Los autores declaran explícitamente que sus resultados son "asintóticos". No pretenden construir fibraciones lagrangianas especiales para cada fibra en un radio positivo fijo, ni pretenden que las formas construidas sean exactamente las métricas Ricci-planas. En su lugar, muestran que las formas y fibraciones construidas aproximan el comportamiento conjectural de SYZ a medida que el parámetro de degeneración desaparece. Observan que el volumen de la región "no genérica" no desaparece con respecto a sus formas construidas, distinguiendo su enfoque de la métrica exactamente Ricci-plana donde el volumen se concentra enteramente en la región genérica.

En resumen, el artículo ofrece un marco robusto y general para realizar la imagen de SYZ en el contexto de las degeneraciones de Calabi–Yau maximales, tendiendo un puente entre la geometría compleja de las fibras y la geometría tropical del complejo dual mediante una deformación simpléctica cuidadosamente diseñada.