Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1410.1380

Metrical universality for groups

Michal Doucha
View original source ↗Read source document ↗Export metadata ↓

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 $κ$ with bi-invariant metric for any uncountable cardinal $κ$. We moreover deduce that under GCH there is a universal SIN group of weight $κ$ for any infinite cardinal $κ$.

Explore related subjects

math.GRmath.GNmath.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michal Doucha. 2018-02-08. Metrical universality for groups. https://arxiv.org/abs/1410.1380

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Finiteness conditions on skew braces and solutions of the Yang-Baxter equation

A finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation gives rise to a structure skew brace $B(X,r)$ that is a $λ_f$-skew brace, i.e. every element has finitely many $λ$-images, and whose additive group is $FC$. This motivates the study of finiteness conditions on skew braces. We first study the general class of $λ_f$ skew braces and the subclass where the additive group is $FC$, showing that these properties share a resemblance to finite conjugacy, having an analog of the $FC$-center and several analogous structural results. Furthermore, by passing through the structure skew brace of a solution, this property measures whether elements are contained in a finite decomposition factor, identifying a class of infinite solutions that may exhibit similar properties to finite ones. Finally, we show that for a sub skew brace where both groups have finite index, both indices need to coincide and that such a sub skew brace contains a strong left ideal of finite index.

math.GR↗
arXiv2026

Non-uniform exponential growth and the decay of growth rates in growing dimensions

We provide the first example of a finitely presented, and the first example of a simple, group of non-uniform exponential growth. The example is given by Thompson's group $V$. Our methods also show that the infimal exponential growth rates of $\mathrm{Aut}(F_{2^{n+2}})$ and of $\mathrm{EL}_{2^{n+2}}(R)$, for every finitely generated ring $R$, tend to $1$. As an application, we obtain the first example of an acylindrically hyperbolic group, and the first example of a Kazhdan group, of non-uniform exponential growth.

math.GR↗
arXiv2026

Solvable Supplements to Normalizers of Cyclic 2-Subgroups

Amberg and Kazarin proved that a finite group is solvable if the normalizer of every cyclic subgroup of prime power order has a solvable supplement. We substantially relax this hypothesis by requiring it only for cyclic $2$-subgroups. This condition, denoted by $\mathrm{SSN}_2$, sharply restricts the nonabelian composition factors of the group to the family $\PSL_2(q)$, where $q\geq7$ is a prime power satisfying $q\equiv3\pmod4$. Conversely, this family is precisely the nonabelian finite simple groups that satisfy $\mathrm{SSN}_2$. Consequently, a finite group satisfying $\mathrm{SSN}_2$ is solvable if and only if it has no section isomorphic to one of these groups.

math.GR↗