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

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

基本信息

  • 论文ID: 2510.00464
  • 标题: 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
  • 作者: Naoki Kitazawa
  • 分类: math.GN (General Topology), math.CO (Combinatorics), math.GT (Geometric Topology)
  • 发表时间: 2025年10月（arXiv预印本）
  • 论文链接: https://arxiv.org/abs/2510.00464v3

摘要

本文讨论在非局部极值的原像上具有Morse性质的光滑函数，称为内部Morse函数或I-Morse函数。Reeb图是光滑函数单点原像的所有连通分量的空间，其顶点对应包含临界点的原像。如果顶点的原像是流形域中内部为空的闭子集，则称光滑函数相对于Reeb图是整洁的（N-Reeb）。作者研究I-Morse和N-Reeb函数的组合（IN-Morse-Reeb函数），主要结果是在给定流形的连通和上构造了一个尊重两个此类函数的IN-Morse-Reeb函数。

研究背景与动机

问题背景

  1. Morse函数的重要性：Morse函数和Morse-Bott函数是流形几何中的基础工具，在奇点理论中也是重要的研究对象。它们通过临界点与k-handle之间的自然对应关系，在理解流形拓扑结构方面发挥关键作用。
  2. Reeb图的作用：对于某些良好类别的函数，可以定义其Reeb图。这些组合对象是获得重要信息（如第一Betti数和基本群的秩）的基础工具，也是可视化Morse函数或某些广义函数的重要手段。
  3. 现有研究的局限：传统的Morse函数理论主要关注所有临界点的性质，而对于仅在特定原像上具有Morse性质的函数研究较少。

研究动机

  1. 理论完善：扩展Morse函数理论，研究更一般的函数类别
  2. 构造问题：解决在连通和流形上构造特定性质函数的问题
  3. 组合性质：建立函数性质与其Reeb图之间的深层联系

核心贡献

  1. 新函数类的定义：引入了I-Morse函数（内部Morse）和N-Reeb函数（相对Reeb图整洁）的概念，并研究其组合IN-Morse-Reeb函数
  2. 主要构造定理：证明了对于两个闭连通流形上的IN-M-R函数，可在其连通和上构造一个IN-M-R函数，其Reeb有向图同构于特定方式获得的有向图
  3. 简单函数的性质：建立了G-简单函数的理论，并证明了相关的构造和分类结果
  4. 技术方法：提供了基于Ehresmann纤维化定理和handle理论的构造方法

方法详解

核心定义

定义1 (I-Morse函数)：光滑函数f在非局部极值的原像上是Morse的，称为内部Morse或I-Morse函数。

定义2 (N-Reeb函数)：如果Reeb图的每个顶点对应的原像在流形域中是内部为空的闭子集，则称函数相对于Reeb图是整洁的或N-Reeb函数。

定义3 (IN-M-R函数)：同时满足I-Morse和N-Reeb性质的函数称为IN-Morse-Reeb函数。

主要定理

定理1：对于维数m > 1的两个闭连通流形上的IN-M-R函数，可在其连通和上构造一个IN-M-R函数，其Reeb有向图同构于通过以下方式获得的有向图GR：

  • 从两个Reeb有向图GR,1和GR,2中各选择一个非局部极值对应的点
  • 将这两点识别为新增的唯一顶点得到GR

定理2：如果两个给定映射是GR,i-S函数，则结果函数也可作为GR-S函数获得。

定理3：对于特定条件下的有限连通图G，给出了在连通和上构造IN-M-R函数的更精确结果。

技术方法

  1. Handle理论应用：利用k-handle与指标为k的临界点之间的自然对应关系
  2. Ehresmann纤维化定理：在不含临界点的区域构造积束结构
  3. 局部构造与粘合：通过局部Morse函数的构造和适当粘合实现整体构造

实验设置

由于这是纯数学理论研究，不涉及数值实验，而是通过严格的数学证明来验证理论结果。

证明策略

  1. 局部分析：在每个连通分量周围进行局部构造
  2. 积束构造：利用Proposition 1和Remark 1构造所需的积束
  3. 变形和粘合：适当变形和粘合局部积束以获得期望的流形

主要结果

构造结果

论文成功证明了在连通和流形上可以构造具有预期Reeb图结构的IN-M-R函数，这为理解这类函数的存在性和构造性提供了重要理论基础。

技术成果

  1. Proposition 1：给出了在特定条件下构造积束的方法
  2. Proposition 2：详细描述了G-IN-M-R函数的局部结构性质
  3. 图形说明：通过5个技术图形详细展示了构造过程中的关键步骤

相关工作

历史背景

  • Morse理论：建立在Milnor 26等经典工作基础上
  • Reeb图理论：源于Reeb 27的开创性工作
  • 奇点理论：参考Golubitsky和Guillemin 8的系统阐述

近期发展

  • 分类问题：Gelbukh 6,7在给定曲面上Morse-Bott函数Reeb图的实现
  • 构造方法：Michalak 24,25关于Reeb图实现问题的组合修改
  • 应用领域：在辛拓扑和优化问题中的应用

结论与讨论

主要结论

  1. 成功建立了IN-M-R函数在连通和上的构造理论
  2. 提供了具体的构造方法和技术工具
  3. 建立了函数性质与Reeb图结构之间的深层联系

局限性

  1. 维数限制：主要结果要求m > 2，低维情况需要特殊处理
  2. 技术条件：需要满足特定的图嵌入和度数条件
  3. 构造复杂性：实际构造过程涉及复杂的局部分析和全局粘合

未来方向

  1. 分类问题：通过Reeb有向图对某些类别的IN-M-R函数进行分类
  2. 几何应用：探索这些新函数类在几何学其他领域的重要性
  3. 计算方法：发展更有效的构造和计算方法

深度评价

优点

  1. 理论创新：引入了新的函数类别，扩展了Morse理论
  2. 构造性结果：提供了具体的构造方法，不仅证明了存在性
  3. 技术严谨：使用了成熟的微分拓扑工具，论证严密
  4. 图形辅助：通过详细的技术图形清晰展示构造过程

不足

  1. 应用动机不足：缺乏这些新函数类在其他数学领域的具体应用
  2. 低维情况：对于m = 2的情况处理不够完善
  3. 计算复杂性：实际构造过程可能过于复杂，限制了实用性

影响力

  1. 理论贡献：为Morse理论的推广提供了新方向
  2. 技术价值：构造方法可能适用于其他相关问题
  3. 研究启发：为后续研究提供了丰富的技术工具和理论框架

适用场景

  1. 微分拓扑研究：流形上函数的分类和构造问题
  2. 奇点理论：特殊函数类的研究
  3. 应用数学：可能在优化理论和数据分析中找到应用

参考文献

论文引用了33篇相关文献，涵盖了Morse理论、奇点理论、微分拓扑等多个领域的经典和最新研究成果，为本研究提供了坚实的理论基础。

总体评价：这是一篇高质量的纯数学理论论文，在Morse函数理论的推广方面做出了重要贡献。虽然在实际应用方面还需进一步探索，但其理论价值和技术创新性值得认可。