[論文レビュー] The $C^0-$contact topology and the group of contact homeomorphisms

Augustin Banyaga, Peter Spaeth|arXiv (Cornell University)|Dec 12, 2008

Geometric and Algebraic Topology参考文献 9被引用数 1

ひとこと要約

本稿では、正則な接触形式に対して、滑らかな厳密接触ホモトピー列の $C^0$ 限界とそれに対応するハミルトニアンの限界との間の全単写像の対応関係を確立する。この結果により、$C^0$ 接触位相幾何学とハミルトニアン力学の橋渡しがなされ、接触ホモトピーとそのハミルトニアンが接触位相において一貫した方法で収束することを示している。

ABSTRACT

We prove that for regular contact forms there exists a bijective correspondence between the $C^0$ limits of sequences of smooth strictly contact isotopies and the limits with respect to the contact distance of their corresponding Hamiltonians.

研究の動機と目的

• 接触位相幾何学における厳密接触ホモトピーの $C^0$ 限界挙動を理解すること。
• 接触ホモトピーの収束とそれらを生成するハミルトニアンの収束との関係を調査すること。
• 接触ホモトピーの $C^0$ 限界とハミルトニアンの接触距離における限界との間の厳密な対応関係を確立すること。

提案手法

• 幾何学的および解析的制御を保証するため、正則な接触形式に焦点を当てる。
• 滑らかな厳密接触ホモトピーの列を検討し、それらの生成ハミルトニアンを接触距離トポロジーの下で分析する。
• ホモトピーの $C^0$ トポロジーとハミルトニアンの接触距離との間の相互作用に依存した証明を展開する。
• 一方の設定での収束が、与えられたトポロジーのもとで他方の設定でも収束を意味することを示すことにより、全単写像の対応関係を構築する。
• 接触形式の正則性を用いて、接触ハミルトニアンが限界においても適切に定義され、連続的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 厳密接触ホモトピーの $C^0$ 限界と、それらを生成するハミルトニアンの限界との関係は何か？
• RQ2 接触ホモトピーの $C^0$ トポロジーとハミルトニアンの接触距離との間に、自然な対応関係は存在するか？
• RQ3 接触形式の正則性は、ホモトピーの限界とハミルトニアンの限界との間の適切に振る舞う対応関係を保証するか？

主な発見

• 正則な接触形式に対して、滑らかな厳密接触ホモトピー列の $C^0$ 限界と、それに対応するハミルトニアンの接触距離における限界との間には全単写像の対応関係が存在する。
• 正則な接触形式では、ホモトピーが $C^0$ トポロジーで収束するならば、対応するハミルトニアンも接触距離トポロジーで収束する。
• この対応関係は可逆である：ハミルトニアンが接触距離で収束すれば、関連するホモトピーも $C^0$ トポロジーで収束する。
• この結果は、対応関係に必要な正則性を保証するため、正則な接触形式の仮定のもとで成り立つ。