[论文解读] Circle valued Morse theory and Novikov homology

Andrew Ranicki|ArXiv.org|Nov 30, 2001

Topological and Geometric Data Analysis参考文献 20被引用 7

一句话总结

本文通过诺维科夫复形与诺维科夫同调，构建了基于诺维科夫环 $ \mathbb{Z}((z)) $ 的圆值莫尔斯理论代数模型，将实值莫尔斯理论推广至映射 $ f: M \to S^1 $ 的情形。该模型基于无限循环覆叠的基本域构造一个链复形，证明其同调计算出诺维科夫同调，并通过广义赛弗特矩阵将之与亚历山大多项式联系起来。

ABSTRACT

An introduction to circle valued Morse theory and Novikov homology, from an algebraic point of view.

研究动机与目标

• 将莫尔斯理论从实值函数推广至圆值函数 $ f: M \to S^1 $，将经典莫尔斯-斯梅尔复形推广至诺维科夫情形。
• 基于无限循环覆叠 $ \overline{M} $ 的基本域，构造诺维科夫复形 $ C^{Nov}(f) $ 在 $ \mathbb{Z}((z)) $ 上的代数链复形模型。
• 通过广义赛弗特矩阵，建立诺维科夫同调 $ H^{Nov}_*(M,f) $ 与基本域 $ M_N $ 同调之间的链等价关系。
• 将诺维科夫贝蒂数与挠 invariant 用亚历山大多项式 $ \Delta_i(z) $ 表示，特别针对 $ \pi_1(M) = \mathbb{Z} $ 的纽结补形。
• 通过非交换科恩局部化改进诺维科夫复形微分的代数结构。

提出的方法

• 在诺维科夫环 $ \mathbb{Z}((z)) $ 上定义诺维科夫复形 $ C^{Nov}(f) $，利用无限循环覆叠 $ \overline{M} = f^*\mathbb{R} $ 上的梯度流线。
• 通过赛弗特曲面 $ N $ 和基本域 $ M_N $ 的约化链复形 $ \dot{C}(N) $ 与 $ \dot{C}(M_N) $，以及包含映射 $ G, H $，构造代数模型。
• 定义链映射 $ e = (G - H)^{-1}G $，作为赛弗特矩阵的推广，并利用其构建 $ \mathbb{Z}[z,z^{-1}] $-模链复形 $ C(e + z(1-e)) $。
• 构造代数诺维科夫复形 $ \widehat{F} $，其微分为 $ d_{\widehat{F}} = d_F + \sum_{j=1}^\infty z^j h_F (h_D)^{j-1} c $，其中 $ h_D = 0 $，$ h_F = \begin{pmatrix} 1-e \\ 0 \end{pmatrix} $，$ c = \begin{pmatrix} 0 & 1 \end{pmatrix} $。
• 证明 $ H_*(\widehat{F}) \cong H^{Nov}_*(M,f) $，且短正合列 $ 0 \to H_i(N)((z)) \xrightarrow{e+z(1-e)} H_i(N)((z)) \to H^{Nov}_i(M,f) \to 0 $ 成立。
• 利用科恩局部化 $ \Sigma^{-1}A_\alpha[z,z^{-1}] $ 改进微分公式 $ d_{\widehat{F}} = d_F + z h_F (1 - z h_D)^{-1} c $，确保代数一致性。

实验结果

研究问题

• RQ1 如何利用无限循环覆叠的基本域，通过代数方法建模圆值莫尔斯函数的诺维科夫复形？
• RQ2 诺维科夫同调 $ H^{Nov}_*(M,f) $ 与基本域 $ M_N $ 同调之间的确切关系是什么？
• RQ3 对于纽结补形，诺维科夫贝蒂数与挠不变量如何与亚历山大多项式 $ \Delta_i(z) $ 相关？
• RQ4 科恩局部化在何种意义上改进了诺维科夫复形的代数结构，超越标准诺维科夫环？
• RQ5 诺维科夫同调在何种条件下为平凡，这与纽结补形纤维化至 $ S^1 $ 的关系是什么？

主要发现

• 诺维科夫同调 $ H^{Nov}_*(M,f) $ 同构于代数诺维科夫复形 $ \widehat{F} $ 的同调，其微分为 $ d_{\widehat{F}} = \begin{pmatrix} d_{\dot{D}} & e + z(1-e) \\ 0 & -d_{\dot{D}} \end{pmatrix} $。
• 短正合列 $ 0 \to H_i(N)((z)) \xrightarrow{e+z(1-e)} H_i(N)((z)) \to H^{Nov}_i(M,f) \to 0 $ 成立，使得诺维科夫同调可通过广义赛弗特矩阵 $ e $ 计算。
• 当 $ n \geq 4 $ 且 $ \pi_1(M) = \mathbb{Z} $ 时，纽结纤维化至 $ S^1 $ 当且仅当 $ b^{Nov}_*(M,f) = q^{Nov}_*(M,f) = 0 $，即 $ H^{Nov}_*(M,f) = 0 $。
• 亚历山大多项式 $ \Delta_i(z) = \det(e + z(1-e)) \in \mathbb{Z}[z,z^{-1}] $ 决定了诺维科夫贝蒂数与挠，且 $ \Delta_i(z) $ 的常数项与首项系数为 $ \pm 1 $ 当且仅当 $ H^{Nov}_*(M,f) = 0 $。
• 改进后的微分 $ d_{\widehat{F}} = d_F + z h_F (1 - z h_D)^{-1} c $ 在科恩局部化 $ \Sigma^{-1}A_\alpha[z,z^{-1}] $ 中良定义，显著提升了代数框架。
• 当 $ A $ 为交换环且 $ \alpha = 1 $ 时，自然映射 $ \Sigma^{-1}A_\alpha[z,z^{-1}] \to A_\alpha((z)) $ 是单射，但一般情况下并非如此，凸显了在非交换情形下局部化的必要性。