Gompf 软木塞与 Heegaard Floer 同调

Gompf 证明了，对于某一族双扭转结中的 $K$，吞随操作使得对 $K \# -K$ 进行 $1/n$-手术的结果成为一个软木塞边界。我们推导出了 $K$ 上使得该情况成立的一个一般 Floer 理论条件。我们的形式体系使我们能够产生更多软木塞的例子，部分回答了 Gompf 的一个问题。与 Gompf 的方法不同，我们的证明不依赖于任何闭 4-流形不变量或有效嵌入，并且还可以推广到其他微分同胚。