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.

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology 3-spheres. As an application, we give explicit constrains on the intersection forms of spin 4-manifolds bounded by Brieskorn spheres ±Σ(2,3,6k±1). Along the way, we also give an alternative proof of Furuta-Kametanni's improvement of 10/8-theorem for closed spin-4 manifolds.

A surgery on a knot in 3-sphere is called SU(2)-cyclic if it gives a manifold whose fundamental group has no non-cyclic SU(2) representations. Using holonomy perturbations on the Chern-Simons functional, we prove that the distance of two SU(2)-cyclic surgery coefficients is bounded by the sum of the absolute values of their numerators. This is an analog of Culler-Gordon-Luecke-Shalen's cyclic surgery theorem.

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.

By studying the Seiberg-Witten equations on end-periodic manifolds, we give an obstruction on the existence of positive scalar curvature metric on compact 4-manifolds with the same homology as S1×S3. This obstruction is given in terms of the relation between the Frøyshov invariant of the generator of H3(X;Z) with the 4-dimensional Casson invariant λSW(X) defined by Mrowka-Ruberman-Saveliev. Along the way, we develop a framework that can be useful in further study of the Seiberg-Witten theory on general end-periodic manifolds.