[论文解读] C^0-generic properties of boundary operators in Novikov Complex

Andrei Pajitnov|arXiv (Cornell University)|Dec 29, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 9

一句话总结

该论文证明，对于流形上具有圆周值莫尔斯函数的C^0-泛常梯度向量场，原本定义在洛朗级数上的诺维科夫复形可被实现为有理函数环上的复形。通过一种新颖的莫尔斯理论型处理程序分解和梯度下降映射的连续代数模型，作者证明了诺维科夫复形中的边界算子在一般情况下为有理函数，显著简化了复形的代数结构。

ABSTRACT

One of the basic objects in the Morse theory of circle-valued maps is Novikov complex - an analog of the Morse complex of Morse functions. Novikov complex is defined over the ring of Laurent power series with finite negative part. The main aim of this paper is to present a detailed and self-contained exposition of the author's theorem saying that C^0-generically the Novikov complex is defined over the ring of rational functions. The paper contains also a systematic treatment of the topics of the classical Morse theory related to Morse complexes (Chapter 2). We work with a new class of gradient-type vector fields, which includes riemannian gradients. In Ch.3 we suggest a purely Morse-theoretic (not using triangulations) construction of small handle decomposition of manifolds. In the Ch.4 we deal with the gradients of Morse functions on cobordisms. Due to the presence of critical points the descent along the trajectories of such gradient does no define in general a continuous map from the upper component of the boundary to the lower one. We show that for C^0-generic gradients there is an algebraic model of "gradient descent map". This is one of the main tools in the proof of the main theorem (Chapter 5). We give also the generalizations of the result for the versions of Novikov complex defined over completions of group rings (non commutative in general).

研究动机与目标

• 理解圆周值莫尔斯函数的诺维科夫复形中边界算子的泛常代数结构。
• 建立在C^0拓扑下，诺维科夫复形通常定义在有理函数环上，而非洛朗级数环上。
• 发展一种完全基于莫尔斯理论的极小处理程序分解构造方法，无需依赖三角剖分。
• 在流形之间存在临界点导致轨迹不连续的情况下，为流形上的梯度下降映射定义一个连续的代数模型。
• 将结果推广至非交换群环的完备化上的诺维科夫复形。

提出的方法

• 引入一类新的梯度型向量场（包括黎曼梯度），以促进对流行为的分析。
• 仅使用莫尔斯理论技术构造流形的极小处理程序分解，避免使用三角剖分。
• 分析带有临界点的流形之间的梯度流，其中标准下降映射无法保持连续性。
• 构建一个对C^0-泛常梯度保持连续且定义良好的梯度下降映射的代数模型。
• 应用该模型证明诺维科夫复形中的边界算子在一般情况下为有理函数。
• 将结果推广至群环完备化上的诺维科夫复形，包括非交换情形。

实验结果

研究问题

• RQ1 在何种泛常条件下，诺维科夫复形可从洛朗级数简化为有理函数？
• RQ2 能否在带有临界点的流形上构造出梯度下降映射的连续代数模型？
• RQ3 能否仅使用莫尔斯理论方法构造流形的极小处理程序分解，而无需三角剖分？
• RQ4 C^0-泛常梯度向量场如何影响诺维科夫复形中边界算子的代数结构？
• RQ5 能否将主要结果推广至定义在非交换群环完备化上的诺维科夫复形？

主要发现

• 对于C^0-泛常梯度向量场，诺维科夫复形中的边界算子定义在有理函数环上，而不仅限于洛朗级数环。
• 尽管存在临界点，C^0-泛常梯度下梯度下降映射的代数模型仍保持连续且定义良好。
• 通过完全基于莫尔斯理论的方法，实现了无需三角剖分的极小处理程序分解构造。
• 定义在有理函数环上的诺维科夫复形以更易处理的代数形式捕捉了圆周值莫尔斯函数的本质拓扑信息。
• 该结果可推广至非交换群环完备化上的诺维科夫复形，从而扩展了其在更广泛代数环境中的适用性。
• 证明依赖于C^0拓扑下梯度流存在连续代数模型这一事实，该性质在一般情况下成立。