[論文レビュー] On the dynamics of minimal homeomorphisms of $\mathbb{T}^2$ which are not pseudo-rotations

Alejandro Kocsard|arXiv (Cornell University)|Nov 11, 2016

Mathematical Dynamics and Fractals参考文献 18被引用数 8

ひとこと要約

この論文は、恒等写像にホモトープでかつ擬似回転でない最小の $T^2$ 自動同型写像が、非退化な無理数の傾きを持つ回転集合に直交する方向で一様に有界な回転的偏りを示すことを確立している。その結果、このような系は位相的混合性を示し、最小性のもとでFranks-Misiurewicz予想が証明され、このような回転集合が有理点を避けることは不可能であることが示された。

ABSTRACT

We prove that any minimal $2$-torus homeomorphism which is isotopic to the identity and whose rotation set is not just a point exhibits uniformly bounded rotational deviations on the perpendicular direction to the rotation set. As a consequence of this, we show that any such homeomorphism is topologically mixing and we prove Franks-Misiurewicz conjecture under the assumption of minimality.

研究の動機と目的

• 恒等写像にホモトープでかつ擬似回転でない2次元トーラスの最小の自己同型写像について、回転的偏りの事前有界性を確立すること。
• 最小性の仮定のもとで、Franks-Misiurewicz予想の重要なケースを解決し、無理数の傾きを持つ回転集合が有理点を含むべきであることを示すこと。
• このような最小の自己同型写像が位相的混合性を示すことを証明し、動的剛性の結果を非擬似回転の設定へと拡張すること。
• 位相的および動的技法を用いて、回転集合の構造と有理点との相互作用を分析すること。

提案手法

• トーラス自己同型写像 $f$ の上への.lift $ ilde{f} : R^2 o R^2$ を用い、非退化な無理数の傾きを持つ回転集合 $ ho( ilde{f})$ を研究する。
• $f$-不変な連続関数 $H: R^2 o R$ を導入し、その等高線は特異的分岐の葉層の擬似葉をなす。この関数を用いて力学的構造を分析する。
• コンパクト性と弧状連結性の議論を用いて、回転集合に直交する方向における変位の成長を制御する。
• 整数平行移動の有限集合 $oldsymbol{p}_i o Z^2$ を用い、基本領域のすべての可能な.liftをカバーし、偏りの有界性を一様に制御する。
• 最小系が不変測度の全空間支持を持つことを利用し、異なる垂直方向の回転成分を持つ軌道を構成する。
• Beguin, Crovisier, Le Roux (2017) の結果を適用し、有理点が回転直線上にあるならば、系は垂直線分の回転集合と流れ同値であるが、これは最小性に反する（有理点が存在する場合を除く）。

実験結果

リサーチクエスチョン

• RQ1 恒等写像にホモトープでかつ擬似回転でない最小の $ T^2$ 自動同型写像は、その回転集合に直交する方向で一様に有界な回転的偏りを示すか？
• RQ2 最小性の仮定のもとで、Franks-Misiurewicz予想は、特に無理数の傾きを持つ回転集合について証明可能か？
• RQ3 最小の $ T^2$ 自動同型写像が、無理数の傾きを持つ回転集合をもち、かつすべての有理点を避けることは可能か？
• RQ4 このような系において、一様に有界な回転的偏りが生じる動的結果は何か？
• RQ5 回転集合の位相的構造は、周期点や有理回転ベクトルの存在とどのように関係するか？

主な発見

• 恒等写像にホモトープでかつ擬似回転でない任意の最小の $ T^2$ 自動同型写像は、その回転集合に直交する方向で一様に有界な回転的偏りを示す。
• 回転集合が無理数の傾きを持つ場合、少なくとも1つの有理点を含む必要がある。これは、最小系が $ Q^2$ を避けるような回転集合を持つことは不可能であることを示唆する。
• 系は位相的混合性を示す。任意の2つの開集合は、繰り返し作用によって互いに移動し合う。
• 無理数の傾きを持つ回転集合をもち、かつすべての有理点を避ける最小の自己同型写像が存在するならば、最小性と有界偏り構造に矛盾する。
• 証明は、不変測度、擬似葉、流れ同値性の間の相互作用に依存し、このような系の存在を除外する。
• この結果により、Franks-Misiurewicz予想が最小の場合に確認された。最小でかつ擬似回転でない系では、無理数の傾きを持つ回転集合は必ず有理点を含む。