[論文レビュー] Definably amenable NIP groups

Artem Chernikov, Pierre Simon|arXiv (Cornell University)|Feb 15, 2015

Advanced Topology and Set Theory参考文献 16被引用数 11

ひとこと要約

この論文は、定義可能にアメーブルなNIP群の包括的な理論を確立し、さまざまな一般化の概念と不変測度を統合し、エルゴード的測度が一般化型に対応することを証明し、有界軌道に関するPetrykowskiの予想を検証し、NIP群におけるモデル理論的連結成分とEllis包合半群の理想部分群を結びつけることでEllis群予想を確認する。

ABSTRACT

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a proof of the conjecture of Petrykowski connecting existence of bounded orbits with definable amenability in the NIP case, and the Ellis group conjecture of Newelski and Pillay connecting the model-theoretic connected component of an NIP group with the ideal subgroup of its Ellis enveloping semigroup.

研究の動機と目的

• 定義可能にアメーブルなNIP群における一般化の異なる定義を統一・明確化すること。
• NIP群における定義可能集合上の不変測度の整合的な理論を構築すること。
• 有界軌道がNIP設定における定義可能アメーブル性を意味することを示すPetrykowskiの予想を証明すること。
• Ellis群予想を検証し、NIP群のモデル理論的連結成分をそのEllis包合半群の理想部分群と結びつけること。
• 不変測度の理論を、群上のグローバル測度を用いて、定義可能な$ G $-空間に拡張すること。

提案手法

• 飽和モデル$ \mathcal{U} $を用いて、NIP構造における定義可能集合と型を扱う。
• イデアルによる測度拡張技術を適用：ブール代数$ B_0 $上の測度$ \nu_0 $を、指定されたイデアル$ I $上で消えるグローバル測度$ \nu $へ拡張する。
• 商$ G/G^{00} $のコンパクト性を用い、$ h_0 $-可測関数を測度$ G/G^{00} $から得ることで、$ G $上の$ G $-不変測度$ \tilde{\mu} $を積分により定義する。
• 基点$ x_0 $における作用を通じて、同次空間$ X $上の$ G $-不変測度と$ G $上の$ G $-不変測度との間の対応を構成する。
• $ G/G^{00} $がコンパクトであること、および$ G^{00} $-不変型が商上の測度に対応することを活用する。
• NIP構造における$ f $-一般化型、$ G^{00} $-不変性、VC次元の有限性といったモデル理論的道具を用い、測度の拡張と不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 定義可能にアメーブルなNIP群における、一般化のこれまでに検討されたさまざまな定義は一致するか？
• RQ2 NIP群における有界軌道と定義可能アメーブル性の正確な関係は何か？
• RQ3 NIP群における不変測度とEllis包合半群の関係は何か？
• RQ4 任意の同次$ G $-空間上の$ G $-不変測度は、群上の$ G $-不変測度から基点での作用により引き起こされるか？
• RQ5 商$ G/G^{00} $は、定義可能集合上の不変測度を実現するために果たす役割は何か？

主な発見

• 定義可能にアメーブルなNIP群における、これまでに検討されたすべての一般化の定義が一致することが示された。
• Petrykowskiの予想が確認された：定義可能にアメーブルなNIP群は、有界軌道を持つことと、定義可能にアメーブルであることとが同値である。
• Ellis群予想が証明された：モデル理論的連結成分$ G^{00} $は、Ellis包合半群の理想部分群に対応する。
• 任意の同次$ G $-空間上の$ G $-不変測度は、基点での作用を通じて、群上の$ G $-不変測度から導出可能である。
• 同次空間上の$ G $-不変測度から、$ G/G^{00} $での積分を用いて、$ G $上のグローバル$ G $-不変測度を構成可能であり、その測度は$ f $-一般化型に台を持つ。