Plumbings of lens spaces and crepant resolutions of compound $A_n$ singularities

Resumen Técnico: Encanamientos de Espacios Lente y Resoluciones Crepantes de Singularidades Compuestas $A_n$

Enunciado del Problema
El artículo investiga la topología simpléctica de una clase específica de variedades de Weinstein de 6 dimensiones construidas como encanamientos cíclicos de haces cotangentes de espacios lente tridimensionales a lo largo de círculos. Estas variedades, denotadas $\mathcal{W}_f$, surgen como espacios totales de fibraciones Morse-Bott sobre $\mathbb{C}^*$ con fibras singulares determinadas por una factorización polinómica $f(x,y) = \prod f_i(x,y)$. El problema central es establecer la Simetría de Espejo Homológica (HMS) para estas 3-variedades de Stein no compactas y comprender sus grupos de clases de aplicaciones simplécticas. Específicamente, los autores buscan relacionar la categoría de Fukaya envuelta derivada de $\mathcal{W}_f$ con la categoría derivada de haces coherentes sobre la resolución crepante de una singularidad compuesta $A_n$ ($cA_n$) correspondiente $R_f = K[u,v,x,y]/(uv - f(x,y))$.

Metodología
Los autores emplean una combinación de geometría simpléctica, geometría algebraica y teoría de categorías:

1. Construcción y Cálculo Simplécticos:

   • La variedad $\mathcal{W}_f$ se realiza como un encanamiento afín $A_n$ de haces cotangentes $T^*Q_i$ (donde $Q_i$ son espacios lente o $S^1 \times S^2$) a lo largo de círculos.
   • La categoría de Fukaya envuelta $\mathcal{W}(\mathcal{W}_f; K)$ se calcula contando secciones holomorfas de la fibración Morse-Bott $\mathcal{W}_f \to \mathbb{C}^*$. Los autores utilizan un hamiltoniano de envoltura específico adaptado a la estructura de fibración.
   • Identifican el álgebra $A_\infty$ de endomorfismos de un conjunto generador de fibras lagrangianas ($L_0, \dots, L_n$) con un álgebra de caminos de un quiver con relaciones, deformada por el polinomio $f(x,y)$.

2. Geometría Algebraica y Simetría de Espejo:

   • En el lado B, los autores construyen una resolución crepante específica $\phi: Y_f \to \text{Spec}(R_f)$ de la singularidad $cA_n$. El lugar excepcional consiste en una cadena de curvas racionales.
   • Utilizan el modelo Evans-Lekili, que relaciona las categorías de Fukaya envuelta relativas de discos punteados con álgebras de caminos de quivers.
   • Los autores realizan localizaciones y completaciones categóricas (con respecto a filtraciones por longitud de palabra y elementos de Seidel) para cerrar la brecha entre el contexto afín no compacto y el contexto local completo.

3. Grupos de Clases de Aplicaciones:

   • Los autores analizan el grupo de clases de aplicaciones simplécticas $\pi_0 \text{Symp}_c(\mathcal{W}_f)$ aprovechando la equivalencia HMS. Relacionan las autoequivalencias de la categoría derivada de haces coherentes sobre el lugar excepcional (calculadas por Toda) con los automorfismos simplécticos de $\mathcal{W}_f$.

Contribuciones y Resultados Clave

1. Teoremas de Simetría de Espejo Homológica (HMS):
   El artículo demuestra dos versiones de HMS para la 3-variedad de Stein $\mathcal{W}_f$:

   • La Versión No Completada (Teorema 3): Existe una equivalencia entre la categoría de Fukaya envuelta derivada de $\mathcal{W}_f$ y la categoría derivada acotada de haces coherentes sobre el complemento de un divisor en la resolución crepante:
     $$D^b\text{Coh}(\mathcal{Y}_f) \simeq D^{\text{perf}}\mathcal{W}(\mathcal{W}_f; K)$$
     donde $\mathcal{Y}_f = Y_f \setminus D$.
   • La Versión Completada (Teorema 7): Existe una equivalencia entre la categoría derivada de módulos perfectos sobre la categoría de Fukaya envuelta completada (completada con respecto a la filtración por longitud de palabra de cuerdas hamiltonianas) y la categoría derivada acotada de haces coherentes sobre la versión local completa de la resolución $\hat{Y}_f$:
     $$D^{\text{perf}}\widehat{\mathcal{W}}(\mathcal{W}_f; K) \simeq D^b\text{Coh}(\hat{Y}_f)$$

