The nearby Lagrangian conjecture for pinwheels

Resumen Técnico: La Conjetura de Lagrangianos Cercanos para Molinillos

Enunciado del Problema
El artículo aborda la Conjetura de Lagrangianos Cercanos (NLC), atribuida a V. I. Arnol'd, que postula que cualquier Lagrangiano exacto en el fibrado cotangente $T^*Q$ de una variedad cerrada suave $Q$ es isotópico por Hamiltoniano a la sección cero. Si bien la conjetura ha sido establecida para varios casos de baja dimensión (por ejemplo, $T^*S^2$, $T^*T^2$) utilizando técnicas de curvas pseudoholomorfas, permanece abierta para variedades generales y, crucialmente, para Lagrangianos singulares.

Los autores se centran en una clase específica de Lagrangianos singulares denominados molinillos Lagrangianos $(p, q)$. Un molinillo $(p, q)$ es un molinillo topológico $p$ (una celda 2 adjunta a una celda 1 mediante una cubierta $p$-a-1) donde la celda 2 es Lagrangiana y se encuentra con el círculo central de una manera geométrica específica determinada por $q$. Estos objetos surgen naturalmente como los esqueletos Lagrangianos ($L^{\text{st}}_{p,q}$) de bolas de homología racional $B_{p,q}$, que son las fibras de Milnor de singularidades de cociente cíclico $\frac{1}{p^2}(1, pq-1)$.

El problema central es determinar si cualquier molinillo Lagrangiano $(p, q)$ incrustado en $B_{p,q}$ es isotópico por Hamiltoniano al esqueleto estándar $L^{\text{st}}_{p,q}$. Esta es la subconjetura "NLC1" adaptada al contexto singular de $B_{p,q}$.

Metodología
La prueba se estructura en dos partes técnicas en gran medida independientes, que combinan topología simpléctica, geometría algebraica y teoría de curvas pseudoholomorfas.

1. Unicidad Simpléctica (Parte 1):

   • Compactificación: Los autores construyen una compactificación $X_{p,q}$ de la variedad no compacta $B_{p,q}$. Esto se logra tapando el diagrama base casi-tórico de $B_{p,q}$ y resolviendo la singularidad orbifold resultante. El espacio resultante $X_{p,q}$ se deriva birracionalmente de una superficie de Hirzebruch.
   • Regulaciones y Estiramiento de Cuello: Utilizan el concepto de "regulaciones" (foliaciones por curvas racionales) en $X_{p,q}$. Mediante la realización de una explosión racional simpléctica a lo largo de un molinillo incrustado, analizan el comportamiento de las curvas pseudoholomorfas bajo el estiramiento de cuello.
   • Persistencia de Foliaciones: Un resultado técnico clave consiste en demostrar que la regulación (una foliación por esferas de cuadrado cero) en $X_{p,q}$ "persiste" después de la explosión racional. Específicamente, la variedad explotada $\tilde{X}$ admite una única regla rota compuesta por la cadena de Wahl (esferas excepcionales de la explosión) y el divisor compactificador, conectadas por una única esfera excepcional.
   • Construcción de Simpléctomorfismos: Utilizando la unicidad de estas regulaciones y el hecho de que los complementos de los vecindarios del molinillo son mínimos, construyen un simpléctomorfismo $\psi$ de soporte compacto que mapea cualquier molinillo Lagrangiano $L$ al esqueleto estándar $L^{\text{st}}_{p,q}$.

2. Isotopía Hamiltoniana (Parte 2):

   • Grupos de Simpléctomorfismos: Para elevar el simpléctomorfismo $\psi$ a una isotopía Hamiltoniana, los autores calculan el tipo de homotopía débil del grupo de simpléctomorfismos de soporte compacto, $\text{Symp}_c(B_{p,q})$.
   • Diagramas de Peine: Emplean "diagramas de peine", una herramienta que relaciona el grupo de simpléctomorfismos de una variedad con el de una subvariedad y su complemento. Relacionan $\text{Symp}_c(B_{p,q})$ con el grupo $\text{Symp}_c(W_{p,q})$, donde $W_{p,q} = B_{p,q} \setminus K_{p,q}$ (el complemento del cilindro central).
   • Completación de Liouville: Identifican $W_{p,q}$ como un dominio en forma de estrella en $T^*Wh$, el fibrado cotangente de la esfera de Whitney. Utilizando resultados sobre la contractibilidad de los grupos de simpléctomorfismos de tales dominios, demuestran que $\text{Symp}_c(W_{p,q})$ es débilmente contractible.
   • El Pintwist: Demuestran que $\text{Symp}_c(B_{p,q})$ es débilmente equivalente por homotopía a $\mathbb{Z}$, generado por un simpléctomorfismo específico llamado pintwist $\tau_{p,q}$. Este mapa es la monodromía simpléctica asociada con el suavizado de la singularidad subyacente.
   • Conclusión: Dado que el pintwist preserva el esqueleto Lagrangiano hasta isotopía Hamiltoniana (como se muestra mediante el teorema de extensión de Banyaga y la cohomología nula), cualquier simpléctomorfismo que mapee $L$ a $L^{\text{st}}_{p,q}$ puede componerse con una potencia del pintwist para producir una isotopía Hamiltoniana.

