[论文解读] On groups and fields interpretable in torsion-free hyperbolic groups

Chloé Perin, Anand Pillay+2 more|arXiv (Cornell University)|Oct 21, 2012

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

一句话总结

本文利用稳定性理论方法及Sela的虚像消除结果，证明了非循环无挠双曲群的通用类型与任何可解释阿贝尔群或域均不相关。关键结果确认了证明此类群中不存在无限域可解释性的重大一步，支持了关于这些群模型论良态性的更广泛猜想。

ABSTRACT

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.

研究动机与目标

• 研究无挠双曲群一阶理论中阿贝尔群与域的可解释性。
• 证明非循环无挠双曲群的通用类型与任何可解释阿贝尔群不相关，从而排除其与可解释域的相互作用。
• 利用Sela的虚像消除结果，建立非循环无挠双曲群的可定义简单性。
• 证明自由群（秩 >2）自同构群作用下有限元组的轨道不可定义。
• 支持猜想1：非循环无挠双曲群理论中不存在无限域可解释。

提出的方法

• 使用稳定性理论工具，特别是类型外在性的概念，分析通用类型与可解释结构之间的相互作用。
• 将Sela关于无挠双曲群中虚像消除的结果作为基础工具，证明可定义简单性。
• 引入初等核心 $EC(G)$ 的概念，将分析简化为非自由无挠双曲群。
• 利用稳定理论中可定义闭包与非分叉扩张的性质，从通用类型与可解释阿贝尔群之间假设的相互作用中导出矛盾。
• 运用模型论传递：若公式在较大模型中成立，则可在较小模型中实现，从而将问题约化至自由群或初等核心。
• 应用模型论中的事实5.2：若通用类型不与部分类型外在，则存在一个正规可定义子群，其商为内部的。

实验结果

研究问题

• RQ1 可解释阿贝尔群能否与非循环无挠双曲群的通用类型相互作用？
• RQ2 是否可能在非循环无挠双曲群的理论中可解释无限域？
• RQ3 自由群（秩 >2）自同构群作用下有限元组的轨道是否可定义？
• RQ4 非循环无挠双曲群的可定义简单性是否可由Sela的虚像消除结果推出？
• RQ5 当通过与 $\mathbb{Z}$ 的自由积扩展模型时，可解释阿贝尔群的结构是否受到限制？

主要发现

• 非循环无挠双曲群的通用类型 $p^G_0$ 与任何可解释阿贝尔群均不相关，即该类型的任何非分叉扩张都无法与此类群的元素相互定义。
• 作为推论，$p^G_0$ 也与任何可解释域或斜域不相关，为这类理论中不存在无限可解释域提供了强有力证据。
• 无挠双曲群的唯一真可定义子群为循环群，通过Sela的虚像消除结果确立了其可定义简单性。
• 对于秩至少为3的自由群 $\mathbb{F}$，其自同构群作用下非平凡有限元组的轨道不可定义，即使允许使用参数。
• 若集合 $X$ 在 $EC(G)^{eq}$ 中可定义，且其在 $EC(G)*\mathbb{Z}$ 中的实现不同，则 $X$ 无法携带可定义阿贝尔群结构。
• 证明依赖于传递论证：若在较大模型中定义通用元素的公式在较小模型中也成立，则会因某些虚像元素的不可定义性而导出矛盾。