[論文レビュー] Full Groups and Orbit Equivalence in Cantor Dynamics

Konstantin Medynets|arXiv (Cornell University)|Jun 6, 2010

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

ひとこと要約

本稿は、カントール力学系におけるダイ・定理の位相的版を確立する：2つの最小的・非周期的・または推移的なカントール系が、それぞれのフル群が抽象群として同型であるときかつそのときに限り、軌道同値である。証明はブール代数の同型とフレミンの定理による空間的実現を用い、フル群間の群同型が、軌道同値を実現するホメオモルフィズムによって誘導されることを示す。

ABSTRACT

In this note we consider dynamical systems $(X,G)$ on a Cantor set $X$ satisfying some mild technical conditions. The considered class includes, in particular, minimal and transitive aperiodic systems. We prove that two such systems $(X_1,G_1)$ and $(X_2,G_2)$ are orbit equivalent if and only if their full groups are isomorphic as abstract groups. This result is a topological version of the well-known Dye's theorem established originally for ergodic measure-preserving actions.

研究の動機と目的

• エルゴディック測度保存系におけるダイの古典的軌道同値定理を、位相的カントール力学系へ拡張すること。
• フル群の抽象群同型に基づく軌道同値の特徴づけを確立すること。
• フル群が、位相的設定における軌道に依存しない動的性質をすべて符号化することを示すこと。
• 従来の結果（例：[R1]）と比較して、より短く自己完結的な証明を提供すること。ブール代数の技法を用いる。
• フル群の同型が、基礎となるカントール集合間のホメオモルフィズムによって空間的に生成されることを示すこと。

提案手法

• 完全なブール代数の自己同型群の代数的同型が空間的に生成されることを示すフレミンの定理を用いる。
• カントール空間における正則開集合およびコーンプ集合の理論を適用し、ホメオモルフィズムのサポートを特徴付ける。
• フル群 [G] を、各点をその G-軌道内の点に写すホメオモルフィズムの集合として定義する。
• コーンプ集合を有する対合を用いて、コーンプ集合の代数間のブール代数同型を生成する。
• フル群間の群同型が、コーンプ集合のブール代数に同型を誘導することを確立する。
• このようなブール代数同型が、軌道同値を実現するカントール集合間のホメオモルフィズムに拡張されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 カントール力学系の軌道同値性は、そのフル群の同型という純粋な代数的性質によって特徴づけられるか？
• RQ2 フル群は、軌道内での点の順序の入れ替えに依存しない、位相的力学的不変量をどの程度まで符号化するか？
• RQ3 フル群間の抽象的群同型は、常に基礎となるカントール集合間のホメオモルフィズムによって空間的に実現可能か？
• RQ4 フル群の代数的性質は、系の動的構造をどの程度反映するか？
• RQ5 わずかな技術的条件のもとで、フル群はカントール系の軌道同値類を決定づけられるか？

主な発見

• 2つのカントール力学系が軌道同値であることは、それらのフル群が抽象群として同型であることと同値である。
• フル群間の同型は空間的に生成されており、すなわち基礎となるカントール集合間のホメオモルフィズムから生じる。
• フル群 [G] は、軌道内での点の順序の再配置に依存しないすべての動的情報を符号化している。
• 証明により、同型を介してコーンプ集合のブール代数がフル群から再構成可能であることが示された。
• 最小的かつ推移的・非周期的系を含む、やや技術的な条件を満たす系に対して、この結果は成り立つ。
• 従来の結果（例：[R1]）と比較して、より短く直接的な証明を提供する。