Abstract:This paper presents a framework for assigning intrinsic geometric structures to topological groups using only the data provided by their topological and algebraic structure. The geometrisation spits into small-scale and large-scale components, formalised respectively through local Lipschitz and quasimetric categories that, in turn, are definable from the canonical left uniform and left coarse structures of the group. For Polish groups, the paper characterises metrisability of the left coarse structure in terms of local boundedness, countable coverings by bounded sets, and the existence of compatible coarsely proper left-invariant metrics. It then introduces minimal metrics, which determine local Lipschitz structure, and maximal metrics, which determine quasimetric structure, and provides intrinsic characterisations of both. When both structures exist, they combine into a single canonical Lipschitz structure. Our framework is subsequently applied to specific examples such as homeomorphism groups, non-Archimedean Polish groups and automorphism groups of Fraïssé limits.
| Comments: | Survey article to appear in the KIAS Springer Series in Mathematics. The article is based on lectures given at the Korea Institute for Advanced Studies in June 2023 |
| Subjects: | Group Theory (math.GR); Logic (math.LO) |
| MSC classes: | 22-02, 51F30, 03E15 |
| Cite as: | arXiv:2605.23806 [math.GR] |
| (or arXiv:2605.23806v1 [math.GR] for this version) | |
| https://doi.org/10.48550/arXiv.2605.23806 arXiv-issued DOI via DataCite (pending registration) |
From: Christian Rosendal [view email]
[v1]
Fri, 22 May 2026 16:09:56 UTC (47 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。