[論文レビュー] On NIP and invariant measures

Ehud Hrushovski, Anand Pillay|ArXiv.org|Oct 11, 2007

Advanced Topology and Set Theory参考文献 13被引用数 14

ひとこと要約

この論文は、NIP理論、分離独立性、不変測度の間の基礎的関係を確立し、NIP文脈において、Lascar強タイプがコンパクト強タイプと一致すること、非分離拡張がbdd(A)上ではBorel定義可能であること、およびfsg群におけるグローバル不変Keisler測度が一意に定まることを証明する。また、o-最小的構造における可換な定義可能コンパクト群に対するコンパクト支配予想を解決する。

ABSTRACT

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd(A)$ (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ definably amenable, (iii) definitions, characterizations and properties of "generically stable" types and groups (iv) uniqueness of translation invariant Keisler measures on groups with finitely satisfiable generics (vi) A proof of the compact domination conjecture for definably compact commutative groups in $o$-minimal expansions of real closed fields.

研究の動機と目的

• NIP理論において、完全な安定性を欠くが独立性性質を避ける文脈で、分離およびタイプ拡張に関する安定的挙動を回復すること。
• NIP設定において、Lascar強タイプ、コンパクト強タイプ、およびグローバル非分離拡張のBorel定義可能性の間の関係を明確化すること。
• 定義可能アメニタリティおよび一般タイプの結果を、有限に満たされる一般タイプ（fsg）を持つ定義可能群へと拡張し、Keisler測度を通じて統合すること。
• 実閉体のo-最小的拡張における可換な定義可能コンパクト群に対するコンパクト支配予想を証明すること。
• NIP文脈における「一般に安定な」タイプおよび群を導入・特徴づけ、先行研究における安定に支配されるタイプおよび群の一般化を行うこと。

提案手法

• NIP理論における分離独立性を用いて、bdd(A)上での自己同型による不変性およびBorel定義可能性によって非分離拡張を特徴付ける。
• Vapnik-Chervonenkis（VC）定理の適用により、bdd(A)上での不変Keisler測度のBorel定義可能性を証明し、測度論とモデル理論的安定性を結びつける。
• 4.6を用いて不変Keisler測度をbdd(A)不変タイプの空間上のBorel測度に還元し、4.8を用いて不変タイプの頻度平均に還元することで、測度論的解析を可能にする。
• 有限同値関係定理および独立性定理をNIP設定に適応し、不変性と定義可能性を用いて、定常性に類似した振る舞いを回復する。
• o-最小的構造における次元論および代数的独立性を用いて、定義可能な集合の非自明性を証明し、定義可能なスコーレム関数の存在を確立する。
• 商群G/G⁰⁰の解析および飽和拡張における定義可能な強くo-最小的集合の構造を用いて、コンパクト支配を証明する。

実験結果

リサーチクエスチョン

• RQ1 NIP理論において、A上でのタイプのグローバル非分離拡張が、そのLascar強タイプおよびコンパクト強タイプと一致するのはどのような場合か？
• RQ2 A上でのグローバルKeisler測度が不変で、かつbdd(A)上でBorel定義可能である条件は何か？ これは定義可能アメニタリティとどのように関係するか？
• RQ3 NIP文脈における一般に安定なタイプおよび群はどのように特徴づけられるか？ また、これらはどのようにして安定および安定に支配されるタイプ・群を一般化するか？
• RQ4 有限に満たされる一般タイプ（fsg）を持つ定義可能群には、一意な不変Keisler測度が存在するか？ これはハール測度や安定群のタイプとどのように関係するか？
• RQ5 実閉体のo-最小的拡張における可換な定義可能コンパクト群に対して、コンパクト支配予想は成り立つか？ そして、モデル理論的道具を用いて証明可能か？

主な発見

• NIP理論において、タイプp = tp(b/A)がA上で分離しないならば、そのLascar強タイプはA上でコンパクト強タイプと一致し、pの任意のグローバル非分離拡張はbdd(A)上でBorel定義可能である。
• Keisler測度に関して、A上で分離しないグローバル測度はbdd(A)上でBorel定義可能であり、この結果はVapnik-Chervonenkis定理に依存する。
• 定義可能群Gの定義可能アメニタリティは、分離の観点から一般タイプが存在することと同値であり、[13]の結果を一般化する。
• fsg群においては、一意な平行移動不変Keisler測度が存在し、これはコンパクト群におけるハール測度の一意性および安定群におけるグローバル不変タイプの一意性を両方一般化する。
• 可換な定義可能コンパクト群について、o-最小的実閉体の拡張におけるコンパクト支配予想は成り立ち、商群G/G⁰⁰の解析および定義可能なo-最小的集合の構造を用いて証明された。
• NIP理論における一般に安定なタイプは、その非分離拡張が定義可能かつ有限に満たされるという性質によって特徴づけられ、安定および安定に支配されるタイプ・群を一般化する。