Kronheimer-Mrowka, Khovanov homology is an unknot-detector

math

http://jp.arxiv.org/abs/1005.4346