[论文解读] Homogeneity and prime models in torsion-free hyperbolic groups

Abderezak Ould Houcine|arXiv (Cornell University)|Apr 27, 2010

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

一句话总结

该论文证明了有限秩的非交换自由群是同构的，即任意具有相同完全类型的元组均可通过自同构相互关联。此外，该研究还表明，两生成元的无 torsion（无挠）双曲群是存在型同构的、极小的，且 $\Gamma$-确定的，从而提供了有限生成极小群的首个具体例子，这些群并非 QFA（准有限公理化）的。

ABSTRACT

We show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type, there exists an automorphism of $F$ which sends $\bar a$ to $\bar b$. We further study existential types and we show that for any tuples $\bar a, \bar b \in F^n$, if $\bar a$ and $\bar b$ have the same existential $n$-type, then either $\bar a$ has the same existential type as a power of a primitive element, or there exists an existentially closed subgroup $E(\bar a)$ (resp. $E(\bar b)$) of $F$ containing $\bar a$ (resp. $\bar b$) and an isomorphism $σ: E(\bar a) o E(\bar b)$ with $σ(\bar a)=\bar b$. We will deal with non-free two-generated torsion-free hyperbolic groups and we show that they are $\exists$-homogeneous and prime. This gives, in particular, concrete examples of finitely generated groups which are prime and not QFA.

研究动机与目标

• 确定有限秩的非交换自由群是否同构，扩展此前对秩-2情况的研究结果。
• 研究自由群中存在类型（existential types）的结构，并对具有相同存在类型的元组进行分类。
• 分析非自由、两生成元的无挠双曲群的模型论性质，特别是其同构性与极小性。
• 提供有限生成极小群但非 QFA（准有限公理化）的具体例子，填补极小模型分类中的空白。
• 建立非自由两生成元无挠双曲群的强 co-hopfian 性质与 $\Gamma$-确定性。

提出的方法

• 使用模型论中的类型理论：比较群中元组的完全类型与存在类型。
• 应用自同构提升技术，证明具有相同完全类型的元组在自同构下等价。
• 引入存在闭合子群 $E(\bar{a})$ 的概念，其包含元组 $\bar{a}$，且同构映射保持存在类型。
• 利用极限群与 $\Gamma$-极限群的研究成果，分析嵌入与自同态结构。
• 通过有限集 $S$ 证明强 co-hopfian 性质，使得任何在自同态下不将 $S$ 映为零的非平凡映射必为自同构。
• 利用 Sela 的工作中的初等等价与初等核心理论，推导出连通性与极小性。

实验结果

研究问题

• RQ1 有限秩的非交换自由群是否同构，即具有相同完全类型的元组是否可通过自同构相互映射？
• RQ2 在自由群中，具有相同存在类型的元组有何特征？此类类型如何分类？
• RQ3 非自由、两生成元的无挠双曲群是否为存在型同构且极小？
• RQ4 这些群是否为 $\Gamma$-确定的？这对其模型论结构有何含义？
• RQ5 这些群是否提供了有限生成极小模型但非 QFA 的例子？

主要发现

• 任何有限秩的非交换自由群 $F$ 都是同构的：对于任意满足相同完全 $n$-类型的元组 $\bar{a}, \bar{b} \in F^n$，存在 $F$ 的一个自同构将 $\bar{a}$ 映射到 $\bar{b}$。
• 在自由群中，若元组具有相同的存在类型，则它们要么是某个本原元素的幂，要么存在同构的、存在闭合的子群 $E(\bar{a})$ 与 $E(\bar{b})$ 分别包含 $\bar{a}$ 与 $\bar{b}$，且存在一个保持给定参数集的同构映射将 $\bar{a}$ 映射到 $\bar{b}$。
• 非自由的两生成元无挠双曲群具有强 co-hopfian 性质，即存在一个有限集 $S$，使得任何不将 $S$ 映为零的自同态必为自同构。
• 由于其强 co-hopfian 性质与极限群结构，此类群是存在型同构的、极小的，且 $\Gamma$-确定的。
• 这些群提供了首个有限生成极小群但非 QFA（准有限公理化）的具体例子。
• 非循环的无挠双曲群是连通的，即不存在有限指数的真可定义子群，该结论通过通用集论证及与 HNN 扩张的初等等价性得以证明。