[论文解读] On the exotic De-Rham cohomology. Perturbation theory as a spectral sequence

Sergey Novikov|ArXiv.org|Jan 9, 2002

Topological and Geometric Data Analysis被引用 13

一句话总结

本文通过在紧致黎曼流形上使用扰动微分算子 $ d_{\lambda\omega} = d + \lambda\omega \wedge $，引入了两种新的同调不变量——第一类和第二类的奇异德拉姆上同调。对于闭1-形式 $ \omega $，这些奇异贝蒂数与扭曲德拉姆上同调 $ H^*_{\rho}(M, \mathbb{C}) $ 一致，其中 $ \rho(\gamma) = \exp(\int_\gamma \lambda\omega) $，并证明了在 $ (\mathbb{C}^*)^p $ 中的复曲线 $ \Gamma_\omega $ 是代数曲线当且仅当存在某个 $ \lambda_0 \neq 0 $ 使得 $ \lambda_0\omega \in H^1(M, \mathbb{Z}) $。该研究通过谱序列与梅西积，将谱理论、莫尔斯理论与代数几何联系起来。

ABSTRACT

This work is dedicated to some new exotic homological constructions associated with the different Morse-type inequalities for differential forms and vector fields. It contains also survey of ideas developed by the present author in 1986 for this goal.

研究动机与目标

• 通过紧致 $ C^\infty $ 流形上的扰动拉普拉斯算子 $ \Delta_{\lambda\omega} = (d_{\lambda\omega} + d^{+}_{\lambda\omega})^2 $ 的核，定义并研究第一类奇异贝蒂数。
• 通过复形 $ (\Lambda^*_{\Omega}, d_{\lambda\omega}) $（其中 $ \Omega = d\omega $）引入与度量无关的第二类奇异同调，并定义相应的奇异贝蒂数。
• 建立奇异上同调与扭曲德拉姆上同调 $ H^*_{\rho}(M, \mathbb{C}) $ 之间的同调等价性，其中 $ \rho(\gamma) = \exp(\int_\gamma \lambda\omega) $，适用于闭1-形式 $ \omega $。
• 证明由 $ z_j = \exp(\lambda \oint_{\gamma_j} \omega) $ 参数化的复曲线 $ \Gamma_\omega \subset (\mathbb{C}^*)^p $ 是代数曲线当且仅当存在某个 $ \lambda_0 \neq 0 $ 使得 $ \lambda_0\omega \in H^1(M, \mathbb{Z}) $。
• 探讨奇异上同调的几何解释，尤其在可积分布与接触结构背景下的意义。

提出的方法

• 在 $ \Lambda^* $ 上定义算子 $ d_{\lambda\omega} = d + \lambda\omega \wedge $，其中 $ \omega $ 为1-形式，并考虑其对标准德拉姆复形的扰动。
• 构造伴随算子 $ d^{+}_{\lambda\omega} = \pm *d_{\lambda\omega}* $，从而得到自伴算子 $ \Delta_{\lambda\omega} = (d_{\lambda\omega} + d^{+}_{\lambda\omega})^2 $，当 $ \lambda $ 为实数时该算子为椭圆型。
• 将奇异贝蒂数 $ b^{\pm}(\lambda\omega) $ 定义为 $ \Delta_{\lambda\omega} $ 的 $ \mathbb{Z}_2 $-分次核的维数，将 $ b'_{\lambda\omega} $ 定义为复形 $ (\Lambda^*_{\Omega}, d_{\lambda\omega}) $ 的与度量无关的奇异同调 $ H^k_{\lambda\omega} $ 的维数。
• 利用滤子复形 $ (\Lambda^*_{\Omega}, d_{\lambda\omega}) $ 的谱序列分析微扰理论，并将其与梅西积 $ d_s(a) = (\omega, \ldots, \omega, a) $ 联系起来。
• 对满足 $ \omega - \omega' = df $ 的1-形式应用规范变换 $ a \mapsto e^{\lambda f}a $，证明同调类相差恰当形式的奇异同调群之间同构，表明其具有同伦不变性。
• 通过局部坐标分析 $ \Lambda^*_{\Omega} $ 的结构及 $ d_{\lambda\omega} $ 的作用，涵盖完全可积分布与接触结构等情形。

实验结果

研究问题

• RQ1 通过 $ \Delta_{\lambda\omega} $ 的核定义的第一类奇异贝蒂数，如何与经典德拉姆上同调及扭曲上同调相关联？
• RQ2 在何种条件下，由 $ z_j = \exp(\lambda \oint_{\gamma_j} \omega) $ 参数化的复曲线 $ \Gamma_\omega \subset (\mathbb{C}^*)^p $ 是代数曲线？
• RQ3 对于非闭1-形式，奇异同调群 $ H^k_{\lambda\omega} $ 的几何意义是什么，尤其在可积叶状结构与接触结构背景下？
• RQ4 扰动 $ d_{\lambda\omega} = d + \lambda\omega \wedge $ 如何与复形 $ (\Lambda^*_{\Omega}, d_{\lambda\omega}) $ 中的谱序列及梅西积相关联？
• RQ5 奇异上同调群能否在非恰当1-形式的维滕型莫尔斯理论背景下被解释为谱不变量？

主要发现

• 当 $ d\omega = 0 $ 时，第一类奇异贝蒂数 $ b^{\pm}(\lambda\omega) $ 与扭曲德拉姆上同调 $ H^*_{\rho}(M, \mathbb{C}) $ 的维数一致，其中 $ \rho(\gamma) = \exp(\int_\gamma \lambda\omega) $。
• 复曲线 $ \Gamma_\omega \subset (\mathbb{C}^*)^p $ 是代数曲线当且仅当存在某个 $ \lambda_0 \neq 0 $ 使得 $ \lambda_0\omega \in H^1(M, \mathbb{Z}) $，为此提供了代数性的拓扑判别准则。
• 第二类奇异同调 $ H^k_{\lambda\omega} $ 对于相差一个恰当形式 $ df $ 的1-形式是同构的，通过规范变换 $ a \mapsto e^{\lambda f}a $ 实现，表明其具有同伦不变性。
• 当 $ \omega \wedge d\omega = 0 $ 时，若涡旋叶状结构在拓扑上为复结构，则奇异1-上同调 $ H^1_{\lambda\omega} $ 是有限维的，且在局部坐标下由与 $ r $ 无关的闭1-形式构成。
• 对于接触结构 $ \omega = pdq + dr $，$ d\omega = dp \wedge dq $，奇异上同调 $ H^1_{\lambda\omega} $ 局部同构于涡旋情形，但 $ dr $ 的全局非闭性导致沿轨道呈指数衰减。
• 点 $ \lambda = -1 $ 是奇异上同调的跳跃点：$ \alpha \in H^1_{-\omega} $ 是非平凡上循环当且仅当 $ \alpha = 0 $ 定义了一个完全可积分布，从而将奇异上同调与叶状结构理论联系起来。