The group $\Aut(μ)$ is Roelcke precompact

On subgroups of minimal topological groups

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U_1 is the Urysohn universal metric space of diameter 1, the…

The dynamical hierarchy for Roelcke precompact Polish groups

We study several distinguished function algebras on a Polish group $G$, under the assumption that $G$ is Roelcke precompact. We do this by means of the model-theoretic translation initiated by Ben Yaacov and Tsankov: we investigate the dynamics of $\aleph_0$-categorical metric structures under the action of their automorphism group. We show that, in this context, every strongly uniformly continuous function (in particular, every Asplund function) is weakly almost periodic. We also point out the correspondence between tame functions and NIP formulas, deducing that the isometry group of the Urys…

Eberlein oligomorphic groups

We study the Fourier--Stieltjes algebra of Roelcke precompact, non-archimedean, Polish groups and give a model-theoretic description of the Hilbert compactification of these groups. We characterize the family of such groups whose Fourier--Stieltjes algebra is dense in the algebra of weakly almost periodic functions: those are exactly the automorphism groups of $\aleph_0$-stable, $\aleph_0$-categorical structures. This analysis is then extended to all semitopological semigroup compactifications $S$ of such a group: $S$ is Hilbert-representable if and only if it is an inverse semigroup. We also …

拓扑群流上的超余积与弱包含

Ultracoproducts and weak containment for flows of topological groups

本文为任意拓扑群流建立超余积与弱包含理论，并在局部 Roelcke 预紧群情形构造弱类型紧空间，统一描述局部紧群所有流的弱类型。

More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions

In 2005, the paper "Fraissé limits, Ramsey theory, and topological dynamics of automorphism groups" [KPT] by Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow. This immediately led to an explicit representation of this invariant in many concrete cases. However, in some particular situations, the framework of [KPT] does not allow to perform the computation directly, but only after a slight modification of the original argument. The purpose of the present paper is to supplement [KPT] in order to avoid that tw…