Structurable equivalence relations

Ruiyuan Chen ¹   ; Alexander S. Kechris ¹

¹ Department of Mathematics California Institute of Technology Pasadena, CA 91125, U.S.A.

Fundamenta Mathematicae, Tome 242 (2018) no. 2, pp. 109-185

Résumé

For a class $\mathcal K$ of countable relational structures, a countable Borel equivalence relation $E$ is said to be $\mathcal K$-structurable if there is a Borel way to put a structure in $\mathcal K$ on each $E$-equivalence class. We study in this paper the global structure of the classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$. We show that $\mathcal K$-structurability interacts well with several kinds of Borel homomorphisms and reductions commonly used in the classification of countable Borel equivalence relations. We consider the poset of classes of $\mathcal K$-structurable equivalence relations for various $\mathcal K$, under inclusion, and show that it is a distributive lattice; this implies that the Borel reducibility preordering among countable Borel equivalence relations contains a large sublattice. Finally, we consider the effect on $\mathcal K$-structurability of various model-theoretic properties of $\mathcal K$. In particular, we characterize the $\mathcal K$ such that every $\mathcal K$-structurable equivalence relation is smooth, answering a question of Marks.

Détail

DOI : 10.4064/fm428-7-2017

Mots-clés : class mathcal countable relational structures countable borel equivalence relation said mathcal k structurable there borel put structure nbsp mathcal each e equivalence class study paper global structure classes mathcal k structurable equivalence relations various mathcal mathcal k structurability interacts several kinds borel homomorphisms reductions commonly classification countable borel equivalence relations consider poset classes mathcal k structurable equivalence relations various mathcal under inclusion distributive lattice implies borel reducibility preordering among countable borel equivalence relations contains large sublattice finally consider effect mathcal k structurability various model theoretic properties mathcal particular characterize mathcal every mathcal k structurable equivalence relation smooth answering question marks