[論文レビュー] A counterexample to the reconstruction of $\omega$-categorical structures from their endomorphism monoids

Manuel Bodirsky, David M. Evans+2 more|arXiv (Cornell University)|Oct 1, 2015

Advanced Algebra and Logic参考文献 9被引用数 7

ひとこと要約

本稿では、ω-カテゴリー的構造がその自己準同型モノイドから再構成可能かどうかについて反例を提示する。有限関係的言語における可算なω-カテゴリー的構造が、同型な自己準同型モノイドをもつが、位相的に同型でない例が示され、このような構造は、自己準同型モノイドから存在的正規双解釈に関して再構成可能ではなく、自己同型群から一階双解釈に関して再構成可能ではなく、多様体のクローンから原始的正規双解釈に関して再構成可能でないことが示される。

ABSTRACT

We present an example of two countable $\omega$-categorical structures, one of which has a finite relational language, whose endomorphism monoids are isomorphic as abstract monoids, but not as topological monoids -- in other words, no isomorphism between these monoids is a homeomorphism. For the same two structures, the automorphism groups and polymorphism clones are isomorphic, but not topologically isomorphic. In particular, there exists a countable $\omega$-categorical structure in a finite relational language which can neither be reconstructed up to first-order bi-interpretations from its automorphism group, nor up to existential positive bi-interpretations from its endomorphism monoid, nor up to primitive positive bi-interpretations from its polymorphism clone.

研究の動機と目的

• ω-カテゴリー的構造がその自己同型群、自己準同型モノイド、または多様体のクローンから再構成可能かどうかを調査すること。
• これらの代数的対象間の同型が位相的同型を意味するかどうかを特定すること。
• ω-カテゴリー的構造の文脈において、モノイドと群の再構成の整合性に関する未解決問題を解消すること。
• 再構成が弱い意味の解釈可能性ですら失敗する、明示的なω-カテゴリー的構造の例を構成すること。

提案手法

• エヴァンスとヒューイット（1990）の、オリゴモーフィック群間の非位相的同型を用いた構成を活用すること。
• ハルシュォフスキーの方法を用いて、無限関係的言語で記述された構造をモデル完備性を保ちつつ有限関係的言語に符号化すること。
• その自己準同型モノイドがベース構造Bと同型だが、位相的に同型でない有限関係的記述を持つ構造Cを構築すること。
• Cの多様体クローンが、関連する構造の自己同型群によって生成される関数クローンと同型だが、位相的に同型でないことを証明すること。
• 位相的群論とωωにおけるオリゴモーフィック群の閉包を用いて、モノイドおよび群の同型を分析すること。
• モデル完備性と単調性を用いて、構築された構造がターゲット構造の年齢に属し、必要な関係を満たすことを保証すること。

実験結果

リサーチクエスチョン

• RQ1 ω-カテゴリー的構造は、その自己同型群から一階双解釈に関して再構成可能か？
• RQ2 ω-カテゴリー的構造の自己準同型モノイド間の同型は、常に位相的同型を意味するか？
• RQ3 ω-カテゴリー的構造の多様体クローンは、抽象的クローンとして同型であっても、再構成不能であることがあるか？
• RQ4 有限関係的言語におけるω-カテゴリー的構造で、その自己準同型モノイドから位相的同型による再構成が不可能なものは存在するか？
• RQ5 再構成不能なオリゴモーフィック群のωωにおける閉包も、再構成不能であるか？

主な発見

• 有限関係的言語における可算なω-カテゴリー的構造Aが存在し、その自己準同型モノイドは別の構造Bのそれと同型だが、位相的に同型ではない。
• Aの自己同型群は、Bのそれと抽象的に同型であるが、位相的に同型ではないため、群のレベルでも再構成が失敗することが示された。
• Aの多様体クローンはBのそれと同型だが、位相的に同型ではないため、クローンの再構成も失敗することが示された。
• 例はハルシュォフスキーの符号化により構築され、モデル完備性が保たれ、有限関係的記述が保証された。
• 再構成不能なオリゴモーフィック群のモノイド閉包も再構成不能であることが示され、反例がモノイドへと拡張された。
• 同型な自己準同型モノイドが、有限関係的言語においても常に位相的同型であるとは限らないという問いに対して、否定的な答えが得られた。