[论文解读] Group Colorings and Bernoulli Subflows

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

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

一句话总结

本文通过一种新颖的‘多层标记结构基础方法’，在可数群上的伯努利子流与组合群着色之间建立了深刻的对应关系，用于构造超非周期点和自由子流。关键贡献在于对自由子流的拓扑共轭关系的描述复杂性的完整分类：对于局部有限群，该关系是超有限且非光滑的；而对于非局部有限群，该关系与普遍的可数博雷尔等价关系 Borel 二重可约。

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-着色。
• 应用描述集合论工具分析超非周期点与极小点集合的博雷尔复杂性，表明它们总是稠密但为第一纲集且测度为零。
• 引入‘ccc群’（可数、局部有限或剩余有限）的概念，并证明幂零群、可解群及此类群的自由积均为 ccc 群。
• 使用近似相等与余有限定义域扩张的方法，刻画群上部分函数在何种条件下可扩展为2-着色。
• 应用 Clemens 关于博雷尔可约性的结果，对拓扑共轭关系的复杂性进行分类，表明其在非局部有限群上为普遍的。

实验结果

研究问题

• RQ1 对于给定的可数群 G，(2^N)^G 上自由子流的拓扑共轭关系的描述复杂性是什么？
• RQ2 在何种群论条件下存在超非周期点？此类点的集合在多大程度上稠密或通用？
• RQ3 基础方法能否扩展以构造支持遍历概率测度的子流？
• RQ4 当限制在极小自由子流时，拓扑共轭关系的复杂性如何，特别是当 G = Z 时？
• RQ5 2-着色与超非周期点的结果在多大程度上可推广至半群或不可数群？

主要发现

• (2^N)^G 中所有（极小）超非周期点的集合总是稠密但为第一纲集且测度为零，无论群 G 是什么。
• 对于局部有限群，(2^N)^G 中所有子流的拓扑共轭关系与 E0 博雷尔二重可约，此结论也适用于自由与极小自由子流。
• 对于非局部有限群，自由子流的拓扑共轭关系与普遍的可数博雷尔等价关系博雷尔二重可约。
• 多层标记结构的‘基础方法’可实现对极小性、正交性与刚性的任意组合的构造，且在拓扑共轭下保持。
• 所有可数幂零群、可解群、剩余有限群、局部有限群，以及此类群的自由积均为 ccc 群，意味着它们具有特定的密铺与着色性质。
• 在 G-空间中存在超非周期点，当且仅当群 G 存在无周期模式的2-着色，从而在动力学与组合学之间建立了紧密联系。