Automatic continuity for homeomorphism groups and applications

Mann, Kathryn¹

¹ Department of Mathematics, University of California, Berkeley, 970 Evans Hall #3840, Berkeley, CA 94720-3840, United States

Geometry & topology, Tome 20 (2016) no. 5, pp. 3033-3056.

Résumé

Let $M$ be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of $M$ has the automatic continuity property: any homomorphism from $Homeo\left(M\right)$ to any separable group is necessarily continuous. This answers a question of C Rosendal. If $N\subset M$ is a submanifold, the group of homeomorphisms of $M$ that preserve $N$ also has this property.

Various applications of automatic continuity are discussed, including applications to the topology and structure of groups of germs of homeomorphisms. In an appendix with Frédéric Le Roux we also show, using related techniques, that the group of germs at a point of homeomorphisms of ${ℝ}^n$ is strongly uniformly simple.

Détail

DOI : 10.2140/gt.2016.20.3033

Classification : 54H15, 57S05, 03E15
Keywords: homeomorphism groups, automatic continuity, germs of homeomorphisms

Bibliographie

[1] R D Anderson, The algebraic simplicity of certain groups of homeomorphisms, Amer. J. Math. 80 (1958) 955 | DOI

[2] H Becker, A S Kechris, The descriptive set theory of Polish group actions, 232, Cambridge Univ. Press (1996) | DOI

[3] D Burago, S Ivanov, L Polterovich, Conjugation-invariant norms on groups of geometric origin, from: "Groups of diffeomorphisms" (editors R Penner, D Kotschick, T Tsuboi, N Kawazumi, T Kitano, Y Mitsumatsu), Adv. Stud. Pure Math. 52, Math. Soc. Japan (2008) 221

[4] B Deroin, A Navas, A Rivas, Groups, orders, and dynamics, preprint (2014)

[5] R D Edwards, R C Kirby, Deformations of spaces of imbeddings, Ann. Math. 93 (1971) 63 | DOI

[6] D Epstein, V Markovic, Extending homeomorphisms of the circle to quasiconformal homeomorphisms of the disk, Geom. Topol. 11 (2007) 517 | DOI

[7] M W Hirsch, Differential topology, 33, Springer (1994)

[8] S Hurtado, Continuity of discrete homomorphisms of diffeomorphism groups, Geom. Topol. 19 (2015) 2117 | DOI

[9] R R Kallman, Uniqueness results for homeomorphism groups, Trans. Amer. Math. Soc. 295 (1986) 389 | DOI

[10] R R Kallman, Every reasonably sized matrix group is a subgroup of S∞, Fund. Math. 164 (2000) 35

[11] A S Kechris, Classical descriptive set theory, 156, Springer (1995) | DOI

[12] R C Kirby, Stable homeomorphisms and the annulus conjecture, Ann. of Math. 89 (1969) 575 | DOI

[13] J Kittrell, T Tsankov, Topological properties of full groups, Ergodic Theory Dynam. Systems 30 (2010) 525 | DOI

[14] K Mann, Left-orderable groups that don’t act on the line, Math. Z. 280 (2015) 905 | DOI

[15] A Navas, A finitely generated, locally indicable group with no faithful action by C1 diffeomorphisms of the interval, Geom. Topol. 14 (2010) 573 | DOI

[16] F Quinn, Ends of maps, III : Dimensions 4 and 5, J. Differential Geom. 17 (1982) 503

[17] C Rosendal, Automatic continuity in homeomorphism groups of compact 2–manifolds, Israel J. Math. 166 (2008) 349 | DOI

[18] C Rosendal, S Solecki, Automatic continuity of homomorphisms and fixed points on metric compacta, Israel J. Math. 162 (2007) 349 | DOI

[19] M Sabok, Automatic continuity for isometry groups, preprint (2013)

[20] T Tsankov, Automatic continuity for the unitary group, Proc. Amer. Math. Soc. 141 (2013) 3673 | DOI

[21] T Tsuboi, Homeomorphism groups of commutator width one, Proc. Amer. Math. Soc. 141 (2013) 1839 | DOI

[22] J V Whittaker, On isomorphic groups and homeomorphic spaces, Ann. of Math. 78 (1963) 74 | DOI