[Paper Review] 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 Theory39 references3 citations

TL;DR

This paper establishes a categorical framework for constructing universal homogeneous homomorphisms in comma-categories using a Fraïssé-type theorem for categories, enabling new existence results for universal and $\aleph_0$-categorical structures in non-elementary classes. It proves that polymorphism clones of many homogeneous structures have uncountable cofinality and the Bergman property, generalizing Sierpiński’s result on function clones.

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.

Motivation & Objective

• To develop a categorical framework for constructing universal homogeneous objects in comma-categories using a generalized Fraïssé theorem.
• To establish sufficient conditions for the existence of universal and $\aleph_0$-categorical structures in non-elementary classes of structures, such as bounded-height well-founded posets and $\mathbf{H}$-colorable graphs.
• To characterize retracts of homogeneous structures and analyze the structure of their endomorphism monoids and polymorphism clones.
• To prove that polymorphism clones of a wide class of homogeneous structures have uncountable cofinality and the Bergman property, extending classical results on function clones.

Proposed method

• Adapts a categorial version of Fraïssé’s theorem due to Droste and Göbel to construct universal objects in comma-categories.
• Applies the categorical framework to model-theoretic settings by defining universal homogeneous homomorphisms and deriving existence criteria.
• Uses universal endomorphisms and embeddings to generate polymorphisms and analyze the cofinality and relative rank of polymorphism clones.
• Applies Lemma 7.4 on composition in clones and Lemma 7.6 on finite relative rank to derive uncountable cofinality and the Bergman property.
• Employs strong cofinality arguments via chains of subclones to show that no countable chain can generate the full polymorphism clone.
• Reduces the problem of clone cofinality to subsemigroups with finite relative rank, leveraging known results on endomorphism monoids.

Experimental results

Research questions

• RQ1 Under what conditions does a comma-category admit a universal homogeneous object?
• RQ2 Can universal $\aleph_0$-categorical structures be constructed for non-elementary classes of countable structures?
• RQ3 Which retracts of a homogeneous structure arise from universal endomorphisms, and how can they be classified?
• RQ4 When does the polymorphism clone of a homogeneous structure have uncountable cofinality or the Bergman property?
• RQ5 Does the polymorphism clone of $\mathbb{Q}$ with the order relation have a generating set of bounded arity?

Key findings

• The class of countable well-founded posets of bounded height admits a universal structure, which is not elementary and thus not constructible via forbidden substructure methods.
• For every countable graph $\mathbf{H}$, there exists a universal $\aleph_0$-categorical $\mathbf{H}$-colorable graph if $\mathbf{H}$ is finite or $\aleph_0$-categorical.
• The class of all countable structures homomorphism-equivalent to a fixed $\mathbf{H}$ has a universal $\aleph_0$-categorical structure when $\mathbf{H}$ is finite or $\aleph_0$-categorical.
• The class of countable directed acyclic graphs has an $\aleph_0$-categorical universal object.
• The polymorphism clone of the Rado graph, the countable generic poset, the countable atomless Boolean algebra, and infinite-dimensional vector spaces over countable fields all have uncountable cofinality and the Bergman property.
• For any homogeneous structure $\mathbf{U}$ with a universal endomorphism, if $\operatorname{End}\mathbf{U}$ has uncountable strong cofinality, then $\operatorname{Pol}\mathbf{U}$ also has uncountable cofinality and the Bergman property.