The universal valued Abelian groups of Niemiec are L\'{e}vy, strongly exotic, extremely amenable, and mathbbGr(0) is generically monothetic

Alessandro Codenotti; Martino Lupini

In the authors' words

We prove various properties of the universal valued Abelian groups $G_{r} (N)$ constructed by Niemiec, for $r \in {1, \infty}$ and $N \in {0, 2, 3, \dots}$ . First we show that the completion of $Γ_{0} = ⨁_{n \in N} Q / Z$ (for $N = 0$ ) or $Γ_{N} = ⨁_{n \in N} Z / N Z$ (for $N \geq 2$ ) with respect to a generic invariant metric, bounded by $1$ when $r = 1$ , is isometrically group-isomorphic to $G_{r} (N)$ , recovering a result of Doucha in the case when $r = \infty$ and $N = 0$ . This confirms an expectation of Doucha for the group $Γ_{N}$ . We combine this genericity result with a criterion of Melleray and Tsankov concerning the extreme amenability of the generic completion of a countable group to obtain the extreme amenability of $G_{r} (N)$ . We then establish the strictly stronger properties that these groups are L\'{e}vy and strongly exotic. We conclude by showing that $G_{r} (0)$ is also monothetic, from which we obtain the existence of a monothetic group structure on the Urysohn sphere, giving a bounded version of a result by Cameron and Vershik and answering a question of Niemiec.

Main resultThe abstract does not state a limitation.

The universal valued Abelian groups of Niemiec are L\'{e}vy, strongly exotic, extremely amenable, and Gr​(0) is generically monothetic

In the authors' words

More on Algebra & number theory that day

The Odlyzko-Poonen Conjecture on Irreducibility of Random Polynomials

Solution to Dixmier's Problem about spectra of C*-algebras

Poincar\'e Duality and Quadratic Refinements over Laurent Rings

On Haagerup-Izumi fusion categories

Monoidal Gr\"obner systems and categories of affine Brauer type

The universal valued Abelian groups of Niemiec are L\'{e}vy, strongly exotic, extremely amenable, and $G_{r} (0)$ is generically monothetic