Metrical universality for groups

DOI10.1515/FORUM-2015-0181MaRDI QIDQ2363342zbMATH OpenOpenAlexFDO

Authors Michal Doucha

Publication date 13 July 2017

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.1380

zbMATH Keywords

free groupsUrysohn spaceGraev metricmetrically universal groupSIN groupFraïssé theory

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Topological groups (topological aspects) (54H11) Complete metric spaces (54E50) Applications of model theory (03C98)

Abstract: 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$.

Recommendations

• Metrically universal abelian groups
• scientific article; zbMATH DE number 1101637
• Non-abelian group structure on the Urysohn universal space
• Urysohn universal spaces as metric groups of exponent 2
• Isometric models for separable groups with a bi-invariant metric

Cites work

• scientific article; zbMATH DE number 4147079 (Why is no real title available?)
• scientific article; zbMATH DE number 4010801 (Why is no real title available?)
• scientific article; zbMATH DE number 4046655 (Why is no real title available?)
• scientific article; zbMATH DE number 3762003 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 125200 (Why is no real title available?)
• scientific article; zbMATH DE number 1101637 (Why is no real title available?)
• scientific article; zbMATH DE number 3267048 (Why is no real title available?)
• scientific article; zbMATH DE number 3055949 (Why is no real title available?)
• A proof of uniqueness of the Gurariĭ space
• A universal topological group with countable base
• Dynamics of infinite-dimensional groups. The Ramsey-Dvoretzky-Milman phenomenon
• Fraïssé sequences: category-theoretic approach to universal homogeneous structures
• Generic representations of abelian groups and extreme amenability
• Graev metric groups and Polishable subgroups
• Graev metrics on free products and HNN extensions
• Hyperlinear and Sofic Groups: A Brief Guide
• Invariant descriptive set theory
• Metrically universal abelian groups
• Non-abelian group structure on the Urysohn universal space
• On Polish groups admitting a compatible complete left-invariant metric
• On non-Archimedean Polish groups with two-sided invariant metrics
• On subgroups of minimal topological groups
• On surjectively universal Polish groups
• Projectively universal countable metrizable groups
• Sofic groups and profinite topology on free groups.
• Sur l'extension aux relations de quelques propriétés des ordres
• The linear isometry group of the Gurarij space is universal
• There is no separable universal 𝐼𝐼₁-factor
• Universal Abelian topological groups
• Universal valued Abelian groups
• Urysohn universal spaces as metric groups of exponent 2

Cited in

(15)

• Soficity and hyperlinearity for metric groups
• Isometric models for separable groups with a bi-invariant metric
• Invariant automatic continuity for compact connected simple Lie groups
• Non-abelian group structure on the Urysohn universal space
• Erratum to: ``Metrical universality for groups
• On surjectively universal Polish groups
• Free products of groups with bi-invariant metrics.
• Graev ultrametrics and surjectively universal non-Archimedean Polish groups
• Reconstruction of separably categorical metric structures
• Metrizable TAP, HTAP and STAP groups
• Universality of group embeddability
• Metrically universal abelian groups
• On Polish groups admitting a compatible complete left-invariant metric
• Group actions: entropy, mixing, spectra, and generic properties
• Universal and homogeneous structures on the Urysohn and Gurarij spaces

This page was built for publication: Metrical universality for groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363342)