[論文レビュー] Universal homomorphisms, universal structures, and the polymorphism clones of homogeneous structures

Christian Pech, Maja Pech|arXiv (Cornell University)|Feb 22, 2013

Advanced Topology and Set Theory参考文献 39被引用数 3

ひとこと要約

本稿は、圏論的Fraïssé定理を用いて、コマ圏における普遍的かつ均質的準同型の構成のための圏的枠組みを確立し、非初等的クラスにおける普遍的かつ$\aleph_0$-カテゴリー的構造の新たな存在結果を可能にする。また、多くの均質的構造の多様体的自己準同型クレートが非可算な強コファイナリティとBergman性質を持つことを証明し、Sierpińskiの関数クレートに関する古典的結果を一般化する。

ABSTRACT

Using a categorial version of Fraïssé's theorem due to Droste and Göbel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures and for ω-categorical universal structures. As a second application we characterize the retracts of a large class of homogeneous structures, extending previous results by Bonato, Delić, Dolinka, and Kubiś. As a third application we show for a large class of homogeneous structures that their polymorphism clone is generated by polymorphisms of bounded arity, generalizing a classical result by Sierpiński that the clone of all functions on a given set is generated by its binary part. Further we study the cofinality and the Bergman property for clones and we give sufficient conditions on a homogeneous structure to have a polymorphism clone that has uncountable cofinality and the Bergman property.

研究の動機と目的

• 一般化されたFraïssé定理を用いて、コマ圏における普遍的かつ均質的対象を構成するための圏的枠組みを構築すること。
• 非初等的構造クラス（例えば、有界高さの整礎順序集合や$\mathbf{H}$-彩色可能なグラフなど）における普遍的かつ$\aleph_0$-カテゴリー的構造の存在の十分条件を確立すること。
• 均質的構造のリトラクトを特徴付け、その自己準同型モノイドおよび多様体的自己準同型クレートの構造を分析すること。
• 広範な均質的構造クラスの多様体的自己準同型クレートが非可算なコファイナリティとBergman性質を持つことを証明し、関数クレートに関する古典的結果を拡張すること。

提案手法

• DrosteとGöbelによる、Fraïsséの定理の圏論的バージョンを応用し、コマ圏における普遍的対象を構成する。
• モデル理論的状況に圏的枠組みを適用するために、普遍的かつ均質的準同型を定義し、存在条件を導出する。
• 普遍的自己準同型と埋め込みを用いて多様体的自己準同型を生成し、多様体的自己準同型クレートのコファイナリティと相対ランクを分析する。
• クレート内の合成に関する補題7.4と、有限相対ランクに関する補題7.6を適用し、非可算なコファイナリティとBergman性質を導出する。
• 部分クレートの鎖を用いた強いコファイナリティの議論により、いかなる可算な鎖でも全多様体的自己準同型クレートを生成できないことを示す。
• 既知の自己準同型モノイドに関する結果を活用し、クレートのコファイナリティ問題を、有限相対ランクをもつ部分半群に還元する。

実験結果

リサーチクエスチョン

• RQ1 コマ圏が普遍的かつ均質的対象をもつための条件は何か？
• RQ2 非初等的可算構造クラスに対して、普遍的$\aleph_0$-カテゴリー的構造を構成できるか？
• RQ3 均質的構造のどのリトラクトが普遍的自己準同型から生じるか？また、それらはどのように分類できるか？
• RQ4 均質的構造の多様体的自己準同型クレートが非可算なコファイナリティまたはBergman性質を持つのはいつか？
• RQ5 $\mathbb{Q}$の順序関係を備えた多様体的自己準同型クレートは、有界なアリティの生成集合を持つか？

主な発見

• 有界高さの可算整礎順序集合のクラスは、普遍的構造をもつが、これは初等的ではなく、禁止部分構造法では構成できない。
• 任意の可算グラフ$\mathbf{H}$に対して、$\mathbf{H}$が有限または$\aleph_0$-カテゴリー的であれば、普遍的かつ$\aleph_0$-カテゴリー的$\mathbf{H}$-彩色可能なグラフが存在する。
• 固定された$\mathbf{H}$と準同型同値であるすべての可算構造のクラスは、$\mathbf{H}$が有限または$\aleph_0$-カテゴリー的であれば、普遍的かつ$\aleph_0$-カテゴリー的構造をもつ。
• 可算有向非巡回グラフのクラスには、$\aleph_0$-カテゴリー的な普遍的対象が存在する。
• ラド・グラフ、可算一般化順序集合、可算アトムレスブール代数、および可算体上の無限次元線形空間の多様体的自己準同型クレートは、いずれも非可算なコファイナリティとBergman性質を持つ。
• 普遍的自己準同型をもつ任意の均質的構造$\mathbf{U}$に対して、$\operatorname{End}\mathbf{U}$が非可算な強コファイナリティをもてば、$\operatorname{Pol}\mathbf{U}$も非可算なコファイナリティとBergman性質を持つ。