3
$\begingroup$

This is a simple version of the question asked here.

Let $M$ be a compact 3-manifold without boundary, $\mathbb{T}^2$ be the standard 2-torus, and $i:\mathbb{T}^2\to M$ be an embedding.

(*) Assume the induced homomorphism $i_*:\pi_1(\mathbb{T}^2)\to\pi_1(M)$ is trivial: $i_*(\pi_1(\mathbb{T}^2))=0$.

Does $i(\mathbb{T}^2)$ bound a solid torus $\mathbb{D}^2\times S^1$?

If it does, could we weaken the (*) assumption?

Thanks!

  • 0
    Really? I have no idea what it is.2011-11-29

2 Answers 2

6

The condition that $i_*$ is trivial is neither necessary nor sufficient to to guarantee that $i(\mathbb{T}^2)$ bounds a solid torus.

To show that it is not necessary, consider the manifold $M = S^2 \times S^1$. If $E$ is the equator of $S^2$, then $E\times S^1$ is a solid torus in $M$. However, $\pi_1(M) = \mathbb{Z}$, and the homomorphism $i_*\colon \pi_1(E\times S^1)\to\pi_1(M)$ is onto.

To show that it is not sufficient, consider a standard torus in $S^3$, whose removal separates $S^3$ into two solid tori. Now suppose that we modify one of these solid tori by removing two solid balls and gluing in a copy of $S^2\times[0,1]$ (i.e. by attaching a 3-dimensional "handle"). This will not affect the fact that $i_*$ is trivial, but the inside is no longer a solid torus. If we do the same to the outside, we obtain a torus in a 3-manifold with trivial $i_*$ that does not bound a solid torus.

Indeed, the requirement that $i_*$ is trivial does not even guarantee that the torus is a boundary. For example, if we start with a standard torus in $S^3$ and attach an $S^2\times[0,1]$ handle between the inside and the outside, then $i_*$ will still be trivial, but the torus is no longer the boundary of any region.

  • 1
    (I think your $M$ should be $S^2\times S^1$, not $S^2\times S^2$)2014-02-17
3

I think that this is false. Take a connect sum of two nontrivial 3-manifolds along a 2-sphere $M \#_S N$. Cut two disks out of $S$, and tube them together inside $M$, such that the meridian of the tube together with a curve on $S$ is contractible. I don't think that the resulting torus is going to bound a solid torus in $M \#_S N$, even though it satisfies your hypothesis- it's going to bound $N$ plus a "handle" on one side, and $M$ minus a "handle" on the other.

It looks to me like you need to require that the torus contains an embedded contractible loop, and that after cutting along the embedded disc which it bounds, the sphere that remains is compressible. Something like that.

  • 0
    Thank you! Your example is very clear.2011-11-29