繁星客栈 - 关于Haken流形

最近发觉Haken 流形很重要。因为Haken曾经对一类正常双侧不可压缩曲面的三维流形作国大量研究，所以Thurston在他的文章中便将这类流形称之为Haken流形。在Kirby的一篇关于低维拓扑的文章里，把Kaken流形定义为：一是它是不可约化的，二是：它还含有一个正常的双侧的不可压缩曲面。Waldhausen曾证明了Haken流形的分类定理其中一个比较简单而又重要的情形是：两个闭的Haken流形如果有同构的基本群，那么这两个流形同胚。自然的，我们容易把Haken流形和Seifert流形联系起来，因为Kaken的Seifert流形这个子类的分类已经完全解决了。还有，Thurston猜想首先也是在Haken流形上被Thurston本人证明了，从而开启了低维拓扑的革命。我想知道的是，不知道Haken 流形还与哪些对象有联系，我只知道在Thurston 纲领中是很重要的。