On dissociated infinite permutation groups
Authors:
Rémi Barritault,
Colin Jahel,
Matthieu Joseph
Abstract:
The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations (classification of unitary representations, Property (T), Howe-Moore property, etc.) and on ergodic actions (non-existence of type III non-singular actions, Stabilizer rigidi…
▽ More
The goal of this paper is threefold. First, we describe the notion of dissociation for closed subgroups of the group of permutations on a countably infinite set and explain its numerous consequences on unitary representations (classification of unitary representations, Property (T), Howe-Moore property, etc.) and on ergodic actions (non-existence of type III non-singular actions, Stabilizer rigidity, etc.). Some of the results presented here are new, others were proved in different contexts. Second, we introduce a new method to prove dissociation. It is based on a reinforcement of the classical notion of strong amalgamation, where we allow to amalgamate over countable sets. Third, we apply this technique of amalgamation to provide new examples of dissociated closed permutation groups, including isometry groups of some metrically homogeneous graphs, automorphism groups of diversities, and more.
△ Less
Submitted 18 April, 2025;
originally announced April 2025.
Unitary Representations of the Isometry Groups of Urysohn Spaces
Authors:
Rémi Barritault,
Colin Jahel,
Matthieu Joseph
Abstract:
We obtain a complete classification of the continuous unitary representations of the isometry group of the rational Urysohn space $\mathbb{Q}\mathbb{U}$. As a consequence, we show that Isom$(\mathbb{Q}\mathbb{U})$ has property (T). We also derive several ergodic theoretic consequences from this classification: $(i)$ every probability measure-preserving action of Isom$(\mathbb{Q}\mathbb{U})$ is eit…
▽ More
We obtain a complete classification of the continuous unitary representations of the isometry group of the rational Urysohn space $\mathbb{Q}\mathbb{U}$. As a consequence, we show that Isom$(\mathbb{Q}\mathbb{U})$ has property (T). We also derive several ergodic theoretic consequences from this classification: $(i)$ every probability measure-preserving action of Isom$(\mathbb{Q}\mathbb{U})$ is either essentially free or essentially transitive, $(ii)$ every ergodic Isom$(\mathbb{Q}\mathbb{U})$-invariant probability measure on $[0,1]^{\mathbb{Q}\mathbb{U}}$ is a product measure. We obtain the same results for isometry groups of variations of $\mathbb{Q}\mathbb{U}$, such as the rational Urysohn sphere $\mathbb{Q}\mathbb{U}_1$, the integral Urysohn space $\mathbb{Z}\mathbb{U}$, etc.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
Tannaka-Krein duality for Roelcke-precompact non-archimedean Polish groups
Authors:
Rémi Barritault
Abstract:
Let G be a Roelcke-precompact non-archimedean Polish group, B(G) the algebra of matrix coefficients of G arising from its continuous unitary representations. The Gel'fand spectrum H(G) of the norm closure of B(G) is known as the Hilbert compactification of G. Let A be the dense subalgebra of B(G) generated by indicator maps of open cosets in G. We prove that multiplicative linear functionals on A…
▽ More
Let G be a Roelcke-precompact non-archimedean Polish group, B(G) the algebra of matrix coefficients of G arising from its continuous unitary representations. The Gel'fand spectrum H(G) of the norm closure of B(G) is known as the Hilbert compactification of G. Let A be the dense subalgebra of B(G) generated by indicator maps of open cosets in G. We prove that multiplicative linear functionals on A are automatically continuous, generalizing a result of Krein for finite dimensional representations of topological groups. We deduce two abstract realizations of H(G). One is the space P(MG) of partial isomorphisms with algebraically closed domain of MG, the countable set of open cosets of G seen as a homogeneous first order logical structure. The other is T(G) the Tannaka monoid of G. We also obtain that the natural functor that sends G to the category of its representations is full and faithful.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
