[論文レビュー] Periodic orbits of magnetic flows for weakly exact unbounded forms and for spherical manifolds

Luca Asselle, Gabriele Benedetti|arXiv (Cornell University)|Dec 1, 2014

Geometric Analysis and Curvature Flows参考文献 28被引用数 3

ひとこと要約

この論文は、無限大のMañé臨界値を有する弱く正確な磁気流に対して、有界でゼロでない周期を持つ可縮ループ上の作用汎関数のPalais-Smale条件を確立し、ほとんどすべてのエネルギーに対して1つの閉じた可縮磁気測地線の存在証明におけるギャップを解消する。さらに、この手法を任意の磁気流へ一般化し、基本多様体の第二ホモトピー群が非自明である場合に、このような測地線の存在を示す。

ABSTRACT

We show that for weakly exact magnetic flows with infinite Ma\~n\'e critical value the action functional satisfies the Palais-Smale condition on the space of contractible loops with period bounded and bounded away from zero. This fills a gap in the proof of the existence of one closed contractible magnetic geodesic for almost every energy in [Merry, 2010]. The gap has also been fixed independently by Will Merry and it will appear soon in an erratum by the author. The idea used for the weakly exact case is then generalized to arbitrary magnetic flows to study critical sequences for the action 1-form. As a corollary we prove that if the second fundamental group of the base manifold is non-trivial, there exists one closed contractible magnetic geodesic for almost every energy.

研究の動機と目的

• 無限大のMañé臨界値を有する弱く正確な磁気流における、閉じた可縮磁気測地線の存在証明におけるギャップを埋めること。
• 有界でゼロでない周期を持つ可縮ループ上での作用汎関数に対するPalais-Smale条件を確立すること。
• 弱く正確な磁気流から任意の磁気流へと手法を一般化し、作用1形式の臨界列を研究すること。
• 基本多様体の第二基本群が非自明である場合に、ほとんどすべてのエネルギーに対して少なくとも1つの閉じた可縮磁気測地線が存在することを示すこと。

提案手法

• 可縮ループ空間において、周期がゼロから離れておりかつ上界があることを保証するためのPalais-Smale条件の使用。
• 弱く正確な磁気形式と無限大のMañé臨界値を有する作用汎関数に対する変分法の適用。
• 弱く正確な形式から任意の磁気流へとアプローチを一般化し、作用1形式の臨界列を分析すること。
• 第二基本群の非自明性を用いた位相的議論により、閉じた測地線の存在を保証すること。
• 周期性制約とエネルギーの上限を用いて、変分設定におけるループの挙動を制御すること。
• コンパクト性と臨界点の存在を保証するため、シンプレクティック位相幾何学とモーレー理論の結果を活用すること。

実験結果

リサーチクエスチョン

• RQ1 無限大のMañé臨界値を有する弱く正確な磁気流に対して、有界でゼロでない周期を持つ可縮ループ上での作用汎関数はPalais-Smale条件を満たすか？
• RQ2 ほとんどすべてのエネルギーに対して、閉じた可縮磁気測地線の存在証明におけるギャップは、Palais-Smale条件によって解消可能か？
• RQ3 弱く正確な形式に用いられた手法を、任意の磁気流へとどのように拡張できるか？
• RQ4 基本多様体にどのような位相的条件が課されると、ほとんどすべてのエネルギーに対して閉じた可縮磁気測地線が存在するか？
• RQ5 第二基本群の非自明性は、このような測地線の存在にどのような役割を果たすか？

主な発見

• 弱く正確な磁気流で無限大のMañé臨界値を持つ場合、有界でゼロでない周期を持つ可縮ループ上での作用汎関数はPalais-Smale条件を満たす。
• ほとんどすべてのエネルギーに対して1つの閉じた可縮磁気測地線の存在証明におけるギャップが、この条件によって解消された。
• 手法は任意の磁気流へ一般化され、作用1形式の臨界列の解析が可能になった。
• 基本多様体の第二基本群が非自明である場合、ほとんどすべてのエネルギー水準に対して少なくとも1つの閉じた可縮磁気測地線が存在する。
• この結果は、磁気流の広範な位相的・幾何的条件下での周期的軌道の存在を確認するものである。