Mathematics > Group Theory
[Submitted on 6 Oct 2014 (v1), last revised 8 Feb 2018 (this version, v4)]
Title:Metrical universality for groups
View PDFAbstract:We prove that for any constant $K>0$ there exists a separable group equipped with a complete bi-invariant metric bounded by $K$, isometric to the Urysohn sphere of diameter $K$, that is of `almost-universal disposition'. It is thus an object in the category of separable groups with bi-invariant metric analogous in its properties to the Gurarij space from the category of separable Banach spaces. We show that this group contains an isometric copy of any separable group equipped with bi-invariant metric bounded by $K$. As a consequence, we get that it is a universal Polish group admitting compatible bi-invariant metric, resp. universal second countable SIN group. Moreover, the almost-universal disposition shows that the automorphism group of this group is rich and it characterizes the group uniquely up to isometric isomorphism. We also show that this group is in a certain sense generic in the class of separable group with bi-invariant metric (bounded by $K$).
On the other hand, we prove there is no metrically universal separable group with bi-invariant metric when there is no restriction on diameter. The same is true for separable locally compact groups with bi-invariant metric.
Assuming the generalized continuum hypothesis, we prove that there exists a metrically universal (unbounded) group of density $\kappa$ with bi-invariant metric for any uncountable cardinal $\kappa$. We moreover deduce that under GCH there is a universal SIN group of weight $\kappa$ for any infinite cardinal $\kappa$.
Submission history
From: Michal Doucha [view email][v1] Mon, 6 Oct 2014 14:16:54 UTC (21 KB)
[v2] Thu, 26 Mar 2015 15:47:04 UTC (30 KB)
[v3] Thu, 23 Jun 2016 08:25:29 UTC (34 KB)
[v4] Thu, 8 Feb 2018 16:57:00 UTC (34 KB)
Current browse context:
math.GR
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.