Published October 5, 2026 | Version 1

Polishability from orbit reducibility of coset equivalence relations

  • 1. ROR icon University of Bologna

Description

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.

Files

orbit-polishability.pdf

Files (473.6 kB)

Name Size
md5:59617d86a4f38ace6da60fa0a1e55bcc
438.3 kB Preview Download
md5:10637a6f329d07855fbe407dec3543e6
35.3 kB Download

Additional details

Funding

European Commission
DAT - Definable Algebraic Topology 101077154