[论文解读] On the topology and analysis of a closed one form. I (Novikov's theory revisited)

Dan Burghelea, Stefan Haller|ArXiv.org|Jan 5, 2001

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

一句话总结

本文通過引入一個新的數值不變量 $\rho(\omega,g) \in [0,\infty]$，重新探討了閉流形上閉一形式的諾維科夫理論，該不變量控制與諾維科夫複形相關的狄利克雷級數的收斂性。結果表明，當 $\rho < \infty$ 時，諾維科夫複形可源自諾維科夫環的一個較小子環 $\Lambda'_{[\omega],\rho}$ 上的上鏈複形，且整個複形可透過 $t \to \infty$ 時德拉姆複形 $d + t\omega$ 的譜幾何性質完全重建，從而將威滕的莫爾斯理論方法推廣至莫爾斯一形式。

ABSTRACT

We consider systems $(M,ω,g)$ with $M$ a closed smooth manifold, $ω$ a real valued closed one form and $g$ a Riemannian metric, so that $(ω,g)$ is a Morse-Smale pair, Definition~2. We introduce a numerical invariant $ρ(ω,g)\in[0,\infty]$ and improve Morse-Novikov theory by showing that the Novikov complex comes from a cochain complex of free modules over a subring $Λ'_{[ω],ρ}$ of the Novikov ring $Λ_{[ω]}$ which admits surjective ring homomorphisms $\ev_s:Λ'_{[ω],ρ} o\C$ for any complex number $s$ whose real part is larger than $ρ$. We extend Witten-Helffer-Sjöstrand results from a pair $(h,g)$ where $h$ is a Morse function to a pair $(ω,g)$ where $ω$ is a Morse one form. As a consequence we show that if $ρ

研究动机与目标

• 透過引入新的不變量 $\rho(\omega,g)$ 來精化莫爾斯-諾維科夫理論，該不變量控制諾維科夫複形的收斂性。
• 證明諾維科夫複形源自諾維科夫環 $\Lambda_{[\omega]}$ 的一個較小子環 $\Lambda'_{[\omega],\rho}$ 上的上鏈複形。
• 將威滕的譜方法從莫爾斯函數推廣至莫爾斯一形式，利用德拉姆複形 $d + t\omega$。
• 證明當 $\rho < \infty$ 時，諾維科夫複形可完全從 $(M,\omega,g)$ 的譜幾何性質中重建。
• 建立一組參數化於 $s \in \mathbb{C}$ 且 $\operatorname{Re}(s) > \rho$ 的有限維上鏈複形，透過評價映射 $\operatorname{ev}_s$。

提出的方法

• 將不變量 $\rho(\omega,g)$ 定義為所有滿足狄利克雷級數 $\sum_{\hat{\alpha} \in \mathcal{P}(x,y)} I_q(x,y,\hat{\alpha}) e^{-a \cdot [\omega](\hat{\alpha})}$ 絕對收斂的 $a \in \mathbb{R}_{\geq 0}$ 的下確界。
• 定義子環 $\Lambda'_{[\omega],\rho} \subset \Lambda_{[\omega]}$，其包含所有在 $\operatorname{Re}(s) > \rho$ 時收斂的形式級數，並允許評價映射 $\operatorname{ev}_s: \Lambda'_{[\omega],\rho} \to \mathbb{C}$。
• 構造一組複形 $(C^*, \partial^*_s)$，其係數域為 $\mathbb{C}$，其中 $C^q$ 由指數為 $q$ 的臨界點張成，且 $\partial^q_s(x,y) = I_{q+1,s}(x,y)$ 為由 $I_{q+1}(x,y,\hat{\alpha})$ 衍生的狄利克雷級數。
• 利用德拉姆複形 $\Omega^*(M)$ 搭配算子 $d_t = d + t\omega \wedge \cdot$，在 $t$ 足夠大時，將其分解為正交子複形 $\Omega^*_{t,\text{sm}}(M)$ 和 $\Omega^*_{t,\text{la}}(M)$。
• 構造等距同構 $J^q_t: \operatorname{Maps}(\operatorname{Cr}_q(\omega), \mathbb{R}) \to \Omega^q_{t,\text{sm}}(M)$，將臨界點映射至局部化形式 $\bar{\omega}_{y,t}$。
• 透過引理 7 建立一致的 $C^p$-估計：$\|Q^q_t J^q_t - J^q_t\|_{C^p} \leq C_4 e^{-C_5 t} \|f\|$，確保投影的漸近正交性與收斂性。

实验结果

研究问题

• RQ1 能否在 $t \to \infty$ 時，從德拉姆複形 $d + t\omega$ 的譜資料中重構諾維科夫複形？
• RQ2 編碼諾維科夫邊界映射的狄利克雷級數的精確收斂域為何？
• RQ3 是否存在一個較小的諾維科夫環子環，可支撐諾維科夫複形並允許映射至 $\mathbb{C}$？
• RQ4 複形 $d + t\omega$ 的譜幾何如何反映莫爾斯一形式臨界點的拓撲性質？
• RQ5 不變量 $\rho(\omega,g)$ 在何種條件下為有限值？它又控制何種性質？

主要发现

• 不變量 $\rho(\omega,g)$ 定義為所有滿足狄利克雷級數 $\sum_{\hat{\alpha} \in \mathcal{P}(x,y)} I_q(x,y,\hat{\alpha}) e^{-a \cdot [\omega](\hat{\alpha})}$ 絕對收斂的 $a \in \mathbb{R}_{\geq 0}$ 的下確界，且其值域為 $[0,\infty]$。
• 當 $\rho(\omega,g) < \infty$ 時，諾維科夫複形源自子環 $\Lambda'_{[\omega],\rho} \subset \Lambda_{[\omega]}$ 上的上鏈複形，該子環對所有滿足 $\operatorname{Re}(s) > \rho$ 的 $s \in \mathbb{C}$，均允許滿射評價映射 $\operatorname{ev}_s: \Lambda'_{[\omega],\rho} \to \mathbb{C}$。
• 複形上 $\mathbb{C}$ 的邊界映射 $\partial^q_s$ 由狄利克雷級數 $I_{q+1,s}(x,y) = \sum_{\hat{\alpha} \in \mathcal{P}(x,y)} I_{q+1}(x,y,\hat{\alpha}) e^{-s \cdot [\omega](\hat{\alpha})}$ 給出，且在 $\operatorname{Re}(s) > \rho$ 時全純。
• 當 $t \geq T_0$ 時，德拉姆複形 $d_t = d + t\omega \wedge \cdot$ 可唯一分解為正交子複形 $\Omega^*_{t,\text{sm}}(M)$ 和 $\Omega^*_{t,\text{la}}(M)$，且 $\dim \Omega^q_{t,\text{sm}}(M) = \# \operatorname{Cr}_q(\omega)$。
• 投影算子 $Q^q_t$ 對 $\Omega^q_{t,\text{sm}}(M)$ 滿足估計式 $\|Q^q_t J^q_t - J^q_t\|_{C^p} \leq C_4 e^{-C_5 t} \|f\|$，暗示譜投影對臨界點形式的指數收斂。
• 等距同構 $R^q_t: \operatorname{Maps}(\operatorname{Cr}_q(\omega), \mathbb{R}) \to \Omega^q_{t,\text{sm}}(M)$ 滿足：在 $y$ 的不穩定流形上，有 $\|E_{t,y} - \bar{\omega}_{y,t}\| \leq C/t$，且在 $y$ 的鄰域外有 $\|E_{t,y}\| \leq Ce^{-\epsilon t}$，確保其漸近局部化。