[论文解读] Free and Hyperbolic Groups are not Equational

Zlil Sela|arXiv (Cornell University)|Apr 23, 2012

Advanced Topology and Set Theory参考文献 7被引用 5

一句话总结

本文通过构造一个可定义集——具体而言，由 $\exists x_1,x_2\ (qp = x_1^{10}x_2^{-9} \land [x_1,x_2] \neq 1)$ 定义的集合 $NE(p,q)$——证明了非交换自由群与非初等无挠双曲群的初等理论并非等式理论。该集合无法表示为等式集的布尔组合。证明使用了测试序列、自由群中的Lyndon–Schützenberger型论证，以及双曲群中的Gromov–Hausdorff收敛，表明该集合存在任意长的严格递减可定义子集交集序列，从而违反了等式性所要求的有限性界限。

ABSTRACT

We give an example of a definable set in every free or torsion-free (non-elementary) hyperbolic group that is not in the Boolean algebra of equational sets. Hence, the theories of free and torsion-free (non-elementary) hyperbolic groups are not equational in the sense of G. Srour.

研究动机与目标

• 解决关于自由群与双曲群等稳定理论是否为等式理论的长期悬而未决问题。
• 证明在自由群与非初等无挠双曲群中，等式集的布尔代数无法涵盖所有可定义集。
• 构造一个具体的反例——即集合 $NE(p,q)$——其位于等式集的布尔代数之外。
• 通过几何与模型论工具，将自由群中的非等式性结果推广至所有非初等无挠双曲群。
• 表明即使在这些群的最小秩可定义集中，等式性条件也失效，从而反驳了文献中先前的假设。

提出的方法

• 将可定义集 $NE(p,q)$ 构造为方程 $\exists x_1,x_2\ (qp = x_1^{10}x_2^{-9} \land [x_1,x_2] \neq 1)$ 的解集，由于其存在无界递减交集序列，故非等式理论。
• 在自由群中使用通用元素的测试序列，生成 $NE(p,q)$ 的无限严格递减交集链，从而违反等式性所要求的有限界限 $N_D$。
• 应用Lyndon–Schützenberger定理于自由群中 $x^m y^n z^r = 1$ 的解，表明此类解生成循环子群，从而控制交集长度。
• 通过群作用在实树上的Gromov–Hausdorff收敛，将论证推广至非初等无挠双曲群，表明当 $m$ 足够大时，$x^{\ell+1}y^{-\ell}z^m = 1$ 的解也生成循环子群，从而实现类似的交集长度控制。
• 利用先前工作中的筛法程序与包络构造 ([Se4], [Se6])，将自由群中的量化词消去与可定义集分析推广至双曲群。
• 通过在递减序列上施加 $N_1, N_2$ 的界限，使用反证法，证明 $NE(p,q)$ 无法表示为等式集与余等式集的有限并或交，从而证明其位于等式集的布尔代数之外。

实验结果

研究问题

• RQ1 非交换自由群的初等理论是否如早期稳定性研究中的猜想那样为等式理论？
• RQ2 在自由群中，可定义集 $NE(p,q)$ 能否表示为等式集的有限布尔组合？
• RQ3 自由群中等式性的失败是否可推广至非初等无挠双曲群？
• RQ4 能否通过几何收敛，将Lyndon–Schützenberger定理中关于解的循环生成性质推广至双曲群？
• RQ5 在非初等无挠双曲群中，是否存在一个可定义集，其可定义子集的交集序列可任意长地严格递减，从而违反等式性条件？

主要发现

• 在任意非交换自由群中，由 $\exists x_1,x_2\ (qp = x_1^{10}x_2^{-9} \land [x_1,x_2] \neq 1)$ 定义的集合 $NE(p,q)$ 并非等式理论。
• 集合 $NE(p,q)$ 存在无限严格递减的交集序列 $\bigcap_{i=1}^j NE(p,q_i)$，违反了等式性所要求的有限界限 $N_D$。
• $NE(p,q)$ 既非等式集的有限并或交，也非等式集与余等式集的并或交。
• 非交换自由群的理论并非等式理论，因为 $NE(p,q)$ 位于等式集的布尔代数之外。
• 通过使用Gromov–Hausdorff收敛推广Lyndon–Schützenberger论证，非等式性结果可推广至所有非初等无挠双曲群。
• 在非初等无挠双曲群中，当 $m$ 足够大时，$x^{\ell+1}y^{-\ell}z^m = 1$ 的解生成循环子群，从而可采用与自由群中相同的矛盾论证。