[論文レビュー] Homogeneity and prime models in torsion-free hyperbolic groups

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

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

ひとこと要約

この論文は、有限ランクの非アーベル自由群が、同じ完全型を持つタプルが自己同型で結ばれるという意味で均質であることを確立する。さらに、2生成のねじれなし双曲群が、存在論的均質性、素数モデル、および $\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の場合の先行研究を拡張するものである。
• 自由群における存在論的型の構造を調査し、同じ存在論的型を持つタプルを分類すること。
• 非自由で2生成のねじれなし双曲群のモデル理論的性質、特にその均質性と素数性を分析すること。
• QFA（準有限公理化可能）でないが有限生成の素数モデルの具体例を提供し、素数モデルの分類における空白を埋めること。
• 非自由で2生成のねじれなし双曲群に対して、強いコホープ・性質および $\Gamma$-決定的性質を確立すること。

提案手法

• モデル理論における型理論の使用：群内のタプルの完全型と存在論的型を比較する。
• 自己同型の持ち上げ技術の適用により、同じ完全型を持つタプルが自己同型で等価であることを示す。
• タプル $\bar{a}$ を含む存在的閉部分群 $E(\bar{a})$ の概念の導入。この同型は存在論的型を保存する。
• 極限群および $\Gamma$-極限群の結果を活用し、埋め込みと自己準同型の分析を行う。
• 有限集合 $S$ を用いた、非自明な像をもつ自己準同型が自己同型であることを示すことで、強いコホープ性を証明する。
• セラの研究から得られる初等同値および初等コア理論を用いて、連結性と素数性を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限ランクの非アーベル自由群は均質であるか。すなわち、同じ完全型を持つタプルが、一方を他方へ写す自己同型をもつのか。
• RQ2 自由群における同じ存在論的型を持つタプルはどのように特徴づけられるか。また、このような型はどのように分類できるか。
• RQ3 非自由で2生成のねじれなし双曲群は存在論的均質かつ素数モデルか。
• RQ4 このような群は $\Gamma$-決定的であるか。また、これはそのモデル理論的構造にどのような意味を持つのか。
• RQ5 これらの群は、QFAでないが有限生成の素数モデルの具体例を提供するか。

主な発見

• 任意の有限ランクの非アーベル自由群 $F$ は均質である。すなわち、任意のタプル $\bar{a}, \bar{b} \in F^n$ が同じ完全 $n$-型を持つならば、$F$ の自己同型で $\bar{a}$ を $\bar{b}$ に写すものが存在する。
• 自由群において同じ存在論的型を持つタプルについては、いずれかの原始的元のべきであるか、またはそれらを含む同型な存在的閉部分群 $E(\bar{a})$ と $E(\bar{b})$ が存在し、あるパラメータ集合を固定する同型が $\bar{a}$ を $\bar{b}$ に写す。
• 非自由で2生成のねじれなし双曲群は、強いコホープ性を示す。すなわち、任意の自己準同型が集合 $S$ を自明にしないならば、それは自己同型であるような有限集合 $S$ が存在する。
• このような群は、強いコホープ性および極限群構造の結果から、存在論的均質、素数、および $\Gamma$-決定的である。
• これらの群は、QFA（準有限公理化可能）でないが有限生成の素数群の最初の具体例を提供する。
• 非巡回なねじれなし双曲群は連結である。すなわち、有限指数の真の定義可能部分群を持たない。これは一般集合の議論と、HNN拡大との初等同値性を用いて示される。