[論文レビュー] The Incidence Coefficients in the Novikov Complex are generically rational functions

Andrei Pajitnov|arXiv (Cornell University)|Mar 14, 1996

Molecular spectroscopy and chirality被引用数 10

ひとこと要約

本稿は、Morse写像 $f: M \to S^1$ に対して、$C^0$ 一般の勾配類似ベクトル場を用いるとき、ノビコフ複体におけるインシデント係数が一般に $t$ の有理関数であることを証明する。この結果は、ノビコフの指数的成長限界に関する予想を裏付けるものであり、有理関数であることで係数が指数関数的に増加する可能性が自動的に保証されるためである。

ABSTRACT

For a Morse map $f:M o S^1$ Novikov [11] has introduced an analog of Morse complex, defined over the ring $\ZZZ[[t]][t^{-1}]$ of integer Laurent power series. Novikov conjectured, that generically the matrix entries of the differentials in this complex are of the form $\sum_ia_it^i$, where $a_i$ grow at most exponentially in $i$. We prove that for any given $f$ for a $C^0$ generic gradient-like vector field all the incidence coefficients above are rational functions in $t$ (which implies obviously the exponential growth rate estimate).

研究の動機と目的

• ノビコフ複体におけるインシデント係数の成長率に関するノビコフの予想を解決すること。
• Morse写像 $f: M \to S^1$ に対して、環 $\mathbb{Z}[[t]][t^{-1}]$ 上のノビコフ複体の構造を分析すること。
• $C^0$ 一般の勾配類似ベクトル場に対して、微分作用素の行列成分が $t$ の有理関数であることを確立すること。
• ノビコフ複体の係数が制御された成長を示すための一般的条件を提供し、位相的応用を支援すること。

提案手法

• Morse写像 $S^1$ へのノビコフ複体の構成を、整数のローレンツ形式級数環 $\mathbb{Z}[[t]][t^{-1}]$ 上で行う。
• 勾配類似ベクトル場に $C^0$ 一般性条件を適用し、フローの横断性と構造的安定性を保証する。
• 隣接する指数の臨界点間の勾配軌道の数としてインシデント係数を分析する。
• 一般性のもとで、これらの係数が $t$ の有理関数であることを示す。これは、生成関数が有理的であることを示すことにより実現される。
• 微分位相幾何学および力学系の技法を用いて、無限サイクリック被覆における軌道数の増加を制御する。
• 有理関数は係数が指数関数的に増加する可能性を含意することに依拠しており、これによりノビコフの予想が検証される。

実験結果

リサーチクエスチョン

• RQ1 Morse写像 $f: M \to S^1$ に対して、ノビコフ複体におけるインシデント係数は一般に $t$ の有理関数か？
• RQ2 $C^0$ での勾配類似ベクトル場の一般性は、ノビコフ複体における係数が有理関数であることを保証するか？
• RQ3 ノビコフが予想した指数的成長限界は、係数の有理的性によって確立可能か？
• RQ4 どのような位相的または力学的条件が、ノビコフ複体における係数が有理関数であることを保証するか？
• RQ5 $C^0$ 位相における一般性は、ノビコフ複体の代数的構造にどのように影響するか？

主な発見

• 任意の与えられたMorse写像 $f: M \to S^1$ と $C^0$ 一般の勾配類似ベクトル場に対して、ノビコフ複体におけるすべてのインシデント係数は $t$ の有理関数である。
• 係数の有理的性により、$t$ のべき乗における係数の増加が指数関数的であることが保証され、ノビコフの予想における成長率が裏付けられる。
• この結果は $C^0$ 位相において一般に成り立ち、ベクトル場の小さな摂動に対しても安定である。
• 証明により、インシデント係数の生成関数が有理的であることが示され、ノビコフ複体における強い構造的制約が得られる。
• この結果は、$f$ が $S^1$ へのMorse写像である限り、特定の多様体 $M$ に依存しない。
• 結果は元来のノビコフ複体の構成と整合しており、一般的状況への代数的制御の拡張を実現する。