ミルナー予想 (トポロジー)

結び目理論でのミルナー予想(Milnor conjecture)は、formula_1 トーラス結び目の(slice genus)は、
であるという予想である。この予想は、(Thom conjecture)と同じ流れにある。
ミルナー予想は、最初にゲージ理論による方法で(Peter Kronheimer)と(Tomasz Mrowka)により証明された。ヤコブ・ラスムッセン(Jacob Rasmussen)は、後日、コバノフホモロジーを使い、(s-invariant)により、純粋に(combinatorial proof)を与えた。