2010-07-14 Kutluhan-Lee-Taubes, HF=HM I : Heegaard Floer homology and Seiberg--Witten Floer homology math http://jp.arxiv.org/abs/1007.1979