The Fukumoto-Furuta and the Ozsváth-Szabó invariants for spherical 3-manifolds
We show that the Fukumoto-Furuta invariant for a rational homology 3-sphere M, which coincides with the Neumann-Siebenmann invariant for a Seifert rational homology 3-sphere, is the same as the Ozsváth-Szabó's correction term derived from the Heegaard Floer homology theory if M is a spherical 3-manifold.