[论文解读] Groups with graphical C(6) and C(7) small cancellation presentations

Dominik Gruber|arXiv (Cornell University)|Sep 30, 2012

Geometric and Algebraic Topology参考文献 12被引用 5

一句话总结

本文将经典的极小取消理论推广至图形式的 $C(6)$ 和 $C(7)$ 条件，采用基于 Lyndon 曲率公式与 van Kampen 图形的组合方法。证明了具有图形式 $C(7)$ 表示的群包含非交换自由子群，从而表明其非可约性与指数增长；并表明 $Gr(6)$-标记图可粗略地包含预定的无限有限图序列（包括膨胀图），从而实现对间隙超曲群与 Gromov 的怪物群的显式构造。

ABSTRACT

We extend fundamental results of small cancellation theory to groups whose presentations satisfy the generalizations of the classical C(6) and C(7) conditions in graphical small cancellation theory. Using these graphical small cancellation conditions, we construct lacunary hyperbolic groups and groups that coarsely contain prescribed infinite sequences of finite graphs. We prove that groups given by (possibly infinite) graphical C(7) presentations contain non-abelian free subgroups.

研究动机与目标

• 将经典 $C(6)$ 与 $C(7)$ 极小取消理论的基本结果推广至图形式设定。
• 建立具有图形式 $C(7)$ 表示的群包含非交换自由子群的结论，从而推导出其非可约性与指数增长。
• 提供一种组合的、非度量的框架，用于构造能粗略包含预定无限有限图序列（包括膨胀图）的群。
• 通过 $Gr(7)$ 与 $Gr'(rac{1}{6})$ 条件，提供对间隙超曲群的显式构造，克服以往随机或非显式方法的局限性。

提出的方法

• 利用源自平面 2复形欧拉示性数的 Lyndon 曲率公式，分析图形式表示下的 van Kampen 图形。
• 通过在极小图形中对面边界与弧长的组合论证，建立曲率与双曲性性质。
• 在标记图上应用 $Gr(6)$ 与 $Gr(7)$ 条件，以控制关系之间的重叠并确保几何性质。
• 通过图标记诱导的基群同态的像的正规包，将群构造为自由群的商群。
• 利用超滤子极限与渐近锥，通过内蕴半径与双曲常数刻画间隙超曲性。
• 应用 Ollivier 关于 $Gr'(rac{1}{6})$-标记图的结果，推导出间隙超曲性的组合准则。

实验结果

研究问题

• RQ1 经典 $C(6)$ 与 $C(7)$ 极小取消理论的基本结果能否在不依赖度量假设的前提下推广至图形式设定？
• RQ2 图形式 $C(7)$ 表示是否能保证所生成群中存在非交换自由子群？
• RQ3 能否利用 $Gr(6)$-标记图构造出能粗略包含任意无限有限图序列（如膨胀图族）的群？
• RQ4 在何种图的组合条件下，可通过图形式极小取消理论显式构造间隙超曲群？
• RQ5 非度量的图形式极小取消条件能否产生比以往随机或度量方法更显式的间隙超曲群与 Gromov 的怪物群的构造？

主要发现

• 由图形式 $C(7)$ 表示定义的群包含非交换自由子群，从而表明其非可约性与指数增长。
• $Gr(6)$ 条件在标记图上成立，可确保所生成群粗略地包含定义图的不相交并集，若标记满足该条件，则也包含膨胀图族。
• 通过选取适当的子序列，可从满足 $Gr(7)$ 条件的图序列构造出间隙超曲群。
• 若满足 $Gr'(rac{1}{6})$ 条件，则图上的组合准则可导出间隙超曲性，从而提供显式构造。
• 包含 $G(igcup_{g( au_n)< ho_k} au_n) o G(igcup_{g( au_n)< ho_{k+1}} au_n)$ 的嵌入的内蕴半径增长快于双曲常数，当圈长集合稀疏时，可确保间隙超曲性。
• 当圈长集合不稀疏时，渐近锥不是 $ R$-树，这表征了间隙超曲性的失败。