[論文レビュー] Energy Games over Totally Ordered Groups

Kozachinskiy, Alexander|arXiv (Cornell University)|Aug 25, 2014

Geometric and Algebraic Topology参考文献 127被引用数 52

ひとこと要約

この論文は、最小的サブシフト (X, φ) に関連するトマソンに類似した群 T(φ) が、有限生成で、左順序可能で、単純であることを確立する。dyadic flow boxes を用いた最小的サブシフトからのサスペンション群の構成と、カントール集合への群作用を活用することで、著者らは、群の構造—基本群と特定のフローボックス部分群からなる—が、単純で、左順序可能で、有限生成な群を生じることを証明する。主な貢献は、記号的力学系からこのような群を一般に構成する方法の確立である。

ABSTRACT

Kopczyński (ICALP 2006) conjectured that prefix-independent half-positional winning conditions are closed under finite unions. We refute this conjecture over finite arenas. For that, we introduce a new class of prefix-independent bi-positional winning conditions called energy conditions over totally ordered groups. We give an example of two such conditions whose union is not half-positional. We also conjecture that every prefix-independent bi-positional winning condition coincides with some energy condition over a totally ordered group on periodic sequences.

研究の動機と目的

• 記号的力学系を用いて、有限生成で、左順序可能で、単純な新しい群のクラスを構成すること。
• 最小的サブシフトに関連するサスペンション群 T(φ) が単純で、有限生成であることを確立すること。
• 群 T(φ) が左不変な全順序を備えていることを示すこと。
• 動的系と順序可能群論の間の一般枠組みを提供すること。

提案手法

• dyadic flow boxes を用いて、カントール集合上のホメオモルフィズム群の拡張としてサスペンション群 T(φ) を定義する。
• 最小的サブシフト (X, φ) の生成分割 {C₁, ..., C_d} を用いて、フローボックス部分群 FC_i,J を定義する。
• 等変性性質と eT による共軛を適用して、長さが 1 より小さいすべての dyadic 区間へ生成元を拡張する。
• F′_J（トマソン群 F）の単純性と群の交換子恒等式を活用し、閉包集合と開集合の和集合に対する閉包を示す。
• 補題 4.5.15 を用いて、部分群 F′_C,J が FC_i,J と eT によって生成される部分群に含まれることを証明する。
• T(φ) が eT と有限個の FC_i,I 部分群によって生成されることを示すことで、T(φ) が有限生成であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 最小的サブシフトを用いて、有限生成で、左順序可能で、単純な群を構成できるか？
• RQ2 サスペンション群 T(φ) が単純で、有限生成であるための条件は何か？
• RQ3 生成分割 {C₁, ..., C_d} の構造が群 T(φ) に与える影響は何か？
• RQ4 dyadic flow boxes 及びそれらに関連する部分群が、群の生成に果たす役割は何か？
• RQ5 最小的サブシフト (X, φ) に対して、群 T(φ) は左順序可能か？

主な発見

• 最小的サブシフト (X, φ) と有限生成分割を持つ場合、群 T(φ) は有限生成である。
• T(φ) は、群の演算による閉包を用いて、すべての正規部分群が群全体に等しいことを示すことで、単純であることが証明された。
• T(φ) は左不変な全順序を備えており、左順序可能群である。
• eT と FC_i,I（i ∈ {1, ..., d}）によって生成される部分群が T(φ) に等しいことから、有限生成であることが確認された。
• 証明は、F′_J が単純であることと、交換子が群を生成できることに依存しており、これにより集合演算に対して閉じていることが可能になった。
• この構成は、最小的でないサブシフトに対しても一般化可能であるが、最小性が単純性と望ましい群構造を保証する。