Electronic Only Electronic Research Announcements
Electronic Research Announcements
ISSN 1079-6762
 
 

Homeomorphism groups of manifolds and Erdos space

Author(s): Jan J. Dijkstra; Jan van Mill
Journal: Electron. Res. Announc. Amer. Math. Soc. 10 (2004), 29-38.
MSC (2000): Primary 57S05
Posted: April 6, 2004
Retrieve article in: PDF DVI PostScript

Abstract | References | Similar articles | Additional information

Abstract: Let $M$ be either a topological manifold, a Hilbert cube manifold, or a Menger manifold and let $D$ be an arbitrary countable dense subset of $M$. Consider the topological group $\mathcal{H}(M,D)$ which consists of all autohomeomorphisms of $M$ that map $D$ onto itself equipped with the compact-open topology. We present a complete solution to the topological classification problem for $\mathcal{H}(M,D)$as follows. If $M$ is a one-dimensional topological manifold, then $\mathcal{H}(M,D)$ is homeomorphic to $\mathbb{Q} ^\infty$, the countable power of the space of rational numbers. In all other cases we found that $\mathcal{H}(M,D)$ is homeomorphic to the famed Erdos space $\mathfrak E$, which consists of the vectors in Hilbert space $\ell^2$ with rational coordinates. We obtain the second result by developing topological characterizations of Erdos space.


References:

1.
S. Ageev, A characterization of $k$-dimensional Nöbeling space for every $k>1$, 2002 preprint.

2.
R. D. Anderson, Spaces of homeomorphisms of finite graphs, unpublished manuscript.

3.
R. Arens, Topologies for homeomorphism groups, Amer. J. Math. 68 (1946), 593-610. MR 8:479i

4.
C. Bessaga and A. Pe\lczynski, Selected topics in infinite-dimensional topology, Mathematical Monographs, Vol. 58, PWN--Polish Scientific Publishers, Warsaw, 1975. MR 57:17657

5.
M. Bestvina, Characterizing $k$-dimensional universal Menger compacta, Mem. Amer. Math. Soc. 71 (1988), no. 380. MR 89g:54083

6.
L. E. J. Brouwer, On the structure of perfect sets of points, Proc. Akad. Amsterdam 12 (1910), 785-794.

7.
L. E. J. Brouwer, Some remarks on the coherence type $\eta$, Proc. Akad. Amsterdam 15 (1913), 1256-1263.

8.
W. D. Bula and L. G. Oversteegen, A characterization of smooth Cantor bouquets, Proc. Amer. Math. Soc. 108 (1990), 529-534. MR 90d:54066

9.
W. J. Charatonik, The Lelek fan is unique, Houston J. Math. 15 (1989), 27-34. MR 90f:54050

10.
J. J. Dijkstra, On homeomorphism groups of Menger continua, 2003 preprint.

11.
J. J. Dijkstra, On homeomorphism groups and the compact-open topology, 2003 preprint.

12.
J. J. Dijkstra and J. van Mill, On the group of homeomorphisms of the real line that map the pseudoboundary onto itself, 2002 preprint.

13.
J. J. Dijkstra and J. van Mill, Erdos space and homeomorphism groups of manifolds, in preparation.

14.
J. J. Dijkstra, J. van Mill, and J. Steprans, Complete Erdos space is unstable, Math. Proc. Cambridge Philos. Soc., to appear.

15.
T. Dobrowolski and H. Torunczyk, Separable complete ANRs admitting a group structure are Hilbert manifolds, Topology Appl. 12 (1981), 229-235. MR 83a:58007

16.
A. J. M. van Engelen, Homogeneous zero-dimensional absolute Borel sets, CWI Tract, Vol. 27, Centre for Mathematics and Computer Science, Amsterdam, 1986. MR 87j:54058

17.
P. Erdos, The dimension of the rational points in Hilbert space, Ann. of Math. 41 (1940), 734-736. MR 2:178a

18.
S. Ferry, The homeomorphism group of a compact Hilbert cube manifold is an ${\rm ANR}$, Ann. of Math. 106 (1977), 101-119. MR 57:1521

19.
K. Kawamura, L. G. Oversteegen, and E. D. Tymchatyn, On homogeneous totally disconnected $1$-dimensional spaces, Fund. Math. 150 (1996), 97-112. MR 97d:54060

20.
J. E. Keesling, Using flows to construct Hilbert space factors of function spaces, Trans. Amer. Math. Soc. 161 (1971), 1-24. MR 44:981

21.
A. Lelek, On plane dendroids and their end points in the classical sense, Fund. Math. 49 (1961), 301-319. MR 24:A363

22.
M. Levin and R. Pol, A metric condition which implies dimension ${\le} 1$, Proc. Amer. Math. Soc. 125 (1997), 269-273. MR 97e:54033

23.
R. Luke and W. K. Mason, The space of homeomorphisms of a compact two-manifold is an Absolute Neighborhood Retract, Trans. Amer. Math. Soc. 164 (1972), 275-285. MR 46:849

24.
L. G. Oversteegen and E. D. Tymchatyn, On the dimension of certain totally disconnected spaces, Proc. Amer. Math. Soc. 122 (1994), 885-891. MR 95b:54040

25.
R. Pol, There is no universal totally disconnected space, Fund. Math. 70 (1973), 265-267. MR 48:1139

26.
W. Sierpinski, Sur une définition topologique des ensembles $F_{\sigma\delta}$, Fund. Math. 6 (1924), 24-29.

27.
J. R. Steel, Analytic sets and Borel isomorphisms, Fund. Math. 108 (1980), 83-88. MR 82b:03091

28.
H. Torunczyk, Homeomorphism groups of compact Hilbert cube manifolds which are manifolds, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25 (1977), 401-408. MR 58:24302

29.
H. Torunczyk, On ${C}{E}$-images of the Hilbert cube and characterizations of ${Q}$-manifolds, Fund. Math. 106 (1980), 31-40. MR 83g:57006

30.
H. Torunczyk, Characterizing Hilbert space topology, Fund. Math. 111 (1981), 247-262. MR 82i:57016


Similar Articles:

Retrieve articles in Electronic Research Announcements with MSC (2000): 57S05

Retrieve articles in all Journals with MSC (2000): 57S05


Additional Information:

Jan J. Dijkstra
Affiliation: Faculteit der Exacte Wetenschappen/Afdeling Wiskunde, Vrije Universiteit, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands
Email: dijkstra@cs.vu.nl

Jan van Mill
Affiliation: Faculteit der Exacte Wetenschappen/Afdeling Wiskunde, Vrije Universiteit, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands
Email: vanmill@cs.vu.nl

DOI: 10.1090/S1079-6762-04-00127-1
PII: S 1079-6762(04)00127-1
Received by editor(s): September 30, 2003
Posted: April 6, 2004
Communicated by: Krystyna Kuperberg
Copyright of article: Copyright 2004, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google