让表示封闭、连通、定向和基础的类别–歧管,其中基点保持它们之间的微分同胚。Juhász、Thurston和Zemke表明Heegaard Floer不变量相对于微分同态,在存在函子的意义上
|
其值与定义的不变量一致Ozsváth和Szabó。与基于–歧管来自中的传递系统与表示–歧管。我们证明了Heegaard-Floer不变量产生函子
|
投射范畴中的传递系统范畴–模块。在这样做的过程中,我们将看到与–实际上是歧管来自链的投影同伦范畴中的一个潜在传递系统复合物超过.我们讨论了对合Heegaard-Floer同源性的一个应用,以及潜在的我们的结果的概括。
|