For any knot KK in S3S3 and any positive rational rr, we show that smooth (−r)(−r)-surgery on KK always admits a tight contact structure. More specifically, the tightness is detected by the non-vanishing Heegaard Floer contact invariant.
生成讲解博客的中文版本
生成AI智能校验的中文版本