# Unknotting tunnels in surface bundles

Given a once-punctured surface $F$ and an orientation preserving self homeomorphism $\phi$, let $M_\phi$ be the bundle over $S^1$ with fiber $F$ and monodromy $\phi$.

In Sakuma's survey article The topology, geometry and algebra of unknotting tunnels (and in this paper), Johannson and Kobayashi are credited for proving that any unknotting tunnel for $M_\phi$ is isotopic to a tunnel $\alpha$ which lies on a fiber $F$ such that $\alpha\cap\phi(\alpha)=\emptyset$. This leads to a classification of unknotting tunnels in once-punctured torus bundles.

The references are talks. Does anyone know if this is written down anywhere?

-
I think this result should generalize to fibered manifolds of higher genus, using methods of Jesse Johnson (who obtained a classification in the closed case): front.math.ucdavis.edu/0607.5513 Alternatively, one may analyze how a compressing disk crosses over the tunnel, and use it to simplify the intersections of the tunnel with the fiber so that it is disjoint. Then an outermost disk gives an isotopy of the tunnel onto the fiber. Another outermost disk shows one may find a disjoint representative on the fiber after applying $\phi$. –  Ian Agol Oct 4 '10 at 16:13

The classification of once-punctured torus bundles over $S^1$ with Heegaard genus two should follow directly from a paper of Cooper and Scharlemann. Jesse's paper (above) uses similar techniques but deals with general genus fiber (harder!). Thinking about Ian's outermost disk suggestions is probably a good idea.