On dense orbits in the space of subequivalence relations

TL;DR

This paper extends the topology of subequivalence relations and characterizes those with dense orbits in the space of ergodic hyperfinite p.m.p. relations, revealing meagerness of full group orbits and analyzing Borel complexity.

Contribution

It introduces a Polish topology on subequivalence relations and characterizes dense orbits for ergodic hyperfinite p.m.p. relations, addressing open questions from Kechris' work.

Findings

Characterization of subequivalence relations with dense orbits

All full group orbits are meager in this setting

Borel complexity calculations of natural subsets using the uniform metric

Abstract

We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability measure-preserving (p.m.p.) countable equivalence relations. We then restrict to p.m.p. equivalence relations and discuss dense orbits therein for the natural action of the full group and of the automorphism group of the relation. Our main result is a characterization of the subequivalence relations having a dense orbit in the space of subequivalence relations of the ergodic hyperfinite p.m.p. equivalence relation. We also show that in this setup, all full groups orbits are meager. We finally provide a few Borel complexity calculations of natural subsets in spaces of subequivalence relations using a natural metric we call the uniform metric. This answers some questions from an earlier version of Kechris' monograph.