[論文レビュー] Groups, measures, and the NIP

Ehud Hrushovski, Ya’acov Peterzil+1 more|ArXiv.org|Jul 18, 2006

Advanced Topology and Set Theory参考文献 22被引用数 5

ひとこと要約

この論文は、飽和したo-最小的構造における定義可能にコンパクトな群が、その最小の型定義可能部分群で有界な指数を持つ $G/G^{00}$ によってコンパクトに支配されることを確立している。$G/G^{00}$ は、元の群と同一の次元をもつコンパクトなリー群である。不変測度、NIP（独立性性質の否定）、および有限に満たされる一般性（fsg）の性質を用いて、著者たちはo-最小的群の予想を完全に証明し、$G/G^{00}$ がコンパクトなリー群であることを示した。また、コンパクト支配のもとで、一般集合がねじれ点を含むことを示した。

ABSTRACT

We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$ in saturated $o$-minimal structures to compact Lie groups. We also prove some other structural results about such $G$, for example the existence of a left invariant finitely additive probability measure on definable subsets of $G$. We finally introduce a new notion "compact domination" (domination of a definable set by a compact space) and raise some new conjectures in the $o$-minimal case.

研究の動機と目的

• 飽和したo-最小的構造における定義可能にコンパクトな群 $G$ に対して $G/G^{00}$ が同じ次元のコンパクトなリー群に同型であるという、o-最小的群の予想を完全に証明すること。
• 安定理論を超えてNIP理論における不変測度と一般性のモデル理論的枠組みを構築すること。
• 定義可能集合が商写像を介してコンパクト空間によって支配されるという、『コンパクト支配』という新しい概念を導入し、特にo-最小的文脈においてその性質を調査すること。
• NIP条件下で、定義可能にコンパクトな群の定義可能部分集合に左不変で、有限加法的確率測度が存在することを証明すること。
• コンパクト支配のもとで、定義可能にコンパクトな群の任意の一般定義可能部分集合がねじれ点を含むこと、そしてモデル理論的一般性と算術的構造との関係を確立すること。

提案手法

• NIP理論における、定義可能集合のブール代数へのKeislerの測度理論、特に不変および有限に満たされる測度を用いる。
• NIP仮定を用いて、共随伴のボレル可測性を導出し、測度の滑らかさと不変性を保証する。
• 安定群論的結果をNIP設定に一般化するための主要な帰納的道具として、『有限に満たされる一般性』（fsg）性質を導入する。
• 次元に関する帰納法を用い、o-最小的群の予想の証明を、可換群および定義的に単純な群のケースに還元する。
• 群 $G/G^{00}$ における論理的位相と $G$ における定義可能位相を用いて、前線集合（frontier sets）とその商写像 $\pi: G \to G/G^{00}$ による像を分析する。
• 文献[4]における $G^{00}$ 及びその陪多様体の定義的連結性の結果を応用し、$\pi$ による開集合の逆像が定義可能集合に含まれるか、または互いに素であることを示す。

実験結果

リサーチクエスチョン

• RQ1 飽和したo-最小的構造における任意の定義可能にコンパクトな群 $G$ に対して、$G/G^{00}$ が同じ次元のコンパクトなリー群に同型であるか？
• RQ2 NIP設定において、$G$ の定義可能部分集合に左不変で、有限加法的確率測度が存在することが示せるか？
• RQ3 『有限に満たされる一般性』（fsg）性質が、安定群論的結果をNIP群に拡張するのに十分か？
• RQ4 定義可能にコンパクトな群について、o-最小的構造においてコンパクト支配が成立するか、すなわち $G$ が位相的および測度論的に $G/G^{00}$ によって支配されるか？
• RQ5 このような $G$ の一般定義可能部分集合 $X$ は、ねじれ点を必ず含むか？ もしそうなら、$G/G^{00}$ におけるハール測度とどのように関係するか？

主な発見

• o-最小的群の予想は完全に証明された：$G$ が飽和したo-最小的構造において定義可能にコンパクトであれば、$G/G^{00}$ は次元が $\dim(G)$ に等しく、論理的位相を備えたコンパクトなリー群に同型である。
• 任意の定義可能にコンパクトな群 $G$ は、一意で滑らかで、左不変なKeisler測度を備え、これは有限加法的かつ自己同型に関して不変である。
• 群 $G$ が可換または定義的に単純であれば、$G$ は『有限に満たされる一般性』（fsg）性質を有する。また、fsgは拡張に関して保存され、帰納的証明が可能になる。
• 次元が1または非常に良い還元をもつ場合、$G$ は $G/G^{00}$ によってコンパクトに支配される。これは、任意の定義可能集合 $Y \subset G$ で $\dim(Y) < \dim(G)$ である場合、その像 $\pi(Y)$ がハール測度0をもつことを意味する。
• コンパクト支配のもとで、任意の一般定義可能部分集合 $X \subseteq G$ はねじれ点を含み、有限個のねじれ点 $g_1, \dots, g_k$ が存在して $G = \bigcup_i g_i X$ が成り立つ。これは、一般性とねじれ構造との関係を示している。
• $G^{00}$ は、単位元に無限に近い元の集合に正確に一致する。また、超積構成の文脈において $G_{\infty}^{00} = H$ であり、これは一般性とコンパクト支配を用いて $G_{\infty}^{00} = H$ が確認される。