Higher dimensional obstructions for star reductions

DOI10.4064/FM35-2-2021MaRDI QIDQ6306359arXivFDO

Authors Alex Kruckman, Aristotelis Panagiotopoulos

Publication date 6 September 2018

Published in arXiv

Full work available at URL https://doi.org/10.4064/FM35-2-2021

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

arXiv classification

math.LO

Abstract: A $\ast$-reduction between two equivalence relations is a Baire measurable reduction which preserves generic notions, i.e., preimages of meager sets are meager. We show that a $\ast$-reduction between orbit equivalence relations induces generically an embedding between the associated Becker graphs. We introduce a notion of dimension for Polish $G$-spaces which is generically preserved under $\ast$-reductions. For every natural number $n$ we define a free action of $S_{infty}$ whose dimension is $n$ on every invariant Baire measurable non-meager set. We also show that the $S_{infty}$-space which induces the equivalence relation ${=}^{+}$ of countable sets of reals is $infty$-dimensional on every invariant Baire measurable non-meager set. We conclude that the orbit equivalence relations associated to all these actions are pairwise incomparable with respect to $\ast$-reductions.

This page was built for publication: Higher dimensional obstructions for star reductions

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