12
$\begingroup$

A topological space $X$ is called homogeneous, if for every two points $x,y \in X$ there exists a homeomorphism $\phi : X \rightarrow X$ s.t. $\phi(x) = y$.

It is not hard to prove that all connected 2-manifolds are homogeneous. The proof basically comes down to the fact that if $D$ is the open disk in $\mathbb{R}^2$ then for every $x,y \in D$ there exists a homeomorphism $\phi : \bar{D} \rightarrow \bar{D}$ such that $\phi(x) = y$, and $\phi \vert_{\partial D}$ is the identity.

Is it true that a general connected manifold is homogeneous?

  • 1
    If the manifold has dimension 2 or larger you can go further and send any collection of $n$ points to any other collection of $n$ points via a homeomorphism. Terminology for this is that $Homeo(M)$ acts on $M$ $n$-transitively for all $n$.2011-12-08

1 Answers 1

12

Yes, any connected topological manifold $X$ of arbitrary dimension $n$ is homogeneous .

1) The crucial lemma is that given two points $a,b\in \mathbb B^{\circ}$ in the interior of a closed ball $\mathbb B \subset \mathbb R^n$, there exists a homeomorphism $f: \mathbb B\to \mathbb B$ which is the identity on $\partial \mathbb B$ and such that $f(a)=b$.

2) It then follows that if you fix any point $x_0 \in X$, then the set of points $y\in X$ that can be written $y=F(x_0)$ for some homeomorphism $F:X\to X$ is both open and closed, hence is equal to $X$.
Hence $X$ is homogeneous.
(By the way, an obvious modification of the proof shows that the analogous result is also true for a differential manifold: its diffeomorphisms act transitively on the manifold)

Edit: a fishy image
Let me give a physical model which might help visualize the lemma in 1) ( a totally rigorous and amazingly crisp proof is given in t.b.'s great comment).
Imagine you have a spherical fishbowl completely filled with water and a goldfish sitting somewhere in it.
The lemma says that you can send the goldfish to any preassigned place in the bowl by skilfully (!) shaking the bowl.

  • 1
    Would you happen to know how these maps on $\mathbb{B}$ are constructed?2011-12-08
  • 11
    @Eric: one way to do it is as follows: For $a,b \in \mathbb{B}^\circ$ choose a smooth bump function $0 \leq f \leq 1$ supported in $\mathbb{B}^\circ$ which is constant equal to one in a ball containing both $a$ and $b$. Then look at the vector field $X(x) = f(x) (b-a)$. The time one map $\varphi^1$ of the flow $\varphi^t$ of $X$ will satisfy $\varphi^1(a) = b$ and $\varphi^1$ will fix every point outside the support of $f$.2011-12-08
  • 3
    Dear@t.b. what a wonderful proof! My idea was to replace the interior of the ball by a copy of $\mathbb R^n$, to consider a translation that sends one point to the other and modify it so that the translation dies out at infinity . I could then transport it back to the ball and extend it by the identity of the sphere. However this is messy to write up and I was thinking how to best sum that up to answer Eric's query, when I was saved by your comment. Maybe our ideas are similar but your use of a vector field gives a really miraculous, unimprovably concise proof. Congratulation and many thanks.2011-12-09
  • 1
    Do these homeomorphisms generate $Homeo(X)$?2011-12-09
  • 1
    @Neal: no. Here are three reasons: 1. they are *diffeomorphisms*, hence the group they generate is a subgroup of the group of diffeomorphisms. 2. They don't generate all *diffeomorphisms* either. In fact, by construction they lie in the connected component of the identity of $\mathrm{Diff}{(X)}$, which is a normal subgroup and a proper normal subgroup in general. 3. If $X$ is orientable, those diffeomorphisms are orientation-preserving.2011-12-09
  • 0
    Dear Georges, Thank you for your kind words and enthusiasm. I like that proof, too. I don't remember where I learned it -- probably in my differential geometry course quite a while back. Best wishes, Theo.2011-12-09