Presentaciones de Weinstein para cirugía antisimplética de alta dimensión

Información Básica

• ID del Artículo: 2310.03133
• Título: Presentaciones de Weinstein para cirugía antisimplética de alta dimensión
• Autores: Ipsita Datta, Oleg Lazarev, Chindu Mohanakumar, Angela Wu
• Clasificación: math.SG (Geometría Simpléctica)
• Fecha de Publicación: 6 de octubre de 2023
• Enlace del Artículo: https://arxiv.org/abs/2310.03133

Resumen

Este artículo presenta un algoritmo para describir presentaciones de Weinstein de subdominios de Weinstein obtenidos mediante la extirpación de subvariedades lagrangianas regulares. El trabajo generaliza resultados previos en el caso tridimensional e introduce un movimiento novedoso de isotopía legendriana ("movimiento en forma de bote") que modifica los índices locales de las cuerdas de Reeb en la proyección frontal. Como aplicación, los autores describen presentaciones de ciertos subdominios de Weinstein singulares y proporcionan descripciones explícitas de legendrianas P-relajadas.

Antecedentes de Investigación y Motivación

Problema Central

El problema central que aborda este artículo es cómo proporcionar presentaciones explícitas de Weinstein para subdominios de Weinstein construidos mediante "cirugía antisimplética" (antisurgery). Específicamente, cuando se extirpa un disco lagrangiano regular L de un dominio de Weinstein X, ¿cómo construir explícitamente una presentación de Weinstein del subdominio X\L?

Importancia de la Investigación

1. Valor Teórico: Los dominios de Weinstein son variedades simplécticas exactas equipadas con descomposiciones de handlebody simpléctico, análogos a los complejos CW en topología. Sus presentaciones hacen que el cálculo de invariantes (como la categoría de Fukaya envuelta) sea manejable.
2. Construcción de Estructuras Singulares: Numerosos dominios de Weinstein singulares desde el punto de vista de la geometría simpléctica pueden construirse como subdominios de dominios de Weinstein estándar, mediante la extirpación de discos lagrangianos. Por ejemplo, Sylvan y el segundo autor demostraron que cuando n≥5, el fibrado cotangente estándar TS^n tiene infinitos subdominios de Weinstein difeomorfos a TS^n pero no simplectomorfos por pares.
3. Construcción de Estructuras de Contacto: La cirugía antisimplética de contacto es importante para la construcción de estructuras de contacto. Por ejemplo, cualquier estructura de contacto en S^{2n-1} puede obtenerse realizando una cirugía de contacto y una cirugía antisimplética en la estructura de contacto estándar.

Limitaciones de Métodos Existentes

Aunque existen resultados relacionados en el caso tridimensional (como DG09), en dimensiones superiores ha faltado un método general para construir explícitamente presentaciones de Weinstein después de la cirugía antisimplética. En particular:

• La construcción de variedades de Weinstein P-flexibles es relativamente poco clara, ya que no está claro cómo la extirpación/cirugía antisimplética modifica la proyección frontal de la legendriana original
• La proyección frontal de legendrianas P-relajadas era previamente desconocida

Contribuciones Principales

1. Introducción del Movimiento en Forma de Bote: Se propone una nueva familia de movimientos legendrianos n-dimensionales—suspensiones D^k, en particular movimientos (n,k)-bote, que pueden modificar los índices locales de las cuerdas de Reeb en la proyección frontal.
2. Algoritmo Principal: Se proporciona un algoritmo explícito para construir presentaciones de Weinstein de dominios de Weinstein obtenidos mediante cirugía antisimplética (Teorema 1.2).
3. Descripción Explícita de Legendrianas P-Relajadas: Se proporciona por primera vez una descripción explícita de la proyección frontal de nudos legendrianos P-relajados (Corolario 1.4).
4. Generalización a Dimensiones Superiores: Se generalizan los resultados de cirugía antisimplética tridimensional al caso arbitrariamente dimensional.

Explicación Detallada de Métodos

Definición de la Tarea

Dado un dominio de Weinstein X^{2n} y un disco lagrangiano regular L en él, construir una presentación explícita de Weinstein del subdominio X\L, de modo que sea compatible con la presentación del dominio original X.

Técnica Central: Movimiento en Forma de Bote

Construcción de Suspensiones D^k

Para una isotopía legendriana ψ: D^{n-k} × 0,1 → R^{2(n-k)+1}, se define su suspensión D^k Σ^{D^k}{ψ} como:

Σ^{D^k}{ψ} = {(s, ψ(θ, β_k(s))) | s ∈ D^k, θ ∈ D^{n-k}}

donde β_k: D^k → 0,1 es una "función de protuberancia" suave con propiedades específicas.

