MathSciDoc: An Archive for Mathematician ∫

In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariants. As a geometric application of our result, we prove a "10/8+4"-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from BPin(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the j-based Atiyah-Hirzebruch spectral sequence.

Kronheimer-Mrowka recently proved that the Dehn twist along a 3-sphere in the neck of K3#K3 is not smoothly isotopic to the identity. This provides a new example of self-diffeomorphisms on 4-manifolds that are isotopic to the identity in the topological category but not smoothly so. (The first such examples were given by Ruberman.) In this paper, we use the Pin(2)-equivariant Bauer-Furuta invariant to show that this Dehn twist is not smoothly isotopic to the identity even after a single stabilization (connected summing with the identity map on S2×S2). This gives the first example of exotic phenomena on simply connected smooth 4-manifolds that do not disappear after a single stabilization.

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.

Let Y be a closed and oriented 3-manifold. We define different versions of unfolded Seiberg-Witten Floer spectra for Y. These invariants generalize Manolescu's Seiberg-Witten Floer spectrum for rational homology 3-spheres. We also compute some examples when Y is a Seifert space.

Let K be a knot in an integral homology 3-sphere Y, and Σ the corresponding n-fold cyclic branched cover. Assuming that Σ is a rational homology sphere (which is always the case when n is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of Σ. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various η-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the mapping tori of all semi-free actions of Z/n on integral homology 3-spheres; (2) we give a novel obstruction (in terms of the Jones polynomial) for the branched cover of a knot in S3 being an L-space; (3) we give a new set of knot concordance invariants in terms of the monopole Lefschetz numbers of covering translations on the branched covers.

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.

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.

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.

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.

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.