In this installment I’ll present some newer automatic continuity results in the spirit of Specker’s theorem. Recall that a group is cm-slender (respectively lcH-slender, n-slender) if every abstract group homomorphism from a completely metrizable topological group (resp. locally compact Hausdorff topological group, the Hawaiian earring group) to has open kernel (see Part 2). A group satisfying any of these slenderness notions must be both torsion-free and not contain as a subgroup.
On initially understanding Higman’s proof that free groups are n-slender, one notices that the proof can be applied to a wider range of groups. The proof utilizes the fact that the natural length function on a free group satisfies certain nice properties, together with a diagonalization argument. We’ll say a function is a length function provided , and . A length function is uniformly monotone (abbrev. u.m.) provided there exists some for which implies . Clearly a u.m. length function cannot exist if has torsion or more generally if has a nontrivial element which has infinitely many roots (i.e. for infinitely many there exists for which ). In the case of a free group one can use constant . The existence of a u.m. length function implies that a group is n-slender by Higman’s argument. Dudley (in Continuity of homomorphisms, 1961) used a different sort of length function (which he called a norm) to prove slenderness results about free (abelian) groups.
One can show that torsion-free word hyperbolic groups always have a u.m. length function (see Torsion-free word hyperbolic groups are noncommutatively slender, 2016), and are therefore n-slender. A u.m. length function argument also shows that the class of n-slender groups is closed under taking graph products (not just free products or direct sums).
By taking a still more general approach one can prove many more automatic continuity theorems. In the following three paragraphs I’ll describe some results with Greg Conner in A note on automatic continuity, 2019. Given a group , subset , and we let . A limiting sequence pair for a group is a pair of sequences and with and such that for every natural number :
A group with a limiting sequence pair is cm-, lcH-, and n-slender (see Theorem A). This gives a plethora of automatic continuity results since each of the following has a limiting sequence pair (see Theorem B):
- groups with a Dudley norm (see above in this post)
- groups with uniformly monotone length function
- countable torsion-free groups with finite roots
- Baumslag-Solitar groups
- Thompson’s group
A few other such groups could be mentioned, but this list gives a sense of the breadth of the class of slender groups and of the applicability of the notion of limiting sequence pair. In this paper, it is also shown that the class of cm-slender groups, the class of lcH-slender groups, and the class of n-slender groups are closed under taking graph products.
A class of groups missing from this list is the torsion-free one-relator groups. By strengthening a lemma due to Newman (Some results on one-relator groups, 1968, Lemma 2) and inductively applying a result of Nakamura (Atomic properties of the Hawaiian earring group for HNN extensions, 2015) I show that such groups are n-slender (Root extraction in one-relator groups and slenderness, 2018). This proves a conjecture in Nakamura’s paper.
Some other groups which are reasonably close to being free groups are also slender. For example, if is a group in which every countable subgroup is free (so-called -free) then is cm-, lcH- and n-slender (see Automatic continuity of -free groups, to appear). With Ilya Kazachkov we also show that various types of braid groups are slender (On preservation of automatic continuity, 2019). More recently with Oleg Bogopolski (An atomic property for acylindrically hyperbolic groups) we prove that for any abstract homomorphism with an acylindrically hyperbolic group and either completely metrizable, locally compact Hausdorff, or the Hawaiian earring group there exists a neighborhood of identity of the domain which maps into the set of elliptic elements. From this, one can deduce that a torsion-free relatively hyperbolic group over a collection of n-slender groups is also n-slender, and similarly for a cm- or lcH-slender group provided the group is of cardinality less than .