2025-11-24T20:46:16.166719

Smooth functions which are Morse on preimages of values not being local extrema and constructing natural functions of the class on connected sums of manifolds admitting these functions

Kitazawa
We discuss smooth functions which are Morse on preimages of values not being local extrema. We call such a function internally Morse or I-Morse. The Reeb graph of a smooth function is the space of all connected components of preimages of single points of it topologized with the natural quotient topology of the manifolds and a vertex of it is a point corresponding to a preimage with critical points. A smooth function is neat with respect to the Reeb graph or N-Reeb if the preimages of the vertices are the closed subsets in the manifolds of the domains with interiors being empty. We discuss I-Morse and N-Reeb functions, IN-Morse-Reeb functions. Our main result presents an IN-Morse-Reeb function respecting two such functions, on a connected sum of these given manifolds.
academic

Funciones suaves que son Morse en preimágenes de valores que no son extremos locales y construcción de funciones naturales de esta clase en sumas conexas de variedades que admiten estas funciones

Información Básica

  • ID del Artículo: 2510.00464
  • Título: Funciones suaves que son Morse en preimágenes de valores que no son extremos locales y construcción de funciones naturales de esta clase en sumas conexas de variedades que admiten estas funciones
  • Autor: Naoki Kitazawa
  • Clasificación: math.GN (Topología General), math.CO (Combinatoria), math.GT (Topología Geométrica)
  • Fecha de Publicación: Octubre de 2025 (preimpresión en arXiv)
  • Enlace del Artículo: https://arxiv.org/abs/2510.00464v3

Resumen

Este artículo analiza funciones suaves que poseen la propiedad de Morse en preimágenes de valores que no son extremos locales, denominadas funciones Morse interiores o funciones I-Morse. El grafo de Reeb es el espacio de todas las componentes conexas de preimágenes de un único punto de una función suave, cuyos vértices corresponden a preimágenes que contienen puntos críticos. Si la preimagen de un vértice es un subconjunto cerrado con interior vacío en el dominio de la variedad, se dice que la función suave es limpia respecto al grafo de Reeb (N-Reeb). El autor estudia la combinación de funciones I-Morse y N-Reeb (funciones IN-Morse-Reeb), cuyo resultado principal es la construcción de una función IN-Morse-Reeb en la suma conexa de variedades dadas que respeta dos funciones de este tipo.

Antecedentes de Investigación y Motivación

Contexto del Problema

  1. Importancia de las Funciones de Morse: Las funciones de Morse y Morse-Bott son herramientas fundamentales en la geometría de variedades y objetos de investigación importantes en la teoría de singularidades. Desempeñan un papel clave en la comprensión de la estructura topológica de variedades a través de la correspondencia natural entre puntos críticos y k-asas.
  2. Función del Grafo de Reeb: Para ciertas clases bien definidas de funciones, es posible definir su grafo de Reeb. Estos objetos combinatorios son herramientas fundamentales para obtener información importante, como el primer número de Betti y el rango del grupo fundamental, y son medios esenciales para visualizar funciones de Morse o ciertas funciones generalizadas.
  3. Limitaciones de la Investigación Existente: La teoría tradicional de funciones de Morse se enfoca principalmente en las propiedades de todos los puntos críticos, mientras que la investigación sobre funciones que poseen la propiedad de Morse solo en preimágenes específicas es limitada.

Motivación de la Investigación

  1. Perfeccionamiento Teórico: Extender la teoría de funciones de Morse e investigar clases de funciones más generales
  2. Problemas de Construcción: Resolver el problema de construir funciones con propiedades específicas en variedades de suma conexa
  3. Propiedades Combinatorias: Establecer conexiones profundas entre las propiedades de funciones y sus grafos de Reeb

Contribuciones Principales

  1. Definición de Nuevas Clases de Funciones: Se introducen los conceptos de funciones I-Morse (Morse interior) y funciones N-Reeb (limpias respecto al grafo de Reeb), y se estudian sus combinaciones en funciones IN-Morse-Reeb
  2. Teorema Principal de Construcción: Se demuestra que para funciones IN-M-R en dos variedades cerradas conexas, es posible construir una función IN-M-R en su suma conexa cuyo grafo de Reeb dirigido es isomorfo a un grafo dirigido obtenido de manera específica
  3. Propiedades de Funciones Simples: Se establece la teoría de funciones G-simples y se demuestran resultados de construcción y clasificación relacionados
  4. Métodos Técnicos: Se proporcionan métodos de construcción basados en el teorema de fibración de Ehresmann y la teoría de asas

Explicación Detallada de Métodos

Definiciones Centrales

Definición 1 (Función I-Morse): Una función suave que es Morse en preimágenes de valores que no son extremos locales se denomina Morse interior o función I-Morse.

Definición 2 (Función N-Reeb): Si cada preimagen de un vértice del grafo de Reeb es un subconjunto cerrado con interior vacío en el dominio de la variedad, se dice que la función es limpia respecto al grafo de Reeb o función N-Reeb.

Definición 3 (Función IN-M-R): Una función que satisface simultáneamente las propiedades I-Morse y N-Reeb se denomina función IN-Morse-Reeb.

Teoremas Principales

Teorema 1: Para funciones IN-M-R en dos variedades cerradas conexas de dimensión m > 1, es posible construir una función IN-M-R en su suma conexa cuyo grafo de Reeb dirigido es isomorfo al grafo dirigido GR obtenido de la siguiente manera:

  • Se selecciona un punto correspondiente a un valor que no es extremo local de cada uno de los dos grafos de Reeb dirigidos GR,1 y GR,2
  • Se identifican estos dos puntos como el único vértice nuevo para obtener GR

