[論文レビュー] Automatic Homeomorphicity of Locally Moving Clones

Robert Barham|arXiv (Cornell University)|Dec 1, 2015

Advanced Topology and Set Theory参考文献 11被引用数 4

ひとこと要約

本稿では、$(\mathbb{Q},<)$ や $(\mathbb{L},C)$ の還元および Fraïssé の一般化ブール代数を含む特定の同型的構造の多様写像クローンに対して、'局所的に動くクローン' の概念を導入することで、それらの多様写像クローンの自動的位相同相性を確立する。構造が2つの条件—非自明な自己同型群および自己準同型と埋め込みの一致—を満たすならば、その多様写像クローンは局所的に動くことが示され、したがってすべての多様写像クローンに関して自動的位相同相性を有する。

ABSTRACT

We extend the work of M. Rubin on locally moving groups to clones, showing that a locally moving polymorphism clone has automatic homeomorphicity with respect to the class of all polymorphism clones. We show that if $\mathrm{Pol}(M,\mathcal{L})$ is the polymorphism clone of a reduct of $(\mathbb{Q},

研究の動機と目的

• ルービンの局所的に動く群フレームワークを多様写像クローンへと拡張すること。
• 多様写像クローンにおける自動的位相同相性のための新しい基準—'局所的に動くクローン'—を確立すること。
• $(\mathbb{Q},<)$ や $(\mathbb{L},C)$ の還元を含む、可算な同型的構造の広いクラスに対して、自動的位相同相性が成り立つ条件を、やや弱いモデル理論的条件下で示すこと。
• Fraïssé の一般化ブール代数の多様写像クローンが局所的に動くこと、したがって自動的位相同相性を有することを証明すること。
• 制約充足問題（CSP）における自動的位相同相性に関する先行研究を統合・一般化するために、単一の構造的基準を用いること。

提案手法

• ルービンの局所的に動く群をクローンへ一般化した概念である '局所的に動くクローン' を導入する。
• 2つの条件を定義する：(1) 自己同型群が局所的に動くこと；(2) 任意の単項関数に対して、'代数的に標準的' な類似要素が存在すること。
• 先行研究における特別な自己準同型に類似する '共役可能' な自己準同型の存在を用いて、単項関数のモノイドにおける共役を模倣する。
• 有理数直線 $\mathbb{Q}$ の正則開集合の代数と一般化ブール代数との同型関係を活用し、$\mathbb{Q}$ から $\mathcal{B}$ への構造的性質の転送を行う。
• 量化子除去、同型性、型の実現といったモデル理論的道具を用いて、必要な自己同型および埋め込みを構成する。
• 各埋め込み $f$ に対して、自己埋め込み $g$ を構成し、$g$ および $gf$ が $\mathbb{Q}$ の2次自己同型群に関して共役可能であることを示すことで、モノイド条件を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、多様写像クローンがすべての多様写像クローンに関して自動的位相同相性を有するか？
• RQ2 局所的に動く群の手法を、自己同型群に限らずクローンに対しても適応可能か？
• RQ3 どのような構造的性質が、その多様写像クローンが局所的に動くことを保証するか？
• RQ4 Fraïssé の一般化ブール代数の多様写像クローンは自動的位相同相性を満たすか？
• RQ5 $\mathrm{Aut}(M,\mathcal{L}) \neq \mathrm{Aut}(M,=)$ および $\mathrm{End}(M,\mathcal{L}) = \mathrm{Emb}(M,\mathcal{L})$ の条件は、局所的可動性とどのように関係するか？

主な発見

• $(\mathbb{Q},<)$ や $(\mathbb{L},C)$ の還元 $(M,\mathcal{L})$ で、$\mathrm{Aut}(M,\mathcal{L}) \neq \mathrm{Aut}(M,=)$ かつ $\mathrm{End}(M,\mathcal{L}) = \mathrm{Emb}(M,\mathcal{L})$ を満たすものについては、その多様写像クローンは局所的に動くため、自動的位相同相性を有する。
• Fraïssé の一般化ブール代数 $\mathcal{B} = (\mathbb{B}, \cup, \cap, ^c, 1, 0)$ の多様写像クローンは局所的に動くため、自動的位相同相性を有する。
• 一般化ブール代数の自己同型群は $\mathrm{Aut}(\mathbb{Q},<)$ に同型であり、これはすでに局所的に動くことが知られている。
• $\mathbb{Q} \times \mathbb{Q}$ の辞書式順序をもつ区間の有限和からなる空間 $E(\mathcal{B})$ は $\mathcal{B}$ に同型であり、これにより構造的性質の転送が可能になる。
• 任意の $\mathrm{Emb}(\mathcal{B})$ 内の埋め込み $f$ に対して、自己埋め込み $g$ が存在し、$g$ および $gf$ が $\mathbb{Q}$ の2次自己同型群に関して共役可能である。これはモノイド条件を満たす。
• 証明により、自動的位相同相性は特定のクローンに限らず、同じ自己準同型モノイドを共有するクローンの族に対しても成り立つことが示された。これは単項関数に基づく基準のおかげである。