[論文レビュー] 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.

研究の動機と目的

• 捩れのない双曲的群の1階理論におけるアーベル群および体の解釈可能性を調査すること。
• 非巡回な捩れのない双曲的群の一般型が、いかなる解釈可能なアーベル群に対しても外国であることを証明することで、解釈可能な体との相互作用を排除すること。
• Selaの像の消去を用いて、非巡回な捩れのない双曲的群の定義可能単純性を確立すること。
• 自由群（ランク >2）の自己同型群による有限族の軌道が定義可能でないことを示すこと。
• 非巡回な捩れのない双曲的群の理論において無限体が解釈可能でないという予想1を支持すること。

提案手法

• 特に型の外国性という概念を用いて、一般型と解釈可能な構造との間の相互作用を分析する、安定理論的ツールの使用。
• Selaによる捩れのない双曲的群における像の消去の結果を、定義可能単純性の証明の基盤的ツールとして適用。
• 非自由な捩れのない双曲的群への分析の簡略化に、基本的核 $EC(G)$ の概念を用いる。
• 安定理論における定義可能閉包および非分離拡張を用いて、一般型と解釈可能なアーベル群との間の仮定された相互作用から矛盾を導出。
• モデル理論的転送：ある論理式が大きなモデルで成り立つならば、それをより小さなモデルで実現できる。これにより、自由群や基本的核への還元が可能になる。
• モデル理論の事実5.2を適用：一般型が部分型に対して外国でないならば、内部商を持つ正規定義可能部分群が存在する。

実験結果

リサーチクエスチョン

• RQ1 解釈可能なアーベル群は、非巡回な捩れのない双曲的群の一般型と相互作用可能か？
• RQ2 非巡回な捩れのない双曲的群の理論において、無限体が解釈可能であることは可能か？
• RQ3 自由群（ランク >2）の自己同型群による有限族の軌道は定義可能か？
• RQ4 Selaの像の消去から、非巡回な捩れのない双曲的群の定義可能単純性が導かれるか？
• RQ5 自由群との自由積によるモデルの拡張において、解釈可能なアーベル群の構造は制限可能か？

主な発見

• 非巡回な捩れのない双曲的群 $G$ の一般型 $p^G_0$ は、いかなる解釈可能なアーベル群に対しても外国である。これは、その型の非分離拡張が、そのような群の元と相互定義可能でないことを意味する。
• 系として、$p^G_0$ はいかなる解釈可能な体や斜体に対しても外国である。これは、このような理論に無限の解釈可能な体が存在しないという強力な証拠を提供する。
• 捩れのない双曲的群の唯一の真の定義可能部分群は巡回群である。Selaの像の消去を用いて、これは定義可能単純性を確立する。
• ランクが3以上の自由群 $\mathbb{F}$ に対して、$\mathrm{Aut}(\mathbb{F})$ による非自明な有限族の軌道は、パラメータを含んでも定義可能でない。
• $EC(G)^{eq}$ で定義可能な集合 $X$ が、$EC(G)*\mathbb{Z}$ で実現が異なるならば、$X$ は定義可能アーベル群構造をもつことはできない。
• 証明は、転送論法に依存している：ある大きなモデルで一般元を定義する論理式が、より小さなモデルでも成り立つならば、特定の虚数要素の非定義可能性により矛盾が生じる。