[論文レビュー] Locally Moving Groups and the Reconstruction Problem for Chains and Circles

Stephen H. McCleary, Matatyahu Rubin|ArXiv.org|Oct 6, 2005

Geometric and Algebraic Topology参考文献 25被引用数 14

ひとこと要約

本稿では、稠密な鎖または円のデデキンド完備化が、局所的に動くかつ弱い推移性条件（鎖では2区間推移性、円では3区間推移性）を満たす自己同型群から再構成可能であることを確立している。主な結果は、このような自己同型群間の任意の群同型が、完備化された構造上の順序または向きを保つ一意な双対写像から生じることである。

ABSTRACT

We prove that complete Boolean algebras can be reconstructed from any locally moving subgroup of their full automorphism group. We use this theorem in order to prove that linear orders and circles can be reconstructed from small subgroups of their full automorphism groups.

研究の動機と目的

• 稠密な鎖または円の順序構造が、その自己同型群からどの程度再構成可能かを調査すること。
• このような再構成が可能となる最小の群論的条件（局所的運動と区間推移性）を同定すること。
• このような構造の自己同型群が、群同型を通じて順序または円形順序の全情報を、向きの反転を除いて完全に符号化していることを示すこと。
• 基礎となる順序構造の1階論理的解釈を、自己同型群内に拡張すること。
• 推移性の性質（例：n区間推移性）が再構成を可能にする強さを検討すること。

提案手法

• 任意の開区間が、その補集合を固定する非自明な群元をもつ群を「局所的に動く群」と定義する。
• 任意のn個の互いに素な区間を、別のn個の互いに素な区間へ写す群元が存在する性質を「n区間推移性」と定義する。
• 前後法を用いて、有限部分順序同型を拡張しつつ群構造を保つ群元を構成する。
• 自己同型群内に、デデキンド完備化および順序／円形順序関係の1階論理的解釈を確立する。
• 完備化における群の作用を軌道ごとに分析し、凸ブロックを特定し、推移性のレベルを同定する。
• 2区間推移性が3区間推移性や2順序推移性よりも厳密に弱いことを示す反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 稠密な鎖の順序型が、その自己同型群からどの群論的条件下で再構成可能か。
• RQ2 稠密な円の円形順序が、その自己同型群から再構成可能か。そのために必要な推移性条件は何か。
• RQ3 自己同型群内から、基礎となる順序構造の1階論理的解釈はどの程度自然に現れるか。
• RQ4 弱い推移性（例：2区間推移性）と強いもの（例：3区間推移性）との強さの比較は。
• RQ5 順序または向きを保つ双対写像から生じない自己同型群間の群同型は存在するか。

主な発見

• もし $ G_1 \to \text{Aut}(L_1) $ および $ G_2 \to \text{Aut}(L_2) $ が、稠密な鎖 $ L_1, L_2 $ 上で局所的に動いており、2区間推移性を満たすならば、任意の群同型 $ \theta: G_1 \to G_2 $ は、一意な単調な双対写像 $ \tau: \bar{L}_1 \to \bar{L}_2 $ から生じる。
• 2区間推移性を満たすが、3区間推移性や任意の軌道上で2順序推移性を満たさない群が存在することから、2区間推移性が最小の条件であることが示された。
• 円形順序構造 $ \text{CR}(L) $ について、$ G_i \to \text{Aut}(\text{CR}(L_i)) $ が局所的に動いており、3区間推移性を満たすならば、任意の群同型 $ \theta: G_1 \to G_2 $ は、一意な向きを保つまたは反転する双対写像 $ \tau: \text{CR}(\bar{L}_1) \to \text{CR}(\bar{L}_2) $ から生じる。
• $ G $ が $ \bar{L} $（または $ \text{CR}(\bar{L}) $）の稠密部分集合上で作用するとき、その作用は $ G $ 内に1階論理的解釈として可能であり、順序構造が群内に定義可能であることを意味する。
• $ \text{ED}(L) $ において、3区間推移性はすべての $ n $ に対して $ n $-区間推移性を含み、同様に $ \text{EO}(L) $ において4区間推移性が成立するならば、同様の性質が成り立つ。
• 2区間推移性が2順序推移性を含まない反例が存在し、群が空間上で推移的である場合でさえも、そのことが成り立つ。