Welcome to MathOverflow

Question

4

Haken proved that an incompressible surface in a triangulated irreducible 3-manifold is isotopic to a surface which is normal with respect to the triangulation (Theorie der Normalflächen. Acta Math. 105 1961 245–375).

While normal surfaces are tremendously useful, I want my surfaces to be isotopic into the two-skeleton and I am unsure when I can conclude that they indeed are isotopic into the two-skeleton. I suspect that there are triangulated 3-manifolds out there containing incompressible surfaces which are not isotopic into the two-skeleton, but I am hoping that if the 3-manifold has a metric and the tetrahedra are "small enough" compared to the injectivity radius of the 3-manifold, then incompressible surfaces can be isotoped into the two-skeleton.

Can someone point me to a reference or explain whether or not there are reasonable properties of a triangulation which imply that incompressible surfaces are isotopic into the two-skeleton?

edited Aug 14 at 16:56

asked Aug 13 at 22:20

bb
1,191●5●9

2

Note that Haken's theorem need the 3-manifold to be irreducible. – Bruno Martelli Aug 14 at 15:30

Douglas Zare · Accepted Answer · 2012-08-13 22:54:19Z UTC

10

Unfortunately, you can't always expect every incompressible surface to be isotoped into the $2$-skeleton. There are only finitely many subsets of the $2$-skeleton, but there can be infinitely many nonparallel incompressible surfaces. This is simplest in the $3$-torus, but there are many other examples. Jaco's stair construction gives incompressible surfaces of arbitrarily high genus in a surface (of positive genus) times a circle.

answered Aug 13 at 22:54

Douglas Zare
13.2k●3●36●58

Is there any nontrivial example where the incompressible surfaces do isotope into the two-skeleton? Is there a classification of such manifolds? – Igor Rivin Aug 13 at 23:51

I guess the non-Haken manifolds (perhaps irreducible ones) are what you are calling trivial. I'm not sure when there are only finitely many isotopy classes of $\pi_1$-injective surfaces. Any nice enough triangulation of such a manifold should work. – Douglas Zare Aug 14 at 0:01

1

@bb: Your original question posited a fixed underlying triangulation. If instead you fix the surface $S$ and allow yourself to pick and choose amongst triangulations, then certainly you can produce a triangulation into which $S$ may be isotoped. Nonetheless, as Zare's answer shows, for a typical 3-manifold there will not exist any one triangulation into which all incompressible surfaces can be isotoped. – Lee Mosher Aug 14 at 0:32

1

@bb: It sounds like you are trying to construct a triangulation from a surface so that the surface is in the $2$-skeleton. If so, just triangulate the $3$-manifold with boundary you get by cutting along $S$, and add a few tetrahedra to make the two triangulations of $S$ consistent. Your construction seems to make some strong assumptions about how $S$ intersects the particular triangulation you have at the start. You can see that this construction has to make some assumptions, since there are only finitely many subsets of the $2$-skeleton of any fixed iteration of barycentric subdivision... – Douglas Zare Aug 14 at 0:46

1

Do you have a triangulation of $S\times (0,1)$ with infinitely many tetrahedra, or are you just taking the interior of a (finite) triangulation of $S\times [0,1]$? In the second case you are done: the boundary of the regular neighborhood of $S \times 0$ in the triangulation is always isotopic to $S$, and if you start with a 2nd barycentric subdivision you are sure that it does not intersect $S\times 1$. – Bruno Martelli Aug 14 at 15:37

show 5 more comments

When are incompressible surfaces isotopic into a two-skeleton?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.