Concentration of invariant means and dynamics of chain stabilizers in continuous geometries (Q6139388)

A topological group \(G\) is said to be \textit{extremely amenable} if every continuous action of \(G\) on a non-void compact Hausdorff space admits a fixed point. In this paper under review, the author presents a new concentration inequality concerning certain measure on the Samuel compactification \(S(G)\) of an arbitrary topological group \(G\). The Riesz-Markov-Kakutani representation theorem states that the space \(M(G)\) of all means (that is, positive linear forms) on the same algebra admits a natural affine homeomorphism \(M(G)\to \text{Prob}(S(G)), \mu\mapsto\hat{\mu}\) onto the space \(\text{Prob(S(G))}\) of all regular Borel probability measures on \(S(G)\). Also, the author proves the following very nice theorem: Let \(\{e\}=G_0 \le \cdots \le G_n=G\) be a chain of amenable topological groups and for each \(i=1,\cdots, n\), pick a \(G_i\)-left-invariant mean \(\nu_i\in M(G_i)\), and set \(\mu:=\nu_n\cdots\nu_1\in M(G)\). Then for every \(f\in\text{Lip}_1(G, d)\) and every \(\varepsilon\in\mathbb{R}_{>0}\), \[ \hat{\mu}\left(\left\{\xi\in S(G)~:~|\xi(f)-\mu(f)|\ge\varepsilon\right\}\right)\le 2\exp\left(-\frac{\varepsilon^2}{2\ell(G_0,\cdots,G_n;d)^2}\right)\,, \] where \(d\) is a bounded, continuous, right-invariant pseudo-metric on \(G\) and \[ \ell(G_0,\cdots,G_n;d):=\left(\sum_{i=1}^{n-1}\left(\sup_{g\in G}\text{diam}(G_{i+1}/G_i, d_i^g)\right)^2\right)^{\frac{1}{2}}\,. \] In continuation, the author presents that if \(E\) is a maximal nest in a non-discrete irreducible, continuous ring \(R\), and \(G\le\text{GL}(R_E)\) is an amenable topological subgroup, then \([G]_E\) is extremely amenable. Also, the author gives some useful results in this concept.