[論文レビュー] Group Colorings and Bernoulli Subflows

Su Gao, Steve Jackson+1 more|arXiv (Cornell University)|Jan 2, 2012

Advanced Operator Algebra Research参考文献 21被引用数 5

ひとこと要約

本稿は、可算群上のベルヌーイ部分流の位相的力学と組合せ的群彩色の間に深い対応関係を確立する。多層マーカー構造を用いた独創的な「基本的技法」により、超アーキメデス的点と自由部分流を構成する。主な貢献は、自由部分流における位相的同相関係の記述的複雑度の完全分類である：局所有限群ではハイパーサブセットで、滑らかでないが、非局所有限群では、普遍的可算ボレル同値関係とボレル双帰還可能である。

ABSTRACT

In this paper we study the dynamics of Bernoulli flows and their subflows over general countable groups from the symbolic and topological perspectives. We study free subflows (subflows in which every point has trivial stabilizer), minimal subflows, disjointness of subflows, the problem of classifying subflows up to topological conjugacy, and the differences in dynamical behavior between pairs of points which disagree on finitely many coordinates. We call a point hyper aperiodic if the closure of its orbit is a free subflow and we call it minimal if the closure of its orbit is a minimal subflow. We prove that the set of all (minimal) hyper aperiodic points is always dense but also meager and null. By employing notions and ideas from descriptive set theory, we study the complexity of the sets of hyper aperiodic points and of minimal points and completely determine their descriptive complexity. In doing this we introduce a new notion of countable flecc groups and study their properties. We obtain a dichotomy for the complexity of classifying free subflows up to topological conjugacy. For locally finite groups the topological conjugacy relation for all (free) subflows is hyperfinite and nonsmooth. For nonlocally finite groups the relation is Borel bireducible with the universal countable Borel equivalence relation. A primary focus of the paper is to develop constructive methods for the notions studied. To construct hyper aperiodic points, a fundamental method of construction of multi-layer marker structures is developed with great generality. Variations of the fundamental method are used in many proofs in the paper, and we expect them to be useful more broadly in geometric group theory. As a special case of such marker structures, we study the notion of ccc groups and prove the ccc-ness for countable nilpotent, polycyclic, residually finite, locally finite groups and for free products.

研究の動機と目的

• 可算群上のベルヌーイ部分流の位相的力学と組合せ的群彩色（特に2彩色と超アーキメデス的点）の間の対応関係を確立すること。
• 可算群上の自由部分流における位相的同相関係の記述的複雑度を特定すること。
• 特に多層マーカー構造の「基本的技法」を用いた、特定の力学的性質を有する自由で最小の部分流を生成する構成的技法の開発。
• 特に(2^N)^Gにおける記号的系の群上での部分流の密度、最小性、剛性を研究すること。
• 超アーキメデス的点の存在と構造的性質、およびそれが自由部分流を特徴付ける役割を調査すること。

提案手法

• 超アーキメデス的点を、可算群上のk彩色の力学的双対物として定義し、その軌道閉包が自由部分流を形成することを示す。
• 多層マーカー構造を用いた構成的技法「基本的技法」を開発し、最小性や直交性といった所望の性質を持つ2彩色を生成する。
• 記述的集合論の道具を用いて、超アーキメデス的点および最小点の集合のボレル複雑度を分析し、これらが常に稠密であるが、Meagreかつ零集合であることを示す。
• 「ccc群」（可算、局所有限、または余有限）の概念を導入し、その上で、可換群、多可換群、およびそれらの自由積がすべてccc群であることを証明する。
• ほぼ等価性とコファイニット定義域拡張の手法を用い、群上の部分関数が2彩色に拡張可能となる条件を特徴付ける。
• Clemensのボレル還元に関する結果を応用し、位相的同相関係の複雑度を分類し、非局所有限群ではそれが普遍的可算ボレル同値関係であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた可算群Gに対して、(2^N)^Gにおける自由部分流上の位相的同相関係の記述的複雑度は何か？
• RQ2 超アーキメデス的点が存在するための群論的条件は何か？ また、そのような点の集合はどれほど稠密または一般的であるか？
• RQ3 基本的技法を、エルゴード確率測度を支持する部分流を構成するのに拡張可能か？
• RQ4 特にG = Zの場合に、最小自由部分流に制限した位相的同相関係の複雑度は何か？
• RQ5 2彩色および超アーキメデス的点に関する結果を半群や非可算群へ一般化できる範囲はどの程度か？

主な発見

• (2^N)^Gにおけるすべての（最小の）超アーキメデス的点の集合は、群Gにかかわらず常に稠密であるが、Meagreかつ零集合である。
• 局所有限群では、(2^N)^Gのすべての部分流上の位相的同相関係はE0とボレル双帰還可能であり、自由および最小自由部分流に対しても同様に成り立つ。
• 非局所有限群では、自由部分流上の位相的同相関係は、普遍的可算ボレル同値関係とボレル双帰還可能である。
• 多層マーカー構造の基本的技法により、位相的同相関係下で任意の組み合わせの最小性、直交性、剛性を有する2彩色を構成可能である。
• すべての可算可換群、多可換群、余有限群、局所有限群、およびそれらの自由積は、ある種のタイリングおよび彩色性質を有するccc群である。
• G-空間に超アーキメデス的点が存在することは、群Gに周期的パターンのない2彩色が存在することと同値であり、力学と組合せ論の間にきわめて緊密な関係が確立される。