Movimiento (n,k)-Bote

Cuando ψ es un movimiento de Reidemeister 1 (n-k)-dimensional, su suspensión D^k se denomina movimiento (n,k)-bote. La propiedad clave de este movimiento:

Proposición 3.7: El bote (n,k) B_{n,k} es legendrianamente isotópico relativo a la frontera con respecto a la legendriana original Λ_0.

Proposición 3.9: Después del movimiento en forma de bote, solo uno de todos los componentes gráficos en la proyección frontal tiene puntos críticos, y ese punto crítico es un máximo.

Flujo del Algoritmo Principal

Construcción del Lema 4.3

Dada una subvariedad legendriana Λ en una variedad de contacto, así como pares legendrianos paralelos Λ^+ y Λ^-, se hacen completamente paralelos mediante los siguientes pasos:

1. Perturbación: Se hacen todas las cuerdas de Reeb no degeneradas y correspondientes a puntos críticos de una función de Morse
2. Tratamiento Secuencial de Puntos Críticos: Para cada punto crítico:
   • Si es de índice 0 (máximo): Se realiza directamente un deslizamiento de asa
   • Si es de índice n-k (0≤k<n): Primero se realiza un movimiento (n,k)-bote para convertirlo en máximo, luego se realiza un deslizamiento de asa
3. Eliminación: Se repite hasta que todos los obstáculos de las cuerdas de Reeb se eliminen

Prueba del Teorema 1.2

1. Configuración: Se transforma el problema de cirugía antisimplética en un problema de diagrama de cirugía
2. Adición de Pares de Compensación: Se introducen un (n-1)-asa y la legendriana correspondiente Λ^-
3. Aplicación del Lema 4.3: Se hacen Λ^+ y Λ^- completamente paralelas
4. Cancelación: Se eliminan Λ^+ y Λ^-, obteniendo la presentación final

Puntos de Innovación Técnica

1. Intuición Geométrica del Movimiento en Forma de Bote: Mediante la construcción de suspensiones, se generalizan los movimientos de Reidemeister de baja dimensión a dimensiones superiores, manteniendo la propiedad legendriana.
2. Control de Índices Locales: El movimiento en forma de bote puede convertir sistemáticamente puntos críticos de índice arbitrario en máximos, lo cual es clave para tratar cuerdas de Reeb de alta dimensión.
3. Isotopía Relativa a la Frontera: Todas las construcciones preservan la frontera invariante, asegurando la consistencia de la estructura geométrica general.

Configuración Experimental

Verificación Teórica

Como artículo de teoría matemática pura, este trabajo verifica la efectividad de la teoría mediante la construcción de ejemplos concretos:

Ejemplo 4.7: Caso U = D^{n-1}

Cuando U es un disco, la función de Morse g tiene un único punto crítico de índice 0, y la aplicación de la construcción produce una legendriana estándar.

Ejemplo 4.8: Caso U como unión disjunta

Cuando U = U' ∐ D^{n-1}, la construcción produce una legendriana relajada.

Ejemplo 4.9: Relajación de Legendriana P-Relajada

Se demuestra que cuando 0∈P, la legendriana P-relajada es efectivamente relajada.

Métodos de Verificación

Se verifica mediante cálculo explícito y análisis geométrico que:

1. La legendriana construida posee efectivamente las propiedades esperadas
2. El movimiento en forma de bote preserva la clase de isotopía legendriana
3. El resultado final es consistente con resultados teóricos conocidos

Resultados Experimentales

Resultados Principales

Teorema 1.2 (Teorema Principal)

Para un disco lagrangiano regular L⊂X, la presentación de Weinstein del subdominio X\L posee las siguientes propiedades:

• Tiene un (n-1)-asa más que X
• Los n-asas están en correspondencia uno a uno con los n-asas de X
• La esfera de unión Λ'_i de cada n-asa se obtiene mediante el movimiento en forma de bote correspondiente y la suma conexa de cúspides

Corolario 1.4 (Descripción Explícita de Legendriana P-Relajada)

La legendriana P-relajada ΛP consiste en cuatro legendrianas relajadas que son completamente paralelas fuera de una región acotada, y están conectadas dentro de la región acotada mediante tres movimientos en forma de bote y sumas conexas de cúspides.

Validez de la Construcción

La corrección del algoritmo se verifica mediante ejemplos concretos:

• El Ejemplo 4.7 muestra el tratamiento del caso más simple
• El Ejemplo 4.8 demuestra la aparición de relajación
• El Ejemplo 4.9 confirma la relajación de la legendriana P-relajada

Trabajo Relacionado

