[論文レビュー] Construction of spectral invariants of Hamiltonian paths on closed symplectic manifolds

Yong‐Geun Oh|ArXiv.org|May 4, 2004

Geometric and Algebraic Topology被引用数 25

ひとこと要約

本稿は、任意の閉シンプレクティック多様体（非正確または非有理的である場合を含む）に対して、可縮ループ空間の普遍被覆上の半無限サイクルにおけるミニマックス理論を用いて、スペクトル不変量を構成する。主な貢献は、各ハミルトニアン $ H $ および非ゼロの量子コhomology類 $ a $ に対して連続的スペクトル不変量 $ \rho(H; a) $ を定義することであり、これは $ C^0 $-位相で連続に変化し、シンプレクティック不変性や三角不等式といった基本的性質を満たす。

ABSTRACT

In this paper, we develop a mini-max theory of the action functional over the semi-infinite cycles via the chain level Floer homology theory and construct spectral invariants of Hamiltonian diffeomorphisms on arbitrary, especially on {\it non-exact and non-rational}, compact symplectic manifold $(M,ω)$. To each given time dependent Hamiltonian function $H$ and quantum cohomology class $ 0 eq a \in QH^*(M)$, we associate an invariant $ρ(H;a)$ which varies continuously over $H$ in the $C^0$-topology. This is obtained as the mini-max value over the semi-infinite cycles whose homology class is `dual' to the given quantum cohomology class $a$ on the covering space $\widetilde Ω_0(M)$ of the contractible loop space $Ω_0(M)$. We call them the {\it Novikov Floer cycles}. We apply the spectral invariants to the study of Hamiltonian diffeomorphisms in sequels of this paper.

研究の動機と目的

• 任意の閉シンプレクティック多様体（非正確または非有理的である場合を含む）におけるハミルトニアン微分同相写像のスペクトル不変量を定義すること。
• 非正確多様体における作用汎関数の多値性の課題を、被覆空間技術とフローリングホモロジーを用いて克服すること。
• 量子コhomology類に双対する「ノビコフフローリングサイクル」としての半無限サイクル上でのミニマックス構成を確立すること。
• 得られるスペクトル不変量 $ \rho(H; a) $ が $ C^0 $-位相で連続であり、重要な幾何的性質を満たすことを証明すること。
• ホーファー幾何学やシンプレクティックトポロジーへの応用を想定し、ハミルトニアン力学をスペクトル不変量によって研究する基盤を築くこと。

提案手法

• 可縮ループ空間の普遍被覆 $ \widetilde{\Omega}_0(M) $ 上の半無限サイクルにおける作用汎関数に対するミニマックス理論を構築する。
• チェーンレベルのフローリングホモロジーを用い、「ノビコフフローリングサイクル」と呼ばれるホモロジー類を構成し、それらが量子コホモロジー類 $ a \in QH^*(M) $ に双対となるようにする。
• スペクトル不変量 $ \rho(H; a) $ を、これらのサイクル上での作用汎関数のミニマックス値として定義する。
• ホモロジー群の固定モノドロミー接続と $ K $-面積理論を活用し、ホミロジーのファイブレーション理論と擬複素曲線を用いて三角不等式を証明する。
• ノビコフチェーンの連続的双対への有界線形汎関数を用いて、連続的量子コホモロジー枠組みを実装し、不変量の $ C^0 $-連続性を保証する。
• フローリングコホモロジーから連続的双対への標準的チェーン写像を構成することで、不変量を確立し、量子コホモロジーと整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 一般の閉シンプレクティック多様体におけるハミルトニアン経路のスペクトル不変量は、作用汎関数が多値的である場合にどのように定義可能か？
• RQ2 正確性や有理型の欠如の下で、適切な幾何的・ホモロジー的枠組みは何か？
• RQ3 この一般設定において、三角不等式とシンプレクティック不変性はどのように厳密に確立されるか？
• RQ4 ホミロジーのファイブレーションと擬複素曲線は、スペクトル不変量の基礎的性質の証明にどのような役割を果たすか？
• RQ5 $ C^0 $-位相における不変量の連続性はどのように達成可能か？連続的双対によるノビコフチェーンの枠組みはその根拠となるか？

主な発見

• スペクトル不変量 $ \rho(H; a) $ は、$ M $ が正確的でも有理的でもない場合でも、任意のハミルトニアン $ H $ および非ゼロの量子コホモロジー類 $ a \in QH^*(M) $ に対して適切に定義される。
• $ H $ の $ C^0 $-位相において、不変量 $ \rho(H; a) $ は連続に変化する。これはシンプレクティックトポロジーへの応用において極めて重要な性質である。
• この構成は、$ \widetilde{\Omega}_0(M) $ 上の半無限サイクル上のミニマックス値に依存しており、ノビコフフローリングサイクル枠組みにおいて $ a $ に双対するものである。
• 三角不等式 $ \rho(H \# K; a) \leq \rho(H; a) + \rho(K; a) $ は、ホミロジーのファイブレーションと $ K $-面積理論、固定モノドロミーを用いて証明された。
• シンプレクティック不変性は、被覆空間上での作用汎関数の構造と標準的チェーン写像を介して確立された。
• 連続的双対による量子コホモロジーの枠組みが開発され、$ \mu \in QH^*_{\text{cont}}(M) $ に対する $ \rho(H; \mu) $ の定義が可能となり、不変量がより広い関数的クラスへ拡張された。