Symplectomorphisms of some Weinstein 4-manifolds

Resumen Técnico: Simetrías de Variedades de Weinstein 4-Dimensionales

1. Planteamiento del Problema

El artículo aborda una pregunta fundamental en la topología simplética y la teoría de espejos: ¿cuáles son los elementos del grupo de clases de mapeo simplético ($\pi_0 \text{Symp}_c(M)$) de una variedad de Weinstein $M$?

• Contexto: Históricamente, los únicos elementos conocidos de este grupo en variedades de Weinstein son los giros de Dehn en esferas lagrangianas (y sus generalizaciones como giros fibrados). Se ha conjeturado durante mucho tiempo que estos giros podrían generar todo el grupo de clases de mapeo simplético.
• El Vacío: Para variedades de Weinstein de dimensión 4, que a menudo aparecen como fibras de Milnor de singularidades de cúspide o superficies elípticas simples, no se conocían otros ejemplos de clases de mapeo simplético que no fueran generados por giros de Dehn.
• Objetivo: El objetivo es introducir nuevas familias de simpléctomorfismos que sean "naturales" (espejo a operaciones básicas en geometría algebraica) y demostrar que no son generados por giros de Dehn, ampliando así el conocimiento sobre la estructura del grupo de mapeo simplético.

2. Metodología y Marco Teórico

Los autores utilizan la Simetría de Espejo Homológica (HMS) para traducir problemas de geometría simplética (lado A) a problemas de geometría algebraica (lado B).

• Lado A (Simplético): Una variedad de Weinstein 4-dimensional $M$, típicamente una fibra de Milnor de una singularidad de cúspide o una superficie elíptica simple. $M$ se describe como el espacio total de una fibración casi-tórica $\pi: M \to \mathbb{R}^2$ con singularidades nodales.
• Lado B (Algebraico): Una superficie log-Calabi-Yau $(Y, D)$, donde $Y$ es una superficie racional y $D$ es un divisor anticanónico con componentes irreducibles $D_1, \dots, D_k$. Se considera el par $(Y, D)$ con una estructura compleja distinguida (estructura mixta de Hodge dividida).
• Herramientas Clave:
  • Fibraciones Casi-Tóricas: Se utilizan para visualizar y construir simpléctomorfismos mediante movimientos como deslizamientos nodales (nodal slides) y transferencias de cortes (cut transfers).
  • Programa de Sarkisov y Transformaciones Elementales: Se utiliza la teoría de birracionalidad en dimensión 2 para descomponer automorfismos de $(Y, D)$ en transformaciones elementales.
  • Categorías de Fukaya: Se trabaja con la categoría de Fukaya envuelta ($D^b W(M)$) y la categoría dirigida de Fukaya ($D^b F^\to(w)$), estableciendo equivalencias con categorías derivadas de haces coherentes ($D(Y)$ y $D(U)$, donde $U = Y \setminus D$).

3. Contribuciones Principales

Los autores introducen y caracterizan dos nuevas familias de simpléctomorfismos de soporte compacto en $M$:

1. Traducciones Lagrangianas ($\sigma_L$):

   • Construcción: Se definen utilizando la estructura lineal en las fibras de la fibración casi-tórica. Dada una sección lagrangiana de referencia $L_0$ y otra sección $L$, se define un mapa que suma la diferencia $L - L_0$ fibra a fibra.
   • Interpretación Algebraica: Se demuestra que estas traducciones son espejo a la operación de tensorizar con haces de líneas ($\otimes \mathcal{L}$) en la categoría derivada de haces coherentes sobre $U = Y \setminus D$, donde $\mathcal{L}$ es un haz de líneas tal que su restricción a $D$ es trivial ($\mathcal{L}|_D \cong \mathcal{O}_D$).
   • Grupo: Corresponden al subgrupo $Q = \langle D_1, \dots, D_k \rangle^\perp \subset \text{Pic}(Y)$.

