[论文解读] Energy Games over Totally Ordered Groups

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

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

一句话总结

本文证明了与极小子移位 (X, φ) 关联的 Thompson 类群 T(φ) 是有限生成的、左序化的，并且是单群。通过使用二进制流盒构造一个悬垂群，并利用群在康托集上的作用，作者证明了该群的结构——由一个基群和特定的流盒子群生成——产生一个单群、左序化群、有限生成群。其主要贡献在于从符号动力系统中提出了一种此类群的一般构造方法。

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(φ) 允许一个左不变的全序。
• 提供一个将动力系统与可序群论联系起来的一般框架。

提出的方法

• 将悬垂群 T(φ) 定义为通过二进制流盒对康托集上同胚群的扩张。
• 利用极小子移位 (X, φ) 的生成划分 {C₁, ..., C_d} 定义流盒子群 FC_i,J。
• 应用等变性质并利用 eT 的共轭，将生成元传播至所有长度小于 1 的二进制区间。
• 利用 F′_J（Thompson 群 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 二进制流盒及其关联子群在群的生成中起什么作用？
• RQ5 当 (X, φ) 为极小子移位时，群 T(φ) 是否是左序化的？

主要发现

• 当 (X, φ) 是具有有限生成划分的极小子移位时，群 T(φ) 是有限生成的。
• 通过证明每个正规子群必须是整个群，T(φ) 是单群。
• T(φ) 允许一个左不变的全序，因此是左序化群。
• 由 eT 和 FC_i,I（i ∈ {1, ..., d}）生成的子群等于 T(φ)，确认了其有限生成性。
• 证明依赖于 F′_J 的单性以及换位子生成群的性质，从而实现对集合运算的封闭性。
• 该构造可推广至任意子移位，而不仅限于极小子移位，尽管极小性确保了单性及所需的群结构。