[論文レビュー] Locality of continuous Hamiltonian flows and Lagrangian intersections with the conormal of open subsets

Yong‐Geun Oh|ArXiv.org|Dec 27, 2006

Geometric and Algebraic Topology参考文献 16被引用数 12

ひとこと要約

この論文は、シンプレクティック多様体上の連続ハミルトニアンフローの $C^0$-局所性を確立し、そのフローが開部分集合を点ごとに固定するならば、その関連するハミルトニアンはその部分集合上で時間に依存して定数であることを証明する。主な結果は、コンパニオンラグランジュ部分多様体を用いた交差理論を用いて、ヴィテルボの一意性定理を局所的状況へ拡張するものであり、接触型境界をもつ多様体、あるいは無限遠で有界な多様体上での-compactly な連続フローに対してハミルトニアンの一意性を示す。

ABSTRACT

In this paper, we prove that if a continuous Hamiltonian flow fixes the points in an open subset $U$ of a symplectic manifold $(M,ω)$, then its associated Hamiltonian is constant at each moment on $U$. As a corollary, we prove that the Hamiltonian of compactly supported continuous Hamiltonian flows is unique both on a compact $M$ with smooth boundary $\del M$ and on a non-compact manifold bounded at infinity. An essential tool for the proof of the locality is the Lagrangian intersection theorem for the conormals of open subsets proven by Kasturirangan and the author, combined with Viterbo's scheme that he introduced in the proof of uniqueness of the Hamiltonian on a closed manifold \cite{viterbo2}. We also prove the converse of the theorem which localizes a previously known global result in symplectic topology.

研究の動機と目的

• 連続ハミルトニアンフローのシンプレクティック多様体上におけるヴィテルボの一意性定理の局所的バージョンを確立すること。
• 連続ハミルトニアンフローが開部分集合を点ごとに固定するならば、そのハミルトニアンがその部分集合上で時間に依存して定数であることを証明すること。
• コンパクトに台を持つ連続フローに対して、非コンパクトまたは接触型境界をもつ多様体上でもハミルトニアンの一意性を拡張すること。
• ラグランジュ部分多様体の交差技法を用いて、$C^0$-フレームワークを構築し、ハミルトニアン力学の局所性と一意性を証明すること。
• シンプレクティックトポロジーにおける既知のグローバル結果の逆を提供し、グローバル一意性性質を局所化すること。

提案手法

• 滑らかなハミルトニアンフローの $C^0$-極限を用いて、連続ハミルトニアン経路とその関連するハミルトニアンを定義する。
• カシュティルラジャンとオウによって確立された、開部分集合のコンパニオンラグランジュ部分多様体のラグランジュ交差定理を、主要な技術的道具として応用する。
• 閉多様体上での一意性の証明におけるヴィテルボの手法を、コンパニオンラグランジュ部分多様体を介して局所的状況へ適応する。
• カラビ電流と質量移動の解析を用いて、開部分集合上でのハミルトニアンの振る舞いを制御する。
• 再パラメータ化技術と2周期のハミルトニアン生成関数を用いて、正確なラグランジュ同倫を構成する。
• 連続関数の滑らかな近似を用いて、所望の積分的および正則性条件を満たす $C^0$-近傍のハミルトニアンを構成する。

実験結果

リサーチクエスチョン

• RQ1 連続ハミルトニアンフローが開部分集合のすべての点を固定するならば、そのハミルトニアンがその部分集合上で定数である条件は何か？
• RQ2 非コンパクトまたは境界で有界なシンプレクティック多様体上でも、コンパクトに台を持つ連続フローに対してハミルトニアンの一意性を確立できるか？
• RQ3 ヴィテルボの閉多様体上でのグローバル一意性結果を、ラグランジュ交差理論を用いて開部分集合へどのように局所化できるか？
• RQ4 開部分集合のコンパニオンラグランジュ部分多様体は、ハミルトニアンフローの $C^0$-局所性の証明においてどのような役割を果たすか？
• RQ5 接触型境界をもつ多様体、あるいは無限遠で有界な多様体上でのコンパクト台付きフローに対して、$C^0$-極限においてハミルトニアンの一意性は保たれるか？

主な発見

• 連続ハミルトニアンフローが開部分集合 $U$ のすべての点を固定するならば、その関連するハミルトニアンは各時刻 $t$ において $U$ 上で定数であり、$t$ のみに依存する。
• 接触型境界をもつコンパクトシンプレクティック多様体および無限遠で有界な非コンパクト多様体上では、コンパクトに台を持つ連続フローに対するハミルトニアンの一意性が成り立つ。
• 証明は、開部分集合のコンパニオンラグランジュ部分多様体のラグランジュ交差定理に依存しており、問題を幾何的交差条件に還元する上で不可欠である。
• $C^0$-局所性結果は、$U = M$ のグローバルケースから任意の開部分集合へとヴィテルボの一意性定理を一般化する。
• コンパニオンラグランジュ部分多様体と $C^0$-近似に基づく新しいフレームワークを導入することで、従来のグローバル結果を成功裏に局所化した。
• 連続関数に対する $C^0$-近傍の滑らかな近似を構成することで、得られるハミルトニアンが証明に必要な積分的および正則性条件を満たすことが保証された。