Contribuciones y Resultados Clave

• Teorema Principal (Teorema A): Cualquier molinillo Lagrangiano $(p, q)$ en $B_{p,q}$ es isotópico por Hamiltoniano al esqueleto Lagrangiano estándar $L^{\text{st}}_{p,q}$. Esto establece la Conjetura de Lagrangianos Cercanos para esta amplia clase de Lagrangianos singulares.
• Clasificación Simpléctica (Teorema B): Cualquier dos molinillos Lagrangianos $(p, q)$ en $B_{p,q}$ están relacionados por un simpléctomorfismo de soporte compacto.
• Estructura del Grupo de Simpléctomorfismos (Teorema C): El grupo $\text{Symp}_c(B_{p,q})$ es débilmente equivalente por homotopía a $\mathbb{Z}$, generado por el pintwist $\tau_{p,q}$. Esto proporciona el primer cálculo de este grupo para $p > 2$ (resultados previos existían solo para $p=1, 2$).
• Aplicaciones:
  1. No-aplastamiento de Molinillos-Bola: Los autores prueban un teorema de no-aplastamiento de Gromov para "molinos-bola" $B_{p,q}(r)$, mostrando que se incrustan en cilindros de molinillo $E_{p,q}(\alpha, \infty)$ si y solo si $r \le \alpha$. La obstrucción surge del área de las curvas excepcionales en la explosión racional.
  2. Desenredo Local: Proporcionan una nueva prueba del teorema de Eliashberg–Polterovich sobre el desenredo local de planos Lagrangianos en $\mathbb{R}^4$, considerando el molinillo $(1,1)$ (un disco Lagrangiano) como un caso especial.
  3. Unicidad de Tipos de Molinillo: Demuestran que los únicos molinillos Lagrangianos incrustables en $B_{p,q}$ son del tipo $(p, q)$ (o $(p, p-q)$), extendiendo resultados previos sobre la inexistencia de Lagrangianos exactos suaves en estas bolas.

Significado y Afirmaciones
El artículo afirma resolver la Conjetura de Lagrangianos Cercanos para una clase significativa de Lagrangianos singulares que sirven como "secciones cero" para bolas de homología racional. Los autores enfatizan que su enfoque aprovecha la interacción entre la geometría simpléctica y la geometría algebraica de las singularidades de superficies (específicamente singularidades de Wahl).

El significado radica en:

• Extensión de la NLC: Avanzar más allá de las variedades suaves hacia Lagrangianos singulares, que son objetos naturales en el estudio de las singularidades simplécticas y la simetría especular.
• Nuevas Técnicas: La aplicación exitosa de "regulaciones" y estiramiento de cuello en el contexto de bolas de homología racional, evitando la necesidad de una compactificación global del espacio ambiente de la misma manera que trabajos anteriores sobre $T^*Q$.
• Cálculos de Grupos: Proporcionar una descripción completa del grupo de clases de mapeo simpléctico de $B_{p,q}$, revelando una estructura generada por una operación geométrica natural (el pintwist) análoga a las vueltas de Dehn.
• Obstrucciones Cuantitativas: Demostrar que los métodos utilizados para la unicidad también producen obstrucciones cuantitativas a la incrustación (no-aplastamiento), vinculando la topología de los molinillos con las capacidades simplécticas.

Los autores señalan que su trabajo sirve como una "prequela" a teoremas de incrustación más amplios para bolas de homología racional en $\mathbb{CP}^2$, proporcionando los resultados de unicidad local necesarios para esas clasificaciones globales. Declaran explícitamente que sus métodos dependen de la geometría específica de $B_{p,q}$ y de las fibraciones casi-tóricas, y no se generalizan inmediatamente a todas las dimensiones o a todos los Lagrangianos singulares sin un desarrollo adicional.