Instanton Floer homology and the Alexander polynomial - P. B. Kronheimer; T. S. Mrowka (2009)