[論文レビュー] Automorphism groups of saturated structures; a review

Daniel Lascar|ArXiv.org|Apr 15, 2003

Advanced Algebra and Geometry参考文献 13被引用数 4

ひとこと要約

この論文は、飽和構造の自己同型群のモデル理論的研究における最近の進展をレビューし、小指数性質、構造の自己同型群からの再構成、および強自己同型と虚数的自己同型の役割に焦点を当てる。多くの飽和モデル—特に可算および非可算 $\beth$-分類的または $\beth$-安定な構造—に対して、自己同型群の位相的構造はその純粋な群構造から完全に回復可能であり、これにより群論的不変量を用いた構造の再構成が可能になることが示された。

ABSTRACT

We will review the main results concerning the automorphism groups of saturated structures which were obtained during the two last decades. The main themes are: the small index property in the countable and uncountable cases; the possibility of recovering a structure or a significant part of it from its automorphism group; the subgroup of strong automorphisms.

研究の動機と目的

• 過去20年間における飽和モデルの自己同型群に関する研究の現状を調査すること。
• 飽和構造 $M$ がその自己同型群 $\mathrm{Aut}(M)$ からどの程度再構成可能であるかを調査すること。
• 小指数性質が群論的構造とモデル論的構造を結ぶ役割を分析すること。
• 群論的再構成において強自己同型および虚数的／類似虚数的要素の重要性を探索すること。
• 群の位相および定義可能部分群に関する結果を非可算飽和構造へと拡張すること。

提案手法

• 自己同型群に点ごとの収束位相を導入し、開部分群の構造を分析すること。
• 小指数性質を用いて、$\mathrm{Aut}(M)$ の純粋な群構造から位相的構造を回復すること。
• ポリッシュ位相的構造における可算個の稠密開集合の共通部分集合としての一般化自己同型の研究。
• $\mathrm{Gal}(T)$ を $\mathrm{Aut}(M)$ をその単位元の閉包で割った商群として導入し、有界なハイパーイメージナリーやそれを捉える。
• 有限集合 $A$ に対して $\mathrm{Autf}_A(M)$ の構成を用いて位相 $\mathcal{T}_a(M)$ を定義し、非可算基数へと一般化すること。
• 基数の算術的仮定（例：$\lambda^{<\lambda} = \lambda$）を用いて、さまざまな基数において位相および群構造を再構成すること。

実験結果

リサーチクエスチョン

• RQ1 飽和構造 $M$ がその自己同型群 $\mathrm{Aut}(M)$ から再構成可能となる条件は何か？
• RQ2 小指数性質が $\mathrm{Aut}(M)$ の位相的構造をその群論的構造からどの程度回復可能にするか？
• RQ3 強自己同型および虚数的要素は、特に定義可能部分群の文脈において $\mathrm{Aut}(M)$ の構造とどのように関係するか？
• RQ4 非可算基数 $\lambda$ の飽和モデルの自己同型群が $\lambda^{<\lambda} = \lambda$ の下でその群構造から再構成可能か？
• RQ5 群 $\mathrm{Gal}_0(T)$、すなわち $\mathrm{Gal}(T)$ をその単位元の閉包で割った商群は、有界なハイパーイメージナリーやそれらを捉える役割を果たすか？

主な発見

• 小指数性質は、ランダムグラフ、無限集合、有限体上のベクトル空間、および $\omega$-分類的 $\omega$-安定理論などの可算飽和構造に対して成立する。
• このような構造に対しては、$2^{\aleph_0}$ より小さい指数をもつ部分群は、すべてある有限集合 $A$ に対して $\mathrm{Aut}_A(M)$ を含むものに一致し、これにより群構造からの位相的再構成が可能になる。
• 一般化自己同型（$G_\delta$-稠密な共共役類をもつ）の存在は、多くの場合に小指数性質を示すための重要な道具である。
• 非可算の場合、$\lambda^{<\lambda} = \lambda$ の下では、指数が $\lambda$ 以下の部分群は、すべて $|A| < \lambda$ なる $A$ に対して $\mathrm{Aut}_A(M)$ を含むものに一致し、これにより $\mathcal{T}_\lambda$-位相の再構成が可能になる。
• $\mathrm{Gal}_0(T)$ は、$H_0$ を単位元の閉包として $\mathrm{Gal}(T)/H_0$ として定義され、有界なハイパーイメージナリーやそれらに忠実に作用するコンパクトハウスドルフ群である。
• GCHの下で、$\mathrm{Aut}(M_1) \cong \mathrm{Aut}(M_2)$ ならば、$\mu^{++}$ の濃度における飽和モデル $M_1$ と $M_2$ に対して、共通の濃度において飽和モデルが存在し、それらの自己同型群は同型である。