Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.18919 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917031769538560 |
|---|---|
| author | Dai, Wei Gao, Su Yañez, Víctor Hugo |
| author_facet | Dai, Wei Gao, Su Yañez, Víctor Hugo |
| contents | A topological group $G$ is said to have the Lévy property if it admits a dense subgroup which is decomposed as the union of an increasing sequence of compact subgroups $\mathcal{G}=\{G_i:i\in\mathbb{N}\}$ of $G$ which exhibits concentration of measure in the sense of Gromov and Milman. We say that $G$ has the strong Lévy property whenever the sequence $\mathcal{G}$ is comprised of finite subgroups. In this paper we give several new classes of isometry groups and countable topological groups with the strong Lévy property. We prove that if $Δ$ is a countable distance value set with arbitrarily small values, then $\mbox{Iso}(\mathbb{U}_Δ)$, the isometry group of the Urysohn $Δ$-metric space equipped with the pointwise convergence topology, where $\mathbb{U}_Δ$ is equipped with the metric topology, has the strong Lévy property. We also prove that if $\mathcal{L}$ is a Lipschitz continuous signature, then $\mbox{Iso}(\mathbb{U}_{\mathcal{L}})$, the isometry group of the unique separable Urysohn $\mathcal{L}$-structure, has the strong Lévy property. In addition, our approach shows that any countable omnigenous locally finite group can be given a topology with the Lévy property. As a consequence to our results, we obtain at least continuum many pairwise nonisomorphic countable topological groups or isometry groups with the strong Lévy property. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_18919 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Isometry groups and countable groups with the Lévy property Dai, Wei Gao, Su Yañez, Víctor Hugo Group Theory 22A10, 22F50, 43A05, 03C55, 54E70 A topological group $G$ is said to have the Lévy property if it admits a dense subgroup which is decomposed as the union of an increasing sequence of compact subgroups $\mathcal{G}=\{G_i:i\in\mathbb{N}\}$ of $G$ which exhibits concentration of measure in the sense of Gromov and Milman. We say that $G$ has the strong Lévy property whenever the sequence $\mathcal{G}$ is comprised of finite subgroups. In this paper we give several new classes of isometry groups and countable topological groups with the strong Lévy property. We prove that if $Δ$ is a countable distance value set with arbitrarily small values, then $\mbox{Iso}(\mathbb{U}_Δ)$, the isometry group of the Urysohn $Δ$-metric space equipped with the pointwise convergence topology, where $\mathbb{U}_Δ$ is equipped with the metric topology, has the strong Lévy property. We also prove that if $\mathcal{L}$ is a Lipschitz continuous signature, then $\mbox{Iso}(\mathbb{U}_{\mathcal{L}})$, the isometry group of the unique separable Urysohn $\mathcal{L}$-structure, has the strong Lévy property. In addition, our approach shows that any countable omnigenous locally finite group can be given a topology with the Lévy property. As a consequence to our results, we obtain at least continuum many pairwise nonisomorphic countable topological groups or isometry groups with the strong Lévy property. |
| title | Isometry groups and countable groups with the Lévy property |
| topic | Group Theory 22A10, 22F50, 43A05, 03C55, 54E70 |
| url | https://arxiv.org/abs/2510.18919 |