[论文解读] Diophantine Geometry over Groups IX: Envelopes and Imaginaries

Zlil Sela|arXiv (Cornell University)|Sep 3, 2009

Geometric and Algebraic Topology参考文献 9被引用 14

一句话总结

该论文通过引入一个可定义的多值函数，实现了自由群与无 torsion 的双曲群中虚像的几何消除，该函数能统一地将元素映射到共轭、循环子群的左/右陪集以及双陪集的有界参数排序中，证明了这三类是唯一的本质虚像。该方法依赖于丢番图与 Duo 包络、筛法程序以及统一化极限群，以在保持无系数性质的同时分离等价类。

ABSTRACT

This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the ninth paper we associate a Diophantine set with a definable set, and view it as the Diophantine envelope of the definable set. We use the envelope and duo limit groups that were used in proving stability of the theory of free and torsion-free hyperbolic groups [Se9], to study definable equivalence relations, and in particular, to classify imaginaries over these groups.

研究动机与目标

• 对自由群与无 torsion 双曲群上的所有可定义等价关系进行分类。
• 确定哪些可定义等价关系是非平凡虚像（即不能通过可定义函数实现真实化）。
• 证明共轭、循环子群的左/右陪集以及双陪集是唯一的本质虚像。
• 通过为这三类基本虚像添加排序，实现虚像的几何消除。
• 将无系数的几何消除推广至非交换、非初等、无 torsion 的双曲群。

提出的方法

• 利用先前工作的筛法程序，为可定义集合构造丢番图包络与 Duo 包络。
• 利用包络中点的组合通用性来分析可定义等价关系。
• 引入统一化极限群与坍缩统一化极限群，以参数化等价类。
• 定义从 G^m 到 G^s × R_1 × … × R_t 的可定义多值函数，其中每个 R_i 是上述三类基本虚像之一的排序。
• 确保该多值函数是类函数（同一等价类中元素映射到相同像），并能分离不同类。
• 通过广义筛法与消解技术，证明当原始等价关系为无系数时，该多值函数也保持无系数性。

实验结果

研究问题

• RQ1 在自由群与无 torsion 双曲群中，共轭、循环子群的左/右陪集以及双陪集是否为非平凡虚像？
• RQ2 是否可仅通过这三类基本虚像，对这些群上的所有可定义等价关系实现几何消除？
• RQ3 当应用于无系数等价关系时，几何消除过程是否保持无系数性？
• RQ4 筛法程序与统一化极限群构造能否从自由群推广至无 torsion 双曲群？
• RQ5 由统一化极限群导出的参数是否能构成一个有界、分离且可定义的多值函数，用于等价类？

主要发现

• 共轭、循环子群的左/右陪集以及双陪集不是实像，即在自由群与无 torsion 双曲群中为非平凡虚像。
• 这些群上唯一的本质虚像是三类基本形式：共轭、左/右陪集与双陪集的循环子群。
• 存在一个可定义的多值函数，能将元素映射到这三类的有界参数排序中，并分离不同的等价类。
• 该多值函数在大小上是统一有界的，且当原始等价关系为无系数时，其本身也保持无系数性。
• 几何消除在非初等、无 torsion 双曲群上成立，扩展了自由群上的已有结果。
• 统一化与坍缩统一化极限群的构造确保了消除过程的终止性与正确性。