[論文レビュー] A Note on Generic Types

Martin Ziegler|ArXiv.org|Aug 17, 2006

Advanced Topology and Set Theory被引用数 9

ひとこと要約

本稿では、a + b + c = 0 を満たす対ごとに独立な要素 a, b, c が同じ接続的安定化群 U を共有することを示すことにより、安定アーベル群における一般型を特徴づける。この U は定義可能であり、型定義可能な陪集合の差集合に等しい。主な結果は、このような要素が acl^eq(0)-定義可能な U の陪集合において一般的であることを示し、完全超越的の場合には U の次元に等しいモーリー次元を持つことである。

ABSTRACT

In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.

研究の動機と目的

• 安定アーベル群における一般型を、特に型定義可能な部分群の陪集合として特徴づけること。
• 和が0である対ごとに独立な要素の文脈において、強い型の安定化群を分析すること。
• 安定化群 U が定義可能で連結であること、および型が acl^eq(0)-定義可能な U の陪集合において一般的であることの確立。
• 完全超越的の場合に、Hom(p,q) の構造を型定義可能な部分集合として調査し、そのモーリー次元を評価すること。
• 和が0である三つの対ごとに独立な要素の安定化群が互いに等しく、連結で定義可能な部分群をなすことの証明。

提案手法

• 0 を台とする強型の実現を分析するために、モデル理論的独立性（分岐独立性）を用いる。
• 特にアーベル群における安定理論における強型およびその安定化群の概念を適用する。
• Hom(p,q) を、p の実現を g で平行移動すると q の実現になるような群の元 g の集合として定義する。
• モーリー次元の議論を用いて Hom(p,q) の次元を評価し、完全超越的の場合に MR(Hom(p,q)) ≤ MR(p) = MR(q) が成り立つことを示す。
• a + b + c = 0 と対ごとの独立性を用いて、型間での安定化群の対称性と等価性を導出する。
• 安定化群が型定義可能な集合の差集合（例：U = p(G) - p(G)）に等しいという事実を応用し、定義可能性と連結性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 安定アーベル群における一般型の安定化群の構造は何か？
• RQ2 和が0である対ごとに独立な三つの要素 a, b, c の安定化群どうしはどのように関係しているか？
• RQ3 強い型の安定化群が定義可能で連結であるための条件は何か？
• RQ4 完全超越的で安定なアーベル群における強い型 p と q に対して、Hom(p,q) のモーリー次元は何か？
• RQ5 群の元による平行移動の下での型の像を用いて、型の一般性を特徴づけられるか？

主な発見

• a, b, c の強い型はすべて同じ連結的安定化群 U を持ち、これは定義可能であり、p(G) - p(G) = q(G) - q(G) = r(G) - r(G) に等しい。
• 要素 a, b, c は acl^eq(0)-定義可能な U の陪集合において一般的であり、これはそれらの型が 0 の代数的閉包上で一般的であることを意味する。
• 完全超越的の場合、a, b, c のそれぞれのモーリー次元は U の次元に等しく、すなわち MR(a) = MR(b) = MR(c) = dim(U) が成り立つ。
• 集合 Hom(p,q) は G の acl^eq(0)-型定義可能な部分集合であり、G が完全超越的であれば定義可能である。
• Hom(p,q) は代数的閉包の性質を満たす：Hom(p,q) + Hom(q,r) ⊆ Hom(p,r) であり、Hom(p,q) = -Hom(q,p) = Hom(-q,-p) が成り立つ。
• 型 p の安定化群は p(G) - p(G) に含まれるが、等式が成り立ち、U が型定義可能な陪集合 p(G) の差集合であることが確認される。