Classification of stable surfaces with respect to automatic continuity

From MaRDI portal





The paper under review provides a complete classification of the automatic continuity property for the homeomorphism groups and mapping class groups of stable surfaces. A topological group is said to have automatic continuity if every group homomorphism to a separable group is necessarily continuous.\N\NThe authors establish (Theorem A) that for a connected, stable, orientable surface \(\Sigma\) without boundary, the groups \(\mathrm{Homeo}(\Sigma)\) and \(\mathrm{Map}(\Sigma)\) possess the automatic continuity property if and only if every end of \(\Sigma\) is telescoping. A telescoping end is defined as being an isolated puncture, of Cantor type, or a successor end that is not isolated in the space of ends accumulated by genus and has only predecessors of Cantor type.\N\NThe necessity of the stability assumption is justified; stability eliminates various pathological end-space behaviors, ensures that \(\mathrm{Homeo}(\Sigma)\)-orbits of ends are well-behaved, and implies that the surface has only finitely many equivalence classes of maximal ends. To achieve their classification, the authors build a five-step framework for proving automatic continuity in Polish groups of homeomorphisms, inspired by previous work on compact manifolds and the Cantor set. Techniques in their proof involve a surface-adapted Eilenberg-Mazur swindle and the Anderson trick to express elements as uniformly finite products of commutators on designated bricks or drawtubes within telescoping neighborhoods.\N\NFurthermore, the paper applies this framework to totally disconnected spaces, proving (Theorem B) that the homeomorphism group of any stable, second-countable Stone space also enjoys automatic continuity.











This page was built for publication: Classification of stable surfaces with respect to automatic continuity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7288417)