[論文レビュー] On torus homeomorphisms whose rotation set is an interval

Pablo Dávalos|arXiv (Cornell University)|Nov 10, 2011

Mathematical Dynamics and Fractals被引用数 3

ひとこと要約

この論文は、恒等写像にホモトープで回転集合が非退化な区間であるトーラスの同相写像について、その回転集合内のすべての有理点が周期軌道によって実現されるか、あるいは力学系がアンナラ型である（すなわち、半吸引的で、本質的で、不変なアンナラ型集合が力学系を制約する）という二択の構造を確立している。主な結果は、周期的実現か、不変アンナラ構造による位相的モデルという二択である。

ABSTRACT

We prove that for a torus homeomorphism isotopic to the identity and with a lift whose rotation set is an interval, either every rational point in the rotation set is realized by a periodic orbit, or there exists an annular, essential, periodic set. In the latter case we give a qualitative description of the dynamics.

研究の動機と目的

• 回転集合が非退化な区間であるトーラスの同相写像の力学的二択を解明すること。
• 回転集合内の有理点が周期軌道によって実現されるか、あるいは代替的な力学的モデルが存在するかを特定すること。
• 周期的実現が失敗した場合の力学系の構造を特徴づけ、特に不変アンナラ型集合を同定すること。
• 回転集合が区間である場合、周期軌道が存在しない限り、水平方向の非有界な移動が生じえないことを証明すること。
• 周期的実現が失敗した場合の力学系に対して、半吸引的アンナラ型集合を用いた位相的モデルを確立すること。

提案手法

• 同相写像の下で常に自由である、互いに交わらない本質的で垂直な曲線の有限族を構成する。
• ホモトープに垂直ストリップに同値なコンパクトなアンナラの入れ子として定義される不変アンナラ型集合の存在を、位相的および力学的制約を用いて証明する。
• ブロウワーの移動定理とアトキンソンの補題を用いて、曲線の力学とその普遍被覆への上への持ち上げを分析する。
• 『アンカー』と『良い交差』の概念を定義・適用し、不変集合と曲線の相対的位置関係を制御する。
• 閉曲線における巻き数（インデックス）の議論を用いて、不適合な力学的配置を仮定した場合の矛盾を導出する。
• 半吸引的性質を用いてオメガ極限集合を制約し、非定常集合が有限個の不変アンナラ型集合の和集合に含まれることを証明する。

実験結果

リサーチクエスチョン

• RQ1 トーラスの同相写像の回転集合内のすべての有理点が周期軌道によって実現される条件は何か？
• RQ2 回転集合内の有理点が周期軌道によって実現されない場合、どのような力学的構造が現れるか？
• RQ3 周期軌道によって有理点が実現されない場合、区間型回転集合をもつトーラスの同相写像で、水平方向の非有界な移動が生じ得るか？
• RQ4 周期的実現が失敗した場合に、力学系の位相的モデルが存在するか？
• RQ5 不変曲線とその上への持ち上げの相対的位置関係は、システムの全体的力学にどのように制約を加えるか？

主な発見

• 回転集合が区間であり、かつ有理点がすべて周期軌道によって実現されない場合、力学系はアンナラ型である。つまり、半吸引的で、本質的で、不変なアンナラ型集合が存在する。
• 非定常集合は、有限個の不変アンナラ型集合の和集合に含まれる。各アンナラ型集合は、コンパクトなアンナラの正の反復のインターセクションとして定義される。
• 周期的実現が失敗した場合、水平移動は一様に有界である。これは、力学系がアンナラ型構造によって制約されていることを示している。
• 半吸引的アンナラ型集合の存在は、特定の曲線のすべてのオメガ極限集合がその中に含まれることを意味し、これにより位相的モデルが得られる。
• 不適合な不変集合と曲線の配置を仮定した場合、巻き数（インデックス）の議論により矛盾が導かれる。
• 最小の垂直曲線族により、隣接するアンナラ型成分の回転集合が原点の反対側に位置することが保証され、バランスの取れた力学的構造が強制される。