[论文解读] Periodic Points on Shifts of Finite Type and Commensurability Invariants of Groups

David Carroll, Andrew Penland|arXiv (Cornell University)|Feb 11, 2015

semigroups and automata theory参考文献 18被引用 11

一句话总结

本文证明了有限型移位（SFTs）在群上的弱周期性与强周期性是群共轭不变量，意味着这些动力性质在整个共轭类中保持不变。此外，本文进一步证明强周期性在具有有限生成核的扩张下保持不变，由此得出多项式增长次数≥2的群不是强周期性的，并猜想强周期性刻画了拟循环群。

ABSTRACT

We explore the relationship between subgroups and the possible shifts of finite type (SFTs) that can be defined on the group. In particular, we investigate two group invariants, weak periodicity and strong periodicity, defined via symbolic dynamics on the group. We show that these properties are invariants of commensurability. Thus, many known results about periodic points in SFTs defined over groups are actually results about entire commensurability classes. Additionally, we show that the property of being not strongly periodic (also called weakly aperiodic) is preserved under extensions with finitely generated kernels. We conclude by raising questions and conjectures about the relationship of these invariants to the geometric notions of quasi-isometry and growth.

研究动机与目标

• 研究群论性质如何影响有限型移位（SFTs）中周期点的存在性。
• 定义并分析基于群上所有SFT中周期点存在性的两个不变量——弱周期性与强周期性。
• 建立这些不变量在共轭下保持不变，从而将已知的SFT结果推广至整个共轭类群。
• 探讨强周期性与群结构之间的关系，特别是在多项式增长群及具有有限生成核的扩张中。
• 猜想强周期性刻画了拟循环群，将动力性质与几何群论联系起来。

提出的方法

• 作者将弱周期性定义为：群上每个SFT至少包含一个周期点；将强周期性定义为：每个SFT都存在一个轨道有限的周期点。
• 他们将高阶块移位构造推广至任意群，以关联有限指数子群之间的周期性性质。
• 他们通过一个具有有限生成核的满同态 G → Q，建立了群Q上SFT与群G上SFT之间的对应关系。
• 他们证明：若G是强周期性的，且N是有限生成的正规子群，则商群G/N也是强周期性的，利用了配置空间之间诱导映射的G-等变性。
• 他们应用Gromov关于多项式增长群的定理，通过归约到ℤ²的情形，证明任意具有多项式增长γ(n) ∼ n^d且d ≥ 2的有限生成群都不是强周期性的。
• 他们利用粗几何与同调理论（如Block–Weinberger、Mozes）的结果，支持仅拟循环群是强周期性的猜想。

实验结果

研究问题

• RQ1 弱周期性与强周期性是否在群共轭下保持不变？若是，是否可推广至整个共轭类群？
• RQ2 强周期性在具有有限生成核的扩张下是否保持不变？这对多项式增长群意味着什么？
• RQ3 是否存在强非周期SFT可用于区分几何性质（如拟等距或增长类型）？
• RQ4 强周期性是否等价于拟循环性？若是，这对通过符号动力学分类群意味着什么？
• RQ5 SFT的动力性质如何与粗几何不变量（如拟等距与增长率）相关联？

主要发现

• 弱周期性与强周期性在共轭下保持不变：若两个有限生成群共轭，且其中一个具有弱周期性（或强周期性），则另一个也具有该性质。
• 强周期性在具有有限生成核的群扩张下保持不变：若G是强周期性的，且N是有限生成的正规子群，则G/N也是强周期性的。
• 多项式增长次数d ≥ 2的群不是强周期性的，通过Gromov定理归约至ℤ²，且已知ℤ²不是强周期性的。
• 强非周期SFT的存在性不具有遗传性，例如ℤ ≤ ℤ²，但ℤ是强周期性的，而ℤ²不是。
• 本文猜想：一个群是强周期性的当且仅当它是拟循环群，暗示符号动力学与群结构之间存在深层联系。
• 结果表明，许多关于SFT中周期点的已知结论并非群特异性，而是适用于整个共轭类，从而扩展了其适用范围。