Slice-Bennequin 不等式

對於一個 辮子，它有 股, 分量, 正交叉, 和 負交叉，

(1)

其中 是必須更改為相反符號交叉的最小正交叉和負交叉數。這些不等式暗示了 Bennequin 猜想。這個不等式也可以擴充套件到任意紐結圖。

Menasco (1994) 發表了一個據稱是純粹三維的定理證明，該證明在 Cipra (1994) 以及 Menasco 和 Rudolph (1995) 中被討論過。然而，Otal 隨後發現了證明中的漏洞。這個漏洞尚未被修補，因此該不等式的唯一證明是 Rudolph (1993) 給出的證明，它建立在 Kronheimer 和 Mrowka 在四維拓撲學中的工作基礎上。