Haken manifolds and virtual Haken conjecture

November 21, 2011

Hi people~ My weekends have been unfortunately filled up with grading undergrad assignments for the last couple of weeks >.< I'll try to catch up on blogging by finding some other time slot during the week.

As a grand-student of Thurston's I feel obligated to end my ignorance regarding Haken manifolds. I guess it's a good idea to start by writing my usual kids-friendly exposition here.

In the rest of the post, M is a compact (so perhaps with boundary), orientable, irreducible (meaning each embedded 2-sphere bounds a ball) 3-manifold.

Definition: A properly embedded oriented surface S \subseteq M is incompressible if S is not the 2-sphere and any simple closed curve on S which bounds an embedded disc in M \backslash S also bounds one in S.

Figure 1

In other words, together with Dehn’s lemma this says the map \varphi: \pi_1(S) \rightarrow \pi_1 (M) induced by the inclusion map is injective.

Note that the surface S could have boundary, for example:

Figure 2

Definition: M is Haken if it contains an incompressible surface.

Okay, at this point you should be asking, what’s good about Haken manifolds? The beauty about it is that, roughly speaking, once you find one incompressible surface in the manifold, you can just keep finding them until the manifold is completely chopped up into balls by incompressible surfaces.

Theorem: (Haken) Any Haken 3-manifold M contains a hierarchy S_0 \subseteq S_1 \subseteq \cdots \subseteq S_n where

1.S_0 is an incompressible surface in M
2.S_i = S_{i-1} \cup S where S is an incompressible surface for the closure of some connected component K of $latex M \backslash S_{i-1}
3.M \backslash S_n is a union of 3-balls

Sketch of proof: This is much simpler than it might appear to be. The point is (at least in my opinion), except for trivial cases as long as a manifold has boundary it must be Haken.

Lemma: If \partial M has a component that’s not \mathbb{S}^2 then M is Haken.

The proof of the lemma is merely that any such M will have infinite H_2 hence by the sphere theorem it will contain an embedded surface with non-trivial homology, if such surface is compressible then we just cut along the boundary of the compressing disc and glue two copies of it. This does not change the homology. Hence at the end we will arrive at a non-trivial incompressible surface.

Figure 3

Now back to proving of the theorem, so we start by setting S_0 to be an incompressible surface given by M being Haken.

Now since M is irreducible, we cut along S_0, i.e. take the closure of each component (may have either one or two components) of M\backslash S_0. Those will have a non-spherical boundary component, hence by lemma containing homologically non-trivial incompressible surface.

This process continuous as long as some pieces has non-spherical boundary components. But since M is irreducible, any sphere bounds a 3-ball in M, hence all components with sphere boundary are 3-balls. (In particular, the case where a component have multiple sphere boundary components cannot occur since the first boundary component bounds a 3-ball hence it can’t have any non-trivial incompressible surfaces on both sides.)

Now the only remaining piece is to show that this process terminates. We apply a standard ‘normal surface argument’ for this. Essentially if we fix a triangulation of M,

A normal surface in M is one that intersects each 3-simplex in a disjoint union of following two shapes:

Figure 4

There can’t be infinitely many non-parallel disjoint normal surfaces in M (in fact there can be no more than 6 times the number of 3-simplexes since each complementry component need to contain at least one non-I-bundle part from one 3-simplex).

Figure 5

However, if the above process do not terminate, we would obtain a sequence of non-parallel non-spherical boundary components:

Figure 6

They represent different homology classes hence can be represented by disjoint normal which results in a contradiction.

In general, this gives a way to prove theorems about Haken manifolds by using inductionL i.e. one may hope to just show the property trivially holds for 3-balls and is invariant under gluing two pieced along an incompressible surface. Note that the gluing surface being incompressible is in fact quite strong hence making the induction step possible in many cases.

For example, by applying an incredible amount of brilliant techniques, Thurston was able to prove his revolutionary result:

Hyperbolization theorem for Haken manifolds: Any Haken manifold M with tori boundary components that does not contain incompressible tori admits a complete hyperbolic structure of finite volume in its interior.

In other words, this is saying that given a Haken manifold, we cut along any incompressible tori, the resulting manifold with tori boundary must have a complete hyperbolic structure with cusps near each boundary component,

This is the best we could hope for since manifolds with incompressible tori would have their fundamental group split over Z^2 which of course imply they can’t be hyperbolic.

Now the more manifolds being Haken means the better this theorem is. Many evidences show that in fact a lot of manifolds are indeed Haken, in perticular we have:

Virtual Haken Conjecture: M is finitely covered by a Haken manifold as long as \pi_1(M) is infinite.

We can see that together with Thurston’s hyperbolization theorem, this would give full solution to the geometrization conjecture for general 3-manifolds.

However, although now Perelman has proved the geometrization conjecture, the virtual Haken conjecture remains open. But in light of Perelman’s result now we are able to try to ‘back-solve’ the puzzle and only prove the virtual Haken conjecture for hyperbolic manifolds.

(to be continued)


One Response to “Haken manifolds and virtual Haken conjecture”

  1. […] Haken manifolds and virtual Haken conjecture […]

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: