伯热乔斯的接触流形必为紧密型

我们证明了伯热乔斯在 $M \times \mathbb{T}^{2}$ 上的接触结构必为紧密型，这些接触结构由接触流形 $(M, \xi)$ 的支撑开本书所确定。该证明基于利用全續叶raition 和 Kuranishi 结构进行的接触 homology 计算。