[論文レビュー] A refinement of the Hofer-Zehnder theorem on the existence of closed trajectories near a hypersurface

Leonardo Macarini, Felix Schlenk|ArXiv.org|May 9, 2003

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

ひとこと要約

この論文は、Hofer–Zehnder定理を精緻化し、与えられたシンプレクティック多様体内の超曲面 $ S $ の太さのある近傍（厚み付き領域）において、$ S $ がコンパクト部分多様体を境界として持たなくても、$ S $ のほとんどすべての近傍超曲面に閉じた特徴が存在することを示している。その条件は、厚み付き領域が有限な Hofer–Zehnder 容量を持つことのみである。主な結果は、容量に基づく解析と測度論的背理法を用いて、厚み付き領域内での閉じた特徴のフル・メジャー存在を確立する。

ABSTRACT

The Hofer-Zehnder theorem states that almost every hypersurface in a thickening of a hypersurface $S$ in a symplectic manifold $(M,ω)$ carries a closed characteristic provided that $S$ bounds a compact submanifold and $(M,ω)$ has finite capacity. We show that it is enough to assume that the thickening of $S$ has finite capacity.

研究の動機と目的

• シンプレクティック多様体内の超曲面上での閉じた特徴の存在に要する条件を弱めることで、Hofer–Zehnder定理を一般化すること。
• 厚み付き領域 $ U $ が有限な Hofer–Zehnder 容量を持つ限り、$ S $ がコンパクト部分多様体を境界として持つという仮定は不要であることを示すこと。
• 固定されたホモトピー類 $ \Gamma \subset \pi_1(S) $ 内の閉じた特徴について、$ \Gamma $-感受性容量を用いて結果を拡張すること。
• 厚み付き領域の容量が有限である限り、$ S_\epsilon $ に閉じた特徴を持つパラメータ $ \epsilon \in I $ の集合が、Lebesgue測度でフル・メジャーを占めることを確立すること。
• 磁気流動ダイナミクスへの応用のための基盤的ツールを提供すること。ここでは、エネルギー面のほとんどすべてにおいて閉軌道が求められる。

提案手法

• 超曲面 $ S $ の近傍をパラメトライズするため、滑らかな厚み付き写像 $ \psi: S \times I \to U \subset M $ を定義し、$ S_\epsilon = \psi(S \times \{\epsilon\}) $ とおく。
• HZ-適応ハミルトニアンの最大値の上界として、Hofer–Zehnder 容量 $ c_{\operatorname{HZ}}(U) $ を定義する。ここで、このような関数は $ T \leq 1 $ の非定数 $ T $-周期的軌道をもたない。
• 閉じた特徴を持つ超曲面の集合 $ G = \{ \epsilon \in I \mid \mathcal{P}(S_\epsilon) \neq \emptyset \} $ が可測であることを示す。そのために、$ U $ 上のハミルトニアン $ K $ を構成し、その周期的軌道が $ S_\epsilon $ 上の閉じた特徴に対応するようにする。
• Arzelà–Ascoli の定理を用いて、周期 $ \leq n $ の閉軌道を持つ $ \epsilon $ の集合が閉であることを示し、したがって $ G $ は閉集合の可算和として表され、可測であることを示す。
• 背理法を用いる：$ B = I \setminus G $ に対して $ \mu(B) > 0 $ だと仮定し、容量関数 $ C(\epsilon) = c_{\operatorname{HZ}}(\psi(S \times ]-\epsilon,\epsilon[)) $ のほとんど everywhere でのリプシッツ連続性を用いて測度的背理を導く。
• 同様の手法を $ \Gamma $-感受性容量 $ c_{\operatorname{HZ}}^\Gamma(U) $ に拡張し、固定されたホモトピー類 $ \Gamma \subset \pi_1(S) $ 内の閉じた特徴に対しても、同じフル・メジャー結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 元の超曲面 $ S $ がコンパクト部分多様体を境界として持たなくても、厚み付き領域内の超曲面に閉じた特徴が存在するように、Hofer–Zehnder定理を拡張することは可能か？
• RQ2 厚み付き領域 $ U $ が有限な Hofer–Zehnder 容量を持つだけで、$ S_\epsilon $ のほとんどすべてが閉じた特徴を持つことを保証できるか？
• RQ3 固定されたホモトピー類 $ \Gamma \subset \pi_1(S) $ に制限した場合でも、閉じた特徴のフル・メジャー存在は保たれるか？
• RQ4 容量に基づく議論を $ \Gamma $-感受性 Hofer–Zehnder 容量に適応することで、$ \Gamma $-閉じた特徴のフル・メジャー存在を保証できるか？
• RQ5 近傍の超曲面上での閉じた特徴の一般的（generic）存在を保証するための、最小限の幾何的または容量論的条件は何か？

主な発見

• 厚み付き領域 $ U $ が有限な Hofer–Zehnder 容量を持つ限り、$ S_\epsilon $ に閉じた特徴を持つパラメータ $ \epsilon \in I $ の集合は、Lebesgue測度でフル・メジャーを占める。
• $ S $ がコンパクト部分多様体を境界として持つという仮定は不要であり、$ c_{\operatorname{HZ}}(U) $ の有限性のみで十分である。
• 証明の根拠は、容量関数 $ C(\epsilon) = c_{\operatorname{HZ}}(\psi(S \times ]-\epsilon,\epsilon[)) $ が単調増加であり、したがってほとんど everywhere でリプシッツ連続であるという事実に依拠しており、これにより背理法が可能になる。
• 任意の固定されたホモトピー類 $ \Gamma \subset \pi_1(S) $ に対して、$ \{ \epsilon \in I \mid \mathcal{P}^\Gamma(S_\epsilon) \neq \emptyset \} $ の集合も、$ c_{\operatorname{HZ}}^\Gamma(U) < \infty $ ならばフル・メジャーを占める。
• 結果は鋭い条件を提供する：厚み付き領域の有限な Hofer–Zehnder 容量は、近傍の超曲面上での閉じた特徴の一般的存在にとって、必要かつ十分である。
• この手法は、標準的および $ \Gamma $-感受性両方の Hofer–Zehnder 容量に適用可能であり、さまざまな力学的設定において堅牢であることを示している。