[論文レビュー] All those EPPA classes (Strengthenings of the Herwig-Lascar theorem)

Jan Hubička, Kone\v{c}n\'y, Mat\v{e}j+1 more|arXiv (Cornell University)|Feb 11, 2019

Advanced Topology and Set Theory被引用数 3

ひとこと要約

本稿は、関係的および関数的構造（特に一項関数と言語上での群作用を含む）の広いクラスに対して、与えられた有限構造のすべての部分自己同型を実現する EPPA-証拠（有限構造）を構成するための統一的で組合せ的な枠組みを提示する。主な貢献は、Herwig–Lascar の定理の一般化と強化であり、やや弱い条件下で ΓL-構造に対して非可約構造忠実な一貫性のある EPPA を確立する。応用としてはラマヌジャン理論および Hrushovski の構成に及ぶ。

ABSTRACT

In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubi\v{c}ka and Ne\v{s}et\v{r}il and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubi\v{c}ka and J. Ne\v{s}et\v{r}il: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property. Our results have numerous applications, we include a solution of a problem related to a class constructed by the Hrushovski predimension construction.

研究の動機と目的

• 追加の局所的性質を備えた EPPA-証拠を構成するための体系的で、初等的かつ自己完結的な方法を開発すること。
• 禁止される準同型写像を伴う関係的クラス、自由結合クラス、および一項関数を伴う構造について、既存の EPPA 結果を統一的かつ強化すること。
• EPPA と構造的ラマヌジャン性の性質を結ぶ共通の枠組みを確立すること。
• Hrushovski の予次元構成から生じるクラスに関する EPPA に関する未解決問題を解くこと。
• 関係と一項関数を伴う有限 ΓL-構造の自由結合クラスで EPPA を持つものについての特徴付けを行うこと。

提案手法

• 言語上での置換群の作用を伴うモデル理論的構造として ΓL-構造を導入し、標準的な関係的および関数的構造を一般化する。
• 局所的に木に似た構造と誘導されたサイクルの「解きほぐし」を用いた、一貫性と非可約構造忠実性を保証する EPPA-証拠の新規構成法を開発する。
• 一貫性のある自己同型拡張を活用する再帰的結合プロセスを採用し、精錬された Herwig–Lascar の構成のバージョンを応用する。
• 部分自己同型を保存しつつ構造的制御を維持するように、『ねじり込み』と『解きほぐし』のメカニズムを用いて証拠を構築する。
• 関手的拡張を通じた一貫性条件を用い、部分構造間で自己同型拡張が整合的であることを保証する。
• 閉包と禁止される準同型写像を伴うクラスが EPPA を持つことを示すことで、EPPA とラマヌジャン性の間の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 言語再ラベル化における有限軌道を持つ任意の有限 ΓL-構造は、非可約構造忠実な一貫性のある EPPA-証拠をもつのか？
• RQ2 Herwig–Lascar の定理は、関係的および関数的構造に対して、一貫性と非可約構造忠実性を含む形で強化可能か？
• RQ3 関係と一項関数を伴う ΓL-構造の自由結合クラスは EPPA を持つか？
• RQ4 閉包と禁止される準同型写像を伴うクラスについて、EPPA とラマヌジャン性を統一する共通の枠組みは存在するか？
• RQ5 Hrushovski の予次元構成から得られるクラスは EPPA を持つか？

主な発見

• 本稿は、ΓL-再ラベル化における有限軌道を持つ任意の有限 ΓL-構造が、非可約構造忠実な一貫性のある EPPA-証拠をもつことを証明する。これは Herwig、Hodkinson–Otto、Siniora–Solecki、Evans–Hubička–Nešetřil の結果を一般化する。
• すべての構造が ΓL-再ラベル化の下で有限軌道にある場合、すべての有限 ΓL-構造のクラスは非可約構造忠実な一貫性のある EPPA を持つ。
• 本稿は、k-向き付けと d-閉包を伴う EPPA-証拠を構成し、Hrushovski の予次元構成に関連する未解決問題を解決する。
• k-向き付けと d-閉包を伴うクラス Dkd が非可約構造忠実な一貫性のある EPPA を持つことを証明する。
• この枠組みにより、EPPA とラマヌジャン理論が統一され、閉包と禁止される準同型写像を伴うラマヌジャンクラスも EPPA を持つことが示される。
• 関係と一項関数を伴う有限 ΓL-構造の自由結合クラスで EPPA を持つものについての特徴付けを行い、完全な分類を提供する。