Homeomorphism groups of self-similar 2-manifolds
Abstract
The class of self-similar 2-manifolds consists of manifolds exhibiting a type of homogeneity akin to the 2-sphere and the Cantor set, and includes both the 2-sphere and the 2-sphere with a Cantor set removed. This chapter aims to provide a narrative thread between recent results on the structure of homeomorphism groups/mapping class groups of self-similar 2-manifolds, and also connections to classical structural results on the homeomorphism group of the 2-sphere and the Cantor set. In order to do this, we provide a survey of recent results, an exposition on classical results about homeomorphism groups, provide a treatment of the structure of stable sets, and prove extensions/strengthenings of the recent results surveyed. Of particular note, we establish the following theorems: (1) A characterization of homeomorphisms of (orientable) perfectly self-similar 2-manifolds that normally generate the group of (orientation-preserving) homeomorphisms -- a strengthening of a result of Malestein-Tao. (2) The homeomorphism group of a perfectly self-similar 2-manifold is strongly distorted -- an extension of a result of Calegari-Freedman for spheres. (3) The homeomorphism group of a perfectly tame 2-manifold is Steinhaus, and hence has the automatic continuity property -- an extension of a result of Mann in dimension two -- providing the first examples of homeomorphism groups of infinite-genus 2-manifolds with the Steinhaus property.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2023
- DOI:
- arXiv:
- arXiv:2306.08619
- Bibcode:
- 2023arXiv230608619V
- Keywords:
-
- Mathematics - Geometric Topology;
- Mathematics - Group Theory;
- 57K20;
- 57S05;
- 54H11;
- 20F65
- E-Print:
- To appear as Chapter 5 in the book In the tradition of Thurston, III (ed. K. Ohshika, A. Papadopoulos), Springer, 2024. v4: Fixed typos. This version was sent for publication. v3: incorporated the comments of the anonymous reader. v2: corrected the proof of Proposition 6.12, updated several references, and added hypotheses in several lemmas to guarantee the existence of certain infinite products