[論文レビュー] On tame enveloping semigroups

Eli Glasner|ArXiv.org|Jun 27, 2004

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

ひとこと要約

この論文は、動的系における2分岐を確立する：包拡半群は、常に大きい（βℕのコピーを含む）か、あるいは穏やか（逐次収束によって位相が決定される）のいずれかである。メトリックな距離付き最小系が穏やかであることと等連続であることとは同値であり、アーベル群作用下の穏やかな最小系はPI（したがって弱混合系は常に穏やかではない）であり、穏やかな最小カスケードはトポロジカルなエントロピーが0である。また、包拡半群からエリス半群への自然な写像が、等連続でない距離付き系では同型でないことを示し、長年の未解決問題を解決した。

ABSTRACT

A dynamical version of the Bourgain-Fremlin-Talagrand dichotomy shows that the enveloping semigroup of a dynamical system is either very large and contains a topological copy of the Stone-Cech compactification of the natural numbers, or it is a "tame" topological space whose topology is determined by the convergence of sequences. In the latter case we say that the dynamical system is tame. We show that (i) a metric distal minimal system is tame iff it is equicontinuous (ii) for an abelian acting group a tame metric minimal system is PI (hence a weakly mixing minimal system is never tame), and (iii) a tame minimal cascade has zero topological entropy. We also show that for minimal distal-but-not-equicontinuous systems the canonical map from the enveloping operator semigroup onto the Ellis semigroup is never an isomorphism. This answers a long standing open question. We give a complete characterization of minimal systems whose enveloping semigroup is metrizable. In particular it follows that for abelian acting group such a system is equicontinuous.

研究の動機と目的

• 包拡半群の構造を通じて穏やかな動的系を特徴づけること。
• 包拡半群からエリス半群への自然な写像が常に同型であるかどうかという未解決問題を解消すること。
• 特に最小系において、包拡半群が距離化可能となる条件を特定すること。
• 最小系における穏やかさ、近接性、トポロジカルエントロピーの関係を明確化すること。
• 包拡半群が全自己写像空間 X^X に等しくなる条件を調査すること。

提案手法

• ブルーゲン＝フレリン＝タラグランドの2分岐を適用し、包拡半群を「大きい」（βℕ を含む）か「穏やか」（ローゼンタールコンパクト）のいずれかに分類する。
• 弱くほとんど周期的系および恒久的ほぼ等連続系の理論を用いて、距離化可能なWAPおよびHAE系が穏やかであることを示す。
• メトリックな距離付き最小系において、穏やかさが等連続性を含意することを証明し、包拡半群からエリス半群への自然写像 Φ の単射性を用いる。
• アーベル群作用の場合、穏やかな最小系がPI（近接的・等長的）であることを、包拡半群内の最小イデアルおよび自己同型群の構造を用いて示す。
• 包拡半群が距離化可能で、系が最小であるとき、唯一の最小イデアルはコンパクト群であり、商系は近接的であることを示す。
• 軌道の閉包の完備性を用いて、E(X,Γ) = X^X となる条件を特徴づけ、これは系が完全（すべての n に対して n-完全）であることと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 穏やかな系において、包拡半群からエリス半群への自然な写像は常に同型であるか？
• RQ2 最小距離付き系において、穏やかさと等連続性は同値か？
• RQ3 最小弱混合系は、特にアーベル群作用下で穏やかになり得るか？
• RQ4 最小系の包拡半群が距離化可能となる条件は何か？
• RQ5 包拡半群 E(X,Γ) が全自己写像空間 X^X に等しくなるのはいつか？

主な発見

• メトリックな距離付き最小系は、穏やかであることと等連続であることとは同値である。
• アーベル群作用下では、すべてのメトリック最小穏やか系はPIであるため、弱混合最小系は穏やかではない。
• 穏やかな最小カスケードはトポロジカルなエントロピーが0である。
• 等連続でない距離付き系において、包拡半群からエリス半群への自然な写像は同型でないことが示され、長年の未解決問題が解決された。
• 最小系の包拡半群が距離化可能であれば、アーベル群作用下では系は等連続である。
• 包拡半群 E(X,Γ) が X^X に等しいのは、系が完全（すべての n に対して n-完全）であるとき、かつそのときに限る。