[论文解读] Simple homotopy type of Novikov Complex for closed 1-forms and Lefschetz $\zeta$-functions of the gradient flow

Andrey Vladimirovich Pajitnov|arXiv (Cornell University)|Jun 26, 1997

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

该论文建立了闭1-形式在流形上对应的循环覆盖的完备链复形与诺维科夫复形之间的同伦等价，证明该等价的挠率等于梯度流的李普希茨zeta函数。对于C^0-泛型的梯度向量场，诺维科夫复形与zeta函数均在有理函数环上定义，从而在动力zeta函数与莫尔斯理论不变量之间建立了深刻联系。

ABSTRACT

Let f be a Morse map from a closed manifold to a circle. S.P.Novikov constructed an analog of the Morse complex for f. The Novikov complex is a chain complex defined over the ring of Laurent power series with integral coefficients and finite negative part. This complex depends on the choice of a gradient-like vector field. The homotopy type of the Novikov complex is the same as the homotopy type of the completed complex of the simplicial chains of the cyclic covering associated to f. In the present paper we prove that for every C^0-generic f-gradient there is a homotopy equivalence between these two chain complexes, such that its torsion equals to the Lefschetz zeta-function of the gradient flow. For these gradients the Novikov complex is defined over the ring of rational functions and the Lefschetz zeta-function is also rational. The paper contains also a survey of Morse-Novikov theory and of the previous results of the author on the C^0-generic properties of the Novikov complex.

研究动机与目标

• 建立闭1-形式对应的循环覆盖的完备链复形与诺维科夫复形之间的同伦等价。
• 证明该等价的挠率等于梯度流的李普希茨zeta函数。
• 证明对于C^0-泛型梯度，诺维科夫复形与李普希茨zeta函数均在有理函数环上定义。
• 综述莫尔斯-诺维科夫理论及关于诺维科夫复形C^0-泛型性质的先前结果。

提出的方法

• 将诺维科夫复形构造为具有整系数且负幂部分有限的洛朗幂级数环上的链复形。
• 利用梯度类向量场定义诺维科夫复形，确保其同伦型与循环覆盖的完备单纯链复形一致。
• 证明对于C^0-泛型梯度，诺维科夫复形与完备链复形之间存在同伦等价。
• 计算该同伦等价的挠率，并将其识别为梯度流的李普希茨zeta函数。
• 证明在C^0-泛型条件下，诺维科夫复形与zeta函数均属于有理函数环。
• 利用C^0-泛型性确保梯度流及其相关链复形的横截性与结构稳定性。

实验结果

研究问题

• RQ1 对于C^0-泛型梯度，诺维科夫复形与循环覆盖的完备链复形之间是否存在同伦等价？
• RQ2 该同伦等价的挠率是什么？它与梯度流的李普希茨zeta函数有何关系？
• RQ3 在C^0-泛型条件下，诺维科夫复形与李普希茨zeta函数能否同时在有理函数环上定义？
• RQ4 C^0-泛型梯度场的性质如何影响诺维科夫复形的结构与不变性？
• RQ5 在闭1-形式的背景下，动力不变量（zeta函数）与莫尔斯理论不变量（诺维科夫复形）之间的确切关系是什么？

主要发现

• 对于每个C^0-泛型梯度类向量场，诺维科夫复形与循环覆盖的完备链复形之间存在同伦等价。
• 该同伦等价的挠率等于梯度流的李普希茨zeta函数。
• 在C^0-泛型条件下，诺维科夫复形定义在有理函数环上。
• 在相同C^0-泛型条件下，李普希茨zeta函数也是有理函数。
• 诺维科夫复形与李普希茨zeta函数均在有理函数环上定义，表明其具有强烈的代数相容性。
• 本文在诺维科夫设定下，建立了动力zeta函数与莫尔斯理论不变量之间精确的代数拓扑对应关系。