[論文レビュー] Circle valued Morse theory and Novikov homology

Andrew Ranicki|ArXiv.org|Nov 30, 2001

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

ひとこと要約

本稿は、ノビコフ複体とノビコフホモロジーを用いて、$ f: M \to S^1 $ への実値モース理論の一般化である円周値モース理論の代数的モデルを構築する。無限サイクリック被覆の基本領域から、ノビコフ環 $ \mathbb{Z}((z)) $ 上の鎖複体を構成し、そのホモロジーがノビコフホモロジーを計算することを示し、一般化されたセイフェルト行列を介してアレクサンドル多項式と関係づける。

ABSTRACT

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

研究の動機と目的

• 実値関数から円周値関数 $ f: M \to S^1 $ へのモース理論の一般化を図り、古典的モース＝スメール複体をノビコフ設定に拡張すること。
• 無限サイクリック被覆 $ \overline{M} $ の基本領域を用いて、$ \mathbb{Z}((z)) $ 上のノビコフ複体 $ C^{Nov}(f) $ の代数的鎖複体モデルを構築すること。
• ノビコフホモロジー $ H^{Nov}_*(M,f) $ と基本領域 $ M_N $ のホモロジーとの関係を、一般化されたセイフェルト行列を含む鎖同値を介して特定すること。
• ノビコフベッチ数とねじれ不変量を、特に $ \pi_1(M) = \mathbb{Z} $ である knot 補空間に対して、アレクサンドル多項式 $ \Delta_i(z) $ の形で表現すること。
• 非可換コーン局域化を用いてモデルを精緻化し、ノビコフ複体内の微分の代数的構造を向上させること。

提案手法

• 無限サイクリック被覆 $ \overline{M} = f^*\mathbb{R} $ 上の勾配フローラインを用いて、ノビコフ環 $ \mathbb{Z}((z)) $ 上のノビコフ複体 $ C^{Nov}(f) $ を定義する。
• セイフェルト面 $ 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)) $ を構成する。
• 微分 $ d_{\widehat{F}} = d_F + \sum_{j=1}^\infty z^j h_F (h_D)^{j-1} c $ を持つ代数的ノビコフ複体 $ \widehat{F} $ を構成する。ここで $ 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 $ が成り立つことを示す。
• 代数的整合性を保証するため、微分式 $ d_{\widehat{F}} = d_F + z h_F (1 - z h_D)^{-1} c $ を非可換コーン局域化 $ \Sigma^{-1}A_\alpha[z,z^{-1}] $ を用いて精緻化する。

実験結果

リサーチクエスチョン

• RQ1 円周値モース関数のノビコフ複体を、無限サイクリック被覆の基本領域を用いて代数的にどのようにモデル化できるか？
• RQ2 ノビコフホモロジー $ H^{Nov}_*(M,f) $ と基本領域 $ M_N $ のホモロジーとの間の明確な関係は何か？
• RQ3 knot 補空間に対して、ノビコフベッチ数とねじれ不変量はアレクサンドル多項式 $ \Delta_i(z) $ とどのように関係するか？
• RQ4 コーン局域化は、標準的なノビコフ環を越えてノビコフ複体の代数的構造をどのように精緻化するか？
• RQ5 ノビコフホモロジーが自明となる条件は何か？また、これは knot 補空間が $ S^1 $ にファイブレーションする条件とどのように関係するか？

主な発見

• ノビコフホモロジー $ H^{Nov}_*(M,f) $ は、微分 $ d_{\widehat{F}} = \begin{pmatrix} d_{\dot{D}} & e + z(1-e) \\ 0 & -d_{\dot{D}} \end{pmatrix} $ を持つ代数的ノビコフ複体 $ \widehat{F} $ のホモロジーと同型である。
• 短完全系列 $ 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} $ のとき、knot が $ 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)) $ は単射であるが、一般にはそうではない。これは非可換設定において局域化の必要性を強調している。