Given an involution on a rational homology 3-sphere Y with quotient the 3-sphere, we prove a formula for the Lefschetz number of the map induced by this involution in the reduced monopole Floer homology. This formula is motivated by a variant of Witten's conjecture relating the Donaldson and Seiberg--Witten invariants of 4-manifolds. A key ingredient is a skein-theoretic argument, making use of an exact triangle in monopole Floer homology, that computes the Lefschetz number in terms of the Murasugi signature of the branch set and the sum of Frøyshov invariants associated to spin structures on Y. We discuss various applications of our formula in gauge theory, knot theory, contact geometry, and 4-dimensional topology.

Let G={h_t|t∈ℝ} be a continuous flow on a connected n-manifold M. The flow G is said to be strongly reversible by an involution τ if h_{−t}=τh_tτ for all t∈ℝ, and it is said to be periodic if h_s= identity for some s∈ℝ^∗. A closed subset K of M is called a global section for G if every orbit G(x) intersects K in exactly one point. In this paper, we study how the two properties “strongly reversible” and “has a global section” are related. In particular, we show that if G is periodic and strongly reversible by a reflection, then G has a global section.

We study the Seiberg-Witten invariant λSW(X) of smooth spin 4-manifolds X with integral homology of S1×S3 defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant h(X) and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homology 3-spheres of Rohlin invariant one which have infinite order in the homology cobordism group.

Dunfield-Garoufalidis and Boyer-Zhang proved that the A-polynomial of a nontrivial knot in S3 is nontrivial. In this paper, we use holonomy perturbations to prove the non-triviality of the A-polynomial for a nontrivial, null-homotopic knot in an irreducible 3-manifold. Also, we give a strong constraint on the A-polynomial of a knot in the 3-sphere.

We use the construction of unfolded Seiberg-Witten Floer spectra of general 3-manifolds defined in our previous paper to extend the notion of relative Bauer-Furuta invariants to general 4-manifolds with boundary. One of the main purposes of this paper is to give a detailed proof of the gluing theorem for the relative invariants.