We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.

We show that the group of type-preserving automorphisms of any irreducible semiregular thick right-angled building is abstractly simple. When the building is locally finite, this gives a large family of compactly generated abstractly simple locally compact groups. Specialising to appropriate cases, we obtain examples of such simple groups that are locally indecomposable, but have locally normal subgroups decomposing non-trivially as direct products, all of whose factors are locally normal.

Let $X$ be a building of arbitrary type. A compactification ${𝒞}_{\mathrm{sph}}\left(X\right)$ of the set ${\text{Res}}_{\mathrm{sph}}\left(X\right)$ of spherical residues of $X$ is introduced. We prove that it coincides with the horofunction compactification of ${\text{Res}}_{\mathrm{sph}}\left(X\right)$ endowed with a natural combinatorial distance which we call the root-distance. Points of ${𝒞}_{\mathrm{sph}}\left(X\right)$ admit amenable stabilisers in $\text{Aut}\left(X\right)$ and conversely, any amenable subgroup virtually fixes a point in ${𝒞}_{\mathrm{sph}}\left(X\right)$. In addition, it is shown that, provided $\text{Aut}\left(X\right)$ is transitive enough, this compactification also coincides with the group-theoretic...

We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. As an application, we prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.

We study problems concerning the Samuel compactification of the automorphism group of a countable first-order structure. A key motivating question is a problem of Furstenberg and a counter-conjecture by Pestov regarding the difference between $S\left(G\right)$, the Samuel compactification, and $E\left(M\right(G\left)\right)$, the enveloping semigroup of the...

Le groupe de Cremona est connexe en toute dimension et, muni de sa topologie, il est simple en dimension $2$.

We give general sufficient conditions to guarantee that a given subgroup of the group of diffeomorphisms of a smooth or real-analytic manifold has a compatible Lie group structure. These results, together with recent work concerning jet parametrization and complete systems for CR automorphisms, are then applied to determine when the global CR automorphism group of a CR manifold is a Lie group in an appropriate topology.

Let X be a closed manifold of dimension 2 or higher or the Hilbert cube. Following Uspenskij one can consider the action of Homeo(X) equipped with the compact-open topology on $\Phi \subset 2^{2^X}$, the space of maximal chains in $2^X$, equipped with the Vietoris topology. We show that if one restricts the action to M ⊂ Φ, the space of maximal chains of continua, then the action is minimal but not transitive. Thus one shows that the action of Homeo(X) on $U_{Homeo\left(X\right)}$, the universal minimal space of Homeo(X), is not transitive (improving...

In 2005, the paper [KPT05] 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 [KPT05] does not allow one to perform the computation directly, but only after a slight modification of the original argument. The purpose of the present paper is to supplement [KPT05]...

We develop dynamical methods for studying left-orderable groups as well as the spaces of orderings associated to them. We give new and elementary proofs of theorems by Linnell (if a left-orderable group has infinitely many orderings, then it has uncountably many) and McCleary (the space of orderings of the free group is a Cantor set). We show that this last result also holds for countable torsion-free nilpotent groups which are not rank-one Abelian. Finally, we apply our methods to the case of braid...

We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random graph. We give similar theorems for other structures, including, for example, metric spaces. These give the first examples of uniquely ergodic groups, other than compact groups and extremely amenable groups, after Glasner andWeiss’s example of the group of all permutations...

Building on earlier work of Katětov, Uspenskij proved in [8] that the group of isometries of Urysohn's universal metric space 𝕌, endowed with the pointwise convergence topology, is a universal Polish group (i.e. it contains an isomorphic copy of any Polish group). Answering a question of Gao and Kechris, we prove here the following, more precise result: for any Polish group G, there exists a closed subset F of 𝕌 such that G is topologically isomorphic to the group of isometries of 𝕌 which map...

We show that the automorphism group Aut([0,1],λ) of the Lebesgue measure has no non-trivial subgroups of index $<2^{\omega }$.

We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M(G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M(G_{)}$. We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M(G_{)}$ admits a unique invariant...

We develop methods for studying transition operators on metric spaces that are invariant under a co-compact group which acts properly. A basic requirement is a decomposition of such operators with respect to the group orbits. We then introduce reduced transition operators on the compact factor space whose norms and spectral radii are upper bounds for the Lp-norms and spectral radii of the original operator. If the group is amenable then the spectral radii of the original and reduced operators coincide,...

On montre un lemme de Kazhdan-Margulis-Zassenhaus pour les géométries de Hilbert. Plus précisément, en toute dimension $n$, il existe une constante ${\epsilon }_n\&gt;0$ telle que, pour tout ouvert proprement convexe $\Omega$, pour tout point $x\in \Omega$, tout groupe discret engendré par un nombre fini d’automorphismes de $\Omega$ qui déplacent le point $x$ de moins de ${\epsilon }_n$ est virtuellement nilpotent.