The Exactness Theorem for Floer Homology

Abstract

In this article, we study a long exact sequence relating the mstanton homology of two homology 3-spheres which are obtained from each other by ± 1 -surgery. We prove that the long exact sequence, via a short exact sequence of chain complex, is the same as the sequence defined by the exact triangle of cobordisms introduced by Floer.