Minimal model-universal flows for locally compact Polish groups (Q2055291): Difference between revisions

Let \(G\) be a locally compact, non-compact Polish group. A continuous action of \(G\) on a compact space is called a \(G\)-flow. A \(G\)-flow is called minimal if every orbit is dense. By a \(G\)-system, the authors mean a Borel \(G\)-action on a standard Lebesgue space \((X,\mu)\) which preserves the measure \(\mu\). A \(G\)-system \((X,\mu)\) is called free if the set \[\mathrm{Free}(X)=\{ x\in X\mid gx\not= x \, \forall x\in(G\setminus \{1_G\})\} \] has measure \(1\). Moreover, a compact metric \(G\)-flow \(Y\) is called model-universal if for every free \(G\)-system \((X,\mu)\), there is a \(G\)-invariant regular Borel probability measure \(\nu\) on \(Y\) such that the \(G\)-systems \((X,\mu)\) and \((Y,\nu)\) are isomorphic. The main result of the paper states that there exists a minimal model-universal flow for \(G\). The result extends a theorem of \textit{B. Weiss} [Contemp. Math. 567, 249--264 (2012; Zbl 1279.37010)], who proved a similar result for infinite countable groups.