[論文レビュー] On central extensions and definably compact groups in o-minimal structures

Ehud Hrushovski, Ya’acov Peterzil+1 more|ArXiv.org|Nov 1, 2008

Advanced Topology and Set Theory参考文献 18被引用数 8

ひとこと要約

この論文は、o-極小構造における定義可能にコンパクトな群について基礎的な結果を確立し、それらが半代数的実リー群と論理的に同値であり、半単純群と可換群のほぼ直積に分解されることを証明する。中心的および有限被覆の解釈可能性を用いて、コンパクト支配予想を確認し、定義可能実リー群の普遍被覆が、o-極小的拡張において解釈可能であることを示す。

ABSTRACT

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is elementarily equivalent to (G/G^00, .). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as the full compact domination conjecture. These results depend on key theorems about the interpretability of central and finite extensions of definable groups, in the o-minimal context. These methods and others also yield interpretability results for universal covers of arbitrary definable real Lie groups, from which we can deduce the semialgebraicity of finite covers of Lie groups such as SL(2,R).

研究の動機と目的

• 実閉体のo-極小拡張における定義可能にコンパクトな群と、その群から無限小部分群 $G^{00}$ による商との論理的同値性を解明すること。
• o-極小構造における定義可能群の中心的および有限被覆についての解釈可能性結果を確立し、構造的解析を可能にする。
• 半単純および可換の場合に既に解決済みの結果に還元することで、定義可能にコンパクトな群に対する完全なコンパクト支配予想を証明すること。
• 定義可能実リー群の普遍被覆が、被覆の核が与えられた場合に、$\mathbb{R}$ のo-極小拡張において解釈可能であることを示すこと。
• 定義可能に連結でない定義可能群に対し、連結部分と有限部分への分解を用いて、論理的同値性の結果を一般化すること。

提案手法

• 中心的被覆の解釈可能性に関する鍵的な技術的結果（定理 2.1）を証明し、適切な条件下で $\tilde{G}$ が $\langle G, Z(\tilde{G})\rangle$ に解釈可能であることを示す。
• 解釈可能性の結果を用いて、定義可能にコンパクトかつ定義可能に連結な群が、半代数的実リー群と論理的に同値であることを導く。
• コンパクト支配予想を、半単純および可換の場合への還元によって適用し、これらは既に解決済みである。
• 二-sort構造（ベースのo-極小構造と被覆の核を含む）において、定義可能実リー群の有限被覆および普遍被覆の解釈可能性を確立する。
• アーベル構造における定量子除去と、定義可能な部分群の性質を活用し、基本的部分構造および準同型射の再構成を分析する。
• 定義可能なスコーレム関数性と定義可能な同型写像を用い、群の実現を $M^n$ の部分集合として保証し、位相的およびモデル理論的道具と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 実閉体のo-極小拡張における定義可能にコンパクトな群は、$G^{00}$ による商と論理的に同値か？
• RQ2 o-極小構造における定義可能群の中心的被覆は、ベース群とその中心において解釈可能か？
• RQ3 定義可能実リー群の有限または普遍被覆は、$\mathbb{R}$ のo-極小拡張においてどの程度解釈可能か？
• RQ4 半単純および可換群に関する既知の結果から、定義可能にコンパクトな群に対するコンパクト支配予想が導かれるか？
• RQ5 定義可能に連結でない定義可能群は、半代数的リー群としての論理的同値性において、どのように関係するか？

主な発見

• o-極小構造における定義可能にコンパクトかつ定義可能に連結な群 $G$ は、半代数的実リー群と論理的に同値であり、特に $\mathbb{R}^{\dim G_0} \times \mathbb{T}^{\dim G_1}$ に同値である。
• 任意の定義可能にコンパクトな群 $G$ は、半単純群と可換群の定義可能なほぼ直積として表され、これはコロナリー 6.4 で示されている。
• 半単純群 $G$ とアーベル群 $A$ による中心的被覆 $\tilde{G}$ は、本質的に $\langle G, A \rangle$ と双解釈可能である。これは定理 6.1 による。
• 実閉体のo-極小拡張における定義可能にコンパクトな群に対する完全なコンパクト支配予想は、半単純および可換の場合の結果から導かれる。
• 定義可能実リー群 $G$ の普遍被覆 $\pi: \tilde{G} \to G$ は、二-sort構造 $\langle \mathbb{R}, \ker(\pi) \rangle$ において解釈可能である。これは定理 8.4 で示されている。
• 定義可能群の論理的同値性は、定義可能に連結でない群に対しても拡張可能である：$G$ は、同じ次元の実代数的数上で定義可能な半代数的群 $H$ と論理的に同値である。