2. Categorías de Singularidades Relativas y Encanamientos de "Multi-Burbuja":
   Al rellenar el origen de la base de la fibración, los autores obtienen un encanamiento de "multi-burbuja" $W_f$. Demuestran (Teorema 10) que la categoría de Fukaya envuelta derivada de $W_f$ es equivalente a la categoría de singularidades relativa de la resolución crepante $Y_f$ (definida como el cociente de la categoría derivada por el haz estructural), siempre que se cumpla una condición específica de no isotopía sobre los núcleos lagrangianos. Esto generaliza resultados previos sobre encanamientos de doble burbuja.

3. Grupos de Clases de Aplicaciones Simplécticas:
   El artículo establece que el grupo de clases de aplicaciones simplécticas de $\mathcal{W}_f$ es infinitamente generado.

   • Teorema 15: Si la singularidad $cA_n$ es aislada, un subgrupo infinitamente generado específico del grupo de trenzas puras $PBr_{n+2}$ (denotado $PBr^c_{n+2}$) se inyecta de forma dividida en el grupo de clases de aplicaciones simplécticas de soporte compacto $\pi_0 \text{Symp}_c(\mathcal{W}_f)$.
   • Teorema 17: Existe una inyección dividida similar para el grupo de clases de aplicaciones simplécticas graduado que involucra al grupo de trenzas puras completo $PBr_{n+2}$.
   • Estos resultados generalizan el trabajo de Keating-Smith (quienes trataron el caso de conoide) a la clase más amplia de encanamientos de espacios lente.

4. Aplicaciones a Inmersiones Lagrangianas:
   Utilizando la existencia de cuasi-dilataciones cíclicas derivadas de la equivalencia HMS, los autores demuestran (Proposición 47) que, bajo ciertas condiciones, ninguna subvariedad lagrangiana exacta cerrada y orientada en $W_f$ puede ser un espacio $K(\pi, 1)$.

Significado y Afirmaciones
El artículo afirma generalizar los resultados de simetría de espejo homológica para encanamientos de doble burbuja (Smith-Wemyss) y suavizaciones de conoide (Keating-Smith) a una clase cíclica de encanamientos que involucran espacios lente.

• Proporciona una realización concreta de la HMS para una clase de 3-variedades donde la geometría espejo involucra núcleos de espacios lente no triviales y patrones de intersección cíclicos.
• Responde parcialmente a la "cuestión de realización" planteada por Smith y Wemyss sobre qué categorías de singularidades relativas surgen de encanamientos de espacios lente.
• Demuestra que los grupos de clases de aplicaciones simplécticas de estas variedades de Stein son ricos e infinitamente generados, extendiendo el fenómeno conocido desde el caso $A_1$ (conoide) a $A_n$ superiores y tipos topológicos más complejos.
• El trabajo confirma una conjetura de Lekili-Segal sobre la relación entre la categoría de Fukaya envuelta de un espacio total de una fibración de toro algebraico y la de su base en este contexto específico.

Los autores enfatizan que sus resultados dependen del cálculo de la categoría de Fukaya envuelta mediante fibraciones Morse-Bott y la posterior identificación del álgebra resultante con el álgebra de caminos de un quiver asociado a la resolución crepante. Las pruebas de los resultados sobre grupos de clases de aplicaciones dependen del cálculo de Toda del grupo de autoequivalencias de la categoría derivada de haces coherentes sobre el lugar excepcional.