結び目理論でのミルナー予想(Milnor conjecture)は、 トーラス結び目の(slice genus)は、

であるという予想である。この予想は、(Thom conjecture)と同じ流れにある。

ミルナー予想は、最初にゲージ理論による方法で(Peter Kronheimer)と(Tomasz Mrowka)により証明された.。ヤコブ・ラスムッセン(Jacob Rasmussen)は、後日、コバノフホモロジーを使い、(s-invariant)により、純粋に(combinatorial proof)を与えた.。

参考文献