English

Metrizable universal minimal flows of Polish groups have a comeagre orbit

Dynamical Systems 2017-01-13 v3 Logic

Abstract

We prove that, whenever GG is a Polish group with metrizable universal minimal flow M(G)M(G), there exists a comeagre orbit in M(G)M(G). It then follows that there exists an extremely amenable, closed, coprecompact GG^* of GG such that M(G)=G/G^M(G) = \hat{G/G^*}.

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}
}