Amenability, Optimal Transport and Abstract Ergodic Theorems

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Rosendal, Christian
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912585429811200
author Rosendal, Christian
author_facet Rosendal, Christian
contents Using tools from the theory of optimal transport, we establish several results concerning isometric actions of amenable topological groups with potentially unbounded orbits. Specifically, suppose $d$ is a compatible left-invariant metric on an amenable topological group $G$ with no non-trivial homomorphisms to $\mathbb R$. Then, for every finite subset $E\subseteq G$ and $ε>0$, there is a finitely supported probability measure $β$ on $G$ such that $$ \max_{g,h\in E}\, {\sf W}(βg, βh)<ε, $$ where ${\sf W}$ denotes the Wasserstein distance between probability measures on the metric space $(G,d)$. When $d$ is the word metric on a finitely generated group $G$, this strengthens a well known theorem of Reiter and, when $d$ is bounded, recovers a result of Schneider and Thom. Furthermore, when $G$ is locally compact, $β$ may be replaced by an appropriate probability density $f\in L^1(G)$. Also, when $G\curvearrowright X$ is a continuous isometric action on a metric space, the space of Lipschitz functions on the quotient $X/\!\!/G$ is isometrically isomorphic to a $1$-complemented subspace of the Lipschitz functions on $X$. And, when additionally $G$ is skew-amenable, there is a $G$-invariant contraction $$ \mathfrak {Lip}\, X \overset S\longrightarrow\mathfrak{Lip}(X/\!\!/G) $$ so that $(Sϕ\big)\big(\overline{Gx}\big)=ϕ(x)$ whenever $ϕ$ is constant on every orbit of $G\curvearrowright X$. This latter extends results of Cuth and Doucha from the setting of locally compact or balanced groups.
format Preprint
id arxiv_https___arxiv_org_abs_2509_10686
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Amenability, Optimal Transport and Abstract Ergodic Theorems
Rosendal, Christian
Functional Analysis
Dynamical Systems
Group Theory
Logic
Using tools from the theory of optimal transport, we establish several results concerning isometric actions of amenable topological groups with potentially unbounded orbits. Specifically, suppose $d$ is a compatible left-invariant metric on an amenable topological group $G$ with no non-trivial homomorphisms to $\mathbb R$. Then, for every finite subset $E\subseteq G$ and $ε>0$, there is a finitely supported probability measure $β$ on $G$ such that $$ \max_{g,h\in E}\, {\sf W}(βg, βh)<ε, $$ where ${\sf W}$ denotes the Wasserstein distance between probability measures on the metric space $(G,d)$. When $d$ is the word metric on a finitely generated group $G$, this strengthens a well known theorem of Reiter and, when $d$ is bounded, recovers a result of Schneider and Thom. Furthermore, when $G$ is locally compact, $β$ may be replaced by an appropriate probability density $f\in L^1(G)$. Also, when $G\curvearrowright X$ is a continuous isometric action on a metric space, the space of Lipschitz functions on the quotient $X/\!\!/G$ is isometrically isomorphic to a $1$-complemented subspace of the Lipschitz functions on $X$. And, when additionally $G$ is skew-amenable, there is a $G$-invariant contraction $$ \mathfrak {Lip}\, X \overset S\longrightarrow\mathfrak{Lip}(X/\!\!/G) $$ so that $(Sϕ\big)\big(\overline{Gx}\big)=ϕ(x)$ whenever $ϕ$ is constant on every orbit of $G\curvearrowright X$. This latter extends results of Cuth and Doucha from the setting of locally compact or balanced groups.
title Amenability, Optimal Transport and Abstract Ergodic Theorems
topic Functional Analysis
Dynamical Systems
Group Theory
Logic
url https://arxiv.org/abs/2509.10686