Metrizable universal minimal flows of Polish groups have a comeagre orbit

Itaï Ben Yaacov, Julien Melleray, Todor Tsankov

We prove that, whenever $G$ is a Polish group with metrizable universal minimal flow $M(G)$, there exists a comeagre orbit in $M(G)$. It then follows that there exists an extremely…