Skip to content

Catalog · 10.5281/zenodo.23169576

Polishability from orbit reducibility of coset equivalence relations

  • Martino Lupini · University of Bologna

5 October 2026 · CC BY 4.0 · latest of 2 versions

On the deposit

Polishability from orbit reducibility of coset equivalence relations

Martino Lupini

Abstract

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.

10.5281/zenodo.23169576

Files

What this version of the record actually contains. Text sources can be read here. PDFs and archives open on Zenodo. Zenodo does not allow the PDF to be framed on another site.

  • orbit-polishability.pdf

    PDF · 428.0 KB

    Open on Zenodo
  • orbit-polishability.tex

    LaTeX · 34.4 KB

Other homes

Zenodo

The deposit of record for this version.

GitHub

The manuscript does not name a repository.

Obsidian

Not recorded on this deposit.

BibTeX

@unpublished{Lupini202623169576,
  title = {Polishability from orbit reducibility of coset equivalence relations},
  author = {Martino Lupini},
  year = {2026},
  doi = {10.5281/zenodo.23169576},
  note = {Zenodo deposit, latest of 2}
}