What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?

  • 8
    $\begingroup$ Closed, aspherical 3-manifolds with isomorphic fundamental groups are diffeomorphic (by Waldhausen, Mostow, Scott and Perelman, I think). $\endgroup$ – HJRW Jun 8 '13 at 9:08
  • 3
    $\begingroup$ In the case when the 3-manifolds are lens spaces some partial classification is due to Sadeeb Ottenburger, see hss.ulb.uni-bonn.de/2009/1820/1820.htm, and arxiv.org/find/math/1/au:+Ottenburger_S/0/1/0/all/0/1. I am not sure whether there is a clean simple statement in this case. If memeory serves, he can handle all fundamental groups $\mathbb Z_r$ where $r$ is coprime to $6$. The proofs are surgery theoretic. $\endgroup$ – Igor Belegradek Jun 8 '13 at 16:18
  • 2
    $\begingroup$ I suspect the torsion will still distinguish them. The Reidemeister torsion distinguishes Lens spaces, and is roughly a determinant of the cellular chain complex of the universal cover as a group-ring module. When you cross with $S^2$, the chain complex changes by a copy of the chain complex and a shift by 2. I suspect the Reidemeister torsion will be determined by that of the Lens space, but one would have to go through the details to check this. $\endgroup$ – Ian Agol Jun 12 '13 at 4:59
  • 1
    $\begingroup$ @Agol: After checking some details, I agree that the Reidemeister torsion distinguishes $L_1\times S^2$ and $L_2\times S^2$ if $L_1$ and $L_2$ are non-diffeomorphic 3-dimensional lens spaces. In brief: (1) Multiplying by $S^2$ squares the Reidemeister torsion (see theorem B in section 4 of Milnor's "Two complexes which are homeomorphic but combinatorially distinct"). (2) The Reidemeister torsion of the lens space $L(m,n)$ is $(1-\zeta)(1-\zeta^a)$ mod $\{\pm \zeta^k\}$, where $\zeta$ is a primitive $m$-th root of unity, and $a n \equiv 1$ mod $m$. (to be continued) $\endgroup$ – Ricardo Andrade Jun 14 '13 at 4:26
  • 1
    $\begingroup$ (continued) See the notes at maths.ed.ac.uk/~aar/papers/torsion.pdf for the calculation. (3) Finally, if $L(m,n)\times S^2$ has the same Reidemeister torsion as $L(m,p)\times S^2$ (with respect to some isomorphism of the fundamental groups given by multiplication by $r$ in $\mathbb{Z}/m$), then $A = \frac{(1-\zeta^r)(1-\zeta^{ar})}{(1-\zeta)(1-\zeta^b)}$ is a $2m$-th root of unity, by (1) and (2). Since $A\in\mathbb{Q}[\zeta]$, if $A$ is a root of unity at all, then it is actually of the form $\pm \zeta^k$, implying that $L(m,n)$ and $L(m,p)$ already had equal Reidemeister torsions. $\endgroup$ – Ricardo Andrade Jun 14 '13 at 4:58

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.