arXiv:1704.04419 [math.GT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords rational homology, intersection form, szabos heegaard floer correction term, donaldsons diagonalization theorem, negative definite smooth Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset