MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is certainly not a reasearch question, but I got no answers on math.stackexchange so I duplicate the question here.

Siebenmann on page 1 of his manuscript gives an example of an ENR space (euclidean neighborhood retract) whose group of homeomorphisms is not locally contactable. Take the sphere $S^3=R^3\cup\{\infty\}$ and a sequence of wild non-cellular arcs $A_n$ which are copies of an arc in a unit ball in $R^3$ translated by $(4n,0,0)$. Then factorize by sending each arc to a point. The resulting space is said not to be locally contactable since there are homeomorphisms arbitrary close to the identity which permute images of $A_n$ and none of these homeomorphisms is isotopic to the identity. The nonexistence of isotopy is not clear. Could anybody point where (and how) are exactly the wildness and non-cellularity used?

share|cite|improve this question
I wonder if you would be willing to explain a little more how these wild arcs work -- I don't like opening links on the web, and I'm having a little trouble understanding your question without reading the Siebenmann manuscript. Thanks! Anyway, perhaps you'll get more answers to your question if you explain the question a little more. – tweetie-bird Oct 19 '12 at 21:05
I would rephrase the question as "Why the space described is not locally contractable". Wild arc is an embedding of an interval which is not ambient isotopic to the standard one. Cellular subset of R^n is a compact subset of X such that each neighbourhood U of X contains an n-cell B, s.t. X\subset Int B\subset U\subset U (i.e. X has arbitrary small neighborhoods homeomorphic to R^n) – Dmitry K Oct 19 '12 at 22:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.