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.

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.

Several identities similar to the Schlaefli formula are established for tetrahedra in a space of constant curvature.

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 show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are Thurston's spinning construction and a volume rigidity result attributed by Dunfield to Thurston, Gromov and Goldman. As an application, we show that this gives a new algorithm to detect hyperbolic structures and small Seifert fibred structures on closed 3-manifolds.