[論文レビュー] Diophantine Geometry over Groups X: The Elementary Theory of Free Products of Groups

Zlil Sela|arXiv (Cornell University)|Nov 30, 2010

Geometric and Algebraic Topology参考文献 12被引用数 13

ひとこと要約

本稿は、任意の群の自由積の1階理論に対して一様な量化記号除去とモデル理論的還元を確立し、係数のない文および述語を自由積の因子へ還元可能にする非標準的な階付き分解を導入する。主な貢献は、自由積形成における基本的同値性の保存を証明し、自由積上の係数のない文が、因子上の文の有限論理和の論理積に同値であることを示したことである。その際、特定の群に依存しない一様な境界が得られる。

ABSTRACT

This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over few classes of groups. In the 10th paper we answer affirmatively a question of R. L. Vaught on the elementary equivalence of free products of pairs of elementarily equivalent groups, and obtain a generalization of Tarski's problem on the elementary equivalence of non-abelian free groups. Finally, we prove that free products of stable groups is stable, generalizing a previous result on the stability of free groups.

研究の動機と目的

• 任意の群の自由積の1階理論に対する一様なモデル理論的枠組みの構築。
• 自由群および双曲群における量化記号除去技法を任意の自由積へ一般化すること。
• 自由積の基本的理論がその因子の基本的理論にのみ依存することを証明し、基本的同値性の保存を確立すること。
• 特定の群構造に依存しない、自由積上の係数のない文および述語の自由な還元を提供すること。
• 方程式的ネーター性を、可算でない群に対しても含む任意の群へ一般化し、方程式的ネーター性を自由積へ拡張すること。

提案手法

• 自由積上での階付き極限群および剛性／弱く固体な族を導入し、自由群および双曲群からの概念を一般化する。
• 自由積上の連立不定方程式系に対して、解集合を符号化する非標準的なマカニン＝ラズボロフ型図式（分解）を構成する。
• 剛性および（弱く）固体な族の組合せ的有界性を証明し、過去の研究で失われた強い有界性結果を置き換える。
• 形式的マカニン＝ラズボロフ図式を用いて、自由積上のAE文および述語を分析し、メルツリヤコフ型定理を一般化する。
• 自由積上の係数のない文および述語の、因子上の文および述語の有限組み合わせへの一様還元を構築する。
• 分解枠組みを用いて、任意の係数のない文が、因子上の文の有限論理和の論理積に同値であることを証明し、一様な境界を得る。

実験結果

リサーチクエスチョン

• RQ1 自由積の基本的理論は、群構造に依存せず、その因子の基本的理論にのみ依存するか？
• RQ2 自由積上の係数のない1階文は、群に依存しない一様な還元が可能か？ その際の境界も同様に一様か？
• RQ3 階付き分解のような一様なモデル理論的メカニズムが存在し、自由積における量化記号除去および定義可能集合の還元を可能にするか？
• RQ4 方程式的ネーター性は、可算でない群に対しても、その自由積へ拡張可能か？
• RQ5 自由積の1階理論とその因子の1階理論との正確な関係は何か？ これは有限かつ一様な変換で記述可能か？

主な発見

• 定理6.1は、$D_{\infty}$を除くすべての非自明な自由積に対して、係数のない述語の非標準的だが普遍的な有限個の階付き分解の集合を確立する。
• 定理6.3は、自由積上の任意の係数のない文が、因子上の係数のない文の有限論理和の論理積に同値であることを示し、因子への一様な還元を可能にする。
• 定理7.1は、$A_1 \equiv A_2$ かつ $B_1 \equiv B_2$ ならば $A_1 * B_1 \equiv A_2 * B_2$ が成り立つことを証明し、自由積形成における基本的同値性の保存を確立する。
• 定理7.2は、自由群のTarski問題を一般化し、任意の非$\mathbb{Z}_2$群$A$または$B$および任意の自由群$F$に対して、$A*B$が$A*B*F$と基本的同値であることを示している。これは、自由群を加えても基本的理論が変わらないことを意味する。
• 定理7.3は、文$\Phi$にのみ依存する一様な境界$k(\Phi)$を確立し、$\Phi$が$H_1*\cdots*H_n$ですべての$n \geq k(\Phi)$に対して成り立つことと、$H_1*\cdots*H_{k(\Phi)}$で成り立つことが同値であることを示している。ここで$k(\Phi)$は群$H$に依存しない。
• 本稿は、任意の自由積$A*B$が方程式的ネーター的であることを証明しており、$A$および$B$が可算でない場合でも成り立つ。これは、部分群生成と分解完了を用いて一般の場合を可算の場合に還元することで達成される。