[論文レビュー] Mean equicontinuity, almost automorphy and regularity

Felipe García‐Ramos, Tobias Jäger+1 more|arXiv (Cornell University)|Aug 14, 2019

Mathematical Dynamics and Fractals参考文献 25被引用数 4

ひとこと要約

この論文は、最大等連続因子の構造を特徴づけることによって、離散スペクトルをもつ厳密に混合的（strictly ergodic）な位相的力学系の完全な分類を確立する。最小平均等連続系において、因子写像がほとんど1対1（すなわち、系がほとんど自己同型）であることは、かつは、系が頻繁に安定であることと同値であり、正則性（全ハール測度集合上で自明なファイバー）であることと同値である。本研究は、長年の未解決問題を解決し、正の位相的エントロピーをもつ転送可能な系がほとんど双対平均等連続である例を構成した。また、平均等連続系に対するFurstenbergの多重再帰予想に対して部分的な肯定的解答を提示した。

ABSTRACT

The aim of this article is to obtain a better understanding and classification of strictly ergodic topological dynamical systems with discrete spectrum. To that end, we first determine when an isomorphic maximal equicontinuous factor map of a minimal topological dynamical system has trivial (one point) fibres. In other words, we characterize when minimal mean equicontinuous systems are almost automorphic. Furthermore, we investigate another natural subclass of mean equicontinuous systems, so-called diam-mean equicontinuous systems, and show that a minimal system is diam-mean equicontinuous if and only if the maximal equicontinuous factor is regular (the points with trivial fibres have full Haar measure). Combined with previous results in the field, this provides a natural characterization for every step of a natural hierarchy for strictly ergodic topological models of ergodic systems with discrete spectrum. We also construct an example of a transitive almost diam-mean equicontinuous system with positive topological entropy, and we give a partial answer to a question of Furstenberg related to multiple recurrence.

研究の動機と目的

• 最大等連続因子写像の構造を分析することによって、離散スペクトルをもつ厳密に混合的位相的力学系を分類すること。
• 最小平均等連続系がほとんど自己同型（すなわち、最大等連続因子写像がほとんど surely 自明なファイバーをもつ）である条件を特定すること。
• 新しい概念「双対平均等連続性」を用いて最大等連続因子の正則性を特徴づけ、それが因子写像が正則（全ハール測度集合上で自明なファイバー）であることと同値であることを示すこと。
• 正の位相的エントロピーをもつが、ほとんど双対平均等連続である転送可能な系を構成し、このクラスがバナッハ双対平均等連続系よりも厳密に大きいことを示すこと。
• 最小平均等連続系に対してFurstenbergの多重再帰予想に部分的な答えを提示すること、特に、すべてのシフトのべきに対して再帰的条件を満たす一般点が存在することを証明すること。

提案手法

• リャプノフ安定性に関連する局所的性質である「頻繁な安定性」を導入し、最小平均等連続系において、最大等連続因子写像がほとんど1対1であることと、系が頻繁に安定であることとが同値であることを証明する。
• 時間経過における分離集合の平均直径に基づいて、平均等連続性を強化した「双対平均等連続性」を定義し、この性質が最大等連続因子の正則性と同値であることを証明する。
• 点ごとの多重エルゴード定理と不変測度の性質を用いて、平均等連続系における一般点の再帰的挙動を分析する。
• ハルモス＝フォン・ノイマンの定理とスペクトル論を用いて、最大等連続因子が同型である平均等連続系が離散スペクトルをもつことを示す。
• 有限型の部分シフトにおける記号的力学系を用いて転送可能な系を構成し、それがほとんど双対平均等連続ではあるがバナッハ双対平均等連続ではないこと、かつ正の位相的エントロピーをもつことを示す。
• Li, Tu, および Ye によって確立された、元の系とその最大等連続因子との間の同型性を活用し、測度論的性質を位相的設定に移行する。

実験結果

リサーチクエスチョン

• RQ1 最小平均等連続系の最大等連続因子写像がほとんど1対1である、すなわち、系がほとんど自己同型であるのはいつか？
• RQ2 最大等連続因子写像が正則（全ハール測度集合上で自明なファイバー）であるような系の位相的および測度論的特徴づけは何か？
• RQ3 転送可能な系がほとんど双対平均等連続であるが正の位相的エントロピーをもつことは可能か？ これはバナッハ双対平均等連続性とどのように関係するか？
• RQ4 Furstenbergの多重再帰予想は最小平均等連続系に対して成り立つか？ もし成り立つならば、どの点の集合に対して成り立つか？
• RQ5 平均等連続性の性質（バナッハ、双対、平均、頻繁）の階層と、それらが位相的および測度論的構造に与える影響の関係は何か？

主な発見

• 最小平均等連続系がほとんど自己同型であることと、頻繁に安定であることとは同値であり、最大等連続因子におけるほとんど1対1ファイバーの位相的特徴づけを確立した。
• 最大等連続因子写像が正則であることと、系が双対平均等連続であることとは同値であり、正則性の完全な特徴づけを局所的位相的性質に基づいて与えた。
• 正の位相的エントロピーをもつがほとんど双対平均等連続な転送可能な系が存在し、このクラスがバナッハ双対平均等連続系のクラスを厳密に含むことを示した。
• 本論文で構成された系はバナッハ平均等連続性がゼロであるが正の位相的エントロピーをもつため、平均等連続性の性質の階層が非自明かつ厳密であることを示した。
• 最小平均等連続系において、全測度集合上の点がFurstenbergの多重再帰条件を満たす：任意の d ∈ ℕ に対して、積系 T × T² × … × Tᵈ における対角点 (x,x,…,x) は最小である。
• 構成における集合 A₁ の平均直径は N → ∞ のとき0に近づくため、ほとんど双対平均等連続性よりも強い形の等連続性が成立していることが示された。