Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Where can I find the proof of the following fact: If $M$ is a contractible manifold of dimension $n\ge 5$, then the direct product of $M$ and $\mathbb{R}^{n+1}$ is homeomorphic to $R^{2n+1}$ ?

share|improve this question
Presumably you want to assume $M$ has no boundary, that it's a non-compact manifold. Otherwise you'd have plenty of counter-examples -- like $D^n$. –  Ryan Budney Mar 30 '11 at 20:44
@Ryan: Yes, you are right. –  Mark Sapir Mar 31 '11 at 4:17

2 Answers 2

up vote 15 down vote accepted

This was proved in the PL-setting in:

McMillan, D. R.; Zeeman, E. C. On contractible open manifolds. Proc. Cambridge Philos. Soc. 58 1962 221–224.

From MathReviews:

"An open manifold is defined to mean a non-compact space that is triangulable by a countable complex which is a combinatorial manifold without boundary. The main theorem is that if $M^n$ is a contractible open manifold, then $M^n\times E^2$ is piecewise linearly homeomorphic to $E^{n+2}$. The principal tool used in the proof is the theorem due to Zeeman which implies that if $M^n$ is a contractible open manifold and $X$ is a subcomplex of codimension $\geq 3$, then $X$ lies in an $n$-cell in $M^n$. The results of this paper have been improved by Stallings for $n>3$ [same Proc. 58 (1962), 481--488] to show that $M^n\times E^1$ is piecewise linearly homeomorphic to $E^{n+1}$. Lemma 3 of the present paper is of independent interest and has been used to study cellularity of sets in products." (Reviewed by M. L. Curtis)

share|improve this answer
@Andreas: Thank you! –  Mark Sapir Mar 31 '11 at 1:06

Expanding a little on Andreas Thom's answer, the easiest way to prove this is to use Stallings's theorem that says that a high-dimensional contractible PL manifold that is simply connected at infinity is homeomorphic to $\mathbb{R}^n$ (the key point being that if $M$ is a contractible PL manifold, then $M \times \mathbb{R}$ is clearly simply connected at infinity). There is a really beautiful account of this theorem in chapter 10 of Steve Ferry's notes on geometric topology, available here.

share|improve this answer
@Andy: Thank you –  Mark Sapir Mar 31 '11 at 1:07

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.