Metrical universality for groups (Q2363342): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The linear isometry group of the Gurarij space is universal / rank
 
Normal rank
Property / cites work
 
Property / cites work: On surjectively universal Polish groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graev metric groups and Polishable subgroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metrically universal abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-abelian group structure on the Urysohn universal space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4026893 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur l'extension aux relations de quelques propriétés des ordres / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3525843 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On non-Archimedean Polish groups with two-sided invariant metrics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sofic groups and profinite topology on free groups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5795137 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5552458 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4003410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3784822 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fraïssé sequences: category-theoretic approach to universal homogeneous structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof of uniqueness of the Gurariĭ space / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Polish groups admitting a compatible complete left-invariant metric / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3944558 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic representations of abelian groups and extreme amenability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Urysohn universal spaces as metric groups of exponent 2 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal valued Abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: There is no separable universal 𝐼𝐼₁-factor / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3415741 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyperlinear and Sofic Groups: A Brief Guide / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projectively universal countable metrizable groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4371059 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal Abelian topological groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3760754 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graev metrics on free products and HNN extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: A universal topological group with countable base / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3477652 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On subgroups of minimal topological groups / rank
 
Normal rank

Latest revision as of 02:41, 14 July 2024

scientific article
Language Label Description Also known as
English
Metrical universality for groups
scientific article

    Statements

    Metrical universality for groups (English)
    0 references
    0 references
    13 July 2017
    0 references
    If \(\mathcal G\) is a class of Polish groups (closed under isomorphism and taking closed subgroups), then \(G\in\mathcal G\) is said to be injectively universal for \(\mathcal G\) if every \(H\in\mathcal G\) is topologically isomorphic with a closed subgroup of \(G\). On the other hand, we say that \(G\in\mathcal G\) is projectively universal for \(\mathcal G\), if for every \(H\in\mathcal G\) there exists a continuous surjective homomorphism from \(G\) onto \(H\). From this point of view various classes were considered in the past. For example it is known that the classes of Polish groups, abelian Polish groups, and compact Polish groups have both injectively universal and projectively universal objects. On the other hand the classes of locally compact Polish groups and of complete left-invariant metric groups have no projectively and injectively universal objects. The groups with a countable neighbourhood base of the identity consisting of conjugation-invariant sets are called SIN groups (abbreviating small invariant neighbourhoods). It was left open whether there exists a universal object in the class of Polish groups admitting a bi-invariant metric, i.e., in the class of SIN Polish groups. In 1966, Gurarij constructed a separable Banach space \(\mathbb G\) such that for any \(\varepsilon>0\), finite-dimensional Banach spaces \(A\subseteq B\), and linear isometric embedding \(\iota_A:A\hookrightarrow\mathbb G\) there exists a linear \(\varepsilon\)-isometric embedding \(\iota_B:B\hookrightarrow\mathbb G\) extending \(\iota_A\). In the paper under review, the author proves that for every \(K>0\) there is a Polish metric group \(\mathbb G_K\) with a bi-invariant metric bounded by \(K\) which is of ``almost-universal disposition'' similar to the Gurarij space and (1) \(\mathbb G_K\) is metrically universal for the class of separable groups equipped with a bi-invariant metric bounded by \(K\); (2) \(\mathbb G_K\) is isometric to the Urysohn sphere of diameter \(K\); and (3) \(\mathbb G_K\) is generic among separable groups with a bi-invariant metric bounded by \(K\). Since metric universality is stronger than topological universality this group is a universal Polish group admitting a compatible bi-invariant metric and universal for the class of second-countable SIN groups. This group is also generic in the class of separable groups with bi-invariant metric bounded by \(K\). On the other hand there is no metrically universal separable group with bi-invariant metric when there is no restriction on the diameter. The same is true for separable locally compact groups with bi-invariant metric. Assuming GCH it is proved that for any uncountable cardinal \(\kappa\) there exists a metrically universal (unbounded) group of density \(\kappa\) with bi-invariant metric and there exists a universal SIN group of weight \(\kappa\).
    0 references
    metrically universal group
    0 references
    free groups
    0 references
    Fraïssé theory
    0 references
    Urysohn space
    0 references
    Graev metric
    0 references
    SIN group
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references