21
$\begingroup$

If $S \times \mathbb{R}$ is homeomorphic to $T \times \mathbb{R}$ and $S$ and $T$ are compact, connected manifolds (according to an earlier question if one of them is compact the other one needs to be compact) can we conclude that $S$ and $T$ are homeomorphic?

I know this is not true for non compact manifolds.

I am mainly interested in the case where $S, T$ are 3-manifolds.

$\endgroup$
  • $\begingroup$ Are $S$, $T$ metric spaces or otherwise constrained? You seem to be interested in manifolds? $\endgroup$ – Henno Brandsma May 7 '13 at 10:27
  • $\begingroup$ yes i am interested in the result about manifolds. i edited the question and added this. thanks $\endgroup$ – user76556 May 7 '13 at 19:00
  • $\begingroup$ Are manifolds with boundaries allowed? $\endgroup$ – Jacob H May 7 '13 at 19:26
  • $\begingroup$ no just ordianry manifolds $\endgroup$ – user76556 May 8 '13 at 4:41
  • $\begingroup$ $S$ and $T$ have the same homotopy type, only! $\endgroup$ – amine May 14 '13 at 21:19
6
$\begingroup$

For closed 3-manifolds, taking the product with $\mathbb{R}$ doesn't change the fundamental group, so if the two products are homemorphic, the original spaces have the same fundamental group, and closed 3-manifolds are uniquely determined by their fundamental group, if they are irreducible and non-spherical.

$\endgroup$
  • $\begingroup$ Relatedly, the lens spaces $L(7,1)$ and $L(7,2)$ are known to be homotopy equivalent but not homeomorphic. One can prove that $TL(7,1)$ is diffeomorphic to $TL(7,2)$ and that these bundles are trivial. So, in this case, each of the spaces crossed with $\mathbb{R}^3$ provides an example (but I'm not sure what happens after crossing with just $\mathbb{R}$). $\endgroup$ – Jason DeVito Jun 3 '13 at 17:58
  • $\begingroup$ it seems everything is ok. where can i read more details? and won't this irreducibility and non-sphericalness affect the argument? $\endgroup$ – user76556 Jun 3 '13 at 18:39
  • $\begingroup$ I got it from arxiv.org/pdf/1205.0202.pdf. You're right, though, it doesn't apply everywhere; what case are you interested in? I usually do hyperbolic geometry, and it's true in that case. Jason DeVito's comment shows the question is interesting in the spherical case at least... $\endgroup$ – Brian Rushton Jun 3 '13 at 18:51
  • $\begingroup$ i am looking for the general case. but it seems we are really close. i'll have a look at the article. tanx. $\endgroup$ – user76556 Jun 6 '13 at 20:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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