Khovanov homology is an unknot-detector

P. B. Kronheimer, T. S. Mrowka

We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning wit…