Metrizable universal minimal flows of Polish groups have a comeagre orbit
Dynamical Systems
2017-01-13 v3 Logic
Abstract
We prove that, whenever is a Polish group with metrizable universal minimal flow , there exists a comeagre orbit in . It then follows that there exists an extremely amenable, closed, coprecompact of such that .
Keywords
Cite
@article{arxiv.1602.01068,
title = {Metrizable universal minimal flows of Polish groups have a comeagre orbit},
author = {Itaï Ben Yaacov and Julien Melleray and Todor Tsankov},
journal= {arXiv preprint arXiv:1602.01068},
year = {2017}
}