[論文レビュー] Multiple orthogonal geodesic chords and a proof of Seifert's conjecture on brake orbits

Roberto Giambò, Fabio Giannoni+1 more|arXiv (Cornell University)|Feb 22, 2020

Geometric Analysis and Curvature Flows参考文献 15被引用数 4

ひとこと要約

この論文は、擬勾配流れとミニマックス理論を用いて、強い凹性を示す $N$ 次元リーマン球面に少なくとも $N$ 個の幾何学的に異なる直交測地線弦（OGCs）の存在を確立することで、セイフェルトの予想を証明する。この結果は、自然なラグランジュ系／ハミルトニアン系がポテンシャル井戸内に少なくとも $N$ 個の異なるブレーキ軌道を持つことを確認し、力学系および微分幾何学における長年の予想を解決する。

ABSTRACT

Using nonsmooth critical point theory, we prove the existence of at least N orthogonal geodesic chords in a class of Riemannian N-disk with strongly concave boundary. This yields a proof of a celebrated conjecture by H.Seifert on the number of brake orbits in a potential well of a natural Lagrangian/Hamiltonian system.

研究の動機と目的

• 自然ラグランジュ系のポテンシャル井戸内におけるブレーキ軌道の最小数に関するセイフェルトの予想を解決すること。
• 強い凹性を示すリーマン $N$-球面に少なくとも $N$ 個の幾何学的に異なる直交測地線弦（OGCs）の存在を確立すること。
• 古典的なボスの凸領域に関する結果を、非凸的で強い凹性を示す設定へと拡張するための新しい変分的手法を開発すること。
• 標準的勾配流れ手法が非凸領域で失敗する状況を克服するため、相対的カテゴリーと擬勾配流れに基づくミニマックスアプローチを構築すること。
• マーパトゥイの原理と共形計量を用いて、直交測地線弦の幾何的問題とブレーキ軌道の力学的問題を厳密に結びつけること。

提案手法

• パスの空間における相対的カテゴリー構造を保つ変形リトラクトを構成するため、擬勾配流れアプローチを用いる。
• 相対的ルステルニク＝シュニレルマンカテゴリーを介したミニマックス理論を用い、$\mathbb{Z}_2$ 対称パスの空間上のエネルギー汎関数の臨界点を抽出する。
• パラ・スメイ・シーケンスの解析とOGCsへの収束を保証するため、$\mathcal{V}^{-}$ および $\mathcal{V}^{+}$ ベクトル場フレームワークを定義する。
• 変形補題を適用して、汎関数 $\mathcal{F}$ が臨界点抽出に必要なコンパクト性およびホモトピー的性質を満たしていることを示す。
• $\mathbb{Z}_2$ 働きの下での商空間 $\widetilde{\mathfrak{C}}$ を用い、実射影空間の位相を活用して $\operatorname{cat}_{\widetilde{\mathfrak{C}},\widetilde{\mathfrak{C}}_0}(\widetilde{\mathfrak{C}}) = N$ を計算する。
• 横断性とエネルギーの一意性を用いて、相異なる臨界値 $c_1 < c_2 < \cdots < c_N$ が $N$ 個の幾何学的に異なるOGCsに対応することを確立する。

実験結果

リサーチクエスチョン

• RQ1 強い凹性を示すリーマン $N$-球面は、少なくとも $N$ 個の幾何学的に異なる直交測地線弦を有するか？
• RQ2 凸領域におけるOGCsの古典的結果を、非凸的で強い凹性を示す領域へと拡張できるか？
• RQ3 自然ラグランジュ系のポテンシャル井戸内におけるブレーキ軌道の最小数に関するセイフェルトの予想は真か？
• RQ4 擬勾配流れとミニマックス法は、非凸領域における標準的勾配流れ手法の失敗を克服できるか？
• RQ5 相対的カテゴリーと $\mathbb{Z}_2$ 対称性は、エネルギー汎関数の複数の臨界点を抽出する上で果たす役割は何か？

主な発見

• 本論文は、強い凹性を示す $N$ 次元リーマン球面が少なくとも $N$ 個の幾何学的に異なる直交測地線弦を含むことを証明する。
• 相対的 $\mathbb{Z}_2$-同相カテゴリーに基づくミニマックススキームを用いて、エネルギー汎関数に $N$ 個の相異なる臨界値 $c_1 < c_2 < \cdots < c_N$ が存在することを確立する。
• 臨界値 $c_i$ は $N$ 個の相異なるOGCsに対応し、$c_1 \geq \delta_1^2 / K_0^2 > 0$ が成り立つため、非退化性と正の値が保証される。
• 証明により、自然ラグランジュ系のポテンシャル井戸内に存在するブレーキ軌道の数が少なくとも $N$ 個であることが示され、セイフェルトの予想が確認される。
• 曲線短縮フローを避ける代わりに、ドメイン不変性を保つ擬勾配構成を用いることで、非凸性に対しても有効な手法が確立される。
• 境界の強い凹性の仮定により、OGCsとブレーキ軌道をマーパトゥイの原理を介して結ぶ適切な共形計量が存在することが保証される。