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

Rene Thom came up with the idea of J-equivalence:

Let $M_1$ and $M_2$ be manifolds that are oriented, compact and smooth. Then they are J-equivalent if there is a smooth manifold $X$ with boundary $M_1-M_2$ (we reverse the orientation of $M_2$) and both $M_1$ and $M_2$ are deformation retracts of $X$.

Thus if $M_1$ and $M_2$ are J-equivalent, they are homotopic. Are they related by a simple homotopy?

Note: Asking if they are instead diffeomorphic is, I believe, an open question. Although scattered results exists, eg this theorem of Smale: If $M_1$ and $M_2$ are J-equivalent homotopy spheres of dimension $2m-1$ with $m>2$, then they are diffeomorphic.

share|cite|improve this question
Presumably you mean "they are homotopy-equivalent" not "homotopic". And you're asking if they're simple homotopy-equivalent, or do you mean something more precise by "related by a simple homotopy"? You are using a fair bit of non-standard terminology. The answer is no in general, since Whitehead torsion gets in the way. See the Wikipedia page on the h-cobordism theorem. – Ryan Budney Nov 26 '10 at 20:20
Ryan, I misread your comment before; sorry. – Tom Goodwillie Nov 27 '10 at 4:58
I wouldn't have known if you hadn't told me, Tom. So, no problem. :) – Ryan Budney Nov 27 '10 at 5:31

This "J-equivalence" is usually called h-cobordism. The results on it are not scattered! They are quite complete, except in low dimensions.

Given any $M_1$, and given an element $\tau$ of the Whitehead group of (the fundamental group of) $M_1$, there is always an h-cobordism $X$ such that the torsion of the inclusion map $M_1\to X$ is $\tau$. In fact, up to diffeomorphism fixed on $M_1$ there is a unique such $X$. In particular, in the case when $M_1\to X$ is a simple homotopy equivalence the only possible $X$ is $M_1\times I$.

If the fundamental group is trivial, or more generally if the Whitehead group is trivial (which it is for many and conjecturally all torsion-free fundamental groups), then h-cobordism implies diffeomorphism.

share|cite|improve this answer
An excellent place to learn about all that is Wolfgang Lueck's book "A Basic Introduction to Surgery Theory" – André Henriques Nov 27 '10 at 14:26

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.