Seiberg-Witten-Casson Invariant of Homology $S^1 \times S^3$ with Circle Action

Abstract

In this paper we shall compute the Mrowka-Ruberman-Saveliev invariant introduced in [17] for the case when the manifold admits a free circle action.