Polishability from orbit reducibility of coset equivalence relations
We prove that a Borel subgroup H of a Polish group G is Polishable if and only if its coset equivalence relation is Borel reducible to the orbit equivalence relation of a Borel action of a Polish group. The proof combines Jankov–von Neumann uniformization with an invariant category criterion derived from Solecki's approximation theorems. Averaging the canonical category ideals of the target orbits over G supplies the invariant ideal needed for recognition. Consequently, a non-Polishable Borel subgroup has a coset relation that is not classifiable by countable structures.
Authors
- Martino Lupini (ORCID: https://orcid.org/0000-0003-1588-7057)
Institutions
- University of Bologna (IT)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-10-05
- DOI
- https://doi.org/10.5281/zenodo.23169575
- Primary Topic
- Advanced Topology and Set Theory
- Type
- preprint