[论文解读] A proof of Reidemeister-Singer's theorem by Cerf's methods

François Laudenbach|arXiv (Cornell University)|Feb 6, 2012

Geometric and Algebraic Topology被引用 6

一句话总结

本文利用Cerf关于单参数Morse函数族的理论，为Reidemeister-Singer定理提供了新的证明，将Heegaard分裂转化为3-流形上的有序Morse函数。通过应用Cerf的技术——特别是横截尾部引理和通用路径形变——证明了任意两个Heegaard分裂在稳定化后成为同伦等价，且通过函数空间中受控路径形变实现了手柄滑动与消去操作。

ABSTRACT

Heegaard splittings and Heegaard diagrams of a closed 3-manifold M are translated into the language of Morse functions with Morse-Smale pseudo-gradients defined on M. We make use in a very simple setting of techniques which Jean Cerf developed for solving a famous pseudo-isotopy problem. In passing, we show how to cancel the supernumerary local extrema in a generic path of functions when dim M>2. The main tool that we introduce is an elementary swallow tail lemma which could be useful elsewhere.

研究动机与目标

• 通过Cerf理论，为Reidemeister-Singer定理提供一种现代的、函数论视角的证明。
• 将拓扑概念如Heegaard分裂与手柄滑动，系统地转化为Morse函数与伪梯度向量场的语言。
• 证明任意两个闭3-流形上的有序Morse函数，可通过具有受控出生与消去事件的通用路径相连。
• 建立Heegaard分裂的稳定化与沿此类路径添加一对指标为1和2的消去临界点之间的对应关系。
• 引入并应用一个基本的横截尾部引理，作为简化高维（>2）函数通用路径的关键技术工具。

提出的方法

• 将Heegaard分裂表示为闭3-流形上的有序Morse函数，其中分离指标1与2临界值的水平集即为分裂曲面。
• 使用连接两个有序Morse函数的光滑函数通用路径，确保除有限多个函数外其余均为Morse函数，且临界点的变化通过出生或消去事件发生。
• 应用Cerf理论对路径进行形变，使得所有非Morse点均为立方型（Hessian的余维数为1），并以横截尾部奇点标记出生与消去事件。
• 在路径中段的水平集上引入一对指标为1和2的消去临界点，利用邻域带控制出生柱体的底面。
• 运用横截尾部引理，通过形变消除横截尾部与唇形奇点，逐个减少额外极小值的数量。
• 利用Cerf引理由（在维度>1时出生事件的唯一性）确保消去操作不会引入新复杂性。

实验结果

研究问题

• RQ1 Reidemeister-Singer定理能否通过Cerf关于单参数Morse函数族的理论重新证明？
• RQ2 Heegaard分裂与手柄滑动如何系统地编码为Morse函数及其通用路径？
• RQ3 在维度>2时，横截尾部奇点及其消去在简化函数通用路径中起什么作用？
• RQ4 Heegaard分裂的稳定化能否通过在受控函数路径中添加一对消去临界点来实现？
• RQ5 Cerf理论的通用路径形变技术在三维流形上能多大程度上应用于解决Morse理论中的同伦问题？

主要发现

• 任意两个闭3-流形上的有序Morse函数，可通过一条通用路径相连，其中所有非Morse点均为立方型，且出生与消去事件发生在受控区间内。
• 此类路径中中间函数的水平集（分隔指标1与2临界值）所定义的Heegaard分裂，是初始与最终函数所对应分裂的共同稳定化。
• 沿路径添加一对指标为1和2的消去临界点，对应于Heegaard分裂的稳定化，且此类对可通过路径的受控形变引入。
• 横截尾部引理使Cerf图形中的横截尾部与唇形奇点得以消除，从而可将路径形变为具有更少额外极小值的形式。
• 形变后的最终路径比原始路径少一个额外极小值，表明稳定化可通过一系列受控函数形变实现。
• 一般情形可通过同伦与缩放约化为特殊情形（H），从而确保初始与最终函数的极小值与极大值可匹配，满足形变论证的假设条件。