De Funciones de Morse a Fibraciones de Lefschetz en Fibrados Cotangentes

Información Básica

• ID del Artículo: 2510.10669
• Título: From Morse Functions to Lefschetz Fibrations on Cotangent Bundles
• Autor: Emmanuel GIROUX (CNRS and ENS-PSL)
• Clasificación: math.SG (Geometría Simpléctica), math.GT (Topología Geométrica)
• Fecha de Publicación: 12 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.10669

Resumen

Este artículo demuestra que para cualquier función de Morse en una variedad compacta y un gradiente adaptado que satisface la condición de Morse-Smale, existe una fibración simpléctica de Lefschetz de valores complejos, definida en el fibrado cotangente, que es única hasta homotopía. La restricción de esta fibración a la sección cero es la función dada, la parte imaginaria es la evaluación del covector en el gradiente, y es equivariante bajo la involución de reflexión de fibra y conjugación compleja. Posteriormente, se estudia la topología y la geometría simpléctica de las fibras regulares de esta fibración, que son variedades de Weinstein bien definidas.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Trabajo Pionero de Donaldson: S. Donaldson demostró que todas las variedades simplécticas cerradas admiten lápices de tipo Lefschetz con fibras simplécticas, proporcionando herramientas poderosas para el estudio geométrico.
2. Desarrollo de Seidel: P. Seidel desarrolló estas ideas para estudiar la categoría de Fukaya, pero necesitaba trasladar el marco de variedades simplécticas cerradas a regiones de Liouville/Weinstein, reemplazando correspondientemente los lápices de Lefschetz por fibraciones de Lefschetz.
3. Problema de Existencia: Aunque la existencia de fibraciones simplécticas de Lefschetz en regiones de Weinstein se demostró en GP adaptando el método asintótico de Donaldson, la literatura contiene relativamente pocos ejemplos concretos importantes descritos, excepto en el caso de dimensión 4.

Motivación de la Investigación

1. Falta de Ejemplos Concretos: Las pruebas de los resultados de existencia general disponibles no son suficientemente intuitivas y carecen de ejemplos explícitos de fibraciones de Lefschetz.
2. Puente entre Teoría y Práctica: Se necesita establecer una conexión más directa entre la teoría de Morse y las fibraciones de Lefschetz.
3. Comprensión Geométrica: Se desea comprender mejor la estructura geométrica de las fibraciones de Lefschetz mediante construcciones concretas.

Contribuciones Principales

1. Teorema de Extensión Principal: Se demuestra que cualquier función de Morse que satisface la condición de Morse-Smale puede extenderse a una fibración simpléctica de Lefschetz en el fibrado cotangente, y esta extensión es única en sentido homotópico.
2. Método de Construcción Explícita: Se proporciona un proceso de construcción explícito realizado mediante dos pasos clave: "complejificación aproximada" y "reordenamiento de valores críticos".
3. Análisis de la Estructura de Weinstein: Se estudian en detalle las estructuras de Weinstein de las fibras regulares, demostrando que estas estructuras pertenecen a la misma clase de homotopía.
4. Caracterización de Propiedades Geométricas: Se proporciona una descripción geométrica detallada de las fibras de Lefschetz, incluyendo ciclos evanescentes, subvariedades críticas y otros objetos geométricos importantes.

Explicación Detallada de Métodos

Definición de la Tarea

Dada una función de Morse φ: M → ℝ en una variedad compacta M y un gradiente adaptado ν que satisface la condición de Morse-Smale, se construye una aplicación de valores complejos h = f + ig: T*M → ℂ tal que:

• La restricción de h a la sección cero M es igual a φ
• La parte imaginaria g(p,q) = ⟨p,ν(q)⟩
• h es una fibración simpléctica de Lefschetz
• La parte real f es 1-homogénea en el infinito

Método de Construcción Principal

Primer Paso: Complejificación Aproximada

Se define la aplicación preliminar h₀: T*M → ℂ:

h₀(p,q) := φ(q) - (1/2)χ(q)∇²φₑ(p,p) + i⟨p,ν(q)⟩

donde χ es una función de truncamiento y ∇²φₑ es la derivada covariante de segundo orden de φ en q.

Propiedades Clave:

• En la vecindad pequeña Wδ, los puntos críticos de h₀ coinciden con los de φ y son de tipo Morse complejo
• La parte real f⁰ = Re h₀ es una función de Lyapunov para el campo Hamiltoniano ν̃
• En la esfera Vᵣ, f⁰ᵣ es una función de Lyapunov de Morse-Bott para el campo de contacto ν̄

Segundo Paso: Reordenamiento de Valores Críticos

Se extiende h₀ a todo T*M reordenando los valores críticos de la función de Morse-Bott f⁰ᵣ|∂Wδ.

Construcción de la Familia fᵣ:

fᵣ := τ₀(r)f⁰ᵣ + τ₁(r)f¹ᵣ

donde f¹ᵣ = rf∞ y τ₀, τ₁ son funciones de transición elegidas apropiadamente.

Puntos de Innovación Técnica

1. Elevación Dual de Campos Vectoriales: Se utilizan las propiedades de la elevación Hamiltoniana ν̃ del campo vectorial ν en TM y su elevación de contacto ν̄ en STM.
2. Condición de Homogeneidad: Se requiere que f sea 1-homogénea en el infinito para garantizar el comportamiento asintótico correcto de la fibración.
3. Papel Crucial de la Condición de Morse-Smale: Se demuestra que violar la condición de Morse-Smale conduce a la incompletitud de las conexiones, impidiendo así la obtención de una fibración.

Análisis Teórico

Definición de Fibración de Lefschetz

El artículo adopta la definición de fibración de Lefschetz adecuada para variedades de Liouville:

