Simultaneous Reducibility of Pairs of Borel Equivalence Relations

Publication date 30 October 2013

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05)

Abstract: Let

E s u b s e t e q F

and

E^{'} s u b s e t e q F^{'}

be Borel equivalence relations on the standard Borel spaces

X

and

Y

, respectively. The pair

(E, F)

is simultaneously Borel reducible to the pair

(E^{'}, F^{'})

if there is a Borel function

f : X o Y

that is both a reduction from

E

to

E^{'}

and a reduction from

F

to

F^{'}

. Simultaneous Borel embeddings and isomorphisms are defined analogously. We classify all pairs

E s u b s e t e q F

of smooth countable Borel equivalence relations up to simultaneous Borel bireducibility and biembeddability, and a significant portion of such pairs up to simultaneous Borel isomorphism. We generalize Mauldin's notion of Borel parametrization in order to identify large natural subclasses of pairs of smooth countable equivalence relations and of singleton smooth (not necessarily countable) equivalence relations for which the natural combinatorial isomorphism invariants are complete, and we present counterexamples outside these subclasses. Finally, we relate isomorphism of smooth equivalence relations and of pairs of smooth countable equivalence relations to Borel equivalence of Borel functions as discussed in Komisarski, Michalewski, and Milewski.

This page was built for publication: Simultaneous Reducibility of Pairs of Borel Equivalence Relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6246017)