Trabajo Pionero en el Caso Tridimensional

• Ding-Geiges DG09: Describieron la cirugía antisimplética en el caso tridimensional a lo largo de círculos legendrianos que permiten rellenos lagrangianos
• Este trabajo es una generalización de estos resultados a dimensiones superiores

Teoría de Dominios de Weinstein y Flexibilidad

• Weinstein Wei91: Introdujo el concepto de dominios de Weinstein
• Cieliebak-Eliashberg CE12: Teoría de dominios de Weinstein flexibles
• Murphy Mur19: Teoría de legendrianas relajadas
• Lazarev-Sylvan LS23: Construcción de legendrianas P-relajadas

Teoría de Cirugía

• Bourgeois-Ekholm-Eliashberg BEE12: Efectos de la cirugía legendriana
• Ganatra-Pardon-Shende GPS18: Fórmulas de localización

Conclusiones y Discusión

Conclusiones Principales

1. Completitud del Algoritmo: Se proporciona un algoritmo completo para construir presentaciones explícitas de Weinstein de dominios de Weinstein obtenidos mediante cirugía antisimplética
2. Efectividad del Movimiento en Forma de Bote: El movimiento en forma de bote recientemente introducido es la herramienta clave para tratar casos de dimensiones superiores
3. Explicitación de Legendrianas P-Relajadas: Se proporciona por primera vez una descripción concreta de estos importantes objetos geométricos

Limitaciones

1. Suposición de Regularidad: Se requiere que el disco lagrangiano sea regular
2. Condición de No Degeneración: Se requiere que las cuerdas de Reeb sean no degeneradas (aunque esto puede lograrse mediante perturbación)
3. Complejidad Computacional: Para espacios de Moore P complejos, el cálculo puede volverse difícil

Direcciones Futuras

El artículo propone varios problemas abiertos:

Problema 4.10

¿Existe un método más directo para construir legendrianas P-relajadas, similar a la construcción de Murphy para legendrianas relajadas?

Problema 4.11

¿Puede proporcionarse una prueba alternativa de la fórmula de localización de Ganatra-Pardon-Shende mediante cálculo directo del dga legendriano de las esferas de unión producidas por el Teorema 1.2?

Evaluación Profunda

Fortalezas

1. Innovación Teórica: La introducción del movimiento en forma de bote es una verdadera innovación técnica que resuelve el problema técnico clave en casos de dimensiones superiores.
2. Enfoque Sistemático: Se proporciona un algoritmo completo y sistemático que no solo establece existencia, sino que también proporciona construcción explícita.
3. Intuición Geométrica: El movimiento en forma de bote tiene una interpretación geométrica clara, y la imagen del "bote" describe bien la deformación geométrica.
4. Valor Aplicado: La descripción explícita de legendrianas P-relajadas llena un vacío importante y es muy valiosa para investigaciones posteriores.

Debilidades

1. Barrera Técnica: Requiere un profundo conocimiento de geometría de contacto y geometría simpléctica, con legibilidad limitada.
2. Complejidad Computacional: Aunque se proporciona un algoritmo, el cálculo real para casos complejos sigue siendo difícil.
3. Restricciones de Generalización: El método se aplica principalmente al caso de discos lagrangianos regulares.

Impacto

1. Contribución Teórica: Proporciona herramientas técnicas importantes para geometría simpléctica y geometría de contacto.
2. Investigación Posterior: El movimiento en forma de bote puede encontrar aplicaciones en otros problemas relacionados.
3. Aspecto Computacional: Proporciona nuevas vías para el cálculo de invariantes como la categoría de Fukaya envuelta.

Escenarios Aplicables

1. Investigación Teórica: Aplicable al estudio de propiedades geométricas de dominios de Weinstein y variedades de contacto
2. Cálculo de Invariantes: Puede usarse para calcular varios invariantes de geometría simpléctica y geometría de contacto
3. Problemas de Construcción: Aplicable a la construcción de objetos de geometría simpléctica con propiedades específicas

Referencias

El artículo cita literatura importante en el campo, incluyendo:

• Wei91 Trabajo fundamental de Weinstein
• Mur19 Teoría de legendrianas relajadas de Murphy
• LS23 Construcción de legendrianas P-relajadas de Lazarev-Sylvan
• GPS18 Fórmulas de localización de Ganatra-Pardon-Shende
• DG09 Resultados de cirugía antisimplética tridimensional de Ding-Geiges

Este artículo hace contribuciones importantes al campo de la geometría simpléctica y la geometría de contacto, particularmente con la introducción del movimiento en forma de bote y la descripción explícita de legendrianas P-relajadas, proporcionando herramientas importantes para el desarrollo futuro del campo.