Definición 1: Una aplicación h: W → ℂ es una fibración simpléctica de Lefschetz si y solo si:

1. Los puntos críticos son de tipo Morse complejo
2. La distribución Ker dh está compuesta por subespacios simplécticos, cuyo complemento simpléctico ortogonal forma una conexión singular completa
3. W es agotada por regiones de Liouville, siendo cada fibra regular una variedad de Liouville

Criterio de Fibración

Proposición 7: Si la elevación Hamiltoniana ν̃ admite una extensión de φ y una función de Lyapunov f que es 1-homogénea en el infinito, entonces h := f + ig es una fibración simpléctica de Lefschetz.

Propiedades Geométricas

Estructura de Weinstein de Fibras Regulares

Proposición 13: Cada fibra real Fᵤ = h⁻¹(u) (u ∈ ℝ-Δφ) posee una estructura de Weinstein inducida por la 1-forma estándar λ de T*M, y estas estructuras pertenecen a la misma clase de homotopía.

Subvariedades Críticas

Para un valor regular u, las subvariedades críticas de la función de energía ρᵤ = ρ|Fᵤ incluyen:

• Conjuntos de nivel Qᵤ = Fᵤ ∩ M
• Esferas C±ₐ (cuando φ(a) < u o φ(a) > u)

Aplicaciones Geométricas y Ejemplos

Caso de la Esfera

Ejemplo 0: Para la función de coordenadas φ(x) = xₙ₊₁ en la esfera unitaria Sⁿ, el fibrado cotangente T*Sⁿ es simplectomórfico a la cuádrica afín compleja:

W = {z ∈ ℂⁿ⁺¹ : Σzⱼ² = 1}

La restricción de la coordenada zₙ₊₁ en W proporciona una fibración holomorfa de Lefschetz.

Caso de Descomposiciones de Heegaard

Ejemplo 16: Para funciones de Morse ordenadas en variedades de 3 dimensiones, la fibra de Lefschetz es una variedad de Weinstein de 4 dimensiones obtenida adjuntando asas de Weinstein a lo largo de 4g curvas enmarcadas incrustadas disjuntas en el fibrado cotangente del disco DT*Q.

Comparación con Trabajos Relacionados

Relación con el Trabajo de Johns

• Johns obtuvo en su tesis doctoral una versión débil del resultado de extensión, pero no pudo identificar la variedad de Weinstein W construida con T*M
• El método de este artículo es más directo, evitando las principales dificultades técnicas encontradas por Johns

Relación con el Trabajo de Lee

• Lee propuso un algoritmo para construir fibraciones de Lefschetz a partir de descomposiciones en asas
• El método de este artículo es más claro en la resolución de los principales problemas técnicos

Conclusiones y Discusión

Conclusiones Principales

1. Se establece una correspondencia directa entre funciones de Morse y fibraciones de Lefschetz
2. Se proporciona una construcción explícita de fibraciones de Lefschetz en fibrados cotangentes
3. Se describe completamente la geometría de Weinstein de las fibras regulares

Significado Teórico

• Cada "función de Morse mejorada" (φ,ν) corresponde a una variedad de Weinstein de tipo finito estándar F^(2n-2)
• F contiene ciclos evanescentes y conjuntos de nivel regulares de φ como subvariedades Lagrangianas exactas
• La geometría de F puede describirse explícitamente a partir de estos objetos y sus relaciones asociadas

Limitaciones

1. Se requiere que el gradiente satisfaga la condición de Morse-Smale (esto es necesario)
2. El proceso de construcción implica múltiples pasos técnicos, lo que puede hacer que los cálculos prácticos sean complejos
3. Para variedades no compactas se requiere consideración adicional

Direcciones Futuras

1. Investigar la relación entre las fibraciones de Lefschetz construidas y la categoría de Fukaya
2. Explorar aplicaciones en simetría especular
3. Generalizar a configuraciones geométricas más generales

Evaluación Profunda

Ventajas

1. Completitud Teórica: Proporciona un marco teórico completo desde la teoría de Morse hasta las fibraciones de Lefschetz
2. Explicititud de la Construcción: Ofrece un método de construcción concreto, no solo una prueba de existencia
3. Perspectiva Geométrica: Analiza profundamente las propiedades geométricas de los objetos construidos
4. Innovación Técnica: Utiliza ingeniosamente la elevación dual de campos vectoriales y condiciones de homogeneidad

Insuficiencias

1. Complejidad Técnica: El proceso de construcción implica múltiples pasos técnicos que pueden limitar las aplicaciones prácticas
2. Desafío Computacional: El cálculo para ejemplos concretos puede ser bastante complejo
3. Restricciones de Generalización: No está claro si el método puede generalizarse a otros contextos geométricos

Impacto

1. Contribución Teórica: Proporciona nuevas herramientas para la investigación en la intersección de geometría simpléctica y teoría de Morse
2. Perspectivas de Aplicación: Ofrece nuevos métodos para investigar la clasificación e invariantes de variedades de Weinstein
3. Valor Pedagógico: Proporciona ejemplos concretos para comprender las fibraciones de Lefschetz

Escenarios de Aplicación

• Investigación de la geometría simpléctica de fibrados cotangentes
• Problemas de clasificación de variedades de Weinstein
• Cálculos concretos de la categoría de Fukaya
• Investigación de simetría especular

Referencias

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

• Trabajo pionero de Donaldson sobre lápices de Lefschetz
• Investigación de Seidel sobre la categoría de Fukaya
• Prueba de Giroux-Pardon sobre la existencia de fibraciones de Lefschetz en regiones de Weinstein
• Trabajos de construcción relacionados de Johns y Lee