[论文解读] Recognizing geometric 3-manifold groups using the word problem

Daniel Groves, Jason Fox Manning+1 more|arXiv (Cornell University)|Oct 7, 2012

Geometric and Algebraic Topology参考文献 37被引用 6

一句话总结

该论文提出了一种算法，用于判断有限群表示是否定义了闭几何3-流形的基本群，前提是已知词问题的解。通过利用检测到 $\ mathrm{SL}(2,\mathbb{C})$ 中离散、忠实且不可约表示的算法，并利用这些表示的刚性与代数性质，该方法通过其代数与动力学性质递归识别几何3-流形群，最终证明在词问题已解的前提下，几何3-流形群的类是递归的。

ABSTRACT

Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'.

研究动机与目标

• 确定有限群表示是否定义了闭几何3-流形的基本群。
• 在已知词问题解的前提下，建立此类识别的可行性。
• 证明在词问题已解的前提下，几何3-流形群的类是递归的。
• 从三角剖分出发，恢复对闭3-流形几何类型的算法可判定性。
• 提供一种基于表示理论与词问题可解性的构造性方法，以检测某群是否为3-流形群。

提出的方法

• 使用计算代数几何生成给定有限表示的刚性代数表示的有限列表。
• 利用 $\overline{\mathbb{Q}}$ 中的精确算术表示并操作 $\mathrm{SL}(2,\overline{\mathbb{Q}})$ 中的矩阵。
• 应用算法检测给定代数表示是否非离散、非忠实或非不可约（即非-DFIL），依据核、可约性、抛物/椭圆元素或 Margulis 引理的违反。
• 利用词问题的解来测试群中的成员资格与相等性，从而实现对表示性质的算法验证。
• 将表示的枚举与非-DFIL检测算法相结合，递归地将定义几何3-流形群的表示与非几何表示区分开来。
• 通过构造递归可枚举集合来划分该类，证明在词问题相对意义下，几何3-流形群的表示集合是递归的。

实验结果

研究问题

• RQ1 能否从有限表示出发，算法性地识别闭几何3-流形基本群的类？
• RQ2 在词问题可解的前提下，能否判定给定有限表示是否表示一个几何3-流形群？
• RQ3 能否从3-流形的三角剖分出发，算法性地确定其几何类型？
• RQ4 词问题解的存在是否能通过表示论标准实现对3-流形群的识别？
• RQ5 几何3-流形群的类能否被表征为在词问题已解前提下的递归类？

主要发现

• 在词问题已解的前提下，几何3-流形群的类是递归的，即给定词问题的解，可算法性地判定有限表示是否定义此类群。
• 通过词问题解，可分别识别 Thurston 的八种几何中的每一种，从而实现对3-流形几何类型的分类。
• 该算法生成群表示的有限刚性代数表示列表，并测试每项的非-DFIL性质，终止即表示非几何状态。
• 该证明依赖于深度结果，包括几何化猜想、Mostow 刚性定理、收敛群定理以及 Zimmermann 关于3-流形上群作用的定理。
• 一个关键中间结果是：任何具有有限指数子群同构于闭不可约3-流形基本群的无挠群，其本身即为该类流形的基本群。
• 该方法恢复了推论 1.2：给定闭3-流形的三角剖分，可算法性地判定其是否为几何的，若是，则可确定其属于八种几何中的哪一种。