Algebraic and geometric properties of homeomorphism groups of ordinals

Abstract

We study the homeomorphism groups of ordinals equipped with their order topology, focusing on successor ordinals whose limit capacity is also a successor. This is a rich family of groups that has connections to both permutation groups and homeomorphism groups of manifolds. For ordinals of Cantor--Bendixson degree one, we prove that the homeomorphism group is strongly distorted and uniformly perfect, and we classify its normal generators. As a corollary, we recover and provide a new proof of the classical result that the subgroup of finite permutations in the symmetric group on a countably infinite set is the maximal proper normal subgroup. For ordinals of higher Cantor--Bendixson degree, we establish a semi-direct product decomposition of the (pure) homeomorphism group. When the limit capacity is one, we further compute the abelianizations and determine normal generating sets of minimal cardinality for these groups.