[論文レビュー] Automorphism groups of randomized structures

Tomás Ibarlucía|arXiv (Cornell University)|May 2, 2016

Advanced Topology and Set Theory参考文献 31被引用数 10

ひとこと要約

本稿は、可分でℵ₀-カテゴリーな距離構造のボレル確率化の自己同型群を調査し、自己同型群が可測なワルプロダクト $G \wr \Omega = L^0(\Omega, G) \rtimes \mathrm{Aut}(\Omega)$ に同型であることを示している。ここで $G = \mathrm{Aut}(M)$ で、$\Omega$ は標準的確率空間である。$G$ がロエルケ前コンパクトであれば、$G \wr \Omega$ に対しても同様にロエルケ前コンパクトであることが示され、安定性およびNIP論理式の保存に関する結果をバナッハ的コンパクト化を用いたモデル理論的解釈がなされている。

ABSTRACT

We study automorphism groups of randomizations of separable structures, with focus on the $\aleph_0$-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original structure. In the $\aleph_0$-categorical context, this provides a new source of Roelcke precompact Polish groups, and we describe the associated Roelcke compactifications. This allows us also to recover and generalize preservation results of stable and NIP formulas previously established in the literature, via a Banach-theoretic translation. Finally, we study and classify the separable models of the theory of beautiful pairs of randomizations, showing in particular that this theory is never $\aleph_0$-categorical (except in basic cases).

研究の動機と目的

• 可分でℵ₀-カテゴリーな距離構造のボレル確率化の自己同型群を特徴付ける。
• 得られた自己同型群の力学的性質、特にロエルケ前コンパクト性およびコンパクト化を調査する。
• 確率化理論における安定およびNIP論理式の保存結果を、コンパクト化およびバナッハ表現を用いて回復・一般化する。
• 確率化の美しい対の理論の可分モデルを分類し、そのモデル理論的性質を分析する。

提案手法

• 構造 $M$ のボレル確率化の自己同型群を記述するために、可測ワルプロダクト構成 $G \wr \Omega = L^0(\Omega, G) \rtimes \mathrm{Aut}(\Omega)$ を用いる。ここで $G = \mathrm{Aut}(M)$ である。
• 群 $G$ の作用によって誘導される $G \wr \Omega$ の等長作用を適用し、近似的なオリゴモルフィズムおよびロエルケ前コンパクト性が $G$ から $G \wr \Omega$ へと持ち上がる（上昇）ことを示す。
• ロエルケコンパクト化 $R(G \wr \Omega)$ を $R(G)$ を用いて明示的に構成し、ヒルベルト表現可能性や半群構造といった性質がワルプロダクトへと持ち上がる（上昇）ことを証明する。
• 確率化構造における型空間の表現を用いて、モデル理論的保存結果をバナッハ理論的文に翻訳する。
• 確率化の美しい対の理論 $(T_R)^P$ の可分モデルを分類し、非自明な場合にℵ₀-カテゴリーでないことを示す。
• 補助的 sorted と確率化の間の双解釈可能性を用い、$(M^{\Omega_2}, N^{\Omega})^{\mathrm{AP}}$ の自己同型群を $G^*_{\mathrm{P}}$ と $\mathrm{Aut}(\Omega_1) \wr \Omega_0$ を含む半直積として記述する。

実験結果

リサーチクエスチョン

• RQ1 可分でℵ₀-カテゴリーな構造のボレル確率化の自己同型群は、元の構造の自己同型群とどのように関係しているか？
• RQ2 ボレル確率化の自己同型群が元の群からロエルケ前コンパクト性をどのように引き継ぐか？
• RQ3 確率化理論における安定性およびNIP論理式の保存結果は、コンパクト化およびバナッハ表現を用いて回復可能か？
• RQ4 確率化の美しい対の理論の可分モデルは何か？また、この理論がいつℵ₀-カテゴリーか？
• RQ5 確率化されたモデルの美しい対の自己同型群の構造はどのようなものか？

主な発見

• 可分構造 $M$ のボレル確率化の自己同型群は、可測ワルプロダクト $G \wr \Omega$ に同型であり、ここで $G = \mathrm{Aut}(M)$ である。
• もし $G$ がロエルケ前コンパクトであれば、$G \wr \Omega$ に対しても同様にロエルケ前コンパクトであり、そのロエルケコンパクト化 $R(G \wr \Omega)$ は $R(G)$ を用いて明示的に記述できる。
• ヒルベルト表現可能性や $R(G)$ に一貫した半群構造が存在するといった性質が、$R(G \wr \Omega)$ へと持ち上がる（上昇）ことが示された。
• 本稿は、型空間のバナッハ的コンパクト化を用いて、確率化理論における安定性およびNIPの保存の新規な群論的証明を提供する。
• 確率化の美しい対の理論 $(T_R)^P$ は、$T$ がコンパクト構造の理論でない限り、決してℵ₀-カテゴリーではない。
• 美しい対 $(M^{\Omega_2}, N^{\Omega})^{\mathrm{AP}}$ の自己同型群は、$G^*_{\mathrm{P}} \rtimes (\mathrm{Aut}(\Omega_1) \wr \Omega_0)$ に同型であり、ここで $G^*_{\mathrm{P}} = \{g \in G^{\Omega_2} : g|_{N^{\Omega}} \in \mathrm{Aut}(N)^{\Omega}\}$ である。