2. Recombinaciones de Deslizamiento Nodal ($\check{\phi}$):

   • Construcción: Se basan en la acción de automorfismos biholomórficos $\phi$ de $Y$ que fijan $D$ punto a punto. Utilizando el programa de Sarkisov, estos automorfismos se factorizan en transformaciones elementales. En el lado simplético, cada transformación elemental corresponde a una secuencia de deslizamientos nodales y transferencias de cortes en la base de la fibración casi-tórica.
   • Interpretación Algebraica: Son espejo a la acción de automorfismos de la categoría derivada $D(U)$ inducida por $\phi^*$.
   • Grupo: Corresponden al cociente $Adm/W$, donde $Adm$ es el grupo de automorfismos de retículo admisibles y $W$ es el grupo de Weyl.

4. Resultados Principales

• Teorema 1.1 (Correspondencia HMS):

  • Existe un isomorfismo entre el grupo de clases de mapeo simplético de soporte compacto generado por traducciones lagrangianas y el subgrupo de haces de líneas $Q$.
  • Existe un isomorfismo entre el grupo generado por recombinaciones de deslizamiento nodal y el grupo de automorfismos $Adm/W$.
  • Se establece un homomorfismo de grupo fiel: $Q \rtimes Adm/W \hookrightarrow \pi_0 \text{Symp}_c(M)$.

• No-Generación por Giros de Dehn (Teorema 7.1):

  • Los autores demuestran que, salvo en casos triviales, estos nuevos simpléctomorfismos no son productos de giros de Dehn.
  • La intersección entre el subgrupo generado por giros de Dehn ($Br$) y el nuevo subgrupo es trivial en la parte de $Adm/W$ y coincide solo con los giros asociados a curvas $(-2)$ en la parte de $Q$.
  • Esto proporciona los primeros ejemplos explícitos de clases de mapeo simplético en variedades de Weinstein 4D que no provienen de giros de Dehn.

• Objetos Esféricos y Esferas Lagrangianas:

  • Se construyen explícitamente esferas lagrangianas espejo a haces de líneas sobre curvas $(-2)$ en $Y \setminus D$.
  • Se demuestra que si $Y \setminus D$ contiene infinitas curvas $(-2)$, existe una colección infinita numerable de esferas lagrangianas en $M$, ninguna de las cuales está contenida en la subcategoría generada por las demás. Esto contrasta con las fibras de Milnor de singularidades de hipersuperficie, donde un conjunto finito genera todo.

• Aplicaciones a la Estructura del Grupo de Autoequivalencias:

  • Bajo la conjetura de que los autoequivalencias de soporte compacto de $D(U)$ están generadas por giros esféricos, haces de líneas y automorfismos, se concluye que todo autoequivalencia de soporte compacto de la categoría de Fukaya envuelta $D^b W(M)$ es inducida por un simpléctomorfismo de soporte compacto de $M$.

5. Significado e Impacto

• Avance en la Teoría de Espejos: El trabajo proporciona una comprensión profunda y explícita de cómo las operaciones algebraicas básicas (tensorización y automorfismos) se manifiestan geométricamente en el lado simplético a través de movimientos de fibraciones casi-tóricas.
• Ruptura de la Conjetura de Generación: Desafía la noción de que los giros de Dehn son suficientes para generar el grupo de mapeo simplético en variedades de Weinstein, revelando una estructura mucho más rica vinculada a la geometría birracional de las superficies log-Calabi-Yau.
• Conexión con la Teoría de Clúster: Las construcciones están intrínsecamente ligadas a la teoría de clúster (transformaciones elementales, relaciones de tipo $A_2$), conectando la topología simplética con la combinatoria de variedades de clúster.
• Aplicaciones a Moduli y Monodromía: Los autores proponen que estos simpléctomorfismos surgen naturalmente de la monodromía en el espacio de módulos de estructuras complejas, vinculando la topología simplética con la teoría de periodos y estructuras de Hodge mixtas.
• Casos Semi-definidos: En el caso donde $D$ es semi-definido (relacionado con superficies elípticas racionales), se conecta con la acción del grupo $SL_2(\mathbb{Z})$ y la rotación hiperkähler, ofreciendo una perspectiva unificada sobre la dinámica de estas variedades.

En resumen, este artículo establece un puente robusto entre la geometría simplética de variedades de Weinstein 4D y la geometría algebraica de superficies log-Calabi-Yau, introduciendo nuevas clases de simetrías simpléticas que enriquecen significativamente nuestra comprensión de la topología de estas variedades y su relación con la simetría de espejo.