Related papers: Pin^-(2)-monopole equations and intersection forms…
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…
We define a variant of the Seiberg-Witten equations using the Rarita-Schwinger operators for closed simply connected spin smooth 4-manifold X. The moduli space of solutions to the system of non-linear differential equations consist of…
We introduce a diffeomorphism invariant of $4$-manifolds, the $\mathrm{Pin}^-(2)$-monopole invariant, defined by using the $\mathrm{Pin}^-(2)$-monopole equations. We compute the invariants of several $4$-manifolds, and prove gluing…
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…
We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose…
We completely determine the mod $2$ Seiberg-Witten invariants for any spin structure on any closed, oriented, smooth $4$-manifold $X$. Our computation confirms the validity of the simple type conjecture mod $2$ for spin structures. Our…
We compute the Yamabe invariants for a new infinite class of closed $4$-dimensional manifolds by using a "twisted" version of the Seiberg-Witten equations, the $\mathrm{Pin}^-(2)$-monopole equations. The same technique also provides a new…
We present an explicit expression for the topological invariants associated to $SU(2)$ monopoles in the fundamental representation on spin four-manifolds. The computation of these invariants is based on the analysis of their corresponding…
Furuta's ``10/8-th's'' theorem gives a bound on the magnitude of the signature of a smooth spin 4-manifold in terms of the second Betti number. We show that in the presence of a Z/2^p action, his bound can be strengthened. As applications,…
We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory.…
We construct a consistent set of monopole equations on eight-manifolds with Spin(7) holonomy. These equations are elliptic and admit non-trivial solutions including all the 4-dimensional Seiberg-Witten solutions as a special case.
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of…
We show that there exist smooth, simply connected, four-dimensional spin manifolds which do not admit Einstein metrics, but nonetheless satisfy the strict Hitchin-Thorpe inequality. Our construction makes use of the Bauer/Furuta cohomotopy…
We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…
We construct infinitely many examples of finite volume 4-manifolds with $T^3$ ends that do not admit any cusped asymptotically hyperbolic Einstein metrics yet satisfy a strict logarithmic version of the Hitchin-Thorpe inequality due to…
We investigate the $\mathrm{Pin}^-(2)$-monopole invariants of symplectic $4$-manifolds and K\"{a}hler surfaces with real structures. We prove the nonvanishing theorem for real symplectic $4$-manifolds which is an analogue of Taubes'…
We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented…
Using the Seiberg-Witten monopole equations, Baraglia recently proved that for most of simply-connected closed smooth $4$-manifolds $X$, the inclusions $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ are not weak homotopy equivalences.…
We introduce the concept of Spin^G-structure in a SO-bundle, where $G\subset U(V)$ is a compact Lie group containing $-id_V$. We study and classify $Spin^G(4)$-structures on 4-manifolds, we introduce the G-Monopole equations associated with…
We construct some nonsmoothable actions of Z2 * Z2 on spin four-manifolds by using an equivariant version of Furuta' s 10/8inequality. The examples satisfy following property: any proper subgroup of Z2 * Z2 is smoothable for some smooth…