[論文レビュー] A C^2-smooth counterexample to the Hamiltonian Seifert conjecture in R^4

Viktor L. Ginzburg, Başak Z. Gürel|ArXiv.org|Oct 3, 2001

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

ひとこと要約

本稿は、$ℝ^4$ 上の $C^2$-滑らかで適切な関数を構成し、そのハミルトニアン・フローが正則なレベル集合上で周期軌道を一切持たないことを示し、次元4におけるハミルトニアン・セイフェルト予想に対する最初の $C^2$-滑らかな反例を提供する。構成法は、スヴィーテルの $S^3$ 上の $C^1$-滑らかな非周期的フローを、適切に選ばれたデニョイ・ベクトル場と多価ハミルトニアン関数に基づくシンプレクティック・プラグを用いてハミルトニアン・フローとして埋め込むことで適応している。

ABSTRACT

We give a detailed construction of a proper C^2-smooth function on R^4 such that its Hamiltonian flow has no periodic orbits on at least one regular level set. This result can be viewed as a C^2-smooth counterexample to the Hamiltonian Seifert conjecture in dimension four.

研究の動機と目的

• 次元4におけるハミルトニアン・セイフェルト予想を、$C^2$-滑らかな反例を構築することで解決すること。
• ハミルトニアン・フロー下で正則なレベル集合に周期軌道が存在しないことを示し、ほぼすべての軌道が存在するという定理が一般的であるにもかかわらず、そのような軌道が存在しない事例を提示すること。
• 高次元における既知の $C^\infty$-滑らかな反例を、次元4における $C^2$-滑らかさにまで拡張すること。
• スヴィーテルの $S^3$ 上の $C^1$-滑らかな非周期的フローを、滑らかさを制御したシンプレクティック埋め込みによるプラグを用いてハミルトニアン設定に適応すること。

提案手法

• 多価関数 $K$ をハミルトニアンとして用い、スヴィーテルの $S^3$ 上の $C^1$-滑らかな非周期的フローのハミルトニアン版を構築すること。
• プラグのシンプレクティック埋め込みを定義し、フローが $K$ のハミルトニアン・フローとして実現されることを保証することで、シンプレクティック構造を保存すること。
• 結果のフローが $C^2$-滑らかで閉じた特徴を持たないことを保証するため、$C^{2}$-滑らかさを有するデニョイ・ベクトル場を用いること。
• $\mathbb{R}^4$ 上に $C^2$-滑らかな関数 $F$ を構成し、そのレベル集合 $\{F=1\}$ が正則でかつ周期軌道を一切持たないことを保証すること。
• $S^3$ の $\mathbb{R}^4$ への埋め込みが、楕円体と $C^0$-近接かつ $C^2$-同相的であることを保証し、幾何的および位相的制御を維持すること。
• 区間 $I_n$ における漸近的推定を通じて、$\partial_u \tilde{F}_y$ と $\partial_y G_y$ の連続性および微分可能性を確認し、結果のハミルトニアン・フローの $C^2$-滑らかさを確立すること。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^4$ 上に $C^2$-滑らかな適切な関数を構築し、そのハミルトニアン・フローが正則なレベル集合上で周期軌道を一切持たないか。
• RQ2 スヴィーテルの $S^3$ 上の $C^1$-滑らかな非周期的フローを、滑らかさを制御した方法で $ℝ^4$ にハミルトニアン・フローとして埋め込むことは可能か。
• RQ3 結果のハミルトニアン・フローが $C^2$-滑らかでかつ閉じた特徴を持たないようにするため、デニョイ・ベクトル場に必要な滑らかさの制約は何か。
• RQ4 高次元における既知の $C^\infty$-滑らかまたは $C^{2+\epsilon}$-滑らかな例と比較して、本反例の $C^2$-滑らかさはどのように異なるか。

主な発見

• 正則な特徴を持たない $C^2$-滑らかな埋め込み $S^3 \hookrightarrow \mathbb{R}^4$ が構築され、次元4におけるハミルトニアン・セイフェルト予想に対する $C^2$-滑らかな反例が得られた。
• 構築された適切な $C^2$-滑らかな関数 $F: \mathbb{R}^4 \to \mathbb{R}$ のレベル集合 $\{F = 1\}$ は正則であり、ハミルトニアン・フロー下で周期軌道を一切持たない。
• 反例は楕円体と $C^0$-近接かつ $C^2$-同相的であり、標準的な超曲面に幾何的に近いことを保証している。
• 構成は、多価関数 $K$ を用いたハミルトニアン・プラグに基づき、プラグのシンプレクティック埋め込み上での $K$ のハミルトニアン・フローとして実現されている。
• $C^2$-滑らかさは、区間 $I_n$ における漸近的推定を通じて確立され、$\|\partial_u \tilde{F}_y\| = O(c_n^2 / l_n)$ が $|n| \to \infty$ のとき 0 に収束することを示している。
• 本手法は、非構成的回転数を必要とするクーパーバーグの構成の滑らかさ制約を回避しており、現在のシンプレクティック埋め込み手法と整合しない。