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

DOI:
https://doi.org/10.1090/S0002-9947-1989-0988881-4

MathSciNet review:
988881

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: For various classes of topological spaces we prove that if and have isomorphic homeomorphism groups, then and are homeomorphic. Let denote a subgroup of the group of homeomorphisms of a topological space . A class of 's is faithful if for every , if is a group isomorphism, then there is a homeomorphism between and such that for every . *Theorem* 1: The following class is faithful: is a locally finite-dimensional polyhedron in the metric or coherent topology or is a Euclidean manifold with boundary) and for every is an accumulation point of is a differentiable or a -manifold and contains the group of differentiable or piecewise linear homeomorphisms is a manifold over a normed vector space over an ordered field. This answers a question of Whittaker , who asked about the faithfulness of the class of Banach manifolds. *Theorem* 2: The following class is faithful: is a locally compact Hausdorff space and for every open and and 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: (1) is a 0-dimensional Hausdorff space; (2) for every there is a regular open set whose boundary is ; (3) for every there are such that , and (4) for every nonempty open there is such that . 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 . *Theorem* 4: We prove (Theorem 2.23.1) that for an appropriate class of trees is first-order interpretable in .

**[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**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)**

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

DOI:
https://doi.org/10.1090/S0002-9947-1989-0988881-4

Article copyright:
© Copyright 1989
American Mathematical Society