[論文レビュー] Counting closed orbits of gradients of circle-valued maps

Andrei Pajitnov|ArXiv.org|Apr 28, 2001

Mathematical Dynamics and Fractals参考文献 15被引用数 3

ひとこと要約

本稿は、円周値モーレス写像のノヴィコフ複体とその無限サイクリック被覆の完成化された単体的ホモロジー複体の間のファンクター的チェーンホモトピー同値性を確立し、すべての閉軌道が双曲的であり、横断性が成り立つとき、この同値性のねじれが勾配フローのリーマン・ゼータ関数に一致することを証明する。

ABSTRACT

Let $M$ be a closed connected manifold, $f$ be a Morse map from $M$ to a circle, $v$ be a gradient-like vector field satisfying the transversality condition. The Novikov construction associates to these data a chain complex $C_*=C_*(f,v)$. There is a chain homotopy equivalence between $C_*$ and completed simplicial chain complex of the corresponding infinite cyclic covering of $M$. The first main result of the paper is the construction of a functorial chain homotopy equivalence between these two complexes. The second main result states that the torsion of this chain homotopy equivalence equals to the Lefschetz zeta function of the gradient flow, if $v$ has only hyperbolic closed orbits.

研究の動機と目的

• 多様体の無限サイクリック被覆の完成化された単体的ホモロジー複体とノヴィコフ複体の間のファンクター的チェーンホモトピー同値性を構成すること。
• 双曲的かつ横断性の条件下で、この同値性のねじれが勾配フローのリーマン・ゼータ関数に一致することを証明すること。
• 円周値写像と勾配フローの文脈において、モース＝ノヴィコフ理論と力学的ゼータ関数を統合すること。
• 古典的なリーマン・ゼータ関数をノヴィコフ理論的構成を用いて特異なフローへと拡張すること。
• 無限被覆の代数的トポロジーを用いて、力学的不変量のホモトピー的解釈を提供すること。

提案手法

• 円周値モーレス写像 $ f $ の臨界点と勾配に類するベクトル場 $ v $ を用いて、環 $ \widehat{L} = \mathbb{Z}[[t]][t^{-1}] $ 上のノヴィコフ複体 $ C_*(f,v) $ を構成する。
• 多様体 $ M $ の無限サイクリック被覆 $ \bar{M} $ を用いて、ファンクター的チェーンホモトピー同値性 $ \phi: C_*(f,v) \to C_*^\Delta(\bar{M}) \otimes_L \widehat{L} $ を確立する。
• ベクトル場 $ v $ に対する横断性条件を用いて、適切に定義されたフロー線と安定・不安定多様体の有限交差性を保証する。
• 閉軌道のフルラー指数と巻き数を用いて、ハイパーボリックな閉軌道を符号化するリーマン・エータ関数 $ \eta_L(-v) = \sum_{\gamma \in \text{Cl}(-v)} \iota_F(\gamma) t^{n(\gamma)} $ を定義する。
• チェーンホモトピー同値性のねじれが、$ L_k $ を勾配フローの $ k $ 回繰り返しのリーマントレースとする $ \zeta_L(t) = \exp\left(\sum_{k=1}^\infty \frac{L_k}{k} t^k\right) $ に等しいことを証明する。
• 固定点指数の連続性およびホモトピー不変性を適用し、$ v $ の小さな摂動に対して $ \zeta_n(v) $ と $ \tau_n(v) $ が不変であることを示し、ゼータ関数とねじれ関数が等しくなることを導く。

実験結果

リサーチクエスチョン

• RQ1 ノヴィコフ複体のねじれは、勾配フローの力学的不変量として解釈可能か？
• RQ2 ノヴィコフ複体と無限サイクリック被覆の完成化された単体的ホモロジー複体の間にはファンクター的チェーンホモトピー同値性が存在するか？
• RQ3 双曲的かつ横断性の下で、勾配フローのリーマン・ゼータ関数はノヴィコフ複体のねじれに一致するか？
• RQ4 勾配ベクトル場の摂動は、ゼータ関数およびねじれ不変量にどのように影響するか？
• RQ5 閉軌道のフルラー指数と巻き数を用いて、代数的トポロジーを介してリーマン・ゼータ関数を再構成できるか？

主な発見

• ノヴィコフ複体 $ C_*(f,v) $ と完成化された単体的ホモロジー複体 $ C_*^\Delta(\bar{M}) \otimes_L \widehat{L} $ の間にはファンクター的チェーンホモトピー同値性が存在する。
• すべての閉軌道が双曲的であり、横断性が成り立つ限り、この同値性のねじれは勾配フロー $ -v $ のリーマン・ゼータ関数に等しい。
• リーマン・ゼータ関数は $ \zeta_L(t) = \prod_i \det(I - t h_i)^{(-1)^{i+1}} $ と表され、ここで $ h_i $ はホモロジー上に誘導される写像である。
• ゼータ関数 $ \zeta_n(v) $ とねじれ $ \tau_n(v) $ は、ベクトル場 $ v $ の小さな $ C^0 $-摂動に対して不変であり、安定性が保証される。
• すべての $ n \in \mathbb{N} $ に対して $ \zeta_n(v) = \tau_n(v) $ が成り立ち、これは勾配をクープカ＝スメール型に摂動し、固定点指数のホモトピー不変性を用いて証明される。
• この構成は、$ f $ が $ H^1(M) $ に非可約なクラスを表す任意の勾配に類するベクトル場 $ v $ に対して有効であり、横断性と双曲的閉軌道の存在が条件として必要である。