arXiv subjects

Matthieu Joseph

Publications and source records attributed to Matthieu Joseph.

8 recordsLinked to original sources

arXiv2025

On dissociated infinite permutation groups

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), the 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 (notably some results of Tsankov). 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 countable metrically homogeneous spaces, automorphism groups of diversities, and more.

math.GR↗

arXiv2024

Unitary Representations of the Isometry Groups of Urysohn Spaces

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.

math.GR↗

arXiv2023

Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

Let $G$ be a closed permutation group on a countably infinite set $\Omega$, which acts transitively but not highly transitively. If $G$ is oligomorphic, has no algebraicity and weakly eliminates imaginaries, we prove that any probability measure preserving ergodic action $G\curvearrowright (X,\mu)$ is either essentially free or essentially transitive. As this stabilizers rigidity result concerns a class of non locally compact Polish groups, our methods of proof drastically differ from that of similar results in the realm of locally compact groups. We bring the notion of dissociation from exchangeability theory in the context of stabilizers rigidity by proving that if $G\lneq\mathrm{Sym}(\Omega)$ is a transitive, proper, closed subgroup, which has no algebraicity and weakly eliminates imaginaries, then any dissociated probability measure preserving action of $G$ is either essentially free or essentially transitive. A key notion that we develop in our approach is that of invariant random expansions, which are $G$-invariant probability measures on the space of expansions of the canonical (model theoretic) structure associated with $G$. We also initiate the study of invariant random subgroups for Polish groups and prove that - although the result for p.m.p. ergodic actions fails for the group $\mathrm{Sym}(\Omega)$ of all permutations of $\Omega$ - any ergodic invariant random subgroup of $\mathrm{Sym}(\Omega)$ is essentially transitive.

math.DS↗

arXiv2023

Amenable wreath products with non almost finite actions of mean dimension zero

Almost finiteness was introduced in the seminal work of Kerr as an dynamical analogue of Z-stability in the Toms-Winter conjecture. In this article, we provide the first examples of minimal, topologically free actions of amenable groups that have mean dimension zero but are not almost finite. More precisely, we prove that there exists an infinite family of amenable wreath products that admit topologically free, minimal profinite actions on the Cantor space which fail to be almost finite. Furthermore, these actions have dynamical comparison. This intriguing new phenomenon shows that Kerr's dynamical analogue of Toms-Winter conjecture fails for minimal, topologically free actions of amenable groups. The notion of allosteric group holds a significant position in our study. A group is allosteric if it admits a minimal action on a compact space with an invariant ergodic probability measure that is topologically free but not essentially free. We study allostery of wreath products and provide the first examples of allosteric amenable groups.

math.DS↗

arXiv2022

Isometric orbit equivalence for probability-measure preserving actions

We study probability-measure preserving (p.m.p.) actions of finitely generated groups via the graphings they define. We introduce and study the notion of isometric orbit equivalence for p.m.p. actions: two p.m.p. actions are isometric orbit equivalent if the graphings defined by some fixed generating systems of the groups are measurably isometric. We highlight two kind of phenomena. First, we prove that the notion of isometric orbit equivalence is rigid for groups whose Cayley graph, with respect to a fixed generating system, has a countable group of automorphism. On the other hand, we introduce a general construction of isometric orbit equivalent p.m.p. actions, which leads to interesting nontrivial examples of isometric orbit equivalent p.m.p. actions for the free group. In particular, our examples show that mixing is not invariant under isometric orbit equivalence.

math.DS↗

arXiv2022

Belinskaya's theorem is optimal

Belinskaya's theorem states that given an ergodic measure-preserving transformation, any other transformation with the same orbits and an $\mathrm{L}^1$ cocycle must be flip-conjugate to it. Our main result shows that this theorem is optimal: for all $p<1$ the integrability condition on the cocycle cannot be relaxed to being in $\mathrm{L}^p$. This also allows us to answer a question of Kerr and Li: for ergodic measure-preserving transformations, Shannon orbit equivalence doesn't boil down to flip-conjugacy.

math.DS↗

arXiv2021

Continuum of allosteric actions for non-amenable surface groups

Let $\Sigma$ be a closed surface other than the sphere, the torus, the projective plane or the Klein bottle. We construct a continuum of p.m.p. ergodic minimal profinite actions for the fundamental group of $\Sigma$, that are topologically free but not essentially free, a property that we call allostery. Moreover, the IRS's we obtain are pairwise distincts.

math.DS↗

arXiv2017

Products of snowflaked euclidean lines are not minimal for looking down

We show that products of snowflaked Euclidean lines are not minimal for looking down. This question was raised in Fractured fractals and broken dreams, Problem 11.17, by David and Semmes. The proof uses arguments developed by Le Donne, Li and Rajala to prove that the Heisenberg group is not minimal for looking down. By a method of shortcuts, we define a new distance $d$ such that the product of snowflaked Euclidean lines looks down on $(\mathbb R^N,d)$, but not vice versa.

math.MG↗