12
$\begingroup$

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$?

$\endgroup$
6
  • 8
    $\begingroup$ Closed, aspherical 3-manifolds with isomorphic fundamental groups are diffeomorphic (by Waldhausen, Mostow, Scott and Perelman, I think). $\endgroup$
    – HJRW
    Jun 8, 2013 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$ Jun 8, 2013 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, 2013 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$ Jun 14, 2013 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$ Jun 14, 2013 at 4:58

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.