Polish full groups preserving an infinite measure
arXiv:2511.20786
Abstract
We extend some results of Carderi and Le Maître on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an ergodic full group, and the orbit full group of a locally compact group acting in a Borel manner can be endowed with a Polish group topology. Moreover, orbit full groups are complete invariants for orbit equivalence. We then generalize a result from Le Maître on non-Polishability of the group of finitely supported bijections: the finitely supported elements of an ergodic full group carries a Polish group topology if and only if the associated full group comes from a countable equivalence relation. We finish with algebraic and topological results on ergodic (orbit) full groups concerning normal subgroups, contractibility and genericity of aperiodic elements.
Comments welcome!