Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



On the reconstruction of topological spaces from their groups of homeomorphisms

Author: Matatyahu Rubin
Journal: Trans. Amer. Math. Soc. 312 (1989), 487-538
MSC: Primary 54H99; Secondary 20F38, 58B99
MathSciNet review: 988881
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: For various classes $ K$ of topological spaces we prove that if $ {X_1},{X_2} \in K$ and $ {X_1},{X_2}$ have isomorphic homeomorphism groups, then $ {X_1}$ and $ {X_2}$ are homeomorphic. Let $ G$ denote a subgroup of the group of homeomorphisms $ H(X)$ of a topological space $ X$. A class $ K$ of $ \langle X,G\rangle $'s is faithful if for every $ \langle {X_1},{G_1}\rangle ,\langle {X_2},{G_2}\rangle \in K$, if $ \varphi :{G_1} \to {G_2}$ is a group isomorphism, then there is a homeomorphism $ h$ between $ {X_1}$ and $ {X_2}$ such that for every $ g \in {G_1}\;\varphi (g) = hg{h^{ - 1}}$. Theorem 1: The following class is faithful: $ \{ \langle X,H(X)\rangle \vert(X$ is a locally finite-dimensional polyhedron in the metric or coherent topology or $ X$ is a Euclidean manifold with boundary) and for every $ x \in X\;x$ is an accumulation point of $ \{ g(x)\vert g \in H(X)\} \} \cup \{ \langle X,G\rangle \vert X$ is a differentiable or a $ PL$-manifold and $ G$ contains the group of differentiable or piecewise linear homeomorphisms$ \}$ $ \cup \{ \langle X,H(X)\rangle \vert X$ is a manifold over a normed vector space over an ordered field$ \}$. This answers a question of Whittaker $ [{\text{W}}]$, who asked about the faithfulness of the class of Banach manifolds. Theorem 2: The following class is faithful: $ \{ \langle X,G\rangle \vert X$ is a locally compact Hausdorff space and for every open $ T \subseteq X$ and $ x \in T\;\{ g(x)\vert g \in H(X)$ and $ g \upharpoonright (X - T) = \operatorname{Id}\} $ is somewhere dense$ \}$. Note that this class includes Euclidean manifolds as well as products of compact connected Euclidean manifolds. Theorem 3: The following class is faithful: $ \{ \langle X,H(X)\rangle \vert$ (1) $ X$ is a 0-dimensional Hausdorff space; (2) for every $ x \in X$ there is a regular open set whose boundary is $ \{ x\}$; (3) for every $ x \in X$ there are $ {g_{1,}}{g_2} \in G$ such that $ x \ne {g_1}(x) \ne {g_2}(x) \ne x$, and (4) for every nonempty open $ V \subseteq X$ there is $ g \in H(X) - \{ \operatorname{Id}\} $ such that $ g \upharpoonright (X - V) = \operatorname{Id}\} $. Note that (2) is satisfied by 0-dimensional first countable spaces, by order topologies of linear orderings, and by normed vector spaces over fields different from $ {\mathbf{R}}$. Theorem 4: We prove (Theorem 2.23.1) that for an appropriate class $ {K^T}$ of trees $ \{ \langle \operatorname{Aut}(T),T; \leq , \circ ,\operatorname{Op}\rangle \vert T \in {K^T}\} $ is first-order interpretable in $ \{ \operatorname{Aut}(T)\vert T \in {K^T}\} $.

References [Enhancements On Off] (What's this?)

  • [BP] C. Bessaga and A. Pelczynski, Selected topics in infinite dimensional topology, Polish Scientific Publishers, Warsaw, 1975. MR 0478168 (57:17657)
  • [CK] C. C. Chang and H. J. Keisler, Model theory, North-Holland, Amsterdam, 1973.
  • [En] S. J. Eigen, The group of measure preserving transformations of $ [0,1]$ has no outer automorphisms, Math. Ann. 259 (1982), 259-270. MR 656665 (83f:28015)
  • [F1] R. P. Filipkiewicz, Isomorphism between diffeomorphism groups, Ergodic Theory Dynamical Systems 2 (1982), 159-171. MR 693972 (84j:58039)
  • [GGHJ] A. M. W. Glass, Y. Gurevich, W. C. Holland, and M. Jambu-Giraudet, Elementary theory of automorphism groups of doubly homogeneous chains, preprint. MR 619862 (82i:03047)
  • [Gm] V. K. A. M. Gugenheim, Piecewise linear isotopy, Proc. London Math. Soc. 31 (1953), 29-53. MR 0058204 (15:336d)
  • [L1] Yu-lee Lee, Characterizing the topology by the class of homeomorphism, Duke Math. J. 35 (1968), 625-629. MR 0227955 (37:3539)
  • [L2] -, On the existence of non-comparable homogeneous topologies with the same class of homeomorphisms, Tôhoku Math. J. (2) 22 (1970), 499-501. MR 0276944 (43:2684)
  • [Lg1] W. Ling, A classification theorem for manifold automorphism groups, preprint.
  • [Lg2] -, Factorizable groups of homeomorphisms, preprint.
  • [M] R. A. McCoy, Homeomorphism groups of Hilbert cube manifolds, General Topology Appl. 2 (1972), 55-60. MR 0353344 (50:5828)
  • [M1] J. van Mill, Homeomorphism groups and homogeneous spaces, preprint. MR 759672 (86h:54016)
  • [Mm] D. Maharam, On homogeneous measure algebras, Proc. Nat. Acad. Sci. U.S.A. 28 (1942), 108-111. MR 0006595 (4:12a)
  • [R1] M. Rubin, On the automorphism groups of homogeneous and saturated Boolean algebras, Algebra Universalis 9 (1979), 54-86. MR 508669 (80d:03032)
  • [R2] -, On the reconstruction of complete Boolean algebras from their automorphism groups, Arch. Math. Logik und Grundlagen. 20 (1980), 125-146. MR 603333 (82c:06026)
  • [R3] -, Second countable connected manifolds with elementarily equivalent homeomorphism groups are homeomorphic in the constructible universe, in preparation.
  • [RY] M. Rubin and Y. Yomdin, On the reconstruction of smooth manifolds, Banach spaces and measure spaces from their automorphism groups, Israel J. of Math. (to appear).
  • [Rr] L. Rieger, Some remarks on automorphisms of Boolean algebras, Fund. Math. 38 (1951), 209-216. MR 0049863 (14:238a)
  • [S] S. Shelah, Why there are many nonisomorphic models for unsuperstable theories (Proc. Internat. Congr. Math., Vancouver, B. C., 1974, vol. 1), Canadian Math. Congress, Montreal, 1975, pp. 259-263. MR 0422015 (54:10008)
  • [Sp] E. H. Spanier, Algebraic topology, McGraw-Hill, New York, 1966. MR 0210112 (35:1007)
  • [Ts] F. Takens, Characterization of a differentiable structure by its group of diffeomorphisms, Bol. Soc. Brasil Mat. 10 (1979), 17-26. MR 552032 (82e:58027)
  • [W] J. V. Whittaker, On isomorphic groups and homeomorphic spaces, Ann. of Math. 78 (1963), 74-91. MR 0150750 (27:737)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 54H99, 20F38, 58B99

Retrieve articles in all journals with MSC: 54H99, 20F38, 58B99

Additional Information

Article copyright: © Copyright 1989 American Mathematical Society

American Mathematical Society