[论文解读] TOWARDS QUANTITATIVE CLASSIFICATION OF CAYLEY AUTOMATIC GROUPS

Phongpitak Trakuldit, Dmitry Berdinsky|arXiv (Cornell University)|Jan 1, 2018

Geometric and Algebraic Topology被引用 2

一句话总结

本文引入并分析了Cayley自动群的一个数值特征，证明其在有限扩张、直积与自由积下保持不变，并建立了与Dehn函数相关的同行者性质。该研究为幂零群（包括Heisenberg群和环面丛的基本群）提供了定量分类，为指数增长群提供了新的洞见。

ABSTRACT

In this paper we address the problem of quantitative classification of Cayley automatic groups in terms of a certain numerical characteristic which we earlier introduced for this class of groups. For this numerical characteristic we formulate and prove a fellow traveler property, show its relationship with the Dehn function and prove its invariance with respect to taking finite extension, direct product and free product. We study this characteristic for nilpotent groups with a particular accent on the Heisenberg group, the fundamental groups of torus bundles over the circle and groups of exponential growth.

研究动机与目标

• 通过此前引入的数值特征，发展一个用于分类Cayley自动群的定量框架。
• 为该数值特征建立同行者性质，并将其与Dehn函数关联。
• 研究该特征在有限扩张、直积与自由积等群构造下的行为。
• 分析该特征在幂零群中的表现，特别是Heisenberg群和圆周上环面丛的基本群。
• 将分类框架扩展至指数增长群，提供其结构的定量洞察。

提出的方法

• 基于其几何与组合性质，定义并形式化Cayley自动群的数值不变量。
• 证明该数值特征的同行者性质，确保在词长控制下，群元素间行为的一致性。
• 建立该数值特征与Dehn函数之间的关系，将其与词问题求解复杂度联系起来。
• 通过群论结构论证，证明该特征在有限扩张、直积与自由积下保持不变。
• 将该框架应用于幂零群，特别是Heisenberg群，以计算并分析其在低维情形下的特征。
• 利用几何与增长率技术，将分析扩展至圆周上环面丛的基本群及指数增长群。

实验结果

研究问题

• RQ1 该数值特征在有限群扩张、直积与自由积下如何表现？
• RQ2 在Cayley自动群中，该数值特征与Dehn函数之间存在何种关系？
• RQ3 在幂零群（如Heisenberg群）中，该数值特征的取值与性质是什么？
• RQ4 该特征在圆周上环面丛的基本群中如何表现？
• RQ5 该数值特征能否为指数增长群提供有意义的定量分类？

主要发现

• 该数值特征在有限扩张、直积与自由积下保持不变，确立了其作为群不变量的稳健性。
• 已证明该数值特征具有同行者性质，确保在词表示下行为的一致性。
• 该特征与Dehn函数直接相关，为其增长速率提供了几何解释。
• 对于Heisenberg群和圆周上环面丛的基本群，该特征表现出受控且可计算的行为。
• 该框架通过数值特征的定量分析，成功对指数增长群进行了分类。
• 结果表明，该数值特征是区分和组织Cayley自动群的强大工具，其依据为群的结构与增长理论性质。