[论文解读] The Incidence Coefficients in the Novikov Complex are generically rational functions

Andrei Pajitnov|arXiv (Cornell University)|Mar 14, 1996

Molecular spectroscopy and chirality被引用 10

一句话总结

该论文证明，对于 Morse 映射 $f: M \to S^1$，当使用 $C^0$ 通用的梯度类向量场时，Novikov 复形中的关联系数在 $t$ 上通常是分式函数。该结果证实了 Novikov 关于指数增长上界的猜想，因为分式函数自动意味着系数至多呈指数增长。

ABSTRACT

For a Morse map $f:M o S^1$ Novikov [11] has introduced an analog of Morse complex, defined over the ring $\ZZZ[[t]][t^{-1}]$ of integer Laurent power series. Novikov conjectured, that generically the matrix entries of the differentials in this complex are of the form $\sum_ia_it^i$, where $a_i$ grow at most exponentially in $i$. We prove that for any given $f$ for a $C^0$ generic gradient-like vector field all the incidence coefficients above are rational functions in $t$ (which implies obviously the exponential growth rate estimate).

研究动机与目标

• 解决 Novikov 关于 Novikov 复形中关联系数增长率的猜想。
• 分析 Morse 映射 $f: M \to S^1$ 在环 $\mathbb{Z}[[t]][t^{-1}]$ 上的 Novikov 复形结构。
• 建立对于 $C^0$ 通用的梯度类向量场，微分矩阵的元素为 $t$ 上的分式函数。
• 提供一种通用条件，使得 Novikov 复形中的系数表现出受控增长，从而支持拓扑应用。

提出的方法

• 使用在环 $\mathbb{Z}[[t]][t^{-1}]$ 上定义的 Novikov 复形构造，适用于到 $S^1$ 的 Morse 映射。
• 对梯度类向量场施加 $C^0$ 通用性条件，以确保流的横截性和结构稳定性。
• 将关联系数分析为相邻指标临界点之间梯度轨迹的计数。
• 通过证明其生成函数为有理函数，表明在通用性条件下，这些系数是 $t$ 上的分式函数。
• 运用微分拓扑与动力系统的技术，控制无限循环覆盖中轨迹计数的增长。
• 依赖于 $t$ 上的有理函数意味着系数至多呈指数增长，从而验证了 Novikov 的猜想。

实验结果

研究问题

• RQ1 对于 Morse 映射 $f: M \to S^1$，Novikov 复形中的关联系数在 $t$ 上是否通常是分式函数？
• RQ2 $C^0$ 通用性是否确保梯度类向量场的系数在 Novikov 复形中为分式函数？
• RQ3 能否通过系数的有理性来确立 Novikov 所猜想的指数增长上界？
• RQ4 哪些拓扑或动力系统条件能保证 Novikov 复形中的系数为分式函数？
• RQ5 $C^0$ 拓扑中的通用性如何影响 Novikov 复形的代数结构？

主要发现

• 对于任意给定的 Morse 映射 $f: M \to S^1$，以及 $C^0$ 通用的梯度类向量场，Novikov 复形中的所有关联系数均为 $t$ 上的分式函数。
• 系数的有理性意味着其系数在 $t$ 的幂次上至多呈指数增长，从而证实了 Novikov 关于增长率的猜想。
• 该结果在 $C^0$ 拓扑中是通用的，意味着在向量场的小扰动下保持稳定。
• 该证明确立了关联系数的生成函数为有理函数，这对 Novikov 复形施加了强有力的结构约束。
• 该结果与特定的流形 $M$ 无关，只要 $f$ 是到 $S^1$ 的 Morse 映射即可。
• 研究结果与原始的 Novikov 复形构造一致，并将其代数控制扩展到了通用情形。