Teorema 2: Si los dos mapeos dados son funciones GR,i-S, entonces la función resultante también puede obtenerse como una función GR-S.

Teorema 3: Para grafos conexos finitos bajo condiciones específicas, se proporcionan resultados más precisos para la construcción de funciones IN-M-R en sumas conexas.

Métodos Técnicos

  1. Aplicación de la Teoría de Asas: Se utiliza la correspondencia natural entre k-asas y puntos críticos de índice k
  2. Teorema de Fibración de Ehresmann: Se construyen estructuras de fibrado producto en regiones sin puntos críticos
  3. Construcción Local y Pegado: Se realiza la construcción global mediante construcción de funciones de Morse locales y pegado apropiado

Configuración Experimental

Dado que se trata de investigación teórica en matemática pura, no implica experimentos numéricos, sino que verifica los resultados teóricos mediante demostración matemática rigurosa.

Estrategia de Demostración

  1. Análisis Local: Se realiza construcción local alrededor de cada componente conexa
  2. Construcción de Fibrados Producto: Se utilizan la Proposición 1 y la Observación 1 para construir los fibrados producto requeridos
  3. Deformación y Pegado: Se deforman y pegan apropiadamente los fibrados producto locales para obtener la variedad esperada

Resultados Principales

Resultados de Construcción

El artículo demuestra exitosamente que es posible construir funciones IN-M-R en variedades de suma conexa con la estructura de grafo de Reeb esperada, lo que proporciona una base teórica importante para comprender la existencia y constructibilidad de esta clase de funciones.

Logros Técnicos

  1. Proposición 1: Proporciona un método para construir fibrados producto bajo condiciones específicas
  2. Proposición 2: Describe en detalle las propiedades de estructura local de funciones G-IN-M-R
  3. Ilustraciones Gráficas: Mediante 5 figuras técnicas, se muestran en detalle los pasos clave del proceso de construcción

Trabajos Relacionados

Antecedentes Históricos

  • Teoría de Morse: Basada en trabajos clásicos de Milnor 26 y otros
  • Teoría del Grafo de Reeb: Originada en el trabajo pionero de Reeb 27
  • Teoría de Singularidades: Referencia a la exposición sistemática de Golubitsky y Guillemin 8

Desarrollos Recientes

  • Problemas de Clasificación: Trabajo de Gelbukh 6,7 sobre realización de grafos de Reeb de funciones Morse-Bott en superficies dadas
  • Métodos de Construcción: Trabajo de Michalak 24,25 sobre modificaciones combinatorias del problema de realización de grafos de Reeb
  • Campos de Aplicación: Aplicaciones en topología simpléctica y problemas de optimización

Conclusiones y Discusión

Conclusiones Principales

  1. Se establece exitosamente la teoría de construcción de funciones IN-M-R en sumas conexas
  2. Se proporcionan métodos de construcción concretos y herramientas técnicas
  3. Se establecen conexiones profundas entre las propiedades de funciones y la estructura del grafo de Reeb

Limitaciones

  1. Restricciones de Dimensión: Los resultados principales requieren m > 2, y los casos de baja dimensión requieren tratamiento especial
  2. Condiciones Técnicas: Se requiere satisfacer condiciones específicas de incrustación de grafos y grado
  3. Complejidad de Construcción: El proceso de construcción real implica análisis local complejo y pegado global

Direcciones Futuras

  1. Problemas de Clasificación: Clasificar ciertas clases de funciones IN-M-R mediante grafos de Reeb dirigidos
  2. Aplicaciones Geométricas: Explorar la importancia de estas nuevas clases de funciones en otros campos de la geometría
  3. Métodos Computacionales: Desarrollar métodos de construcción y cálculo más eficaces

Evaluación Profunda

Fortalezas

  1. Innovación Teórica: Se introducen nuevas clases de funciones, extendiendo la teoría de Morse
  2. Resultados Constructivos: Se proporcionan métodos de construcción concretos, no solo se prueba la existencia
  3. Rigor Técnico: Se utilizan herramientas maduras de topología diferencial con argumentación rigurosa
  4. Apoyo Gráfico: Se muestran claramente los procesos de construcción mediante figuras técnicas detalladas

Deficiencias

  1. Motivación de Aplicaciones Insuficiente: Faltan aplicaciones concretas de estas nuevas clases de funciones en otros campos matemáticos
  2. Casos de Baja Dimensión: El tratamiento del caso m = 2 no es suficientemente completo
  3. Complejidad Computacional: El proceso de construcción real puede ser excesivamente complejo, limitando su practicidad

Impacto

  1. Contribución Teórica: Proporciona nuevas direcciones para la generalización de la teoría de Morse
  2. Valor Técnico: Los métodos de construcción pueden ser aplicables a otros problemas relacionados
  3. Inspiración para Investigación: Proporciona herramientas técnicas ricas y marco teórico para investigación posterior

Escenarios de Aplicación

  1. Investigación en Topología Diferencial: Problemas de clasificación y construcción de funciones en variedades
  2. Teoría de Singularidades: Investigación de clases especiales de funciones
  3. Matemática Aplicada: Posibles aplicaciones en teoría de optimización y análisis de datos

Referencias Bibliográficas

El artículo cita 33 referencias relacionadas, abarcando trabajos clásicos y recientes en múltiples campos como teoría de Morse, teoría de singularidades y topología diferencial, proporcionando una base teórica sólida para esta investigación.


Evaluación General: Este es un artículo de matemática pura de alta calidad que realiza contribuciones importantes a la generalización de la teoría de funciones de Morse. Aunque requiere exploración adicional en aspectos de aplicación práctica, su valor teórico e innovación técnica son dignos de reconocimiento.